From: Andrea Corallo Date: Sun, 9 Feb 2020 14:12:51 +0000 (+0100) Subject: Better function naming for comp-function-call-maybe-remove X-Git-Tag: emacs-28.0.90~2727^2~834 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=fe9e4c42b3e4519032c7c9ee62400f9793ab4f76;p=emacs.git Better function naming for comp-function-call-maybe-remove --- diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el index 4ec84563f38..2d609f0527c 100644 --- a/lisp/emacs-lisp/comp.el +++ b/lisp/emacs-lisp/comp.el @@ -1599,7 +1599,7 @@ This can run just once." ('/ (and (cl-every #'fixnump values) (not (= (car (last values)) 0))))))))) -(defsubst comp-function-call-remove (insn f args) +(defsubst comp-function-call-maybe-remove (insn f args) "Given INSN when F is pure if all ARGS are known remove the function call." (when (comp-function-optimizable f args) (ignore-errors @@ -1620,13 +1620,11 @@ This can run just once." (`(,(or 'call 'direct-call) ,f . ,args) (setf (comp-mvar-type lval) (alist-get f comp-known-ret-types)) - (comp-function-call-remove insn f args)) + (comp-function-call-maybe-remove insn 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) (alist-get f comp-known-ret-types)) - (comp-function-call-remove insn f args)) + (comp-function-call-maybe-remove insn f args)) (_ (comp-mvar-propagate lval rval)))) (`(phi ,lval . ,rest)