Add AArch64 JIT backend - #956

Open

Pign wants to merge 31 commits into

HaxeFoundation:masterfrom

Pign:up/arm64-jit

Commits on Jul 14, 2026

Add AArch64 JIT backend (bring-up)

Pign
and
claude
committed
5bfea5c
arm64: Wire C2HL trampoline so empty.hl exits 0

Pign
and
claude
committed
47be740
arm64: Spill args on entry + add OSafeCast/OType/OGetType/OCallMethod and a batch of memory ops

Pign
and
claude
committed
b64381d
arm64: Sys.println(42) works — fix OString, add OGetArray/OSetArray, OToDyn

Pign
and
claude
committed
4c95745
arm64: trace() works — add ODynGet/Set, OToVirtual, OToInt, OStaticClosure, OCallClosure, OField/HVIRTUAL

Pign
and
claude
committed
1e046e6
arm64: try/catch + switch + enum-index — 10 test programs all pass

Pign
and
claude
committed
6665a51
arm64: Enum support — OEnumAlloc/MakeEnum/EnumField/SetEnumField

Pign
and
claude
committed
90344a8
arm64: OCallMethod on HVIRTUAL — fast-path vtable hit + hl_dyn_call_obj fallback

Pign
and
claude
committed
d6b6dd9
arm64: Fix OField/SetField/GetThis/SetThis writing/reading 8 bytes for sub-word fields

Pign
and
claude
committed
7dc0485
arm64: Closures with captures + Iterator<T> via HVIRTUAL fallback

Pign
and
claude
committed
14291f2
arm64: Fix signed comparison + HVIRTUAL OSetField — quicksort, anonymous structs work

Pign
and
claude
committed
df83caa
arm64: OToSFloat/OToUFloat + FCVT D↔S + FCVTZS single-prec — Json parse/stringify works

Pign
and
claude
committed
a364cf7
arm64: FP compare + fmod — 6/7 official HashLink benchmarks now pass exactly

Pign
and
claude
committed
a111404
arm64: hl_jit_thread_init for MAP_JIT W^X per-thread state

Pign
and
claude
committed
781f951
arm64: ONeg on FP uses FNEG — fixes NBodies and unblocks any float negation

Pign
and
claude
committed
6445491
arm64: Peephole register cache between load_vreg/store_vreg

Pign
and
claude
committed
57ca5b3
arm64: OField/SetField/GetThis/SetThis use LDR/STR imm12 directly when offset fits

Pign
and
claude
committed
da2ecde
arm64: OAssert + OPrefetch — Heaps SDL2 window app runs

Pign
and
claude
committed
5859d4b
arm64: Clean up OAssert debug instrumentation

Pign
and
claude
committed
a79ffb9
arm64: op_jump_compare on HDYN/HFUN/HNULL — call hl_dyn_compare

Pign
and
claude
committed
b75be9a
arm64: op_jump_compare on HOBJ with compareFun — String == String works

Pign
and
claude
committed
c61a536
arm64: OTrap — drop x19 clobber that broke callee-saved invariant
Pign
committed
990d320
arm64: implement OVirtualClosure, ORefData, ORefOffset
Pign
committed
c927fe7
arm64: handle > 8 args at entry and stash-aware overflow at call sites
Pign
committed
2c2c2f9
arm64: OCallClosure HDYN — hl_dyn_call + hl_dyn_castX result
Pign
committed
fdd608e
arm64: OGetArray/OSetArray HABSTRACT — raw memory arrays
Pign
committed
31c0a46
arm64: ONullCheck calls hl_null_access; OToUFloat covers HBOOL/HI64
Pign
committed
8119acb
arm64: per-register ownership cache replaces single-slot peephole
Pign
committed
48ded5a
arm64: disable ownership cache by default on Android
Pign
committed
d2363c2
arm64: drop cross-reg MOV from load_vreg cache — fixes Heaps h2d on Android
Pign
committed
e3fc208
arm64: trim comments to match jit.c density
Pign
committed
dd2ccfa

Navigation Menu

Uh oh!

Add AArch64 JIT backend - #956

Add AArch64 JIT backend#956
Pign wants to merge 31 commits into
HaxeFoundation:masterfrom
Pign:up/arm64-jit

Commits on Jul 14, 2026

Add AArch64 JIT backend (bring-up)

arm64: Wire C2HL trampoline so empty.hl exits 0

arm64: Spill args on entry + add OSafeCast/OType/OGetType/OCallMethod and a batch of memory ops

arm64: Sys.println(42) works — fix OString, add OGetArray/OSetArray, OToDyn

arm64: trace() works — add ODynGet/Set, OToVirtual, OToInt, OStaticClosure, OCallClosure, OField/HVIRTUAL

arm64: try/catch + switch + enum-index — 10 test programs all pass

arm64: Enum support — OEnumAlloc/MakeEnum/EnumField/SetEnumField

arm64: OCallMethod on HVIRTUAL — fast-path vtable hit + hl_dyn_call_obj fallback

arm64: Fix OField/SetField/GetThis/SetThis writing/reading 8 bytes for sub-word fields

arm64: Closures with captures + Iterator<T> via HVIRTUAL fallback

arm64: Fix signed comparison + HVIRTUAL OSetField — quicksort, anonymous structs work

arm64: OToSFloat/OToUFloat + FCVT D↔S + FCVTZS single-prec — Json parse/stringify works

arm64: FP compare + fmod — 6/7 official HashLink benchmarks now pass exactly

arm64: hl_jit_thread_init for MAP_JIT W^X per-thread state

arm64: ONeg on FP uses FNEG — fixes NBodies and unblocks any float negation

arm64: Peephole register cache between load_vreg/store_vreg

arm64: OField/SetField/GetThis/SetThis use LDR/STR imm12 directly when offset fits

arm64: OAssert + OPrefetch — Heaps SDL2 window app runs

arm64: Clean up OAssert debug instrumentation

arm64: op_jump_compare on HDYN/HFUN/HNULL — call hl_dyn_compare

arm64: op_jump_compare on HOBJ with compareFun — String == String works

arm64: OTrap — drop x19 clobber that broke callee-saved invariant

arm64: implement OVirtualClosure, ORefData, ORefOffset

arm64: handle > 8 args at entry and stash-aware overflow at call sites

arm64: OCallClosure HDYN — hl_dyn_call + hl_dyn_castX result

arm64: OGetArray/OSetArray HABSTRACT — raw memory arrays

arm64: ONullCheck calls hl_null_access; OToUFloat covers HBOOL/HI64

arm64: per-register ownership cache replaces single-slot peephole

arm64: disable ownership cache by default on Android

arm64: drop cross-reg MOV from load_vreg cache — fixes Heaps h2d on Android

arm64: trim comments to match jit.c density