Stream: git-wasmtime

Topic: wasmtime / PR #12843 pulley: fix XDiv32U opcode in xdiv32...

Wasmtime GitHub notifications bot (Mar 26 2026 at 00:37):

cuiweixie opened PR #12843 from cuiweixie:fix/pulley-xdiv32u-trap-opcode to bytecodealliance:main:

Summary

Fix a copy-paste bug in the Pulley interpreter: xdiv32_u reported divide-by-zero traps with the wrong opcode type parameter (XDiv64U instead of XDiv32U).

Testing

• Change is a one-line opcode fix aligned with xdiv64_u and other 32-bit ops; no behavioral change to trapping itself beyond correct trap metadata.

Wasmtime GitHub notifications bot (Mar 26 2026 at 00:37):

cuiweixie requested cfallin for a review on PR #12843.

Wasmtime GitHub notifications bot (Mar 26 2026 at 00:37):

cuiweixie requested wasmtime-default-reviewers for a review on PR #12843.

Wasmtime GitHub notifications bot (Mar 26 2026 at 04:36):

github-actions[bot] added the label pulley on PR #12843.

Wasmtime GitHub notifications bot (Mar 26 2026 at 04:37):

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

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "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 (Mar 26 2026 at 15:29):

cfallin submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Mar 26 2026 at 15:29):

cfallin added PR #12843 pulley: fix XDiv32U opcode in xdiv32_u divide-by-zero trap to the merge queue.

Wasmtime GitHub notifications bot (Mar 26 2026 at 16:02):

cfallin merged PR #12843.

Wasmtime GitHub notifications bot (Mar 26 2026 at 16:02):

cfallin removed PR #12843 pulley: fix XDiv32U opcode in xdiv32_u divide-by-zero trap from the merge queue.

Last updated: Apr 12 2026 at 23:10 UTC