From unknown Sun Aug 10 11:50:39 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#5754 <5754@debbugs.gnu.org> To: bug#5754 <5754@debbugs.gnu.org> Subject: Status: Bytecomp Arithmetic test failed Reply-To: bug#5754 <5754@debbugs.gnu.org> Date: Sun, 10 Aug 2025 18:50:39 +0000 retitle 5754 Bytecomp Arithmetic test failed reassign 5754 emacs submitter 5754 Juri Linkov severity 5754 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 23 03:51:18 2010 Received: (at submit) by debbugs.gnu.org; 23 Mar 2010 07:51:18 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NtytR-0003U2-Tm for submit@debbugs.gnu.org; Tue, 23 Mar 2010 03:51:18 -0400 Received: from mx10.gnu.org ([199.232.76.166]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NtytQ-0003Tx-6R for submit@debbugs.gnu.org; Tue, 23 Mar 2010 03:51:16 -0400 Received: from lists.gnu.org ([199.232.76.165]:38113) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1NtytN-000542-2i for submit@debbugs.gnu.org; Tue, 23 Mar 2010 03:51:13 -0400 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NtytK-0007bF-3c for bug-gnu-emacs@gnu.org; Tue, 23 Mar 2010 03:51:10 -0400 Received: from [140.186.70.92] (port=38394 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NtytF-0007al-2t for bug-gnu-emacs@gnu.org; Tue, 23 Mar 2010 03:51:06 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.0 (2010-01-18) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_LOW autolearn=unavailable version=3.3.0 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1NtytD-0004wB-6W for bug-gnu-emacs@gnu.org; Tue, 23 Mar 2010 03:51:04 -0400 Received: from smtp-out1.starman.ee ([85.253.0.3]:44597 helo=mx1.starman.ee) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NtytC-0004vx-SH for bug-gnu-emacs@gnu.org; Tue, 23 Mar 2010 03:51:03 -0400 X-Virus-Scanned: by Amavisd-New at mx1.starman.ee Received: from mail.starman.ee (82.131.30.14.cable.starman.ee [82.131.30.14]) by mx1.starman.ee (Postfix) with ESMTP id 3A5963F4096 for ; Tue, 23 Mar 2010 09:50:56 +0200 (EET) From: Juri Linkov To: bug-gnu-emacs@gnu.org Subject: Bytecomp Arithmetic test failed Organization: JURTA Date: Tue, 23 Mar 2010 09:47:59 +0200 Message-ID: <87ocifjx74.fsf@mail.jurta.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-Spam-Score: -4.9 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.0 (-----) I tried to run some tests in the `test' subdir, and `bytecomp-testsuite-run' in `test/bytecomp-testsuite.el' fails on one test: (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)) returns 5e-324 when evaluated by interpreter, but after byte-compilation returns 0.0 In GNU Emacs 24.0.50 (x86_64-pc-linux-gnu) of 2010-03-23 Windowing system distributor `The X.Org Foundation', version 11.0.10400090 configured using `configure '--with-x-toolkit=no' 'CFLAGS=-g3 -O0 -Wno-pointer-sign -fno-inline -fno-crossjumping'' Important settings: value of $LC_ALL: nil value of $LC_COLLATE: nil value of $LC_CTYPE: nil value of $LC_MESSAGES: nil value of $LC_MONETARY: nil value of $LC_NUMERIC: nil value of $LC_TIME: en_DK.utf8 value of $LANG: en_US.UTF-8 value of $XMODIFIERS: @im=SCIM locale-coding-system: utf-8-unix default enable-multibyte-characters: t -- Juri Linkov http://www.jurta.org/emacs/ From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 23 04:39:03 2010 Received: (at 5754) by debbugs.gnu.org; 23 Mar 2010 08:39:04 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Ntzdf-0003o0-Nx for submit@debbugs.gnu.org; Tue, 23 Mar 2010 04:39:03 -0400 Received: from mail-fx0-f216.google.com ([209.85.220.216]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Ntzdd-0003nf-Tm for 5754@debbugs.gnu.org; Tue, 23 Mar 2010 04:39:02 -0400 Received: by fxm8 with SMTP id 8so1486796fxm.5 for <5754@debbugs.gnu.org>; Tue, 23 Mar 2010 01:38:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :from:date:message-id:subject:to:cc:content-type; bh=nD69Sj5+8ZvRxNIaHheJGwd388k18dr/Kvrc1hswlGg=; b=qTVNkCEQY+hV0gF1yWmKFhHFt8vvFVIVDz5ZZFC2L4dOJAsJvmXuDk8dTYalv8VLYv ie5GrCsiu5eOK9TcayCBK4AL3DqJBcQX9Pa+jpLsg5C33pEIw2n/DVukIqpKpUHHG5Zf 0/4dI2P39JHct5bFiSTXBSknjjoD7oX88a2qo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=cAuhQJQC2aZneFxQxnSACR7um5MGRf145Aln2v3/KGo0ZSJEn4QCqI+OHBvGpUkXOc 7iE/27l3sI24VyC7o+miz9jN3CtPwNSoDcR/etYJEFzfHLM9JC4gFCEpD6e2s8tN1wk3 5IPSC4alzEeTN7dFIkHoK7sNN8cIHG8VoaXRM= MIME-Version: 1.0 Received: by 10.239.184.7 with SMTP id w7mr635763hbg.25.1269333538198; Tue, 23 Mar 2010 01:38:58 -0700 (PDT) In-Reply-To: <87ocifjx74.fsf@mail.jurta.org> References: <87ocifjx74.fsf@mail.jurta.org> From: Lennart Borgman Date: Tue, 23 Mar 2010 09:38:38 +0100 Message-ID: Subject: Re: bug#5754: Bytecomp Arithmetic test failed To: Juri Linkov Content-Type: text/plain; charset=UTF-8 X-Spam-Score: -2.9 (--) X-Debbugs-Envelope-To: 5754 Cc: 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.9 (--) On Tue, Mar 23, 2010 at 8:47 AM, Juri Linkov wrote: > I tried to run some tests in the `test' subdir, Should not these tests be run automatically when building Emacs? > and `bytecomp-testsuite-run' in `test/bytecomp-testsuite.el' fails > on one test: (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)) > returns 5e-324 when evaluated by interpreter, > but after byte-compilation returns 0.0 From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 23 05:04:37 2010 Received: (at 5754) by debbugs.gnu.org; 23 Mar 2010 09:04:37 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nu02P-0003wh-5S for submit@debbugs.gnu.org; Tue, 23 Mar 2010 05:04:37 -0400 Received: from smtp-out1.starman.ee ([85.253.0.3] helo=mx1.starman.ee) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nu02M-0003wb-Kc for 5754@debbugs.gnu.org; Tue, 23 Mar 2010 05:04:35 -0400 X-Virus-Scanned: by Amavisd-New at mx1.starman.ee Received: from mail.starman.ee (82.131.30.14.cable.starman.ee [82.131.30.14]) by mx1.starman.ee (Postfix) with ESMTP id 805163F4081; Tue, 23 Mar 2010 11:04:26 +0200 (EET) From: Juri Linkov To: Lennart Borgman Subject: Re: bug#5754: Bytecomp Arithmetic test failed Organization: JURTA References: <87ocifjx74.fsf@mail.jurta.org> Date: Tue, 23 Mar 2010 11:03:35 +0200 In-Reply-To: (Lennart Borgman's message of "Tue, 23 Mar 2010 09:38:38 +0100") Message-ID: <878w9jjtp0.fsf@mail.jurta.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -3.5 (---) X-Debbugs-Envelope-To: 5754 Cc: 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.5 (---) >> I tried to run some tests in the `test' subdir, > > Should not these tests be run automatically when building Emacs? Not when building Emacs, but there should be a make target like `make test'. And when choosing a unit test framework to add to Emacs, the main criteria should be the ability to run tests in batch mode. -- Juri Linkov http://www.jurta.org/emacs/ From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 23 09:32:12 2010 Received: (at 5754) by debbugs.gnu.org; 23 Mar 2010 13:32:12 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nu4DK-00067K-7p for submit@debbugs.gnu.org; Tue, 23 Mar 2010 09:32:12 -0400 Received: from mail-ew0-f228.google.com ([209.85.219.228]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nu4DI-00067C-0a for 5754@debbugs.gnu.org; Tue, 23 Mar 2010 09:32:08 -0400 Received: by ewy28 with SMTP id 28so1134293ewy.16 for <5754@debbugs.gnu.org>; Tue, 23 Mar 2010 06:32:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :from:date:message-id:subject:to:cc:content-type :content-transfer-encoding; bh=pK5XV0NkCcY7QaNWsp3SWKHO15pd7MasdwHp+MrjRHk=; b=U7J53yKSnFAq70eqwINSWVh60UVftDeHMpC1Zi9u/a7/7pIb9PdQnMnnS6cjIescHB MzvJdLqc9mdGPr4ZptO7vISdvWCY6e5lMiLPepg1D2Af91Ah5+YkHowpCtg4Vm52UJU6 iufnWHCHTuyvSIsOuffALn/q6YJ6YPdNKiRjI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; b=HcM3QeRZmMevuQMo3um2ig5aBza9N0iCw3mpoNhiG3bXdvngetGF7iQ3rHv6cz+Phn d3MheNY8ZMN3zQUv32/UjZIcwlLs2+4PuP+17mFFUfjNwtR/l0G9fXEO7CmL/5Cop2HM NhzDUHjXTdE/D2I+kPdyRIc+stqYOAIPeom8U= MIME-Version: 1.0 Received: by 10.239.165.9 with SMTP id v9mr399944hbd.152.1269351122138; Tue, 23 Mar 2010 06:32:02 -0700 (PDT) In-Reply-To: <878w9jjtp0.fsf@mail.jurta.org> References: <87ocifjx74.fsf@mail.jurta.org> <878w9jjtp0.fsf@mail.jurta.org> From: Lennart Borgman Date: Tue, 23 Mar 2010 14:31:42 +0100 Message-ID: Subject: Re: bug#5754: Bytecomp Arithmetic test failed To: Juri Linkov Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.9 (--) X-Debbugs-Envelope-To: 5754 Cc: 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.9 (--) On Tue, Mar 23, 2010 at 10:03 AM, Juri Linkov wrote: >>> I tried to run some tests in the `test' subdir, >> >> Should not these tests be run automatically when building Emacs? > > Not when building Emacs, but there should be a make target like > `make test'. =C2=A0And when choosing a unit test framework to add to Emac= s, > the main criteria should be the ability to run tests in batch mode. (Sorry for taking up the question here, but I hope it is not forgotten.) Yes, there should such a target. But why don't you think it would be run at the end of the build process? From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 24 18:16:10 2010 Received: (at 5754) by debbugs.gnu.org; 24 Mar 2010 22:16:10 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NuYrx-0004wf-NC for submit@debbugs.gnu.org; Wed, 24 Mar 2010 18:16:10 -0400 Received: from pantheon-po33.its.yale.edu ([130.132.50.94]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NuYrv-0004wa-Nt for 5754@debbugs.gnu.org; Wed, 24 Mar 2010 18:16:08 -0400 Received: from furry (dhcp128036014175.central.yale.edu [128.36.14.175]) (authenticated bits=0) by pantheon-po33.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o2OMFjRU017529 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 24 Mar 2010 18:15:57 -0400 Received: by furry (Postfix, from userid 1000) id D9790C011; Wed, 24 Mar 2010 18:15:42 -0400 (EDT) From: Chong Yidong To: Lennart Borgman Subject: Re: bug#5754: Bytecomp Arithmetic test failed References: <87ocifjx74.fsf@mail.jurta.org> <878w9jjtp0.fsf@mail.jurta.org> Date: Wed, 24 Mar 2010 18:15:41 -0400 In-Reply-To: (Lennart Borgman's message of "Tue, 23 Mar 2010 14:31:42 +0100") Message-ID: <87ljdh9xiq.fsf@stupidchicken.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1.94 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -2.8 (--) X-Debbugs-Envelope-To: 5754 Cc: Juri Linkov , 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.8 (--) Lennart Borgman writes: >> Not when building Emacs, but there should be a make target like >> `make test'. And when choosing a unit test framework to add to Emacs, >> the main criteria should be the ability to run tests in batch mode. > > Yes, there should such a target. But why don't you think it would be > run at the end of the build process? No, thanks. It would be a nuisance for developers. From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 24 18:52:57 2010 Received: (at 5754) by debbugs.gnu.org; 24 Mar 2010 22:52:57 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NuZRY-0005AP-Ve for submit@debbugs.gnu.org; Wed, 24 Mar 2010 18:52:57 -0400 Received: from mail-fx0-f219.google.com ([209.85.220.219]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NuZRX-0005AK-1R for 5754@debbugs.gnu.org; Wed, 24 Mar 2010 18:52:55 -0400 Received: by fxm19 with SMTP id 19so2279326fxm.39 for <5754@debbugs.gnu.org>; Wed, 24 Mar 2010 15:52:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :from:date:message-id:subject:to:cc:content-type :content-transfer-encoding; bh=HUvWyXtLgzwFReE65ZGk3GQX/m56DWLDwhLwgHjFa5o=; b=C3PU7zjV3xVyWMSeScSjhKBSsoJ+kKh/W59X95c+WF5+PbBt1Q6rSJo+7DWW/lxn0B QPbB88seSePqgU6EKxj5uR4nYNWxqt+Pi+Dc0ulxMkeeBOReD9Xb7xMrApnveBq4bvVr PjGPtmFoDjPPGQmqUbQV7W4XIwSP+3Q1hkuzk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; b=Wcz3s96v5BPr8h89cQysa0JMCY3cJ903SafURPtn+8/JXmFJ5SwDOY17WSzhyEWzzj dIAr7XbawW5n4maBqOJ+6TjXrNGRIig6N7oM34u8iS2NOxVUjmLE6dml593OqR67iUkH S4iPXJfICTz5R7eaajFwRf6+MiDdHGj4lo2u4= MIME-Version: 1.0 Received: by 10.239.137.11 with SMTP id j11mr770163hbj.177.1269471169707; Wed, 24 Mar 2010 15:52:49 -0700 (PDT) In-Reply-To: <87ljdh9xiq.fsf@stupidchicken.com> References: <87ocifjx74.fsf@mail.jurta.org> <878w9jjtp0.fsf@mail.jurta.org> <87ljdh9xiq.fsf@stupidchicken.com> From: Lennart Borgman Date: Wed, 24 Mar 2010 23:52:29 +0100 Message-ID: Subject: Re: bug#5754: Bytecomp Arithmetic test failed To: Chong Yidong Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.9 (--) X-Debbugs-Envelope-To: 5754 Cc: Juri Linkov , 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.9 (--) On Wed, Mar 24, 2010 at 11:15 PM, Chong Yidong wrot= e: > Lennart Borgman writes: > >>> Not when building Emacs, but there should be a make target like >>> `make test'. =C2=A0And when choosing a unit test framework to add to Em= acs, >>> the main criteria should be the ability to run tests in batch mode. >> >> Yes, there should such a target. But why don't you think it would be >> run at the end of the build process? > > No, thanks. =C2=A0It would be a nuisance for developers. In what way? The idea behind unit tests is to catch errors as soon as possible after each change. Would not running the unit tests directly after building help with that? Some problems are platform specific and will perhaps show up during unit tests. From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 24 21:16:04 2010 Received: (at 5754) by debbugs.gnu.org; 25 Mar 2010 01:16:04 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nubg4-0005zA-7I for submit@debbugs.gnu.org; Wed, 24 Mar 2010 21:16:04 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.183] helo=ironport2-out.pppoe.ca) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nubg2-0005yp-9P for 5754@debbugs.gnu.org; Wed, 24 Mar 2010 21:16:02 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEALZVqkvO+Kqq/2dsb2JhbACbGnS/eoR+BIsb X-IronPort-AV: E=Sophos;i="4.51,304,1267419600"; d="scan'208";a="59003800" Received: from 206-248-170-170.dsl.teksavvy.com (HELO ceviche.home) ([206.248.170.170]) by ironport2-out.pppoe.ca with ESMTP; 24 Mar 2010 21:15:57 -0400 Received: by ceviche.home (Postfix, from userid 20848) id A584A660BF; Wed, 24 Mar 2010 21:15:57 -0400 (EDT) From: Stefan Monnier To: Lennart Borgman Subject: Re: bug#5754: Bytecomp Arithmetic test failed Message-ID: References: <87ocifjx74.fsf@mail.jurta.org> <878w9jjtp0.fsf@mail.jurta.org> <87ljdh9xiq.fsf@stupidchicken.com> Date: Wed, 24 Mar 2010 21:15:57 -0400 In-Reply-To: (Lennart Borgman's message of "Wed, 24 Mar 2010 23:52:29 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.1 (--) X-Debbugs-Envelope-To: 5754 Cc: Chong Yidong , 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.1 (--) >>>> Not when building Emacs, but there should be a make target like >>>> `make test'. =A0And when choosing a unit test framework to add to Emac= s, >>>> the main criteria should be the ability to run tests in batch mode. >>> Yes, there should such a target. But why don't you think it would be >>> run at the end of the build process? >> No, thanks. =A0It would be a nuisance for developers. > In what way? > The idea behind unit tests is to catch errors as soon as possible > after each change. Would not running the unit tests directly after > building help with that? Some problems are platform specific and will > perhaps show up during unit tests. It could only work if running the test takes a negligible amount of time, and it generates almost no output if all goes well. The second point is probably easy, but the first is unlikely to stay true for long. Stefan From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 24 21:20:16 2010 Received: (at 5754) by debbugs.gnu.org; 25 Mar 2010 01:20:16 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nubk8-000611-5l for submit@debbugs.gnu.org; Wed, 24 Mar 2010 21:20:16 -0400 Received: from mail-fx0-f219.google.com ([209.85.220.219]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Nubk5-00060w-I8 for 5754@debbugs.gnu.org; Wed, 24 Mar 2010 21:20:14 -0400 Received: by fxm19 with SMTP id 19so2346999fxm.39 for <5754@debbugs.gnu.org>; Wed, 24 Mar 2010 18:20:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :from:date:message-id:subject:to:cc:content-type :content-transfer-encoding; bh=wqMOjRBW731vSGsqs/5oM07arK3ewzthqm0BQclyY40=; b=pUZAZzzJzDIeUkmBrYv69nNAUY5XDdZSXGGD+wky4puUFf0Up631oWfaRU/M3XIlCh dGhAsSeesf933K2bE5h6AAg9eBoFUC7SPNkRkQoXtaIOOaG3riPjV/xKHSUxmzUY9ZUt /ju3dBKW7aO6ukhrKy21UfEMwo3hHY8Rh9dlg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; b=fKErHIV0B/vjLBZfBN/dl9A4+RYdssNQWEqOGdXUjb9h4ZPDsbn3vH5Gj35D1r0nLr V8V40FPVyQuwEglnNVCE1mxcZQ49W/7xGN33jSShtl7L7vGvztTCl7oXCf6QQPbpWO+3 J9ojLFMgbtG+L+F8Agyqz+3++2dC02DDRiZ3k= MIME-Version: 1.0 Received: by 10.239.187.72 with SMTP id k8mr865106hbh.47.1269480009293; Wed, 24 Mar 2010 18:20:09 -0700 (PDT) In-Reply-To: References: <87ocifjx74.fsf@mail.jurta.org> <878w9jjtp0.fsf@mail.jurta.org> <87ljdh9xiq.fsf@stupidchicken.com> From: Lennart Borgman Date: Thu, 25 Mar 2010 02:19:49 +0100 Message-ID: Subject: Re: bug#5754: Bytecomp Arithmetic test failed To: Stefan Monnier Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.9 (--) X-Debbugs-Envelope-To: 5754 Cc: Chong Yidong , 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.9 (--) On Thu, Mar 25, 2010 at 2:15 AM, Stefan Monnier wrote: >>>>> Not when building Emacs, but there should be a make target like >>>>> `make test'. =C2=A0And when choosing a unit test framework to add to = Emacs, >>>>> the main criteria should be the ability to run tests in batch mode. >>>> Yes, there should such a target. But why don't you think it would be >>>> run at the end of the build process? >>> No, thanks. =C2=A0It would be a nuisance for developers. >> In what way? >> The idea behind unit tests is to catch errors as soon as possible >> after each change. Would not running the unit tests directly after >> building help with that? Some problems are platform specific and will >> perhaps show up during unit tests. > > It could only work if running the test takes a negligible amount of > time, and it generates almost no output if all goes well. Or if fail is noticeable. > The second point is probably easy, but the first is unlikely to stay > true for long. Why not try it and remove it if it becomes a burden? From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 25 03:25:21 2010 Received: (at 5754) by debbugs.gnu.org; 25 Mar 2010 07:25:22 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NuhRR-00009E-IK for submit@debbugs.gnu.org; Thu, 25 Mar 2010 03:25:21 -0400 Received: from smtp-out2.starman.ee ([85.253.0.4] helo=mx2.starman.ee) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NuhRP-000098-Vi for 5754@debbugs.gnu.org; Thu, 25 Mar 2010 03:25:20 -0400 X-Virus-Scanned: by Amavisd-New at mx2.starman.ee Received: from mail.starman.ee (82.131.30.101.cable.starman.ee [82.131.30.101]) by mx2.starman.ee (Postfix) with ESMTP id A21A43F40C6 for <5754@debbugs.gnu.org>; Thu, 25 Mar 2010 09:25:09 +0200 (EET) From: Juri Linkov To: 5754@debbugs.gnu.org Subject: Re: bug#5754: Bytecomp Arithmetic test failed Organization: JURTA References: <87ocifjx74.fsf@mail.jurta.org> Date: Thu, 25 Mar 2010 09:19:11 +0200 In-Reply-To: <87ocifjx74.fsf@mail.jurta.org> (Juri Linkov's message of "Tue, 23 Mar 2010 09:47:59 +0200") Message-ID: <87k4t027r0.fsf@mail.jurta.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -3.5 (---) X-Debbugs-Envelope-To: 5754 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.5 (---) > I tried to run some tests in the `test' subdir, > and `bytecomp-testsuite-run' in `test/bytecomp-testsuite.el' fails > on one test: (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)) > returns 5e-324 when evaluated by interpreter, > but after byte-compilation returns 0.0 This bug is caused by optimization in byte-compilation that changes the order of function arguments. It byte-compiles (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)) to 0 constant expt 1 constant 2 2 constant -1074 3 call 2 4 constant 0.125 5 varbind b 6 varbind a 7 constant * 8 varref a 9 varref b 10 constant 8 11 call 3 12 unbind 2 13 return where the order of arguments 8-10 is changed from (* a 8 b) to (* a b 8) For this test the different order of arguments changes the returned value: (funcall '* 5e-324 8 0.125) => 5e-324 (funcall '* 5e-324 0.125 8) => 0.0 -- Juri Linkov http://www.jurta.org/emacs/ From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 30 12:20:43 2010 Received: (at 5754) by debbugs.gnu.org; 30 Mar 2010 16:20:43 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NweBG-0002Ih-OD for submit@debbugs.gnu.org; Tue, 30 Mar 2010 12:20:42 -0400 Received: from smtp-out1.starman.ee ([85.253.0.3] helo=mx1.starman.ee) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NweBE-0002Ia-4A for 5754@debbugs.gnu.org; Tue, 30 Mar 2010 12:20:40 -0400 X-Virus-Scanned: by Amavisd-New at mx1.starman.ee Received: from mail.starman.ee (82.131.68.10.cable.starman.ee [82.131.68.10]) by mx1.starman.ee (Postfix) with ESMTP id C7E663F4080; Tue, 30 Mar 2010 19:20:30 +0300 (EEST) From: Juri Linkov To: 5754@debbugs.gnu.org Subject: Re: bug#5754: Bytecomp Arithmetic test failed Organization: JURTA References: <87ocifjx74.fsf@mail.jurta.org> <87k4t027r0.fsf@mail.jurta.org> Date: Tue, 30 Mar 2010 19:08:45 +0300 In-Reply-To: <87k4t027r0.fsf@mail.jurta.org> (Juri Linkov's message of "Thu, 25 Mar 2010 09:19:11 +0200") Message-ID: <871vf2jayi.fsf@mail.jurta.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.5 (--) X-Debbugs-Envelope-To: 5754 Cc: Shigeru Fukaya X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.5 (---) I see that this was extensively discussed in bug#1334, so I Cc:ed Shigeru Fukaya. Shigeru, are you interested in looking at the test failure reported by bytecomp-testsuite.el? >> I tried to run some tests in the `test' subdir, >> and `bytecomp-testsuite-run' in `test/bytecomp-testsuite.el' fails >> on one test: (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)) >> returns 5e-324 when evaluated by interpreter, >> but after byte-compilation returns 0.0 >> >> In GNU Emacs 24.0.50 (x86_64-pc-linux-gnu) of 2010-03-23 > > This bug is caused by optimization in byte-compilation > that changes the order of function arguments. > > It byte-compiles > > (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)) > > to > > 0 constant expt > 1 constant 2 > 2 constant -1074 > 3 call 2 > 4 constant 0.125 > 5 varbind b > 6 varbind a > 7 constant * > 8 varref a > 9 varref b > 10 constant 8 > 11 call 3 > 12 unbind 2 > 13 return > > where the order of arguments 8-10 is changed from (* a 8 b) to (* a b 8) > > For this test the different order of arguments changes > the returned value: > > (funcall '* 5e-324 8 0.125) > => 5e-324 > > (funcall '* 5e-324 0.125 8) > => 0.0 -- Juri Linkov http://www.jurta.org/emacs/ From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 02 20:11:21 2010 Received: (at control) by debbugs.gnu.org; 3 Apr 2010 00:11:21 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NxqxN-0001ly-GD for submit@debbugs.gnu.org; Fri, 02 Apr 2010 20:11:21 -0400 Received: from pantheon-po35.its.yale.edu ([130.132.50.83]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NxqxM-0001lr-NX for control@debbugs.gnu.org; Fri, 02 Apr 2010 20:11:20 -0400 Received: from furry (dhcp128036014175.central.yale.edu [128.36.14.175]) (authenticated bits=0) by pantheon-po35.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o330BHiS002290 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Fri, 2 Apr 2010 20:11:17 -0400 Received: by furry (Postfix, from userid 1000) id 5FDEBC055; Fri, 2 Apr 2010 20:11:17 -0400 (EDT) From: Chong Yidong To: control@debbugs.gnu.org Subject: severity 5754 serious Date: Fri, 02 Apr 2010 20:11:17 -0400 Message-ID: <87zl1ltmxm.fsf@stupidchicken.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -2.8 (--) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.8 (--) severity 5754 serious severity 2056 important severity 2503 important severity 3347 important thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Apr 03 18:22:25 2010 Received: (at 5754) by debbugs.gnu.org; 3 Apr 2010 22:22:25 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyBjU-000060-Di for submit@debbugs.gnu.org; Sat, 03 Apr 2010 18:22:24 -0400 Received: from smtp-out1.starman.ee ([85.253.0.3] helo=mx1.starman.ee) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyBjS-00005p-Jy for 5754@debbugs.gnu.org; Sat, 03 Apr 2010 18:22:23 -0400 X-Virus-Scanned: by Amavisd-New at mx1.starman.ee Received: from mail.starman.ee (82.131.28.129.cable.starman.ee [82.131.28.129]) by mx1.starman.ee (Postfix) with ESMTP id 26DC53F40A5 for <5754@debbugs.gnu.org>; Sun, 4 Apr 2010 01:22:13 +0300 (EEST) From: Juri Linkov To: 5754@debbugs.gnu.org Subject: Re: bug#5754: Bytecomp Arithmetic test failed Organization: JURTA References: <87ocifjx74.fsf@mail.jurta.org> <87k4t027r0.fsf@mail.jurta.org> Date: Sun, 04 Apr 2010 01:18:17 +0300 In-Reply-To: <87k4t027r0.fsf@mail.jurta.org> (Juri Linkov's message of "Thu, 25 Mar 2010 09:19:11 +0200") Message-ID: <8739zcchpq.fsf@mail.jurta.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -3.5 (---) X-Debbugs-Envelope-To: 5754 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.5 (---) > For this test the different order of arguments changes > the returned value: > > (funcall '* 5e-324 8 0.125) > => 5e-324 > > (funcall '* 5e-324 0.125 8) > => 0.0 `byte-optimize-plus' and `byte-optimize-minus' avoid this problem by not using `byte-optimize-delay-constants-math' (see how its call is commented out in `byte-opt.el'). Maybe `byte-optimize-multiply' and `byte-optimize-divide' should do the same? === modified file 'lisp/emacs-lisp/byte-opt.el' --- lisp/emacs-lisp/byte-opt.el 2010-01-13 08:35:10 +0000 +++ lisp/emacs-lisp/byte-opt.el 2010-04-03 22:16:20 +0000 @@ -806,7 +806,8 @@ (defun byte-optimize-minus (form) (byte-optimize-predicate form)) (defun byte-optimize-multiply (form) - (setq form (byte-optimize-delay-constants-math form 1 '*)) + ;; Don't call `byte-optimize-delay-constants-math' (bug#1334, bug#5754). + ;; (setq form (byte-optimize-delay-constants-math form 1 '*)) ;; For (* constants..), byte-optimize-predicate does the work. (when (memq nil (mapcar 'numberp (cdr form))) ;; After `byte-optimize-predicate', if there is a INTEGER constant @@ -823,7 +824,8 @@ (defun byte-optimize-multiply (form) (byte-optimize-predicate form)) (defun byte-optimize-divide (form) - (setq form (byte-optimize-delay-constants-math form 2 '*)) + ;; Don't call `byte-optimize-delay-constants-math' (bug#1334, bug#5754). + ;; (setq form (byte-optimize-delay-constants-math form 2 '*)) ;; After `byte-optimize-predicate', if there is a INTEGER constant ;; in FORM, it is in the last element. (let ((last (car (reverse (cdr (cdr form)))))) -- Juri Linkov http://www.jurta.org/emacs/ From debbugs-submit-bounces@debbugs.gnu.org Sat Apr 03 18:41:05 2010 Received: (at 5754) by debbugs.gnu.org; 3 Apr 2010 22:41:05 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyC1Z-0000Dw-2C for submit@debbugs.gnu.org; Sat, 03 Apr 2010 18:41:05 -0400 Received: from pantheon-po17.its.yale.edu ([130.132.50.73]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyC1X-0000Db-OR for 5754@debbugs.gnu.org; Sat, 03 Apr 2010 18:41:04 -0400 Received: from furry (173-14-147-246-NewEngland.hfc.comcastbusiness.net [173.14.147.246]) (authenticated bits=0) by pantheon-po17.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o33Mexvb030123 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sat, 3 Apr 2010 18:40:59 -0400 Received: by furry (Postfix, from userid 1000) id 6876DC055; Sat, 3 Apr 2010 18:40:59 -0400 (EDT) From: Chong Yidong To: Juri Linkov Subject: Re: Bytecomp Arithmetic test failed Date: Sat, 03 Apr 2010 18:40:59 -0400 Message-ID: <87iq88ma6c.fsf@stupidchicken.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -3.0 (---) X-Debbugs-Envelope-To: 5754 Cc: 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.0 (---) > I tried to run some tests in the `test' subdir, > and `bytecomp-testsuite-run' in `test/bytecomp-testsuite.el' fails > on one test: (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)) > returns 5e-324 when evaluated by interpreter, > but after byte-compilation returns 0.0 I originally thought this was a regression, because my copy of Emacs 23.1 did not appear to have this problem. On further investigation, it is not a regression. Emacs 23.1 and before also have the problem. The key is that if I compile Emacs with CFLAGS="-g", then (funcall (byte-compile (list 'lambda nil (quote (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)))))) returns 0.0. If I compile Emacs with CFLAGS="-g -O2", then it returns 5e-324. It looks like this may be a compiler bug. From debbugs-submit-bounces@debbugs.gnu.org Sat Apr 03 18:41:21 2010 Received: (at control) by debbugs.gnu.org; 3 Apr 2010 22:41:21 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyC1p-0000EE-Do for submit@debbugs.gnu.org; Sat, 03 Apr 2010 18:41:21 -0400 Received: from pantheon-po15.its.yale.edu ([130.132.50.71]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyC1n-0000E7-W3 for control@debbugs.gnu.org; Sat, 03 Apr 2010 18:41:20 -0400 Received: from furry (173-14-147-246-NewEngland.hfc.comcastbusiness.net [173.14.147.246]) (authenticated bits=0) by pantheon-po15.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o33MfGpb021416 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sat, 3 Apr 2010 18:41:16 -0400 Received: by furry (Postfix, from userid 1000) id D6649C055; Sat, 3 Apr 2010 18:41:15 -0400 (EDT) From: Chong Yidong To: control@debbugs.gnu.org Subject: severity 5754 normal Date: Sat, 03 Apr 2010 18:41:15 -0400 Message-ID: <87fx3cma5w.fsf@stupidchicken.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -3.0 (---) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.0 (---) severity 5754 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Apr 03 19:08:03 2010 Received: (at 5754) by debbugs.gnu.org; 3 Apr 2010 23:08:03 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyCRf-0000tC-1W for submit@debbugs.gnu.org; Sat, 03 Apr 2010 19:08:03 -0400 Received: from smtp-out2.starman.ee ([85.253.0.4] helo=mx2.starman.ee) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyCRd-0000sr-8M for 5754@debbugs.gnu.org; Sat, 03 Apr 2010 19:08:02 -0400 X-Virus-Scanned: by Amavisd-New at mx2.starman.ee Received: from mail.starman.ee (82.131.28.129.cable.starman.ee [82.131.28.129]) by mx2.starman.ee (Postfix) with ESMTP id 321E63F407C; Sun, 4 Apr 2010 02:07:51 +0300 (EEST) From: Juri Linkov To: Chong Yidong Subject: Re: Bytecomp Arithmetic test failed Organization: JURTA References: <87iq88ma6c.fsf@stupidchicken.com> Date: Sun, 04 Apr 2010 01:54:50 +0300 In-Reply-To: <87iq88ma6c.fsf@stupidchicken.com> (Chong Yidong's message of "Sat, 03 Apr 2010 18:40:59 -0400") Message-ID: <878w949lwp.fsf@mail.jurta.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -3.5 (---) X-Debbugs-Envelope-To: 5754 Cc: 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.5 (---) > I originally thought this was a regression, because my copy of Emacs > 23.1 did not appear to have this problem. On further investigation, it > is not a regression. Emacs 23.1 and before also have the problem. > > The key is that if I compile Emacs with CFLAGS="-g", then > > (funcall > (byte-compile > (list 'lambda nil > (quote (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)))))) > > returns 0.0. If I compile Emacs with CFLAGS="-g -O2", then it returns > 5e-324. Does (let ((a (expt 2 -1074)) (b 0.125)) (* a b 8)) return 5e-324 when you compile with CFLAGS="-g -O2"? Note the constant 8 at the end, this form is what actually executed after byte-compilation with optimization. I guess if (funcall (byte-compile (list 'lambda nil (quote (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)))))) returns 5e-324 with CFLAGS="-g -O2", then (let ((a (expt 2 -1074)) (b 0.125)) (* a b 8)) returns 5e-324 as well? -- Juri Linkov http://www.jurta.org/emacs/ From debbugs-submit-bounces@debbugs.gnu.org Sat Apr 03 19:32:03 2010 Received: (at 5754) by debbugs.gnu.org; 3 Apr 2010 23:32:03 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyCot-00012i-GO for submit@debbugs.gnu.org; Sat, 03 Apr 2010 19:32:03 -0400 Received: from pantheon-po38.its.yale.edu ([130.132.50.97]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyCor-00012N-Qu for 5754@debbugs.gnu.org; Sat, 03 Apr 2010 19:32:02 -0400 Received: from furry (173-14-147-246-NewEngland.hfc.comcastbusiness.net [173.14.147.246]) (authenticated bits=0) by pantheon-po38.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o33NVv8j027352 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sat, 3 Apr 2010 19:31:58 -0400 Received: by furry (Postfix, from userid 1000) id 9AA43C055; Sat, 3 Apr 2010 19:31:57 -0400 (EDT) From: Chong Yidong To: Juri Linkov Subject: Re: Bytecomp Arithmetic test failed References: <87iq88ma6c.fsf@stupidchicken.com> <878w949lwp.fsf@mail.jurta.org> Date: Sat, 03 Apr 2010 19:31:57 -0400 In-Reply-To: <878w949lwp.fsf@mail.jurta.org> (Juri Linkov's message of "Sun, 04 Apr 2010 01:54:50 +0300") Message-ID: <877hoot8nm.fsf@stupidchicken.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1.95 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -3.0 (---) X-Debbugs-Envelope-To: 5754 Cc: 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.0 (---) Juri Linkov writes: > Does (let ((a (expt 2 -1074)) (b 0.125)) (* a b 8)) > return 5e-324 when you compile with CFLAGS="-g -O2"? With CFLAGS="-g -O2", (let ((a (expt 2 -1074)) (b 0.125)) (* a b 8)) => 5e-24 (eval '(let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b))) => 5e-324 (funcall (byte-compile (list 'lambda nil (quote (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)))))) => 5e-24 With CFLAGS="-g", (let ((a (expt 2 -1074)) (b 0.125)) (* a b 8)) => 0.0 (eval '(let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b))) => 5e-324 (funcall (byte-compile (list 'lambda nil (quote (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)))))) => 0.0 The latter two are what cause bytecomp-testsuite to fail. From debbugs-submit-bounces@debbugs.gnu.org Sun Apr 04 02:26:15 2010 Received: (at 5754) by debbugs.gnu.org; 4 Apr 2010 06:26:15 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyJHi-0003rj-Sy for submit@debbugs.gnu.org; Sun, 04 Apr 2010 02:26:15 -0400 Received: from mtaout22.012.net.il ([80.179.55.172]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyJHg-0003re-Sy for 5754@debbugs.gnu.org; Sun, 04 Apr 2010 02:26:13 -0400 Received: from conversion-daemon.a-mtaout22.012.net.il by a-mtaout22.012.net.il (HyperSendmail v2007.08) id <0L0C001009M2FA00@a-mtaout22.012.net.il> for 5754@debbugs.gnu.org; Sun, 04 Apr 2010 09:25:16 +0300 (IDT) Received: from HOME-C4E4A596F7 ([77.124.92.42]) by a-mtaout22.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0L0C00LMI9TU5SB0@a-mtaout22.012.net.il>; Sun, 04 Apr 2010 09:25:15 +0300 (IDT) Date: Sun, 04 Apr 2010 09:25:10 +0300 From: Eli Zaretskii Subject: Re: bug#5754: Bytecomp Arithmetic test failed In-reply-to: <87iq88ma6c.fsf@stupidchicken.com> X-012-Sender: halo1@inter.net.il To: Chong Yidong Message-id: <83zl1jzqd5.fsf@gnu.org> References: <87ocifjx74.fsf@mail.jurta.org> <87iq88ma6c.fsf@stupidchicken.com> X-Spam-Score: -1.7 (-) X-Debbugs-Envelope-To: 5754 Cc: juri@jurta.org, 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Reply-To: Eli Zaretskii List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.8 (-) > From: Chong Yidong > Date: Sat, 03 Apr 2010 18:40:59 -0400 > Cc: 5754@debbugs.gnu.org > > The key is that if I compile Emacs with CFLAGS="-g", then > > (funcall > (byte-compile > (list 'lambda nil > (quote (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)))))) > > returns 0.0. If I compile Emacs with CFLAGS="-g -O2", then it returns > 5e-324. > > It looks like this may be a compiler bug. I doubt it. I see this in GCC 3.4.x; the chances that two very different versions have the same bug are less than slim, I think. I'd suspect some bug in our code, before considering a GCC bug. From debbugs-submit-bounces@debbugs.gnu.org Sun Apr 04 04:05:05 2010 Received: (at 5754) by debbugs.gnu.org; 4 Apr 2010 08:05:06 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyKpN-0004Pz-Jo for submit@debbugs.gnu.org; Sun, 04 Apr 2010 04:05:05 -0400 Received: from mail-out.m-online.net ([212.18.0.9]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NyKpL-0004Pe-L6 for 5754@debbugs.gnu.org; Sun, 04 Apr 2010 04:05:04 -0400 Received: from mail01.m-online.net (mail.m-online.net [192.168.3.149]) by mail-out.m-online.net (Postfix) with ESMTP id EB1BB1C1538C; Sun, 4 Apr 2010 10:04:58 +0200 (CEST) X-Auth-Info: gQyQYVq0DRVdEOHHUjlf/BArlHxS3/RJ3UD+hi8HVN0= Received: from whitebox.home (ppp-88-217-107-122.dynamic.mnet-online.de [88.217.107.122]) by mail.mnet-online.de (Postfix) with ESMTP id ADB439053E; Sun, 4 Apr 2010 10:04:58 +0200 (CEST) Received: by whitebox.home (Postfix, from userid 501) id AA50A1E5397; Sun, 4 Apr 2010 10:05:04 +0200 (CEST) From: Andreas Schwab To: Chong Yidong Subject: Re: bug#5754: Bytecomp Arithmetic test failed References: <87ocifjx74.fsf@mail.jurta.org> <87iq88ma6c.fsf@stupidchicken.com> X-Yow: NOW do I get to blow out the CANDLES?? Date: Sun, 04 Apr 2010 10:05:03 +0200 In-Reply-To: <87iq88ma6c.fsf@stupidchicken.com> (Chong Yidong's message of "Sat, 03 Apr 2010 18:40:59 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1.95 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -3.6 (---) X-Debbugs-Envelope-To: 5754 Cc: Juri Linkov , 5754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.4 (---) Chong Yidong writes: > The key is that if I compile Emacs with CFLAGS="-g", then > > (funcall > (byte-compile > (list 'lambda nil > (quote (let ((a (expt 2 -1074)) (b 0.125)) (* a 8 b)))))) > > returns 0.0. If I compile Emacs with CFLAGS="-g -O2", then it returns > 5e-324. > > It looks like this may be a compiler bug. It's most likely the effect of excess precision, due to floating point values being held in registers instead of reloaded from memory. Try -ffloat-store. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 28 12:51:56 2012 Received: (at control) by debbugs.gnu.org; 28 Jan 2012 17:51:56 +0000 Received: from localhost ([127.0.0.1]:48468 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1RrCRP-0008FB-Lv for submit@debbugs.gnu.org; Sat, 28 Jan 2012 12:51:56 -0500 Received: from fencepost.gnu.org ([140.186.70.10]:48140 ident=Debian-exim) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1RrCRN-0008F4-FI for control@debbugs.gnu.org; Sat, 28 Jan 2012 12:51:53 -0500 Received: from bb121-7-229-69.singnet.com.sg ([121.7.229.69]:45677 helo=furball) by fencepost.gnu.org with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1RrCQd-0005Vv-DY for control@debbugs.gnu.org; Sat, 28 Jan 2012 12:51:09 -0500 From: Chong Yidong To: control@debbugs.gnu.org Subject: close 5754 Date: Sun, 29 Jan 2012 01:50:57 +0800 Message-ID: <871uqjaf7i.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -4.2 (----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -4.2 (----) close 5754 thanks From unknown Sun Aug 10 11:50:39 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 26 Feb 2012 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator