[commit: ghc] wip/float-join-points: Wip on floating join points (128e4c1)

[Joachim Breitner]

Hi Simon,

Am Freitag, den 27.10.2017, 15:24 +0000 schrieb git at git.haskell.org:
> commit 128e4c1ffa29f3dfade7128152c143cd601aaa3a
> Author: Simon Peyton Jones <simonpj at microsoft.com>
> Date:   Fri Oct 27 16:20:24 2017 +0100
> 
>     Wip on floating join points

do you expect to merge that soon, or can I land Exitification before
that? (I’m worried that I have to re-do a lot of performance analysis
if the Simplifier suddenly does new things to join points).

Blocking for Exitification is:
 * https://phabricator.haskell.org/D4130 needs to land

   Or rather, I’d prefer if someone who understands the Simplifier
   better than I fixes it properly. See
   https://phabricator.haskell.org/D4130#inline-32243
   for bits that I am puzzled about.

 * I need to understand better why inlining join points in the final 
   simplifier run regresses things.

   Unless you permit merging Exitification without final inlining
   even before we completely solve this mystery, on the grounds that
     - the nofib results say it’s the right thing to do and
     - there is a plausible theory (exit join points in unfolding 
       enable optimizations in later modules in earlier phases).

Greetings,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20171027/43f1162d/attachment.sig>