| ||||||||
| ||||||||
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.0 |