aboutsummaryrefslogtreecommitdiff
path: root/src/compiler/analyzer.zc
Commit message (Collapse)AuthorAgeFilesLines
* wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, ↵work/proverGravatar zinc 14 days1-34/+92
| | | | affine i*n+k); unbuilt and untested
* detach doc comments on internal bounds helpers (genome size); todo: reuse ↵Gravatar zinc 14 days1-0/+19
| | | | capture_scan in the body scanner
* explain-checks: the record writer moves to src/lib/explain.zc, embedded and ↵Gravatar zinc 14 days1-53/+10
| | | | compiled only in that mode; the genome keeps the call sites and a hook
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, ↵Gravatar zinc 14 days1-0/+328
| | | | --explain-checks v1 (non-o3 code)
* bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded ↵Gravatar zinc 14 days1-0/+20
| | | | main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests
* zc: add the defer statementGravatar zinc 14 days1-0/+1
| | | | | | | | | | | | defer expr; and defer { ... } register code that runs when the enclosing block ends: at the end of the block, and at return, break and continue that leave it. the tokens are kept at the defer and compiled again at each exit (block_close, body, kw_return, kw_break, kw_continue), newest first, before the block's variables are released, so the analyzer sees a deferred rt.free(p) as the transfer of p where it runs. names mean what they meant at the defer; values are read when it runs. return, break and continue inside a deferred statement are errors, reported once. works in unchecked code and closures (own base per function context).
* split compiler.zc into files by phaseGravatar zinc 14 days1-0/+1236
src/compiler/compiler.zc is now twelve files under src/compiler/, listed in order in src/compiler/parts. cat of the parts in order is byte-identical to the old file, so every compiler and image except the language server's is unchanged. no function was edited. consumers read the list: the makefile, bootstrap-check, genmap (which still writes one compiler.zc into a generated map directory), tinyvm.bat, test.sh, test_win.ps1 and the lsp drivers. the language server embeds each part and serves them joined as the one document tinyvm:/compiler.zc.