Cmm

Contents

• Cmm top-level datatypes
• 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 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
• data Section
  • = Text
  • | Data
  • | ReadOnlyData
  • | RelocatableReadOnlyData
  • | UninitialisedData
  • | ReadOnlyData16
  • | OtherSection String
• data CmmStatics = Statics CLabel [CmmStatic]
• data CmmStatic
  • = CmmStaticLit CmmLit
  • | CmmUninitialised Int
  • | CmmString [Word8]
• type CmmReplGraph e x = GenCmmReplGraph CmmNode e x
• type GenCmmReplGraph n e x = FuelUniqSM (Maybe (Graph n e x))
• type CmmFwdRewrite f = FwdRewrite FuelUniqSM CmmNode f
• type CmmBwdRewrite f = BwdRewrite FuelUniqSM CmmNode f
• data CmmTopInfo = TopInfo {
  • info_tbl :: CmmInfoTable
  • stack_info :: CmmStackInfo
  }
• data CmmStackInfo = StackInfo {
  • arg_space :: ByteOff
  • updfr_space :: Maybe ByteOff
  }
• data CmmInfoTable
  • = CmmInfoTable {
    • cit_lbl :: CLabel
    • cit_rep :: SMRep
    • cit_prof :: ProfilingInfo
    • cit_srt :: C_SRT
    }
  • | CmmNonInfoTable
• data ClosureTypeInfo
  • = Constr ConstrTag ConstrDescription
  • | Fun FunArity ArgDescr
  • | Thunk
  • | ThunkSelector SelectorOffset
  • | BlackHole
• 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

Cmm graphs

Info Tables

Statements, expressions and types