Skip to content

x64 simd: Incorrect codegen leads to wrong result #3216

@alexcrichton

Description

@alexcrichton

Found with some fuzzing, this module:

(module
  (func (result i64)
      v128.const i64x2 -1 1
      global.get 0
      f64x2.replace_lane 0
      i64x2.extract_lane 1
  )

  (global f64 (f64.const 1))
  (export "" (func 0)))

leads to:

$ wasmtime run --enable-simd --invoke '' test.wat
0

but the result should be 1

cc @jlb6740, @abrown

Metadata

Metadata

Assignees

Labels

bugIncorrect behavior in the current implementation that needs fixingcranelift:area:x64Issues related to x64 codegenfuzz-bugBugs found by a fuzzerwasm-proposal:simdIssues related to the WebAssembly SIMD proposal

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions