Stream: git-wasmtime

Topic: wasmtime / PR #11242 x64: Fix a missing lowering rule for...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 15 2025 at 14:53):

alexcrichton opened PR #11242 from alexcrichton:x64-fix-panic to bytecodealliance:main:

This commit fixes an accidental regression from #11097 where a select_spectre_guard with a boolean condition that and'd two CCs together would fail to lower and cause a panic during lowering. This was reachable when explicit bounds checks are enabled from wasm, for example. The fix here is to handle the And condition in the same way that lowering select does which is to model that as it flows into the select helper.

<!--
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 (Jul 15 2025 at 14:53):

alexcrichton requested fitzgen for a review on PR #11242.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 15 2025 at 14:53):

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

view this post on Zulip Wasmtime GitHub notifications bot (Jul 15 2025 at 17:25):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 15 2025 at 17:49):

fitzgen merged PR #11242.


Last updated: Dec 06 2025 at 07:03 UTC