Feldspar.Run.Compile

Struct expressions and variables

type VExp = Struct PrimType' Prim

Struct expression

data VExp' where

Struct expression with hidden result type

Constructors

VExp' :: Struct PrimType' Prim a -> VExp'

newRefV :: Monad m => TypeRep a -> String -> TargetT m (Struct PrimType' Ref a)

initRefV :: Monad m => String -> VExp a -> TargetT m (Struct PrimType' Ref a)

getRefV :: Monad m => Struct PrimType' Ref a -> TargetT m (VExp a)

setRefV :: Monad m => Struct PrimType' Ref a -> VExp a -> TargetT m ()

unsafeFreezeRefV :: Monad m => Struct PrimType' Ref a -> TargetT m (VExp a)

Compilation options

data CompilerOpts

Options affecting code generation

A default set of options is given by def.

The assertion labels to include in the generated code can be stated using the functions select, allExcept and selectBy. For example

def {compilerAssertions = allExcept [InternalAssertion]}

states that we want to include all except internal assertions.

Constructors

CompilerOpts

Fields

• compilerAssertions :: Selection AssertionLabel

  Which assertions to include in the generated code

Instances

Default CompilerOpts

Methods

def :: CompilerOpts

Translation environment

data Env

Translation environment

Constructors

Env

Fields

• envAliases :: Map Name VExp'
• envOptions :: CompilerOpts

Instances

(:<:) (* -> *, (* -> *, (* -> Constraint, *))) * ControlCMD instr => Reexpressible * (* -> Constraint, *) (AssertCMD (* -> *) (* -> Constraint)) instr Env

Methods

reexpressInstrEnv :: Monad m => (forall b. exp1 b -> ReaderT * env (ProgramT (AssertCMD (* -> *) (* -> Constraint) -> *, instr) instr ((AssertCMD (* -> *) (* -> Constraint) -> *, instr) exp2 fs) m) (exp2 b)) -> Env ((* -> *, (AssertCMD (* -> *) (* -> Constraint) -> *, instr)) (ReaderT * env (ProgramT (AssertCMD (* -> *) (* -> Constraint) -> *, instr) instr ((AssertCMD (* -> *) (* -> Constraint) -> *, instr) exp2 fs) m)) ((AssertCMD (* -> *) (* -> Constraint) -> *, instr) exp1 fs)) a -> ReaderT * env (ProgramT (AssertCMD (* -> *) (* -> Constraint) -> *, instr) instr ((AssertCMD (* -> *) (* -> Constraint) -> *, instr) exp2 fs) m) a

env0 :: Env

localAlias

Arguments

:: MonadReader Env m

=> Name

Old name

-> VExp a

New expression

-> m b

-> m b

Add a local alias to the environment

lookAlias :: MonadReader Env m => TypeRep a -> Name -> m (VExp a)

Lookup an alias in the environment

Translation of expressions

type TargetCMD = RefCMD :+: (ArrCMD :+: (ControlCMD :+: (ThreadCMD :+: (ChanCMD :+: (PtrCMD :+: (FileCMD :+: C_CMD))))))

type TargetT m = ReaderT Env (ProgramT TargetCMD (Param2 Prim PrimType') m)

Target monad during translation

type ProgC = Program TargetCMD (Param2 Prim PrimType')

Monad for translated program

translateExp :: forall m a. Monad m => Data a -> TargetT m (VExp a)

Translate an expression

unsafeTransSmallExp :: Monad m => Data a -> TargetT m (Prim a)

Translate an expression that is assumed to fulfill PrimType a

translate :: Env -> Run a -> ProgC a

Back ends

runIO :: MonadRun m => m a -> IO a

Interpret a program in the IO monad

runIO' :: MonadRun m => m a -> IO a

Interpret a program in the IO monad

captureIO

Arguments

:: MonadRun m

=> m a

Program to run

-> String

Input to send to stdin

-> IO String

Result from stdout

Like runIO but with explicit inputoutput connected to stdinstdout

compile' :: MonadRun m => CompilerOpts -> m a -> String

Compile a program to C code represented as a string. To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

This function returns only the first (main) module. To get all C translation unit, use compileAll.

compile :: MonadRun m => m a -> String

Compile a program to C code represented as a string. To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

This function returns only the first (main) module. To get all C translation unit, use compileAll.

By default, only assertions labeled with UserAssertion will be included in the generated code.

compileAll' :: MonadRun m => CompilerOpts -> m a -> [(String, String)]

Compile a program to C modules, each one represented as a pair of a name and the code represented as a string

To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

compileAll :: MonadRun m => m a -> [(String, String)]

Compile a program to C modules, each one represented as a pair of a name and the code represented as a string

To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

By default, only assertions labeled with UserAssertion will be included in the generated code.

icompile' :: MonadRun m => CompilerOpts -> m a -> IO ()

Compile a program to C code and print it on the screen. To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

icompile :: MonadRun m => m a -> IO ()

Compile a program to C code and print it on the screen. To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

By default, only assertions labeled with UserAssertion will be included in the generated code.

compileAndCheck' :: MonadRun m => CompilerOpts -> ExternalCompilerOpts -> m a -> IO ()

Generate C code and use CC to check that it compiles (no linking)

compileAndCheck :: MonadRun m => m a -> IO ()

Generate C code and use CC to check that it compiles (no linking)

By default, all assertions will be included in the generated code.

runCompiled' :: MonadRun m => CompilerOpts -> ExternalCompilerOpts -> m a -> IO ()

Generate C code, use CC to compile it, and run the resulting executable

runCompiled :: MonadRun m => m a -> IO ()

Generate C code, use CC to compile it, and run the resulting executable

By default, all assertions will be included in the generated code.

withCompiled'

Arguments

:: MonadRun m

=> CompilerOpts

-> ExternalCompilerOpts

-> m a

Program to compile

-> ((String -> IO String) -> IO b)

Function that has access to the compiled executable as a function

-> IO b

Compile a program and make it available as an IO function from String to String (connected to stdin/stdout. respectively). Note that compilation only happens once, even if the IO function is used many times in the body.

withCompiled

Arguments

:: MonadRun m

=> m a

Program to compile

-> ((String -> IO String) -> IO b)

Function that has access to the compiled executable as a function

-> IO b

Compile a program and make it available as an IO function from String to String (connected to stdin/stdout. respectively). Note that compilation only happens once, even if the IO function is used many times in the body.

By default, all assertions will be included in the generated code.

captureCompiled'

Arguments

:: MonadRun m

=> CompilerOpts

-> ExternalCompilerOpts

-> m a

Program to run

-> String

Input to send to stdin

-> IO String

Result from stdout

Like runCompiled' but with explicit input/output connected to stdin/stdout. Note that the program will be compiled every time the function is applied to a string. In order to compile once and run many times, use the function withCompiled'.

captureCompiled

Arguments

:: MonadRun m

=> m a

Program to run

-> String

Input to send to stdin

-> IO String

Result from stdout

Like runCompiled but with explicit input/output connected to stdin/stdout. Note that the program will be compiled every time the function is applied to a string. In order to compile once and run many times, use the function withCompiled.

By default, all assertions will be included in the generated code.

compareCompiled'

Arguments

:: MonadRun m

=> CompilerOpts

-> ExternalCompilerOpts

-> m a

Program to run

-> IO a

Reference program

-> String

Input to send to stdin

-> IO ()

Compare the content written to stdout from the reference program and from running the compiled C code

compareCompiled

Arguments

:: MonadRun m

=> m a

Program to run

-> IO a

Reference program

-> String

Input to send to stdin

-> IO ()

Compare the content written to stdout from the reference program and from running the compiled C code

By default, all assertions will be included in the generated code.