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/adi.c | |
parent | 47bad8cabe00a40723ce04852d02e7527473f3c3 (diff) | |
download | vericert-95861dbef966e2cb612b303615681fc29c3acd3d.tar.gz vericert-95861dbef966e2cb612b303615681fc29c3acd3d.zip |
polybench edits
Diffstat (limited to 'benchmarks/polybench-syn/stencils/adi.c')
-rw-r--r-- | benchmarks/polybench-syn/stencils/adi.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/benchmarks/polybench-syn/stencils/adi.c b/benchmarks/polybench-syn/stencils/adi.c index 5dd406b..a424dec 100644 --- a/benchmarks/polybench-syn/stencils/adi.c +++ b/benchmarks/polybench-syn/stencils/adi.c @@ -9,6 +9,7 @@ */ /* adi.c: this file is part of PolyBench/C */ +#include "../include/misc.h" #define plus(i) i = i + ONE static @@ -64,10 +65,10 @@ void kernel_adi(int tsteps, int n, mul1 = B1 * DT / (DX * DX); mul2 = B2 * DT / (DY * DY); - a = -mul1 / 2; + a = -(sdivider(mul1,2)); b = 1+mul1; c = a; - d = -mul2 / 2; + d = -(sdivider(mul2,2)); e = 1+mul2; f = d; int ZERO = 0; @@ -107,7 +108,7 @@ void kernel_adi(int tsteps, int n, } -int main(int argc, char** argv) +int main() { int n = 20; |