diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 20:46:17 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 20:46:17 +0330 |
| commit | 900c59c4d72c692e0bb8e0d3a28cc52547e58c9b (patch) | |
| tree | 3b4508ef6d4b639687122c5b3753300cdc97ada0 /src/compiler/base.zc | |
| parent | detach doc comments on internal bounds helpers (genome size); todo: reuse cap... (diff) | |
wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untestedwork/prover
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 b326c80..32f703e 100644 --- a/src/compiler/base.zc +++ b/src/compiler/base.zc @@ -324,7 +324,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; |