diff options
author | Simon Jakobi <simon.jakobi@gmail.com> | 2020-02-01 22:06:23 (GMT) |
---|---|---|
committer | Simon Jakobi <simon.jakobi@gmail.com> | 2020-02-02 00:12:24 (GMT) |
commit | b60d699caad69743e44675892cae256f97ede3cb (patch) | |
tree | 1970dfcc4be4adf1d89bcdcef79a8e5c0d53d4a1 | |
parent | c254b8803a813c58c71fcbb231de6f1e7e5d67b3 (diff) | |
download | ghc-wip/sjakobi/no-late-cse.zip ghc-wip/sjakobi/no-late-cse.tar.gz ghc-wip/sjakobi/no-late-cse.tar.bz2 |
Revert 0e5d2b7 instead of adding a passwip/sjakobi/no-late-cse
-------------------------
Metric Decrease:
T9233
-------------------------
-rw-r--r-- | compiler/simplCore/SimplCore.hs | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/compiler/simplCore/SimplCore.hs b/compiler/simplCore/SimplCore.hs index 3f577c1..1cdbaa7 100644 --- a/compiler/simplCore/SimplCore.hs +++ b/compiler/simplCore/SimplCore.hs @@ -314,9 +314,7 @@ getCoreToDo dflags -- reduce the possibility of shadowing -- Reason: see Note [Shadowing] in SpecConstr.hs - runWhen spec_constr - (CoreDoPasses [ CoreDoSpecConstr - , simpl_phase 0 ["post-spec-constr"] 1]), + runWhen spec_constr CoreDoSpecConstr, maybe_rule_check (Phase 0), @@ -324,12 +322,6 @@ getCoreToDo dflags (CoreDoPasses [ CoreDoSpecialising , simpl_phase 0 ["post-late-spec"] max_iter]), - -- LiberateCase can yield new CSE opportunities because it peels - -- off one layer of a recursive function (concretely, I saw this - -- in wheel-sieve1), and I'm guessing that SpecConstr can too - -- And CSE is a very cheap pass. So it seems worth doing here. - runWhen ((liberate_case || spec_constr) && cse) CoreCSE, - -- Final clean-up simplification: simpl_phase 0 ["final"] max_iter, |