From: Sebastian Pop <sebastian.pop@amd.com>
Date: Tue, 25 Jan 2011 21:24:53 +0000 (+0000)
Subject: Add testcase for PR43657.
X-Git-Tag: releases/gcc-4.6.0~974
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d15232769160ac7352de1d2bae7a6993bc979166;p=thirdparty%2Fgcc.git

Add testcase for PR43657.

2011-01-18  Sebastian Pop  <sebastian.pop@amd.com>

	PR tree-optimization/43657
	* gcc.dg/graphite/pr43657.c: New.

From-SVN: r169254
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3ba48dfab3d1..25199cf8aa46 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+	PR tree-optimization/43657
+	* gcc.dg/graphite/pr43657.c: New.
+
 2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>
 
 	PR tree-optimization/29832
diff --git a/gcc/testsuite/gcc.dg/graphite/pr43657.c b/gcc/testsuite/gcc.dg/graphite/pr43657.c
new file mode 100644
index 000000000000..18afe1e1c8a9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/graphite/pr43657.c
@@ -0,0 +1,52 @@
+/* { dg-do run } */
+/* { dg-options "-O1 -ftree-loop-linear" } */
+
+extern void abort (void);
+
+#define K 32
+
+int cond_array[2*K][K];
+int a[K][K];
+int out[K];
+int check_result[K] = {2,2,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0};
+
+__attribute__ ((noinline)) void
+foo (int c)
+{
+  int res, i, j, k, next;
+
+  for (k = 0; k < K; k++)
+    {
+      res = 0;
+      for (j = 0; j < K; j++)
+        for (i = 0; i < K; i++)
+          {
+            next = a[i][j];
+            res = c > cond_array[i+k][j] ? next : res;
+          }
+
+      out[k] = res;
+    }
+}
+
+int main ()
+{
+  int i, j, k;
+
+  for  (j = 0; j < K; j++)
+    {
+      for (i = 0; i < 2*K; i++)
+        cond_array[i][j] = i+j;
+
+      for (i = 0; i < K; i++)
+        a[i][j] = i+2;
+    }
+
+  foo(5);
+
+  for (k = 0; k < K; k++)
+    if (out[k] != check_result[k])
+      abort ();
+
+  return 0;
+}