CmmBuildInfoTables
Documentation
data CmmTopForInfoTables
Constructors
NoInfoTable CmmTopZ | |
ProcInfoTable CmmTopZ BlockSet | |
FloatingInfoTable CmmInfo BlockId UpdFrameOffset |
Instances
setInfoTableSRT :: Map CLabel CAFSet -> TopSRT -> (CAFSet, CmmTopForInfoTables) -> FuelMonad (TopSRT, [CmmTopForInfoTables])
data TopSRT
Instances
emptySRT :: MonadUnique m => m TopSRT
bundleCAFs :: CAFEnv -> CmmTopForInfoTables -> (CAFSet, CmmTopForInfoTables)
finishInfoTables :: CmmTopForInfoTables -> IO [CmmTopZ]
lowerSafeForeignCalls :: [[CmmTopForInfoTables]] -> CmmTopZ -> FuelMonad [[CmmTopForInfoTables]]
extendEnvWithSafeForeignCalls :: BackwardTransfers Middle Last a -> BlockEnv a -> CmmGraph -> BlockEnv a