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

* Rename two nativecomp functions

Browse source 
* lisp/emacs-lisp/comp.el (comp-function-foldable-p): Rename from
	comp-function-optimizable-p.
	(comp-function-call-maybe-fold): Same from
	comp-function-call-maybe-fold.
This commit is contained in:
Andrea Corallo 2020-11-08 10:40:05 +01:00
parent e20cdf937e
commit c3d0e2a09f
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2223,12 +2223,12 @@ Forward propagate immediate involed in assignments."
(comp-mvar-constant lval) (comp-mvar-constant rval) (comp-mvar-constant lval) (comp-mvar-constant rval)
(comp-mvar-type lval) (comp-mvar-type rval))) (comp-mvar-type lval) (comp-mvar-type rval)))
(defsubst comp-function-optimizable-p (f args) (defsubst comp-function-foldable-p (f args)
"Given function F called with ARGS return non-nil when optimizable." "Given function F called with ARGS return non-nil when optimizable."
(and (cl-every #'comp-mvar-const-vld args) (and (cl-every #'comp-mvar-const-vld args)
(comp-function-pure-p f))) (comp-function-pure-p f)))
(defsubst comp-function-call-maybe-remove (insn f args) (defsubst comp-function-call-maybe-fold (insn f args)
"Given INSN when F is pure if all ARGS are known remove the function call." "Given INSN when F is pure if all ARGS are known remove the function call."
(cl-flet ((rewrite-insn-as-setimm (insn value) (cl-flet ((rewrite-insn-as-setimm (insn value)
;; See `comp-emit-setimm'. ;; See `comp-emit-setimm'.
@ -2243,7 +2243,7 @@ Forward propagate immediate involed in assignments."
comp-symbol-values-optimizable))) comp-symbol-values-optimizable)))
(rewrite-insn-as-setimm insn (symbol-value (comp-mvar-constant (rewrite-insn-as-setimm insn (symbol-value (comp-mvar-constant
(car args)))))) (car args))))))
((comp-function-optimizable-p f args) ((comp-function-foldable-p f args)
(ignore-errors (ignore-errors
;; No point to complain here in case of error because we ;; No point to complain here in case of error because we
;; should do basic block pruning in order to be sure that this ;; should do basic block pruning in order to be sure that this
@ -2265,12 +2265,12 @@ Forward propagate immediate involed in assignments."
(`(,(or 'call 'callref) ,f . ,args) (`(,(or 'call 'callref) ,f . ,args)
(setf (comp-mvar-type lval) (setf (comp-mvar-type lval)
(alist-get f comp-known-ret-types)) (alist-get f comp-known-ret-types))
(comp-function-call-maybe-remove insn f args)) (comp-function-call-maybe-fold insn f args))
(`(,(or 'direct-call 'direct-callref) ,f . ,args) (`(,(or 'direct-call 'direct-callref) ,f . ,args)
(let ((f (comp-func-name (gethash f (comp-ctxt-funcs-h comp-ctxt))))) (let ((f (comp-func-name (gethash f (comp-ctxt-funcs-h comp-ctxt)))))
(setf (comp-mvar-type lval) (setf (comp-mvar-type lval)
(alist-get f comp-known-ret-types)) (alist-get f comp-known-ret-types))
(comp-function-call-maybe-remove insn f args))) (comp-function-call-maybe-fold insn f args)))
(_ (_
(comp-mvar-propagate lval rval)))) (comp-mvar-propagate lval rval))))
(`(assume ,lval ,rval ,kind) (`(assume ,lval ,rval ,kind)