Stream: git-wasmtime

Topic: wasmtime / PR #14789 Cranelift: ISLE: veri: add vector ca...

view this post on Zulip Wasmtime GitHub notifications bot (Oct 16 2026 at 19:20):

avanhatt opened PR #14789 from avanhatt:veri-simd-canary to bytecodealliance:main:

Add support in the ISLE verifier for SIMD types with explicit lane counts. This allows us to catch ISLE rules that should exclude vector types but do not (e.g., #14566, #14631, #14701).

Introduce lanemap and similar forms into the ISLE spec lang, update CLIF terms to use these to indicate when specs apply per lane (e.g., iadd does not carry between lanes), add support for vector types into inference and the verifier. Add new veri filetests.

Note the Type model change alters most SMT queries, so this will be slow on the CI cache.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 16 2026 at 21:44):

github-actions[bot] added the label cranelift on PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 16 2026 at 21:44):

github-actions[bot] added the label isle on PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 16 2026 at 21:44):

github-actions[bot] added the label cranelift:area:aarch64 on PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 16 2026 at 21:45):

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

Subscribe to Label Action

cc @avanhatt, @cfallin, @fitzgen, @mmcloughlin

<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:aarch64", "isle"

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 (Oct 19 2026 at 14:28):

avanhatt updated PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2026 at 20:43):

avanhatt has marked PR #14789 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2026 at 20:43):

avanhatt requested alexcrichton for a review on PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2026 at 20:43):

avanhatt requested wasmtime-compiler-reviewers for a review on PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2026 at 20:43):

avanhatt removed the review request for wasmtime-compiler-reviewers from PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2026 at 21:43):

alexcrichton removed the review request for alexcrichton from PR #14789.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2026 at 21:43):

alexcrichton requested cfallin for a review on PR #14789.

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

:thumbs_up: cfallin submitted PR review:

LGTM -- thanks!

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

cfallin added PR #14789 Cranelift: ISLE: veri: add vector canary types to catch missing guards to the merge queue.

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

cfallin removed PR #14789 Cranelift: ISLE: veri: add vector canary types to catch missing guards from the merge queue.

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

:check: cfallin merged PR #14789.

Last updated: Oct 31 2026 at 23:03 UTC