From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 92376 invoked by alias); 31 Jul 2019 06:47:24 -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 92368 invoked by uid 89); 31 Jul 2019 06:47:23 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-9.4 required=5.0 tests=AWL,BAYES_00,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=no version=3.3.1 spammy=UD:rs6000.md, rs6000md, rs6000.md, Google X-HELO: mail-ed1-f42.google.com Received: from mail-ed1-f42.google.com (HELO mail-ed1-f42.google.com) (209.85.208.42) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 31 Jul 2019 06:47:22 +0000 Received: by mail-ed1-f42.google.com with SMTP id e3so64683240edr.10 for ; Tue, 30 Jul 2019 23:47:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=xwkdVWPC5r6r+dSeztaZbtzOXqCW4HHEiKrTdXJy6jA=; b=OE0/ZWSPvwzfc+N0jM3KKqpPwJhCgQcYODC5jD9YZy0tZWNHpl1GYHE8dOcsFC/3NY sBAgyPmI5cl+ZKJUJDGb9WUwsKzFv2yALDRnZtY2IcJjkd3XyoKGbmg042aksnsT5myB fZgP2c3v/yL4f8if2wv5l7ALPSHWF1w/A/5oTyhk6x5ZJMUUFMxRBks4CRmkX7QkyyBj Q/SKG4QY31ITPf9oh6uFyd9pRZuoeqwpKEYQx92kERpa8/kCf3P9DABZRn0YKaop+saZ siWFl6pRJ1US+0Gao2AE5PpyCAO625k4CS+7gHc3OKDSkvNRCFClNkqm9kBJ+DCXfRx8 F/5A== MIME-Version: 1.0 References: <87sgqnx4i6.fsf@oldenburg2.str.redhat.com> In-Reply-To: From: Tejas Joshi Date: Wed, 31 Jul 2019 06:47:00 -0000 Message-ID: Subject: Re: Expansion of narrowing math built-ins into power instructions To: gcc@gcc.gnu.org Cc: Martin Jambor , segher@kernel.crashing.org, joseph@codesourcery.com Content-Type: text/plain; charset="UTF-8" X-IsSubscribed: yes X-SW-Source: 2019-07/txt/msg00198.txt.bz2 Hi, > In GCC (in rs6000.md) we have the "*add3_fpr" and similar insns, > which could be extended to allow DF inputs with an SF output; it doesn't > yet allow it. Thanks for the inputs, I will try to address these points now. I have built GCC on gcc112 and will apply patch and test testcases there. Tejas On Wed, 31 Jul 2019 at 01:18, Joseph Myers wrote: > > 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