wasmtime / issue #8321 winch(aarch64): MacroAssembler com... · git-wasmtime

Stream: git-wasmtime

Topic: wasmtime / issue #8321 winch(aarch64): MacroAssembler com...

Wasmtime GitHub notifications bot (Jan 05 2025 at 17:39):

saulecabrera edited issue #8321:

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) (@saulecabrera)

[x] address_from_sp (@vulc41n)

[x] address_at_sp(@vulc41n)

[x] address_at_vmctx (@MarinPostma)

[x] wasm_store (@vulc41n)

[x] wasm_load (@vulc41n)

[x] call (@MarinPostma)

[x] load_ptr

[x] load_addr

[x] pop (@vulc41n)

[x] cmov (@vulc41n)

[x] checked_uadd (@vulc41n)

[x] float_add (@evacchi)

[x] float_sub(@evacchi)

[x] float_mul(@evacchi)

[x] float_div(@evacchi)

[x] float_min(@evacchi)

[x] float_max(@evacchi)

[x] float_copysign (@evacchi)

[x] float_neg (@evacchi)

[x] float_abs (@evacchi)

[x] float_round(@evacchi)

[x] float_sqrt(@evacchi)

[x] and(@evacchi)

[x] or(@evacchi)

[x] xor(@evacchi)

[x] shift(@evacchi)

[x] div (@MarinPostma)

[x] rem (@MarinPostma)

[x] zero (@saulecabrera)

[x] popcnt (@vulc41n)

[x] unsigned_truncate (@MarinPostma)

[x] unsigned_truncate (@MarinPostma)

[x] signed_convert (@minirop)

[x] unsigned_convert (@minirop)

[x] reinterpret_float_as_int (@minirop)

[x] reinterpret_int_as_float (@minirop)

[x] demote (@vulc41n)

[x] promote (@vulc41n)

[x] cmp (@vulc41n)

[x] cmp_with_set (@vulc41n)

[x] clz (@vulc41n)

[x] ctz (@vulc41n)

[x] wrap (@vulc41n)

[x] extend (@vulc41n)

[x] branch (@vulc41n)

[x] jmp (@vulc41n)

[x] unreachable (@vulc41n)

[x] jmp_table (@vulc41n)

[x] trap (@vulc41n)

[x] trapz (@vulc41n)

[x] trapif (@vulc41n)

Wasmtime GitHub notifications bot (May 13 2025 at 18:36):

saulecabrera edited issue #8321:

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

[x] Stack checks ( check_stack) (@saulecabrera)

[x] address_from_sp (@vulc41n)

[x] address_at_sp(@vulc41n)

[x] address_at_vmctx (@MarinPostma)

[x] wasm_store (@vulc41n)

[x] wasm_load (@vulc41n)

[x] call (@MarinPostma)

[x] load_ptr

[x] load_addr

[x] pop (@vulc41n)

[x] cmov (@vulc41n)

[x] checked_uadd (@vulc41n)

[x] float_add (@evacchi)

[x] float_sub(@evacchi)

[x] float_mul(@evacchi)

[x] float_div(@evacchi)

[x] float_min(@evacchi)

[x] float_max(@evacchi)

[x] float_copysign (@evacchi)

[x] float_neg (@evacchi)

[x] float_abs (@evacchi)

[x] float_round(@evacchi)

[x] float_sqrt(@evacchi)

[x] and(@evacchi)

[x] or(@evacchi)

[x] xor(@evacchi)

[x] shift(@evacchi)

[x] div (@MarinPostma)

[x] rem (@MarinPostma)

[x] zero (@saulecabrera)

[x] popcnt (@vulc41n)

[x] unsigned_truncate (@MarinPostma)

[x] unsigned_truncate (@MarinPostma)

[x] signed_convert (@minirop)

[x] unsigned_convert (@minirop)

[x] reinterpret_float_as_int (@minirop)

[x] reinterpret_int_as_float (@minirop)

[x] demote (@vulc41n)

[x] promote (@vulc41n)

[x] cmp (@vulc41n)

[x] cmp_with_set (@vulc41n)

[x] clz (@vulc41n)

[x] ctz (@vulc41n)

[x] wrap (@vulc41n)

[x] extend (@vulc41n)

[x] branch (@vulc41n)

[x] jmp (@vulc41n)

[x] unreachable (@vulc41n)

[x] jmp_table (@vulc41n)

[x] trap (@vulc41n)

[x] trapz (@vulc41n)

[x] trapif (@vulc41n)

Wasmtime GitHub notifications bot (May 13 2025 at 18:37):

saulecabrera edited issue #8321:

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

[ ] Ensure that all spec tests are passing (@saulecabrera)

[x] Stack checks ( check_stack) (@graydon)

[x] address_from_sp (@vulc41n)

[x] address_at_sp(@vulc41n)

[x] address_at_vmctx (@MarinPostma)

[x] wasm_store (@vulc41n)

[x] wasm_load (@vulc41n)

[x] call (@MarinPostma)

[x] load_ptr

[x] load_addr

[x] pop (@vulc41n)

[x] cmov (@vulc41n)

[x] checked_uadd (@vulc41n)

[x] float_add (@evacchi)

[x] float_sub(@evacchi)

[x] float_mul(@evacchi)

[x] float_div(@evacchi)

[x] float_min(@evacchi)

[x] float_max(@evacchi)

[x] float_copysign (@evacchi)

[x] float_neg (@evacchi)

[x] float_abs (@evacchi)

[x] float_round(@evacchi)

[x] float_sqrt(@evacchi)

[x] and(@evacchi)

