Documentation

type CAFSet = Map CLabel ()Source

type CAFEnv = BlockEnv CAFSetSource

data CmmTopForInfoTables Source

cafAnal :: LGraph Middle Last -> FuelMonad CAFEnvSource

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

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

setInfoTableSRT :: Map CLabel CAFSet -> TopSRT -> (CAFSet, CmmTopForInfoTables) -> FuelMonad (TopSRT, [CmmTopForInfoTables])Source

setInfoTableStackMap :: SlotEnv -> AreaMap -> CmmTopForInfoTables -> CmmTopForInfoTablesSource

data TopSRT Source

emptySRT :: MonadUnique m => m TopSRTSource

srtToData :: TopSRT -> CmmZSource

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

finishInfoTables :: CmmTopForInfoTables -> IO [CmmTopZ]Source

lowerSafeForeignCalls :: [[CmmTopForInfoTables]] -> CmmTopZ -> FuelMonad [[CmmTopForInfoTables]]Source

cafTransfers :: BackwardTransfers Middle Last CAFSetSource

liveSlotTransfers :: BackwardTransfers Middle Last SubAreaSetSource

extendEnvWithSafeForeignCalls :: BackwardTransfers Middle Last a -> BlockEnv a -> CmmGraph -> BlockEnv aSource

extendEnvsForSafeForeignCalls :: CAFEnv -> SlotEnv -> CmmGraph -> (CAFEnv, SlotEnv)Source