feldspar-compiler-0.1: Compiler for the Feldspar language Source code Contents Index

Feldspar.Compiler.Imperative.Representation

Documentation

data Size Source

Constructors S4 S8 S16 S32 S64 Instances Eq Size Show Size ToC Size

data Signedness Source

Constructors ImpSigned ImpUnsigned Instances Eq Signedness Show Signedness ToC Signedness

data Type Source

Constructors BoolType FloatType Numeric Signedness Size ImpArrayType (Maybe Int) Type Pointer Type Instances Eq Type Show Type ToC Type

data ImpLangExpr Source

Constructors Expr exprCore :: UntypedExpression exprType :: Type Instances Eq ImpLangExpr Show ImpLangExpr RightVarMap ImpLangExpr ToC ImpLangExpr Replace ImpLangExpr Simplification ImpLangExpr

data Variable Source

Constructors Var name :: String kind :: ParameterKind vartype :: Type Instances Eq Variable Show Variable ToC Variable Replace Variable

data LeftValue Source

Constructors LVar Variable ArrayElem LeftValue ImpLangExpr PointedVal LeftValue Instances Eq LeftValue Show LeftValue RightVarMap LeftValue ToC LeftValue Replace LeftValue Simplification LeftValue

data UntypedExpression Source

Constructors LeftExpr LeftValue AddressOf LeftValue ConstExpr Constant FunCall FunRole String [ImpLangExpr] Instances Eq UntypedExpression Show UntypedExpression RightVarMap UntypedExpression ToC UntypedExpression Replace UntypedExpression

data Constant Source

Constructors IntConst Int FloatConst Float BoolConst Bool ArrayConst Int [Constant] Instances Eq Constant Show Constant ToC Constant Replace Constant

data FunRole Source

Constructors SimpleFun InfixOp PrefixOp Instances Eq FunRole Show FunRole

data Instruction Source

Constructors Assign LeftValue ImpLangExpr CFun String [Parameter] Instances Eq Instruction Show Instruction ToC Instruction Replace Instruction Simplification Instruction

data Parameter Source

Constructors In ImpLangExpr Out (ParameterKind, ImpLangExpr) Instances Eq Parameter Show Parameter ToC Parameter Replace Parameter Simplification Parameter

data ParameterKind Source

Constructors Normal OutKind Instances Eq ParameterKind Show ParameterKind

data ImpFunction Source

Constructors Fun funName :: String inParameters :: [Declaration] outParameters :: [Declaration] prg :: CompleteProgram Instances Eq ImpFunction Show ImpFunction ToC ImpFunction HandlePrimitives ImpFunction Replace ImpFunction Simplification ImpFunction ComputeSemInfVar ImpFunction Unroll ImpFunction

data CompleteProgram Source

Constructors CompPrg locals :: [Declaration] body :: Program Instances Eq CompleteProgram Show CompleteProgram ToC CompleteProgram HandlePrimitives CompleteProgram Replace CompleteProgram Simplification CompleteProgram ComputeSemInfVar CompleteProgram Unroll CompleteProgram

data Declaration Source

Constructors Decl var :: Variable declType :: Type initVal :: Maybe ImpLangExpr semInfVar :: SemInfVar Instances Eq Declaration Show Declaration ToC Declaration Replace Declaration ComputeSemInfVar Declaration

data Program Source

Constructors Empty Primitive Instruction SemInfPrim Seq [Program] SemInfPrgSeq IfThenElse Variable CompleteProgram CompleteProgram SemInfIf SeqLoop Variable CompleteProgram CompleteProgram SemInfSeqLoop ParLoop Variable ImpLangExpr Int CompleteProgram SemInfParLoop Instances Eq Program Show Program ToC Program HandlePrimitives Program Replace Program Simplification Program ComputeSemInfVar Program Unroll Program

data Array Source

Constructors Array Variable Type Int Instances Eq Array Show Array ToC Array Replace Array

class ToC a where Source

Methods toC :: Int -> a -> String Source Instances ToC SemInfPrim ToC Array ToC Program ToC Declaration ToC CompleteProgram ToC ImpFunction ToC Parameter ToC Instruction ToC Constant ToC UntypedExpression ToC LeftValue ToC Variable ToC ImpLangExpr ToC Type ToC Signedness ToC Size ToC a => ToC [a] ToC a => ToC (Maybe a)

compToC :: ToC a => a -> String Source

toCArray :: Constant -> String Source

arrayDepths :: Type -> String Source

simpleType :: Type -> Bool Source

toCPrimType :: Type -> String Source

isArrayType :: Type -> String Source

listprint :: (a -> String) -> String -> [a] -> String Source

toLeftValue :: ImpLangExpr -> LeftValue Source

replicateArrayDepth :: Type -> String -> Int -> String Source

arrayDepth :: Type -> Int Source

getVariable :: ImpLangExpr -> Maybe Variable Source

contains :: String -> ImpLangExpr -> Bool Source

getVarName :: LeftValue -> String Source

getLeftValue :: ImpLangExpr -> LeftValue Source

type VariableMap = Map String SemInfVar Source

data SemInfPrim Source

Constructors SemInfPrim varMap :: VariableMap output :: Bool Instances Eq SemInfPrim Show SemInfPrim ToC SemInfPrim Simplification SemInfPrim

data SemInfVar Source

Constructors SemInfVar usedLeft :: LeftUse usedRight :: RightUse Instances Eq SemInfVar Show SemInfVar

data LeftUse Source

Constructors UnknownL None Single (Maybe ImpLangExpr) MultipleL Instances Eq LeftUse Show LeftUse

data RightUse Source

Constructors UnknownR Times Int MultipleR Instances Eq RightUse Show RightUse

getValue :: SemInfVar -> ImpLangExpr Source

leftVars :: VariableMap -> [String] Source

type SemInfPrgSeq = [String] Source

type SemInfBr = [String] Source

type SemInfParLoop = [String] Source

type SemInfIf = [String] Source

type SemInfSeqLoop = [String] Source

type SemInfSeq = [String] Source

class RightVarMap a where Source

Methods rightVarMap :: a -> VariableMap Source Instances RightVarMap UntypedExpression RightVarMap LeftValue RightVarMap ImpLangExpr

leftVarMap :: LeftValue -> Maybe ImpLangExpr -> VariableMap Source

addVarMap :: VariableMap -> VariableMap -> VariableMap Source

Produced by Haddock version 2.6.0