Stream: git-wasmtime

Topic: wasmtime / PR #9793 pulley: Flesh out conditional registers

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 20:36):

alexcrichton opened PR #9793 from alexcrichton:pulley-condition-32-bit to bytecodealliance:main:

This commit redefines previous Pulley instructions working with
conditional values and results to always operate on the low 32-bits of a
register rather than the full 64-bit width of integer registers. This
should help 32-bit platforms work with just a word and avoid an
extraneous load of top bits that are likely always zero.

The previous br_if and br_if_not instructions now have a "32" suffix
to make it clear that they're only operating on 32-bit register widths.
Additionally the xeq32 family of instructions (compare-and-set) now
all only define the low 32-bits of the destination register.

Finally, lowerings of select in CLIF were added for integer and
floating-point registers.

cc https://github.com/bytecodealliance/wasmtime/issues/9783

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 20:36):

alexcrichton requested fitzgen for a review on PR #9793.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 20:36):

alexcrichton requested wasmtime-compiler-reviewers for a review on PR #9793.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 20:36):

alexcrichton requested wasmtime-core-reviewers for a review on PR #9793.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 20:36):

alexcrichton requested wasmtime-default-reviewers for a review on PR #9793.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 20:59):

alexcrichton updated PR #9793.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 22:46):

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

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "pulley"

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 (Dec 11 2024 at 23:03):

abrown submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 11 2024 at 23:49):

alexcrichton merged PR #9793.

Last updated: Jan 09 2026 at 13:15 UTC