[commit: ghc] master: Hoopl/Dataflow: make the module more self-contained (dc4d596)

git at git.haskell.org git at git.haskell.org
Wed Nov 2 20:15:28 UTC 2016


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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/dc4d59621dff31908dc7646082a2c5a362deb10f/ghc

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

commit dc4d59621dff31908dc7646082a2c5a362deb10f
Author: Michal Terepeta <michal.terepeta at gmail.com>
Date:   Wed Nov 2 15:05:19 2016 -0400

    Hoopl/Dataflow: make the module more self-contained
    
    This makes the GHC's Dataflow module more self-contained by also
    forking the `DataflowLattice` (instead of only the analysis
    algorithm). Effects/benefits:
    - We no longer need to use the deprecated Hoopl functions (and can
      remove `-fno-warn-warnings-deprecations` from two modules).
    - We can remove the unnecessary `Label` parameter of `JoinFun` (already
      ignored in all our implementations).
    - We no longer mix Hoopl's `Dataflow` module and GHC's one.
    - We can replace some calls to lazy folds in Hoopl with the strict ones
      (see `joinOutFacts` and `mkFactBase`).
    
    Signed-off-by: Michal Terepeta <michal.terepeta at gmail.com>
    
    Test Plan: validate
    
    Reviewers: austin, simonmar, bgamari
    
    Reviewed By: bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2660


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

dc4d59621dff31908dc7646082a2c5a362deb10f
 compiler/cmm/CmmBuildInfoTables.hs | 12 +++----
 compiler/cmm/CmmLive.hs            | 12 +++----
 compiler/cmm/CmmProcPoint.hs       | 12 +++----
 compiler/cmm/Hoopl.hs              | 30 ++---------------
 compiler/cmm/Hoopl/Dataflow.hs     | 68 ++++++++++++++++++++++++++++++++++----
 5 files changed, 82 insertions(+), 52 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 dc4d59621dff31908dc7646082a2c5a362deb10f


More information about the ghc-commits mailing list