From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 130428 invoked by alias); 8 Aug 2019 18:39: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 130420 invoked by uid 89); 8 Aug 2019 18:39:24 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-9.5 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=HX-Received:a50, rs6000md, UD:rs6000.md, rs6000.md X-HELO: mail-ed1-f50.google.com Received: from mail-ed1-f50.google.com (HELO mail-ed1-f50.google.com) (209.85.208.50) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 08 Aug 2019 18:39:23 +0000 Received: by mail-ed1-f50.google.com with SMTP id w20so91901940edd.2 for ; Thu, 08 Aug 2019 11:39:22 -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=NLj+y/Lv6I46CbWnGFMdQSueF65oAnZup6Jq9C2lsKY=; b=YV0hU5QjiuFLzrQOJyrvPPrSV7I0xCjJfaCiwgC3VMX+3JjOyQl02plfsQ77d6Sog5 HR3vM2MkNiRkUx6MEJAZzp6Hx6vJ81GYT7xonQjaywVr4KcFzP42qJU48rhpWDY3XrZW T3lQt7uhPerve0pMV+wxLgkMQ/T91qSSVsFqGki+vx0sFimu6BBlk564oDS9ZvPtNjFk tiHj6EmTVXaZtivDb6hIu/kqKfHkW6amyGo37UEizZBu5xuz8RkmjnxmjpEjMt/R4zbB tW7bk9eyhmXEpaoZ9TZCrgJp0VMf1EY+Vx2a8UQFvcKjRfmYoyyqcNBwOsKjFJmPLj2N LAjg== MIME-Version: 1.0 References: <87sgqnx4i6.fsf@oldenburg2.str.redhat.com> <20190731144722.GS31406@gate.crashing.org> In-Reply-To: <20190731144722.GS31406@gate.crashing.org> From: Tejas Joshi Date: Thu, 08 Aug 2019 18:39:00 -0000 Message-ID: Subject: Re: Expansion of narrowing math built-ins into power instructions To: gcc@gcc.gnu.org Cc: Martin Jambor , hubicka@ucw.cz, joseph@codesourcery.com, segher@kernel.crashing.org Content-Type: text/plain; charset="UTF-8" X-IsSubscribed: yes X-SW-Source: 2019-08/txt/msg00052.txt.bz2 Hi. It took some time for me to finish with the folding part for fadd variants and till it is reviewed, I want to move ahead with power8/9 expansions on top of the current fadd patch. > 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. This might be very lousy but I am confused with the optabs and insn name rn, the comments in obtabs.def says that these patterns are present in md as insn names. How can fadd function be mapped with the "fadd3_fpr" pattern name? Also, faddl and daddl functions take long double as argument, can they also be expanded on DF to SF mode or only on QP float on power9? I have built GCC and applied my current patches on gcc112 and yes, on gcc135 too. Thanks, Tejas On Wed, 31 Jul 2019 at 20:17, Segher Boessenkool wrote: > > On Wed, Jul 31, 2019 at 12:23:18PM +0530, Tejas Joshi wrote: > > > 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. > > For the QP float (binary128, KFmode, take your pick) you need Power9 or > newer, so gcc135. > > > Segher