[project @ 1999-06-22 16:31:57 by simonpj]

Do CSE right after a simplification pass; needs no-shadowing invariant

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index df37749..95eae3b 100644 (file)
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -773,8 +773,10 @@ sub setupOptimiseFlags {
                # No -finline-phase: allow all Ids to be inlined now
          ']',
 
+       '-fcse',        # CSE must immediately follow a simplification pass, because it relies
+                       # on the no-shadowing invariant.  See comments at the top of CSE.lhs
+                
        '-ffloat-inwards',
-       '-fcse',
 
 # Case-liberation for -O2.  This should be after
 # strictness analysis and the simplification which follows it.