libgpuverify

commit 7dfd3531d2ee0fcd37d0fe1674ca0b3f8acb0093
parent b0ef8e83c5aa55b20720baa466a3db45060395ab
Author: Christian Grothoff <christian@grothoff.org>
Date:   Sun, 19 Nov 2023 00:59:36 +0100

re-enable diagnostics

Diffstat:
M
source/square.c
 | 
18
++++++++++++------

1 file changed, 12 insertions(+), 6 deletions(-)
diff --git a/source/square.c b/source/square.c
@@ -423,12 +423,18 @@ square_with_kernel (cl_device_id device_id,
   {
     size_t global_problem_size = problem_size;
 
-#if 0
-    fprintf (stderr,
-             "GPS: %llu - LPS: %llu\n",
-             (unsigned long long) problem_size,
-             (unsigned long long) local);
-#endif
+    {
+      static int once;
+
+      if (0 == once)
+      {
+        once = 1;
+        fprintf (stderr,
+                 "Global problem size: %llu - local problem size: %llu\n",
+                 (unsigned long long) problem_size,
+                 (unsigned long long) local);
+      }
+    }
     local = (local > problem_size) ? problem_size : local;
     err = clEnqueueNDRangeKernel (commands,
                                   kernel,