[commit: ghc] wip/T11770: Demand Analyzer: Do not set OneShot information (second try) (6a3b74c)

[git at git.haskell.org]

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

On branch  : wip/T11770
Link       : http://ghc.haskell.org/trac/ghc/changeset/6a3b74cbe96f4bcd28c05648321ed979e9eb21e4/ghc

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

commit 6a3b74cbe96f4bcd28c05648321ed979e9eb21e4
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Apr 1 13:11:18 2016 +0200

    Demand Analyzer: Do not set OneShot information (second try)
    
    as suggested in ticket:11770#comment:1. This code was buggy
    (#11770), and the occurrence analyzer does the same job anyways.
    
    This also elaborates the notes in the occurrence analyzer accordingly.
    
    Previously, the worker/wrapper code would go through lengths to transfer
    the oneShot annotations from the original function to both the worker
    and the wrapper. We now simply transfer the demand on the worker, and
    let the subsequent occurrence analyzer push this onto the lambda
    binders.
    
    This also requires the occurrence analyzer to do this more reliably.
    Previously, it would not hand out OneShot annotatoins to things that
    would not `certainly_inline` (and it might not have mattered, as the
    Demand Analysis might have handed out the annotations). Now we hand out
    one-shot annotations unconditionally.
    
    Differential Revision: https://phabricator.haskell.org/D2085


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

6a3b74cbe96f4bcd28c05648321ed979e9eb21e4
 compiler/basicTypes/Demand.hs                | 24 ++++++++-
 compiler/simplCore/OccurAnal.hs              | 42 +++++++++++-----
 compiler/specialise/SpecConstr.hs            |  2 +-
 compiler/stranal/DmdAnal.hs                  | 55 ++-------------------
 compiler/stranal/WorkWrap.hs                 | 60 ++++++++++++++++------
 compiler/stranal/WwLib.hs                    | 74 +++++++---------------------
 testsuite/tests/stranal/should_compile/all.T |  2 +-
 7 files changed, 121 insertions(+), 138 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 6a3b74cbe96f4bcd28c05648321ed979e9eb21e4