Sven Tennie pushed to branch wip/supersven/interpreter-flags at Glasgow Haskell Compiler / GHC

Commits:

• 72d6dc74
  by aparker at 2026-04-20T20:15:44-04:00

  NCG: Implement constant folding for vector simd ops (Issue #25030)
  

• b9cab907
  by sheaf at 2026-04-20T20:15:44-04:00

  Mark some SIMD tests as broken on i386 optllvm
  
  As seen in #25498, several SIMD tests are broken on i386 in the optllvm
  way. This commit marks them as "expect_broken".
  

• 76528cc3
  by Wolfgang Jeltsch at 2026-04-20T20:16:25-04:00

  Move most of the `System.IO` implementation into `base`
  
  This involves a rewrite of the `combine` helper function to avoid the
  use of `last`, which would now be flagged as an error.
  
  Metric Decrease:
      LinkableUsage01
      T3294
  Metric Increase:
      T12227
      T12707
      T5642
  

• 04d143c0
  by Luite Stegeman at 2026-04-21T14:05:33-04:00

  rts: add a few missing i386 relocations in the rts linker
  

• 014087e7
  by Luite Stegeman at 2026-04-21T14:05:34-04:00

  CodeOutput: Fix finalizers on multiple platforms
  
   - ELF platforms: emit .fini_array section
   - wasm32/Darwin: emit initializer with __cxa_atexit call
   - Windows: use -Wl,--whole-archive to prevent dropping finalizer symbols
   - rts linker: fix crash/assertion failure unloading objects with finalizers
  
  fixes #27072
  

• 915bba6f
  by Simon Jakobi at 2026-04-21T14:06:16-04:00

  Add regression test for #10531
  
  Closes #10531.
  

• 86a646a6
  by Andreas Klebinger at 2026-04-22T13:00:05-04:00

  Revert use of generic instances for compiler time perf reasons.
  
  Revert "Derive Semigroup/Monoid for instances believed could be derived in #25871"
  
  This reverts commit 11a04cbb221cc404fe00d65d7c951558ede4caa9.
  
  Revert "add Ghc.Data.Pair deriving"
  
  This reverts commit 15d9ce449e1be8c01b89fd39bdf1e700ea7d1dce.
  

• bc9ee1cf
  by Wen Kokke at 2026-04-22T13:00:51-04:00

  hadrian: Fix docs to remove static flavour
  
  In 638f6548, the static flavour was turned into into the fully_static
  flavour transformer. However, this commit did not update flavours.md.
  

• cc9cc6d5
  by Cheng Shao at 2026-04-23T09:40:46+00:00

  configure: bump LlvmMaxVersion to 23
  
  This patch bumps `LlvmMaxVersion` to 23 to support LLVM 22.x releases.
  

• 2ea7ef8e
  by Cheng Shao at 2026-04-23T09:46:26+00:00

  changelog: add llvm 22.x support
  

• 5574ee10
  by Cheng Shao at 2026-04-24T08:24:30-04:00

  compiler: avoid unused temporary `appendFS` operands
  
  This patch fixes unused temporary `appendFS` operands in the codebase
  that are retained in the `FastString` table after concatenation.
  Rewrite rules are added so that if an operand is
  `fsLit`/`mkFastString`, the `appendFS` application is rewritten to
  append the `ShortByteString` operands first. The patch also fixes
  `sconcat` behavior to align with `mconcat` for the same reason. Fixes #27205.
  

• 4ed78760
  by mangoiv at 2026-04-24T08:25:13-04:00

  contributing: adjust MR template to be less verbose
  
  - MR template only shows text that is relevant for submissiong
  - MR template was rewritten so it's readable from a user's and reviewer's
    perspective
  
  Resolves #27165
  
  Co-Authored-By: @sheaf
  

• 87db83e2
  by Cheng Shao at 2026-04-24T14:37:21-04:00

  ci: bump freebsd boot ghc to 9.10.3
  
  This commit bumps freebsd boot ghc to 9.10.3 to align with other
  platforms and prevent outdated boot libs in boot ghc to block the
  freebsd job.
  

• 17e3a0b7
  by Cheng Shao at 2026-04-24T14:37:21-04:00

  compiler: improve Binary instance of Array
  
  This patch improves the `Binary` instance of `Array`:
  
  - We no longer allocate intermediate lists. When serializing an
    `Array`, we iterate over the elements directly; when deserializing
    it, we allocate the result `Array` and fill it in a loop.
  - Now we only serialize the array bounds tuple; the length field is
    not needed.
  
  Closes #27109.
  

• 2d30f7d3
  by sheaf at 2026-04-24T14:38:23-04:00

  Vendor mini-QuickCheck for testsuite
  
  This commit extracts the vendored QuickCheck implementation from the
  foundation testsuite to make it more broadly available in the GHC
  testsuite, and makes use of it in the simd006 test (which also used
  a vendored QuickCheck implementation).
  
  On the way, we update the linear congruential generator to avoid the
  shortcoming of only generating 31 bit large numbers.
  
  Fixes #25990 and #25969.
  

• d9e74378
  by Sven Tennie at 2026-04-25T14:15:15+02:00

  ghc: Distinguish between having an interpreter and having an internal one
  
  Actually, these are related but different things:
  
  - ghc can run an interpreter (either internal or external)
  - ghc is compiled with an internal interpreter
  
  Splitting the logic solves compiler warnings and expresses the intent
  better.
  

• 62458eda
  by Sven Tennie at 2026-04-25T14:15:15+02:00

  WIP
  

90 changed files:

• .gitlab/generate-ci/gen_ci.hs
• .gitlab/jobs.yaml
• .gitlab/merge_request_templates/Default.md
• + changelog.d/T19174.md
• + changelog.d/binary-array-no-list
• + changelog.d/fix-finalizers-27072
• + changelog.d/llvm-22
• + changelog.d/simd_constant_folding
• compiler/GHC/Cmm/Opt.hs
• compiler/GHC/CmmToAsm/X86/CodeGen.hs
• compiler/GHC/CmmToLlvm/CodeGen.hs
• compiler/GHC/Data/FastString.hs
• compiler/GHC/Data/Pair.hs
• compiler/GHC/Driver/CodeOutput.hs
• compiler/GHC/Hs/Type.hs
• compiler/GHC/HsToCore/Pmc.hs
• compiler/GHC/HsToCore/Pmc/Solver/Types.hs
• compiler/GHC/Linker/Executable.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Tc/Utils/TcMType.hs
• compiler/GHC/Types/ForeignStubs.hs
• compiler/GHC/Types/Unique/DSet.hs
• compiler/GHC/Utils/Binary.hs
• compiler/GHC/Utils/Misc.hs
• compiler/GHC/Utils/Ppr/Colour.hs
• configure.ac
• ghc/GHC/Driver/Session/Mode.hs
• ghc/GHCi/UI.hs
• ghc/Main.hs
• ghc/ghc-bin.cabal.in
• hadrian/doc/flavours.md
• hadrian/src/Settings/Packages.hs
• libraries/base/src/Control/Concurrent.hs
• libraries/base/src/GHC/IO/Handle.hs
• libraries/base/src/Prelude.hs
• libraries/base/src/System/IO.hs
• libraries/base/src/Text/Printf.hs
• libraries/ghc-internal/src/GHC/Internal/System/IO.hs
• rts/Linker.c
• rts/LinkerInternals.h
• rts/linker/Elf.c
• testsuite/driver/testlib.py
• + testsuite/tests/MiniQuickCheck.hs
• + testsuite/tests/codeGen/should_run/T27072d.hs
• + testsuite/tests/codeGen/should_run/T27072d.stdout
• + testsuite/tests/codeGen/should_run/T27072d_c.c
• + testsuite/tests/codeGen/should_run/T27072d_check.c
• + testsuite/tests/codeGen/should_run/T27072w.hs
• + testsuite/tests/codeGen/should_run/T27072w.stdout
• + testsuite/tests/codeGen/should_run/T27072w_c.c
• testsuite/tests/codeGen/should_run/all.T
• + testsuite/tests/driver/T10531/A.hs
• + testsuite/tests/driver/T10531/B.hs
• + testsuite/tests/driver/T10531/C.hs
• + testsuite/tests/driver/T10531/Makefile
• + testsuite/tests/driver/T10531/all.T
• testsuite/tests/interface-stability/base-exports.stdout
• testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
• testsuite/tests/interface-stability/base-exports.stdout-mingw32
• testsuite/tests/interface-stability/base-exports.stdout-ws-32
• testsuite/tests/numeric/should_run/all.T
• testsuite/tests/numeric/should_run/foundation.hs
• + testsuite/tests/rts/linker/T27072/Lib.c
• + testsuite/tests/rts/linker/T27072/Makefile
• + testsuite/tests/rts/linker/T27072/T27072.stdout
• + testsuite/tests/rts/linker/T27072/all.T
• + testsuite/tests/rts/linker/T27072/main.c
• + testsuite/tests/simd/should_run/Makefile
• + testsuite/tests/simd/should_run/T25030.hs
• + testsuite/tests/simd/should_run/T25030.stdout
• testsuite/tests/simd/should_run/all.T
• testsuite/tests/simd/should_run/simd006.hs
• testsuite/tests/th/all.T
• testsuite/tests/typecheck/should_compile/T9497a.stderr
• testsuite/tests/typecheck/should_compile/holes.stderr
• testsuite/tests/typecheck/should_compile/holes3.stderr
• testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr
• testsuite/tests/typecheck/should_fail/T9497d.stderr
• testsuite/tests/typecheck/should_run/T9497a-run.stderr
• testsuite/tests/typecheck/should_run/T9497b-run.stderr
• testsuite/tests/typecheck/should_run/T9497c-run.stderr
• utils/haddock/html-test/ref/Bug1004.html
• utils/haddock/html-test/ref/Bug973.html
• utils/haddock/html-test/ref/ConstructorPatternExport.html
• utils/haddock/html-test/ref/DefaultSignatures.html
• utils/haddock/html-test/ref/Hash.html
• utils/haddock/html-test/ref/PatternSyns.html
• utils/haddock/html-test/ref/PatternSyns2.html
• utils/haddock/html-test/ref/QuasiExpr.html
• utils/haddock/html-test/ref/Test.html

The diff was not included because it is too large.