Cmm

Contents

• Cmm top-level datatypes
  • Blocks containing lists
• Cmm graphs
• 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]
• data GenBasicBlock i = BasicBlock BlockId [i]
• blockId :: GenBasicBlock i -> BlockId
• newtype ListGraph i = ListGraph [GenBasicBlock i]
• pprBBlock :: Outputable stmt => GenBasicBlock stmt -> SDoc
• type CmmReplGraph e x = GenCmmReplGraph CmmNode e x
• type GenCmmReplGraph n e x = UniqSM (Maybe (Graph n e x))
• type CmmFwdRewrite f = FwdRewrite UniqSM CmmNode f
• type CmmBwdRewrite f = BwdRewrite UniqSM CmmNode f
• 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 ConstrTag 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

Blocks containing lists

Cmm graphs

Info Tables

Statements, expressions and types