Stream: git-wasmtime

Topic: wasmtime / issue #10357 winch simd: Diverging behavior fr...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 08 2025 at 01:37):

alexcrichton added the fuzz-bug label to Issue #10357.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 08 2025 at 01:37):

alexcrichton added the wasm-proposal:simd label to Issue #10357.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 08 2025 at 01:37):

alexcrichton added the winch label to Issue #10357.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 08 2025 at 01:37):

alexcrichton opened issue #10357:

This input:

(module
  (func (export "") (result i64 v128 v128)
    i32.const 0
    v128.const i32x4 0x00000000 0x00000000 0x68732efe 0x74727473
    i64.const 1
    call 1
  )

  (func (param i32 v128 i64) (result i64 v128 v128)
    i64.const 0
    local.get 1
    v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000
  )
)

shows:

$ cargo run -q run -C compiler=winch testcase0.shrunken.wat | shasum
warning: using `--invoke` with a function that returns values is experimental and may break in the future
bc51dd722ba91bc34e6d9650b9682c8c11e4acec  -
$ cargo run -q run testcase0.shrunken.wat | shasum
warning: using `--invoke` with a function that returns values is experimental and may break in the future
a9612e752ea5fb1d25ae07d25dcbd6f5084334ab  -

cc @jeffcharles

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 12:09):

saulecabrera closed issue #10357:

This input:

(module
  (func (export "") (result i64 v128 v128)
    i32.const 0
    v128.const i32x4 0x00000000 0x00000000 0x68732efe 0x74727473
    i64.const 1
    call 1
  )

  (func (param i32 v128 i64) (result i64 v128 v128)
    i64.const 0
    local.get 1
    v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000
  )
)

shows:

$ cargo run -q run -C compiler=winch testcase0.shrunken.wat | shasum
warning: using `--invoke` with a function that returns values is experimental and may break in the future
bc51dd722ba91bc34e6d9650b9682c8c11e4acec  -
$ cargo run -q run testcase0.shrunken.wat | shasum
warning: using `--invoke` with a function that returns values is experimental and may break in the future
a9612e752ea5fb1d25ae07d25dcbd6f5084334ab  -

cc @jeffcharles


Last updated: Apr 18 2025 at 18:04 UTC