Safe Haskell	None
Language	GHC2021

GHC.Stg.Pipeline

Synopsis

Documentation

Constructors

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
stgPipeline_allowTopLevelConApp :: Module -> DataCon -> [StgArg] -> Bool
Is a top-level (static) StgConApp allowed or not. If not, use dynamic allocation.
This is typically used to support dynamic linking on Windows and the -fexternal-dynamic-refs flag. See GHC.Stg.Utils.allowTopLevelConApp.

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 details

Read StgToDo Source #
Instance details Defined in GHC.Stg.Pipeline Methods readsPrec :: Int -> ReadS StgToDo # readList :: ReadS [StgToDo] # readPrec :: ReadPrec StgToDo # readListPrec :: ReadPrec [StgToDo] #
Show StgToDo Source #
Instance details Defined in GHC.Stg.Pipeline Methods showsPrec :: Int -> StgToDo -> ShowS # show :: StgToDo -> String # showList :: [StgToDo] -> ShowS #
Eq StgToDo Source #
Instance details Defined in GHC.Stg.Pipeline Methods (==) :: StgToDo -> StgToDo -> Bool # (/=) :: StgToDo -> StgToDo -> Bool #
Ord StgToDo Source #
Instance details 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 #

Arguments

:: Logger
-> [Var]	extra vars in scope from GHCi
-> StgPipelineOpts
-> Module	module being compiled
-> [StgTopBinding]	input program
-> IO ([(CgStgTopBinding, IdSet)], StgCgInfos)

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