Documentation

Fields

• cmmTopCodeGen :: RawCmmDecl -> NatM [NatCmmDecl statics instr]
• generateJumpTableForInstr :: instr -> Maybe (NatCmmDecl statics instr)
• getJumpDestBlockId :: jumpDest -> Maybe BlockId
• canShortcut :: instr -> Maybe jumpDest
• shortcutStatics :: (BlockId -> Maybe jumpDest) -> statics -> statics
• shortcutJump :: (BlockId -> Maybe jumpDest) -> instr -> instr
• pprNatCmmDecl :: NatCmmDecl statics instr -> SDoc
• maxSpillSlots :: Int
• allocatableRegs :: [RealReg]
• ncg_x86fp_kludge :: [NatCmmDecl statics instr] -> [NatCmmDecl statics instr]
• ncgExpandTop :: [NatCmmDecl statics instr] -> [NatCmmDecl statics instr]
• ncgAllocMoreStack :: Int -> NatCmmDecl statics instr -> UniqSM (NatCmmDecl statics instr, [(BlockId, BlockId)])

  The list of block ids records the redirected jumps to allow us to update the CFG.

• ncgMakeFarBranches :: LabelMap CmmStatics -> [NatBasicBlock instr] -> [NatBasicBlock instr]
• extractUnwindPoints :: [instr] -> [UnwindPoint]

  given the instruction sequence of a block, produce a list of the block's UnwindPoint s See Note [What is this unwinding business?] in Debug and Note [Unwinding information in the NCG] in this module.

• invertCondBranches :: CFG -> LabelMap CmmStatics -> [NatBasicBlock instr] -> [NatBasicBlock instr]

  Turn the sequence of `jcc l1; jmp l2` into `jncc l2; block_l1` when possible.

Fields

• natm_us :: UniqSupply
• natm_delta :: Int
• natm_imports :: [CLabel]
• natm_pic :: Maybe Reg
• natm_dflags :: DynFlags
• natm_this_module :: Module
• natm_modloc :: ModLocation
• natm_fileid :: DwarfFiles
• natm_debug_map :: LabelMap DebugBlock
• natm_cfg :: CFG

  Having a CFG with additional information is essential for some operations. However we can't reconstruct all information once we generated instructions. So instead we update the CFG as we go.