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