Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
cafAnal :: LabelSet -> CLabel -> CmmGraph -> CAFEnv Source #
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]) Source #
Attach SRTs to all info tables in the CmmDecls, and add SRT declarations to the ModuleSRTInfo.
data ModuleSRTInfo Source #
Instances
Outputable ModuleSRTInfo # | |
Defined in CmmBuildInfoTables |
emptySRT :: Module -> ModuleSRTInfo Source #