220 30868 <6822781.nUHQ9xRxne@tjmaciei-mobl1> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Thiago Macieira <thiago@macieira.org>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: Detecting compile-time evaluation
Date: Fri, 10 Feb 2017 08:47:37 -0800
Lines: 38
Approved: news@gmane.org
Message-ID: <6822781.nUHQ9xRxne@tjmaciei-mobl1>
References: <86a47916-27c3-4e29-862f-9b4e1f105c1c@isocpp.org> <5b081db0-cc7b-4a5f-b9fe-b9f8ae7ab9f7@isocpp.org>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Trace: blaine.gmane.org 1486745273 8914 195.159.176.226 (10 Feb 2017 16:47:53 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Fri, 10 Feb 2017 16:47:53 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBCB4TK757YBRBMW567CAKGQELNY7VRA@isocpp.org Fri Feb 10 17:47:48 2017
Return-path: <std-proposals+bncBCB4TK757YBRBMW567CAKGQELNY7VRA@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-io0-f199.google.com ([209.85.223.199])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBCB4TK757YBRBMW567CAKGQELNY7VRA@isocpp.org>)
	id 1ccEMI-0001ig-9p
	for gclcip-std-proposals@m.gmane.org; Fri, 10 Feb 2017 17:47:42 +0100
Original-Received: by mail-io0-f199.google.com with SMTP id q20sf70270774ioi.0
        for <gclcip-std-proposals@m.gmane.org>; Fri, 10 Feb 2017 08:47:48 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=isocpp-org.20150623.gappssmtp.com; s=20150623;
        h=from:to:subject:date:message-id:in-reply-to:references:mime-version
         :content-transfer-encoding:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-spam-checked-in-group:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=k7Z5We+QoXHB1LaQgCTEfp1SezCqcut75TJM6yHxn10=;
        b=n+4RWb/3fpmy38XHrZtgX/EV0ZIKyyspigOLXeOSx3pJu7pnxZKw67Igj/cOTGDsRn
         s++LE79DwVVddykBlBAOBI064HW0aes+pCBfdpjAn9T8FHHU8eHZBrWcjyA44MJq1Ce8
         F/jKv2DhoVvwe5VhgWHrhsPkqGIrscHqI8FWW048vdedfZdLj8pV16NzMKe5mxqaEkGp
         qqijruOYjcNuuvqc4lh63Ip9rvInADR2v49lpGAAbCcM9z5OzapUjIx5ug4Vpt70QN51
         HzMdZ51njkaugEEgKG0GihkO9bm9SnsBtUNLmXf6A/icfMcrGN1wa4Dm6TX5jV46eiPE
         ERjg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to
         :references:mime-version:content-transfer-encoding:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-spam-checked-in-group:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=k7Z5We+QoXHB1LaQgCTEfp1SezCqcut75TJM6yHxn10=;
        b=FTLkWvxNk1S1BurmHiBZN7QPOsH/4zkLD8Q1xmCV/U8zwf0Z3xdG/gxLEIJ9gpRBVl
         AnVPYbUljIl7mQU28tGEZU4qtK1PPslQKggiyaeU4eFCdMDnzVDWz37vV6fFb/iLE8od
         xyzKHMWukfPPvbP3kjKc3n8qjgl/JvGxNjtfHb/aXx+cVGbGxpP88en6rHOEFFDvO0Gs
         8LuJC0JAEjdhNuZI48T0mEDRWIvC5CYlZSpz/i/5WbrFlFqHdjxA2o8FmFvF1HXtwatI
         IzvkH1AerdIvLJSGKqyGoYbOGsEwURJrJVngAKf5X1Nk/M7zCbbxsrGg2dxolGg+Oapc
         xSV 
X-Gm-Message-State: AMke39nyMdjeMZ/Ye9y6DJwXQuxg4H823uj2iH2BafyXywZDq6adH3+m7e5ZU0MfOxN5kw==
X-Received: by 10.107.16.143 with SMTP id 15mr3396810ioq.38.1486745267667;
        Fri, 10 Feb 2017 08:47:47 -0800 (PST)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.36.107.18 with SMTP id v18ls1439597itc.7.canary-gmail; Fri, 10
 Feb 2017 08:47:46 -0800 (PST)
X-Received: by 10.36.22.12 with SMTP id a12mr27401367ita.51.1486745266614;
        Fri, 10 Feb 2017 08:47:46 -0800 (PST)
Original-Received: from gondolin.macieira.info (gondolin.macieira.info. [2a01:4f8:d13:f81:21c:14ff:fe01:12a3])
        by mx.google.com with ESMTP id k188si1393040ita.95.2017.02.10.08.47.46
        for <std-proposals@isocpp.org>;
        Fri, 10 Feb 2017 08:47:46 -0800 (PST)
Received-SPF: pass (google.com: domain of thiago@macieira.org designates 2a01:4f8:d13:f81:21c:14ff:fe01:12a3 as permitted sender) client-ip=2a01:4f8:d13:f81:21c:14ff:fe01:12a3;
Original-Received: from tjmaciei-mobl1.localnet (unknown [IPv6:2601:1c0:4501:5f9f:989b:c924:3db1:b2f5])
	by gondolin.macieira.info (Postfix) with ESMTPSA id C057E11B5A9
	for <std-proposals@isocpp.org>; Fri, 10 Feb 2017 08:47:44 -0800 (PST)
In-Reply-To: <5b081db0-cc7b-4a5f-b9fe-b9f8ae7ab9f7@isocpp.org>
X-Original-Sender: thiago@macieira.org
X-Original-Authentication-Results: mx.google.com;       spf=pass (google.com:
 domain of thiago@macieira.org designates 2a01:4f8:d13:f81:21c:14ff:fe01:12a3
 as permitted sender) smtp.mailfrom=thiago@macieira.org
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:30868
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/30868>

Em sexta-feira, 10 de fevereiro de 2017, =C3=A0s 04:35:38 PST, Gonzalo BG e=
screveu:
> Do you know how many SSE vector intrinsics and vector types are supported
> by the constant expression evaluators of clang, gcc, and msvc? None, don'=
t
> need to even mention AVX or anything more modern, just plain old 1999's
> SSE.

Of course.

But in our experience, any algorithm that can be complex enough to warrant=
=20
SIMD optimisation is too complex for a constexpr inline function. We don't=
=20
have any example of that in Qt code. All the ones that would need to be=20
constexpr and have a faster runtime have been so far solved by compiler=20
intrinsics.

The closest thing that would come to what you're saying is calculating a=20
string's hash. But we specifically *don't* want to have that inline so that=
 we=20
can change the algorithm later (right now, I'm considering changing the one=
 we=20
have based on CRC32 to one based on AES).

--=20
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
   Software Architect - Intel Open Source Technology Center

--=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.
To view this discussion on the web visit https://groups.google.com/a/isocpp=
..org/d/msgid/std-proposals/6822781.nUHQ9xRxne%40tjmaciei-mobl1.

.
