Stream: git-wasmtime

Topic: wasmtime / PR #10100 pulley: Optimize bounds-checks for 1...

Wasmtime GitHub notifications bot (Jan 24 2025 at 15:41):

alexcrichton opened PR #10100 from alexcrichton:pulley-8bit-xbc to bytecodealliance:main:

These have a different pattern than N-byte loads/stores where the condition being tested is a >= b which doesn't match the pattern for N-byte loads/stores with a > b - N. This commit adds dedicated opcodes to Pulley for this pattern to help optimize single-byte loads/stores.

<!--
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.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

Wasmtime GitHub notifications bot (Jan 24 2025 at 15:41):

alexcrichton requested abrown for a review on PR #10100.

Wasmtime GitHub notifications bot (Jan 24 2025 at 15:41):

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

Wasmtime GitHub notifications bot (Jan 24 2025 at 15:41):

alexcrichton requested dicej for a review on PR #10100.

Wasmtime GitHub notifications bot (Jan 24 2025 at 15:41):

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

Wasmtime GitHub notifications bot (Jan 24 2025 at 15:41):

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

Wasmtime GitHub notifications bot (Jan 24 2025 at 16:45):

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

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:

• fitzgen: pulley

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

Learn more.
</details>

Wasmtime GitHub notifications bot (Jan 24 2025 at 23:19):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Jan 24 2025 at 23:46):

fitzgen merged PR #10100.

Last updated: Feb 28 2025 at 02:27 UTC