Documentation

type CAFSet = Map CLabel ()Source

type CAFEnv = BlockEnv CAFSetSource

cafAnal :: CmmGraph -> FuelUniqSM CAFEnvSource

localCAFInfo :: CAFEnv -> CmmTop -> Maybe (CLabel, CAFSet)Source

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

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

setInfoTableStackMap :: SlotEnv -> AreaMap -> CmmTop -> CmmTopSource

data TopSRT Source

emptySRT :: MonadUnique m => m TopSRTSource

srtToData :: TopSRT -> CmmSource

bundleCAFs :: CAFEnv -> CmmTop -> (CAFSet, CmmTop)Source

lowerSafeForeignCalls :: AreaMap -> CmmTop -> FuelUniqSM CmmTopSource

cafTransfers :: BwdTransfer CmmNode CAFSetSource

liveSlotTransfers :: BwdTransfer CmmNode SubAreaSetSource