Futhark.CodeGen.Backends.MulticoreC

C code generator. This module can convert a correct ImpCode program to an equivalent C program.

Documentation

compileProg :: MonadFreshNames m => Text -> Prog MCMem -> m (Warnings, CParts)

Compile the program to ImpCode with multicore operations.

generateContext :: CompilerM op s ()

Generate the multicore context definitions. This is exported because the WASM backend needs it.

data CParts

The result of compilation to C is multiple parts, which can be put together in various ways. The obvious way is to concatenate all of them, which yields a CLI program. Another is to compile the library part by itself, and use the header file to call into it.

Constructors

CParts

Fields

• cHeader :: Text
• cUtils :: Text

  Utility definitions that must be visible to both CLI and library parts.

• cCLI :: Text
• cServer :: Text
• cLib :: Text
• cJsonManifest :: Text

  The manifest, in JSON format.

asLibrary :: CParts -> (Text, Text, Text)

Produce header, implementation, and manifest files.

asExecutable :: CParts -> Text

As executable with command-line interface.

asServer :: CParts -> Text

As server executable.

operations :: Operations Multicore s

Operations for generating multicore code.

cliOptions :: [Option]

Multicore-related command line options.

compileOp :: OpCompiler Multicore s

data ValueType

Constructors

Prim PrimType

MemBlock

RawMem

paramToCType :: Param -> CompilerM op s (Type, ValueType)

prepareTaskStruct :: DefSpecifier s -> String -> [VName] -> [(Type, ValueType)] -> [VName] -> [(Type, ValueType)] -> CompilerM Multicore s Name

closureFreeStructField :: VName -> Name

generateParLoopFn :: ToIdent a => Map VName Space -> String -> MCCode -> a -> [(VName, (Type, ValueType))] -> [(VName, (Type, ValueType))] -> CompilerM Multicore s Name

addTimingFields :: Name -> CompilerM op s ()

functionTiming :: Name -> Id

functionIterations :: Name -> Id

multiCoreReport :: [(Name, Bool)] -> [BlockItem]

multicoreDef :: DefSpecifier s

multicoreName :: String -> CompilerM op s Name

type DefSpecifier s = String -> (Name -> CompilerM Multicore s Definition) -> CompilerM Multicore s Name

atomicOps :: AtomicOp -> (Type -> VName -> CompilerM op s Type) -> CompilerM op s ()