Feldspar.Compiler.PluginArchitecture

Documentation

foldlist :: (Default a, Combine a) => [a] -> a

convertMaybeList :: Maybe [a] -> [a]

convertMaybe :: Maybe a -> [a]

type Walker t construction = TransformationPhase t => t -> Downwards t -> construction (From t) -> (construction (To t), Upwards t)

class TransformationPhase t => Plugin t where

Associated Types

type ExternalInfo t

Methods

executePlugin :: t -> ExternalInfo t -> Procedure (From t) -> Procedure (To t)

Instances

Plugin BackwardPropagation

Plugin Precompilation

Plugin PrettyPrint

Plugin UnrollPlugin

Plugin ForwardPropagation

Plugin HandlePrimitives

class (SemanticInfo (From t), SemanticInfo (To t), ConvertAllInfos (From t) (To t), Combine (Upwards t), Default (Upwards t)) => TransformationPhase t where

Associated Types

type From t

type To t

type Downwards t

type Upwards t

Methods

executeTransformationPhase :: Walker t Procedure

downwardsProcedure :: t -> Downwards t -> Procedure (From t) -> Downwards t

transformProcedure :: t -> Downwards t -> Procedure (From t) -> InfoFromProcedureParts t -> Procedure (To t)

upwardsProcedure :: t -> Downwards t -> Procedure (From t) -> InfoFromProcedureParts t -> Procedure (To t) -> Upwards t

downwardsBlock :: t -> Downwards t -> Block (From t) -> Downwards t

transformBlock :: t -> Downwards t -> Block (From t) -> InfoFromBlockParts t -> Block (To t)

upwardsBlock :: t -> Downwards t -> Block (From t) -> InfoFromBlockParts t -> Block (To t) -> Upwards t

downwardsProgram :: t -> Downwards t -> Program (From t) -> Downwards t

transformProgram :: t -> Downwards t -> Program (From t) -> InfoFromProgramParts t -> Program (To t)

upwardsProgram :: t -> Downwards t -> Program (From t) -> InfoFromProgramParts t -> Program (To t) -> Upwards t

transformEmptyProgramInProgram :: t -> Downwards t -> Empty (From t) -> ProgramConstruction (To t)

upwardsEmptyProgramInProgram :: t -> Downwards t -> Empty (From t) -> ProgramConstruction (To t) -> Upwards t

downwardsPrimitiveProgramInProgram :: t -> Downwards t -> Primitive (From t) -> Downwards t

transformPrimitiveProgramInProgram :: t -> Downwards t -> Primitive (From t) -> InfoFromPrimitiveParts t -> ProgramConstruction (To t)

upwardsPrimitiveProgramInProgram :: t -> Downwards t -> Primitive (From t) -> InfoFromPrimitiveParts t -> ProgramConstruction (To t) -> Upwards t

downwardsSequenceProgramInProgram :: t -> Downwards t -> Sequence (From t) -> Downwards t

transformSequenceProgramInProgram :: t -> Downwards t -> Sequence (From t) -> InfoFromSequenceParts t -> ProgramConstruction (To t)

upwardsSequenceProgramInProgram :: t -> Downwards t -> Sequence (From t) -> InfoFromSequenceParts t -> ProgramConstruction (To t) -> Upwards t

downwardsBranchProgramInProgram :: t -> Downwards t -> Branch (From t) -> Downwards t

transformBranchProgramInProgram :: t -> Downwards t -> Branch (From t) -> InfoFromBranchParts t -> ProgramConstruction (To t)

upwardsBranchProgramInProgram :: t -> Downwards t -> Branch (From t) -> InfoFromBranchParts t -> ProgramConstruction (To t) -> Upwards t

downwardsSequentialLoopProgramInProgram :: t -> Downwards t -> SequentialLoop (From t) -> Downwards t

transformSequentialLoopProgramInProgram :: t -> Downwards t -> SequentialLoop (From t) -> InfoFromSequentialLoopParts t -> ProgramConstruction (To t)

