mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-13 13:54:05 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Pass multi-range from range_query::value_* routines

Browse Source 
fix range-ops equal/not_equal to not reuse the result range as intermediary.
value_query::value routines should pasa multi-range in as some other rangeop
routines build into this result, so we may need better precision.

	gcc/
	PR tree-optimization/97725
	* range-op.cc (operator_equal::fold_range): Use new tmp value.
	(operator_not_equal::fold_range): Ditto.
	* value-query.cc (range_query::value_of_expr): Use int_range_max
	not a value_range.
	(range_query::value_on_edge): Ditto.
	(range_query::value_of_stmt): Ditto.
	gcc/testsuite/
	* gcc.dg/pr97725.c: New.
This commit is contained in:
Andrew MacLeod 2020-11-05 13:59:45 -05:00
parent d16d45655d
commit 22984f3f09
3 changed files with 37 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/range-op.cc
View File

@ -428,9 +428,9 @@ operator_equal::fold_range (irange &r, tree type,
{
// If ranges do not intersect, we know the range is not equal,
// otherwise we don't know anything for sure.
r = op1;
r.intersect (op2);
if (r.undefined_p ())
int_range_max tmp = op1;
tmp.intersect (op2);
if (tmp.undefined_p ())
r = range_false (type);
else
r = range_true_and_false (type);
@ -513,9 +513,9 @@ operator_not_equal::fold_range (irange &r, tree type,
{
// If ranges do not intersect, we know the range is not equal,
// otherwise we don't know anything for sure.
r = op1;
r.intersect (op2);
if (r.undefined_p ())
int_range_max tmp = op1;
tmp.intersect (op2);
if (tmp.undefined_p ())
r = range_true (type);
else
r = range_true_and_false (type);

28
gcc/testsuite/gcc.dg/pr97725.c Normal file
View File

@ -0,0 +1,28 @@
/* { dg-do compile } */
/* { dg-options "-O2" } */
int a;
unsigned b;
int main() {
if (a) {
goto L1;
while (1)
while (1) {
long e = -1L, g;
int f, h, i;
L1:
a = f;
L2:
g = e;
f = h || g;
e = ~(f & b);
if (i || g < -1L) {
~(g || 0);
break;
}
goto L2;
}
}
return 0;
}

6
gcc/value-query.cc
View File

@ -78,7 +78,7 @@ tree
range_query::value_of_expr (tree name, gimple *stmt)
{
tree t;
value_range r;
int_range_max r;
if (!irange::supports_type_p (TREE_TYPE (name)))
return NULL_TREE;
@ -99,7 +99,7 @@ tree
range_query::value_on_edge (edge e, tree name)
{
tree t;
value_range r;
int_range_max r;
if (!irange::supports_type_p (TREE_TYPE (name)))
return NULL_TREE;
@ -120,7 +120,7 @@ tree
range_query::value_of_stmt (gimple *stmt, tree name)
{
tree t;
value_range r;
int_range_max r;
if (!name)
name = gimple_get_lhs (stmt);