Stream: git-wasmtime

Topic: wasmtime / PR #13948 winch(aarch64): v128 ABI plumbing

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 19:01):

macovedj opened PR #13948 from macovedj:winch-aarch64-v128-abi to bytecodealliance:main:

While observing which tests flip as we add simd instructions for https://github.com/bytecodealliance/wasmtime/issues/9925, it became clear that while the instructions become usable, the simd types still error Unsupported Wasm Type when they appear in function signatures. I was able to reproduce the logic in to_abi_operand from the x64 implementation to use vector registers and larger stack slots for V128. This removes the error from the included .wat files, and flips a number of tests that should have flipped from the simd instructions that have been implemented so far.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 19:01):

macovedj requested cfallin for a review on PR #13948.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 19:01):

macovedj requested wasmtime-compiler-reviewers for a review on PR #13948.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 19:01):

macovedj requested wasmtime-core-reviewers for a review on PR #13948.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 19:31):

:thumbs_up: cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 19:31):

cfallin added PR #13948 winch(aarch64): v128 ABI plumbing to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 19:57):

github-merge-queue[bot] removed PR #13948 winch(aarch64): v128 ABI plumbing from the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 20:52):

alexcrichton added PR #13948 winch(aarch64): v128 ABI plumbing to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 21:03):

github-actions[bot] added the label winch on PR #13948.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 21:04):

github-actions[bot] commented on PR #13948:

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:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 21:18):

github-merge-queue[bot] removed PR #13948 winch(aarch64): v128 ABI plumbing from the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 21:36):

alexcrichton commented on PR #13948:

ok that one ^ seems legitimate (unlike so many others :cry:)

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 22:18):

macovedj updated PR #13948.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 23 2026 at 23:44):

alexcrichton added PR #13948 winch(aarch64): v128 ABI plumbing to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 24 2026 at 00:09):

:check: alexcrichton merged PR #13948.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 24 2026 at 00:09):

alexcrichton removed PR #13948 winch(aarch64): v128 ABI plumbing from the merge queue.

Last updated: Jul 29 2026 at 05:03 UTC