upwardsSequentialLoopProgramInProgram :: t -> Downwards t -> SequentialLoop (From t) -> InfoFromSequentialLoopParts t -> ProgramConstruction (To t) -> Upwards t

downwardsParallelLoopProgramInProgram :: t -> Downwards t -> ParallelLoop (From t) -> Downwards t

transformParallelLoopProgramInProgram :: t -> Downwards t -> ParallelLoop (From t) -> InfoFromParallelLoopParts t -> ProgramConstruction (To t)

upwardsParallelLoopProgramInProgram :: t -> Downwards t -> ParallelLoop (From t) -> InfoFromParallelLoopParts t -> ProgramConstruction (To t) -> Upwards t

downwardsFormalParameter :: t -> Downwards t -> FormalParameter (From t) -> Downwards t

transformFormalParameter :: t -> Downwards t -> FormalParameter (From t) -> InfoFromFormalParameterParts t -> FormalParameter (To t)

upwardsFormalParameter :: t -> Downwards t -> FormalParameter (From t) -> InfoFromFormalParameterParts t -> FormalParameter (To t) -> Upwards t

downwardsLocalDeclaration :: t -> Downwards t -> LocalDeclaration (From t) -> Downwards t

transformLocalDeclaration :: t -> Downwards t -> LocalDeclaration (From t) -> InfoFromLocalDeclarationParts t -> LocalDeclaration (To t)

upwardsLocalDeclaration :: t -> Downwards t -> LocalDeclaration (From t) -> InfoFromLocalDeclarationParts t -> LocalDeclaration (To t) -> Upwards t

downwardsExpression :: t -> Downwards t -> Expression (From t) -> Downwards t

transformExpression :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> Expression (To t)

upwardsExpression :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> Expression (To t) -> Upwards t

downwardsLeftValueExpressionInExpression :: t -> Downwards t -> LeftValue (From t) -> Downwards t

transformLeftValueExpressionInExpression :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ExpressionData (To t)

upwardsLeftValueExpressionInExpression :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ExpressionData (To t) -> Upwards t

downwardsConstantExpressionInExpression :: t -> Downwards t -> Constant (From t) -> Downwards t

transformConstantExpressionInExpression :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> ExpressionData (To t)

upwardsConstantExpressionInExpression :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> ExpressionData (To t) -> Upwards t

downwardsFunctionCallExpressionInExpression :: t -> Downwards t -> FunctionCall (From t) -> Downwards t

transformFunctionCallExpressionInExpression :: t -> Downwards t -> FunctionCall (From t) -> InfoFromFunctionCallParts t -> ExpressionData (To t)

upwardsFunctionCallExpressionInExpression :: t -> Downwards t -> FunctionCall (From t) -> InfoFromFunctionCallParts t -> ExpressionData (To t) -> Upwards t

downwardsConstant :: t -> Downwards t -> Constant (From t) -> Downwards t

transformConstant :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> Constant (To t)

upwardsConstant :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> Constant (To t) -> Upwards t

transformIntConstantInConstant :: t -> Downwards t -> IntConstantType (From t) -> ConstantData (To t)

upwardsIntConstantInConstant :: t -> Downwards t -> IntConstantType (From t) -> ConstantData (To t) -> Upwards t

transformFloatConstantInConstant :: t -> Downwards t -> FloatConstantType (From t) -> ConstantData (To t)

upwardsFloatConstantInConstant :: t -> Downwards t -> FloatConstantType (From t) -> ConstantData (To t) -> Upwards t

transformBoolConstantInConstant :: t -> Downwards t -> BoolConstantType (From t) -> ConstantData (To t)

upwardsBoolConstantInConstant :: t -> Downwards t -> BoolConstantType (From t) -> ConstantData (To t) -> Upwards t

downwardsArrayConstantInConstant :: t -> Downwards t -> ArrayConstantType (From t) -> Downwards t

