1 files changed, 46 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/loop-32.c b/gcc/testsuite/gcc.dg/tree-ssa/loop-32.c
new file mode 100644
index 000000000..3a92a08f8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/loop-32.c
@@ -0,0 +1,46 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-lim-details" } */
+
+int x;
+int a[100];
+
+struct a
+{
+  int X;
+  int Y;
+};
+
+void bla(void);
+
+void test1(void)
+{
+  unsigned i;
+
+  /* We should perform store motion here.  */
+  for (x = 0; x < 100; x++)
+    a[x] = x;
+}
+
+void test2(void)
+{
+  unsigned i;
+
+  /* But not here.  */
+  for (x = 0; x < 100; x++)
+    bla ();
+}
+
+void test3(struct a *A)
+{
+  unsigned i;
+
+  /* But we should here (using base + offset analysis).  */
+  for (i = 0; i < 100; i++)
+    {
+      A[5].X += i;
+      A[5].Y += i;
+    }
+}
+
+/* { dg-final { scan-tree-dump-times "Executing store motion of" 3 "lim1" } } */
+/* { dg-final { cleanup-tree-dump "lim\[1-2\]" } } */