Moduleghc-9.14.1GHC2021

GHC.Cmm

35 types
16 values

Packageghc-9.14.1
Exports51
LanguageGHC2021
LicenceBSD-3-Clause
SourceCmm.hs

Cmm top-level datatypes

34 declarations

typetype DCmmGroup = GenCmmGroup CmmStatics DCmmTopInfo DCmmGraph

Cmm group after STG generation

typetype CmmProgram = [CmmGroup]

typetype CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph

Cmm group before SRT generation

typetype CmmGroupSRTs = GenCmmGroup RawCmmStatics CmmTopInfo CmmGraph

Cmm group with SRTs

typetype RawCmmGroup = GenCmmGroup RawCmmStatics (LabelMap RawCmmStatics) CmmGraph

Raw cmm group (TODO (osa): not sure what that means)

typetype GenCmmGroup d h g = [GenCmmDecl d h g]

typetype CmmDecl = GenCmmDecl CmmStatics CmmTopInfo CmmGraph

typetype DCmmDecl = GenCmmDecl CmmStatics DCmmTopInfo DCmmGraph

typetype CmmDeclSRTs = GenCmmDecl RawCmmStatics CmmTopInfo CmmGraph

datadata 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).

Constructors

CmmProc h CLabel [GlobalRegUse] g
CmmData Section d

Instances2OutputableP, Functor

(OutputableP Platform d, OutputableP Platform info, OutputableP Platform i) => OutputableP Platform (GenCmmDecl d info i)Defined in ghc-9.14.1 · GHC.Cmm
Functor (GenCmmDecl d h)Defined in ghc-9.14.1 · GHC.Cmm

typetype CmmDataDecl = GenCmmDataDecl CmmStatics

valuecmmDataDeclCmmDecl :: GenCmmDataDecl d -> GenCmmDecl d h g

typetype DCmmGraph = GenGenCmmGraph DWrap CmmNode

typetype CmmGraph = GenCmmGraph CmmNode

typetype GenCmmGraph (n :: Extensibility -> Extensibility -> Type) = GenGenCmmGraph LabelMap n

datadata GenGenCmmGraph (s :: Type -> Type) (n :: Extensibility -> Extensibility -> Type)

Constructors

CmmGraph
- g_entry :: BlockId
- g_graph :: Graph' s Block n C C

Instances1OutputableP

OutputableP Platform CmmGraphDefined in ghc-9.14.1 · GHC.Cmm

valuetoBlockMap :: CmmGraph -> LabelMap CmmBlock

valuerevPostorder :: CmmGraph -> [CmmBlock]

valuetoBlockList :: CmmGraph -> [CmmBlock]

typetype CmmBlock = Block CmmNode C C

typetype RawCmmDecl = GenCmmDecl RawCmmStatics (LabelMap RawCmmStatics) CmmGraph

datadata Section

Constructors

Section SectionType CLabel

datadata SectionType

Instances1Show

Show SectionTypeDefined in ghc-9.14.1 · GHC.Cmm

datadata GenCmmStatics (rawOnly :: Bool) where

Static data before or after SRT generation

Constructors

CmmStatics :: CLabel -> CmmInfoTable -> CostCentreStack -> [CmmLit] -> [CmmLit] -> GenCmmStatics 'False
CmmStaticsRaw :: CLabel -> [CmmStatic] -> GenCmmStatics rawOnly
Static data, after SRTs are generated

Instances1OutputableP

OutputableP Platform (GenCmmStatics a)Defined in ghc-9.14.1 · GHC.Cmm

typetype CmmStatics = GenCmmStatics 'False

typetype RawCmmStatics = GenCmmStatics 'True

datadata CmmStatic

Constructors

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 Int
an embedded binary file and its byte length

Instances2Outputable, OutputableP

Outputable CmmStaticDefined in ghc-9.14.1 · GHC.Cmm
OutputableP Platform CmmStaticDefined in ghc-9.14.1 · GHC.Cmm

datadata SectionProtection

ReadWriteSection ReadOnlySection WriteProtectedSection

Instances1Eq

Eq SectionProtectionDefined in ghc-9.14.1 · GHC.Cmm

valuesectionProtection :: Section -> SectionProtection

Should a data in this section be considered constant at runtime

newtypenewtype DWrap a

Constructors

DWrap [(BlockId, a)]

valueunDeterm :: DWrap a -> [(BlockId, a)]

valueremoveDeterm :: DCmmGroup -> CmmGroup

valueremoveDetermDecl :: DCmmDecl -> CmmDecl

valueremoveDetermGraph :: DCmmGraph -> CmmGraph

Blocks containing lists

datadata GenBasicBlock i

Constructors

BasicBlock BlockId [i]

Instances3Functor, OutputableP, Outputable

Functor GenBasicBlockDefined in ghc-9.14.1 · GHC.Cmm
OutputableP env instr => OutputableP env (GenBasicBlock instr)Defined in ghc-9.14.1 · GHC.Cmm
Outputable instr => Outputable (GenBasicBlock instr)Defined in ghc-9.14.1 · GHC.Cmm

valueblockId :: GenBasicBlock i -> BlockId

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

newtypenewtype ListGraph i

Constructors

ListGraph [GenBasicBlock i]

Instances3Functor, OutputableP, Outputable

Functor ListGraphDefined in ghc-9.14.1 · GHC.Cmm
OutputableP env instr => OutputableP env (ListGraph instr)Defined in ghc-9.14.1 · GHC.Cmm
Outputable instr => Outputable (ListGraph instr)Defined in ghc-9.14.1 · GHC.Cmm