mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 22:11:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

[PR tree-optimization/107732] [range-ops] Handle attempt to abs() negatives.

Browse Source 
The threader is creating a scenario where we are trying to solve:

	[NEGATIVES] = abs(x)

While solving this we have an intermediate value of UNDEFINED because
we have no positive numbers.  But then we try to union the negative
pair to the final result by querying the bounds.  Since neither
UNDEFINED nor NAN have bounds, they need to be specially handled.

	PR tree-optimization/107732

gcc/ChangeLog:

	* range-op-float.cc (foperator_abs::op1_range): Early exit when
	result is undefined.

gcc/testsuite/ChangeLog:

	* gcc.dg/tree-ssa/pr107732.c: New test.
This commit is contained in:
Aldy Hernandez 2022-11-17 16:47:17 +01:00
parent f9ed1d24ee
commit 4e306222f4
2 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/range-op-float.cc
View File

@ -1407,7 +1407,7 @@ foperator_abs::op1_range (frange &r, tree type,
neg_nan.set_nan (type, true);
r.union_ (neg_nan);
}
if (r.known_isnan ())
if (r.known_isnan () || r.undefined_p ())
return true;
// Then add the negative of each pair:
// ABS(op1) = [5,20] would yield op1 => [-20,-5][5,20].

13
gcc/testsuite/gcc.dg/tree-ssa/pr107732.c Normal file
View File

@ -0,0 +1,13 @@
// { dg-do compile }
// { dg-options "-O2" }
double sqrt(double);
double a, b, c;
void d() {
for (;;) {
c = __builtin_fabs(a);
sqrt(c);
if (a)
a = b;
}
}