fallback: legalize: G_ASHR <4 x s32>

Snippet:

define <4 x i16> @test_paadd_h(<4 x i16> %a, <4 x i16> %b) {
  %ext.a = sext <4 x i16> %a to <4 x i32>
  %ext.b = sext <4 x i16> %b to <4 x i32>
  %add = add nsw <4 x i32> %ext.a, %ext.b
  %shift = ashr <4 x i32> %add, splat (i32 1)
  %res = trunc <4 x i32> %shift to <4 x i16>
  ret <4 x i16> %res
}

Reproduce:

llc -mtriple=riscv64 -mattr=+experimental-p,+m,+zbb -verify-machineinstrs -global-isel -global-isel-abort=2 -pass-remarks-missed=gisel.* snippet.ll -o -
llc -mtriple=riscv64 -mattr=+experimental-p,+m,+zbb -verify-machineinstrs -global-isel=0 snippet.ll -o -

Local llc output:

remark: <unknown>:0:0: unable to legalize instruction: %7:_(<4 x s32>) = G_ASHR %4:_, %5:_(<4 x s32>) (in function: test_paadd_h)
warning: Instruction selection used fallback path for test_paadd_h

Occurrences (33):

Generated 2026-10-15 08:05 UTC.