[GHC] #14068: Loopification using join points

[GHC]

#14068: Loopification using join points
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  mpickering
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  JoinPoints
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #13966 #14067     |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by nomeata):

 >     We can remove the "loopification" code from the code generator when
 this is done.

 Ok, so I remembered correctly that, in the end, such code already today
 produces tight loops. So there are not immediate performance benefits to
 be gained from this transformation, because we just do loopification
 earlier, but possible knock-on effects due to inlining or (eventually)
 joinrec-SAT, right?

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