alexcrichton opened PR #10825 from alexcrichton:x64-lane-instructions to bytecodealliance:main:
This was mostly straightforward but ended up requiring handling for a new style of instruction not previously before-seen: a write-only
GprMemoperand. This needed some extra treatment/helpers in the ISLE integration to ensure that this was all hooked up correctly from ISLE constructors down to the assembler instructions.<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
alexcrichton requested wasmtime-compiler-reviewers for a review on PR #10825.
alexcrichton requested abrown for a review on PR #10825.
alexcrichton updated PR #10825.
alexcrichton updated PR #10825.
github-actions[bot] commented on PR #10825:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:x64", "cranelift:meta", "isle"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: isle
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
abrown submitted PR review:
Let's do it! I struggled a bit over how this emits ISLE for write-only reg-mem operands; when and how we are emitting certain things can get a bit confusing (e.g., how we're intermixing this all with the trap codes). I concluded, though, that this is creating the constructors we would expect, even if it isn't particularly clear. And we can always refactor this later. Thanks for figuring this stuff out!
abrown merged PR #10825.
Last updated: Dec 06 2025 at 06:05 UTC