GHC.StgToCmm.Config

ghc-lib-parser-9.14.1.20251220: The GHC API, decoupled from GHC versions

Safe Haskell | Ignore
Language | GHC2021

GHC.StgToCmm.Config

Description

The stg to cmm code generator configuration

# Documentation

data StgToCmmConfig #

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 stgToCmmEmitDebugInfo :: !Bool Whether we wish to output debug information 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`) stgToCmmFastPAPCalls :: !Bool stgToCmmSCCProfiling :: !Bool Check if cost-centre profiling is enabled stgToCmmEagerBlackHole :: !Bool stgToCmmOrigThunkInfo :: !Bool Push `stg_orig_thunk_info` frames during thunk update. stgToCmmInfoTableMap :: !Bool true means generate C Stub for IPE map, See Note [Mapping Info Tables to Source Positions] stgToCmmInfoTableMapWithFallback :: !Bool Include info tables with fallback source locations in the info table map stgToCmmInfoTableMapWithStack :: !Bool Include info tables for STACK closures in the info table map 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. stgToCmmObjectDeterminism :: !Bool Enable deterministic code generation (more precisely, the deterministic unique-renaming pass in StgToCmm) stgToCmmAllowArith64 :: !Bool Allowed to emit 64-bit arithmetic operations stgToCmmAllowQuot64 :: !Bool Allowed to emit 64-bit division operations 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 stgToCmmAllowWordMul2Instr :: !Bool Allowed to generate WordMul2 instruction stgToCmmAllowFMAInstr :: FMASign -> Bool Allowed to generate FMA instruction stgToCmmAllowIntWord64X2MinMax :: !Bool Allowed to generate minmax instructions for Int64X2Word64X2 stgToCmmTickyAP :: !Bool Disable use of precomputed standard thunks. stgToCmmSaveFCallTargetToLocal :: !Bool Save a foreign call target to a Cmm local, see Note [Saving foreign call target to local] for details 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 #