From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Floating-point constant folding in Emacs byte compiler
Date: Mon, 26 Mar 2018 21:30:22 +0300
Message-ID: <83zi2uelkx.fsf@gnu.org>
References: <2ce39e5c-cd1b-65d6-b125-719caad67932@cs.ucla.edu>
	<CAOqdjBdWdq32C1r8qzguSWmr1_cVAShZcPMnRgmi4vQX6j3R-w@mail.gmail.com>
	<83vadmgfbz.fsf@gnu.org> <87d0zr2n1u.fsf@gmail.com>
	<83h8p2g99p.fsf@gnu.org>
	<jwvwoxyg1z7.fsf-monnier+gmane.emacs.devel@gnu.org>
Reply-To: Eli Zaretskii <eliz@gnu.org>
NNTP-Posting-Host: blaine.gmane.org
X-Trace: blaine.gmane.org 1522088945 20548 195.159.176.226 (26 Mar 2018 18:29:05 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Mon, 26 Mar 2018 18:29:05 +0000 (UTC)
Cc: emacs-devel@gnu.org
To: Stefan Monnier <monnier@iro.umontreal.ca>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Mar 26 20:29:01 2018
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([208.118.235.17])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1f0Wrd-0005EF-1p
	for ged-emacs-devel@m.gmane.org; Mon, 26 Mar 2018 20:29:01 +0200
Original-Received: from localhost ([::1]:58439 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1f0Wtg-0000Fx-IY
	for ged-emacs-devel@m.gmane.org; Mon, 26 Mar 2018 14:31:08 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43439)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1f0Wsm-0000C9-Kp
	for emacs-devel@gnu.org; Mon, 26 Mar 2018 14:30:16 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1f0Wsl-0005Di-NH
	for emacs-devel@gnu.org; Mon, 26 Mar 2018 14:30:12 -0400
Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51447)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
	id 1f0Wsl-0005DO-KZ; Mon, 26 Mar 2018 14:30:11 -0400
Original-Received: from [176.228.60.248] (port=3519 helo=home-c4e4a596f7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
	(Exim 4.82) (envelope-from <eliz@gnu.org>)
	id 1f0Wsl-0004ef-2m; Mon, 26 Mar 2018 14:30:11 -0400
In-reply-to: <jwvwoxyg1z7.fsf-monnier+gmane.emacs.devel@gnu.org> (message from
	Stefan Monnier on Mon, 26 Mar 2018 13:52:33 -0400)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.21
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-devel/>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Original-Sender: "Emacs-devel" <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Xref: news.gmane.org gmane.emacs.devel:224062
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/224062>

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Date: Mon, 26 Mar 2018 13:52:33 -0400
> 
> >> Hmm, would it be worthwhile to have Emacs signal overflow in such a
> >> situation (perhaps controlled by a configuration variable) so we could
> >> fix such issues?
> 
> I think TRT is for the byte-compiler to refrain from performing this
> optimization when the result doesn't fit within 30bits.

I agree.