DDC.Driver.Stage

Compiler stages.

A compiler stage is a sequence of standard transformations. Each of the individual transformations are expressed as a pipeline from DDC.Build.Pipeline. The stages here run several pipelines each, and contain the code that can dump the intermediate program after each transformation.

Documentation

data Config

Configuration for main compiler stages.

Constructors

Config

Fields

• configLogBuild :: Bool

  Print status to console during builds.

• configDump :: Bool

  Dump intermediate code.

• configInferTypes :: Bool

  Use bidirectional type inference on the input code.

• configSimplSalt :: Simplifier Int () Name

  Simplifiers to apply to intermediate code

• configViaBackend :: ViaBackend

  Backend code generator to use

• configRuntime :: Config

  Runtime system configuration

• configRuntimeLinkStrategy :: RuntimeLinkStrategy

  Linking strategy for the runtime.

• configBuilder :: Builder

  The builder to use for the target architecture

• configPretty :: ConfigPretty

  Core langauge pretty printer configuration.

• configSuppressHashImports :: Bool

  Suppress the #import prelude in C modules

• configModuleBaseDirectories :: [FilePath]

  Base directories to look for modules sources during build.

• configOutputFile :: Maybe FilePath

  Override output file

• configOutputDir :: Maybe FilePath

  Override directory for build products

• configKeepLlvmFiles :: Bool

  Keep intermediate .ddc.ll files

• configKeepSeaFiles :: Bool

  Keep intermediate .ddc.c files

• configKeepAsmFiles :: Bool

  Keep intermediate .ddc.s files

• configTaintAvoidTypeChecks :: Bool

  Avoid running the type checker where possible. When debugging program transformations, use this to get the invalid code rather than just the type error message.

data ViaBackend

Constructors

ViaC

Compile via the C backend.

ViaLLVM

Compile via the LLVM backend.

Instances

Show ViaBackend

Methods

showsPrec :: Int -> ViaBackend -> ShowS

show :: ViaBackend -> String

showList :: [ViaBackend] -> ShowS

data RuntimeLinkStrategy

Constructors

LinkDefault

Use the platform's default strategy.

LinkStatic

Link the runtime statically.

Instances

Eq RuntimeLinkStrategy

Methods

(==) :: RuntimeLinkStrategy -> RuntimeLinkStrategy -> Bool

(/=) :: RuntimeLinkStrategy -> RuntimeLinkStrategy -> Bool

Show RuntimeLinkStrategy

Methods

showsPrec :: Int -> RuntimeLinkStrategy -> ShowS

show :: RuntimeLinkStrategy -> String

showList :: [RuntimeLinkStrategy] -> ShowS

Tetra stages

stageSourceTetraLoad :: Config -> Source -> Store -> [PipeCore (AnTEC SourcePos Name) Name] -> PipeText Name Error

Load and type check a Source Tetra module.

stageTetraLoad :: Config -> Source -> [PipeCore () Name] -> PipeText Name Error

Load and type check a Core Tetra module.

stageTetraToSalt :: Config -> Source -> [PipeCore () Name] -> PipeCore () Name

Convert a Core Tetra module to Core Salt.

This includes performing the Boxing transform.

Flow stages

stageFlowLoad :: Config -> Source -> [PipeCore () Name] -> PipeText Name Error

Type check Core Flow.

stageFlowPrep :: Config -> Source -> [PipeCore () Name] -> PipeCore () Name

Prepare a Core Flow module for lowering.

stageFlowRate :: Config -> Source -> [PipeCore () Name] -> PipeCore () Name

Perform rate inference to transform vector operations to series

stageFlowLower :: Config -> Config -> Source -> [PipeCore () Name] -> PipeCore (AnTEC () Name) Name

Lower a Core Flow module. Is needs to already be prepped, and have full type annotations.

stageFlowWind :: Config -> Source -> [PipeCore () Name] -> PipeCore (AnTEC () Name) Name

Wind loop primops into tail recursive loops in a Core Flow module.

stageFlowToTetra :: Config -> Source -> [PipeCore () Name] -> PipeCore (AnTEC () Name) Name

Wind loop primops into tail recursive loops in a Core Flow module.

Salt stages

stageSaltLoad :: Config -> Source -> [PipeCore () Name] -> PipeText Name Error

Load and type check a Core Salt module.

stageSaltOpt :: Config -> Source -> [PipeCore () Name] -> PipeCore () Name

Optimise Core Salt.

stageSaltToC :: Config -> Source -> Sink -> PipeCore () Name

Convert Core Salt to C code.

stageSaltToLLVM :: Config -> Source -> [PipeLlvm] -> PipeCore () Name

Convert Core Salt to LLVM.

stageCompileSalt

Arguments

:: Config

-> Source

-> FilePath

Path of original source file. Build products are placed into the same dir.

-> Bool

Should we link this into an executable

-> PipeCore () Name

Compile Core Salt via C code.

LLVM stages

stageCompileLLVM

Arguments

:: Config

-> Source

-> FilePath

Path of original source file. Build products are placed into the same dir.

-> Maybe [FilePath]

If True then link with these other .os into an executable.

-> PipeLlvm

Compile LLVM code.