Stream: git-wasmtime

Topic: wasmtime / PR #11576 pulley: Implement support for `symbo...

Wasmtime GitHub notifications bot (Aug 30 2025 at 00:30):

alexcrichton opened PR #11576 from alexcrichton:pulley-relocations-for-real to bytecodealliance:main:

This commit fills out the Pulley lowerings of the symbol_value and func_addr CLIF instructions. Additionally handling of relocations on Pulley is improved to be more "formal" as opposed to just blindly using an x64 relocation and assuming it works out. The intention here is to make Pulley behave more similarly to other platforms in all these respects while also enabling usage of Wasmtime to eventually use symbol_addr to calculate an address relative to the current PC (similar to x64).

This includes Cranelift golden tests as well as more filetests being run, but the actual integration into Wasmtime will be deferred to a future commit.

<!--
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 (Aug 30 2025 at 00:30):

alexcrichton requested abrown for a review on PR #11576.

Wasmtime GitHub notifications bot (Aug 30 2025 at 00:30):

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

Wasmtime GitHub notifications bot (Aug 30 2025 at 00:30):

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

Wasmtime GitHub notifications bot (Aug 30 2025 at 03:02):

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

Subscribe to Label Action

cc @cfallin, @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "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>

Wasmtime GitHub notifications bot (Sep 02 2025 at 18:19):

alexcrichton updated PR #11576.

Wasmtime GitHub notifications bot (Sep 02 2025 at 20:54):

abrown submitted PR review.

Wasmtime GitHub notifications bot (Sep 02 2025 at 21:17):

abrown merged PR #11576.

Last updated: Dec 06 2025 at 07:03 UTC