aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* bench: baseline at 89f35bd (jit, llvm, sweep; no interp)Gravatar zinc 2026-10-141-14/+10
* bench: find llvm-config-19 like the Makefile; bench-save refuses when an expe...Gravatar zinc 2026-10-143-2/+28
* bench: o3 guard is jit o3 collatz under half of jit plain (no interp rows nee...Gravatar zinc 2026-10-141-5/+9
* bench.sh: interp core built and timed only with INTERP=1Gravatar zinc 2026-10-141-2/+6
* bench: no-region guard, selftest and --rows, interp rows behind INTERP=1, fai...Gravatar zinc 2026-10-141-7/+73
* make bench, bench-save, bench-check: wrap tests/bench/bench.sh plus a pointer...Gravatar zinc 2026-10-141-12/+16
* Merge branch 'main' into work/benchGravatar zinc 2026-10-142-2/+6
|\
| * merge work/jit2: compiled o3 regions on x86-64Gravatar zinc 2026-10-142-2/+6
| |\
| | * x86-64 o3 regions: header comment, readme, bench note and todoGravatar zinc 2026-10-141-1/+1
| | * tests: x86-64 o3 regions compile and match the region interpreterGravatar zinc 2026-10-141-1/+5
* | | Merge branch 'main' into work/benchGravatar zinc 2026-10-1423-33/+106
|\| |
| * | Merge branch 'main' into work/specGravatar zinc 2026-10-143-1/+10
| |\|
| * | len: len on a char* is an error with typecheck off too (appendix b.2.14)Gravatar zinc 2026-10-142-3/+2
| * | prototypes: parameters may be unnamed, int f(int, int*); (appendix b.2.13)Gravatar zinc 2026-10-143-1/+11
| * | as: the type after as is read greedily in both compilers; x as int * y is a s...Gravatar zinc 2026-10-143-4/+8
| * | lexer: a block comment that is never closed is 'unterminated comment' (append...Gravatar zinc 2026-10-144-3/+7
| * | bool: a value stored into a bool is normalised to 0 or 1 (appendix b.2.6)Gravatar zinc 2026-10-143-2/+9
| * | enum: a member is defined as soon as it is declared, so later values can name...Gravatar zinc 2026-10-142-3/+6
| * | Merge branch 'main' into work/specGravatar zinc 2026-10-1410-11/+257
| |\ \
| * | | globals: an integer constant initializing a float or f32 global converts to f...Gravatar zinc 2026-10-141-0/+9
| * | | zc0umd: no recast uses a visible u/m/d as its tag (spec 1.6.3); spec: the fix...Gravatar zinc 2026-10-141-9/+10
| * | | Revert "zc0: read integer literals like the compiler: decimal with leading ze...Gravatar zinc 2026-10-141-0/+11
| * | | Revert "zc0: u*x, m*x, d*x are products when u, m or d is a visible local or ...Gravatar zinc 2026-10-142-0/+2
| * | | Merge branch 'main' into work/specGravatar zinc 2026-10-1411-6/+109
| |\ \ \
| * | | | rt.zdiv: INT_MIN / -1 is INT_MIN and % is 0 in software division too, so zc0 ...Gravatar zinc 2026-10-141-2/+0
| * | | | zc0: u*x, m*x, d*x are products when u, m or d is a visible local or global (...Gravatar zinc 2026-10-142-2/+0
| * | | | zc0: read integer literals like the compiler: decimal with leading zeros, 0x ...Gravatar zinc 2026-10-141-11/+0
| * | | | conformance: appendix b items the spec body documents are class cGravatar zinc 2026-10-141-4/+4
| * | | | ternary: an int side and a float side convert the int on its own path only (a...Gravatar zinc 2026-10-142-2/+9
| * | | | include: written inside a function body is 'include is top level only' (appen...Gravatar zinc 2026-10-143-2/+3
| * | | | globals: a float or f32 global takes a float literal initializer (appendix b....Gravatar zinc 2026-10-142-2/+9
| * | | | fndef: a prototype after a definition in the same module keeps the definition...Gravatar zinc 2026-10-142-1/+4
| * | | | fndef: a second definition of a function in the same module is 'is defined tw...Gravatar zinc 2026-10-142-1/+4
| * | | | unary: u*x, m*x, d*x are not recasts when the tag names a global variable eitherGravatar zinc 2026-10-141-0/+8
| * | | | closures: allow 24 parameters, like functions (was 19)Gravatar zinc 2026-10-142-0/+9
| * | | | conformance: runtime index errors now end with an 'at <stdin>:N in main' trac...Gravatar zinc 2026-10-144-4/+4
* | | | | wip: bench wraps bench.shGravatar zinc 2026-10-142-61/+99
* | | | | wip: bench suiteGravatar zinc 2026-10-142-0/+188
| |_|_|/ |/| | |
* | | | merge work/xref: zc0 u*d redo and follow-upsGravatar zinc 2026-10-143-1/+10
|\ \ \ \ | |_|_|/ |/| | |
| * | | zc0: a store into a local embed array is an error (its elements are in the co...Gravatar zinc 2026-10-142-0/+10
| * | | zc0: u*x, m*x, d*x are products when u, m or d is a visible local or global (...Gravatar zinc 2026-10-141-1/+0
* | | | merge work/jit2: x86-64 jit inline enhancementsGravatar zinc 2026-10-145-0/+215
|\ \ \ \ | |/ / / |/| | |
| * | | x86-64 jit: inline enhancements (micro-ops lowered to registers, literal spec...Gravatar zinc 2026-10-144-0/+193
| * | | test: a constant loop bound drops the fixed-array bounds check (bounds_proof)Gravatar zinc 2026-10-142-0/+22
| | |/ | |/|
* | | Merge branch 'main' into work/xrefGravatar zinc 2026-10-1413-10/+93
|\| |
| * | merge bounds checkingGravatar zinc 2026-10-1413-10/+93
| |\ \
| | * | bounds checking: constant loop bound proof works, plain-op fixed-array check,...Gravatar zinc 2026-10-144-4/+4
| | * | bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main...Gravatar zinc 2026-10-149-6/+89
* | | | zc0: integer literals as the compiler reads them (010 is 10, 0x is 0, values ...Gravatar zinc 2026-10-141-11/+0
* | | | zc0: embed of an array type inside a functionGravatar zinc 2026-10-141-0/+11