Hannes Siebenhandl pushed to branch wip/fendor/stack-annotation-ty at Glasgow Haskell Compiler / GHC

Commits:

• 14f485ee
  by ARATA Mizuki at 2026-02-17T09:09:24+09:00

  Support more x86 extensions: AVX-512 {BW,DQ,VL} and GFNI
  
  Also, mark AVX-512 ER and PF as deprecated.
  
  AVX-512 instructions can be used for certain 64-bit integer vector operations.
  
  GFNI can be used to implement bitReverse (currently not used by NCG, but LLVM may use it).
  
  Closes #26406
  Addresses #26509
  

• 016f79d5
  by fendor at 2026-02-17T09:16:16-05:00

  Hide implementation details from base exception stack traces
  
  Ensure we hide the implementation details of the exception throwing mechanisms:
  
  * `undefined`
  * `throwSTM`
  * `throw`
  * `throwIO`
  * `error`
  
  The `HasCallStackBacktrace` should always have a length of exactly 1,
  not showing internal implementation details in the stack trace, as these
  are vastly distracting to end users.
  
  CLC proposal [#387](https://github.com/haskell/core-libraries-committee/issues/387)
  

• 624a8cb5
  by fendor at 2026-02-17T15:22:09+01:00

  Add optional `SrcLoc` to `StackAnnotation` class
  
  `StackAnnotation`s give access to an optional `SrcLoc` field that
  user-added stack annotations can use to provide better backtraces in both error
  messages and when decoding the callstack.
  
  We update builtin stack annotations such as `StringAnnotation` and
  `ShowAnnotation` to also capture the `SrcLoc` of the current `CallStack`
  to improve backtraces by default (if stack annotations are used).
  
  This change is backwards compatible with GHC 9.14.1.
  

67 changed files:

• compiler/GHC/CmmToAsm/Config.hs
• compiler/GHC/CmmToAsm/X86/CodeGen.hs
• compiler/GHC/CmmToAsm/X86/Instr.hs
• compiler/GHC/CmmToAsm/X86/Ppr.hs
• compiler/GHC/Driver/Config/CmmToAsm.hs
• compiler/GHC/Driver/DynFlags.hs
• compiler/GHC/Driver/Pipeline/Execute.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/SysTools/Cpp.hs
• docs/users_guide/9.16.1-notes.rst
• docs/users_guide/phases.rst
• docs/users_guide/using.rst
• libraries/base/changelog.md
• libraries/ghc-experimental/CHANGELOG.md
• libraries/ghc-experimental/src/GHC/Stack/Annotation/Experimental.hs
• + libraries/ghc-experimental/tests/Makefile
• + libraries/ghc-experimental/tests/all.T
• + libraries/ghc-experimental/tests/backtraces/Makefile
• + libraries/ghc-experimental/tests/backtraces/T26806a.hs
• + libraries/ghc-experimental/tests/backtraces/T26806a.stderr
• + libraries/ghc-experimental/tests/backtraces/T26806b.hs
• + libraries/ghc-experimental/tests/backtraces/T26806b.stderr
• + libraries/ghc-experimental/tests/backtraces/T26806c.hs
• + libraries/ghc-experimental/tests/backtraces/T26806c.stderr
• + libraries/ghc-experimental/tests/backtraces/all.T
• libraries/ghc-internal/src/GHC/Internal/Exception.hs
• libraries/ghc-internal/src/GHC/Internal/STM.hs
• libraries/ghc-internal/src/GHC/Internal/Stack/Annotation.hs
• + libraries/ghc-internal/tests/backtraces/T15395.hs
• + libraries/ghc-internal/tests/backtraces/T15395.stdout
• libraries/ghc-internal/tests/backtraces/all.T
• libraries/ghc-internal/tests/stack-annotation/ann_frame001.stdout
• libraries/ghc-internal/tests/stack-annotation/ann_frame002.stdout
• libraries/ghc-internal/tests/stack-annotation/ann_frame003.stdout
• libraries/ghc-internal/tests/stack-annotation/ann_frame004.stdout
• libraries/ghc-internal/tests/stack-annotation/ann_frame005.stdout
• testsuite/driver/cpu_features.py
• testsuite/tests/arrows/should_compile/T21301.stderr
• testsuite/tests/codeGen/should_gen_asm/all.T
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-minmax.asm
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-minmax.hs
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-mul.asm
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-mul.hs
• + testsuite/tests/codeGen/should_gen_asm/avx512-word64-minmax.asm
• + testsuite/tests/codeGen/should_gen_asm/avx512-word64-minmax.hs
• testsuite/tests/deSugar/should_fail/DsStrictFail.stderr
• testsuite/tests/deSugar/should_run/T20024.stderr
• testsuite/tests/deSugar/should_run/dsrun005.stderr
• testsuite/tests/deSugar/should_run/dsrun007.stderr
• testsuite/tests/deSugar/should_run/dsrun008.stderr
• testsuite/tests/deriving/should_run/T9576.stderr
• testsuite/tests/ghci/scripts/Defer02.stderr
• testsuite/tests/ghci/scripts/T15325.stderr
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32
• testsuite/tests/patsyn/should_run/ghci.stderr
• testsuite/tests/quotes/LiftErrMsgDefer.stderr
• testsuite/tests/safeHaskell/safeLanguage/SafeLang15.stderr
• testsuite/tests/simd/should_run/all.T
• testsuite/tests/type-data/should_run/T22332a.stderr
• testsuite/tests/typecheck/should_run/T10284.stderr
• testsuite/tests/typecheck/should_run/T13838.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
• testsuite/tests/unsatisfiable/T23816.stderr
• testsuite/tests/unsatisfiable/UnsatDefer.stderr

The diff was not included because it is too large.