From: Andrea Corallo <akrl@sdf.org>
Date: Fri, 4 Feb 2022 14:45:42 +0000 (+0100)
Subject: * Have `null' and `not' explicit in LIMPLE so we inline them
X-Git-Tag: emacs-29.0.90~2529
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=dcf30f14f90d13ffe9d1ccca153b17287334060e;p=emacs.git

* Have `null' and `not' explicit in LIMPLE so we inline them

* lisp/emacs-lisp/comp.el (comp-limplify-lap-inst): Generate explicit
`eq' call in LIMPLE for LAP opcode 'not'.
---

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 9c2fc93821e..122638077ce 100644
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -1832,7 +1832,9 @@ and the annotation emission."
       (byte-listp auto)
       (byte-eq auto)
       (byte-memq auto)
-      (byte-not null)
+      (byte-not
+       (comp-emit-set-call (comp-call 'eq (comp-slot-n (comp-sp))
+                                      (make-comp-mvar :constant nil))))
       (byte-car auto)
       (byte-cdr auto)
       (byte-cons auto)