aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/gimple-fold.c3
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9681566..0c0fce9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-11-25 Richard Biener <rguenther@suse.de>
+
+ * gimple-fold.c (fold_stmt_1): Check may_propagate_copy
+ before valueizing return stmts.
+
2016-11-24 Richard Biener <rguenther@suse.de>
PR tree-optimization/78343
diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c
index 6842301..f586c09 100644
--- a/gcc/gimple-fold.c
+++ b/gcc/gimple-fold.c
@@ -4414,7 +4414,8 @@ fold_stmt_1 (gimple_stmt_iterator *gsi, bool inplace, tree (*valueize) (tree))
if (ret && TREE_CODE (ret) == SSA_NAME && valueize)
{
tree val = valueize (ret);
- if (val && val != ret)
+ if (val && val != ret
+ && may_propagate_copy (ret, val))
{
gimple_return_set_retval (ret_stmt, val);
changed = true;