From a1d546cc74a72abc4973bf96f72bbd529320d711 Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 20:46:17 +0330 Subject: wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untested --- src/compiler/base.zc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/compiler/base.zc') diff --git a/src/compiler/base.zc b/src/compiler/base.zc index a8dc19f..dc786b5 100644 --- a/src/compiler/base.zc +++ b/src/compiler/base.zc @@ -328,7 +328,8 @@ int o3on, o3nxt, o3one; word[32] o3sl; word[32] o3rg; int no3sl; word[O3_REGIONS word[8] o3free; int no3free, o3nreg; word[NL] o3cache_initial; word o3cache = o3cache_initial; int argloc, s_hitems, s_hlen, s_fatten; // operator names used by numeric type checks. word[12] numops; int nnumops, s_fixed, s_dlen, s_dcap, s_dnew, s_dat, s_dpush, s_dpop, s_dresize, xconst, xcval; -int xlenloc, arrloc, fortest, forstep, ft_iv, ft_bd, ft_ir, ft_ck, ft_nops, fs_ok, xstamp; +int xlenloc, arrloc, fortest, forstep, ft_iv, ft_bd, ft_ir, ft_ck, ft_ln, ft_nops, fs_ok, xstamp; +int xub, xubat = 0 - 1; // an upper bound of the value just compiled (oub), valid while here == xubat // what each live loop's body may change, and its hoisted checks (one 56-word // record per loop depth, the first 64 depths; see body_scan and hoist_guard) const int LPI_N = 64, LPI_W = 60; -- cgit v1.2.3