Re: [Patch] Inline optimization for tanh(x)/sinh(x) -> 1.0/cosh(x)

[Marc Glisse]

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.

--
Marc Glisse