{
if (op1 == op2)
r = range_true (type);
+ // If one operand is -0.0 and other 0.0, they are still equal.
+ else if (real_iszero (&op1.lower_bound ())
+ && real_iszero (&op2.lower_bound ()))
+ r = range_true (type);
else
r = range_false (type);
}
frange tmp = op1;
tmp.intersect (op2);
if (tmp.undefined_p ())
- r = range_false (type);
+ {
+ // If one range is [whatever, -0.0] and another
+ // [0.0, whatever2], we don't know anything either,
+ // because -0.0 == 0.0.
+ if ((real_iszero (&op1.upper_bound ())
+ && real_iszero (&op2.lower_bound ()))
+ || (real_iszero (&op1.lower_bound ())
+ && real_iszero (&op2.upper_bound ())))
+ r = range_true_and_false (type);
+ else
+ r = range_false (type);
+ }
else
r = range_true_and_false (type);
}
// consist of a single value, and then compare them.
else if (op1.singleton_p () && op2.singleton_p ())
{
- if (op1 != op2)
- r = range_true (type);
- else
+ if (op1 == op2)
r = range_false (type);
+ // If one operand is -0.0 and other 0.0, they are still equal.
+ else if (real_iszero (&op1.lower_bound ())
+ && real_iszero (&op2.lower_bound ()))
+ r = range_false (type);
+ else
+ r = range_true (type);
}
else if (!maybe_isnan (op1, op2))
{
frange tmp = op1;
tmp.intersect (op2);
if (tmp.undefined_p ())
- r = range_true (type);
+ {
+ // If one range is [whatever, -0.0] and another
+ // [0.0, whatever2], we don't know anything either,
+ // because -0.0 == 0.0.
+ if ((real_iszero (&op1.upper_bound ())
+ && real_iszero (&op2.lower_bound ()))
+ || (real_iszero (&op1.lower_bound ())
+ && real_iszero (&op2.upper_bound ())))
+ r = range_true_and_false (type);
+ else
+ r = range_true (type);
+ }
else
r = range_true_and_false (type);
}
--- /dev/null
+/* PR tree-optimization/108540 */
+
+__attribute__((noipa)) void
+bar (const char *cp, unsigned long size, char sign, int dsgn)
+{
+ if (__builtin_strcmp (cp, "ZERO") != 0 || size != 4 || sign != '-' || dsgn != 1)
+ __builtin_abort ();
+}
+
+__attribute__((noipa)) void
+foo (int x, int ch, double d)
+{
+ const char *cp = "";
+ unsigned long size = 0;
+ char sign = '\0';
+ switch (x)
+ {
+ case 42:
+ if (__builtin_isinf (d))
+ {
+ if (d < 0)
+ sign = '-';
+ cp = "Inf";
+ size = 3;
+ break;
+ }
+ if (__builtin_isnan (d))
+ {
+ cp = "NaN";
+ size = 3;
+ break;
+ }
+ if (d < 0)
+ {
+ d = -d;
+ sign = '-';
+ }
+ else if (d == 0.0 && __builtin_signbit (d))
+ sign = '-';
+ else
+ sign = '\0';
+ if (ch == 'a' || ch == 'A')
+ {
+ union U { long long l; double d; } u;
+ int dsgn;
+ u.d = d;
+ if (u.l < 0)
+ {
+ dsgn = 1;
+ u.l &= 0x7fffffffffffffffLL;
+ }
+ else
+ dsgn = 0;
+ if (__builtin_isinf (d))
+ {
+ cp = "INF";
+ size = 3;
+ }
+ else if (__builtin_isnan (d))
+ {
+ cp = "NAN";
+ size = 3;
+ }
+ else if (d == 0)
+ {
+ cp = "ZERO";
+ size = 4;
+ }
+ else
+ {
+ cp = "WRONG";
+ size = 5;
+ }
+ bar (cp, size, sign, dsgn);
+ }
+ }
+}
+
+int
+main ()
+{
+ foo (42, 'a', -0.0);
+ return 0;
+}