Stream: git-wasmtime

Topic: wasmtime / PR #9144 x64: Prevent load sinking in simd f{m...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2024 at 21:42):

alexcrichton opened PR #9144 from alexcrichton:x64-fix-fmin-fmax-with-load to bytecodealliance:main:

This commit fixes an issue where a Value was both load-sunk and used as-is, meaning it was both sunk and not. That triggered a panic in the backend since this isn't valid. The reason for this is due to how some ISLE rules were written where a Value was both implicitly coerced into an XmmMem and an Xmm. This issue is similar to #4815 for example. The fix in this commit is to force the operands into registers which prevents load sinking which wouldn't work here anyway.

This panic was introduced in #5841 which is quite old at this point. This bug does not affect WebAssembly translation due to how the v128 type maps to i8x16 in Cranelift by default.

Closes #9143

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2024 at 21:42):

alexcrichton requested elliottt for a review on PR #9144.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2024 at 21:42):

alexcrichton requested wasmtime-compiler-reviewers for a review on PR #9144.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2024 at 21:43):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2024 at 21:44):

fitzgen has enabled auto merge for PR #9144.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2024 at 22:06):

fitzgen merged PR #9144.


Last updated: Dec 23 2024 at 13:07 UTC