From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1239 invoked by alias); 29 Jul 2019 17:37:58 -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 1231 invoked by uid 89); 29 Jul 2019 17:37:58 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-6.1 required=5.0 tests=AWL,BAYES_00,SPF_PASS autolearn=ham version=3.3.1 spammy=student, H*Ad:U*joseph, pieces, Google X-HELO: mx1.suse.de Received: from mx2.suse.de (HELO mx1.suse.de) (195.135.220.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 29 Jul 2019 17:37:56 +0000 Received: from relay2.suse.de (unknown [195.135.220.254]) by mx1.suse.de (Postfix) with ESMTP id AA008B0E6; Mon, 29 Jul 2019 17:37:54 +0000 (UTC) From: Martin Jambor To: segher@kernel.crashing.org Cc: Tejas Joshi , Jan Hubicka , Joseph Myers , GCC Mailing List Subject: Expansion of narrowing math built-ins into power instructions User-Agent: Notmuch/0.29.1 (https://notmuchmail.org) Emacs/26.2 (x86_64-suse-linux-gnu) Date: Mon, 29 Jul 2019 17:37:00 -0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain X-IsSubscribed: yes X-SW-Source: 2019-07/txt/msg00187.txt.bz2 Hi Segher, 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. And Joseph suggested when he proposed this project that POWER8 (and I suppose also 9) is one of them. Can you please confirm this and also perhaps point Tejas to the right pieces of power machine description and target code to emulate to implement expansion of these functions? It would be very appreciated, because even though me and Honza are official mentors of the project, we are not very well versed in ppc target. Thanks a lot, Martin