From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from esa1.mentor.iphmx.com (esa1.mentor.iphmx.com [68.232.129.153]) by sourceware.org (Postfix) with ESMTPS id 4A9BB3857806 for ; Tue, 17 May 2022 10:26:08 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 4A9BB3857806 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com X-IronPort-AV: E=Sophos;i="5.91,232,1647331200"; d="scan'208";a="78634153" Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165]) by esa1.mentor.iphmx.com with ESMTP; 17 May 2022 02:26:07 -0800 IronPort-SDR: q4Hnfl3Kx88KrJ6UGoL4ZqtwFLYfdZrjArS+jiO4S5RAdNEzcFmWnW01ebzKIReQVwP6VEDSR6 nuJPRVGbBe7P2PIPEGYhscHUudHsKeu3ZdOm0w1Mj5nlxW/WfosrlQzjW+QlAS56c3JdkRbEG8 U+dK/RvIpk2ml6mc2yspICow0IcrlGX6vWHyQZn5ZxyfiKT+rTY9cCfMnkTet1fJ/zUqTachFM Qkf7HR/Fjlns2+9YoqecSho8G3uPG2xxBB8y6ZW3uv1uxZ3VHvkSDkHq2DzstG6Vom7N3XLgWF L1Y= Message-ID: <26541eb8-0e28-0172-8af8-15dc70f73dff@codesourcery.com> Date: Tue, 17 May 2022 12:26:00 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.0 Subject: Re: gfortran fp16 Content-Language: en-US To: =?UTF-8?Q?Thomas_K=c3=b6nig?= CC: Toon Moene , , References: <82eabaad-a325-d061-023c-dc97e31b6e5f@mentor.com> <836D64F9-FA54-4DB3-BC12-2FA5464EA5EB@tkoenig.net> From: Tobias Burnus In-Reply-To: <836D64F9-FA54-4DB3-BC12-2FA5464EA5EB@tkoenig.net> Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-Originating-IP: [137.202.0.90] X-ClientProxiedBy: svr-ies-mbx-15.mgc.mentorg.com (139.181.222.15) To svr-ies-mbx-12.mgc.mentorg.com (139.181.222.12) X-Spam-Status: No, score=-6.2 required=5.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, KAM_NUMSUBJECT, NICE_REPLY_A, SPF_HELO_PASS, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: fortran@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Fortran mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 17 May 2022 10:26:10 -0000 On 17.05.22 12:09, Thomas K=C3=B6nig wrote: > be might complement to the QP support for POWER in gcc 12, and I have act= ually thought about doing. The library has its gotchas, though - I do not s= uppose we can count on fp16 support for trigonometrics and similar, for exa= mple, I think that mostly depends on what the hardware supports and what has been implemented in the target code. For instance nvptx supports tanh and ex2 (ex2(a) :=3D 2**a)) for .f16 =E2= =80=93 and nvidia.md also contains, e.g. '(define_insn "exp2hf2"' which operates o= n "HF". And there is also the following in gcc/builtins.def: DEF_C99_BUILTIN (BUILT_IN_ACOSHF, "acoshf", BT_FN_FLOAT_FLOAT, ATTR_= MATHFN_FPROUNDING_ERRNO) DEF_C99_BUILTIN (BUILT_IN_ASINHF, "asinhf", BT_FN_FLOAT_FLOAT, ATTR_= MATHFN_FPROUNDING) DEF_C99_BUILTIN (BUILT_IN_ATANHF, "atanhf", BT_FN_FLOAT_FLOAT, ATTR_= MATHFN_FPROUNDING_ERRNO) DEF_C99_C90RES_BUILTIN (BUILT_IN_COSHF, "coshf", BT_FN_FLOAT_FLOAT, ATTR_MA= THFN_FPROUNDING_ERRNO) DEF_C99_C90RES_BUILTIN (BUILT_IN_SINHF, "sinhf", BT_FN_FLOAT_FLOAT, ATTR_MA= THFN_FPROUNDING_ERRNO) DEF_C99_C90RES_BUILTIN (BUILT_IN_TANHF, "tanhf", BT_FN_FLOAT_FLOAT, ATTR_MA= THFN_FPROUNDING) DEF_C99_COMPL_BUILTIN (BUILT_IN_CACOSHF, "cacoshf", BT_FN_COMPLEX_FL= OAT_COMPLEX_FLOAT, ATTR_MATHFN_FPROUNDING) DEF_C99_COMPL_BUILTIN (BUILT_IN_CASINHF, "casinhf", BT_FN_COMPLEX_FL= OAT_COMPLEX_FLOAT, ATTR_MATHFN_FPROUNDING) DEF_C99_COMPL_BUILTIN (BUILT_IN_CATANHF, "catanhf", BT_FN_COMPLEX_FL= OAT_COMPLEX_FLOAT, ATTR_MATHFN_FPROUNDING) DEF_C99_COMPL_BUILTIN (BUILT_IN_CCOSHF, "ccoshf", BT_FN_COMPLEX_FLOA= T_COMPLEX_FLOAT, ATTR_MATHFN_FPROUNDING) DEF_C99_COMPL_BUILTIN (BUILT_IN_CSINHF, "csinhf", BT_FN_COMPLEX_FLOA= T_COMPLEX_FLOAT, ATTR_MATHFN_FPROUNDING) DEF_C99_COMPL_BUILTIN (BUILT_IN_CTANHF, "ctanhf", BT_FN_COMPLEX_FLOA= T_COMPLEX_FLOAT, ATTR_MATHFN_FPROUNDING) But as said: the basic support for HF-supporting target should be simple, supporting all the library is more difficult. But the question is whether full support is needed or not. For 'acoshf' - if it is not available but used, it is mostly a user problem - which can be fixed by a suitable libm. I assume that on systems where HF is relevant, libm can be compiled such that it works. And in the compiler, you can use '#ifdef HAVE_HFmode' to check whether it e= xists. Tobias ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstra=C3=9Fe 201= , 80634 M=C3=BCnchen; Gesellschaft mit beschr=C3=A4nkter Haftung; Gesch=C3= =A4ftsf=C3=BChrer: Thomas Heurung, Frank Th=C3=BCrauf; Sitz der Gesellschaf= t: M=C3=BCnchen; Registergericht M=C3=BCnchen, HRB 106955