Stream: git-wasmtime

Topic: wasmtime / PR #4043 Add support for running the regalloc2...

view this post on Zulip Wasmtime GitHub notifications bot (Apr 16 2022 at 03:23):

cfallin opened PR #4043 from ra2-checker to main:

This requires bytecodealliance/regalloc2#43, and is stacked on top of
PR #4042, a bug that this integration helped to find.

With these fixes, all this PR has to do is instantiate and run the
checker on the regalloc2::Output. This is off by default, and is
enabled by setting the regalloc_checker Cranelift option.

This restores the old functionality provided by e.g. the
backtracking_checked regalloc algorithm setting rather than
backtracking when we were still on regalloc.rs.

CI will fail as this refers to a local checkout path for regalloc2;
I will update that once bytecodealliance/regalloc2#43 merges
and we can make a release with it.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 16 2022 at 03:23):

cfallin requested fitzgen for a review on PR #4043.

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

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 18 2022 at 20:29):

cfallin updated PR #4043 from ra2-checker to main.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 18 2022 at 21:06):

cfallin merged PR #4043.

Last updated: Nov 22 2024 at 16:03 UTC