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/jacobi-1d.c | |
parent | 47bad8cabe00a40723ce04852d02e7527473f3c3 (diff) | |
download | vericert-95861dbef966e2cb612b303615681fc29c3acd3d.tar.gz vericert-95861dbef966e2cb612b303615681fc29c3acd3d.zip |
polybench edits
Diffstat (limited to 'benchmarks/polybench-syn/stencils/jacobi-1d.c')
-rw-r--r-- | benchmarks/polybench-syn/stencils/jacobi-1d.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/benchmarks/polybench-syn/stencils/jacobi-1d.c b/benchmarks/polybench-syn/stencils/jacobi-1d.c index 1c3cf79..95cbb35 100644 --- a/benchmarks/polybench-syn/stencils/jacobi-1d.c +++ b/benchmarks/polybench-syn/stencils/jacobi-1d.c @@ -9,6 +9,7 @@ */ /* jacobi-1d.c: this file is part of PolyBench/C */ +#include "../include/misc.h" #define plus(i) i = i + ONE static @@ -23,8 +24,8 @@ void init_array (int n, for (i = 0; i < n; plus(i)) { - A[i] = ((int) i+TWO) / n; - B[i] = ((int) i+THREE) / n; + A[i] = divider(((int) i+TWO), n); + B[i] = divider(((int) i+THREE), n); } } @@ -59,7 +60,6 @@ void kernel_jacobi_1d(int tsteps, int t, i; int ONE = 1; -#pragma scop for (t = 0; t < tsteps; plus(t)) { for (i = 1; i < n - ONE; plus(i)){ @@ -71,7 +71,6 @@ void kernel_jacobi_1d(int tsteps, A[i] = A[i] >> 2; } } -#pragma endscop } |