diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-12-06 12:53:38 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-12-06 12:53:38 +0000 |
| commit | bbb9d2fd5c8f15120726b3da90f539dc25f509f5 (patch) | |
| tree | 902219551516779dc5bb68148baa49a73d5f026b /gcc | |
| parent | 6b7fb143ae06d180ae7723c41664db4a1f1d11d0 (diff) | |
| download | gcc-bbb9d2fd5c8f15120726b3da90f539dc25f509f5.zip gcc-bbb9d2fd5c8f15120726b3da90f539dc25f509f5.tar.gz gcc-bbb9d2fd5c8f15120726b3da90f539dc25f509f5.tar.bz2 | |
re PR tree-optimization/46806 (-O3 implies 0 <= 8 <= 7)
2010-12-06 Richard Guenther <rguenther@suse.de>
PR tree-optimization/46806
* tree-ssa-copyrename.c (copy_rename_partition_coalesce): Do not
coalesce different types.
* g++.dg/torture/20100825.C: New testcase.
From-SVN: r167490
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/20100825.C | 15 | ||||
| -rw-r--r-- | gcc/tree-ssa-copyrename.c | 6 |
4 files changed, 29 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ccb7019..f01b9fe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2010-12-06 Richard Guenther <rguenther@suse.de> + PR tree-optimization/46806 + * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Do not + coalesce different types. + +2010-12-06 Richard Guenther <rguenther@suse.de> + PR tree-optimization/46785 * tree-vect-loop.c (vect_is_simple_reduction_1): Also allow call statements as operand definition. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 600655d..5c3b697 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2010-12-06 Richard Guenther <rguenther@suse.de> + PR tree-optimization/46806 + * g++.dg/torture/20100825.C: New testcase. + +2010-12-06 Richard Guenther <rguenther@suse.de> + PR tree-optimization/46785 * gcc.dg/vect/fast-math-vect-reduc-9.c: New testcase. diff --git a/gcc/testsuite/g++.dg/torture/20100825.C b/gcc/testsuite/g++.dg/torture/20100825.C new file mode 100644 index 0000000..460c1b6 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/20100825.C @@ -0,0 +1,15 @@ +// { dg-do run } + +typedef enum { zero = 0, one = 1, two = 2, ENUM_MAX = 3 } my_enum; +my_enum e; +extern "C" void abort (void); +int __attribute__((noinline)) foo() { return 10; } +int main() +{ + int r; + r = foo(); + if ((r < 0) || (r >= ENUM_MAX)) + return 0; + e = (my_enum)r; + abort (); +} diff --git a/gcc/tree-ssa-copyrename.c b/gcc/tree-ssa-copyrename.c index 41d43a6..abee6b9 100644 --- a/gcc/tree-ssa-copyrename.c +++ b/gcc/tree-ssa-copyrename.c @@ -226,11 +226,11 @@ copy_rename_partition_coalesce (var_map map, tree var1, tree var2, FILE *debug) ign2 = false; } - /* Don't coalesce if the two variables aren't type compatible. */ - if (!types_compatible_p (TREE_TYPE (root1), TREE_TYPE (root2))) + /* Don't coalesce if the two variables are not of the same type. */ + if (TREE_TYPE (root1) != TREE_TYPE (root2)) { if (debug) - fprintf (debug, " : Incompatible types. No coalesce.\n"); + fprintf (debug, " : Different types. No coalesce.\n"); return false; } |