;; Run test case
test interpret
test run
set opt_level=speed_and_size
set bb_padding_log2_minus_one=6
set enable_alias_analysis=false
set enable_nan_canonicalization=true
set enable_llvm_abi_extensions=true
set enable_multi_ret_implicit_sret=true
set unwind_info=false
set machine_code_cfg_info=true
set enable_heap_access_spectre_mitigation=false
set enable_table_access_spectre_mitigation=false
target x86_64 has_sse3 has_ssse3 has_cmpxchg16b has_sse41 has_sse42 has_avx has_avx2 has_fma has_popcnt has_bmi1 has_bmi2 has_lzcnt
function %my_f(i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext) -> i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext, i8 sext preserve_all {
sig0 = (f32) -> f32 system_v
sig1 = (f64) -> f64 system_v
sig2 = (f32) -> f32 system_v
sig3 = (f64) -> f64 system_v
sig4 = (f32) -> f32 system_v
sig5 = (f64) -> f64 system_v
fn0 = %CeilF32 sig0
fn1 = %CeilF64 sig1
fn2 = %FloorF32 sig2
fn3 = %FloorF64 sig3
fn4 = %TruncF32 sig4
fn5 = %TruncF64 sig5
block0(v0: i8, v1: i8, v2: i8, v3: i8, v4: i8, v5: i8, v6: i8, v7: i8, v8: i8, v9: i8, v10: i8, v11: i8, v12: i8, v13: i8, v14: i8):
v15 = iconst.i8 0
v16 = iconst.i16 0
v17 = iconst.i32 0
v18 = iconst.i64 0
v19 = uextend.i128 v18 ; v18 = 0
return v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0
}
; Note: the results in the below test cases are simply a placeholder and probably will be wrong
; run: %my_f(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
$ cargo run test ../foo.clif
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.07s
Running `/home/alex/code/wasmtime/target/debug/clif-util test ../foo.clif`
thread 'worker #9' (2412184) panicked at cranelift/codegen/src/machinst/abi.rs:2504:9:
assertion failed: self.defs.is_empty() ||
M::get_regs_clobbered_by_call(self.callee_conv,
self.try_call_info.is_some()).contains(PReg::from(temp.to_reg().to_real_reg().unwrap()))
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
[2026-01-23T02:40:53Z ERROR cranelift_filetests::concurrent] FAIL: panicked in worker #9: assertion failed: self.defs.is_empty() ||
M::get_regs_clobbered_by_call(self.callee_conv,
self.try_call_info.is_some()).contains(PReg::from(temp.to_reg().to_real_reg().unwrap()))
FAIL ../foo.clif: panicked in worker #9: assertion failed: self.defs.is_empty() ||
M::get_regs_clobbered_by_call(self.callee_conv,
self.try_call_info.is_some()).contains(PReg::from(temp.to_reg().to_real_reg().unwrap()))
1 tests
Error: 1 failure
This input:
fails with:
cc @cfallin, bisection points to #12160