aboutsummaryrefslogtreecommitdiffstats
path: root/test/src (follow)
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | Fix `=' propagation to handle -0.0 0.0 caseAndrea Corallo2021-03-061-8/+24
| * | | | | | | | | Don't call _setjmp through a function pointer (Bug#46824)Pip Cet2021-03-032-2/+22
| * | | | | | | | | Fix two compiler ICEs dealing with nan and infinityAndrea Corallo2021-03-031-0/+8
| * | | | | | | | | Fix = propagation semantic for constrained inputsAndrea Corallo2021-03-021-1/+28
| * | | | | | | | | Fix `eql' `equal' propagation of non hash consed values (bug#46843)Andrea Corallo2021-03-011-1/+15
| * | | | | | | | | Don't treat '=' as simple equality emitting constraints (bug#46812)Andrea Corallo2021-02-281-6/+41
| * | | | | | | | | Migrate and rename a bunch of functions from comp.el to comp-cstr.elAndrea Corallo2021-02-281-4/+4
| * | | | | | | | | Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-02-262-7/+19
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | Do not emit assumptions referencing clobbered mvars (bug#46670)Andrea Corallo2021-02-232-0/+13
| * | | | | | | | | | * Fix union constraint for mixed pos/neg constraintsAndrea Corallo2021-02-221-1/+1
| * | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-02-211-8/+31
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-02-171-0/+28
| |\ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | Fix inverted logic in constraint comparison (bug#46540)Andrea Corallo2021-02-171-1/+28
| * | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-02-105-27/+83
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-01-242-23/+160
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-01-167-22/+147
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-01-082-62/+43
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | Fix bug#45603Andrea Corallo2021-01-062-0/+33
| * | | | | | | | | | | | | | | | * test/src/comp-tests.el (cond-rw-1, not-cons, 45576): Rename three tests.Andrea Corallo2021-01-041-3/+3
| * | | | | | | | | | | | | | | | Fix type inference for bug#45635Andrea Corallo2021-01-042-0/+20
| * | | | | | | | | | | | | | | | Fix `functionp' contraining (bug#45576)Andrea Corallo2021-01-022-0/+13
| * | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-01-0239-66/+472
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | Introduce 'unreachable' LIMPLE operatorAndrea Corallo2021-01-012-34/+70
| * | | | | | | | | | | | | | | | | Fix missing negation handling in a bunch of predicatesAndrea Corallo2020-12-292-0/+9
| * | | | | | | | | | | | | | | | | Constrain mvars under compare and branch with built-in predicatesAndrea Corallo2020-12-291-17/+52
| * | | | | | | | | | | | | | | | | Store function type and expose it with `subr-type'Andrea Corallo2020-12-281-10/+6
| * | | | | | | | | | | | | | | | | Propagate function calls also when hiddend under funcallAndrea Corallo2020-12-281-1/+6
| * | | | | | | | | | | | | | | | | Compute function type for native compiled functionsAndrea Corallo2020-12-281-1/+1
| * | | | | | | | | | | | | | | | | Add 1+ 1- integer range propagation supportAndrea Corallo2020-12-271-1/+13
| * | | | | | | | | | | | | | | | | Add sum/subtraction integer range propagation supportAndrea Corallo2020-12-271-1/+90
| * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-12-271-0/+41
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | Fix missing float handling into `comp-cstr-set-cmp-range'Andrea Corallo2020-12-261-13/+13
| * | | | | | | | | | | | | | | | | | * test/src/comp-tests.el (comp-tests-type-spec-tests): Add two more test.Andrea Corallo2020-12-261-1/+15
| * | | | | | | | | | | | | | | | | | Enable integer range narrowing under compare and branchAndrea Corallo2020-12-261-1/+76
| * | | | | | | | | | | | | | | | | | Extend cstrs pass to match `unless' like codeAndrea Corallo2020-12-241-0/+6
| * | | | | | | | | | | | | | | | | | Extend cstrs pass to match `when' like codeAndrea Corallo2020-12-241-1/+7
| * | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-12-231-0/+6
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | Negate only values while constraining variables (bug#45376)Andrea Corallo2020-12-232-3/+25
| * | | | | | | | | | | | | | | | | | | Make input constraints into memoization hash immutable (bug#45376)Andrea Corallo2020-12-232-0/+18
| * | | | | | | | | | | | | | | | | | | Fix `comp-add-call-cstr' and add a testAndrea Corallo2020-12-212-0/+16
| * | | | | | | | | | | | | | | | | | | Fix value type inference for doubly negate constraintsAndrea Corallo2020-12-212-0/+14
| * | | | | | | | | | | | | | | | | | | Fix native compiler tests when they are bytecompiledAndrea Corallo2020-12-211-134/+135
| * | | | | | | | | | | | | | | | | | | Enhance type inference constraining function argumentsAndrea Corallo2020-12-211-2/+2
| * | | | | | | | | | | | | | | | | | | * Enumerate and split type specifier tests in comp-tests.el to ease debugAndrea Corallo2020-12-211-17/+47
| * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-12-204-16/+80
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | Have native compiler always preserve multibyte strings (bug#45342)Andrea Corallo2020-12-202-0/+10
| * | | | | | | | | | | | | | | | | | | | * test/src/comp-tests.el (comp-tests-bootstrap): Temp fix bootstrap test.Andrea Corallo2020-12-121-2/+3
| * | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-12-125-2/+100
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-12-062-0/+39
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | Fix `comp-mvar-symbol-p' and `comp-mvar-cons-p' (bug#44968)Andrea Corallo2020-12-012-0/+14
generated by cgit v1.2.1 (git 2.18.0) at 2026-03-12 14:26:17 +0000