Stream: git-wasmtime

Topic: wasmtime / PR #7472 egraphs: Recognize `rot{r,l}` from sh...

view this post on Zulip Wasmtime GitHub notifications bot (Nov 03 2023 at 14:47):

afonso360 opened PR #7472 from afonso360:egraphs-shifts-3 to bytecodealliance:main:

:wave: Hey,

This PR adds a egraphs rule to recognize rotates from a combination of shifts. It also adds a few rules that rewrite the shift amount to be smaller than ty_bits. This not only helps the rotate rule fire more often, but also some other rules in this file.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 03 2023 at 14:47):

afonso360 requested abrown for a review on PR #7472.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 03 2023 at 14:47):

afonso360 requested wasmtime-compiler-reviewers for a review on PR #7472.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 03 2023 at 15:10):

afonso360 updated PR #7472.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 03 2023 at 16:23):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 03 2023 at 20:59):

afonso360 merged PR #7472.

Last updated: Dec 13 2025 at 19:03 UTC