On 1/30/19 7:10 AM, Bárbara de Castro Fernandes wrote: > This patch simplifies the function tanh (x) * cosh (x) -> sinh (x). > This rule is derived from the relationship between hyperbolic > functions. > > I ran the tests and gfortran.dg/pr79966.f90 failed, but this failure > is unrelated to the patch (see > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88711 for more > information). My architecture is x86_64. > > gcc/ChangeLog: > 2019-01-30 Bárbara Fernandes <barbara.fernan...@usp.br> > > * match.pd (tanh (x) * cosh (x)): New simplification rule. > > gcc/testsuite/ChangeLog: > 2019-01-30 Bárbara Fernandes <barbara.fernan...@usp.br> > > * tanhtimescosh.c: New test. So how does this behave for numbers extremely close to zero in practice and do we have to worry about overflow problems when cosh(x) gets large?
jeff >
