Hannes Siebenhandl pushed to branch wip/bytecode-header at Glasgow Haskell Compiler / GHC

Commits:

• d9388e29
  by Simon Jakobi at 2026-03-31T13:14:59-04:00

  Add regression test for #18177
  
  Closes #18177.
  
  Assisted-by: Codex
  

• 6a10045c
  by mangoiv at 2026-03-31T13:15:43-04:00

  ci: allow metric decrease for two tests on i386
  
  There has been a nightly failure on i386 due to a compiler runtime
  improvement on i386 debian 12. We allow that.
  
  Metric Decrease (test_env='i386-linux-deb12'):
    T12707 T8095
  

• 7fbb4fcb
  by Rodrigo Mesquita at 2026-04-01T12:16:33+00:00

  Bump default language edition to GHC2024
  
  As per the accepted ghc-proposal#632
  
  Fixes #26039
  

• 5ae43275
  by Peng Fan at 2026-04-01T19:01:06-04:00

  NCG/LA64: add cmpxchg and xchg primops
  
  And append some new instructions for LA664 uarch.
  
  Apply fix to cmpxchg-prim by Andreas Klebinger.
  
  Suggestions in https://gitlab.haskell.org/ghc/ghc/-/merge_requests/15515
  

• 8f95534a
  by Duncan Coutts at 2026-04-01T19:01:52-04:00

  Remove signal-based ticker implementations
  
  Fixes issue #27073
  
  All supported platforms should work with the pthreads + nanosleep based
  ticker implementation. This avoids all the problems with using signals.
  
  In practice, all supported platforms were probably using the non-signal
  tickers already, which is probably why we do not get lots of reports
  about deadlocks and other weirdness: we were definately using functions
  that are not async signal safe in the tick handler (such as fflush to
  flussh the eventlog).
  
  Only Solaris was explicitly using the timer_create ticker impl, and even
  Solaris could probably use the pthreads one (if anyone cared: Solaris is
  no longer a Teir 3 supported platform).
  
  Plausibly the only supported platform that this will change will be AIX,
  which should now use the pthreads impl.
  

• 51b32b0d
  by Duncan Coutts at 2026-04-01T19:01:52-04:00

  Tidy up some timer/ticker comments elsewhere
  

• 7562bcd7
  by Duncan Coutts at 2026-04-01T19:01:52-04:00

  Remove now-unused install_vtalrm_handler
  
  Support function used by both of the signal-based ticker
  implementations.
  

• 6da127c7
  by Duncan Coutts at 2026-04-01T19:01:52-04:00

  No longer probe for timer_create in rts/configure
  
  It was only used by the TimerCreate.c ticker impl.
  

• 3fd490fa
  by Duncan Coutts at 2026-04-01T19:01:53-04:00

  Note that rtsTimerSignal is deprecated.
  

• 63099b0f
  by Simon Jakobi at 2026-04-01T19:02:39-04:00

  Add perf test for #13960
  
  Closes #13960.
  

• f1428321
  by Matthew Pickering at 2026-04-02T14:01:46+02:00

  bytecode: Add magic header/version to bytecode files
  
  In order to avoid confusing errors when using stale interface files (ie
  from an older compiler version), we add a simple header/version check
  like the one for interface files.
  
  Fixes #27068
  

• 77834669
  by fendor at 2026-04-02T14:01:56+02:00

  Add constants for bytecode in-memory buffer size
  
  Introduce a common constant for the default size of the .gbc and
  .bytecodelib binary buffer.
  
  The buffer is by default set to 1 MB.
  

142 changed files:

