This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: patch to bug #86829
- From: Giuliano Augusto Faulin Belinassi <giuliano dot belinassi at usp dot br>
- To: gcc-patches at gcc dot gnu dot org
- Date: Sat, 18 Aug 2018 09:23:27 -0300
- Subject: Re: patch to bug #86829
- References: <CAEFO=4AiqFvHH5sb1xWguEoSY2osH+NZJzWELkHqefEbgTd_6g@mail.gmail.com>
ping
On Sat, Aug 4, 2018 at 10:22 AM, Giuliano Augusto Faulin Belinassi
<giuliano.belinassi@usp.br> wrote:
> Closes bug #86829
>
> Description: Adds substitution rules for both sin(atan(x)) and
> cos(atan(x)). These formulas are replaced by x / sqrt(x*x + 1) and 1 /
> sqrt(x*x + 1) respectively, providing up to 10x speedup. This identity
> can be proved mathematically.
>
> Changelog:
>
> 2018-08-03 Giuliano Belinassi <giuliano.belinassi@usp.br>
>
> * match.pd: add simplification rules to sin(atan(x)) and cos(atan(x)).
>
> Bootstrap and Testing:
> There were no unexpected failures in a proper testing in GCC 8.1.0
> under a x86_64 running Ubuntu 18.04.