]> git.eshelyaron.com Git - emacs.git/commit
* Improve comp-fwprop pass
authorAndrea Corallo <akrl@sdf.org>
Sun, 13 Dec 2020 11:19:30 +0000 (12:19 +0100)
committerAndrea Corallo <akrl@sdf.org>
Mon, 21 Dec 2020 18:00:39 +0000 (19:00 +0100)
commitbad18f509d87fed8595761c0fabb65804ffcba52
tree73bda0fb50195a7f088b464e53d2097f2b0401d5
parent2a117ad3d7204fe40b12cb3ebdc88e18346fb145
* Improve comp-fwprop pass

Wire-up comp-cstr.el routines in fwprop and constraint mvars also on
the else side of branches.

* lisp/emacs-lisp/comp.el (comp-emit-assume)
(comp-cond-cstr-target-mvar, comp-cond-cstr-func)
(comp-fwprop-insn): Logic update.
(comp-mvar-value-vld-p, comp-mvar-propagate, comp-fwprop-call):
Handle neg slot.
lisp/emacs-lisp/comp.el