From unknown Sun Jun 15 08:13:04 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#65527 <65527@debbugs.gnu.org> To: bug#65527 <65527@debbugs.gnu.org> Subject: Status: 30.0.50; native compilation: type optimization does not always work for `lisp' return value Reply-To: bug#65527 <65527@debbugs.gnu.org> Date: Sun, 15 Jun 2025 15:13:04 +0000 retitle 65527 30.0.50; native compilation: type optimization does not alway= s work for `lisp' return value reassign 65527 emacs submitter 65527 Ihor Radchenko severity 65527 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 25 06:55:13 2023 Received: (at submit) by debbugs.gnu.org; 25 Aug 2023 10:55:13 +0000 Received: from localhost ([127.0.0.1]:39388 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qZUTA-0004wA-LE for submit@debbugs.gnu.org; Fri, 25 Aug 2023 06:55:12 -0400 Received: from lists.gnu.org ([2001:470:142::17]:50300) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qZUT6-0004vq-QK for submit@debbugs.gnu.org; Fri, 25 Aug 2023 06:55:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qZUSv-00026U-Tn for bug-gnu-emacs@gnu.org; Fri, 25 Aug 2023 06:54:57 -0400 Received: from mout01.posteo.de ([185.67.36.65]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qZUSt-00039F-2m for bug-gnu-emacs@gnu.org; Fri, 25 Aug 2023 06:54:57 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 3CF04240028 for ; Fri, 25 Aug 2023 12:54:53 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1692960893; bh=1gxD68uOB1vvqs8LKycl0xYfQbn02A3cHLVmvQnrNWY=; h=From:To:Subject:Date:Message-ID:MIME-Version:From; b=UWBVLE5FvfiyA0im8XmukMEI6famzHUNAlr0T+1OkSnoX6v79dVs6ZWF6o0yzs3nS dYKX5eBCtrz7PVV6uj2LKG4v0T564Nc881WKrNJHFhea9uDXl6GdkJj7ZZIZMBBSrO XUCh8UvHTX2Z6Yos9XM1R/hUdvpGo97+aWShAaUjGCeOxubBrQcqZHFX+P+xqKEOMY 3VHA0Oj05cQo20T0HY03BKozDjLaE8fAz2oGRQ7wHjW9qYx4vfFBR4u55DFeU/rrtV 0eDf5N0QN/44HiKefV2l3F7WDDVZjYEo/8M3HnKdifGd5oHJ+aSkDui7A8VglrGC65 3ib+Vk0UnTWtw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4RXH0D4ts8z9ryr for ; Fri, 25 Aug 2023 12:54:52 +0200 (CEST) From: Ihor Radchenko To: bug-gnu-emacs@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 Message-ID: <87jztjbdd1.fsf@localhost> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=185.67.36.65; envelope-from=yantar92@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) X-Debbugs-CC: acorallo@gnu.org Hi, Following up https://yhetil.org/emacs-devel/yp1pm3b7a2x.fsf@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 . Support Org development at , or support my work at From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 25 07:45:05 2023 Received: (at 65527) by debbugs.gnu.org; 25 Aug 2023 11:45:05 +0000 Received: from localhost ([127.0.0.1]:39466 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qZVFR-0000d1-Cy for submit@debbugs.gnu.org; Fri, 25 Aug 2023 07:45:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39110) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qZVFN-0000c9-AJ for 65527@debbugs.gnu.org; Fri, 25 Aug 2023 07:45:03 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qZVFD-0005fH-A4; Fri, 25 Aug 2023 07:44:51 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=iUXytz+SzmchvRnYHPSIk87+zVwLw2+cvjKE7oDjR70=; b=rqSK7A6s13rzn25Cej5n 0IA3RiiUlXQkxRwSsbfwd4zvsuBvUtT9J7jgT76Z/WJdHpDWlK5sd3D9oZ2FK+bGLKBLRQ2ETW2x1 LZZhd/aykI/cWIPBcGf2LMEge4pbxJymplbr/lJRCd4U49dwg9/j3T5vm1+nJxT1vKtraTx/UadS2 WMl8ddKsI3wXw7NNgaZf6JjUasV2YjW4G16gYgusVaXTnrDmnewwXuBW7p0xxl7u2GRCB3Ru4RMdA QdAeiTTvsfKwh1YNvz61dVrdvwkhM2APtMIdONWp0GniSoGS3WdUJh+LX5WYnpjT4reCEawaLtT/k /oG1exGYteGQsQ==; Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1qZVFC-0003nV-2Q; Fri, 25 Aug 2023 07:44:50 -0400 From: Andrea Corallo To: Ihor Radchenko Subject: Re: bug#65527: 30.0.50; native compilation: type optimization does not always work for `lisp' return value In-Reply-To: <87jztjbdd1.fsf@localhost> (Ihor Radchenko's message of "Fri, 25 Aug 2023 10:55:22 +0000") References: <87jztjbdd1.fsf@localhost> Date: Fri, 25 Aug 2023 07:44:50 -0400 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 65527 Cc: 65527@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Ihor Radchenko writes: > X-Debbugs-CC: acorallo@gnu.org > > Hi, > > Following up https://yhetil.org/emacs-devel/yp1pm3b7a2x.fsf@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