alexcrichton labeled issue #3173:
This input wasm:
(module (func (result v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 i32.const 0 select))
yields:
thread 'main' panicked at 'assertion failed: ty == types::F32 || ty == types::F64', cranelift/codegen/src/isa/x64/lower.rs:6025:21 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
when compiled with wasmtime
cc @jlb6740, @abrown
alexcrichton opened issue #3173:
This input wasm:
(module (func (result v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 i32.const 0 select))
yields:
thread 'main' panicked at 'assertion failed: ty == types::F32 || ty == types::F64', cranelift/codegen/src/isa/x64/lower.rs:6025:21 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
when compiled with wasmtime
cc @jlb6740, @abrown
alexcrichton labeled issue #3173:
This input wasm:
(module (func (result v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 i32.const 0 select))
yields:
thread 'main' panicked at 'assertion failed: ty == types::F32 || ty == types::F64', cranelift/codegen/src/isa/x64/lower.rs:6025:21 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
when compiled with wasmtime
cc @jlb6740, @abrown
alexcrichton labeled issue #3173:
This input wasm:
(module (func (result v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 i32.const 0 select))
yields:
thread 'main' panicked at 'assertion failed: ty == types::F32 || ty == types::F64', cranelift/codegen/src/isa/x64/lower.rs:6025:21 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
when compiled with wasmtime
cc @jlb6740, @abrown
abrown commented on issue #3173:
This may be another case where the assertion is too strong:
Inst::xmm_cmove
should also apply to the vector types. See https://github.com/bytecodealliance/wasmtime/blob/main/cranelift/codegen/src/isa/x64/lower.rs#L6025-L6035.
abrown assigned issue #3173 (assigned to abrown):
This input wasm:
(module (func (result v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 i32.const 0 select))
yields:
thread 'main' panicked at 'assertion failed: ty == types::F32 || ty == types::F64', cranelift/codegen/src/isa/x64/lower.rs:6025:21 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
when compiled with wasmtime
cc @jlb6740, @abrown
abrown labeled issue #3173 (assigned to abrown):
This input wasm:
(module (func (result v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 i32.const 0 select))
yields:
thread 'main' panicked at 'assertion failed: ty == types::F32 || ty == types::F64', cranelift/codegen/src/isa/x64/lower.rs:6025:21 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
when compiled with wasmtime
cc @jlb6740, @abrown
abrown closed issue #3173 (assigned to abrown):
This input wasm:
(module (func (result v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000 i32.const 0 select))
yields:
thread 'main' panicked at 'assertion failed: ty == types::F32 || ty == types::F64', cranelift/codegen/src/isa/x64/lower.rs:6025:21 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
when compiled with wasmtime
cc @jlb6740, @abrown
Last updated: Dec 23 2024 at 12:05 UTC