1
0
mirror of https://git.savannah.gnu.org/git/emacs.git synced 2024-11-25 07:28:20 +00:00

repropagate after call-optim

This commit is contained in:
Andrea Corallo 2019-09-22 17:11:53 +02:00
parent 6e20587399
commit 86a22004c9

View File

@ -57,6 +57,7 @@
comp-ssa
comp-propagate
comp-call-optim
comp-propagate
comp-final)
"Passes to be executed in order.")
@ -1278,10 +1279,10 @@ This can run just once."
(pcase insn
(`(set ,lval ,rval)
(pcase rval
(`(call ,f . ,_)
(`(,(or 'call 'direct-call) ,f . ,_)
(setf (comp-mvar-type lval)
(cdr (assq f comp-known-ret-types))))
(`(callref ,f . ,args)
(`(,(or 'callref 'direct-callref) ,f . ,args)
(cl-loop for v in args
do (setf (comp-mvar-ref v) t))
(setf (comp-mvar-type lval)