Re: [Patch match.pd] Add a simplify rule for x * copysign (1.0, y);

[Michael Matz]

Hi,

On Thu, 1 Oct 2015, Jakub Jelinek wrote:

> But if x is a sNaN, then the multiplication will throw an exception, while
> the transformed operation will not.

Hmm, that's right, silly me.

> So perhaps it should be guarded by
> !HONOR_SNANS (TYPE_MODE (type))
> ?

That makes sense, yes.


Ciao,
Michael.