OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR bootstrap/26998 (bootstrap failure building libdecnumber, ICE in compare_values, tree-vrp.c:432)

Browse Source 
2006-06-09  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/26998
	* tree-vrp.c (extract_range_from_unary_expr): For NEGATE_EXPR
	of signed types, only TYPE_MIN_VALUE is special, but for both,
	minimum and maximum value.  Likewise VR_ANTI_RANGE is special
	in this case, as is -fwrapv.

	* gcc.dg/torture/pr26998.c: New testcase.
	* gcc.dg/tree-ssa/vrp29.c: New testcase.

From-SVN: r114507
This commit is contained in:
Richard Guenther 2006-06-09 12:39:11 +00:00 committed by Richard Biener
parent e336f7f2ec
commit 96b2034b6f
5 changed files with 59 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2006-06-09 Richard Guenther <rguenther@suse.de>
PR tree-optimization/26998
* tree-vrp.c (extract_range_from_unary_expr): For NEGATE_EXPR
of signed types, only TYPE_MIN_VALUE is special, but for both,
minimum and maximum value. Likewise VR_ANTI_RANGE is special
in this case, as is -fwrapv.
2006-06-08 Mike Stump <mrs@apple.com>
PR target/26427

6
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,9 @@
2006-06-09 Richard Guenther <rguenther@suse.de>
PR tree-optimization/26998
* gcc.dg/torture/pr26998.c: New testcase.
* gcc.dg/tree-ssa/vrp29.c: New testcase.
2006-06-08 Mike Stump <mrs@apple.com>
* gcc.dg/pr27095.c: Account for stubs.

11
gcc/testsuite/gcc.dg/torture/pr26998.c Normal file
View File

@ -0,0 +1,11 @@
/* { dg-do compile } */
int decCompareOp (int result)
{
if (result != (int)0x80000000)
{
result = -result;
return (result > 0);
}
return 0;
}

20
gcc/testsuite/gcc.dg/tree-ssa/vrp29.c Normal file
View File

@ -0,0 +1,20 @@
/* { dg-do run } */
/* { dg-options "-O2" } */
extern void abort(void);
void decCompareOp (int result)
{
if (result != (int)0x80000000)
{
result = -result;
if (result != (int)0x80000001)
abort ();
}
}
int main()
{
decCompareOp (0x7fffffff);
return 0;
}

21
gcc/tree-vrp.c
View File

@ -1795,14 +1795,21 @@ extract_range_from_unary_expr (value_range_t *vr, tree expr)
if (code == NEGATE_EXPR
&& !TYPE_UNSIGNED (TREE_TYPE (expr)))
{
/* NEGATE_EXPR flips the range around. */
min = (vr0.max == TYPE_MAX_VALUE (TREE_TYPE (expr)) && !flag_wrapv)
? TYPE_MIN_VALUE (TREE_TYPE (expr))
: fold_unary_to_constant (code, TREE_TYPE (expr), vr0.max);
/* NEGATE_EXPR flips the range around. We need to treat
TYPE_MIN_VALUE specially dependent on wrapping, range type
and if it was used as minimum or maximum value:
-~[MIN, MIN] == ~[MIN, MIN]
-[MIN, 0] == [0, MAX] for -fno-wrapv
-[MIN, 0] == [0, MIN] for -fwrapv (will be set to varying later) */
min = vr0.max == TYPE_MIN_VALUE (TREE_TYPE (expr))
? TYPE_MIN_VALUE (TREE_TYPE (expr))
: fold_unary_to_constant (code, TREE_TYPE (expr), vr0.max);
max = (vr0.min == TYPE_MIN_VALUE (TREE_TYPE (expr)) && !flag_wrapv)
? TYPE_MAX_VALUE (TREE_TYPE (expr))
: fold_unary_to_constant (code, TREE_TYPE (expr), vr0.min);
max = vr0.min == TYPE_MIN_VALUE (TREE_TYPE (expr))
? (vr0.type == VR_ANTI_RANGE || flag_wrapv
? TYPE_MIN_VALUE (TREE_TYPE (expr))
: TYPE_MAX_VALUE (TREE_TYPE (expr)))
: fold_unary_to_constant (code, TREE_TYPE (expr), vr0.min);
}
else if (code == NEGATE_EXPR