[Git][ghc/ghc][wip/nested-cpr-2019] 4 commits: Nested CPR

[Sebastian Graf]

Sebastian Graf pushed to branch wip/nested-cpr-2019 at Glasgow Haskell Compiler / GHC


Commits:
5a397ca0 by Sebastian Graf at 2020-04-16T12:23:54+02:00
Nested CPR

- - - - -
fdccc292 by Sebastian Graf at 2020-04-16T13:10:28+02:00
Move tests from stranal to cpranal

- - - - -
6c40caa7 by Sebastian Graf at 2020-04-16T13:13:19+02:00
Accept FacState

- - - - -
daa5dd02 by Sebastian Graf at 2020-04-20T20:18:57+02:00
Factor Cpr and Termination into a joint lattice

As a result, we don't even have to export Termination from Cpr. Neat!

Also I realised there is a simpler and more sound way to generate and
unleash CPR signatures.

- - - - -


30 changed files:

- compiler/GHC/Core/Op/CprAnal.hs
- compiler/GHC/Core/Op/WorkWrap.hs
- compiler/GHC/Core/Op/WorkWrap/Lib.hs
- compiler/GHC/CoreToIface.hs
- compiler/GHC/Iface/Syntax.hs
- compiler/GHC/Types/Cpr.hs
- compiler/GHC/Types/Demand.hs
- compiler/GHC/Types/Id/Info.hs
- compiler/GHC/Types/Id/Make.hs
- compiler/utils/Maybes.hs
- testsuite/tests/stranal/sigs/CaseBinderCPR.hs → testsuite/tests/cpranal/sigs/CaseBinderCPR.hs
- testsuite/tests/stranal/sigs/CaseBinderCPR.stderr → testsuite/tests/cpranal/sigs/CaseBinderCPR.stderr
- testsuite/tests/stranal/sigs/FacState.hs → testsuite/tests/cpranal/sigs/FacState.hs
- + testsuite/tests/cpranal/sigs/FacState.stderr
- + testsuite/tests/cpranal/sigs/Makefile
- testsuite/tests/stranal/should_compile/T10694.hs → testsuite/tests/cpranal/sigs/T10694.hs
- + testsuite/tests/cpranal/sigs/T10694.stderr
- testsuite/tests/stranal/sigs/T5075.hs → testsuite/tests/cpranal/sigs/T5075.hs
- testsuite/tests/stranal/sigs/T5075.stderr → testsuite/tests/cpranal/sigs/T5075.stderr
- + testsuite/tests/cpranal/sigs/all.T
- testsuite/tests/deSugar/should_compile/T2431.stderr
- testsuite/tests/lib/integer/Makefile
- testsuite/tests/numeric/should_compile/T14170.stdout
- testsuite/tests/numeric/should_compile/T14465.stdout
- testsuite/tests/numeric/should_compile/T7116.stdout
- testsuite/tests/simplCore/should_compile/Makefile
- testsuite/tests/simplCore/should_compile/T13143.stderr
- testsuite/tests/simplCore/should_compile/T13543.stderr
- testsuite/tests/simplCore/should_compile/T18013.stderr
- testsuite/tests/simplCore/should_compile/T3717.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/9d6e30b7541f036e7237e34596431002c6a38fbc...daa5dd0204d1ccee6cfe780bd6fa1d7745b007fd

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/9d6e30b7541f036e7237e34596431002c6a38fbc...daa5dd0204d1ccee6cfe780bd6fa1d7745b007fd
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20200420/3f72d15c/attachment.html>