Stream: git-wasmtime

Topic: wasmtime / PR #5594 Cranelift/egraph mid-end: support mer...


view this post on Zulip Wasmtime GitHub notifications bot (Jan 19 2023 at 02:56):

cfallin opened PR #5594 from egraphs-idempotent-gvn to main:

This is the analogue to #5534 for the egraph framework: it allows for operators that have side-effects (like traps), but are idempotent (will have the same trap or result as an earlier instance of the same operator with the same arguments), to merge in the GVN/deduplication that is inherent in egraph construction.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 19 2023 at 02:56):

cfallin requested fitzgen for a review on PR #5594.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 19 2023 at 19:49):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 19 2023 at 19:51):

cfallin merged PR #5594.


Last updated: Dec 23 2024 at 12:05 UTC