[commit: ghc] wip/T14152: Exitifcation: Experimenting with position in SimplCore (e55a4ef)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/T14152
Link       : http://ghc.haskell.org/trac/ghc/changeset/e55a4ef0fd4a2119cc7615892dc79a20c41e7749/ghc

>---------------------------------------------------------------

commit e55a4ef0fd4a2119cc7615892dc79a20c41e7749
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Oct 23 16:12:04 2017 -0400

    Exitifcation: Experimenting with position in SimplCore
    
    Let’s see if it works nicely after `simpl_phases`, but before the
    `"main"` simpl_phase.


>---------------------------------------------------------------

e55a4ef0fd4a2119cc7615892dc79a20c41e7749
 compiler/simplCore/SimplCore.hs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/compiler/simplCore/SimplCore.hs b/compiler/simplCore/SimplCore.hs
index afb5e24..3427777 100644
--- a/compiler/simplCore/SimplCore.hs
+++ b/compiler/simplCore/SimplCore.hs
@@ -255,8 +255,6 @@ getCoreToDo dflags
         -- initial simplify: mk specialiser happy: minimum effort please
         simpl_gently,
 
-        runWhen exitification CoreDoExitify,
-
         -- Specialisation is best done before full laziness
         -- so that overloaded functions have all their dictionary lambdas manifest
         runWhen do_specialise CoreDoSpecialising,
@@ -292,6 +290,8 @@ getCoreToDo dflags
 
         simpl_phases,
 
+        runWhen exitification CoreDoExitify,
+
                 -- Phase 0: allow all Ids to be inlined now
                 -- This gets foldr inlined before strictness analysis
 
@@ -304,8 +304,6 @@ getCoreToDo dflags
                 -- Don't stop now!
         simpl_phase 0 ["main"] (max max_iter 3) False,
 
-        runWhen exitification CoreDoExitify,
-
         runWhen do_float_in CoreDoFloatInwards,
             -- Run float-inwards immediately before the strictness analyser
             -- Doing so pushes bindings nearer their use site and hence makes