Fields

• ncgConfig :: !NCGConfig
   
• cmmTopCodeGen :: RawCmmDecl -> NatM [NatCmmDecl statics instr]
   
• generateJumpTableForInstr :: instr -> Maybe (NatCmmDecl statics instr)
   
• getJumpDestBlockId :: jumpDest -> Maybe BlockId

  Given a jump destination, if it refers to a block, return the block id of the destination.

• canShortcut :: instr -> Maybe jumpDest

  Does this jump always jump to a single destination and is shortcutable?

  We use this to determine whether the given instruction is a shortcutable jump to some destination - See Note [supporting shortcutting] Note that if we return a destination here we *most* support the relevant shortcutting in shortcutStatics for jump tables and shortcutJump for the instructions itself.

• shortcutStatics :: (BlockId -> Maybe jumpDest) -> statics -> statics

  Replace references to blockIds with other destinations - used to update jump tables.

• shortcutJump :: (BlockId -> Maybe jumpDest) -> instr -> instr

  Change the jump destination(s) of an instruction.

  Rewrites the destination of a jump instruction to another destination, if the given function returns a new jump destination for the BlockId of the original destination.

  For instance, for a mapping block_a -> dest_b and a instruction goto block_a we would rewrite the instruction to goto dest_b

• pprNatCmmDeclS :: NatCmmDecl statics instr -> SDoc

  Module is only for printing internal labels. See Note [Internal proc labels] in CLabel.

• pprNatCmmDeclH :: NatCmmDecl statics instr -> HDoc
   
• maxSpillSlots :: Int
   
• allocatableRegs :: [RealReg]
   
• ncgAllocMoreStack :: Int -> NatCmmDecl statics instr -> UniqDSM (NatCmmDecl statics instr, [(BlockId, BlockId)])

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

• ncgMakeFarBranches :: Platform -> LabelMap RawCmmStatics -> [NatBasicBlock instr] -> UniqDSM [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 GHC.Cmm.DebugBlock and Note [Unwinding information in the NCG] in this module.

• invertCondBranches :: Maybe CFG -> LabelMap RawCmmStatics -> [NatBasicBlock instr] -> [NatBasicBlock instr]

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

Fields

• natm_us :: DUniqSupply
   
• natm_delta :: Int

  Stack offset for unwinding information

• natm_imports :: [CLabel]
   
• natm_pic :: Maybe Reg
   
• natm_config :: NCGConfig
   
• 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.

Fields

• !Reg

  Higher part

• !Reg

  Lower part

Fields

• code

  Code to initialize the registers

• !Reg

  Higher part

• !Reg

  Lower part