aboutsummaryrefslogtreecommitdiffstats
path: root/test/src/comp-tests.el (follow)
Commit message (Expand)AuthorAgeFilesLines
* Improve a native compiler testAndrea Corallo2021-04-221-1/+6
* Fix native compiler string hash consing strategy (bug#47868)Andrea Corallo2021-04-211-0/+4
* Fix some entry in `comp-known-type-specifiers' (bug#46847)Andrea Corallo2021-03-141-1/+1
* Fix `comp-cstr-intersection-no-hashcons' for negated result cstrAndrea Corallo2021-03-061-1/+8
* 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-031-1/+5
* 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
* Do not emit assumptions referencing clobbered mvars (bug#46670)Andrea Corallo2021-02-231-0/+6
* * Fix union constraint for mixed pos/neg constraintsAndrea Corallo2021-02-221-1/+1
* Fix inverted logic in constraint comparison (bug#46540)Andrea Corallo2021-02-171-1/+28
* Fix bug#45603Andrea Corallo2021-01-061-0/+5
* * 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-041-0/+5
* Fix `functionp' contraining (bug#45576)Andrea Corallo2021-01-021-0/+5
* Introduce 'unreachable' LIMPLE operatorAndrea Corallo2021-01-011-34/+54
* Fix missing negation handling in a bunch of predicatesAndrea Corallo2020-12-291-0/+3
* 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
* 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
* Negate only values while constraining variables (bug#45376)Andrea Corallo2020-12-231-2/+6
* Make input constraints into memoization hash immutable (bug#45376)Andrea Corallo2020-12-231-0/+4
* Fix `comp-add-call-cstr' and add a testAndrea Corallo2020-12-211-0/+4
* Fix value type inference for doubly negate constraintsAndrea Corallo2020-12-211-0/+4
* 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
* Have native compiler always preserve multibyte strings (bug#45342)Andrea Corallo2020-12-201-0/+5
* * test/src/comp-tests.el (comp-tests-bootstrap): Temp fix bootstrap test.Andrea Corallo2020-12-121-2/+3
* Fix `comp-mvar-symbol-p' and `comp-mvar-cons-p' (bug#44968)Andrea Corallo2020-12-011-0/+4
* 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
* ; Fix trivial typosStefan Kangas2020-11-201-2/+2
* Fix nativecomp cond-rw passAndrea Corallo2020-11-161-0/+4
* 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-121-0/+5
* * Add few more type specifier testsAndrea Corallo2020-11-121-20/+41
* * Nativecomp testsuite rework for derived return type specifiersAndrea Corallo2020-11-121-62/+105
generated by cgit v1.2.1 (git 2.18.0) at 2026-01-15 14:52:47 +0000