Moduleghc-10.0.0.20260917GHC2024

GHC.Cmm

Contents

Cmm top-level datatypes
Blocks containing lists
Info Tables
Statements, expressions and types
Pretty-printing

Synopsis

type DCmmGroup
type CmmProgram
type CmmGroup
type CmmGroupSRTs
type RawCmmGroup
type GenCmmGroup
type CmmDecl
type DCmmDecl
type CmmDeclSRTs
data GenCmmDecl
type CmmDataDecl
value cmmDataDeclCmmDecl
type DCmmGraph
type CmmGraph
type GenCmmGraph
data GenGenCmmGraph
value toBlockMap
value revPostorder
value toBlockList
type CmmBlock
type RawCmmDecl
data Section
data SectionType
data GenCmmStatics
type CmmStatics
type RawCmmStatics
data CmmStatic
data SectionProtection
value sectionProtection
newtype DWrap
value unDeterm
value removeDeterm
value removeDetermDecl
value removeDetermGraph
data GenBasicBlock
value blockId
newtype ListGraph
value pprBBlock
data GenCmmTopInfo
type DCmmTopInfo
type CmmTopInfo
data CmmStackInfo
data CmmInfoTable
value topInfoTable
value topInfoTableD
data ClosureTypeInfo
data ProfilingInfo
type ConstrDescription
value pprCmmGroup
value pprSection
value pprStatic

Packageghc-10.0.0.20260917
Exports51
LanguageGHC2024
LicenceBSD-3-Clause
SourceCmm.hs

Cmm top-level datatypes

typetype DCmmGroup = GenCmmGroup CmmStatics DCmmTopInfo DCmmGraph

Source#

Cmm group after STG generation

typetype CmmProgram = [CmmGroup]

typetype CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph

Source#

Cmm group before SRT generation

typetype CmmGroupSRTs = GenCmmGroup RawCmmStatics CmmTopInfo CmmGraph

Source#

Cmm group with SRTs

typetype RawCmmGroup = GenCmmGroup RawCmmStatics (LabelMap RawCmmStatics) CmmGraph

Source#

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

Source#

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

Source#

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

Source#

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

Source#

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

datadata GenCmmTopInfo (f :: Type -> Type)

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.

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

Source#

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

module GHC.Cmm.Node

module GHC.Cmm.Expr

Pretty-printing

valuepprCmmGroup

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

valuepprSection :: Platform -> Section -> SDoc

valuepprStatic :: Platform -> CmmStatic -> SDoc