Rodrigo Mesquita pushed to branch wip/T26166 at Glasgow Haskell Compiler / GHC

Commits:

• 1e62b9c9
  by Rodrigo Mesquita at 2025-10-10T13:34:53+01:00

  Move code-gen aux symbols from ghc-internal to rts
  
  These symbols were all previously defined in ghc-internal and made the
  dependency structure awkward, where the rts may refer to some of these
  symbols and had to work around that circular dependency the way
  described in #26166.
  
  Moreover, the code generator will produce code that uses these symbols!
  Therefore, they should be available in the rts:
  
  PRINCIPLE: If the code generator may produce code which uses this
  symbol, then it should be defined in the rts rather than, say,
  ghc-internal.
  
  That said, the main motivation is towards fixing #26166.
  
  Towards #26166. Pre-requisite of !14892
  

• 0a23708b
  by Ben Gamari at 2025-10-10T14:23:37+01:00

  rts: Avoid static symbol references to ghc-internal
  
  This resolves #26166, a bug due to new constraints placed by Apple's
  linker on undefined references.
  
  One source of such references in the RTS is the many symbols referenced
  in ghc-internal. To mitigate #26166, we make these references dynamic,
  as described in Note [RTS/ghc-internal interface].
  
  Fixes #26166
  
  Co-authored-by: Rodrigo Mesquita <rodrigo.m.mesquita@gmail.com>
  

44 changed files:

• compiler/GHC/HsToCore/Foreign/C.hs
• compiler/GHC/Linker/Dynamic.hs
• compiler/GHC/Linker/Static.hs
• hadrian/src/Settings/Packages.hs
• + libraries/ghc-internal/cbits/RtsIface.c
• libraries/ghc-internal/ghc-internal.cabal.in
• + libraries/ghc-internal/include/RtsIfaceSymbols.h
• rts/BuiltinClosures.c
• rts/CloneStack.h
• rts/Compact.cmm
• rts/ContinuationOps.cmm
• rts/Exception.cmm
• rts/Prelude.h
• rts/PrimOps.cmm
• rts/RtsAPI.c
• rts/RtsStartup.c
• rts/RtsSymbols.c
• + rts/RtsToHsIface.c
• rts/Schedule.c
• rts/StgStdThunks.cmm
• rts/configure.ac
• − rts/external-symbols.list.in
• rts/include/Rts.h
• rts/include/RtsAPI.h
• + rts/include/rts/RtsToHsIface.h
• rts/include/stg/Prim.h
• rts/posix/Signals.c
• libraries/ghc-internal/cbits/atomic.c → rts/prim/atomic.c
• libraries/ghc-internal/cbits/bitrev.c → rts/prim/bitrev.c
• libraries/ghc-internal/cbits/bswap.c → rts/prim/bswap.c
• libraries/ghc-internal/cbits/clz.c → rts/prim/clz.c
• libraries/ghc-internal/cbits/ctz.c → rts/prim/ctz.c
• libraries/ghc-internal/cbits/int64x2minmax.c → rts/prim/int64x2minmax.c
• libraries/ghc-internal/cbits/longlong.c → rts/prim/longlong.c
• libraries/ghc-internal/cbits/mulIntMayOflo.c → rts/prim/mulIntMayOflo.c
• libraries/ghc-internal/cbits/pdep.c → rts/prim/pdep.c
• libraries/ghc-internal/cbits/pext.c → rts/prim/pext.c
• libraries/ghc-internal/cbits/popcnt.c → rts/prim/popcnt.c
• libraries/ghc-internal/cbits/vectorQuotRem.c → rts/prim/vectorQuotRem.c
• libraries/ghc-internal/cbits/word2float.c → rts/prim/word2float.c
• − rts/rts.buildinfo.in
• rts/rts.cabal
• rts/wasm/JSFFI.c
• utils/deriveConstants/Main.hs

The diff was not included because it is too large.