diff options
| author | Andrea Corallo <akrl@sdf.org> | 2020-11-08 10:40:05 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2020-11-12 00:54:46 +0100 |
| commit | c3d0e2a09fd72aa9209dda3057bbb02f6a3b3df6 (patch) | |
| tree | f18a3c9c5c5611bc9b9e2f2e4d3bc16575263703 /lisp/emacs-lisp/comp.el | |
| parent | e20cdf937e74ebcaa2c6dabb63be1c20a6ea44f6 (diff) | |
| download | emacs-c3d0e2a09fd72aa9209dda3057bbb02f6a3b3df6.tar.gz emacs-c3d0e2a09fd72aa9209dda3057bbb02f6a3b3df6.tar.bz2 emacs-c3d0e2a09fd72aa9209dda3057bbb02f6a3b3df6.zip | |
* Rename two nativecomp functions
* 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.
Diffstat (limited to 'lisp/emacs-lisp/comp.el')
| -rw-r--r-- | lisp/emacs-lisp/comp.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el index 887a6a503ec..8bee8afeacf 100644 --- a/lisp/emacs-lisp/comp.el +++ b/lisp/emacs-lisp/comp.el @@ -2223,12 +2223,12 @@ Forward propagate immediate involed in assignments." (comp-mvar-constant lval) (comp-mvar-constant 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." (and (cl-every #'comp-mvar-const-vld args) (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." (cl-flet ((rewrite-insn-as-setimm (insn value) ;; See `comp-emit-setimm'. @@ -2243,7 +2243,7 @@ Forward propagate immediate involed in assignments." comp-symbol-values-optimizable))) (rewrite-insn-as-setimm insn (symbol-value (comp-mvar-constant (car args)))))) - ((comp-function-optimizable-p f args) + ((comp-function-foldable-p f args) (ignore-errors ;; No point to complain here in case of error because we ;; 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) (setf (comp-mvar-type lval) (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) (let ((f (comp-func-name (gethash f (comp-ctxt-funcs-h comp-ctxt))))) (setf (comp-mvar-type lval) (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)))) (`(assume ,lval ,rval ,kind) |