Documentation

Fields

• [LocalReg]

  Put result(s) in these regs and fall through NB: no void arguments here

• Bool

  Should we adjust the heap pointer back to recover space that's unused on this path? We need to do this only if the expression may allocate (e.g. it's a foreign call or allocating primOp)

Fields

• sli_id :: !Id
   
• sli_arity :: !RepArity

  always equal to idFunRepArity of sli_id, i.e. unarised arity, including void arguments

• sli_registers :: ![LocalReg]

  Excludes void arguments (LocalReg is never void)

• sli_header_block :: !BlockId
   

Fields

• virtHp :: VirtualHpOffset
   
• realHp :: VirtualHpOffset
   

Fields

• cg_id :: Id

  Id that this is the info for

• cg_lf :: LambdaFormInfo
   
• cg_loc :: CgLoc

  CmmExpr for the *tagged* value

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

• 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

Fields

• cgs_stmts :: CmmAGraph
   
• cgs_tops :: OrdList DCmmDecl
   
• cgs_binds :: CgBindings
   
• cgs_hp_usg :: HeapUsage
   
• cgs_uniqs :: UniqSupply