GNU bug report logs - #65527
30.0.50; native compilation: type optimization does not always work for `lisp' return value

Previous Next

To reply to this bug, email your comments to 65527 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Ihor Radchenko <yantar92 <at> posteo.net>
To: bug-gnu-emacs <at> gnu.org
Subject: 30.0.50; native compilation: type optimization does not always work
 for `lisp' return value
Date: Fri, 25 Aug 2023 10:55:22 +0000

X-Debbugs-CC: acorallo <at> gnu.org

Hi,

Following up https://yhetil.org/emacs-devel/yp1pm3b7a2x.fsf <at> fencepost.gnu.org

When we have

(defun test1 ()
  (let ((x (list 'a 'b 'c)))
    (when (listp x) "Return value")))

native compilation, fails to optimize away the `listp' return value
despite it is known that x is a list at compile time.

In GNU Emacs 30.0.50 (build 58, x86_64-pc-linux-gnu, GTK+ Version
 3.24.38, cairo version 1.17.8) of 2023-08-24 built on localhost
Repository revision: 476db65dc780d8c501d73dfaaf92c53eb9c73b2f
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12101008
System Description: Gentoo Linux

Configured using:
 'configure --with-native-compilation
 JAVAC=/etc/java-config-2/current-system-vm/bin/javac'


-- 
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>

Message #8 received at 65527 <at> debbugs.gnu.org (full text, mbox):

From: Andrea Corallo <acorallo <at> gnu.org>
To: Ihor Radchenko <yantar92 <at> posteo.net>
Cc: 65527 <at> debbugs.gnu.org
Subject: Re: bug#65527: 30.0.50; native compilation: type optimization does
 not always work for `lisp' return value
Date: Fri, 25 Aug 2023 07:44:50 -0400

Ihor Radchenko <yantar92 <at> posteo.net> writes:

> X-Debbugs-CC: acorallo <at> gnu.org
>
> Hi,
>
> Following up https://yhetil.org/emacs-devel/yp1pm3b7a2x.fsf <at> fencepost.gnu.org
>
> When we have
>
> (defun test1 ()
>   (let ((x (list 'a 'b 'c)))
>     (when (listp x) "Return value")))
>
> native compilation, fails to optimize away the `listp' return value
> despite it is known that x is a list at compile time.
>

Thanks, will look at.

  Andrea

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.