winch: Aarch64 MacroAssembler completeness

[saulecabrera]

Winch's support for Aarch64 is minimal. The objective of this issue to track the missing items in order to bring the Aarch64 MacroAssembler to parity with the x64 implementation.

If you're interested in taking on any of the elements below, please add your name beside it to signal that you're actively working on it (if you don't have permission to edit this issue, feel free to reach out via Zulip).

• Stack checks ( check_stack)
• address_from_sp
• address_at_sp
• address_at_vmctx
• wasm_store
• wasm_load
• call
• load_ptr
• load_addr
• pop
• cmov
• checked_uadd
• float_add (@evacchi)
• float_sub(@evacchi)
• float_mul(@evacchi)
• float_div(@evacchi)
• float_min(@evacchi)
• float_max(@evacchi)
• float_copysign (@evacchi)
• float_neg (@evacchi)
• float_abs (@evacchi)
• float_round(@evacchi)
• float_sqrt(@evacchi)
• and
• or
• xor
• shift
• div
• rem
• zero
• popcnt
• unsigned_truncate
• signed_convert
• unsigned_convert
• reinterpret_float_as_int
• reinterpret_int_as_float
• demote
• promote
• cmp
• cmp_with_set
• clz
• ctz
• wrap
• extend
• branch
• jmp
• unreachable
• jmp_table
• trap
• trapz
• trapif

[github-actions]

Subscribe to Label Action

cc @saulecabrera

This issue or pull request has been labeled: "winch"

Thus the following users have been cc'd because of the following labels:

• saulecabrera: winch

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

Learn more.

[lpereira]

Sorry for looking at this only now -- but I should have some of these instructions implemented soon. I've been caught up with other things but want to resume work on this ASAP.

[fitzgen]

@lpereira to prevent accidental duplication of work and to help minimize conflicts and the need for rebases, could you edit the OP issue to add your name next to the instructions you're currently working on implementing? Thanks!