cfallin opened PR #4324 from ra2-better-clobbers-and-less-splitting
to main
:
Handle call instructions' clobbers with the clobbers API, using RA2's
clobbers bitmask (bytecodealliance/regalloc2#58) rather than clobbers
list;Pull in changes from bytecodealliance/regalloc2#59 for much more sane
edge-case behavior w.r.t. liverange splitting.Currently refers to local path for RA2 so will fail CI; I will update
this once RA2 PRs 58 and 59 are merged, version-bumped and released.Fixes #4291.
<!--
Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
cfallin requested alexcrichton for a review on PR #4324.
cfallin requested fitzgen for a review on PR #4324.
alexcrichton submitted PR review.
alexcrichton created PR review comment:
If you've got a git branch/rev to point this to that might be good to use here to turn the crank on Wasmtime's CI to ensure it's green ahead of time.
alexcrichton submitted PR review.
akirilov-arm submitted PR review.
akirilov-arm submitted PR review.
akirilov-arm created PR review comment:
This is potentially incorrect - the upper 64 bits of
q15
might be clobbered by the call on line 196 (or any other until line 203); similarly for the other values produced in the function.
akirilov-arm created PR review comment:
Ditto.
cfallin submitted PR review.
cfallin created PR review comment:
Ah, I must have transcribed the clobber details in the ABI incorrectly -- thanks, will take a look!
cfallin updated PR #4324 from ra2-better-clobbers-and-less-splitting
to main
.
cfallin updated PR #4324 from ra2-better-clobbers-and-less-splitting
to main
.
cfallin updated PR #4324 from ra2-better-clobbers-and-less-splitting
to main
.
cfallin created PR review comment:
OK, I simply missed a comment about handling of
v8
-v15
and mistakenly omitted them from the new clobber lists. Added back, and now we have zero filetest diffs frommain
in this PR. Thanks for catching this!
cfallin submitted PR review.
cfallin submitted PR review.
cfallin created PR review comment:
Also fixed as above.
cfallin submitted PR review.
cfallin created PR review comment:
Updated to published crate now (I'll use this trick when I'm less lazy in the future though!).
cfallin has marked PR #4324 as ready for review.
cfallin updated PR #4324 from ra2-better-clobbers-and-less-splitting
to main
.
alexcrichton submitted PR review.
cfallin submitted PR review.
akirilov-arm submitted PR review.
cfallin merged PR #4324.
Last updated: Dec 23 2024 at 13:07 UTC