- newtype GenCmm d h g = Cmm [GenCmmTop d h g]
- data GenCmmTop d h g
- data CmmInfoTable
- type HasStaticClosure = Bool
- data ClosureTypeInfo
- = ConstrInfo ClosureLayout ConstrTag ConstrDescription
- | FunInfo ClosureLayout C_SRT FunArity ArgDescr SlowEntry
- | ThunkInfo ClosureLayout C_SRT
- | ThunkSelectorInfo SelectorOffset C_SRT
- | ContInfo [Maybe LocalReg] C_SRT
- type ConstrDescription = CmmLit
- data ProfilingInfo = ProfilingInfo CmmLit CmmLit
- type ClosureTypeTag = StgHalfWord
- type CmmActual = CmmExpr
- type CmmFormal = LocalReg
- data ForeignHint
- = NoHint
- | AddrHint
- | SignedHint
- data CmmStatics = Statics CLabel [CmmStatic]
- data CmmStatic
- = CmmStaticLit CmmLit
- | CmmUninitialised Int
- | CmmString [Word8]
- data Section
Documentation
(Outputable d, Outputable info, PlatformOutputable g) => PlatformOutputable (GenCmm d info g) |
A top-level chunk, abstracted over the type of the contents of the basic blocks (Cmm or instructions are the likely instantiations).
(Outputable d, Outputable info, PlatformOutputable i) => PlatformOutputable (GenCmmTop d info i) |
data CmmInfoTable Source
type HasStaticClosure = BoolSource
data ClosureTypeInfo Source
ConstrInfo ClosureLayout ConstrTag ConstrDescription | |
FunInfo ClosureLayout C_SRT FunArity ArgDescr SlowEntry | |
ThunkInfo ClosureLayout C_SRT | |
ThunkSelectorInfo SelectorOffset C_SRT | |
ContInfo [Maybe LocalReg] C_SRT |
type ConstrDescription = CmmLitSource
type ClosureTypeTag = StgHalfWordSource