aboutsummaryrefslogtreecommitdiffstats
path: root/test/src (follow)
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | | | 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
| * | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-11-292-0/+60
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | Add intersection support into comp-cstr.elAndrea Corallo2020-11-271-20/+0
| * | | | | | | | | | | | | | | | | | | | | | Move some tests from comp-tests.el to comp-cstr-tests.elAndrea Corallo2020-11-261-60/+1
| * | | | | | | | | | | | | | | | | | | | | | Add comp-cstr.el and comp-cstr-tests.elAndrea Corallo2020-11-261-3/+4
| * | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-11-225-3/+227
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | ; Fix trivial typosStefan Kangas2020-11-201-2/+2
| * | | | | | | | | | | | | | | | | | | | | | | Fix nativecomp cond-rw passAndrea Corallo2020-11-162-0/+14
| * | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into devAndrea Corallo2020-11-141-4/+0
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | Add `comp-constraint-to-type-spec' and better handle boolean type specAndrea Corallo2020-11-141-1/+5
| * | | | | | | | | | | | | | | | | | | | | | | | Characterize functions in terms of type specifiersAndrea Corallo2020-11-141-0/+35
| * | | | | | | | | | | | | | | | | | | | | | | | Add copy insn testcaseAndrea Corallo2020-11-122-0/+21
| * | | | | | | | | | | | | | | | | | | | | | | | * Add few more type specifier testsAndrea Corallo2020-11-121-20/+41
| * | | | | | | | | | | | | | | | | | | | | | | | * Nativecomp testsuite rework for derived return type specifiersAndrea Corallo2020-11-121-62/+105
| * | | | | | | | | | | | | | | | | | | | | | | | Add a nativecomp testcaseAndrea Corallo2020-11-122-0/+10