GHC.StgToCmm.Config

The stg to cmm code generator configuration

Documentation

data StgToCmmConfig Source #

Constructors

StgToCmmConfig

Fields

stgToCmmProfile :: !Profile
Current profile
stgToCmmThisModule :: Module
The module being compiled. This field kept lazy for Cmm/Parser.y which preloads it with a panic
stgToCmmTmpDir :: !TempDir
Temp Dir for files used in compilation
stgToCmmContext :: !SDocContext
Context for StgToCmm phase
stgToCmmDebugLevel :: !Int
The verbosity of debug messages
stgToCmmBinBlobThresh :: !(Maybe Word)
Threshold at which Binary literals (e.g. strings) are either dumped to a file and a CmmFileEmbed literal is emitted (over threshold), or become a CmmString Literal (under or at threshold). CmmFileEmbed is only supported with the NCG, thus a Just means two things: We have a threshold, and will be using the NCG. Conversely, a Nothing implies we are not using NCG and disables CmmFileEmbed. See Note [Embedding large binary blobs] in GHC.CmmToAsm.Ppr, and cgTopBinding in GHC.StgToCmm.
stgToCmmMaxInlAllocSize :: !Int
Max size, in bytes, of inline array allocations.
stgToCmmDoTicky :: !Bool
Ticky profiling enabled (cf -ticky)
stgToCmmTickyAllocd :: !Bool
True indicates ticky prof traces allocs of each named thing in addition to allocs _by_ that thing
stgToCmmTickyLNE :: !Bool
True indicates ticky uses name-specific counters for join-points (let-no-escape)
stgToCmmTickyDynThunk :: !Bool
True indicates ticky uses name-specific counters for dynamic thunks
stgToCmmTickyTag :: !Bool
True indicates ticky will count number of avoided tag checks by tag inference.
stgToCmmLoopification :: !Bool
Loopification enabled (cf -floopification)
stgToCmmAlignCheck :: !Bool
Insert alignment check (cf -falignment-sanitisation)
stgToCmmOptHpc :: !Bool
perform code generation for code coverage
stgToCmmFastPAPCalls :: !Bool
stgToCmmSCCProfiling :: !Bool
Check if cost-centre profiling is enabled
stgToCmmEagerBlackHole :: !Bool
stgToCmmInfoTableMap :: !Bool
true means generate C Stub for IPE map, See note [Mapping Info Tables to Source Positions]
stgToCmmOmitYields :: !Bool
true means omit heap checks when no allocation is performed
stgToCmmOmitIfPragmas :: !Bool
true means don't generate interface programs (implied by -O0)
stgToCmmPIC :: !Bool
true if -fPIC
stgToCmmPIE :: !Bool
true if -fPIE
stgToCmmExtDynRefs :: !Bool
true if -fexternal-dynamic-refs, meaning generate code for linking against dynamic libraries
stgToCmmDoBoundsCheck :: !Bool
decides whether to check array bounds in StgToCmm.Prim or not
stgToCmmDoTagCheck :: !Bool
Verify tag inference predictions.
stgToCmmAllowBigArith :: !Bool
Allowed to emit larger than native size arithmetic (only LLVM and C backends)
stgToCmmAllowQuotRemInstr :: !Bool
Allowed to generate QuotRem instructions
stgToCmmAllowQuotRem2 :: !Bool
Allowed to generate QuotRem
stgToCmmAllowExtendedAddSubInstrs :: !Bool
Allowed to generate AddWordC, SubWordC, Add2, etc.
stgToCmmAllowIntMul2Instr :: !Bool
Allowed to generate IntMul2 instruction
stgToCmmAllowFabsInstrs :: !Bool
Allowed to generate Fabs instructions
stgToCmmTickyAP :: !Bool
Disable use of precomputed standard thunks.
stgToCmmVecInstrsErr :: Maybe String
Error (if any) to raise when vector instructions are used, see StgToCmm.Prim.checkVecCompatibility
stgToCmmAvx :: !Bool
check for Advanced Vector Extensions
stgToCmmAvx2 :: !Bool
check for Advanced Vector Extensions 2
stgToCmmAvx512f :: !Bool
check for Advanced Vector 512-bit Extensions

stgToCmmPlatform :: StgToCmmConfig -> Platform Source #