[x] or(@evacchi)

[x] xor(@evacchi)

[x] shift(@evacchi)

[x] div (@MarinPostma)

[x] rem (@MarinPostma)

[x] zero (@saulecabrera)

[x] popcnt (@vulc41n)

[x] unsigned_truncate (@MarinPostma)

[x] unsigned_truncate (@MarinPostma)

[x] signed_convert (@minirop)

[x] unsigned_convert (@minirop)

[x] reinterpret_float_as_int (@minirop)

[x] reinterpret_int_as_float (@minirop)

[x] demote (@vulc41n)

[x] promote (@vulc41n)

[x] cmp (@vulc41n)

[x] cmp_with_set (@vulc41n)

[x] clz (@vulc41n)

[x] ctz (@vulc41n)

[x] wrap (@vulc41n)

[x] extend (@vulc41n)

[x] branch (@vulc41n)

[x] jmp (@vulc41n)

[x] unreachable (@vulc41n)

[x] jmp_table (@vulc41n)

[x] trap (@vulc41n)

[x] trapz (@vulc41n)

[x] trapif (@vulc41n)

Wasmtime GitHub notifications bot (Jun 12 2025 at 19:33):

saulecabrera edited issue #8321:

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

[x] Ensure that all spec tests are passing (@saulecabrera)

[x] Stack checks ( check_stack) (@graydon)

[x] address_from_sp (@vulc41n)

[x] address_at_sp(@vulc41n)

[x] address_at_vmctx (@MarinPostma)

[x] wasm_store (@vulc41n)

[x] wasm_load (@vulc41n)

[x] call (@MarinPostma)

[x] load_ptr

[x] load_addr

[x] pop (@vulc41n)

[x] cmov (@vulc41n)

[x] checked_uadd (@vulc41n)

[x] float_add (@evacchi)

[x] float_sub(@evacchi)

[x] float_mul(@evacchi)

[x] float_div(@evacchi)

[x] float_min(@evacchi)

[x] float_max(@evacchi)

[x] float_copysign (@evacchi)

[x] float_neg (@evacchi)

[x] float_abs (@evacchi)

[x] float_round(@evacchi)

[x] float_sqrt(@evacchi)

[x] and(@evacchi)

[x] or(@evacchi)

[x] xor(@evacchi)

[x] shift(@evacchi)

[x] div (@MarinPostma)

[x] rem (@MarinPostma)

[x] zero (@saulecabrera)

[x] popcnt (@vulc41n)

[x] unsigned_truncate (@MarinPostma)

[x] unsigned_truncate (@MarinPostma)

[x] signed_convert (@minirop)

[x] unsigned_convert (@minirop)

[x] reinterpret_float_as_int (@minirop)

[x] reinterpret_int_as_float (@minirop)

[x] demote (@vulc41n)

[x] promote (@vulc41n)

[x] cmp (@vulc41n)

[x] cmp_with_set (@vulc41n)

[x] clz (@vulc41n)

[x] ctz (@vulc41n)

[x] wrap (@vulc41n)

[x] extend (@vulc41n)

[x] branch (@vulc41n)

[x] jmp (@vulc41n)

[x] unreachable (@vulc41n)

[x] jmp_table (@vulc41n)

[x] trap (@vulc41n)

[x] trapz (@vulc41n)

[x] trapif (@vulc41n)

Wasmtime GitHub notifications bot (Jun 16 2025 at 13:58):

saulecabrera closed issue #8321:

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

[x] Ensure that all spec tests are passing (@saulecabrera)

[x] Stack checks ( check_stack) (@graydon)

[x] address_from_sp (@vulc41n)

[x] address_at_sp(@vulc41n)

[x] address_at_vmctx (@MarinPostma)

[x] wasm_store (@vulc41n)

[x] wasm_load (@vulc41n)

[x] call (@MarinPostma)

[x] load_ptr

[x] load_addr

[x] pop (@vulc41n)

[x] cmov (@vulc41n)

[x] checked_uadd (@vulc41n)

[x] float_add (@evacchi)

[x] float_sub(@evacchi)

[x] float_mul(@evacchi)

[x] float_div(@evacchi)

[x] float_min(@evacchi)

[x] float_max(@evacchi)

[x] float_copysign (@evacchi)

[x] float_neg (@evacchi)

[x] float_abs (@evacchi)

[x] float_round(@evacchi)

[x] float_sqrt(@evacchi)

[x] and(@evacchi)

[x] or(@evacchi)

[x] xor(@evacchi)

[x] shift(@evacchi)

[x] div (@MarinPostma)

[x] rem (@MarinPostma)

[x] zero (@saulecabrera)

[x] popcnt (@vulc41n)

[x] unsigned_truncate (@MarinPostma)

[x] unsigned_truncate (@MarinPostma)

[x] signed_convert (@minirop)

[x] unsigned_convert (@minirop)

[x] reinterpret_float_as_int (@minirop)

[x] reinterpret_int_as_float (@minirop)

[x] demote (@vulc41n)

[x] promote (@vulc41n)

[x] cmp (@vulc41n)

[x] cmp_with_set (@vulc41n)

[x] clz (@vulc41n)

[x] ctz (@vulc41n)

[x] wrap (@vulc41n)

[x] extend (@vulc41n)

[x] branch (@vulc41n)

[x] jmp (@vulc41n)

[x] unreachable (@vulc41n)

[x] jmp_table (@vulc41n)

[x] trap (@vulc41n)

[x] trapz (@vulc41n)

[x] trapif (@vulc41n)

Last updated: Dec 13 2025 at 21:03 UTC