Hi,
I thought I would add these two aliasing testcases which I have in
Cavium's private tree for a while now. They both pass since the
addition of MEM_REF.
Committed as obvious after a bootstrap and test on x86_64-linux-gnu
with no regressions.
Thanks,
Andrew Pinski
2012-07-21 Andrew Pinski <apin...@cavium.com>
* gcc.dg/tree-ssa/alias-21.c: New testcase.
* gcc.dg/tree-ssa/alias-22.c: New testcase.
Index: testsuite/gcc.dg/tree-ssa/alias-21.c
===================================================================
--- testsuite/gcc.dg/tree-ssa/alias-21.c (revision 0)
+++ testsuite/gcc.dg/tree-ssa/alias-21.c (revision 0)
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+
+int f(int *r)
+{
+ r[0] = 0;
+ r[1] = 1;
+ return r[0];
+}
+
+
+/* { dg-final { scan-tree-dump-times "return 0;" 1 "optimized" } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */
+
Index: testsuite/gcc.dg/tree-ssa/alias-22.c
===================================================================
--- testsuite/gcc.dg/tree-ssa/alias-22.c (revision 0)
+++ testsuite/gcc.dg/tree-ssa/alias-22.c (revision 0)
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+
+int f(int *r)
+{
+ r[1] = 0;
+ r[2] = 1;
+ return r[1];
+}
+
+
+/* { dg-final { scan-tree-dump-times "return 0;" 1 "optimized" } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */
+
Index: testsuite/ChangeLog
===================================================================
--- testsuite/ChangeLog (revision 189751)
+++ testsuite/ChangeLog (working copy)
@@ -1,5 +1,10 @@
2012-07-21 Andrew Pinski <apin...@cavium.com>
+ * gcc.dg/tree-ssa/alias-21.c: New testcase.
+ * gcc.dg/tree-ssa/alias-22.c: New testcase.
+
+2012-07-21 Andrew Pinski <apin...@cavium.com>
+
* gcc.target/mips/octeon-pop-2.c: New testcase.
2012-07-21 Tobias Burnus <bur...@net-b.de>
