diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-11-14 16:23:00 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-14 16:23:00 +0000 |
commit | 4201a38997543ceedad52f77b992dd8eb4a2ee5e (patch) | |
tree | 16b4adb28028e21f3ae9d46539167ece72c1c4a8 /benchmarks/polybench-syn/stencils/fdtd-2d.c | |
parent | 43773b8d4a69dfd30759db2a5026a4f44cdac4cb (diff) | |
parent | 95861dbef966e2cb612b303615681fc29c3acd3d (diff) | |
download | vericert-4201a38997543ceedad52f77b992dd8eb4a2ee5e.tar.gz vericert-4201a38997543ceedad52f77b992dd8eb4a2ee5e.zip |
Merge branch 'dev-experiments'
Diffstat (limited to 'benchmarks/polybench-syn/stencils/fdtd-2d.c')
-rw-r--r-- | benchmarks/polybench-syn/stencils/fdtd-2d.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/benchmarks/polybench-syn/stencils/fdtd-2d.c b/benchmarks/polybench-syn/stencils/fdtd-2d.c index b699937..f9f4a84 100644 --- a/benchmarks/polybench-syn/stencils/fdtd-2d.c +++ b/benchmarks/polybench-syn/stencils/fdtd-2d.c @@ -9,7 +9,9 @@ */ /* fdtd-2d.c: this file is part of PolyBench/C */ +#ifndef SYNTHESIS #include <stdio.h> +#endif #define plus(i) i = i + ONE static @@ -85,8 +87,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 +105,6 @@ void kernel_fdtd_2d(int tmax, } } -#pragma endscop } |