[PR57371] transform (double)i eq/ne 0 to i eq/ne 0

[Joseph Myers]

On Wed, 3 Aug 2016, Georg-Johann Lay wrote:

> On 03.08.2016 09:53, Prathamesh Kulkarni wrote:
> > Hi,
> > The attached patch tries to transform
> > (double)i eq/ne 0 to i eq/ne 0
> > AFAIU from Joseph's comment 1 in PR, the transform should be safe with
> > -fno-trapping-math ?
> 
> What about signed zeroes?

Comparing with -0 is exactly the same as comparing with +0 (-0 == +0), so 
there is no issue in that regard.

-- 
Joseph S. Myers
joseph@codesourcery.com