procyberian/emacs
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

* A native compiler forward propagation fix

Browse source 
* lisp/emacs-lisp/comp.el (comp-fwprop-insn): Fix `comp-mvar'
	`const-vld' slot left unset while propagating in phis.
This commit is contained in:
Andrea Corallo 2020-11-05 22:23:48 +01:00
parent 3e3843512b
commit c6abe97f94
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
lisp/emacs-lisp/comp.el
View file

@ -2249,7 +2249,8 @@ Forward propagate immediate involed in assignments."
(consts (mapcar #'comp-mvar-constant rest)) (consts (mapcar #'comp-mvar-constant rest))
(x (car consts)) (x (car consts))
(equals (cl-every (lambda (y) (equal x y)) consts))) (equals (cl-every (lambda (y) (equal x y)) consts)))
(setf (comp-mvar-constant lval) x)) (setf (comp-mvar-const-vld lval) t
(comp-mvar-constant lval) x))
;; Forward type propagation. ;; Forward type propagation.
;; FIXME: checking for type equality is not sufficient cause does not ;; FIXME: checking for type equality is not sufficient cause does not
;; account type hierarchy! ;; account type hierarchy!