GHC.Stg.Pipeline

Documentation

data StgPipelineOpts

Constructors

StgPipelineOpts

Fields

• stgPipeline_phases :: ![StgToDo]

  Spec of what stg-to-stg passes to do

• stgPipeline_lint :: !(Maybe DiagOpts)

  Should we lint the STG at various stages of the pipeline?

• stgPipeline_pprOpts :: !StgPprOpts
• stgPlatform :: !Platform
• stgPipeline_forBytecode :: !Bool

data StgToDo

Optional Stg-to-Stg passes.

Constructors

StgCSE

Common subexpression elimination

StgLiftLams StgLiftConfig

Lambda lifting closure variables, trading stack/register allocation for heap allocation

StgStats

StgUnarise

Mandatory unarise pass, desugaring unboxed tuple and sum binders

StgBcPrep

Mandatory when compiling to bytecode

StgDoNothing

Useful for building up getStgToDo

Instances

Read StgToDo

Defined in GHC.Stg.Pipeline

Methods

readsPrec :: Int -> ReadS StgToDo

readList :: ReadS [StgToDo]

readPrec :: ReadPrec StgToDo

readListPrec :: ReadPrec [StgToDo]

Show StgToDo

Defined in GHC.Stg.Pipeline

Methods

showsPrec :: Int -> StgToDo -> ShowS

show :: StgToDo -> String

showList :: [StgToDo] -> ShowS

Eq StgToDo

Defined in GHC.Stg.Pipeline

Methods

(==) :: StgToDo -> StgToDo -> Bool

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

Ord StgToDo

Defined in GHC.Stg.Pipeline

Methods

compare :: StgToDo -> StgToDo -> Ordering

(<) :: StgToDo -> StgToDo -> Bool

(<=) :: StgToDo -> StgToDo -> Bool

(>) :: StgToDo -> StgToDo -> Bool

(>=) :: StgToDo -> StgToDo -> Bool

max :: StgToDo -> StgToDo -> StgToDo

min :: StgToDo -> StgToDo -> StgToDo

stg2stg

Arguments

:: Logger

-> [Var]

extra vars in scope from GHCi

-> StgPipelineOpts

-> Module

module being compiled

-> [StgTopBinding]

input program

-> IO ([(CgStgTopBinding, IdSet)], StgCgInfos)

type StgCgInfos = NameEnv TagSig

Information to be exposed in interface files which is produced by the stg2stg passes.