220 15612 <9F9D7F25-F862-4358-B074-8F8C87255E2A@gmail.com> article Path: news.gmane.org!not-for-mail From: David Krauss Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Library support for relaxed constexpr Date: Tue, 13 Jan 2015 09:18:13 +0800 Lines: 96 Approved: news@gmane.org Message-ID: <9F9D7F25-F862-4358-B074-8F8C87255E2A@gmail.com> References: <5ccd3d6e-859c-4b66-b61c-317b704647f2@isocpp.org> <14072581.09eDfPqFOs@tjmaciei-mobl4> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) Content-Type: multipart/alternative; boundary="Apple-Mail=_AA3B34B7-2707-4BD9-A87A-F51F6768CA25" X-Trace: ger.gmane.org 1421111905 17797 80.91.229.3 (13 Jan 2015 01:18:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 13 Jan 2015 01:18:25 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCW25A7E3QCRBWPE2GSQKGQEYANZQWQ@isocpp.org Tue Jan 13 02:18:19 2015 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ig0-f199.google.com ([209.85.213.199]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YAq7f-00078a-FL for gclcip-std-proposals@m.gmane.org; Tue, 13 Jan 2015 02:18:19 +0100 Original-Received: by mail-ig0-f199.google.com with SMTP id l13sf4409054iga.2 for ; Mon, 12 Jan 2015 17:18:18 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:content-type:message-id:mime-version :subject:date:references:to:in-reply-to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=MXvHLBPfkCrqbQSnbTaMbnyILZP9DIMd+R2f90/lYdo=; b=Ia7yIYRc7vuRj0hXjB8qw90DB0tsRg2J0bXiUA/NPVYFTSKPyXdVRPE6iAqhsKdoBK 918rQJ9tDrXAqD0eIsFdElIB/dkfUlqv9R4sO+xemtzebyangkXbeV4G+RnRoSaQoG4B SrprTgZJ6MChSz2dNG3eAbN7N0sTPCBuNCUKgb1iHWRZ4go+7t0SqZV8PrzjtHix+t/n BZIlxhEaBMDLVVh7fIq94Ik8RX1KPaqkqcqgftNa4zxZn3NRZKzrVs7xJOrnD5x3A4TW 2qbP5aHVxJFxhAf6Ll1QXN7icK21UtfgY6WrWsqNihqAdKZoEObW/8H6QkwiyNVW5LAW q47g== X-Gm-Message-State: ALoCoQnpKmMZwsEuskF/5NMUEbTWVgjc8Mk/StNgDVTHNibAGF1ILs2+oolbpTpF1jEBlf5e1sZQ X-Received: by 10.50.12.42 with SMTP id v10mr16223831igb.0.1421111898395; Mon, 12 Jan 2015 17:18:18 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.107.3.68 with SMTP id 65ls37266iod.9.gmail; Mon, 12 Jan 2015 17:18:17 -0800 (PST) X-Received: by 10.66.155.225 with SMTP id vz1mr46746025pab.133.1421111897565; Mon, 12 Jan 2015 17:18:17 -0800 (PST) Original-Received: from mail-pa0-x22c.google.com (mail-pa0-x22c.google.com. [2607:f8b0:400e:c03::22c]) by mx.google.com with ESMTPS id ol12si25392206pab.53.2015.01.12.17.18.17 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 12 Jan 2015 17:18:17 -0800 (PST) Received-SPF: pass (google.com: domain of potswa@gmail.com designates 2607:f8b0:400e:c03::22c as permitted sender) client-ip=2607:f8b0:400e:c03::22c; Original-Received: by mail-pa0-f44.google.com with SMTP id et14so328467pad.3 for ; Mon, 12 Jan 2015 17:18:17 -0800 (PST) X-Received: by 10.68.136.163 with SMTP id qb3mr48039266pbb.63.1421111897337; Mon, 12 Jan 2015 17:18:17 -0800 (PST) Original-Received: from [172.20.10.2] ([121.54.44.93]) by mx.google.com with ESMTPSA id nu5sm15314767pbb.79.2015.01.12.17.18.15 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 12 Jan 2015 17:18:16 -0800 (PST) In-Reply-To: <14072581.09eDfPqFOs@tjmaciei-mobl4> X-Mailer: Apple Mail (2.1993) X-Original-Sender: potswa@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of potswa@gmail.com designates 2607:f8b0:400e:c03::22c as permitted sender) smtp.mail=potswa@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:15612 Archived-At: --Apple-Mail=_AA3B34B7-2707-4BD9-A87A-F51F6768CA25 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 > On 2015=E2=80=9301=E2=80=9313, at 6:43 AM, Thiago Macieira wrote: >=20 > Note that the difference is whether the intrinsic functions are considere= d=20 > constexpr or not. For GCC, __builtin_ldexp is constexpr but isn't for Cla= ng: For GCC, most of is constexpr because it has supported compile-time= evaluation of constant floating-point expressions since time immemorial. O= nly in C++11 (once constexpr extensions were forbidden) did this extension = become nonconforming. I almost finished a paper for Urbana, =E2=80=9CRefining floating-point cons= texpr,=E2=80=9D but ultimately I had enough other material, and the impleme= ntations kept evolving under my feet. I should finish it and find a present= er for Lenexa. Co-authors are welcome! --=20 ---=20 You received this message because you are subscribed to the Google Groups "= ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposa= ls/. --Apple-Mail=_AA3B34B7-2707-4BD9-A87A-F51F6768CA25 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8
On 2015=E2=80=9301= =E2=80=9313, at 6:43 AM, Thiago Macieira <thiago@macieira.org> wrote:

Note that the difference is whet= her the intrinsic functions are considered 
constexpr or n= ot. For GCC, __builtin_ldexp is constexpr but isn't for Clang:

For GCC, most of <cmath> is constexpr because it has supported compile-time evaluation of cons= tant floating-point expressions since time immemorial. Only in C++11 (once = constexpr extensions were forbidde= n) did this extension become nonconforming.

I almost finished a paper for Urbana, =E2=80=9C= Refining floating-point constexpr,=E2=80=9D but ultimately I had enough oth= er material, and the implementations kept evolving under my feet. I should = finish it and find a presenter for Lenexa. Co-authors are welcome!

--

---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/<= /a>.
--Apple-Mail=_AA3B34B7-2707-4BD9-A87A-F51F6768CA25-- .