| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.CmmToAsm.Types
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 #
Constructors
| BasicBlock BlockId [i] |
Instances
| Functor GenBasicBlock # | |
Defined in GHC.Cmm Methods fmap :: (a -> b) -> GenBasicBlock a -> GenBasicBlock b Source # (<$) :: a -> GenBasicBlock b -> GenBasicBlock a Source # | |
| OutputableP env instr => OutputableP env (GenBasicBlock instr) # | |
| Outputable instr => Outputable (GenBasicBlock instr) # | |
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
Constructors
| ListGraph [GenBasicBlock i] |
Instances
| Functor ListGraph # | |
| OutputableP env instr => OutputableP env (ListGraph instr) # | |
| Outputable instr => Outputable (ListGraph instr) # | |
type RawCmmStatics = GenCmmStatics 'True Source #