Stream: git-wasmtime

Topic: wasmtime / issue #3173 x64: Panic in lowering wasm `selec...

Wasmtime GitHub notifications bot (Aug 09 2021 at 22:09):

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

Wasmtime GitHub notifications bot (Aug 09 2021 at 22:09):

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

Wasmtime GitHub notifications bot (Aug 09 2021 at 22:09):

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

Wasmtime GitHub notifications bot (Aug 09 2021 at 22:09):

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

Wasmtime GitHub notifications bot (Aug 10 2021 at 00:18):

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.

Wasmtime GitHub notifications bot (Aug 19 2021 at 16:49):

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

Wasmtime GitHub notifications bot (Sep 03 2021 at 23:50):

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

Wasmtime GitHub notifications bot (Nov 19 2021 at 19:24):

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: Nov 22 2024 at 16:03 UTC