From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11672 invoked by alias); 7 Aug 2018 20:42:10 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 11663 invoked by uid 89); 7 Aug 2018 20:42:09 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-2.8 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy=H*F:D*br X-HELO: mail-oi0-f65.google.com Received: from mail-oi0-f65.google.com (HELO mail-oi0-f65.google.com) (209.85.218.65) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 07 Aug 2018 20:42:08 +0000 Received: by mail-oi0-f65.google.com with SMTP id y207-v6so30778364oie.13 for ; Tue, 07 Aug 2018 13:42:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=usp-br.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=6OQufDkAXycRQ5LSnzgNM59uatNBOpqHnwja6tfGotM=; b=XHsrRN82lyuj90TM/m42Czja3iLlqoM9E5TR5af03iPJYmtxzkeeNRrV5OX0qdiEOJ 48FrQ1Xuy1jctQkxS8BpReZ94hjdjmLscjA5RGEKSs9/ATn2kRAGaVGjxYGrrzABFq/o v1SKWap7luYJqt+QAamY3gv3zZhXzVa+JzMpXGocjygyjXU8ladMuG98ZEuvIi4W1sFV DEAzPnW1etSq/fJiUqrCfC8EWQGsLXGoUepaKuEEMmyoXhKQrB4k0antulb4QVxTN7Dg Cf708Nkt2aewovHq8WTaPMgQSjXlPY2nMQq8NZWpdqM36K9vhPfM6kM4A0StgZU6r4Cm sxRw== MIME-Version: 1.0 Received: by 2002:a4a:b08b:0:0:0:0:0 with HTTP; Tue, 7 Aug 2018 13:42:06 -0700 (PDT) In-Reply-To: <889F7D7D-EA25-448B-87C4-8F7690EF8DA6@comcast.net> References: <889F7D7D-EA25-448B-87C4-8F7690EF8DA6@comcast.net> From: Giuliano Augusto Faulin Belinassi Date: Tue, 07 Aug 2018 20:42:00 -0000 Message-ID: Subject: Re: [PATCH] Add sinh(tanh(x)) and cosh(tanh(x)) rules To: Paul Koning Cc: gcc-patches@gcc.gnu.org Content-Type: text/plain; charset="UTF-8" X-IsSubscribed: yes X-SW-Source: 2018-08/txt/msg00525.txt.bz2 That is a good question because I didn't know that such targets exists. Any suggestion? On Tue, Aug 7, 2018 at 5:29 PM, Paul Koning wrote: > > >> On Aug 7, 2018, at 4:00 PM, Giuliano Augusto Faulin Belinassi wrote: >> >> Related with bug 86829, but for hyperbolic trigonometric functions. >> This patch adds substitution rules to both sinh(tanh(x)) -> x / sqrt(1 >> - x*x) and cosh(tanh(x)) -> 1 / sqrt(1 - x*x). Notice that the both >> formulas has division by 0, but it causes no harm because 1/(+0) -> >> +infinity, thus the math is still safe. > > What about non-IEEE targets that don't have "infinite" in their float representation? > > paul > >