diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-12-25 10:57:02 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-12-26 10:53:54 +0100 |
| commit | 89d5a3a7603a0b096d02f58ba0a1997ad98c63ae (patch) | |
| tree | f7c3cbb76ab35843db9610d536a87e7acaca9733 /lib/regex.c | |
| parent | bd693ccea7ba4a6aafda103f7a9166f76363c86b (diff) | |
| download | emacs-89d5a3a7603a0b096d02f58ba0a1997ad98c63ae.tar.gz emacs-89d5a3a7603a0b096d02f58ba0a1997ad98c63ae.tar.bz2 emacs-89d5a3a7603a0b096d02f58ba0a1997ad98c63ae.zip | |
Enable integer range narrowing under compare and branch
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-set-cmp-range)
(comp-cstr->, comp-cstr->=, comp-cstr-<, comp-cstr-<=): New
functions.
* lisp/emacs-lisp/comp.el (comp-equality-fun-p)
(comp-range-cmp-fun-p): New functions.
(comp-collect-rhs): Use `comp-assign-op-p' in place of
`comp-set-op-p'.
(comp-negate-range-cmp-fun, comp-reverse-cmp-fun): New functions.
(comp-emit-assume): Rework to be able to emit also comparision
assumption.
(comp-add-cond-cstrs-simple): Update for new `comp-emit-assume'.
(comp-add-cond-cstrs-simple): Update to emit range assumption.
(comp-fwprop-insn): Execute range assumptions.
* test/src/comp-tests.el (comp-tests-type-spec-tests): Add tests.
Diffstat (limited to 'lib/regex.c')
0 files changed, 0 insertions, 0 deletions