Stream: git-wasmtime

Topic: wasmtime / PR #10845 asm: refactor VEX implementation


view this post on Zulip Wasmtime GitHub notifications bot (May 27 2025 at 22:41):

abrown opened PR #10845 from abrown:asm-vex-continued to bytecodealliance:main:

This change adapts the current VEX logic implemented in #10754 to look more like the current infrastructure. To do so:

On the DSL side, this significantly changes how one defines VEX instructions. Many helper methods are added and now documented. It also makes use of a slightly unrelated change included here: I factored out how any encoding can affect the ModR/M byte with ModRmKind. This enum forces the DSL to pick only one of /r or /digit when defining instructions.

<!--
Please make sure you include the following information:

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
-->

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2025 at 22:41):

abrown requested cfallin for a review on PR #10845.

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2025 at 22:41):

abrown requested wasmtime-compiler-reviewers for a review on PR #10845.

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2025 at 22:53):

cfallin created PR review comment:

Could we define a WBit (or pick your favorite name) enum here with WIG/W0/W1?

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2025 at 22:53):

cfallin submitted PR review:

Looks reasonable!

view this post on Zulip Wasmtime GitHub notifications bot (May 28 2025 at 16:41):

abrown updated PR #10845.

view this post on Zulip Wasmtime GitHub notifications bot (May 28 2025 at 16:43):

abrown has enabled auto merge for PR #10845.

view this post on Zulip Wasmtime GitHub notifications bot (May 28 2025 at 17:15):

abrown merged PR #10845.


Last updated: Dec 06 2025 at 07:03 UTC