updates to opencl benchmarks

benchmarks/opencl/vecadd/main.cc

@@ -112,6 +112,8 @@ static void parse_args(int argc, char **argv) {
       exit(-1);
     }
   }
+
+  printf("Workload size=%d\n", size);
 }
 
 int main (int argc, char **argv) {