transformArrayConstantInConstant :: t -> Downwards t -> ArrayConstantType (From t) -> InfoFromArrayConstantParts t -> ConstantData (To t)

upwardsArrayConstantInConstant :: t -> Downwards t -> ArrayConstantType (From t) -> InfoFromArrayConstantParts t -> ConstantData (To t) -> Upwards t

downwardsLeftValue :: t -> Downwards t -> LeftValue (From t) -> Downwards t

transformLeftValue :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> LeftValue (To t)

upwardsLeftValue :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> LeftValue (To t) -> Upwards t

transformVariableLeftValueInLeftValue :: t -> Downwards t -> Variable (From t) -> LeftValueData (To t)

upwardsVariableLeftValueInLeftValue :: t -> Downwards t -> Variable (From t) -> LeftValueData (To t) -> Upwards t

downwardsArrayElemReferenceLeftValueInLeftValue :: t -> Downwards t -> ArrayElemReference (From t) -> Downwards t

transformArrayElemReferenceLeftValueInLeftValue :: t -> Downwards t -> ArrayElemReference (From t) -> InfoFromArrayElemReferenceParts t -> LeftValueData (To t)

upwardsArrayElemReferenceLeftValueInLeftValue :: t -> Downwards t -> ArrayElemReference (From t) -> InfoFromArrayElemReferenceParts t -> LeftValueData (To t) -> Upwards t

downwardsInstruction :: t -> Downwards t -> Instruction (From t) -> Downwards t

transformInstruction :: t -> Downwards t -> Instruction (From t) -> InfoFromInstructionParts t -> Instruction (To t)

upwardsInstruction :: t -> Downwards t -> Instruction (From t) -> InfoFromInstructionParts t -> Instruction (To t) -> Upwards t

downwardsAssignmentInstructionInInstruction :: t -> Downwards t -> Assignment (From t) -> Downwards t

transformAssignmentInstructionInInstruction :: t -> Downwards t -> Assignment (From t) -> InfoFromAssignmentParts t -> InstructionData (To t)

upwardsAssignmentInstructionInInstruction :: t -> Downwards t -> Assignment (From t) -> InfoFromAssignmentParts t -> InstructionData (To t) -> Upwards t

downwardsProcedureCallInstructionInInstruction :: t -> Downwards t -> ProcedureCall (From t) -> Downwards t

transformProcedureCallInstructionInInstruction :: t -> Downwards t -> ProcedureCall (From t) -> InfoFromProcedureCallParts t -> InstructionData (To t)

upwardsProcedureCallInstructionInInstruction :: t -> Downwards t -> ProcedureCall (From t) -> InfoFromProcedureCallParts t -> InstructionData (To t) -> Upwards t

downwardsActualParameter :: t -> Downwards t -> ActualParameter (From t) -> Downwards t

transformActualParameter :: t -> Downwards t -> ActualParameter (From t) -> InfoFromActualParameterParts t -> ActualParameter (To t)

upwardsActualParameter :: t -> Downwards t -> ActualParameter (From t) -> InfoFromActualParameterParts t -> ActualParameter (To t) -> Upwards t

downwardsInputActualParameterInActualParameter :: t -> Downwards t -> Expression (From t) -> Downwards t

transformInputActualParameterInActualParameter :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> ActualParameterData (To t)

upwardsInputActualParameterInActualParameter :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> ActualParameterData (To t) -> Upwards t

downwardsOutputActualParameterInActualParameter :: t -> Downwards t -> LeftValue (From t) -> Downwards t

transformOutputActualParameterInActualParameter :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ActualParameterData (To t)

upwardsOutputActualParameterInActualParameter :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ActualParameterData (To t) -> Upwards t

transformIntConstant :: t -> Downwards t -> IntConstantType (From t) -> IntConstantType (To t)

