CmmBuildInfoTables

Documentation

type CAFSet = Set CAFLabel

type CAFEnv = LabelMap CAFSet

cafAnal :: LabelSet -> CLabel -> CmmGraph -> CAFEnv

For each code block: - collect the references reachable from this code block to FUN, THUNK or RET labels for which hasCAF == True

This gives us a CAFEnv: a mapping from code block to sets of labels

doSRTs :: DynFlags -> ModuleSRTInfo -> [(CAFEnv, [CmmDecl])] -> IO (ModuleSRTInfo, [CmmDecl])

Attach SRTs to all info tables in the CmmDecls, and add SRT declarations to the ModuleSRTInfo.

data ModuleSRTInfo

Instances

Outputable ModuleSRTInfo

Defined in CmmBuildInfoTables

Methods

ppr :: ModuleSRTInfo -> SDoc

pprPrec :: Rational -> ModuleSRTInfo -> SDoc

emptySRT :: Module -> ModuleSRTInfo