Documentation

type CAFSet = Map CLabel ()

type CAFEnv = BlockEnv CAFSet

cafAnal :: Platform -> CmmGraph -> FuelUniqSM CAFEnv

localCAFInfo :: Platform -> CAFEnv -> CmmDecl -> Maybe (CLabel, CAFSet)

mkTopCAFInfo :: [(CLabel, CAFSet)] -> Map CLabel CAFSet

setInfoTableSRT :: Map CLabel CAFSet -> TopSRT -> (CAFSet, CmmDecl) -> FuelUniqSM (TopSRT, [CmmDecl])

setInfoTableStackMap :: SlotEnv -> AreaMap -> CmmDecl -> CmmDecl

data TopSRT

emptySRT :: MonadUnique m => m TopSRT

srtToData :: TopSRT -> CmmGroup

bundleCAFs :: CAFEnv -> CmmDecl -> (CAFSet, CmmDecl)

lowerSafeForeignCalls :: AreaMap -> CmmDecl -> FuelUniqSM CmmDecl

cafTransfers :: Platform -> BwdTransfer CmmNode CAFSet

liveSlotTransfers :: BwdTransfer CmmNode SubAreaSet

mkLiveness :: [Maybe LocalReg] -> Liveness