upwardsIntConstant :: t -> Downwards t -> IntConstantType (From t) -> IntConstantType (To t) -> Upwards t

transformFloatConstant :: t -> Downwards t -> FloatConstantType (From t) -> FloatConstantType (To t)

upwardsFloatConstant :: t -> Downwards t -> FloatConstantType (From t) -> FloatConstantType (To t) -> Upwards t

transformBoolConstant :: t -> Downwards t -> BoolConstantType (From t) -> BoolConstantType (To t)

upwardsBoolConstant :: t -> Downwards t -> BoolConstantType (From t) -> BoolConstantType (To t) -> Upwards t

transformVariable :: t -> Downwards t -> Variable (From t) -> Variable (To t)

upwardsVariable :: t -> Downwards t -> Variable (From t) -> Variable (To t) -> Upwards t

walkProcedure :: Walker t Procedure

walkBlock :: Walker t Block

walkProgram :: Walker t Program

walkEmptyProgramInProgram :: TransformationPhase t => t -> Downwards t -> Empty (From t) -> (ProgramConstruction (To t), Upwards t)

walkPrimitiveProgramInProgram :: TransformationPhase t => t -> Downwards t -> Primitive (From t) -> (ProgramConstruction (To t), Upwards t)

walkSequenceProgramInProgram :: TransformationPhase t => t -> Downwards t -> Sequence (From t) -> (ProgramConstruction (To t), Upwards t)

walkBranchProgramInProgram :: TransformationPhase t => t -> Downwards t -> Branch (From t) -> (ProgramConstruction (To t), Upwards t)

walkSequentialLoopProgramInProgram :: TransformationPhase t => t -> Downwards t -> SequentialLoop (From t) -> (ProgramConstruction (To t), Upwards t)

walkParallelLoopProgramInProgram :: TransformationPhase t => t -> Downwards t -> ParallelLoop (From t) -> (ProgramConstruction (To t), Upwards t)

walkFormalParameter :: Walker t FormalParameter

walkLocalDeclaration :: Walker t LocalDeclaration

walkExpression :: Walker t Expression

walkLeftValueExpressionInExpression :: TransformationPhase t => t -> Downwards t -> LeftValue (From t) -> (ExpressionData (To t), Upwards t)

walkConstantExpressionInExpression :: TransformationPhase t => t -> Downwards t -> Constant (From t) -> (ExpressionData (To t), Upwards t)

walkFunctionCallExpressionInExpression :: TransformationPhase t => t -> Downwards t -> FunctionCall (From t) -> (ExpressionData (To t), Upwards t)

walkConstant :: Walker t Constant

walkIntConstantInConstant :: TransformationPhase t => t -> Downwards t -> IntConstantType (From t) -> (ConstantData (To t), Upwards t)

walkFloatConstantInConstant :: TransformationPhase t => t -> Downwards t -> FloatConstantType (From t) -> (ConstantData (To t), Upwards t)

walkBoolConstantInConstant :: TransformationPhase t => t -> Downwards t -> BoolConstantType (From t) -> (ConstantData (To t), Upwards t)

walkArrayConstantInConstant :: TransformationPhase t => t -> Downwards t -> ArrayConstantType (From t) -> (ConstantData (To t), Upwards t)

walkLeftValue :: Walker t LeftValue

walkVariableLeftValueInLeftValue :: TransformationPhase t => t -> Downwards t -> Variable (From t) -> (LeftValueData (To t), Upwards t)

walkArrayElemReferenceLeftValueInLeftValue :: TransformationPhase t => t -> Downwards t -> ArrayElemReference (From t) -> (LeftValueData (To t), Upwards t)

walkInstruction :: Walker t Instruction

walkAssignmentInstructionInInstruction :: TransformationPhase t => t -> Downwards t -> Assignment (From t) -> (InstructionData (To t), Upwards t)

walkProcedureCallInstructionInInstruction :: TransformationPhase t => t -> Downwards t -> ProcedureCall (From t) -> (InstructionData (To t), Upwards t)

