Moduleghc-10.0.0.20260917GHC2024

GHC.CmmToAsm.X86.CodeGen

1 type
4 values

Packageghc-10.0.0.20260917
Exports5
LanguageGHC2024
LicenceBSD-3-Clause
SourceCodeGen.hs

valuecmmTopCodeGen

:: RawCmmDecl
-> NatM [NatCmmDecl (Alignment, RawCmmStatics) Instr]

valuegenerateJumpTableForInstr

:: NCGConfig
-> Instr
-> Maybe (NatCmmDecl (Alignment, RawCmmStatics) Instr)

valueextractUnwindPoints :: [Instr] -> [UnwindPoint]

valueinvertCondBranches

:: Maybe CFG
CFG if present
-> LabelMap a
Blocks with info tables
-> [NatBasicBlock Instr]
List of basic blocks
-> [NatBasicBlock Instr]

This works on the invariant that all jumps in the given blocks are required. Starting from there we try to make a few more jumps redundant by reordering them. We depend on the information in the CFG to do so so without a given CFG we do nothing.

typetype InstrBlock = OrdList Instr

InstrBlocks are the insn sequences generated by the insn selectors. They are really trees of insns to facilitate fast appending, where a left-to-right traversal yields the insns in the correct order.