Safe Haskell | Safe-Infered |
---|
- cmmTopCodeGen :: RawCmmDecl -> NatM [NatCmmDecl CmmStatics Instr]
- generateJumpTableForInstr :: Instr -> Maybe (NatCmmDecl CmmStatics Instr)
- type InstrBlock = OrdList Instr
Documentation
cmmTopCodeGen :: RawCmmDecl -> NatM [NatCmmDecl CmmStatics Instr]Source
Top level code generation
type InstrBlock = OrdList InstrSource
InstrBlock
s 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.