Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type NatCmm instr = GenCmmGroup RawCmmStatics (LabelMap RawCmmStatics) (ListGraph instr)
- type NatCmmDecl statics instr = GenCmmDecl statics (LabelMap RawCmmStatics) (ListGraph instr)
- type NatBasicBlock instr = GenBasicBlock instr
- data GenBasicBlock i = BasicBlock BlockId [i]
- blockId :: GenBasicBlock i -> BlockId
- newtype ListGraph i = ListGraph [GenBasicBlock i]
- type RawCmmStatics = GenCmmStatics 'True
- type RawCmmDecl = GenCmmDecl RawCmmStatics (LabelMap RawCmmStatics) CmmGraph
Documentation
type NatCmm instr = GenCmmGroup RawCmmStatics (LabelMap RawCmmStatics) (ListGraph instr) Source #
type NatCmmDecl statics instr = GenCmmDecl statics (LabelMap RawCmmStatics) (ListGraph instr) Source #
type NatBasicBlock instr = GenBasicBlock instr Source #
data GenBasicBlock i Source #
BasicBlock BlockId [i] |
Instances
Functor GenBasicBlock Source # | |
Defined in GHC.Cmm fmap :: (a -> b) -> GenBasicBlock a -> GenBasicBlock b Source # (<$) :: a -> GenBasicBlock b -> GenBasicBlock a Source # | |
OutputableP env instr => OutputableP env (GenBasicBlock instr) Source # | |
Outputable instr => Outputable (GenBasicBlock instr) Source # | |
blockId :: GenBasicBlock i -> BlockId Source #
The branch block id is that of the first block in the branch, which is that branch's entry point
Instances
Functor ListGraph Source # | |
OutputableP env instr => OutputableP env (ListGraph instr) Source # | |
Outputable instr => Outputable (ListGraph instr) Source # | |
type RawCmmStatics = GenCmmStatics 'True Source #