walkActualParameter :: Walker t ActualParameter

walkInputActualParameterInActualParameter :: TransformationPhase t => t -> Downwards t -> Expression (From t) -> (ActualParameterData (To t), Upwards t)

walkOutputActualParameterInActualParameter :: TransformationPhase t => t -> Downwards t -> LeftValue (From t) -> (ActualParameterData (To t), Upwards t)

walkVariable :: Walker t Variable

Instances

TransformationPhase PropagationTransform

TransformationPhase BackwardPropagationCollect

TransformationPhase BackwardPropagation

TransformationPhase Precompilation

TransformationPhase PrettyPrint

TransformationPhase Unroll_2

TransformationPhase Unroll_1

TransformationPhase UnrollPlugin

TransformationPhase ForwardPropagationTransform

TransformationPhase ForwardPropagationCollect

TransformationPhase ForwardPropagation

TransformationPhase HandlePrimitives

TransformationPhase HandleTraceFunctions

data TransformationPhase t => InfoFromProcedureParts t

Constructors

InfoFromProcedureParts

Fields

recursivelyTransformedInParameters :: [FormalParameter (To t)]

upwardsInfoFromInParameters :: [Upwards t]

recursivelyTransformedOutParameters :: [FormalParameter (To t)]

upwardsInfoFromOutParameters :: [Upwards t]

recursivelyTransformedProcedureBody :: Block (To t)

upwardsInfoFromProcedureBody :: Upwards t

data TransformationPhase t => InfoFromBlockParts t

Constructors

InfoFromBlockParts

Fields

recursivelyTransformedBlockDeclarations :: [LocalDeclaration (To t)]

upwardsInfoFromBlockDeclarations :: [Upwards t]

recursivelyTransformedBlockInstructions :: Program (To t)

upwardsInfoFromBlockInstructions :: Upwards t

data TransformationPhase t => InfoFromProgramParts t

Constructors

InfoFromProgramParts

Fields

recursivelyTransformedProgramConstruction :: ProgramConstruction (To t)

upwardsInfoFromProgramConstruction :: Upwards t

data TransformationPhase t => InfoFromPrimitiveParts t

Constructors

InfoFromPrimitiveParts

Fields

recursivelyTransformedPrimitiveInstruction :: Instruction (To t)

upwardsInfoFromPrimitiveInstruction :: Upwards t

data TransformationPhase t => InfoFromSequenceParts t

Constructors

InfoFromSequenceParts

Fields

recursivelyTransformedSequenceProgramList :: [Program (To t)]

upwardsInfoFromSequenceProgramList :: [Upwards t]

data TransformationPhase t => InfoFromBranchParts t

Constructors

InfoFromBranchParts

Fields

recursivelyTransformedBranchConditionVariable :: Variable (To t)

upwardsInfoFromBranchConditionVariable :: Upwards t

recursivelyTransformedThenBlock :: Block (To t)

upwardsInfoFromThenBlock :: Upwards t

recursivelyTransformedElseBlock :: Block (To t)

upwardsInfoFromElseBlock :: Upwards t

data TransformationPhase t => InfoFromSequentialLoopParts t

Constructors

InfoFromSequentialLoopParts

Fields

recursivelyTransformedSequentialLoopCondition :: Expression (To t)

upwardsInfoFromSequentialLoopCondition :: Upwards t

recursivelyTransformedConditionCalculation :: Block (To t)

upwardsInfoFromConditionCalculation :: Upwards t

recursivelyTransformedSequentialLoopCore :: Block (To t)

upwardsInfoFromSequentialLoopCore :: Upwards t

data TransformationPhase t => InfoFromParallelLoopParts t

Constructors

InfoFromParallelLoopParts

Fields

recursivelyTransformedParallelLoopConditionVariable :: Variable (To t)

upwardsInfoFromParallelLoopConditionVariable :: Upwards t

