aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-11-04 11:31:55 +0000
committerYann Herklotz <git@yannherklotz.com>2020-11-09 19:41:24 +0000
commit79d8a87d68eadd33bfc1e5d25d4eb827000a232b (patch)
treec8c2c8e4bfb3c0be52758534607f38f188e1fedf /benchmarks/polybench-syn
parent39638453bf0405b2ae58277ff3c4879b8d6d784d (diff)
downloadvericert-79d8a87d68eadd33bfc1e5d25d4eb827000a232b.tar.gz
vericert-79d8a87d68eadd33bfc1e5d25d4eb827000a232b.zip
Add small changes to durbin and adpcm
Diffstat (limited to 'benchmarks/polybench-syn')
-rw-r--r--benchmarks/polybench-syn/linear-algebra/solvers/durbin.c157
1 files changed, 96 insertions, 61 deletions
diff --git a/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c b/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c
index 677c23c..92afb09 100644
--- a/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c
+++ b/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c
@@ -9,19 +9,61 @@
*/
/* durbin.c: this file is part of PolyBench/C */
+#ifndef SYNTHESIS
+#include <stdio.h>
+#endif
+
+unsigned int divider(unsigned int x, unsigned int y)
+{
+ unsigned int r0, q0, y0, y1;
+
+ r0 = x;
+ q0 = 0;
+ y0 = y;
+ y1 = y;
+ do
+ {
+ y1 = 2 * y1;
+ } while (y1 <= x);
+ do
+ {
+ y1 = y1 / 2;
+ q0 = 2 * q0;
+ if (r0 >= y1)
+ {
+ r0 = r0 - y1;
+ q0 = q0 + 1;
+ }
+ } while ((int)y1 != (int)y0);
+ return q0;
+}
+
+int sdivider(int N, int D) {
+ if (D < 0) {
+ if (N < 0)
+ return divider(-N, -D);
+ else
+ return -divider(N, -D);
+ } else {
+ if (N < 0)
+ return -divider(-N, D);
+ else
+ return divider(N, D);
+ }
+}
#define plus(i) i = i + ONE
/* Include polybench common header. */
static
void init_array (int n,
- int r[ 40 + 0])
+ int r[ 40 + 0])
{
- int ONE = 1;
- int i, j;
+ int ONE = 1;
+ int i, j;
- for (i = 0; i < n; plus(i))
+ for (i = 0; i < n; plus(i))
{
- r[i] = (n+ONE-i);
+ r[i] = (n+ONE-i);
}
}
@@ -29,74 +71,67 @@ void init_array (int n,
static
int print_array(int n,
- int y[ 40 + 0])
+ int y[ 40 + 0])
{
- int ONE = 1;
- int i;
- int res = 0;
-
- for (i = 0; i < n; plus(i)) {
- res += y[i];
- }
- return res;
+ int ONE = 1;
+ int i;
+ int res = 0;
+
+ for (i = 0; i < n; plus(i)) {
+ res += y[i];
+ }
+
+#ifndef SYNTHESIS
+ printf("finished = %u\n", res);
+#endif
+ return res;
}
static
void kernel_durbin(int n,
- int r[ 40 + 0],
- int y[ 40 + 0])
+ int r[ 40 + 0],
+ int y[ 40 + 0])
{
- int z[40];
- int alpha;
- int beta;
- int sum;
-
- int ONE = 1;
- int i,k;
-
-#pragma scop
- y[0] = -r[0];
- beta = 1;
- alpha = -r[0];
-
- for (k = 1; k < n; plus(k)) {
- beta = (ONE-alpha*alpha)*beta;
- sum = 0;
- for (i=0; i<k; plus(i)) {
- sum += r[k-i-ONE]*y[i];
- }
- alpha = - (r[k] + sum)/beta;
-
- for (i=0; i<k; plus(i)) {
- z[i] = y[i] + alpha*y[k-i-ONE];
- }
- for (i=0; i<k; plus(i)) {
- y[i] = z[i];
- }
- y[k] = alpha;
- }
-#pragma endscop
-
+ int z[40];
+ int alpha;
+ int beta;
+ int sum;
+
+ int ONE = 1;
+ int i,k;
+ y[0] = -r[0];
+ beta = 1;
+ alpha = -r[0];
+
+ for (k = 1; k < n; plus(k)) {
+ beta = (ONE-alpha*alpha)*beta;
+ sum = 0;
+ 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;
+
+ for (i=0; i<k; plus(i)) {
+ z[i] = y[i] + alpha*y[k-i-ONE];
+ }
+ for (i=0; i<k; plus(i)) {
+ y[i] = z[i];
+ }
+ y[k] = alpha;
+ }
}
int main()
{
+ int n = 40;
+ int r[40 + 0];
+ int y[40 + 0];
- int n = 40;
-
-
- int r[40 + 0];
- int y[40 + 0];
-
-
- init_array (n, r);
-
- kernel_durbin (n,
- r,
- y);
-
- return print_array(n, y);
+ init_array (n, r);
+ kernel_durbin (n, r, y);
+ return print_array(n, y);
}