From 25ce902e2d57d9fb3a0b44f71ef258cfb290a9b7 Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 16:40:41 +0330 Subject: x86-64 jit: inline enhancements (micro-ops lowered to registers, literal specialization, ZYNOENH=1 to call xrun); enh_ops test; jit_x64_test in test.sh --- tests/parity.known | 1 + 1 file changed, 1 insertion(+) (limited to 'tests/parity.known') diff --git a/tests/parity.known b/tests/parity.known index 6892499..5ddbdf2 100644 --- a/tests/parity.known +++ b/tests/parity.known @@ -16,3 +16,4 @@ tests/programs/bench_strings.zc # reads the repeat count from stdin; with none, # zc0 reads unbounded and ignores it, and emits no index checks at all tests/programs/bounds_fixed.zc # bounds checks: only the self-hosted compiler checks a fixed array index tests/programs/bounds_heap.zc # bounds checks: only the self-hosted compiler checks a pointer into a heap block +tests/programs/bounds_proof.zc # bounds checks: zc0 emits none, so the variable-bound loop is as short as the unbounded one -- cgit v1.2.3