[commit: ghc] wip/T12370: Demand analyser: Implement LetUp rule (#12370) (cc95b21)

[git at git.haskell.org]

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

On branch  : wip/T12370
Link       : http://ghc.haskell.org/trac/ghc/changeset/cc95b211e7d08cda47d3e86632b5f514d5c8a876/ghc

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

commit cc95b211e7d08cda47d3e86632b5f514d5c8a876
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Wed Jul 6 15:44:18 2016 +0200

    Demand analyser: Implement LetUp rule (#12370)
    
    This makes the implementation match the description in the paper more
    closely: There, a let binding that is not a function has first its body
    analised, and then the binding’s RHS. This way, the demand on the bound
    variable by the body can be fed into the RHS, yielding more precise
    results.
    
    Performance measurements do unfortunately not show significant
    improvements or regessions.
    
    Differential Revision: https://phabricator.haskell.org/D2395


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

cc95b211e7d08cda47d3e86632b5f514d5c8a876
 compiler/coreSyn/CoreSyn.hs                        |  8 +++
 compiler/stranal/DmdAnal.hs                        | 74 ++++++++++++++++------
 .../simplCore/should_compile/spec-inline.stderr    |  2 +-
 3 files changed, 62 insertions(+), 22 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc cc95b211e7d08cda47d3e86632b5f514d5c8a876