Stream: git-wasmtime

Topic: wasmtime / PR #5061 egraph opts: fix uextend-of-i32.


view this post on Zulip Wasmtime GitHub notifications bot (Oct 17 2022 at 06:07):

cfallin opened PR #5061 from fix-iconst-egraph to main:

This is a simple error in the const-prop rules: uextend was not masking iconst's u64 immediate when extending from i32 to i64. Arguably an iconst.i32 should not have nonzero bits in the upper 32 of its immediate, but that's a separate design question. For now, if our invariant is that the upper bits are ignored, then it is required to mask the bits when const-evaling a uextend.

Fixes #5047.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Oct 17 2022 at 06:07):

cfallin requested fitzgen for a review on PR #5061.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 17 2022 at 06:07):

cfallin requested elliottt for a review on PR #5061.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 17 2022 at 07:40):

elliottt submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 17 2022 at 19:45):

cfallin merged PR #5061.


Last updated: Dec 23 2024 at 12:05 UTC