From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-199791-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 10182 invoked by alias); 30 Jul 2019 09:20:56 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 9309 invoked by uid 89); 30 Jul 2019 09:20:56 -0000
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-5.8 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS autolearn=ham version=3.3.1 spammy=Google
X-HELO: mx1.redhat.com
Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 30 Jul 2019 09:20:54 +0000
Received: from smtp.corp.redhat.com (int-mx03.intmail.prod.int.phx2.redhat.com [10.5.11.13])	(using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))	(No client certificate requested)	by mx1.redhat.com (Postfix) with ESMTPS id 1AE0230C0DE1;	Tue, 30 Jul 2019 09:20:53 +0000 (UTC)
Received: from oldenburg2.str.redhat.com (ovpn-116-195.ams2.redhat.com [10.36.116.195])	by smtp.corp.redhat.com (Postfix) with ESMTPS id 6894C60856;	Tue, 30 Jul 2019 09:20:51 +0000 (UTC)
From: Florian Weimer <fweimer@redhat.com>
To: Martin Jambor <mjambor@suse.cz>
Cc: segher@kernel.crashing.org,  Tejas Joshi <tejasjoshi9673@gmail.com>,  Jan Hubicka <hubicka@ucw.cz>,  Joseph Myers <joseph@codesourcery.com>,  GCC Mailing List <gcc@gcc.gnu.org>
Subject: Re: Expansion of narrowing math built-ins into power instructions
References: <ri6imrkzqq6.fsf@suse.cz>
Date: Tue, 30 Jul 2019 09:20:00 -0000
In-Reply-To: <ri6imrkzqq6.fsf@suse.cz> (Martin Jambor's message of "Mon, 29	Jul 2019 19:37:53 +0200")
Message-ID: <87sgqnx4i6.fsf@oldenburg2.str.redhat.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-IsSubscribed: yes
X-SW-Source: 2019-07/txt/msg00191.txt.bz2

* Martin Jambor:

> as you might know, Tejas is our Google Summer of Code student working on
> adding built-in functions for some new math functions added in ISO/IEC
> TS 18661.
>
> His next step is to expand "functions rounding result to narrower type"
> (so fadd, fsub and possibly fmul and fdiv described in
> http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2314.pdf) into ISA
> instructions on targets that have such instructions.

Sorry, this might be a silly question, but: How do you plan to recognize
that the fadd/fsub being called is indeed the one from the TS?

Thanks,
Florian