alexcrichton opened PR #9861 from alexcrichton:pulley-more-immediates to bytecodealliance:main:
This commit adds immediate payloads to the following instructions:
xmul32-xmul32_s8/xmul32_s32xmul64-xmul64_s8/xmul64_s32xband32-xband32_s8/xband32_s32xband64-xband64_s8/xband64_s32xbor32-xbor32_s8/xbor32_s32xbor64-xbor64_s8/xbor64_s32xbxor32-xbxor32_s8/xbxor32_s32xbxor64-xbxor64_s8/xbxor64_s32xshl32-xshl32_u6xshl64-xshl64_u6xshr32_u-xshl32_u_u6xshr64_u-xshl64_u_u6xshr32_s-xshl32_s_u6xshr64_s-xshl64_s_u6For shifts there's no need to have 32-bit immediates (or even 8-bit) since 6 bits is enough to encode all the immediates. This means that the 6-bit immediate is packed within
BinaryOperandsas a newU6type.This commit unfortunately does not shrink
spidermonkey.cwasmsignificantly beyond the prior 29M. This is nevertheless expected to be relatively important for performance.<!--
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 abrown for a review on PR #9861.
alexcrichton requested wasmtime-compiler-reviewers for a review on PR #9861.
alexcrichton requested wasmtime-default-reviewers for a review on PR #9861.
github-actions[bot] commented on PR #9861:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:meta", "isle", "pulley"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: isle, pulley
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
fitzgen submitted PR review:
Nice!
alexcrichton updated PR #9861.
alexcrichton has enabled auto merge for PR #9861.
alexcrichton merged PR #9861.
Last updated: Dec 13 2025 at 19:03 UTC