Stream: git-wasmtime

Topic: wasmtime / PR #7439 egraphs: Remove extends and reduces f...

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

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

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

afonso360 requested cfallin for a review on PR #7439.

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

afonso360 opened PR #7439 from afonso360:egraphs-shifts-1 to bytecodealliance:main:

:wave: Hey,

This PR adds a few egraph rules that remove extends from the inputs of shift and rotate instructions. These instructions support a different shift amount type than the instruction type, so we should be able to remove them.

Additionally it also removes ireduce and iconcat for the same reasons. This works for all types except for i128 so we restrict those.

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

fitzgen submitted PR review:

Fantastic! Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Nov 01 2023 at 22:13):

afonso360 merged PR #7439.

Last updated: Dec 23 2024 at 12:05 UTC