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