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]
   
• 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 UnwindPoints See Note [What is this unwinding business?] in Debug and Note [Unwinding information in the NCG] in this module.

• invertCondBranches :: Maybe 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.