ghc-8.6.4: The GHC API

Safe HaskellNone
LanguageHaskell2010

CmmBuildInfoTables

Synopsis

Documentation

type CAFSet = Set CAFLabel Source #

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.