• .gitlab/ci.sh
• compiler/GHC/ByteCode/Serialize.hs
• compiler/GHC/CmmToAsm/LA64/CodeGen.hs
• compiler/GHC/CmmToAsm/LA64/Instr.hs
• compiler/GHC/CmmToAsm/LA64/Ppr.hs
• compiler/GHC/Driver/Flags.hs
• docs/users_guide/exts/control.rst
• − m4/fp_check_timer_create.m4
• rts/Timer.c
• rts/configure.ac
• rts/include/rts/Timer.h
• rts/include/stg/SMP.h
• rts/posix/Signals.c
• rts/posix/Signals.h
• rts/posix/Ticker.c
• − rts/posix/ticker/Setitimer.c
• − rts/posix/ticker/TimerCreate.c
• testsuite/tests/ado/ado004.hs
• testsuite/tests/annotations/should_fail/annfail02.hs
• testsuite/tests/annotations/should_fail/annfail02.stderr
• testsuite/tests/array/should_run/arr020.hs
• testsuite/tests/core-to-stg/T19700.hs
• testsuite/tests/deSugar/should_fail/DsStrictFail.hs
• testsuite/tests/deriving/should_compile/T15798b.hs
• testsuite/tests/deriving/should_compile/T15798c.hs
• testsuite/tests/deriving/should_compile/T15798c.stderr
• testsuite/tests/deriving/should_compile/T24955a.hs
• testsuite/tests/deriving/should_compile/T24955a.stderr
• testsuite/tests/deriving/should_compile/T24955b.hs
• testsuite/tests/deriving/should_compile/T24955c.hs
• testsuite/tests/deriving/should_fail/T10598_fail4.hs
• testsuite/tests/deriving/should_fail/T10598_fail4.stderr
• testsuite/tests/deriving/should_fail/T10598_fail5.hs
• testsuite/tests/deriving/should_fail/T10598_fail5.stderr
• testsuite/tests/dmdanal/sigs/T22241.hs
• + testsuite/tests/driver/T18177.hs
• testsuite/tests/driver/all.T
• testsuite/tests/driver/bytecode-object/Makefile
• testsuite/tests/driver/bytecode-object/all.T
• testsuite/tests/gadt/T20485.hs
• testsuite/tests/ghci.debugger/scripts/all.T
• testsuite/tests/ghci.debugger/scripts/break012.hs
• testsuite/tests/ghci.debugger/scripts/break012.stdout
• testsuite/tests/ghci/prog-mhu002/all.T
• testsuite/tests/ghci/scripts/Makefile
• testsuite/tests/ghci/should_run/all.T
• testsuite/tests/indexed-types/should_compile/T15322.hs
• testsuite/tests/indexed-types/should_compile/T15322.stderr
• testsuite/tests/linear/should_fail/T18888.hs
• testsuite/tests/module/T20007.hs
• testsuite/tests/module/T20007.stderr
• testsuite/tests/module/mod90.hs
• testsuite/tests/module/mod90.stderr
• testsuite/tests/overloadedrecflds/should_fail/NoFieldSelectorsFail.hs
• testsuite/tests/overloadedrecflds/should_fail/T18999_NoDisambiguateRecordFields.hs
• testsuite/tests/overloadedrecflds/should_fail/all.T
• testsuite/tests/parser/should_fail/ParserNoLambdaCase.hs
• testsuite/tests/parser/should_fail/ParserNoLambdaCase.stderr
• testsuite/tests/parser/should_fail/T16270h.hs
• testsuite/tests/parser/should_fail/T16270h.stderr
• testsuite/tests/parser/should_fail/readFail001.hs
• testsuite/tests/parser/should_fail/readFail001.stderr
• testsuite/tests/partial-sigs/should_compile/SomethingShowable.hs
• + testsuite/tests/perf/compiler/T13960.hs
• testsuite/tests/perf/compiler/all.T
• testsuite/tests/plugins/late-plugin/LatePlugin.hs
• testsuite/tests/polykinds/T7151.hs
• testsuite/tests/polykinds/T7151.stderr
• testsuite/tests/polykinds/T7433.hs
• testsuite/tests/polykinds/T7433.stderr
• testsuite/tests/programs/andy_cherry/test.T
• testsuite/tests/rename/should_fail/T10668.hs
• testsuite/tests/rename/should_fail/T10668.stderr
• testsuite/tests/rename/should_fail/T12681.hs
• testsuite/tests/rename/should_fail/T12681.stderr
• testsuite/tests/rename/should_fail/T13568.hs
• testsuite/tests/rename/should_fail/T13568.stderr
• testsuite/tests/rename/should_fail/T13644.hs
• testsuite/tests/rename/should_fail/T13644.stderr
• testsuite/tests/rename/should_fail/T13847.hs
• testsuite/tests/rename/should_fail/T13847.stderr
• testsuite/tests/rename/should_fail/T14032c.hs
• testsuite/tests/rename/should_fail/T19843l.hs
• testsuite/tests/rename/should_fail/T19843l.stderr
• testsuite/tests/rename/should_fail/T25901_imp_hq_fail_5.stderr
• testsuite/tests/rename/should_fail/T25901_imp_sq_fail_2.stderr
• testsuite/tests/rename/should_fail/T5385.hs
• testsuite/tests/rename/should_fail/T5385.stderr
• testsuite/tests/roles/should_fail/Roles5.hs
• testsuite/tests/roles/should_fail/Roles5.stderr
• testsuite/tests/showIface/DocsInHiFile.hs
• testsuite/tests/showIface/DocsInHiFile1.stdout
• testsuite/tests/showIface/DocsInHiFileTH.hs
• testsuite/tests/showIface/DocsInHiFileTH.stdout
• testsuite/tests/showIface/DocsInHiFileTHExternal.hs
• testsuite/tests/showIface/HaddockIssue849.hs
• testsuite/tests/showIface/HaddockIssue849.stdout
• testsuite/tests/showIface/HaddockOpts.hs
• testsuite/tests/showIface/HaddockOpts.stdout
• testsuite/tests/showIface/HaddockSpanIssueT24378.hs
• testsuite/tests/showIface/HaddockSpanIssueT24378.stdout
• testsuite/tests/showIface/MagicHashInHaddocks.hs
• testsuite/tests/showIface/MagicHashInHaddocks.stdout
• testsuite/tests/showIface/Makefile
• testsuite/tests/showIface/NoExportList.hs
• testsuite/tests/showIface/NoExportList.stdout
• testsuite/tests/showIface/PragmaDocs.stdout
• testsuite/tests/showIface/ReExports.stdout
• testsuite/tests/simplCore/T9646/test.T
• testsuite/tests/simplCore/should_compile/T21960.hs
• testsuite/tests/simplCore/should_compile/T26709.stderr
• testsuite/tests/th/TH_Promoted1Tuple.hs
• testsuite/tests/th/TH_Roles1.hs
• testsuite/tests/typecheck/should_compile/MutRec.hs
• testsuite/tests/typecheck/should_compile/T10770a.hs
• testsuite/tests/typecheck/should_compile/T11339.hs
• testsuite/tests/typecheck/should_compile/T11397.hs
• testsuite/tests/typecheck/should_compile/T13526.hs
• testsuite/tests/typecheck/should_compile/T18467.hs
• testsuite/tests/typecheck/should_compile/T18467.stderr
• testsuite/tests/typecheck/should_compile/tc081.hs
• testsuite/tests/typecheck/should_compile/tc141.hs
• testsuite/tests/typecheck/should_fail/T23427.hs
• testsuite/tests/typecheck/should_fail/T6078.hs
• testsuite/tests/typecheck/should_fail/T7453.hs
• testsuite/tests/typecheck/should_fail/T7453.stderr
• testsuite/tests/typecheck/should_fail/T8570.hs
• testsuite/tests/typecheck/should_fail/T8570.stderr
• testsuite/tests/typecheck/should_fail/tcfail083.hs
• testsuite/tests/typecheck/should_fail/tcfail083.stderr
• testsuite/tests/typecheck/should_fail/tcfail084.hs
• testsuite/tests/typecheck/should_fail/tcfail084.stderr
• testsuite/tests/typecheck/should_fail/tcfail094.hs
• testsuite/tests/typecheck/should_fail/tcfail094.stderr
• testsuite/tests/typecheck/should_run/T1735.hs
• testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs
• testsuite/tests/typecheck/should_run/T3731.hs
• testsuite/tests/vdq-rta/should_fail/T24159_type_syntax_th_fail.script
• testsuite/tests/warnings/should_fail/CaretDiagnostics1.hs
• testsuite/tests/warnings/should_fail/CaretDiagnostics1.stderr
• testsuite/tests/warnings/should_fail/T24396c.hs
• testsuite/tests/warnings/should_fail/T24396c.stderr

The diff was not included because it is too large.