Stream: git-wasmtime

Topic: wasmtime / PR #5067 Add egraphs option to Wasmtime config...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 18 2022 at 00:16):

cfallin requested alexcrichton for a review on PR #5067.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 18 2022 at 00:16):

cfallin opened PR #5067 from wasmtime-fuzz-egraphs to main:

This PR adds a wrapper method for Cranelift's use_egraphs setting to Wasmtime's Config, named cranelift_use_egraphs analogously to its existing cranelift_opt_level.

Eventually this should become a no-op as egraph-based optimization becomes the default, but until then it makes sense to expose this as another kind of optimization option.

This PR then adds the option to the Arbitrary-based config generation for fuzzing, so compilation with egraphs will be fuzzed (on its own and against other configurations and oracles).

<!--

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 18 2022 at 00:16):

cfallin requested fitzgen for a review on PR #5067.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 18 2022 at 14:46):

alexcrichton updated PR #5067 from wasmtime-fuzz-egraphs to main.

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

alexcrichton submitted PR review.

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

alexcrichton merged PR #5067.


Last updated: Dec 23 2024 at 12:05 UTC