Add verification to libgomp.graphite/force-parallel-6.c

2015-03-27  Tom de Vries  <tom@codesourcery.com>

	PR testsuite/65594
	* testsuite/libgomp.graphite/force-parallel-6.c (abort): Declare.
	(init, check): New function.
	(foo): Change return type to void.
	(main): Call init and check.

From-SVN: r221728

diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index f9ea0544c5fadea68ac50194234a82f5b85a6f2f..b2e7892b0ef03708cf4b7e1d29fa254899917dfd 100644 (file)
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,11 @@
+2015-03-27  Tom de Vries  <tom@codesourcery.com>
+
+       PR testsuite/65594
+       * testsuite/libgomp.graphite/force-parallel-6.c (abort): Declare.
+       (init, check): New function.
+       (foo): Change return type to void.
+       (main): Call init and check.
+
 2015-03-27  Tom de Vries  <tom@codesourcery.com>
 
        PR testsuite/65594

diff --git a/libgomp/testsuite/libgomp.graphite/force-parallel-6.c b/libgomp/testsuite/libgomp.graphite/force-parallel-6.c
index e9e4b562488f39f94f9115df12f29ede49ebe740..cbc57357b33040ac87f02b278d4b11b728729e2b 100644 (file)
--- a/libgomp/testsuite/libgomp.graphite/force-parallel-6.c
+++ b/libgomp/testsuite/libgomp.graphite/force-parallel-6.c
@@ -1,10 +1,31 @@
+void abort (void);
+
 #define N 500
 #define M 50
 
 int X[2*N], Y[2*N], B[2*N];
 int A[2*N][2*N], C[2*N][2*N];
 
-int foo(void)
+static void __attribute__((noinline,noclone))
+init (void)
+{
+  volatile int i, j;
+
+  for (i = 0; i < 2 * N; ++i)
+    {
+      B[i] = 1;
+      X[i] = 1;
+      Y[i] = 1;
+      for (j = 0; j < 2 * N; ++j)
+       {
+         A[i][j] = 1;
+         C[i][j] = 1;
+       }
+    }
+}
+
+static void __attribute__((noinline,noclone))
+foo (void)
 {
   int i, j, k;
 
@@ -21,13 +42,38 @@ int foo(void)
          Y[i+j] = A[j+1][N];
        }
     }
+}
 
-  return A[1][5]*B[6];
+static void __attribute__((noinline,noclone))
+check (void)
+{
+  volatile int i, j;
+
+  for (i = 0; i < 2 * N; ++i)
+    {
+      int expect_x = i < M ? 11 : 1;
+
+      if (B[i] != 1
+         || X[i] != expect_x
+         || Y[i] != 1)
+       abort ();
+
+      for (j = 0; j < 2 * N; ++j)
+       {
+         int expect_a = (0 < i && i <= M && j < N) ? 2 : 1;
+
+         if (A[i][j] != expect_a
+             || C[i][j] != 1)
+           abort ();
+       }
+    }
 }
 
 int main(void)
 {
-  foo();
+  init ();
+  foo ();
+  check ();
 
   return 0;
 }