re PR middle-end/45098 (Missed induction variable optimization)

2011-06-14  Tom de Vries  <tom@codesourcery.com>

	PR target/45098
	* gcc.target/arm/ivopts-3.c: New test.
	* gcc.target/arm/ivopts-4.c: New test.
	* gcc.target/arm/ivopts-5.c: New test.

From-SVN: r175025

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4b7610d926f0883d52b982329efe91cb78817689..a61de34690867e36e88640774be8971cb3dd4b34 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2011-06-14  Tom de Vries  <tom@codesourcery.com>
+
+       PR target/45098
+       * gcc.target/arm/ivopts-3.c: New test.
+       * gcc.target/arm/ivopts-4.c: New test.
+       * gcc.target/arm/ivopts-5.c: New test.
+
 2011-06-14  Jakub Jelinek  <jakub@redhat.com>
 
        PR rtl-optimization/49390

diff --git a/gcc/testsuite/gcc.target/arm/ivopts-3.c b/gcc/testsuite/gcc.target/arm/ivopts-3.c
new file mode 100644 (file)
index 0000000..daea947
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/ivopts-3.c
@@ -0,0 +1,26 @@
+/* { dg-do assemble } */
+/* { dg-options "-Os -mthumb -fdump-tree-ivopts -save-temps" } */
+
+extern unsigned int foo2 (short*) __attribute__((pure));
+
+unsigned int
+tr3 (short array[], unsigned int n)
+{
+  int sum = 0;
+  unsigned int x;
+  x = 0;
+  while (1)
+    {
+      sum += foo2 (&array[x]);
+      if (!(x < n))
+        break;
+      x++;
+    }
+  return sum;
+}
+
+/* { dg-final { scan-tree-dump-times "PHI <ivtmp" 1 "ivopts"} } */
+/* { dg-final { scan-tree-dump-times "PHI <x" 0 "ivopts"} } */
+/* { dg-final { scan-tree-dump-times ", x" 0 "ivopts"} } */
+/* { dg-final { object-size text <= 30 { target arm_thumb2_ok } } } */
+/* { dg-final { cleanup-tree-dump "ivopts" } } */

diff --git a/gcc/testsuite/gcc.target/arm/ivopts-4.c b/gcc/testsuite/gcc.target/arm/ivopts-4.c
new file mode 100644 (file)
index 0000000..8ae0518
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/ivopts-4.c
@@ -0,0 +1,21 @@
+/* { dg-do assemble } */
+/* { dg-options "-mthumb -Os -fdump-tree-ivopts -save-temps" } */
+
+extern unsigned int foo (int*) __attribute__((pure));
+
+unsigned int
+tr2 (int array[], int n)
+{
+  unsigned int sum = 0;
+  int x;
+  if (n > 0)
+    for (x = 0; x < n; x++)
+      sum += foo (&array[x]);
+  return sum;
+}
+
+/* { dg-final { scan-tree-dump-times "PHI <ivtmp" 1 "ivopts"} } */
+/* { dg-final { scan-tree-dump-times "PHI <x" 0 "ivopts"} } */
+/* { dg-final { scan-tree-dump-times ", x" 0 "ivopts"} } */
+/* { dg-final { object-size text <= 36 { target arm_thumb2_ok } } } */
+/* { dg-final { cleanup-tree-dump "ivopts" } } */

diff --git a/gcc/testsuite/gcc.target/arm/ivopts-5.c b/gcc/testsuite/gcc.target/arm/ivopts-5.c
new file mode 100644 (file)
index 0000000..c8b9f4f
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/ivopts-5.c
@@ -0,0 +1,26 @@
+/* { dg-do assemble } */
+/* { dg-options "-Os -mthumb -fdump-tree-ivopts -save-temps" } */
+
+extern unsigned int foo (int*) __attribute__((pure));
+
+unsigned int
+tr1 (int array[], unsigned int n)
+{
+  int sum = 0;
+  unsigned int x;
+  x = 0;
+  while (1)
+    {
+      sum += foo (&array[x]);
+      if (!(x < n))
+        break;
+      x++;
+    }
+  return sum;
+}
+
+/* { dg-final { scan-tree-dump-times "PHI <ivtmp" 1 "ivopts"} } */
+/* { dg-final { scan-tree-dump-times "PHI <x" 0 "ivopts"} } */
+/* { dg-final { scan-tree-dump-times ", x" 0 "ivopts"} } */
+/* { dg-final { object-size text <= 30 { target arm_thumb2_ok } } } */
+/* { dg-final { cleanup-tree-dump "ivopts" } } */