Commit 2e2297df authored by Simon Marlow's avatar Simon Marlow
Browse files

deepBwdRw3 -> mkBRewrite3

parent 3751cdcd
...@@ -90,7 +90,8 @@ xferLive = mkBTransfer3 fst mid lst ...@@ -90,7 +90,8 @@ xferLive = mkBTransfer3 fst mid lst
removeDeadAssignments :: CmmGraph -> FuelUniqSM CmmGraph removeDeadAssignments :: CmmGraph -> FuelUniqSM CmmGraph
removeDeadAssignments g = removeDeadAssignments g =
liftM fst $ dataflowPassBwd g [] $ analRewBwd liveLattice xferLive rewrites 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, -- Beware: deepBwdRw with one polymorphic function seems more reasonable here,
-- but GHC panics while compiling, see bug #4045. -- but GHC panics while compiling, see bug #4045.
middle :: CmmNode O O -> Fact O CmmLive -> CmmReplGraph O O middle :: CmmNode O O -> Fact O CmmLive -> CmmReplGraph O O
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment