procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tree-vrp.c (vrp_int_const_binop): Do not handle MAX_EXPR when the result overflows.

Browse source 
* tree-vrp.c (vrp_int_const_binop): Do not handle MAX_EXPR
	when the result overflows.

From-SVN: r100983
This commit is contained in:
Diego Novillo 2005-06-15 15:19:51 +00:00 • committed by Diego Novillo
parent 352364de59
commit 38e19e4c73
2 changed files with 14 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ChangeLog
View file

@ -1,3 +1,8 @@
2005-06-15 Diego Novillo <dnovillo@redhat.com>
* tree-vrp.c (vrp_int_const_binop): Do not handle MAX_EXPR
when the result overflows.
2005-06-15 David Ung <davidu@mips.com>
* config/mips/mips.c (mips_rtx_cost_data): Add cost for 4kc, 4kp,

12
gcc/tree-vrp.c
View file

@ -996,9 +996,15 @@ vrp_int_const_binop (enum tree_code code, tree val1, tree val2)
int sgn1 = tree_int_cst_sgn (val1);
int sgn2 = tree_int_cst_sgn (val2);
/* Notice that we only need to handle the restricted set of
operations handled by extract_range_from_binary_expr. */
if (((code == PLUS_EXPR || code == MAX_EXPR) && sgn2 >= 0)
/* Determine whether VAL1 CODE VAL2 yields a growing value.
Notice that we only need to handle the restricted set of
operations handled by extract_range_from_binary_expr:
VAL1 + VAL2 grows if VAL2 is >= 0.
VAL1 * VAL2 grows if both VAL1 and VAL2 have the same sign.
VAL1 - VAL2 grows if VAL2 is < 0 (because it becomes an addition).
*/
if ((code == PLUS_EXPR && sgn2 >= 0)
|| (code == MULT_EXPR && sgn1 == sgn2)
|| (code == MINUS_EXPR && sgn2 < 0))
grows = true;