Stream: git-wasmtime

Topic: wasmtime / PR #12100 Implement simple icmp + select optim...


view this post on Zulip Wasmtime GitHub notifications bot (Dec 01 2025 at 03:39):

jameshu15869 opened PR #12100 from claby2:milestone-11578 to bytecodealliance:main:

This optimizes the following:

a = select x, k1, k2
b = icmp eq a, k1

to

b = x

We shouldn't trigger this optimization when k1 == k2 because constant propagation should optimize that case.

<!--
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 (Dec 01 2025 at 03:39):

jameshu15869 requested alexcrichton for a review on PR #12100.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 01 2025 at 03:39):

jameshu15869 requested wasmtime-compiler-reviewers for a review on PR #12100.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 01 2025 at 03:39):

jameshu15869 closed without merge PR #12100.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 01 2025 at 03:40):

jameshu15869 commented on PR #12100:

Sorry for the notification - this PR was meant to go to our fork, not yet ready for review!

view this post on Zulip Wasmtime GitHub notifications bot (Dec 01 2025 at 03:49):

jameshu15869 edited a comment on PR #12100:

Sorry for the notification - this PR was meant to go to our fork, not yet ready for review!

I couldn't find the delete option but feel free to remove


Last updated: Dec 06 2025 at 07:03 UTC