[Git][ghc/ghc][wip/dmdanal-precise-exn] 18 commits: Expect T4267 to pass

[Sebastian Graf]

Sebastian Graf pushed to branch wip/dmdanal-precise-exn at Glasgow Haskell Compiler / GHC


Commits:
f024b6e3 by Sylvain Henry at 2020-03-30T12:48:39+02:00
Expect T4267 to pass

Since 54250f2d8de910b094070c1b48f086030df634b1 we expected T4267 to
fail, but it passes on CI.

- - - - -
76a92172 by Sebastian Graf at 2020-03-31T05:14:09-04:00
Preserve precise exceptions in strictness analysis

Fix #13380 and #17676 by

1. Changing `raiseIO#` to have `topDiv` instead of `botDiv`
2. Give it special treatment in `Simplifier.Util.mkArgInfo`, treating it
   as if it still had `botDiv`, to recover dead code elimination.

This is the first commit of the plan outlined in
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2525#note_260886.

- - - - -
06c8b080 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Add ConOrDiv to Divergence and see where it gets us

- - - - -
2a28d9d0 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Actually use conDiv

- - - - -
ac5a2e72 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Attempt to make ensureArgs do the right thing

- - - - -
a8502bba by Sebastian Graf at 2020-03-31T12:11:40+02:00
More pondering over the can of worms I opened

- - - - -
29d15c91 by Sebastian Graf at 2020-03-31T12:11:40+02:00
A bunch of fixes involving the new Divergence lattice

- - - - -
36c3e06b by Sebastian Graf at 2020-03-31T12:11:40+02:00
typo

- - - - -
c3b5b44f by Sebastian Graf at 2020-03-31T12:11:40+02:00
Add strictness signature for a bunch of wired in Ids

- - - - -
d6426b0a by Sebastian Graf at 2020-03-31T12:11:40+02:00
Accept a bunch of testcase changes

- - - - -
dd3168b2 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Rename isBot* to isDeadEnd*

- - - - -
849b89d8 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Comments

- - - - -
160183d5 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Assume that precise exceptions can only be thrown from IO

- - - - -
5469f5c3 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Accept new testsuite results

- - - - -
f26c24c3 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Polish Notes

- - - - -
556fe9a9 by Sebastian Graf at 2020-03-31T12:11:40+02:00
More comments

- - - - -
eea13050 by Sebastian Graf at 2020-03-31T12:11:40+02:00
Change forcesRealWorld to work like the old IO hack

- - - - -
3e884a2e by Sebastian Graf at 2020-03-31T12:11:40+02:00
Revert "Change forcesRealWorld to work like the old IO hack"

This reverts commit 516987db1eb32bb231063e1e0fa4ff78178b15c9.

- - - - -


30 changed files:

- compiler/GHC.hs
- compiler/GHC/Core/Arity.hs
- compiler/GHC/Core/Lint.hs
- compiler/GHC/Core/Op/CallArity.hs
- compiler/GHC/Core/Op/DmdAnal.hs
- compiler/GHC/Core/Op/FloatIn.hs
- compiler/GHC/Core/Op/FloatOut.hs
- compiler/GHC/Core/Op/LiberateCase.hs
- compiler/GHC/Core/Op/SetLevels.hs
- compiler/GHC/Core/Op/Simplify.hs
- compiler/GHC/Core/Op/Simplify/Utils.hs
- compiler/GHC/Core/Op/SpecConstr.hs
- compiler/GHC/Core/Op/WorkWrap/Lib.hs
- compiler/GHC/Core/SimpleOpt.hs
- compiler/GHC/Core/Unfold.hs
- compiler/GHC/Core/Utils.hs
- compiler/GHC/Iface/Tidy.hs
- compiler/GHC/IfaceToCore.hs
- compiler/GHC/Types/Demand.hs
- compiler/GHC/Types/Id.hs
- compiler/GHC/Types/Id/Info.hs
- compiler/GHC/Types/Id/Make.hs
- compiler/prelude/primops.txt.pp
- testsuite/tests/deSugar/should_compile/T2431.stderr
- testsuite/tests/numeric/should_compile/T14170.stdout
- testsuite/tests/numeric/should_compile/T14465.stdout
- testsuite/tests/numeric/should_compile/T7116.stdout
- testsuite/tests/perf/should_run/all.T
- testsuite/tests/simplCore/should_compile/T13143.stderr
- testsuite/tests/simplCore/should_compile/T13543.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c873b3b99adb4d4dd3214ae65c21f5c0452853f8...3e884a2ea78aa2e98612404642b7acafe46ec97c

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c873b3b99adb4d4dd3214ae65c21f5c0452853f8...3e884a2ea78aa2e98612404642b7acafe46ec97c
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/20200331/92605027/attachment.html>