[Git][ghc/ghc][wip/reinstallable-th] 28 commits: -fprof-late: Only insert cost centres on functions/non-workfree cafs.

Thu May 9 15:34:45 UTC 2024

Teo Camarasu pushed to branch wip/reinstallable-th at Glasgow Haskell Compiler / GHC

Commits:
9b4129a5 by Andreas Klebinger at 2024-05-08T13:24:20-04:00
-fprof-late: Only insert cost centres on functions/non-workfree cafs.

They are usually useless and doing so for data values comes with
a large compile time/code size overhead.

Fixes #24103

- - - - -
259b63d3 by Sebastian Graf at 2024-05-08T13:24:57-04:00
Simplifier: Preserve OccInfo on DataAlt fields when case binder is dead (#24770)

See the adjusted `Note [DataAlt occ info]`.
This change also has a positive repercussion on
`Note [Combine case alts: awkward corner]`.

Fixes #24770.

We now try not to call `dataConRepStrictness` in `adjustFieldsIdInfo` when all
fields are lazy anyway, leading to a 2% ghc/alloc decrease in T9675.

Metric Decrease:
    T9675

- - - - -
31b28cdb by Sebastian Graf at 2024-05-08T13:24:57-04:00
Kill seqRule, discard dead seq# in Prep (#24334)

Discarding seq#s in Core land via `seqRule` was problematic; see #24334.
So instead we discard certain dead, discardable seq#s in Prep now.
See the updated `Note [seq# magic]`.

This fixes the symptoms of #24334.

- - - - -
be381afe by Teo Camarasu at 2024-05-09T16:34:36+01:00
Make template-haskell reinstallable

- - - - -
40ea87d8 by Teo Camarasu at 2024-05-09T16:34:36+01:00
Split out GHC.Internal.TH.Lift

- - - - -
8d42f5a1 by Teo Camarasu at 2024-05-09T16:34:36+01:00
Move MonadIO to ghc-internal

- - - - -
674f1cea by Teo Camarasu at 2024-05-09T16:34:36+01:00
Move GHC.Internal.Syntax into ghc-internal

- - - - -
51f962d6 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Move GHC.Lexeme into ghc-internal

- - - - -
433b8249 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Move GHC.Internal.TH.Lib to ghc-internal

- - - - -
6ee6b323 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Move GHC.Internal.TH.Lift to ghc-internal

- - - - -
1b55d1bc by Teo Camarasu at 2024-05-09T16:34:37+01:00
Move GHC.Internal.TH.Quote to ghc-internal

- - - - -
ceb5c66c by Teo Camarasu at 2024-05-09T16:34:37+01:00
Drop thUnit/thUnitId

- - - - -
629c31fd by Teo Camarasu at 2024-05-09T16:34:37+01:00
Update Safe/trustworthy annotations

- - - - -
5900c984 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Update test outputs

- - - - -
2516a1a5 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Rename modules moved to ghc-internal to start with GHC.Internal

We re-expose the old names from ghc-boot-th for backcompat

- - - - -
13f07457 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Update docs

- - - - -
346b2230 by Teo Camarasu at 2024-05-09T16:34:37+01:00
mark as safe

- - - - -
c2f8e5e3 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Update bootstrapping flag doc

- - - - -
f448bc36 by Teo Camarasu at 2024-05-09T16:34:37+01:00
remove accidentally committed file

- - - - -
45addd53 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Fix formatting

- - - - -
acd3c128 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Drop ghc-boot-th-next logic

This is no longer necessary as this package is reinstallable

- - - - -
a5fccdfd by Teo Camarasu at 2024-05-09T16:34:37+01:00
Make sure to import TH.Lib in TH.Lift!

- - - - -
b8a40426 by Teo Camarasu at 2024-05-09T16:34:37+01:00
Remove redundant import/comment

- - - - -
4fcf31cd by Teo Camarasu at 2024-05-09T16:34:37+01:00
 Update Note [Tracking dependencies on primitives]

- - - - -
afc10eeb by Teo Camarasu at 2024-05-09T16:34:38+01:00
Move quoteFile to `template-haskell`

- - - - -
f12f9045 by Teo Camarasu at 2024-05-09T16:34:38+01:00
Revert "Drop ghc-boot-th-next logic"

This reverts commit 635bdd20ea0ce61c143695894364891d80f150f2.

- - - - -
6d446c4c by Teo Camarasu at 2024-05-09T16:34:38+01:00
Remove reference to template-haskell-next in .gitignore

- - - - -
78db946c by Teo Camarasu at 2024-05-09T16:34:38+01:00
Update bootstrapping TH note

- - - - -

30 changed files:

- .gitignore
- compiler/GHC/Builtin/Names/TH.hs
- compiler/GHC/Core/LateCC.hs
- compiler/GHC/Core/LateCC/TopLevelBinds.hs
- compiler/GHC/Core/LateCC/Types.hs
- compiler/GHC/Core/Opt/CSE.hs
- compiler/GHC/Core/Opt/ConstantFold.hs
- compiler/GHC/Core/Opt/OccurAnal.hs
- compiler/GHC/Core/Opt/SetLevels.hs
- compiler/GHC/Core/Opt/Simplify/Iteration.hs
- compiler/GHC/Core/Opt/SpecConstr.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/CoreToStg/Prep.hs
- compiler/GHC/Driver/Main.hs
- compiler/GHC/Hs/Expr.hs
- compiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Iface/Recomp.hs
- compiler/GHC/Plugins.hs
- compiler/GHC/Rename/Names.hs
- compiler/GHC/Rename/Splice.hs
- compiler/GHC/Runtime/Interpreter/JS.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Gen/Splice.hs
- compiler/GHC/Tc/Gen/Splice.hs-boot
- compiler/GHC/Tc/Types/TH.hs
- compiler/GHC/ThToHs.hs
- compiler/GHC/Types/Id/Make.hs
- compiler/GHC/Types/RepType.hs
- compiler/GHC/Unit/State.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/d0fc16f0fd1b99e3abe59c4c9a7a9b694f43d4dc...78db946cbbc0ba71839ddccf5ce4198efe12764f

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/d0fc16f0fd1b99e3abe59c4c9a7a9b694f43d4dc...78db946cbbc0ba71839ddccf5ce4198efe12764f
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/20240509/cc588065/attachment-0001.html>