diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-11 19:47:42 +0000 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-11 19:47:42 +0000 |
commit | 95861dbef966e2cb612b303615681fc29c3acd3d (patch) | |
tree | e3bff372bdb4b769ec6fb54077e30bda406ef9ee /benchmarks/polybench-syn/stencils/fdtd-2d.c | |
parent | 47bad8cabe00a40723ce04852d02e7527473f3c3 (diff) | |
download | vericert-95861dbef966e2cb612b303615681fc29c3acd3d.tar.gz vericert-95861dbef966e2cb612b303615681fc29c3acd3d.zip |
polybench edits
Diffstat (limited to 'benchmarks/polybench-syn/stencils/fdtd-2d.c')
-rw-r--r-- | benchmarks/polybench-syn/stencils/fdtd-2d.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/benchmarks/polybench-syn/stencils/fdtd-2d.c b/benchmarks/polybench-syn/stencils/fdtd-2d.c index b699937..17acd34 100644 --- a/benchmarks/polybench-syn/stencils/fdtd-2d.c +++ b/benchmarks/polybench-syn/stencils/fdtd-2d.c @@ -9,7 +9,6 @@ */ /* fdtd-2d.c: this file is part of PolyBench/C */ -#include <stdio.h> #define plus(i) i = i + ONE static @@ -65,10 +64,6 @@ int print_array(int nx, res ^= hz[i][j]; } -#ifndef SYNTHESIS - printf("finished: %u\n", res); -#endif - return res; } @@ -85,8 +80,6 @@ void kernel_fdtd_2d(int tmax, int t, i, j; int ONE = 1; -#pragma scop - for(t = 0; t < tmax; t=t+ONE) { for (j = 0; j < ny; plus(j)) @@ -105,7 +98,6 @@ void kernel_fdtd_2d(int tmax, } } -#pragma endscop } |