-
Notifications
You must be signed in to change notification settings - Fork 1.7k
x64 simd: Incorrect codegen leads to wrong result #3216
Copy link
Copy link
Closed
Labels
bugIncorrect behavior in the current implementation that needs fixingIncorrect behavior in the current implementation that needs fixingcranelift:area:x64Issues related to x64 codegenIssues related to x64 codegenfuzz-bugBugs found by a fuzzerBugs found by a fuzzerwasm-proposal:simdIssues related to the WebAssembly SIMD proposalIssues related to the WebAssembly SIMD proposal
Description
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
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugIncorrect behavior in the current implementation that needs fixingIncorrect behavior in the current implementation that needs fixingcranelift:area:x64Issues related to x64 codegenIssues related to x64 codegenfuzz-bugBugs found by a fuzzerBugs found by a fuzzerwasm-proposal:simdIssues related to the WebAssembly SIMD proposalIssues related to the WebAssembly SIMD proposal