diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-03-25 16:28:15 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-03-25 16:28:15 +0000 |
| commit | fdc2de95e91ffd75671d07350fcd0ebaecbba915 (patch) | |
| tree | 6c641cdf9034b10c106fafd059cbad19f6710d89 | |
| parent | 21385db052f28434a7de4dbb5d19c00b6deddc03 (diff) | |
| download | gcc-fdc2de95e91ffd75671d07350fcd0ebaecbba915.tar.gz | |
tree-ssa-copy.c (stmt_may_generate_copy): Copies from constants also generate copies.
2011-03-25 Richard Guenther <rguenther@suse.de>
* tree-ssa-copy.c (stmt_may_generate_copy): Copies from constants
also generate copies.
(fini_copy_prop): Handle constant values properly.
From-SVN: r171465
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-copy.c | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 62299ae1a02..588651d7fa0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-03-25 Richard Guenther <rguenther@suse.de> + + * tree-ssa-copy.c (stmt_may_generate_copy): Copies from constants + also generate copies. + (fini_copy_prop): Handle constant values properly. + 2011-03-25 Jakub Jelinek <jakub@redhat.com> * dwarf2out.c (mem_loc_descriptor) <case ZERO_EXTRACT>: Compare diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c index 8062c033697..dbcbf9e5905 100644 --- a/gcc/tree-ssa-copy.c +++ b/gcc/tree-ssa-copy.c @@ -315,8 +315,9 @@ stmt_may_generate_copy (gimple stmt) /* Otherwise, the only statements that generate useful copies are assignments whose RHS is just an SSA name that doesn't flow through abnormal edges. */ - return (gimple_assign_rhs_code (stmt) == SSA_NAME - && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (gimple_assign_rhs1 (stmt))); + return ((gimple_assign_rhs_code (stmt) == SSA_NAME + && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (gimple_assign_rhs1 (stmt))) + || is_gimple_min_invariant (gimple_assign_rhs1 (stmt))); } @@ -771,6 +772,7 @@ fini_copy_prop (void) of the representative to the first solution we find if it doesn't have one already. */ if (copy_of[i].value != var + && TREE_CODE (copy_of[i].value) == SSA_NAME && POINTER_TYPE_P (TREE_TYPE (var)) && SSA_NAME_PTR_INFO (var) && !SSA_NAME_PTR_INFO (copy_of[i].value)) |