aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* docs: destructors: the free paths clear the entry in dropfree, right after ↵Gravatar zinc 13 days1-2/+2
| | | | the drop and before the children
* rt: the free paths take one F_HASDROP test, and dropfree does the drop and ↵Gravatar zinc 13 days1-4/+4
| | | | the clearing out of line
* destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop ↵Gravatar zinc 13 days27-11/+589
| | | | methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.15
* docs: destructors: clear drop entry and bits on free; planned reuse testGravatar zinc 13 days1-0/+5
|
* docs: destructors: value and type drops both run, side table storage, ↵Gravatar zinc 13 days1-9/+6
| | | | F_HASDROP/F_DROPPED bits
* docs: revise destructors draft to acorn's rulings (drop on any heap value, ↵Gravatar zinc 13 days1-66/+117
| | | | heap() builtin, gc runs drops)
* docs: draft design for destructors on heap objectsGravatar zinc 13 days1-0/+121
|
* bench: sieve.zc and trees.zc take namespace and include rt, so run.py's ↵Gravatar zinc 13 days3-19/+22
| | | | checksums pass on main again (todo item closed)
* bench: baseline re-saved on main with the checks column and the rescaled ↵Gravatar zinc 13 days1-12/+12
| | | | arrays rows
* bench: a trap (zy exit 2) is labelled runtime trap with the stdout tail, ↵Gravatar zinc 13 days2-6/+9
| | | | since zy reports traps on stdout, in suite.py and bench.sh
* bench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 ↵Gravatar zinc 13 days2-2/+2
| | | | (checked against a python reference), not 0
* bench: a nonzero zy exit (1 compile error, 2 trap) or a wrong checksum fails ↵Gravatar zinc 13 days3-21/+73
| | | | the row with the stderr tail, in suite.py and bench.sh; selftest cases for exit 1, exit 2 and a wrong checksum. arrays rows scaled to ~3 ms a repetition (matmul 40x40, gather 98304 words); the baseline's arrays rows are stale until a re-save
* bench: baseline with arrays rows (checks column pending work/checks)Gravatar zinc 13 days1-10/+12
|
* bench: arrays rows, checks column from zy --explain-checks ('-' without it), ↵Gravatar zinc 13 days1-10/+68
| | | | bench-check fails when a row's check count changes; selftest cases
* bench: arrays.zc, a matmul whose hot loop is proved and a gather that keeps ↵Gravatar zinc 13 days1-0/+58
| | | | its check
* conformance: defer block form without a trailing semicolon, several ↵Gravatar zinc 13 days1-0/+23
| | | | statements and a local, at a return and at the end of the scope
* defer: any single statement (if/else, loops, switch, unchecked, unbounded), ↵Gravatar zinc 13 days5-7/+30
| | | | not just an expression or a block
* todo: run.py's sieve checksum fails on mainGravatar zinc 13 days1-0/+1
|
* fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 ↵Gravatar zinc 13 days1-9/+8
| | | | words, same behaviour)
* zy: a runtime trap exits 2 (rt.trap: index out of range, frame overflow, out ↵Gravatar zinc 13 days3-10/+15
| | | | of heap, bad pointer, use after free); compile errors stay 1; spec 8.1.3; exitstatus.sh checks exit 2
* detach doc comments on internal bounds helpers (genome size); todo: reuse ↵Gravatar zinc 13 days2-1/+20
| | | | capture_scan in the body scanner
* explain-checks: the record writer moves to src/lib/explain.zc, embedded and ↵Gravatar zinc 13 days5-55/+77
| | | | compiled only in that mode; the genome keeps the call sites and a hook
* jit_x64_test: link tests, src and examples into the scratch directory so ↵Gravatar zinc 13 days1-1/+5
| | | | embed and include programs compile; list the programs whose compile error is expected
* todo: callee generation guard for direct o3 calls, region 474..692 and fib ↵Gravatar zinc 13 days3-1/+16
| | | | diagnosis; icon test with an o3 caller across find_replace
* jit_x64_test: a compile error on either core counts as a differenceGravatar zinc 13 days1-4/+8
|
* todo: work/checks status, self-modifying region caveat, zyrdump off, next ↵Gravatar zinc 13 days1-2/+2
| | | | direct o3 calls
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, ↵Gravatar zinc 13 days17-15/+488
| | | | --explain-checks v1 (non-o3 code)
* zy: nonzero exit on compile errorsGravatar zinc 13 days3-3/+28
|
* merge work/exactsize: exact-size heap boundsGravatar zinc 13 days21-37/+191
|\
| * rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ↵Gravatar zinc 13 days21-37/+191
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | of p[-4] the bnd recipe and paylen read n instead of the power-of-two block: bnd: r6 = sub p 3; r6 = ld r6; r7 = xor p 0x2B7E1516; r6 = eq r6 r7; r7 = sub p 4; r7 = ld r7; r7 = shr r7 32; r7 = mul r7 q; r8 = mul i m; r8 = ltu r8 r7; r8 = xor r8 1; r0 = and r6 r8 paylen: return p[-4] >> 32 two loads instead of three; osize, bchk, release, recycle and the memdebug leak report all read n (rt.new(4) has length 4, rt.new(0) has 0). writers: new_raw and new_k set n; stack.h line 87 and tinyvm.ts (BigInt) set it on stack segments. release clears n when a block goes into quarantine (len 0, indexing traps; under memdebug bchk reports a use after free); every free-list path (fpush, mkblock, bdrop, recycle_leaf, balloc hold) rewrites the word as k << 16, and an array that grows gets a fresh block. a request over 2^31-1-HDR words stops in new_raw (oom), and the compiler only takes the new_k fast path for constant sizes that fit, so n is never truncated. bit users checked (all mask or preserve bits 32..62; none compares or copies the whole word): gc mark and sweep; release, free, recycle, recycle_leaf; share and own; isobj, quar, checkptr, obj_base; bclass and the bfree buddy merge; balloc, mkblock, fpush, funlink, heap_grow; frame_grow; stack_allocate in src/core/stack.h and src/js/tinyvm.ts; micro.c and core.c (check word only); the compiler's two p[-4] | F_INTERNAL writes (base.zc, builtins.zc). 32-bit ports: none (baremetal, wasm and micro use int64 Cell). tests: tests/programs/exactsize.zc (n-1/n for non-power-of-two sizes, new(0), packed bytes, recycle, grow, stack growth); 8-runtime: exact_size_bounds, pointer_index_n_minus_1, pointer_index_n_traps, pointer_index_n_traps_memdebug, new_zero_index_traps, new_too_big_traps, stale_index_after_free_traps, stale_index_after_free_memdebug. expectations changed: leak report shows n (tests/test.sh line 169, examples/learn/13-memdebug.out, docs/LEARN.md, 4-statements/memdebug_report_line.zc). programs adjusted to keep test.sh expectations: quarantine.zc (unbounded), bounds_heap.zc (rt.new(11)). spec 3.7.4 and 4.11 updated. fixpoint 402204 words (main 402197).
* | merge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bdGravatar zinc 13 days7-5/+380
|\ \
| * | bench: drop committed pycache, ignore __pycache__Gravatar zinc 13 days2-0/+1
| | |
| * | bench: idle re-save of baseline at 89f35bdGravatar zinc 13 days1-10/+10
| | |
| * | bench: baseline at 89f35bd (jit, llvm, sweep; no interp)Gravatar zinc 13 days1-14/+10
| | |
| * | bench: find llvm-config-19 like the Makefile; bench-save refuses when an ↵Gravatar zinc 13 days4-3/+30
| | | | | | | | | | | | expected backend has no rows
| * | bench: o3 guard is jit o3 collatz under half of jit plain (no interp rows ↵Gravatar zinc 13 days2-6/+10
| | | | | | | | | | | | needed)
| * | bench.sh: interp core built and timed only with INTERP=1Gravatar zinc 13 days1-2/+6
| | |
| * | bench: no-region guard, selftest and --rows, interp rows behind INTERP=1, ↵Gravatar zinc 13 days3-13/+90
| | | | | | | | | | | | fail only over 10% and 0.1 ms
| * | make bench, bench-save, bench-check: wrap tests/bench/bench.sh plus a ↵Gravatar zinc 13 days2-22/+29
| | | | | | | | | | | | pointer sweep; baseline after jit step 2
| * | Merge branch 'main' into work/benchGravatar zinc 13 days5-14/+271
| |\|
| * | Merge branch 'main' into work/benchGravatar zinc 13 days29-74/+200
| |\ \
| * | | wip: bench wraps bench.shGravatar zinc 13 days3-61/+114
| | | |
| * | | wip: bench suiteGravatar zinc 13 days3-1/+207
| | | |
* | | | examples: actor demoGravatar zinc 13 days1-0/+92
| | | |
* | | | todo: correct self-modifying region caveatGravatar zinc 13 days1-1/+1
| | | |
* | | | todo: sync open list with 2026-10-14 workGravatar zinc 13 days1-6/+19
| | | |
* | | | merge work/xref: stale known-line check for conformance and parityGravatar zinc 13 days3-15/+26
|\ \ \ \ | |_|_|/ |/| | |
| * | | conformance and parity: a known entry that passes again is stale and fails ↵Gravatar zinc 13 days3-15/+26
| |/ / | | | | | | | | | the run
* | | merge work/jit2: compiled o3 regions on x86-64Gravatar zinc 13 days5-14/+271
|\ \ \ | |_|/ |/| |
| * | x86-64 o3 regions: header comment, readme, bench note and todoGravatar zinc 13 days4-7/+8
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2026-10-28 00:50:45 +0000