[GHC] #12370: Implement LetUp in DmdAnal (or document why we do not do it)

GHC ghc-devs at haskell.org
Thu Jul 7 08:57:23 UTC 2016


#12370: Implement LetUp in DmdAnal (or document why we do not do it)
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by nomeata):

 > I will separately measure if this increases the number of thunks
 determined to be one-shot. But even if it did, it does not matter much, as
 shown by nofib.

 Again, only insignificant changes, not worth mentioning. The number of
 thunks in total goes up by 0.06%, precision of the analysis is now 24.9%
 instead of 24.8%.

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


More information about the ghc-tickets mailing list