- (dualLivenessWithInsertion emptyBlockSet) g
- (varSlots, g) <- trim g >>= run . elimSpillAndReload varSlots
- g <- run $ addProcPointProtocols callPPs procPoints args g
+ (dualLivenessWithInsertion callPPs) g
+ (varSlots, g) <- trim g >>= return . elimSpillAndReload emptyFM
+ procPoints <- run $ minimalProcPointSet callPPs (runTx cmmCfgOptsZ g)
+ g <- run $ addProcPointProtocols callPPs procPoints g