fallback: legalize: G_FCANONICALIZE s64

Run:	explore-bc8218b282-20261015-075519
Kind:	fallback
Category:	legalize: G_FCANONICALIZE s64
Occurrences:	85 in 11 configs, 2 test files
Snippet from:	fp-fcanonicalize.ll @fcanonicalize_f64 via llvm-extract
Config:	`--mtriple=riscv32`
Local check:	reproduces at bc8218b282
Compiler Explorer:	not uploaded (over --godbolt-limit or disabled)

Snippet:

define double @fcanonicalize_f64(double %x) {
  %z = call double @llvm.canonicalize.f64(double %x)
  ret double %z
}

; Function Attrs: nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.canonicalize.f64(double) #0

attributes #0 = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) }

Reproduce:

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

Local llc output:

remark: <unknown>:0:0: unable to legalize instruction: %3:_(s64) = G_FCANONICALIZE %0:_ (in function: fcanonicalize_f64)
warning: Instruction selection used fallback path for fcanonicalize_f64

Occurrences (85) (first 50):

Input	Function	Config
double-arith.ll	fsgnjn_d	`-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32`
double-arith.ll	fmsub_d	`-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32`
double-arith.ll	fnmadd_d	`-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32`
double-arith.ll	fnmadd_d_2	`-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32`
double-arith.ll	fnmsub_d	`-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32`
double-arith.ll	fnmsub_d_2	`-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32`
double-arith.ll	fsgnjn_d	`-mtriple=riscv32 -verify-machineinstrs`
double-arith.ll	fmsub_d	`-mtriple=riscv32 -verify-machineinstrs`
double-arith.ll	fnmadd_d	`-mtriple=riscv32 -verify-machineinstrs`
double-arith.ll	fnmadd_d_2	`-mtriple=riscv32 -verify-machineinstrs`
double-arith.ll	fnmsub_d	`-mtriple=riscv32 -verify-machineinstrs`
double-arith.ll	fnmsub_d_2	`-mtriple=riscv32 -verify-machineinstrs`
double-arith.ll	fsgnjn_d	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.ll	fmsub_d	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.ll	fnmadd_d	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.ll	fnmadd_d_2	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.ll	fnmsub_d	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.ll	fnmsub_d_2	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.ll	fsgnjn_d	`-mtriple=riscv64 -verify-machineinstrs`
double-arith.ll	fmsub_d	`-mtriple=riscv64 -verify-machineinstrs`
double-arith.ll	fnmadd_d	`-mtriple=riscv64 -verify-machineinstrs`
double-arith.ll	fnmadd_d_2	`-mtriple=riscv64 -verify-machineinstrs`
double-arith.ll	fnmsub_d	`-mtriple=riscv64 -verify-machineinstrs`
double-arith.ll	fnmsub_d_2	`-mtriple=riscv64 -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64	`--mtriple=riscv32`
fp-fcanonicalize.ll	fcanonicalize_f64_nnan	`--mtriple=riscv32`
fp-fcanonicalize.ll	fcanonicalize_softfloat	`--mtriple=riscv32`
fp-fcanonicalize.ll	fcanonicalize_f64	`--mtriple=riscv64`
fp-fcanonicalize.ll	fcanonicalize_f64_nnan	`--mtriple=riscv64`
fp-fcanonicalize.ll	fcanonicalize_softfloat	`--mtriple=riscv64`
fp-fcanonicalize.ll	fcanonicalize_f64	`-mtriple=riscv32 -mattr=+zfinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64_nnan	`-mtriple=riscv32 -mattr=+zfinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_softfloat	`-mtriple=riscv32 -mattr=+zfinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64	`-mtriple=riscv32 -mattr=+zhinx -target-abi=ilp32 -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64_nnan	`-mtriple=riscv32 -mattr=+zhinx -target-abi=ilp32 -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_softfloat	`-mtriple=riscv32 -mattr=+zhinx -target-abi=ilp32 -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64_nnan	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_softfloat	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64	`-mtriple=riscv64 -mattr=+zfinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64_nnan	`-mtriple=riscv64 -mattr=+zfinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_softfloat	`-mtriple=riscv64 -mattr=+zfinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64	`-mtriple=riscv64 -mattr=+zhinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_f64_nnan	`-mtriple=riscv64 -mattr=+zhinx -verify-machineinstrs`
fp-fcanonicalize.ll	fcanonicalize_softfloat	`-mtriple=riscv64 -mattr=+zhinx -verify-machineinstrs`
double-arith.02a66d3572.ll (mutant of double-arith.ll)	fnmsub_d	`-mtriple=riscv32 -verify-machineinstrs`
double-arith.0d9badcd6d.ll (mutant of double-arith.ll)	fnmsub_d	`-mtriple=riscv32 -mattr=+zdinx -verify-machineinstrs -target-abi=ilp32`
double-arith.10195f3694.ll (mutant of double-arith.ll)	fnmsub_d	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.70412734b0.ll (mutant of double-arith.ll)	fnmadd_d	`-mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64`
double-arith.7671c1e191.ll (mutant of double-arith.ll)	fnmadd_d	`-mtriple=riscv32 -verify-machineinstrs`

Generated 2026-10-15 08:05 UTC.