diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 20:46:17 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 05:17:02 +0330 |
| commit | a1d546cc74a72abc4973bf96f72bbd529320d711 (patch) | |
| tree | 68cd489b7558d169d1f9e5f4230d1fc63e0d6501 /src/compiler/base.zc | |
| parent | o3: use new_k (size-class free lists) like plain code (diff) | |
wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untested
Diffstat (limited to 'src/compiler/base.zc')
| -rw-r--r-- | src/compiler/base.zc | 3 |
1 files changed, 2 insertions, 1 deletions
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; |