ghc-7.4.2: The GHC API

Safe Haskell | None

CmmBuildInfoTables

# 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

Instances

PlatformOutputable 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