[Git][ghc/ghc][wip/T22227] 7 commits: Boxity: Don't update Boxity unless worker/wrapper follows (#21754)

[Sebastian Graf (@sgraf812)]

Sebastian Graf pushed to branch wip/T22227 at Glasgow Haskell Compiler / GHC


Commits:
f5e8f493 by Sebastian Graf at 2022-09-30T18:42:13+02:00
Boxity: Don't update Boxity unless worker/wrapper follows (#21754)

A small refactoring in our Core Opt pipeline and some new functions for
transfering argument boxities from one signature to another to facilitate
`Note [Don't change boxity without worker/wrapper]`.

Fixes #21754.

- - - - -
4baf7b1c by M Farkas-Dyck at 2022-09-30T17:45:47-04:00
Scrub various partiality involving empty lists.

Avoids some uses of `head` and `tail`, and some panics when an argument is null.

- - - - -
95ead839 by Alexis King at 2022-10-01T00:37:43-04:00
Fix a bug in continuation capture across multiple stack chunks

- - - - -
22096652 by Bodigrim at 2022-10-01T00:38:22-04:00
Enforce internal invariant of OrdList and fix bugs in viewCons / viewSnoc

`viewCons` used to ignore `Many` constructor completely, returning `VNothing`.
`viewSnoc` violated internal invariant of `Many` being a non-empty list.

- - - - -
20c4b7a6 by Sebastian Graf at 2022-10-06T11:39:16+02:00
Loopification in OccurAnal (#22227, #14068)

- - - - -
6bf50c80 by Sebastian Graf at 2022-10-06T11:39:16+02:00
DmdAnal: Look through DataConWrappers (#22241)

- - - - -
28ac7b29 by Sebastian Graf at 2022-10-06T11:39:16+02:00
Unloopify in SpecConstr

- - - - -


30 changed files:

- compiler/GHC/Cmm/Node.hs
- compiler/GHC/Cmm/Switch.hs
- compiler/GHC/CmmToAsm.hs
- compiler/GHC/CmmToC.hs
- compiler/GHC/CmmToLlvm.hs
- compiler/GHC/Core/Opt/DmdAnal.hs
- compiler/GHC/Core/Opt/OccurAnal.hs
- compiler/GHC/Core/Opt/Pipeline.hs
- compiler/GHC/Core/Opt/Pipeline/Types.hs
- compiler/GHC/Core/Opt/SpecConstr.hs
- compiler/GHC/Core/Opt/Specialise.hs
- compiler/GHC/CoreToStg/Prep.hs
- compiler/GHC/Data/BooleanFormula.hs
- compiler/GHC/Data/OrdList.hs
- compiler/GHC/Driver/Config/Core/Lint.hs
- compiler/GHC/Linker/Loader.hs
- compiler/GHC/Llvm/Types.hs
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Types/Demand.hs
- compiler/GHC/Types/Name/Reader.hs
- compiler/GHC/Unit/State.hs
- compiler/GHC/Utils/Misc.hs
- rts/Continuation.c
- testsuite/tests/linear/should_compile/LinearLetRec.hs
- testsuite/tests/rts/continuations/all.T
- + testsuite/tests/rts/continuations/cont_stack_overflow.hs
- + testsuite/tests/simplCore/should_compile/T22227.hs
- + testsuite/tests/simplCore/should_compile/T22227.stderr
- testsuite/tests/simplCore/should_compile/all.T


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/6ec3df64a0baaf8f161435138448b83ed1d69ebf...28ac7b29f97682e1c08c13c9cfd4ce89c2fd70bc

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/6ec3df64a0baaf8f161435138448b83ed1d69ebf...28ac7b29f97682e1c08c13c9cfd4ce89c2fd70bc
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/20221006/5fdbddb5/attachment.html>