From unknown Sun Jun 15 01:08:52 2025 X-Loop: help-debbugs@gnu.org Subject: bug#17475: 24.3.91; bug of byte-optimize-zerop Resent-From: Shigeru Fukaya Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 12 May 2014 15:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 17475 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 17475@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.139990749723338 (code B ref -1); Mon, 12 May 2014 15:12:02 +0000 Received: (at submit) by debbugs.gnu.org; 12 May 2014 15:11:37 +0000 Received: from localhost ([127.0.0.1]:60844 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WjrtA-00064L-FG for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:36 -0400 Received: from eggs.gnu.org ([208.118.235.92]:52937) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Wjrt7-00063x-OI for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:34 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wjrst-0005nR-9g for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:28 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_40,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:46840) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wjrst-0005nN-6U for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:19 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54461) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wjrsk-0002cl-4s for bug-gnu-emacs@gnu.org; Mon, 12 May 2014 11:11:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wjrsb-0005gJ-4m for bug-gnu-emacs@gnu.org; Mon, 12 May 2014 11:11:10 -0400 Received: from mail-pa0-x22f.google.com ([2607:f8b0:400e:c03::22f]:54136) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wjrsa-0005fe-Ub for bug-gnu-emacs@gnu.org; Mon, 12 May 2014 11:11:01 -0400 Received: by mail-pa0-f47.google.com with SMTP id lf10so6270786pab.20 for ; Mon, 12 May 2014 08:10:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:mime-version:content-type :content-transfer-encoding:message-id; bh=lUV2/s5xl4EDOSyJH482G/UgqvJZ3FDqEreek/cZ9Ec=; b=NGp7DXXeYP3dZkvW/5kmBh7JzGYmuuo8mmBLrqQw+8dPKVSLPkNf15oAc2gLN82ojm mH1Fep784CCHD36bl2mK2+SBNwmatUCvUv3nujDBnpxSMG7vnGOr3kd/1l8XBfcgwJPh 6VvgAjPqeonbJaAIVtz1xlJZ0smqn5ddAIZNnsF3lODt2tVEUtjOFx/bCGrUOf7rtC6a 0Yc2KVQNnGg70we/bQ/3wIWyKxnAGJXCMdICyaLagqO7D+73r/oH4IAz0km3rwj/kv/X pdS00W8MVoUeZRNMpeRnMXk0Of05bNRz0CqCCBa2z0cp5Xy3HgCzXFzeVTr2IWKmfrL4 7rnw== X-Received: by 10.66.146.170 with SMTP id td10mr56713979pab.105.1399907459340; Mon, 12 May 2014 08:10:59 -0700 (PDT) Received: from gmail.com (115x125x38x6.ap115.ftth.ucom.ne.jp. [115.125.38.6]) by mx.google.com with ESMTPSA id ek2sm23369077pbd.30.2014.05.12.08.10.57 for (version=TLSv1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Mon, 12 May 2014 08:10:58 -0700 (PDT) From: Shigeru Fukaya Date: Tue, 13 May 2014 00:11:11 +0900 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mailer: HidemaruMail 6.24 (WinNT,602) Message-Id: <25CF6DF4691984shigeru.fukaya@gmail.com> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -4.0 (----) `byte-optimize-zerop' is badly implemented. Even when `byte-compile-delete-errors' is non-nil, bute-compiled code may signal an error. (= FORM 0) and (zerop FORM) are functionally equal, besides, the former is better when byte-compiled. The following is the poor alternative. I can't make a smart code without creating a new function. (defun byte-optimize-zerop (form) (cond ((numberp (nth 1 form)) (eval form)) (byte-compile-delete-errors `(and (member ,(nth 1 form) (quote 0 0.0))) t) ((list '= (nth 1 form) 0)))) -- Shigeru From unknown Sun Jun 15 01:08:52 2025 X-Loop: help-debbugs@gnu.org Subject: bug#17475: 24.3.91; bug of byte-optimize-zerop Resent-From: Shigeru Fukaya Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 16 May 2014 21:13:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 17475 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 17475@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.140027475430831 (code B ref -1); Fri, 16 May 2014 21:13:02 +0000 Received: (at submit) by debbugs.gnu.org; 16 May 2014 21:12:34 +0000 Received: from localhost ([127.0.0.1]:37717 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WlPQf-00081B-BN for submit@debbugs.gnu.org; Fri, 16 May 2014 17:12:33 -0400 Received: from eggs.gnu.org ([208.118.235.92]:49249) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WlPQd-00080o-03 for submit@debbugs.gnu.org; Fri, 16 May 2014 17:12:31 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WlPQO-00044u-O4 for submit@debbugs.gnu.org; Fri, 16 May 2014 17:12:25 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_40,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:35497) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WlPQO-00044o-L8 for submit@debbugs.gnu.org; Fri, 16 May 2014 17:12:16 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:50927) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WlPQF-0000sI-Gx for bug-gnu-emacs@gnu.org; Fri, 16 May 2014 17:12:16 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WlPQ6-0003zC-FO for bug-gnu-emacs@gnu.org; Fri, 16 May 2014 17:12:07 -0400 Received: from mail-pb0-x230.google.com ([2607:f8b0:400e:c01::230]:53046) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WlPQ6-0003z1-8l for bug-gnu-emacs@gnu.org; Fri, 16 May 2014 17:11:58 -0400 Received: by mail-pb0-f48.google.com with SMTP id rr13so3073389pbb.7 for ; Fri, 16 May 2014 14:11:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:mime-version:content-type :content-transfer-encoding:in-reply-to:references:message-id; bh=cd4uiPPt4536+VvMu2jjsXsfDBIITsabrIkJYTL6CYE=; b=jpV8MeIkIHnceaY8rsroyG1RGD+mVgMl9CxqHNJLdYBffvF2aOQ3NgJVFpzDO2cFAs NMcYM/RobVuiLy6lgjgbpe3leCtuFBeyJiR4Q7X8waF66prm2wquuR6v18/hJIOqdWye Mx9Wq9fbClWrotjbVqOvWLgHXsfkSWCstk9k6EZjl/tDWKbMI0obXysRlvBh0UTl1kHz ZUNxUY7xAGmzyRqN55pMzdJjmY8Tza3ByHkIi3DanXokEXzdoSvDk6dCIS/fXZz5Nc8R umzFbvsjBX2QUImnrYL3NWTOVy9jTpOL9ZRtUBmNsiHm2d3Vb5dGErkuK2SW271ep8Aa GjVA== X-Received: by 10.68.161.131 with SMTP id xs3mr24189262pbb.16.1400274716494; Fri, 16 May 2014 14:11:56 -0700 (PDT) Received: from gmail.com (115x125x38x6.ap115.ftth.ucom.ne.jp. [115.125.38.6]) by mx.google.com with ESMTPSA id co3sm16202871pbb.89.2014.05.16.14.11.54 for (version=TLSv1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Fri, 16 May 2014 14:11:55 -0700 (PDT) From: Shigeru Fukaya Date: Sat, 17 May 2014 06:11:55 +0900 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mailer: HidemaruMail 6.24 (WinNT,602) In-Reply-To: <25CF6DF4691984shigeru.fukaya@gmail.com> References: <25CF6DF4691984shigeru.fukaya@gmail.com> Message-Id: <2ACF714B777A14shigeru.fukaya@gmail.com> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -4.0 (----) >`byte-optimize-zerop' is badly implemented. Even when >`byte-compile-delete-errors' is non-nil, bute-compiled code may >signal an error. >(= FORM 0) and (zerop FORM) are functionally equal, besides, the >former is better when byte-compiled. > >The following is the poor alternative. >I can't make a smart code without creating a new function. > >(defun byte-optimize-zerop (form) > (cond ((numberp (nth 1 form)) > (eval form)) > (byte-compile-delete-errors > `(and (member ,(nth 1 form) (quote 0 0.0))) t) > ((list '= (nth 1 form) 0)))) > >-- Shigeru zerop itself is not an error-free fuction. I'll change my poroposal code. (defun byte-optimize-zerop (form) (cond ((numberp (nth 1 form)) (eval form)) ((list '= (nth 1 form) 0)))) -- Shigeru From unknown Sun Jun 15 01:08:52 2025 X-Loop: help-debbugs@gnu.org Subject: bug#17475: 24.3.91; bug of byte-optimize-zerop Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 20 May 2014 18:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 17475 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Shigeru Fukaya Cc: 17475@debbugs.gnu.org Received: via spool by 17475-submit@debbugs.gnu.org id=B17475.140061080830658 (code B ref 17475); Tue, 20 May 2014 18:34:02 +0000 Received: (at 17475) by debbugs.gnu.org; 20 May 2014 18:33:28 +0000 Received: from localhost ([127.0.0.1]:54529 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Wmoqt-0007yP-SJ for submit@debbugs.gnu.org; Tue, 20 May 2014 14:33:28 -0400 Received: from mercure.iro.umontreal.ca ([132.204.24.67]:33249) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Wmoqg-0007xx-8k for 17475@debbugs.gnu.org; Tue, 20 May 2014 14:33:26 -0400 Received: from hidalgo.iro.umontreal.ca (hidalgo.iro.umontreal.ca [132.204.27.50]) by mercure.iro.umontreal.ca (Postfix) with ESMTP id 6F3872413E; Tue, 20 May 2014 14:33:13 -0400 (EDT) Received: from lechon.iro.umontreal.ca (lechon.iro.umontreal.ca [132.204.27.242]) by hidalgo.iro.umontreal.ca (Postfix) with ESMTP id 2EC571E5B7C; Tue, 20 May 2014 14:32:49 -0400 (EDT) Received: by lechon.iro.umontreal.ca (Postfix, from userid 20848) id 1E1AAB40F9; Tue, 20 May 2014 14:32:49 -0400 (EDT) From: Stefan Monnier Message-ID: References: <25CF6DF4691984shigeru.fukaya@gmail.com> <2ACF714B777A14shigeru.fukaya@gmail.com> Date: Tue, 20 May 2014 14:32:49 -0400 In-Reply-To: <2ACF714B777A14shigeru.fukaya@gmail.com> (Shigeru Fukaya's message of "Sat, 17 May 2014 06:11:55 +0900") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-DIRO-MailScanner-Information: Please contact the ISP for more information X-DIRO-MailScanner: Found to be clean X-DIRO-MailScanner-SpamCheck: n'est pas un polluriel, SpamAssassin (score=-2.82, requis 5, autolearn=not spam, ALL_TRUSTED -2.82, MC_TSTLAST 0.00) X-DIRO-MailScanner-From: monnier@iro.umontreal.ca X-Spam-Status: No X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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.0 (---) > zerop itself is not an error-free fuction. > I'll change my poroposal code. > (defun byte-optimize-zerop (form) > (cond ((numberp (nth 1 form)) > (eval form)) > ((list '= (nth 1 form) 0)))) Actually, you can drop the first option since the optimizer rules for `=' will take care of it for us. Stefan From unknown Sun Jun 15 01:08:52 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.503 (Entity 5.503) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Shigeru Fukaya Subject: bug#17475: closed (Re: bug#17475: 24.3.91; bug of byte-optimize-zerop) Message-ID: References: <25CF6DF4691984shigeru.fukaya@gmail.com> X-Gnu-PR-Message: they-closed 17475 X-Gnu-PR-Package: emacs Reply-To: 17475@debbugs.gnu.org Date: Wed, 28 May 2014 00:52:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1401238323-23754-1" This is a multi-part message in MIME format... ------------=_1401238323-23754-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #17475: 24.3.91; bug of byte-optimize-zerop which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 17475@debbugs.gnu.org. --=20 17475: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D17475 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1401238323-23754-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 17475-done) by debbugs.gnu.org; 28 May 2014 00:51:49 +0000 Received: from localhost ([127.0.0.1]:33831 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WpS5t-0006AW-1R for submit@debbugs.gnu.org; Tue, 27 May 2014 20:51:49 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.181]:12881) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WpS5r-0006AH-1d for 17475-done@debbugs.gnu.org; Tue, 27 May 2014 20:51:47 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYGAIDvNVNLd/fU/2dsb2JhbABZgwaDSr0vgw6BFxd0giYBAQRWIxALNBIUGA0kiAzSGReOegeEOASpGYFqg0wh X-IPAS-Result: ArYGAIDvNVNLd/fU/2dsb2JhbABZgwaDSr0vgw6BFxd0giYBAQRWIxALNBIUGA0kiAzSGReOegeEOASpGYFqg0wh X-IronPort-AV: E=Sophos;i="4.97,753,1389762000"; d="scan'208";a="64499653" Received: from 75-119-247-212.dsl.teksavvy.com (HELO pastel.home) ([75.119.247.212]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 27 May 2014 20:51:41 -0400 Received: by pastel.home (Postfix, from userid 20848) id E9A6C60094; Tue, 27 May 2014 20:51:40 -0400 (EDT) From: Stefan Monnier To: Shigeru Fukaya Subject: Re: bug#17475: 24.3.91; bug of byte-optimize-zerop Message-ID: References: <25CF6DF4691984shigeru.fukaya@gmail.com> <2ACF714B777A14shigeru.fukaya@gmail.com> Date: Tue, 27 May 2014 20:51:40 -0400 In-Reply-To: <2ACF714B777A14shigeru.fukaya@gmail.com> (Shigeru Fukaya's message of "Sat, 17 May 2014 06:11:55 +0900") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 17475-done Cc: 17475-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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.3 (/) > (defun byte-optimize-zerop (form) > (cond ((numberp (nth 1 form)) > (eval form)) > ((list '= (nth 1 form) 0)))) I simplified as suggested and turned it into a compiler-macro. Thank you for paying attention to details. Stefan ------------=_1401238323-23754-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 12 May 2014 15:11:37 +0000 Received: from localhost ([127.0.0.1]:60844 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WjrtA-00064L-FG for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:36 -0400 Received: from eggs.gnu.org ([208.118.235.92]:52937) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Wjrt7-00063x-OI for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:34 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wjrst-0005nR-9g for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:28 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_40,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:46840) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wjrst-0005nN-6U for submit@debbugs.gnu.org; Mon, 12 May 2014 11:11:19 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54461) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wjrsk-0002cl-4s for bug-gnu-emacs@gnu.org; Mon, 12 May 2014 11:11:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wjrsb-0005gJ-4m for bug-gnu-emacs@gnu.org; Mon, 12 May 2014 11:11:10 -0400 Received: from mail-pa0-x22f.google.com ([2607:f8b0:400e:c03::22f]:54136) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wjrsa-0005fe-Ub for bug-gnu-emacs@gnu.org; Mon, 12 May 2014 11:11:01 -0400 Received: by mail-pa0-f47.google.com with SMTP id lf10so6270786pab.20 for ; Mon, 12 May 2014 08:10:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:mime-version:content-type :content-transfer-encoding:message-id; bh=lUV2/s5xl4EDOSyJH482G/UgqvJZ3FDqEreek/cZ9Ec=; b=NGp7DXXeYP3dZkvW/5kmBh7JzGYmuuo8mmBLrqQw+8dPKVSLPkNf15oAc2gLN82ojm mH1Fep784CCHD36bl2mK2+SBNwmatUCvUv3nujDBnpxSMG7vnGOr3kd/1l8XBfcgwJPh 6VvgAjPqeonbJaAIVtz1xlJZ0smqn5ddAIZNnsF3lODt2tVEUtjOFx/bCGrUOf7rtC6a 0Yc2KVQNnGg70we/bQ/3wIWyKxnAGJXCMdICyaLagqO7D+73r/oH4IAz0km3rwj/kv/X pdS00W8MVoUeZRNMpeRnMXk0Of05bNRz0CqCCBa2z0cp5Xy3HgCzXFzeVTr2IWKmfrL4 7rnw== X-Received: by 10.66.146.170 with SMTP id td10mr56713979pab.105.1399907459340; Mon, 12 May 2014 08:10:59 -0700 (PDT) Received: from gmail.com (115x125x38x6.ap115.ftth.ucom.ne.jp. [115.125.38.6]) by mx.google.com with ESMTPSA id ek2sm23369077pbd.30.2014.05.12.08.10.57 for (version=TLSv1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Mon, 12 May 2014 08:10:58 -0700 (PDT) From: Shigeru Fukaya To: bug-gnu-emacs@gnu.org Subject: 24.3.91; bug of byte-optimize-zerop Date: Tue, 13 May 2014 00:11:11 +0900 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mailer: HidemaruMail 6.24 (WinNT,602) Message-Id: <25CF6DF4691984shigeru.fukaya@gmail.com> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -4.0 (----) `byte-optimize-zerop' is badly implemented. Even when `byte-compile-delete-errors' is non-nil, bute-compiled code may signal an error. (= FORM 0) and (zerop FORM) are functionally equal, besides, the former is better when byte-compiled. The following is the poor alternative. I can't make a smart code without creating a new function. (defun byte-optimize-zerop (form) (cond ((numberp (nth 1 form)) (eval form)) (byte-compile-delete-errors `(and (member ,(nth 1 form) (quote 0 0.0))) t) ((list '= (nth 1 form) 0)))) -- Shigeru ------------=_1401238323-23754-1--