Cmm

Cmm top-level datatypes

type CmmProgram = [CmmGroup]

type CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph

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

type CmmDecl = GenCmmDecl CmmStatics CmmTopInfo CmmGraph

data 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 [GlobalReg] g

CmmData Section d

Instances

(Outputable d, Outputable info, Outputable i) => Outputable (GenCmmDecl d info i)

Defined in PprCmmDecl

Methods

ppr :: GenCmmDecl d info i -> SDoc

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

type CmmGraph = GenCmmGraph CmmNode

data GenCmmGraph n

Constructors

CmmGraph

Fields

• g_entry :: BlockId
• g_graph :: Graph n C C

Instances

Outputable CmmGraph

Defined in PprCmm

Methods

ppr :: CmmGraph -> SDoc

pprPrec :: Rational -> CmmGraph -> SDoc

type CmmBlock = Block CmmNode C C

type RawCmmDecl = GenCmmDecl CmmStatics (LabelMap CmmStatics) CmmGraph

type RawCmmGroup = GenCmmGroup CmmStatics (LabelMap CmmStatics) CmmGraph

data Section

Constructors

Section SectionType CLabel

data SectionType

Constructors

Text

Data

ReadOnlyData

RelocatableReadOnlyData

UninitialisedData

ReadOnlyData16

CString

OtherSection String

Instances

Show SectionType

Defined in Cmm

Methods

showsPrec :: Int -> SectionType -> ShowS

show :: SectionType -> String

showList :: [SectionType] -> ShowS

data CmmStatics

Constructors

Statics CLabel [CmmStatic]

Instances

Outputable CmmStatics

Defined in PprCmmDecl

Methods

ppr :: CmmStatics -> SDoc

pprPrec :: Rational -> CmmStatics -> SDoc

data CmmStatic

Constructors

CmmStaticLit CmmLit

CmmUninitialised Int

CmmString ByteString

Instances

Outputable CmmStatic

Defined in PprCmmDecl

Methods

ppr :: CmmStatic -> SDoc

pprPrec :: Rational -> CmmStatic -> SDoc

data SectionProtection

Constructors

ReadWriteSection

ReadOnlySection

WriteProtectedSection

Instances

Eq SectionProtection

Defined in Cmm

Methods

(==) :: SectionProtection -> SectionProtection -> Bool

(/=) :: SectionProtection -> SectionProtection -> Bool

sectionProtection :: Section -> SectionProtection

Should a data in this section be considered constant at runtime

Blocks containing lists

data GenBasicBlock i

Constructors

BasicBlock BlockId [i]

Instances

Outputable instr => Outputable (GenBasicBlock instr)

Defined in Cmm

Methods

ppr :: GenBasicBlock instr -> SDoc

pprPrec :: Rational -> GenBasicBlock instr -> SDoc

blockId :: GenBasicBlock i -> BlockId

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

newtype ListGraph i

Constructors

ListGraph [GenBasicBlock i]

Instances

Outputable instr => Outputable (ListGraph instr)

Defined in Cmm

Methods

ppr :: ListGraph instr -> SDoc

pprPrec :: Rational -> ListGraph instr -> SDoc

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

Info Tables

data CmmTopInfo

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

• info_tbls :: LabelMap CmmInfoTable
• stack_info :: CmmStackInfo

Instances

Outputable CmmTopInfo

Defined in PprCmm

Methods

ppr :: CmmTopInfo -> SDoc

pprPrec :: Rational -> CmmTopInfo -> SDoc

data CmmStackInfo

Constructors

StackInfo

Fields

• arg_space :: ByteOff
• updfr_space :: Maybe ByteOff
• do_layout :: Bool

Instances

Outputable CmmStackInfo

Defined in PprCmm

Methods

ppr :: CmmStackInfo -> SDoc

pprPrec :: Rational -> CmmStackInfo -> SDoc

data CmmInfoTable

Info table as a haskell data type

Constructors

CmmInfoTable

Fields

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

Instances

Outputable CmmInfoTable

Defined in PprCmmDecl

Methods

ppr :: CmmInfoTable -> SDoc

pprPrec :: Rational -> CmmInfoTable -> SDoc

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

data ClosureTypeInfo

Constructors

Constr ConTagZ ConstrDescription

Fun FunArity ArgDescr

Thunk

ThunkSelector SelectorOffset

BlackHole

IndStatic

Instances

Outputable ClosureTypeInfo

Defined in SMRep

Methods

ppr :: ClosureTypeInfo -> SDoc

pprPrec :: Rational -> ClosureTypeInfo -> SDoc

data ProfilingInfo

Constructors

NoProfilingInfo

ProfilingInfo ByteString ByteString

type ConstrDescription = ByteString

Statements, expressions and types

module CmmNode

module CmmExpr