From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Noam Postavsky Newsgroups: gmane.emacs.devel Subject: Re: Floating-point constant folding in Emacs byte compiler Date: Mon, 2 Apr 2018 08:57:30 -0400 Message-ID: References: <2ce39e5c-cd1b-65d6-b125-719caad67932@cs.ucla.edu> <83vadmgfbz.fsf@gnu.org> <87d0zr2n1u.fsf@gmail.com> <83h8p2g99p.fsf@gnu.org> <87370m3k4y.fsf@gmail.com> <838taeg6z5.fsf@gnu.org> <7a49cbdf-f2c3-0803-2ee8-3d9f55e405a5@cs.ucla.edu> <7a4f10ec-c1b9-953d-7a95-b2f1ff762735@cs.ucla.edu> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1522673767 28781 195.159.176.226 (2 Apr 2018 12:56:07 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 2 Apr 2018 12:56:07 +0000 (UTC) Cc: Robert Pluim , Paul Eggert , Emacs developers To: Pip Cet Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Apr 02 14:56:03 2018 Return-path: 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 ) id 1f2z0E-0007KB-QM for ged-emacs-devel@m.gmane.org; Mon, 02 Apr 2018 14:56:02 +0200 Original-Received: from localhost ([::1]:32860 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f2z2H-0000P5-1i for ged-emacs-devel@m.gmane.org; Mon, 02 Apr 2018 08:58:09 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:34354) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f2z1g-0000OX-NT for emacs-devel@gnu.org; Mon, 02 Apr 2018 08:57:33 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f2z1f-00007P-S9 for emacs-devel@gnu.org; Mon, 02 Apr 2018 08:57:32 -0400 Original-Received: from mail-ot0-x236.google.com ([2607:f8b0:4003:c0f::236]:43234) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f2z1f-000071-MD for emacs-devel@gnu.org; Mon, 02 Apr 2018 08:57:31 -0400 Original-Received: by mail-ot0-x236.google.com with SMTP id m22-v6so15489662otf.10 for ; Mon, 02 Apr 2018 05:57:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=kkjLc3sAqK0vC2iFrb/cbZZyKNmnPZqKdXDfLgx/6YY=; b=dfqeV18Vv4rs9zWPLY9Py4GUA0lC8DWSpXlV8dz0puErogmPFv51uNsFCOtBlV12uO G5y/l1TU4n778XP66co93rHWxHeSe0tZx3CNo+ZReHc1ftPEKX79GNhXN1knJQDQYW9j LyiAGSZDgwyXP+OOiL6jF2G2TIANTZNCftcu7UDaplnAL+4/qL8e4hBqnQdeePkBOLQS MurGEKY8BiGrabNNkkzEx76S6dif4/PhWrVBNPZ3Bv9LaNIDGjiqxySJ/0od6Yuc2WI2 WhDWYIxfkesDnfSouAIoFfiBhegbsf/0tUyJEiRxkxAlh2xQMpbDZWTP0xB3CCiA0Bfc 4j4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=kkjLc3sAqK0vC2iFrb/cbZZyKNmnPZqKdXDfLgx/6YY=; b=fzoOTLjHwxxn/1vUHOg3FVmn0TT1+/I3K3DW2qJDmlf0vBkwInbExMDl0JHar07Ih6 6J6EIW1e0BC1XqwQLdMCC/ET55PHY6w+Zp4mHEiZrhCHrGvFJMGahpN92CAevQcMq9/m QwiEYXpV58Y/XFGLl7poOfvQmQTe4QZw+FzjkGHVJcrh78ROiwtXNk7GYlD498cTSzha +A56VQT0rxS5Q4IpE5avU1N3WTMZxciCw1uZrq++sZ5PHwfxfZ+l1JaXEGfgl2HmiBRH vTNSyk738KJ1p2uOPIVFZvLBTBFl8XEn8B/aRb2Fe6E5zcZmMRD8W4RIRp9+uwWLCjXp mzVA== X-Gm-Message-State: AElRT7GZpTra2AanmB/LHe5SiUfr/dwsoGE5mzhvo7t6MylptdvRZFQJ RSFj09iBB5fLr/NeTcu4ck9dS3DyI7Bz6Azd+tk= X-Google-Smtp-Source: AIpwx4/JEDGGl86YICEBQLhegtj9HgeLYy/gz+Os1AOQ/9X4eSPZPrVa3JhuO9WJr0qO+oqw3QnqpExx8aKXKEDs1vc= X-Received: by 2002:a9d:4469:: with SMTP id f38-v6mr5084674otj.335.1522673850852; Mon, 02 Apr 2018 05:57:30 -0700 (PDT) Original-Received: by 10.74.139.213 with HTTP; Mon, 2 Apr 2018 05:57:30 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4003:c0f::236 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:224240 Archived-At: On 30 March 2018 at 12:26, Pip Cet wrote: > It's easy to fix this by merging the constvec based on eql rather than > eq, but that makes the byte compiler inconsistent: with optimization, > (lambda () (eq 1024.0 1024.0)) will still be false, but without > optimization, it will turn into bytecode that always returns true. The byte-compiler is already inconsistent in this way for string literals: (funcall (byte-compile (lambda () (let ((s "one") (s2 "one")) (eq s s2))))) ;=> t (funcall (lambda () (let ((s "one") (s2 "one")) (eq s s2)))) ;=> nil Although surprisingly: (funcall (byte-compile (lambda () (eq "one" "one")))) ;=> nil