GHC.CmmToAsm

Module entry point

nativeCodeGen :: forall a. DynFlags -> Module -> ModLocation -> Handle -> UniqSupply -> Stream IO RawCmmGroup a -> IO a

Test-only exports: see trac #12744

cmmNativeGen

Arguments

:: forall statics instr jumpDest. (Instruction instr, Outputable statics, Outputable instr, Outputable jumpDest)

=> DynFlags

-> Module

-> ModLocation

-> NcgImpl statics instr jumpDest

-> UniqSupply

-> DwarfFiles

-> LabelMap DebugBlock

-> RawCmmDecl

the cmm to generate code for

-> Int

sequence number of this top thing

-> IO (UniqSupply, DwarfFiles, [NatCmmDecl statics instr], [CLabel], Maybe [RegAllocStats statics instr], Maybe [RegAllocStats], LabelMap [UnwindPoint])

Complete native code generation phase for a single top-level chunk of Cmm. Dumping the output of each stage along the way. Global conflict graph and NGC stats

data NcgImpl statics instr jumpDest

Constructors

NcgImpl

Fields

• ncgConfig :: !NCGConfig
• 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 RawCmmStatics -> [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 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.

x86NcgImpl :: NCGConfig -> NcgImpl (Alignment, RawCmmStatics) Instr JumpDest