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

Commits:

• 6c4a3d7d
  by Ben Gamari at 2025-10-09T17:28:08-04:00

  rts/nonmoving: Fix comment spelling
  

• 1e923002
  by Ben Gamari at 2025-10-09T17:28:08-04:00

  rts/nonmoving: Use atomic operations to update bd->flags
  

• eb8cc8b5
  by Ben Gamari at 2025-10-09T17:28:08-04:00

  nonmoving: Use get_itbl instead of explicit loads
  
  This is cleaner and also fixes unnecessary (and unsound) use of
  `volatile`.
  

• 0907dff2
  by Ben Gamari at 2025-10-09T17:28:08-04:00

  rts/Scav: Handle WHITEHOLEs in scavenge_one
  
  `scavenge_one`, used to scavenge mutable list entries, may encounter
  `WHITEHOLE`s when the non-moving GC is in use via two paths:
  
    1. when an MVAR is being marked concurrently
    2. when the object belongs to a chain of selectors being short-cutted.
  
  Fixes #26204.
  

• 8d1b22f2
  by Matthew Pickering at 2025-10-09T17:28:10-04:00

  Add support for generating bytecode objects
  
  This commit adds the `-fwrite-byte-code` option which makes GHC emit a
  `.gbc` file which contains a serialised representation of bytecode.
  
  The bytecode can be loaded by the compiler to avoid having to
  reinterpret a module when using the bytecode interpreter (for example,
  in GHCi).
  
  There are also the new options:
  
  * -gbcdir=<DIR>: Specify the directory to place the gbc files
  * -gbcsuf=<suffix>: Specify the suffix for gbc files
  
  The option `-fbyte-code-and-object-code` now implies
  `-fwrite-byte-code`.
  
  These performance tests fail due to https://github.com/haskell/directory/issues/204
  
  -------------------------
  Metric Increase:
      MultiComponentModules
      MultiLayerModules
      MultiComponentModulesRecomp
      MultiLayerModulesRecomp
      MultiLayerModulesTH_Make
      MultiLayerModulesTH_OneShot
      T13701
  -------------------------
  
  The bytecode serialisation part was implemented by Cheng Shao
  
  Co-authored-by: Cheng Shao <terrorjack@type.dance>
  

70 changed files:

• compiler/GHC/Builtin/PrimOps.hs
• compiler/GHC/ByteCode/Breakpoints.hs
• + compiler/GHC/ByteCode/Serialize.hs
• compiler/GHC/ByteCode/Types.hs
• compiler/GHC/Data/FlatBag.hs
• compiler/GHC/Data/SmallArray.hs
• compiler/GHC/Driver/Backend.hs
• compiler/GHC/Driver/Backpack.hs
• + compiler/GHC/Driver/ByteCode.hs
• compiler/GHC/Driver/Config/Finder.hs
• compiler/GHC/Driver/Downsweep.hs
• compiler/GHC/Driver/DynFlags.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Driver/Main.hs
• compiler/GHC/Driver/Messager.hs
• compiler/GHC/Driver/Pipeline/Execute.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/HsToCore/Breakpoints.hs
• compiler/GHC/HsToCore/Usage.hs
• compiler/GHC/Linker/Deps.hs
• compiler/GHC/Linker/Loader.hs
• compiler/GHC/Linker/Types.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/Types/SptEntry.hs
• compiler/GHC/Types/Tickish.hs
• compiler/GHC/Unit/Finder.hs
• compiler/GHC/Unit/Finder/Types.hs
• compiler/GHC/Unit/Module/Graph.hs
• compiler/GHC/Unit/Module/Location.hs
• compiler/GHC/Unit/Module/ModSummary.hs
• compiler/GHC/Unit/Module/WholeCoreBindings.hs
• compiler/GHC/Utils/Binary.hs
• compiler/ghc.cabal.in
• docs/users_guide/phases.rst
• docs/users_guide/separate_compilation.rst
• rts/include/rts/storage/Block.h
• rts/sm/NonMoving.c
• rts/sm/NonMovingMark.c
• rts/sm/Scav.c
• testsuite/tests/bytecode/T24634/T24634a.stdout
• testsuite/tests/bytecode/T24634/T24634b.stdout
• testsuite/tests/count-deps/CountDepsAst.stdout
• testsuite/tests/count-deps/CountDepsParser.stdout
• + testsuite/tests/driver/bytecode-object/A.hs
• + testsuite/tests/driver/bytecode-object/BytecodeForeign.c
• + testsuite/tests/driver/bytecode-object/BytecodeForeign.hs
• + testsuite/tests/driver/bytecode-object/BytecodeMain.hs
• + testsuite/tests/driver/bytecode-object/BytecodeTest.hs
• + testsuite/tests/driver/bytecode-object/Makefile
• + testsuite/tests/driver/bytecode-object/all.T
• + testsuite/tests/driver/bytecode-object/bytecode_object12.stderr
• + testsuite/tests/driver/bytecode-object/bytecode_object13.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object14.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object15.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object16.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object17.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object18.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object19.script
• + testsuite/tests/driver/bytecode-object/bytecode_object19.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object25.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object4.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object5.stdout
• + testsuite/tests/driver/bytecode-object/bytecode_object6.stdout
• testsuite/tests/driver/fat-iface/T22405/T22405.stdout
• testsuite/tests/driver/fat-iface/T22405/T22405b.stdout
• testsuite/tests/driver/fat-iface/fat011.stderr
• testsuite/tests/perf/compiler/Makefile
• + testsuite/tests/perf/compiler/MultiLayerModulesDefsGhciWithBytecodeFiles.script
• testsuite/tests/perf/compiler/all.T
• testsuite/tests/simplStg/should_compile/T22840.stderr

The diff was not included because it is too large.