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

Commits:

• 44f118f0
  by Cheng Shao at 2026-03-22T04:54:01-04:00

  ci: bump CACHE_REV and add the missing reminder
  
  This patch bumps `CACHE_REV` to address recent `[Cabal-7159]` CI
  errors due to stale cabal cache on some runners, and also adds a
  reminder to remind future maintainers. Fixes #27075.
  

• 9b9f15ae
  by ARATA Mizuki at 2026-03-22T20:23:06-04:00

  Add 128-bit SIMD support to AArch64 NCG
  
  Changes:
  
  - Add `Format` field to vector-capable instructions.
    These instructions will emit `vN.4s` (for example) as a operand.
  - Additional constructors for `Operand`:
    `OpVecLane` represents a vector lane and will be emitted as `vN.<width>[<index>]` (`vN.s[3]` for example).
    `OpScalarAsVec` represents a scalar, but printed as a vector lane like `vN.<width>[0]` (`vN.s[0]` for example).
  - Integer quot/rem are implemented in C, like x86.
  
  Closes #26536
  
  Metric Increase:
      T3294
  

• b8f14ec5
  by ARATA Mizuki at 2026-03-22T20:23:06-04:00

  AArch64 NCG: Improve code generation for floating-point and vector constants
  
  Some floating-point constants can be directly encoded using the FMOV instruction.
  Similarly, a class of vectors with same values can be encoded using FMOV, MOVI, or MVNI.
  

• 8a90bb46
  by Simon Jakobi at 2026-03-22T20:23:07-04:00

  Add regression test for #13729
  
  Closes #13729.
  

37 changed files:

• .gitlab-ci.yml
• compiler/CodeGen.Platform.h
• compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
• compiler/GHC/CmmToAsm/AArch64/Instr.hs
• compiler/GHC/CmmToAsm/AArch64/Ppr.hs
• compiler/GHC/CmmToAsm/AArch64/Regs.hs
• compiler/GHC/CmmToAsm/Reg/Graph/TrivColorable.hs
• compiler/GHC/Driver/Config/StgToCmm.hs
• docs/users_guide/9.16.1-notes.rst
• hadrian/cabal.project
• rts/include/stg/Prim.h
• rts/prim/vectorQuotRem.c
• + testsuite/tests/driver/T13729/A/A.cabal
• + testsuite/tests/driver/T13729/A/Setup.hs
• + testsuite/tests/driver/T13729/A/TH.hs
• + testsuite/tests/driver/T13729/A/Types1.hs
• + testsuite/tests/driver/T13729/A/Types2.hs
• + testsuite/tests/driver/T13729/B/B.cabal
• + testsuite/tests/driver/T13729/B/Main.hs
• + testsuite/tests/driver/T13729/B/Setup.hs
• + testsuite/tests/driver/T13729/Makefile
• + testsuite/tests/driver/T13729/Setup.hs
• + testsuite/tests/driver/T13729/all.T
• + testsuite/tests/simd/should_run/FloatConstant.hs
• + testsuite/tests/simd/should_run/FloatConstant.stdout
• + testsuite/tests/simd/should_run/IntConstant.hs
• + testsuite/tests/simd/should_run/IntConstant.stdout
• testsuite/tests/simd/should_run/all.T
• testsuite/tests/simd/should_run/int16x8_shuffle.hs
• testsuite/tests/simd/should_run/int16x8_shuffle.stdout
• testsuite/tests/simd/should_run/int16x8_shuffle_baseline.hs
• testsuite/tests/simd/should_run/int16x8_shuffle_baseline.stdout
• testsuite/tests/simd/should_run/int8x16_shuffle.hs
• testsuite/tests/simd/should_run/int8x16_shuffle.stdout
• testsuite/tests/simd/should_run/int8x16_shuffle_baseline.hs
• testsuite/tests/simd/should_run/int8x16_shuffle_baseline.stdout
• testsuite/tests/simd/should_run/simd013C.c

The diff was not included because it is too large.