macovedj opened PR #13911 from macovedj:winch-aarch64-v128-const to bytecodealliance:main:
This pr adds support for v128.const to winch for aarch64.
I'd like to tackle the larger list of missing SIMD support, and figured I should start with something small.
In
mov_irthe v128 immediate takes theadd_constantpath rather than the emit path since that's what the x64 backend does for these load_fp_const.If this goes through I could go ahead and tackle the rest of v128, followed by the others.
macovedj requested cfallin for a review on PR #13911.
macovedj requested wasmtime-core-reviewers for a review on PR #13911.
macovedj requested wasmtime-compiler-reviewers for a review on PR #13911.
:thumbs_up: cfallin submitted PR review:
LGTM, thanks!
There's a warning now about the now-unused
UnsupportedImmerror -- CI should be green once that's removed, then I'm happy to merge.
macovedj updated PR #13911.
macovedj commented on PR #13911:
LGTM, thanks!
There's a warning now about the now-unused
UnsupportedImmerror -- CI should be green once that's removed, then I'm happy to merge.Thanks! Hope to have some more up soon!
github-actions[bot] added the label winch on PR #13911.
github-actions[bot] commented on PR #13911:
Subscribe to Label Action
cc @saulecabrera
<details>
This issue or pull request has been labeled: "winch"Thus the following users have been cc'd because of the following labels:
- saulecabrera: winch
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
cfallin added PR #13911 winch(aarch64): add v128.const support to the merge queue.
github-merge-queue[bot] removed PR #13911 winch(aarch64): add v128.const support from the merge queue.
macovedj updated PR #13911.
macovedj commented on PR #13911:
Looks like there was another CI failure from expecting
v128_load_lane_invalid_addressto fail, which passes withv128.constsupport. Getting rid of the blanket simd should-fail check only required adding two additional tests to the unsupported list, so I figured the change I push lets me remove expected failures from the unsupported list as I go.
macovedj edited a comment on PR #13911:
Looks like there was another CI failure from expecting
v128_load_lane_invalid_addressto fail, which passes withv128.constsupport. Getting rid of the blanket simd should-fail check only required adding two additional tests to the unsupported list, so I figured the change I pushed lets me remove expected failures from the unsupported list as I go.
cfallin added PR #13911 winch(aarch64): add v128.const support to the merge queue.
github-merge-queue[bot] removed PR #13911 winch(aarch64): add v128.const support from the merge queue.
macovedj updated PR #13911.
macovedj commented on PR #13911:
Looks like the simd check is also used by other test suites. Removing it caused a couple of
tests/allwinch tests to fail in the merge queue. Added it back and moved the wast exceptions to anow_supportedlist instead. As far as I can tell there's no way to avoid keeping that list and manually moving items over fromunsupportedas they start passing, but happy to change the approach if there's a better one.
:thumbs_up: cfallin submitted PR review:
test-runner fixes LGTM; thanks!
cfallin added PR #13911 winch(aarch64): add v128.const support to the merge queue.
:check: cfallin merged PR #13911.
cfallin removed PR #13911 winch(aarch64): add v128.const support from the merge queue.
Last updated: Jul 29 2026 at 05:03 UTC