Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type CmmProgram = [CmmGroup]
- type CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph
- type CmmGroupSRTs = GenCmmGroup RawCmmStatics CmmTopInfo CmmGraph
- type RawCmmGroup = GenCmmGroup RawCmmStatics (LabelMap RawCmmStatics) CmmGraph
- type GenCmmGroup d h g = [GenCmmDecl d h g]
- type CmmDecl = GenCmmDecl CmmStatics CmmTopInfo CmmGraph
- type CmmDeclSRTs = GenCmmDecl RawCmmStatics CmmTopInfo CmmGraph
- data GenCmmDecl d h g
- type CmmGraph = GenCmmGraph CmmNode
- data GenCmmGraph n = CmmGraph {}
- type CmmBlock = Block CmmNode C C
- type RawCmmDecl = GenCmmDecl RawCmmStatics (LabelMap RawCmmStatics) CmmGraph
- data Section = Section SectionType CLabel
- data SectionType
- data GenCmmStatics (rawOnly :: Bool) where
- CmmStatics :: CLabel -> CmmInfoTable -> CostCentreStack -> [CmmLit] -> GenCmmStatics 'False
- CmmStaticsRaw :: CLabel -> [CmmStatic] -> GenCmmStatics a
- type CmmStatics = GenCmmStatics 'False
- type RawCmmStatics = GenCmmStatics 'True
- data CmmStatic
- data SectionProtection
- sectionProtection :: Section -> SectionProtection
- 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
- type ConstrDescription = ByteString
- module GHC.Cmm.Node
- module GHC.Cmm.Expr
Cmm top-level datatypes
type CmmProgram = [CmmGroup] Source #
type CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph Source #
Cmm group before SRT generation
type CmmGroupSRTs = GenCmmGroup RawCmmStatics CmmTopInfo CmmGraph Source #
Cmm group with SRTs
type RawCmmGroup = GenCmmGroup RawCmmStatics (LabelMap RawCmmStatics) CmmGraph Source #
Raw cmm group (TODO (osa): not sure what that means)
type GenCmmGroup d h g = [GenCmmDecl d h g] Source #
type CmmDecl = GenCmmDecl CmmStatics CmmTopInfo CmmGraph Source #
data GenCmmDecl d h g Source #
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 GHC.Cmm.Ppr.Decl |
type CmmGraph = GenCmmGraph CmmNode Source #
data GenCmmGraph n Source #
data SectionType Source #
Text | |
Data | |
ReadOnlyData | |
RelocatableReadOnlyData | |
UninitialisedData | |
ReadOnlyData16 | |
CString | |
OtherSection String |
Instances
data GenCmmStatics (rawOnly :: Bool) where Source #
CmmStatics :: CLabel -> CmmInfoTable -> CostCentreStack -> [CmmLit] -> GenCmmStatics 'False | |
CmmStaticsRaw :: CLabel -> [CmmStatic] -> GenCmmStatics a | Static data, after SRTs are generated |
Instances
Outputable (GenCmmStatics a) # | |
Defined in GHC.Cmm.Ppr.Decl |
type CmmStatics = GenCmmStatics 'False Source #
type RawCmmStatics = GenCmmStatics 'True Source #
CmmStaticLit CmmLit | a literal value, size given by cmmLitRep of the literal. |
CmmUninitialised Int | uninitialised data, N bytes long |
CmmString ByteString | string of 8-bit values only, not zero terminated. |
CmmFileEmbed FilePath | an embedded binary file |
data SectionProtection Source #
Instances
Eq SectionProtection # | |
Defined in GHC.Cmm (==) :: SectionProtection -> SectionProtection -> Bool # (/=) :: SectionProtection -> SectionProtection -> Bool # |
sectionProtection :: Section -> SectionProtection Source #
Should a data in this section be considered constant at runtime
Blocks containing lists
data GenBasicBlock i Source #
BasicBlock BlockId [i] |
Instances
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
pprBBlock :: Outputable stmt => GenBasicBlock stmt -> SDoc Source #
Info Tables
data CmmTopInfo Source #
CmmTopInfo is attached to each CmmDecl (see defn of CmmGroup), and contains the extra info (beyond the executable code) that belongs to that CmmDecl.
Instances
Outputable CmmTopInfo # | |
Defined in GHC.Cmm.Ppr |
data CmmStackInfo Source #
Instances
Outputable CmmStackInfo # | |
Defined in GHC.Cmm.Ppr |
data CmmInfoTable Source #
Info table as a haskell data type
Instances
Outputable CmmInfoTable # | |
Defined in GHC.Cmm.Ppr.Decl |
topInfoTable :: GenCmmDecl a CmmTopInfo (GenCmmGraph n) -> Maybe CmmInfoTable Source #
data ClosureTypeInfo Source #
Constr ConTagZ ConstrDescription | |
Fun FunArity ArgDescr | |
Thunk | |
ThunkSelector SelectorOffset | |
BlackHole | |
IndStatic |
Instances
Outputable ClosureTypeInfo # | |
Defined in GHC.Runtime.Heap.Layout |
type ConstrDescription = ByteString Source #
Statements, expressions and types
module GHC.Cmm.Node
module GHC.Cmm.Expr