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

re PR tree-optimization/53058 (Another ice in remove_range_assertions)

Browse Source 
PR tree-optimization/53058
	* double-int.h (double_int_max_value, double_int_min_value): New
	prototypes.
	* double-int.c (double_int_max_value, double_int_min_value): New
	functions.
	* tree-vrp.c (register_edge_assert_for_2): Compare mask
	for LE_EXPR or GT_EXPR with double_int_max_value
	instead of double_int_mask.

	* gcc.c-torture/compile/pr53058.c: New test.

From-SVN: r186816
This commit is contained in:
Jakub Jelinek 2012-04-25 13:35:38 +02:00 committed by Jakub Jelinek
parent 228f466fd6
commit 0ea62d936f
6 changed files with 57 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/ChangeLog
View File

@ -1,3 +1,14 @@
2012-04-25 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/53058
* double-int.h (double_int_max_value, double_int_min_value): New
prototypes.
* double-int.c (double_int_max_value, double_int_min_value): New
functions.
* tree-vrp.c (register_edge_assert_for_2): Compare mask
for LE_EXPR or GT_EXPR with double_int_max_value
instead of double_int_mask.
2012-04-25 Richard Guenther <rguenther@suse.de>
* tree-vectorizer.h (vect_loop_versioning): Adjust prototype.

22
gcc/double-int.c
View File

@ -1,5 +1,5 @@
/* Operations with long integers.
Copyright (C) 2006, 2007, 2009, 2010 Free Software Foundation, Inc.
Copyright (C) 2006, 2007, 2009, 2010, 2012 Free Software Foundation, Inc.
This file is part of GCC.
@ -616,6 +616,26 @@ double_int_mask (unsigned prec)
return mask;
}
/* Returns a maximum value for signed or unsigned integer
of precision PREC. */
double_int
double_int_max_value (unsigned int prec, bool uns)
{
return double_int_mask (prec - (uns ? 0 : 1));
}
/* Returns a minimum value for signed or unsigned integer
of precision PREC. */
double_int
double_int_min_value (unsigned int prec, bool uns)
{
if (uns)
return double_int_zero;
return double_int_lshift (double_int_one, prec - 1, prec, false);
}
/* Clears the bits of CST over the precision PREC. If UNS is false, the bits
outside of the precision are set to the sign bit (i.e., the PREC-th one),
otherwise they are set to zero.

5
gcc/double-int.h
View File

@ -1,5 +1,5 @@
/* Operations with long integers.
Copyright (C) 2006, 2007, 2008, 2010 Free Software Foundation, Inc.
Copyright (C) 2006, 2007, 2008, 2010, 2012 Free Software Foundation, Inc.
This file is part of GCC.
@ -242,6 +242,9 @@ double_int double_int_sext (double_int, unsigned);
double_int double_int_zext (double_int, unsigned);
double_int double_int_mask (unsigned);
double_int double_int_max_value (unsigned int, bool);
double_int double_int_min_value (unsigned int, bool);
#define ALL_ONES (~((unsigned HOST_WIDE_INT) 0))
/* The operands of the following comparison functions must be processed

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2012-04-25 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/53058
* gcc.c-torture/compile/pr53058.c: New test.
2012-04-25 Jan Hubicka <jh@suse.cz>
PR middle-end/53088

12
gcc/testsuite/gcc.c-torture/compile/pr53058.c Normal file
View File

@ -0,0 +1,12 @@
/* PR tree-optimization/53058 */
int a, b, c;
void
foo ()
{
c = b >> 16;
if (c > 32767)
c = 0;
a = b;
}

5
gcc/tree-vrp.c
View File

@ -4565,6 +4565,7 @@ register_edge_assert_for_2 (tree name, edge e, gimple_stmt_iterator bsi,
&& INTEGRAL_TYPE_P (TREE_TYPE (name2))
&& IN_RANGE (tree_low_cst (cst2, 1), 1, prec - 1)
&& prec <= 2 * HOST_BITS_PER_WIDE_INT
&& prec == GET_MODE_PRECISION (TYPE_MODE (TREE_TYPE (val)))
&& live_on_edge (e, name2)
&& !has_single_use (name2))
{
@ -4598,8 +4599,10 @@ register_edge_assert_for_2 (tree name, edge e, gimple_stmt_iterator bsi,
new_val = val2;
else
{
double_int maxval
= double_int_max_value (prec, TYPE_UNSIGNED (TREE_TYPE (val)));
mask = double_int_ior (tree_to_double_int (val2), mask);
if (double_int_minus_one_p (double_int_sext (mask, prec)))
if (double_int_equal_p (mask, maxval))
new_val = NULL_TREE;
else
new_val = double_int_to_tree (TREE_TYPE (val2), mask);