Moduleghc-10.0.0.20260917GHC2024

GHC.Cmm

35 types
16 values

Packageghc-10.0.0.20260917
Exports51
LanguageGHC2024
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-10.0.0.20260917 · GHC.Cmm
Functor (GenCmmDecl d h)Defined in ghc-10.0.0.20260917 · 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-10.0.0.20260917 · 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

Text Data ReadOnlyData RelocatableReadOnlyData UninitialisedData InitArray FiniArray CString IPE

Instances1Show

Show SectionTypeDefined in ghc-10.0.0.20260917 · 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-10.0.0.20260917 · 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-10.0.0.20260917 · GHC.Cmm
OutputableP Platform CmmStaticDefined in ghc-10.0.0.20260917 · GHC.Cmm

datadata SectionProtection

ReadWriteSection ReadOnlySection WriteProtectedSection

Instances1Eq

Eq SectionProtectionDefined in ghc-10.0.0.20260917 · GHC.Cmm

valuesectionProtection :: SectionType -> 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-10.0.0.20260917 · GHC.Cmm
OutputableP env instr => OutputableP env (GenBasicBlock instr)Defined in ghc-10.0.0.20260917 · GHC.Cmm
Outputable instr => Outputable (GenBasicBlock instr)Defined in ghc-10.0.0.20260917 · 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-10.0.0.20260917 · GHC.Cmm
OutputableP env instr => OutputableP env (ListGraph instr)Defined in ghc-10.0.0.20260917 · GHC.Cmm
Outputable instr => Outputable (ListGraph instr)Defined in ghc-10.0.0.20260917 · GHC.Cmm

valuepprBBlock :: Outputable stmt => GenBasicBlock stmt -> SDoc

Info Tables

10 declarations

datadata GenCmmTopInfo (f :: Type -> Type)

CmmTopInfo is attached to each CmmDecl (see defn of CmmGroup), and contains the extra info (beyond the executable code) that belongs to that CmmDecl.

Constructors

TopInfo
- info_tbls :: f CmmInfoTable
- stack_info :: CmmStackInfo

Instances1OutputableP

OutputableP Platform CmmTopInfoDefined in ghc-10.0.0.20260917 · GHC.Cmm

typetype DCmmTopInfo = GenCmmTopInfo DWrap

typetype CmmTopInfo = GenCmmTopInfo LabelMap

datadata CmmStackInfo

Constructors

StackInfo
- arg_space :: ByteOff
- do_layout :: Bool

Instances1Outputable

Outputable CmmStackInfoDefined in ghc-10.0.0.20260917 · GHC.Cmm

datadata CmmInfoTable

Info table as a haskell data type

Constructors

CmmInfoTable
- cit_lbl :: CLabel
- cit_rep :: SMRep
- cit_prof :: ProfilingInfo
- cit_srt :: Maybe CLabel
- cit_clo :: Maybe (Id, CostCentreStack)

Instances3Eq, Ord, OutputableP

Eq CmmInfoTableDefined in ghc-10.0.0.20260917 · GHC.Cmm
Ord CmmInfoTableDefined in ghc-10.0.0.20260917 · GHC.Cmm
OutputableP Platform CmmInfoTableDefined in ghc-10.0.0.20260917 · GHC.Cmm

valuetopInfoTable

:: GenCmmDecl a CmmTopInfo (GenGenCmmGraph s n)
-> Maybe CmmInfoTable

valuetopInfoTableD

:: GenCmmDecl a DCmmTopInfo (GenGenCmmGraph s n)
-> Maybe CmmInfoTable

datadata ClosureTypeInfo

Constructors

Instances3Eq, Ord, Outputable

Eq ClosureTypeInfoDefined in ghc-10.0.0.20260917 · GHC.Runtime.Heap.Layout
Ord ClosureTypeInfoDefined in ghc-10.0.0.20260917 · GHC.Runtime.Heap.Layout
Outputable ClosureTypeInfoDefined in ghc-10.0.0.20260917 · GHC.Runtime.Heap.Layout

datadata ProfilingInfo

Constructors

Instances2Eq, Ord

Eq ProfilingInfoDefined in ghc-10.0.0.20260917 · GHC.Cmm
Ord ProfilingInfoDefined in ghc-10.0.0.20260917 · GHC.Cmm

typetype ConstrDescription = ByteString

Statements, expressions and types

0 declarations

module GHC.Cmm.Node

module GHC.Cmm.Expr

Pretty-printing

3 declarations

valuepprCmmGroup

:: (OutputableP Platform d, OutputableP Platform info, OutputableP Platform g)
=> Platform
-> GenCmmGroup d info g
-> SDoc

valuepprSection :: Platform -> Section -> SDoc

valuepprStatic :: Platform -> CmmStatic -> SDoc