aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/stencils/adi.c
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-11-14 16:23:00 +0000
committerYann Herklotz <git@yannherklotz.com>2020-11-14 16:23:00 +0000
commit4201a38997543ceedad52f77b992dd8eb4a2ee5e (patch)
tree16b4adb28028e21f3ae9d46539167ece72c1c4a8 /benchmarks/polybench-syn/stencils/adi.c
parent43773b8d4a69dfd30759db2a5026a4f44cdac4cb (diff)
parent95861dbef966e2cb612b303615681fc29c3acd3d (diff)
downloadvericert-kvx-4201a38997543ceedad52f77b992dd8eb4a2ee5e.tar.gz
vericert-kvx-4201a38997543ceedad52f77b992dd8eb4a2ee5e.zip
Merge branch 'dev-experiments'
Diffstat (limited to 'benchmarks/polybench-syn/stencils/adi.c')
-rw-r--r--benchmarks/polybench-syn/stencils/adi.c7
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;