Safe Haskell	None
Language	Haskell2010

Cmm

Contents

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

Synopsis

Cmm top-level datatypes

type CmmProgram = [CmmGroup] Source

type CmmGroup = GenCmmGroup CmmStatics CmmTopInfo CmmGraph Source

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

type CmmDecl = GenCmmDecl CmmStatics 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

type CmmGraph = GenCmmGraph CmmNode Source

data GenCmmGraph n Source

Constructors

CmmGraph
Fields g_entry :: BlockId g_graph :: Graph n C C

type CmmBlock = Block CmmNode C C Source

type RawCmmDecl = GenCmmDecl CmmStatics (BlockEnv CmmStatics) CmmGraph Source

type RawCmmGroup = GenCmmGroup CmmStatics (BlockEnv CmmStatics) CmmGraph Source

data Section Source

Constructors

Section SectionType CLabel

data SectionType Source

Constructors

Text
Data
ReadOnlyData
RelocatableReadOnlyData
UninitialisedData
ReadOnlyData16
OtherSection String

Instances

Show SectionType
Methods showsPrec :: Int -> SectionType -> ShowS Source show :: SectionType -> String Source showList :: [SectionType] -> ShowS Source

data CmmStatics Source

Constructors

Statics CLabel [CmmStatic]

data CmmStatic Source

Constructors

CmmStaticLit CmmLit
CmmUninitialised Int
CmmString [Word8]

Blocks containing lists

data GenBasicBlock i Source

Constructors

BasicBlock BlockId [i]

Instances

Outputable instr => Outputable (GenBasicBlock instr)
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

Outputable instr => Outputable (ListGraph instr)
Methods ppr :: ListGraph instr -> SDoc Source pprPrec :: Rational -> ListGraph instr -> SDoc Source

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

Cmm graphs

type CmmReplGraph e x = GenCmmReplGraph CmmNode e x Source

type GenCmmReplGraph n e x = UniqSM (Maybe (Graph n e x)) Source

type CmmFwdRewrite f = FwdRewrite UniqSM CmmNode f Source

type CmmBwdRewrite f = BwdRewrite UniqSM CmmNode f Source

Info Tables

data CmmTopInfo Source

Constructors

TopInfo
Fields info_tbls :: BlockEnv CmmInfoTable stack_info :: CmmStackInfo

data CmmStackInfo Source

Constructors

StackInfo
Fields arg_space :: ByteOff updfr_space :: Maybe ByteOff do_layout :: Bool

data CmmInfoTable Source

Info table as a haskell data type

Constructors

CmmInfoTable
Fields cit_lbl :: CLabel cit_rep :: SMRep cit_prof :: ProfilingInfo cit_srt :: C_SRT

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

data ClosureTypeInfo Source

Constructors

Constr ConstrTag ConstrDescription
Fun FunArity ArgDescr
Thunk
ThunkSelector SelectorOffset
BlackHole
IndStatic

Instances

Outputable ClosureTypeInfo
Methods ppr :: ClosureTypeInfo -> SDoc Source pprPrec :: Rational -> ClosureTypeInfo -> SDoc Source

data C_SRT Source

Constructors

NoC_SRT
C_SRT !CLabel !WordOff !StgHalfWord

Instances

Eq C_SRT
Methods (==) :: C_SRT -> C_SRT -> Bool (/=) :: C_SRT -> C_SRT -> Bool

needsSRT :: C_SRT -> Bool Source

data ProfilingInfo Source

Constructors

NoProfilingInfo
ProfilingInfo [Word8] [Word8]

type ConstrDescription = [Word8] Source

Statements, expressions and types

module CmmNode

module CmmExpr