CmmBuildInfoTables
Documentation
cafAnal :: CmmGraph -> FuelUniqSM CAFEnv
setInfoTableSRT :: Map CLabel CAFSet -> TopSRT -> (CAFSet, CmmTop) -> FuelUniqSM (TopSRT, [CmmTop])
setInfoTableStackMap :: SlotEnv -> AreaMap -> CmmTop -> CmmTop
data TopSRT
Instances
emptySRT :: MonadUnique m => m TopSRT
bundleCAFs :: CAFEnv -> CmmTop -> (CAFSet, CmmTop)
lowerSafeForeignCalls :: AreaMap -> CmmTop -> FuelUniqSM CmmTop