Matthew Pickering pushed to branch wip/gbc-files at Glasgow Haskell Compiler / GHC

Commits:

• c7f8f69f
  by Matthew Pickering at 2025-10-09T12:19:05+01: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>
  

66 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
• 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.