GHC.CmmToAsm.Types

Documentation

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

Constructors

BasicBlock BlockId [i]

Instances

Functor GenBasicBlock

Defined in GHC.Cmm

Methods

fmap :: (a -> b) -> GenBasicBlock a -> GenBasicBlock b

(<$) :: a -> GenBasicBlock b -> GenBasicBlock a

OutputableP env instr => OutputableP env (GenBasicBlock instr)

Defined in GHC.Cmm

Methods

pdoc :: env -> GenBasicBlock instr -> SDoc

Outputable instr => Outputable (GenBasicBlock instr)

Defined in GHC.Cmm

Methods

ppr :: GenBasicBlock instr -> SDoc

blockId :: GenBasicBlock i -> BlockId

The branch block id is that of the first block in the branch, which is that branch's entry point

newtype ListGraph i

Constructors

ListGraph [GenBasicBlock i]

Instances

Functor ListGraph

Defined in GHC.Cmm

Methods

fmap :: (a -> b) -> ListGraph a -> ListGraph b

(<$) :: a -> ListGraph b -> ListGraph a

OutputableP env instr => OutputableP env (ListGraph instr)

Defined in GHC.Cmm

Methods

pdoc :: env -> ListGraph instr -> SDoc

Outputable instr => Outputable (ListGraph instr)

Defined in GHC.Cmm

Methods

ppr :: ListGraph instr -> SDoc

type RawCmmStatics = GenCmmStatics 'True

type RawCmmDecl = GenCmmDecl RawCmmStatics (LabelMap RawCmmStatics) CmmGraph