ghc-9.0.0.20200925: The GHC API
Safe HaskellNone
LanguageHaskell2010

GHC.Cmm

Synopsis

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 #

type CmmDeclSRTs = GenCmmDecl RawCmmStatics 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).

Constructors

CmmProc h CLabel [GlobalReg] g 
CmmData Section d 

Instances

Instances details
(Outputable d, Outputable info, Outputable i) => Outputable (GenCmmDecl d info i) # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Methods

ppr :: GenCmmDecl d info i -> SDoc Source #

pprPrec :: Rational -> GenCmmDecl d info i -> SDoc Source #

type CmmGraph = GenCmmGraph CmmNode Source #

data GenCmmGraph n Source #

Constructors

CmmGraph 

Fields

Instances

Instances details
Outputable CmmGraph # 
Instance details

Defined in GHC.Cmm.Ppr

Methods

ppr :: CmmGraph -> SDoc Source #

pprPrec :: Rational -> CmmGraph -> SDoc Source #

type CmmBlock = Block CmmNode C C Source #

type RawCmmDecl = GenCmmDecl RawCmmStatics (LabelMap RawCmmStatics) CmmGraph Source #

data Section Source #

Constructors

Section SectionType CLabel 

data SectionType Source #

Constructors

Text 
Data 
ReadOnlyData 
RelocatableReadOnlyData 
UninitialisedData 
ReadOnlyData16 
CString 
OtherSection String 

Instances

Instances details
Show SectionType # 
Instance details

Defined in GHC.Cmm

Methods

showsPrec :: Int -> SectionType -> ShowS Source #

show :: SectionType -> String Source #

showList :: [SectionType] -> ShowS Source #

data GenCmmStatics (rawOnly :: Bool) where Source #

Constructors

CmmStatics :: CLabel -> CmmInfoTable -> CostCentreStack -> [CmmLit] -> GenCmmStatics 'False 
CmmStaticsRaw :: CLabel -> [CmmStatic] -> GenCmmStatics a

Static data, after SRTs are generated

Instances

Instances details
Outputable (GenCmmStatics a) # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Methods

ppr :: GenCmmStatics a -> SDoc Source #

pprPrec :: Rational -> GenCmmStatics a -> SDoc Source #

type CmmStatics = GenCmmStatics 'False Source #

type RawCmmStatics = GenCmmStatics 'True Source #

data CmmStatic Source #

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

an embedded binary file

Instances

Instances details
Outputable CmmStatic # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Methods

ppr :: CmmStatic -> SDoc Source #

pprPrec :: Rational -> CmmStatic -> SDoc Source #

data SectionProtection Source #

Constructors

ReadWriteSection 
ReadOnlySection 
WriteProtectedSection 

Instances

Instances details
Eq SectionProtection # 
Instance details

Defined in GHC.Cmm

Methods

(==) :: 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 #

Constructors

BasicBlock BlockId [i] 

Instances

Instances details
Outputable instr => Outputable (GenBasicBlock instr) # 
Instance details

Defined in GHC.Cmm

Methods

ppr :: GenBasicBlock instr -> SDoc Source #

pprPrec :: Rational -> GenBasicBlock instr -> SDoc Source #

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

newtype ListGraph i Source #

Constructors

ListGraph [GenBasicBlock i] 

Instances

Instances details
Outputable instr => Outputable (ListGraph instr) # 
Instance details

Defined in GHC.Cmm

Methods

ppr :: ListGraph instr -> SDoc Source #

pprPrec :: Rational -> ListGraph instr -> SDoc Source #

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.

Constructors

TopInfo 

Fields

Instances

Instances details
Outputable CmmTopInfo # 
Instance details

Defined in GHC.Cmm.Ppr

Methods

ppr :: CmmTopInfo -> SDoc Source #

pprPrec :: Rational -> CmmTopInfo -> SDoc Source #

data CmmStackInfo Source #

Constructors

StackInfo 

Fields

Instances

Instances details
Outputable CmmStackInfo # 
Instance details

Defined in GHC.Cmm.Ppr

Methods

ppr :: CmmStackInfo -> SDoc Source #

pprPrec :: Rational -> CmmStackInfo -> SDoc Source #

data CmmInfoTable Source #

Info table as a haskell data type

Constructors

CmmInfoTable 

Fields

Instances

Instances details
Outputable CmmInfoTable # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Methods

ppr :: CmmInfoTable -> SDoc Source #

pprPrec :: Rational -> CmmInfoTable -> SDoc Source #

topInfoTable :: GenCmmDecl a CmmTopInfo (GenCmmGraph n) -> Maybe CmmInfoTable Source #

data ClosureTypeInfo Source #

Constructors

Constr ConTagZ ConstrDescription 
Fun FunArity ArgDescr 
Thunk 
ThunkSelector SelectorOffset 
BlackHole 
IndStatic 

Instances

Instances details
Outputable ClosureTypeInfo # 
Instance details

Defined in GHC.Runtime.Heap.Layout

Methods

ppr :: ClosureTypeInfo -> SDoc Source #

pprPrec :: Rational -> ClosureTypeInfo -> SDoc Source #

data ProfilingInfo Source #

Constructors

NoProfilingInfo 
ProfilingInfo ByteString ByteString 

type ConstrDescription = ByteString Source #

Statements, expressions and types

module GHC.Cmm.Node

module GHC.Cmm.Expr