| ||||||||||
| ||||||||||
Documentation | ||||||||||
type CAFSet = FiniteMap CLabel () | ||||||||||
type CAFEnv = BlockEnv CAFSet | ||||||||||
data CmmTopForInfoTables | ||||||||||
| ||||||||||
cafAnal :: LGraph Middle Last -> FuelMonad CAFEnv | ||||||||||
localCAFInfo :: CAFEnv -> CmmTopZ -> Maybe (CLabel, CAFSet) | ||||||||||
mkTopCAFInfo :: [(CLabel, CAFSet)] -> FiniteMap CLabel CAFSet | ||||||||||
setInfoTableSRT :: FiniteMap CLabel CAFSet -> TopSRT -> (CAFSet, CmmTopForInfoTables) -> FuelMonad (TopSRT, [CmmTopForInfoTables]) | ||||||||||
setInfoTableStackMap :: SlotEnv -> AreaMap -> CmmTopForInfoTables -> CmmTopForInfoTables | ||||||||||
data TopSRT | ||||||||||
| ||||||||||
emptySRT :: MonadUnique m => m TopSRT | ||||||||||
srtToData :: TopSRT -> CmmZ | ||||||||||
bundleCAFs :: CAFEnv -> CmmTopForInfoTables -> (CAFSet, CmmTopForInfoTables) | ||||||||||
finishInfoTables :: CmmTopForInfoTables -> IO [CmmTopZ] | ||||||||||
lowerSafeForeignCalls :: [[CmmTopForInfoTables]] -> CmmTopZ -> FuelMonad [[CmmTopForInfoTables]] | ||||||||||
extendEnvsForSafeForeignCalls :: CAFEnv -> SlotEnv -> CmmGraph -> (CAFEnv, SlotEnv) | ||||||||||
Produced by Haddock version 2.6.1 |