| Issue |
60963
|
| Summary |
[WebAssembly] Invalid code generated with memory64 + simd
|
| Labels |
new issue
|
| Assignees |
tlively
|
| Reporter |
sbc100
|
Previously we had a crash bug: https://github.com/llvm/llvm-project/issues/57577.
Now that that is fixed I tried to re-enable the simd+memory64 test in emscripten and ran into an validation issue.
To reproduce you can run this command from an emscripten checkout:
```
$ ./em++ test/sse/test_sse2.cpp -sMEMORY64 -Wno-experimental -msimd128 -fno-lax-vector-conversions -Itest/sse -msse2
$ wasm-dis a.out.wasm
[parse exception: attempted pop from empty stack / beyond block start boundary at 35029 (at 0:35029)]
Fatal: error parsing wasm (try --debug for more info)
$ wasm-validate --enable-all a.out.wasm
a.out.wasm:00088d5: error: type mismatch in drop, expected [any] but got []
a.out.wasm:0008960: error: type mismatch in drop, expected [any] but got []
a.out.wasm:0008bbb: error: type mismatch in drop, expected [any] but got []
a.out.wasm:0008c46: error: type mismatch in drop, expected [any] but got []
a.out.wasm:0009eb7: error: type mismatch in drop, expected [any] but got []
a.out.wasm:0009fba: error: type mismatch in drop, expected [any] but got []
...
````
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
