[GHC] #14152: Float exit paths out of recursive functions

[GHC]

#14152: Float exit paths out of recursive functions
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:  JoinPoints
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #14137 #10918     |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 You could make two separate passes.  Or one that (controlled by a flag)
 does either or both of loopification and exitification.

 Of course if it does both, it'd better do exitification to prior joinrecs
 and to the ones introduced by loopification

 My guess is that we'll want to do both at once, and do so once or at most
 twice in the pipeline.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14152#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler