GHC.StgToCmm.Config

Constructors

• StgToCmmConfig
  • 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

  • stgToCmmUseStdApThunk :: !Bool

    Use precomputed standard AP thunks in the RTS.

  • 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