recursivelyTransformedNumberOfIterations :: Expression (To t)

upwardsInfoFromNumberOfIterations :: Upwards t

recursivelyTransformedParallelLoopCore :: Block (To t)

upwardsInfoFromParallelLoopCore :: Upwards t

data TransformationPhase t => InfoFromFormalParameterParts t

Constructors

InfoFromFormalParameterParts

Fields

recursivelyTransformedFormalParameterVariable :: Variable (To t)

upwardsInfoFromFormalParameterVariable :: Upwards t

data TransformationPhase t => InfoFromLocalDeclarationParts t

Constructors

InfoFromLocalDeclarationParts

Fields

recursivelyTransformedLocalVariable :: Variable (To t)

upwardsInfoFromLocalVariable :: Upwards t

recursivelyTransformedLocalInitValue :: Maybe (Expression (To t))

upwardsInfoFromLocalInitValue :: Maybe (Upwards t)

data TransformationPhase t => InfoFromExpressionParts t

Constructors

InfoFromExpressionParts

Fields

recursivelyTransformedExpressionData :: ExpressionData (To t)

upwardsInfoFromExpressionData :: Upwards t

data TransformationPhase t => InfoFromConstantParts t

Constructors

InfoFromConstantParts

Fields

recursivelyTransformedConstantData :: ConstantData (To t)

upwardsInfoFromConstantData :: Upwards t

data TransformationPhase t => InfoFromFunctionCallParts t

Constructors

InfoFromFunctionCallParts

Fields

recursivelyTransformedActualParametersOfFunctionToCall :: [Expression (To t)]

upwardsInfoFromActualParametersOfFunctionToCall :: [Upwards t]

data TransformationPhase t => InfoFromLeftValueParts t

Constructors

InfoFromLeftValueParts

Fields

recursivelyTransformedLeftValueData :: LeftValueData (To t)

upwardsInfoFromLeftValueData :: Upwards t

data TransformationPhase t => InfoFromArrayElemReferenceParts t

Constructors

InfoFromArrayElemReferenceParts

Fields

recursivelyTransformedArrayName :: LeftValue (To t)

upwardsInfoFromArrayName :: Upwards t

recursivelyTransformedArrayIndex :: Expression (To t)

upwardsInfoFromArrayIndex :: Upwards t

data TransformationPhase t => InfoFromInstructionParts t

Constructors

InfoFromInstructionParts

Fields

recursivelyTransformedInstructionData :: InstructionData (To t)

upwardsInfoFromInstructionData :: Upwards t

data TransformationPhase t => InfoFromAssignmentParts t

Constructors

InfoFromAssignmentParts

Fields

recursivelyTransformedAssignmentLhs :: LeftValue (To t)

upwardsInfoFromAssignmentLhs :: Upwards t

recursivelyTransformedAssignmentRhs :: Expression (To t)

upwardsInfoFromAssignmentRhs :: Upwards t

data TransformationPhase t => InfoFromProcedureCallParts t

Constructors

InfoFromProcedureCallParts

Fields

recursivelyTransformedActualParametersOfProcedureToCall :: [ActualParameter (To t)]

upwardsInfoFromActualParametersOfProcedureToCall :: [Upwards t]

data TransformationPhase t => InfoFromActualParameterParts t

Constructors

InfoFromActualParameterParts

Fields

recursivelyTransformedActualParameterData :: ActualParameterData (To t)

upwardsInfoFromActualParameterData :: Upwards t

data TransformationPhase t => InfoFromArrayConstantParts t

Constructors

InfoFromArrayConstantParts

Fields

recursivelyTransformedArrayConstantValue :: [Constant (To t)]

upwardsInfoFromArrayConstantValue :: [Upwards t]

module Feldspar.Compiler.Imperative.Representation

module Feldspar.Compiler.Imperative.Semantics

module Feldspar.Compiler.PluginArchitecture.DefaultConvert