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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221728 138bc75d-0d04-0410-961f-82ee72b054a4

Conflicts:
	libgomp/ChangeLog

Change-Id: If4a50ccdfc2e0e590ed3128d1d1bf2a3696f9c7f

diff --git a/libgomp/testsuite/libgomp.graphite/force-parallel-6.c b/libgomp/testsuite/libgomp.graphite/force-parallel-6.c
index e9e4b56..cbc5735 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;
 }