aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/stencils/fdtd-2d.c
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-11-10 09:35:58 +0000
committerYann Herklotz <git@yannherklotz.com>2020-11-10 09:36:59 +0000
commit2a0acd46e80769483ec27faf4e8feff514075e06 (patch)
tree949cf7494a13763a75bde0a6aec6c4d6323059d2 /benchmarks/polybench-syn/stencils/fdtd-2d.c
parent5c148a980d0963139b2f21a848e01e6fa59cac45 (diff)
downloadvericert-kvx-2a0acd46e80769483ec27faf4e8feff514075e06.tar.gz
vericert-kvx-2a0acd46e80769483ec27faf4e8feff514075e06.zip
Fix benchmarks to make them compile
Diffstat (limited to 'benchmarks/polybench-syn/stencils/fdtd-2d.c')
-rw-r--r--benchmarks/polybench-syn/stencils/fdtd-2d.c12
1 files changed, 9 insertions, 3 deletions
diff --git a/benchmarks/polybench-syn/stencils/fdtd-2d.c b/benchmarks/polybench-syn/stencils/fdtd-2d.c
index cee6b03..b699937 100644
--- a/benchmarks/polybench-syn/stencils/fdtd-2d.c
+++ b/benchmarks/polybench-syn/stencils/fdtd-2d.c
@@ -9,6 +9,8 @@
*/
/* fdtd-2d.c: this file is part of PolyBench/C */
+#include <stdio.h>
+
#define plus(i) i = i + ONE
static
void init_array (int tmax,
@@ -62,6 +64,10 @@ int print_array(int nx,
for (j = 0; j < ny; plus(j)) {
res ^= hz[i][j];
}
+
+#ifndef SYNTHESIS
+ printf("finished: %u\n", res);
+#endif
return res;
}
@@ -87,15 +93,15 @@ void kernel_fdtd_2d(int tmax,
ey[0][j] = _fict_[t];
for (i = 1; i < nx; plus(i))
for (j = 0; j < ny; plus(j))
- ey[i][j] = ey[i][j] - ((hz[i][j]-(hz[i-ONE][j])>>1));
+ ey[i][j] = ey[i][j] - ((hz[i][j]-((hz[i-ONE][j])>>1)));
for (i = 0; i < nx; plus(i))
for (j = 1; j < ny; plus(j))
- ex[i][j] = ex[i][j] - ((hz[i][j]-(hz[i][j-ONE])>>1));
+ ex[i][j] = ex[i][j] - ((hz[i][j]-((hz[i][j-ONE])>>1)));
for (i = 0; i < nx - ONE; plus(i))
for (j = 0; j < ny - ONE; plus(j)){
int tmp = (ex[i][j+ONE] - ex[i][j] +
ey[i+ONE][j] - ey[i][j]);
- hz[i][j] = hz[i][j] - tmp >> 1 - tmp >> 2;
+ hz[i][j] = hz[i][j] - (tmp >> 1) - (tmp >> 2);
}
}