[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 12 commits: SpecConstr: Introduce a separate argument limit for forced specs.

Wed Oct 2 15:08:53 UTC 2024

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC

Commits:
7ddcf715 by Andreas Klebinger at 2024-10-02T11:08:11-04:00
SpecConstr: Introduce a separate argument limit for forced specs.

We used to put no limit at all on specializations forced via the SPEC
argument. This isn't always reasonable so we introduce a very high limit
that applies to forced specializations, a flag to control it, and we now
emit a warning if we fail a specialization because we exceed the
warning.

Fixes #25197

- - - - -
c2f7a4a3 by Andreas Klebinger at 2024-10-02T11:08:12-04:00
ghc-experimental: Expose primops and ghc extensions via GHC.PrimOps

This will be the new place for functions that would have gone into
GHC.Exts in the past but are not stable enough to do so now.

Addresses #25242

- - - - -
34952896 by Sylvain Henry at 2024-10-02T11:08:24-04:00
RTS: cleanup timerfd file descriptors after a fork (#25280)

When we init a timerfd-based ticker, we should be careful to cleanup the
old file descriptors (e.g. after a fork).

- - - - -
e6ce5221 by Rodrigo Mesquita at 2024-10-02T11:08:25-04:00
determinism: Deterministic MonadGetUnique LlvmM

Update LlvmM to thread a unique deterministic supply (using UniqDSMT),
and use it in the MonadGetUnique instance.

This makes uniques sampled from LlvmM deterministic, which guarantees
object determinism with -fllvm.

Fixes #25274

- - - - -
15bfb31b by Matthew Pickering at 2024-10-02T11:08:25-04:00
Bump LLVM upper bound to allow LLVM 19

Also bumps the ci-images commit so that the deb12 images uses LLVM 19
for testing.

-------------------------
Metric Decrease:
    size_hello_artifact_gzip
    size_hello_unicode_gzip
-------------------------

Fixes #25295

- - - - -
24c08a36 by Matthew Pickering at 2024-10-02T11:08:26-04:00
configure: Allow happy-2.0.2

happy-2.0.2 can be used to compile GHC.

happy-2.0 and 2.0.1 have bugs which make it unsuitable to use.

The version bound is now == 1.20.* || >= 2.0.2 && < 2.1

Fixes #25276

- - - - -
d0d0fe33 by ARATA Mizuki at 2024-10-02T11:08:31-04:00
Use bundled llc/opt on Windows (#22438)

- - - - -
33b851fa by Matthew Pickering at 2024-10-02T11:08:31-04:00
Fix registerArch for riscv64

The register allocator doesn't support vector registers on riscv64,
therefore advertise as NoVectors.

Fixes #25314

- - - - -
21660150 by Matthew Pickering at 2024-10-02T11:08:31-04:00
riscv: Avoid using csrr instruction to test for vector registers

The csrr instruction isn't allowed in qemu user-mode, and raises an
illegal instruction error when it is encountered.

Therefore for now, we just hard-code that there is no support for vector
registers since the rest of the compiler doesn't support vector
registers for riscv.

Fixes #25312

- - - - -
ccbe4cb3 by Andreas Klebinger at 2024-10-02T11:08:32-04:00
Add support for fp min/max to riscv

Fixes #25313

- - - - -
cb0a03cf by Ben Gamari at 2024-10-02T11:08:32-04:00
testsuite/perf: Report better error message on malformed note

Previously a malformed perf note resulted in very poor errors.
Here we slight improve this situation.

- - - - -
43431c81 by Ben Gamari at 2024-10-02T11:08:32-04:00
testsuite: Handle division-by-zero more gracefully

Previously we would fail with an ZeroDivisionError.

Fixes #25321

- - - - -

23 changed files:

- .gitlab-ci.yml
- compiler/GHC/CmmToAsm/RV64/CodeGen.hs
- compiler/GHC/CmmToAsm/RV64/Instr.hs
- compiler/GHC/CmmToAsm/RV64/Ppr.hs
- compiler/GHC/CmmToLlvm.hs
- compiler/GHC/CmmToLlvm/Base.hs
- compiler/GHC/Core/Opt/SpecConstr.hs
- compiler/GHC/Driver/DynFlags.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/Platform/Reg/Class.hs
- configure.ac
- docs/users_guide/using-optimisation.rst
- libraries/base/src/GHC/Exts.hs
- libraries/ghc-experimental/ghc-experimental.cabal.in
- + libraries/ghc-experimental/src/GHC/PrimOps.hs
- libraries/ghc-internal/src/GHC/Internal/Exts.hs
- m4/fp_settings.m4
- m4/fp_setup_windows_toolchain.m4
- m4/fptools_happy.m4
- rts/CheckVectorSupport.c
- rts/posix/ticker/TimerFd.c
- testsuite/driver/perf_notes.py
- testsuite/driver/runtests.py

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/517a7146e8bccfe9279ee37ed6f0fc243fe0f28b...43431c818ec1bf88810a4f6a1d25aaeceb725ee9

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/517a7146e8bccfe9279ee37ed6f0fc243fe0f28b...43431c818ec1bf88810a4f6a1d25aaeceb725ee9
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/20241002/d59deeba/attachment.html>