From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 91233 invoked by alias); 30 Jul 2019 19:49:02 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 90998 invoked by uid 89); 30 Jul 2019 19:48:38 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.1 spammy=Google X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 30 Jul 2019 19:48:37 +0000 Received: from nat-ies.mentorg.com ([192.94.31.2] helo=svr-ies-mbx-01.mgc.mentorg.com) by relay1.mentorg.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-SHA384:256) id 1hsY6t-00036q-DA from joseph_myers@mentor.com ; Tue, 30 Jul 2019 12:48:35 -0700 Received: from digraph.polyomino.org.uk (137.202.0.90) by svr-ies-mbx-01.mgc.mentorg.com (139.181.222.1) with Microsoft SMTP Server (TLS) id 15.0.1320.4; Tue, 30 Jul 2019 20:48:32 +0100 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.90_1) (envelope-from ) id 1hsY6p-00037V-Go; Tue, 30 Jul 2019 19:48:31 +0000 Date: Tue, 30 Jul 2019 19:49:00 -0000 From: Joseph Myers To: Florian Weimer CC: Martin Jambor , , Tejas Joshi , Jan Hubicka , GCC Mailing List Subject: Re: Expansion of narrowing math built-ins into power instructions In-Reply-To: <87sgqnx4i6.fsf@oldenburg2.str.redhat.com> Message-ID: References: <87sgqnx4i6.fsf@oldenburg2.str.redhat.com> User-Agent: Alpine 2.21 (DEB 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" X-SW-Source: 2019-07/txt/msg00195.txt.bz2 On Tue, 30 Jul 2019, Florian Weimer wrote: > * 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? I expect it's the same as any other built-in function: compatible prototype plus appropriate options (-std=gnu*, or -std=c2x in future once we teach GCC that these functions are in C2x) that enable the built-in functions. -- Joseph S. Myers joseph@codesourcery.com