mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-19 01:40:39 +08:00
Code Issues Packages Projects Releases Wiki Activity

tree-ssa-dom.c (record_edge_info): Use last_basic_block to allocate info array.

Browse Source 
* tree-ssa-dom.c (record_edge_info): Use last_basic_block to
	allocate info array.
	* tree-vrp.c (extract_range_from_unary_expr): Set resulting
	range to varying in cast expressions that change
	TYPE_PRECISION.

testsuite/ChangeLog

	* gcc.dg/tree-ssa/vrp14.c: New test.

From-SVN: r100554
This commit is contained in:
Diego Novillo 2005-06-03 21:07:11 +00:00 committed by Diego Novillo
parent 658a82f8ed
commit 441e96b5bc
5 changed files with 69 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2005-06-03 Diego Novillo <dnovillo@redhat.com>
* tree-ssa-dom.c (record_edge_info): Use last_basic_block to
allocate info array.
* tree-vrp.c (extract_range_from_unary_expr): Set resulting
range to varying in cast expressions that change
TYPE_PRECISION.
2005-06-03 Eric Christopher <echristo@redhat.com>
* config/mips/mips.opt: Add RejectNegative to divide-breaks and

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2005-06-03 Diego Novillo <dnovillo@redhat.com>
* gcc.dg/tree-ssa/vrp14.c: New test.
2005-06-03 Mark Mitchell <mark@codesourcery.com>
PR c++/21336

46
gcc/testsuite/gcc.dg/tree-ssa/vrp14.c Normal file
View File

@ -0,0 +1,46 @@
/* { dg-do run } */
/* { dg-options "-O2" } */
struct tree_decl
{
union tree_decl_u1 {
int f;
long i;
struct tree_decl_u1_a {
unsigned int align : 24;
unsigned int off_align : 8;
} a;
} u1;
};
extern void abort (void);
unsigned int
assemble_variable (struct tree_decl decl)
{
unsigned int align;
align = decl.u1.a.align;
if (align > (1 << ((8 * 4) < 64 ? (8 * 4) - 2 : 62)))
align = (1 << ((8 * 4) < 64 ? (8 * 4) - 2 : 62));
/* VRP should not be propagating 0 to the RHS of this assignment.
But it was erroneously applying a cast operation between types of
different precision. align is an unsigned int with range [0,
0x4000000] but the .align field holds only 24 bits. So the cast
was returning a [0, 0] range. */
decl.u1.a.align = align;
return decl.u1.a.align;
}
main ()
{
struct tree_decl decl;
decl.u1.a.align = 13;
unsigned int x = assemble_variable (decl);
if (x == 0)
abort ();
return 0;
}

2
gcc/tree-ssa-dom.c
View File

@ -2422,7 +2422,7 @@ record_edge_info (basic_block bb)
{
tree labels = SWITCH_LABELS (stmt);
int i, n_labels = TREE_VEC_LENGTH (labels);
tree *info = xcalloc (n_basic_blocks, sizeof (tree));
tree *info = xcalloc (last_basic_block, sizeof (tree));
edge e;
edge_iterator ei;

14
gcc/tree-vrp.c
View File

@ -1295,17 +1295,23 @@ extract_range_from_unary_expr (value_range_t *vr, tree expr)
}
/* Handle unary expressions on integer ranges. */
if ((code == NOP_EXPR || code == CONVERT_EXPR)
&& (TYPE_SIZE (TREE_TYPE (vr0.min)) != TYPE_SIZE (TREE_TYPE (expr))))
if (code == NOP_EXPR || code == CONVERT_EXPR)
{
tree inner_type = TREE_TYPE (op0);
tree outer_type = TREE_TYPE (expr);
/* When converting types of different sizes, set the result to
VARYING. Things like sign extensions and precision loss may
change the range. For instance, if x_3 is of type 'long long
int' and 'y_5 = (unsigned short) x_3', if x_3 is ~[0, 0], it
is impossible to know at compile time whether y_5 will be
~[0, 0]. */
set_value_range_to_varying (vr);
return;
if (TYPE_SIZE (inner_type) != TYPE_SIZE (outer_type)
|| TYPE_PRECISION (inner_type) != TYPE_PRECISION (outer_type))
{
set_value_range_to_varying (vr);
return;
}
}
/* Apply the operation to each end of the range and see what we end