| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cmm
Synopsis
- type CmmProgram = [CmmGroup]
- type CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph
- type GenCmmGroup d h g = [GenCmmDecl d h g]
- type CmmDecl = GenCmmDecl CmmStatics CmmTopInfo CmmGraph
- data GenCmmDecl d h g
- type CmmGraph = GenCmmGraph CmmNode
- data GenCmmGraph n = CmmGraph {}
- type CmmBlock = Block CmmNode C C
- type RawCmmDecl = GenCmmDecl CmmStatics (LabelMap CmmStatics) CmmGraph
- type RawCmmGroup = GenCmmGroup CmmStatics (LabelMap CmmStatics) CmmGraph
- data Section = Section SectionType CLabel
- data SectionType
- data CmmStatics = Statics CLabel [CmmStatic]
- data CmmStatic
- isSecConstant :: Section -> Bool
- data GenBasicBlock i = BasicBlock BlockId [i]
- blockId :: GenBasicBlock i -> BlockId
- newtype ListGraph i = ListGraph [GenBasicBlock i]
- pprBBlock :: Outputable stmt => GenBasicBlock stmt -> SDoc
- data CmmTopInfo = TopInfo {}
- data CmmStackInfo = StackInfo {}
- data CmmInfoTable = CmmInfoTable {}
- topInfoTable :: GenCmmDecl a CmmTopInfo (GenCmmGraph n) -> Maybe CmmInfoTable
- data ClosureTypeInfo
- = Constr ConTagZ ConstrDescription
- | Fun FunArity ArgDescr
- | Thunk
- | ThunkSelector SelectorOffset
- | BlackHole
- | IndStatic
- data ProfilingInfo
- = NoProfilingInfo
- | ProfilingInfo [Word8] [Word8]
- type ConstrDescription = [Word8]
- module CmmNode
- module CmmExpr
Cmm top-level datatypes
type CmmProgram = [CmmGroup] #
type CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph #
type GenCmmGroup d h g = [GenCmmDecl d h g] #
type CmmDecl = GenCmmDecl CmmStatics CmmTopInfo CmmGraph #
data GenCmmDecl d h g #
A top-level chunk, abstracted over the type of the contents of the basic blocks (Cmm or instructions are the likely instantiations).
Instances
| (Outputable d, Outputable info, Outputable i) => Outputable (GenCmmDecl d info i) # | |
Defined in PprCmmDecl | |
type CmmGraph = GenCmmGraph CmmNode #
data GenCmmGraph n #
type RawCmmDecl = GenCmmDecl CmmStatics (LabelMap CmmStatics) CmmGraph #
type RawCmmGroup = GenCmmGroup CmmStatics (LabelMap CmmStatics) CmmGraph #
Constructors
| Section SectionType CLabel |
data SectionType #
Constructors
| Text | |
| Data | |
| ReadOnlyData | |
| RelocatableReadOnlyData | |
| UninitialisedData | |
| ReadOnlyData16 | |
| CString | |
| OtherSection String |
Instances
| Show SectionType # | |
data CmmStatics #
Instances
| Outputable CmmStatics # | |
Defined in PprCmmDecl | |
Constructors
| CmmStaticLit CmmLit | |
| CmmUninitialised Int | |
| CmmString [Word8] |
isSecConstant :: Section -> Bool #
Should a data in this section be considered constant
Blocks containing lists
data GenBasicBlock i #
Constructors
| BasicBlock BlockId [i] |
Instances
| Outputable instr => Outputable (GenBasicBlock instr) # | |
Defined in Cmm | |
blockId :: GenBasicBlock i -> BlockId #
The branch block id is that of the first block in the branch, which is that branch's entry point
Constructors
| ListGraph [GenBasicBlock i] |
pprBBlock :: Outputable stmt => GenBasicBlock stmt -> SDoc #
Info Tables
data CmmStackInfo #
Instances
| Outputable CmmStackInfo # | |
Defined in PprCmm | |
data CmmInfoTable #
Info table as a haskell data type
Constructors
| CmmInfoTable | |
Instances
| Outputable CmmInfoTable # | |
Defined in PprCmmDecl | |
topInfoTable :: GenCmmDecl a CmmTopInfo (GenCmmGraph n) -> Maybe CmmInfoTable #
data ClosureTypeInfo #
Constructors
| Constr ConTagZ ConstrDescription | |
| Fun FunArity ArgDescr | |
| Thunk | |
| ThunkSelector SelectorOffset | |
| BlackHole | |
| IndStatic |
Instances
| Outputable ClosureTypeInfo # | |
Defined in SMRep | |
data ProfilingInfo #
Constructors
| NoProfilingInfo | |
| ProfilingInfo [Word8] [Word8] |
type ConstrDescription = [Word8] #
Statements, expressions and types
module CmmNode
module CmmExpr