import PprCmm()
import UniqSet
import ZipCfg
-import ZipCfgCmm
+import ZipCfgCmmRep
import ZipDataflow
-- The point of this module is to insert spills and reloads to
middle (CopyOut {}) = id
lastAvail :: AvailRegs -> Last -> LastOutFacts AvailRegs
+lastAvail _ (LastCall _ _ (Just k)) = LastOutFacts [(k, AvailRegs emptyRegSet)]
lastAvail avail l = LastOutFacts $ map (\id -> (id, avail)) $ succs l