mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-06 06:20:55 -08:00
Code Issues Projects Releases Wiki Activity

Improved null (alias not) optimisation

Browse source 
Take static boolean information of the argument into account.

* lisp/emacs-lisp/byte-opt.el (byte-optimize-not): New.
This commit is contained in:
Mattias Engdegård 2022-08-16 19:03:46 +02:00
parent 621550c076
commit fb98c4a406
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
lisp/emacs-lisp/byte-opt.el
View file

@ -1306,11 +1306,22 @@ See Info node `(elisp) Integer Basics'."
condition
form)))
(defun byte-optimize-not (form)
(and (= (length form) 2)
(let ((arg (nth 1 form)))
(cond ((null arg) t)
((macroexp-const-p arg) nil)
((byte-compile-nilconstp arg) `(progn ,arg t))
((byte-compile-trueconstp arg) `(progn ,arg nil))
(t form)))))
(put 'and 'byte-optimizer #'byte-optimize-and)
(put 'or 'byte-optimizer #'byte-optimize-or)
(put 'cond 'byte-optimizer #'byte-optimize-cond)
(put 'if 'byte-optimizer #'byte-optimize-if)
(put 'while 'byte-optimizer #'byte-optimize-while)
(put 'not 'byte-optimizer #'byte-optimize-not)
(put 'null 'byte-optimizer #'byte-optimize-not)
;; byte-compile-negation-optimizer lives in bytecomp.el
(put '/= 'byte-optimizer #'byte-compile-negation-optimizer)