Stream: git-wasmtime

Topic: wasmtime / PR #6200 Remove unsound `bitselect` => `{u,s}{...


view this post on Zulip Wasmtime GitHub notifications bot (Apr 12 2023 at 17:19):

Kmeakin opened PR #6200 from Kmeakin:remove-bitselect-to-minmax to bytecodealliance:main:

The rules rewriting bitselect to {u,s}{min,max} were unsound. The output of icmp can only be 1 or 0, so bitselect(icmp(...), x, y) will either be (x & 1) | y or y

view this post on Zulip Wasmtime GitHub notifications bot (Apr 12 2023 at 17:19):

Kmeakin requested cfallin for a review on PR #6200.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 12 2023 at 17:19):

Kmeakin requested wasmtime-compiler-reviewers for a review on PR #6200.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 12 2023 at 17:54):

Kmeakin closed without merge PR #6200.


Last updated: Dec 23 2024 at 12:05 UTC