deepBwdRw3 -> mkBRewrite3
authorSimon Marlow <marlowsd@gmail.com>
Mon, 23 Jan 2012 13:38:41 +0000 (13:38 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 23 Jan 2012 13:38:41 +0000 (13:38 +0000)
compiler/cmm/CmmLive.hs

index d927dfe..9258d98 100644 (file)
@@ -90,7 +90,8 @@ xferLive = mkBTransfer3 fst mid lst
 removeDeadAssignments :: CmmGraph -> FuelUniqSM CmmGraph
 removeDeadAssignments g =
    liftM fst $ dataflowPassBwd g [] $ analRewBwd liveLattice xferLive rewrites
-   where rewrites = deepBwdRw3 nothing middle nothing
+   where rewrites = mkBRewrite3 nothing middle nothing
+         -- SDM: no need for deepBwdRw here, we only rewrite to empty
          -- Beware: deepBwdRw with one polymorphic function seems more reasonable here,
          -- but GHC panics while compiling, see bug #4045.
          middle :: CmmNode O O -> Fact O CmmLive -> CmmReplGraph O O