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