feldspar-compiler-0.4.0.2: Compiler for the Feldspar language

Feldspar.Compiler.Backend.C.Options

Documentation

data Options Source

Constructors

Options
Fields platform :: Platform unroll :: UnrollStrategy debug :: DebugOption defaultArraySize :: Int

Instances

Eq Options
Show Options

data UnrollStrategy Source

Constructors

NoUnroll
Unroll Int

Instances

Eq UnrollStrategy
Show UnrollStrategy

data DebugOption Source

Constructors

NoDebug
NoPrimitiveInstructionHandling

Instances

Eq DebugOption
Show DebugOption

data Platform Source

Constructors

Platform
Fields name :: String types :: [(Type, String, String)] values :: [(Type, ShowValue)] primitives :: [(FeldPrimDesc, Either CPrimDesc TransformPrim)] includes :: [String] isRestrict :: IsRestrict

Instances

Eq Platform
Show Platform

data FeldPrimDesc Source

Constructors

FeldPrimDesc
Fields fName :: String inputs :: [TypeDesc]

Instances

Eq TransformPrim
Eq FeldPrimDesc
Show TransformPrim
Show FeldPrimDesc

data CPrimDesc Source

Constructors

Op1
Fields cOp :: String
Op2
Fields cOp :: String
Fun
Fields cName :: String funPf :: FunPostfixDescr
Proc
Fields cName :: String funPf :: FunPostfixDescr
Assig
Cas
InvalidDesc

Instances

Eq CPrimDesc
Show CPrimDesc

data TypeDesc Source

Constructors

AllT
BoolT
RealT
FloatT
IntT
IntTS
IntTU
IntTS_ Size
IntTU_ Size
IntT_ Size
ComplexT TypeDesc
UserT String

Instances

Eq TypeDesc
Show TypeDesc

data FunPostfixDescr Source

Constructors

FunPostfixDescr
Fields useInputs :: Int useOutputs :: Int

Instances

Eq FunPostfixDescr
Show FunPostfixDescr

type ShowValue = Constant () -> String Source

type TransformPrim = FeldPrimDesc -> [Expression ()] -> Type -> PrgDesc Source

data PrgDesc Source

Constructors

PrgDesc [Crt] [Line] Rgt

Instances

Eq PrgDesc
Eq TransformPrim
Show PrgDesc
Show TransformPrim

data Crt Source

Constructors

Crt Type Var (Maybe Rgt)

Instances

Eq Crt
Show Crt

data Line Source

Constructors

Asg Var Rgt
Prc CPrimDesc [Rgt] [Var]

Instances

Eq Line
Show Line

data Rgt Source

Constructors

Exp (Expression ())
Fnc CPrimDesc [Rgt] Type
VarR Var

Instances

Eq Rgt
Show Rgt

data Var Source

Constructors

Instances

Eq Var
Show Var

data IsRestrict Source

Constructors

Restrict
NoRestrict

Instances

Eq IsRestrict
Show IsRestrict

machTypes :: TypeDesc -> Type -> Bool Source