[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