diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-10 19:47:45 +0000 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-10 19:47:45 +0000 |
commit | 642f49756ee5555b29f5dcb4301bde229d515565 (patch) | |
tree | 200b12772714a451b8f5717cac611d2add3f4301 /benchmarks/polybench-syn/linear-algebra/solvers | |
parent | a5e65a6adc567c12f317c6a0cfd252c97365dbc5 (diff) | |
download | vericert-642f49756ee5555b29f5dcb4301bde229d515565.tar.gz vericert-642f49756ee5555b29f5dcb4301bde229d515565.zip |
fixing durbin
Diffstat (limited to 'benchmarks/polybench-syn/linear-algebra/solvers')
-rw-r--r-- | benchmarks/polybench-syn/linear-algebra/solvers/durbin.c | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c b/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c index 92afb09..6a2fd41 100644 --- a/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c +++ b/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c @@ -9,9 +9,6 @@ */ /* durbin.c: this file is part of PolyBench/C */ -#ifndef SYNTHESIS -#include <stdio.h> -#endif unsigned int divider(unsigned int x, unsigned int y) { @@ -82,9 +79,6 @@ int print_array(int n, res += y[i]; } -#ifndef SYNTHESIS - printf("finished = %u\n", res); -#endif return res; } @@ -110,8 +104,8 @@ void kernel_durbin(int n, for (i=0; i<k; plus(i)) { sum += r[k-i-ONE]*y[i]; } - //alpha = - sdivider(r[k] + sum, beta); - alpha = - (r[k] + sum) / beta; + alpha = - sdivider(r[k] + sum, beta); + //alpha = - (r[k] + sum) / beta; for (i=0; i<k; plus(i)) { z[i] = y[i] + alpha*y[k-i-ONE]; |