Safe Haskell	None
Language	Haskell2010

Cmm

Contents

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

Synopsis

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
- = CmmProc h CLabel [GlobalReg] g
- | CmmData Section d
type CmmGraph = GenCmmGraph CmmNode
data GenCmmGraph n = CmmGraph {
- g_entry :: BlockId
- g_graph :: Graph n C C
}
type CmmBlock = Block CmmNode C C
type RawCmmDecl = GenCmmDecl CmmStatics (LabelMap CmmStatics) CmmGraph
type RawCmmGroup = GenCmmGroup CmmStatics (LabelMap CmmStatics) CmmGraph
data Section = Section SectionType CLabel
data SectionType
- = Text
- | Data
- | ReadOnlyData
- | RelocatableReadOnlyData
- | UninitialisedData
- | ReadOnlyData16
- | CString
- | OtherSection String
data CmmStatics = Statics CLabel [CmmStatic]
data CmmStatic
- = CmmStaticLit CmmLit
- | CmmUninitialised Int
- | CmmString [Word8]
isSecConstant :: Section -> Bool
data GenBasicBlock i = BasicBlock BlockId [i]
blockId :: GenBasicBlock i -> BlockId
newtype ListGraph i = ListGraph [GenBasicBlock i]
pprBBlock :: Outputable stmt => GenBasicBlock stmt -> SDoc
data CmmTopInfo = TopInfo {
- info_tbls :: LabelMap CmmInfoTable
- stack_info :: CmmStackInfo
}
data CmmStackInfo = StackInfo {
- arg_space :: ByteOff
- updfr_space :: Maybe ByteOff
- do_layout :: Bool
}
data CmmInfoTable = CmmInfoTable {
- cit_lbl :: CLabel
- cit_rep :: SMRep
- cit_prof :: ProfilingInfo
- cit_srt :: C_SRT
}
topInfoTable :: GenCmmDecl a CmmTopInfo (GenCmmGraph n) -> Maybe CmmInfoTable
data ClosureTypeInfo
- = Constr ConTagZ ConstrDescription
- | Fun FunArity ArgDescr
- | Thunk
- | ThunkSelector SelectorOffset
- | BlackHole
- | IndStatic
data C_SRT
- = NoC_SRT
- | C_SRT !CLabel !WordOff !StgHalfWord
needsSRT :: C_SRT -> Bool
data ProfilingInfo
- = NoProfilingInfo
- | ProfilingInfo [Word8] [Word8]
type ConstrDescription = [Word8]
module CmmNode
module CmmExpr

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 (LabelMap CmmStatics) CmmGraph Source #

type RawCmmGroup = GenCmmGroup CmmStatics (LabelMap CmmStatics) CmmGraph Source #

data Section Source #

Constructors

Section SectionType CLabel

data SectionType Source #

Constructors

Text
Data
ReadOnlyData
RelocatableReadOnlyData
UninitialisedData
ReadOnlyData16
CString
OtherSection String

Instances

Show SectionType #
Instance details 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]

isSecConstant :: Section -> Bool Source #

Should a data in this section be considered constant

Blocks containing lists

data GenBasicBlock i Source #

Constructors

BasicBlock BlockId [i]

Instances

Outputable instr => Outputable (GenBasicBlock instr) #
Instance details 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) #
Instance details Methods ppr :: ListGraph instr -> SDoc Source # pprPrec :: Rational -> ListGraph instr -> SDoc Source #

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

Info Tables

data CmmTopInfo Source #

Constructors

TopInfo
Fields info_tbls :: LabelMap 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 ConTagZ ConstrDescription
Fun FunArity ArgDescr
Thunk
ThunkSelector SelectorOffset
BlackHole
IndStatic

Instances

Outputable ClosureTypeInfo #
Instance details 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 #
Instance details 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