On Fri, Jan 31, 2020 at 12:06 PM Marc Glisse <marc.gli...@inria.fr> wrote:
>
> On Thu, 30 Jan 2020, Vitor Guidi wrote:
>
> >> + /* Simplify tanh (x) / sinh (x) -> 1.0 / cosh (x). */
> >> + (simplify
> >> + (rdiv (TANH @0) (SINH @0))
> >> + (rdiv {build_one_cst (type);} (COSH @0)))
>
> The existing
>
> (simplify
> (rdiv (SINH:s @0) (COSH:s @0))
> (TANH @0))
>
> has :s (which AFAIK are ignored because the output is a single insn) but
> not this new one, where it would not be ignored. That's not very
> consistent.
True.
Richard.
>
> --
> Marc Glisse
