fallback: legalize: G_MERGE_VALUES s64,s32

Run:main-04ca53e65f-20261014-105623
Kind:fallback
Category:legalize: G_MERGE_VALUES s64,s32
Occurrences:43 in 5 configs, 3 test files
Snippet from:overflow-intrinsics.ll @uaddo_i42_increment_illegal_type via llvm-extract
Config:-mtriple=riscv32 -verify-machineinstrs
Local check:reproduces at 04ca53e65f
Compiler Explorer:not uploaded (over --godbolt-limit or disabled)

Snippet:

define i1 @uaddo_i42_increment_illegal_type(i42 %x, ptr %p) {
  %a = add i42 %x, 1
  %ov = icmp eq i42 %a, 0
  store i42 %a, ptr %p, align 4
  ret i1 %ov
}

Reproduce:

llc -mtriple=riscv32 -verify-machineinstrs -global-isel -global-isel-abort=2 -pass-remarks-missed=gisel.* snippet.ll -o -
llc -mtriple=riscv32 -verify-machineinstrs -global-isel=0 snippet.ll -o -

Local llc output:

remark: <unknown>:0:0: unable to legalize instruction: %20:_(s64) = G_MERGE_VALUES %25:_(s32), %26:_(s32) (in function: uaddo_i42_increment_illegal_type)
warning: Instruction selection used fallback path for uaddo_i42_increment_illegal_type

Occurrences (43):

InputFunctionConfig
inline-asm-zdinx-constraint-r.llconstraint_r_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.llconstraint_cr_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.llconstraint_f_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.llconstraint_cf_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
overflow-intrinsics.lluaddo_i42_increment_illegal_type-mtriple=riscv32 -verify-machineinstrs
xaluo.llsaddo.select.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.llsaddo.not.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.lluaddo.select.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.lluaddo.not.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.llssubo.select.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.llssub.not.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.llsaddo.br.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.lluaddo.br.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.llssubo.br.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.llumulo2.br.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.llsaddo.select.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.llsaddo.not.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.lluaddo.select.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.lluaddo.not.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.llssubo.select.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.llssub.not.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.llsaddo.br.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.lluaddo.br.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.llssubo.br.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.llumulo2.br.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.llsaddo.select.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.llsaddo.not.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.lluaddo.select.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.lluaddo.not.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.llssubo.select.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.llssub.not.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.llsaddo.br.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.lluaddo.br.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.llssubo.br.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.llumulo2.br.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
inline-asm-zdinx-constraint-r.04bbeca8f1.ll (mutant of inline-asm-zdinx-constraint-r.ll)constraint_cr_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.04bbeca8f1.ll (mutant of inline-asm-zdinx-constraint-r.ll)constraint_cf_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.09e0a5e813.ll (mutant of inline-asm-zdinx-constraint-r.ll)constraint_r_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.09e0a5e813.ll (mutant of inline-asm-zdinx-constraint-r.ll)constraint_cr_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.3e738b7d2c.ll (mutant of inline-asm-zdinx-constraint-r.ll)constraint_f_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
xaluo.06a4d0a1e8.ll (mutant of xaluo.ll)uaddo.not.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
xaluo.1eabcb5364.ll (mutant of xaluo.ll)uaddo.not.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.c27a523007.ll (mutant of xaluo.ll)uaddo.not.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs

Generated 2026-10-15 08:05 UTC.