diff options
| author | Richard Biener <rguenther@suse.de> | 2015-05-26 13:55:40 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-05-26 13:55:40 +0000 |
| commit | ea3eac3ab76f1928a34b8e62fd4cd24cfef07e9f (patch) | |
| tree | 1249fa33aaa275e8ec4bcdbc2d16c6ad99fddaf7 | |
| parent | bff469f75fb4941ff4ff923a7b921e179c8f1390 (diff) | |
| download | gcc-ea3eac3ab76f1928a34b8e62fd4cd24cfef07e9f.zip gcc-ea3eac3ab76f1928a34b8e62fd4cd24cfef07e9f.tar.gz gcc-ea3eac3ab76f1928a34b8e62fd4cd24cfef07e9f.tar.bz2 | |
re PR tree-optimization/66142 (Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE)
2015-05-26 Richard Biener <rguenther@suse.de>
PR tree-optimization/66142
* tree-ssa-sccvn.c (vn_reference_lookup_3): Manually compare
MEM_REFs for the same base address.
* gcc.dg/tree-ssa/ssa-fre-44.c: New testcase.
From-SVN: r223697
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-44.c | 62 | ||||
| -rw-r--r-- | gcc/tree-ssa-sccvn.c | 7 |
4 files changed, 79 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e8824bf..771aee1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-05-26 Richard Biener <rguenther@suse.de> + + PR tree-optimization/66142 + * tree-ssa-sccvn.c (vn_reference_lookup_3): Manually compare + MEM_REFs for the same base address. + 2015-05-26 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com> PR ipa/66181 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ccfca6a..aa74501 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-05-26 Richard Biener <rguenther@suse.de> + + PR tree-optimization/66142 + * gcc.dg/tree-ssa/ssa-fre-44.c: New testcase. + 2015-05-26 Paul Thomas <pault@gcc.gnu.org> PR fortran/66082 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-44.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-44.c new file mode 100644 index 0000000..74707b2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-44.c @@ -0,0 +1,62 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-fre1" } */ + +struct A { float x, y; }; +struct B { struct A u; }; +void bar (struct A *); + +float +f1 (struct B *x, int y) +{ + struct A p; + p.x = 1.0f; + p.y = 2.0f; + struct A *q = &x[y].u; + *q = p; + float f = x[y].u.x + x[y].u.y; + bar (&p); + return f; +} + +float +f2 (struct B *x, int y) +{ + struct A p; + p.x = 1.0f; + p.y = 2.0f; + x[y].u = p; + float f = x[y].u.x + x[y].u.y; + bar (&p); + return f; +} + +float +f3 (struct B *x, int y) +{ + struct A p; + p.x = 1.0f; + p.y = 2.0f; + struct A *q = &x[y].u; + __builtin_memcpy (&q->x, &p.x, sizeof (float)); + __builtin_memcpy (&q->y, &p.y, sizeof (float)); + *q = p; + float f = x[y].u.x + x[y].u.y; + bar (&p); + return f; +} + +float +f4 (struct B *x, int y) +{ + struct A p; + p.x = 1.0f; + p.y = 2.0f; + __builtin_memcpy (&x[y].u.x, &p.x, sizeof (float)); + __builtin_memcpy (&x[y].u.y, &p.y, sizeof (float)); + float f = x[y].u.x + x[y].u.y; + bar (&p); + return f; +} + +/* { dg-final { scan-tree-dump-times "return 3.0" 4 "fre1" } } */ +/* { dg-final { cleanup-tree-dump "fre1" } } */ diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index c6a16bc..03be480 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -1894,7 +1894,12 @@ vn_reference_lookup_3 (ao_ref *ref, tree vuse, void *vr_, size2 = lhs_ref.size; maxsize2 = lhs_ref.max_size; if (maxsize2 == -1 - || (base != base2 && !operand_equal_p (base, base2, 0)) + || (base != base2 + && (TREE_CODE (base) != MEM_REF + || TREE_CODE (base2) != MEM_REF + || TREE_OPERAND (base, 0) != TREE_OPERAND (base2, 0) + || !tree_int_cst_equal (TREE_OPERAND (base, 1), + TREE_OPERAND (base2, 1)))) || offset2 > offset || offset2 + size2 < offset + maxsize) return (void *)-1; |