aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Guenther <rguenther@suse.de>2011-08-15 12:17:33 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2011-08-15 12:17:33 +0000
commit4f9dbaaae8b46290b40ec43e56fdfc10dfd477b0 (patch)
tree5dafed5bf7957642b3bb13ca7a9b7d75fe2a4fef
parent3598da80668da2ebf4098529b8f298800997776c (diff)
downloadgcc-4f9dbaaae8b46290b40ec43e56fdfc10dfd477b0.zip
gcc-4f9dbaaae8b46290b40ec43e56fdfc10dfd477b0.tar.gz
gcc-4f9dbaaae8b46290b40ec43e56fdfc10dfd477b0.tar.bz2
re PR tree-optimization/50058 (FAIL: g++.dg/tree-ssa/pr41186.C)
2011-08-15 Richard Guenther <rguenther@suse.de> PR tree-optimization/50058 * tree-ssa-sccvn.c (vn_reference_lookup_3): Relax aggregate copy matching. From-SVN: r177760
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/tree-ssa-sccvn.c9
2 files changed, 10 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 32162ec..58e2216 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-08-15 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/50058
+ * tree-ssa-sccvn.c (vn_reference_lookup_3): Relax aggregate
+ copy matching.
+
2011-08-15 Ramana Radhakrishnan <ramana.radhakrishnan@linaro.org>
PR target/50022
diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c
index d65b9eb..4ccc0a2 100644
--- a/gcc/tree-ssa-sccvn.c
+++ b/gcc/tree-ssa-sccvn.c
@@ -1485,12 +1485,11 @@ vn_reference_lookup_3 (ao_ref *ref, tree vuse, void *vr_)
may fail when comparing types for compatibility. But we really
don't care here - further lookups with the rewritten operands
will simply fail if we messed up types too badly. */
- if (j == 0 && i == 0
+ if (j == 0 && i >= 0
&& VEC_index (vn_reference_op_s, lhs_ops, 0)->opcode == MEM_REF
- && VEC_index (vn_reference_op_s, vr->operands, i)->opcode == MEM_REF
- && tree_int_cst_equal
- (VEC_index (vn_reference_op_s, lhs_ops, 0)->op0,
- VEC_index (vn_reference_op_s, vr->operands, i)->op0))
+ && VEC_index (vn_reference_op_s, lhs_ops, 0)->off != -1
+ && (VEC_index (vn_reference_op_s, lhs_ops, 0)->off
+ == VEC_index (vn_reference_op_s, vr->operands, i)->off))
i--, j--;
/* i now points to the first additional op.