fallback: legalize: G_MERGE_VALUES s64,s32

Run:explore-bc8218b282-20261015-075519
Kind:fallback
Category:legalize: G_MERGE_VALUES s64,s32
Occurrences:44 in 6 configs, 4 test files
Snippet from:overflow-intrinsics.ll @uaddo_i42_increment_illegal_type via llvm-extract
Config:-mtriple=riscv32 -verify-machineinstrs
Local check:reproduces at bc8218b282
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 (44):

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.1a5b0e84b9.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.1a5b0e84b9.ll (mutant of inline-asm-zdinx-constraint-r.ll)constraint_f_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
inline-asm-zdinx-constraint-r.1a5b0e84b9.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.43a5ea4fb8.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.ed6dbf521f.ll (mutant of inline-asm-zdinx-constraint-r.ll)constraint_r_double-mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs
xaluo.3b5e5b2c86.ll (mutant of xaluo.ll)saddo.select.i64-mtriple=riscv32 -mattr=+m,+zba -verify-machineinstrs
xaluo.415f1066dd.ll (mutant of xaluo.ll)saddo.select.i64-mtriple=riscv32 -mattr=+m,+zicond -verify-machineinstrs
xaluo.f72324882e.ll (mutant of xaluo.ll)saddo.select.i64-mtriple=riscv32 -mattr=+m -verify-machineinstrs
zdinx-asm-constraint.15f96fb1af.ll (mutant of zdinx-asm-constraint.ll)zdinx_asm_cr-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32 -mattr=+zhinx

Generated 2026-10-15 08:05 UTC.