Stream: git-wasmtime

Topic: wasmtime / PR #5809 [6.0.0] egraphs: disable GVN of effec...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 16 2023 at 21:28):

cfallin opened PR #5809 from disable-gvn-of-effectful-ops-6.0 to release-6.0.0:

(This is a cherry-pick of #5808's commit.)

This is a short-term fix to the same bug that #5800 is addressing (#5796), but with less risk: it simply turns off GVN'ing of effectful but idempotent ops. Because we have an upcoming release, and this is a miscompile (albeit to do with trapping behavior), we would like to make the simplest possible fix that avoids the bug, and backport it. I will then rebase #5800 on top of a revert of this followed by the more complete fix.

<!--

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 (Feb 16 2023 at 21:28):

cfallin requested elliottt for a review on PR #5809.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 16 2023 at 21:28):

cfallin requested fitzgen for a review on PR #5809.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 16 2023 at 21:28):

cfallin requested jameysharp for a review on PR #5809.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 16 2023 at 22:29):

jameysharp submitted PR review.

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

cfallin merged PR #5809.


Last updated: Nov 22 2024 at 17:03 UTC