Wasmtime GitHub notifications bot (Oct 08 2020 at 16:28): Wasmtime GitHub notifications bot (Oct 08 2020 at 16:28):bnjbvr opened PR #2283 from x64-opt-heuristic to main:
This is split off #2277 (one commit on top of the two others) because it doesn't work as good as expected on simple test cases; i think the estimated use count should be taken into account first, before we use the vreg id heuristic. Also, we could use a better heuristic. Leaving the PR here in case somebody wants to pick it up.
cc @julian-seward1 @cfallin
Wasmtime GitHub notifications bot (Oct 04 2021 at 09:13):bnjbvr closed without merge PR #2283.
Last updated: Oct 23 2024 at 20:03 UTC