Documentation

type CAFSet = Map CLabel ()Source

type CAFEnv = BlockEnv CAFSetSource

cafAnal :: Platform -> CmmGraph -> FuelUniqSM CAFEnvSource

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

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

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

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

data TopSRT Source

emptySRT :: MonadUnique m => m TopSRTSource

srtToData :: TopSRT -> CmmGroupSource

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

lowerSafeForeignCalls :: AreaMap -> CmmDecl -> FuelUniqSM CmmDeclSource

cafTransfers :: Platform -> BwdTransfer CmmNode CAFSetSource

liveSlotTransfers :: BwdTransfer CmmNode SubAreaSetSource

mkLiveness :: [Maybe LocalReg] -> LivenessSource