aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-08-13 23:24:40 +0100
committerYann Herklotz <git@yannherklotz.com>2020-08-13 23:24:40 +0100
commit045c0dc29fc31a8d3f15da8b3130dbc4706ea581 (patch)
tree56e9eb2ec6c318648e47c43d6b8abb2458ae236e /benchmarks/polybench-syn/linear-algebra/solvers/durbin.c
parent3971466fbdd9aa1883a4468de3d67fdf90fee02d (diff)
downloadvericert-kvx-045c0dc29fc31a8d3f15da8b3130dbc4706ea581.tar.gz
vericert-kvx-045c0dc29fc31a8d3f15da8b3130dbc4706ea581.zip
Add modified polybench benchmarks
Diffstat (limited to 'benchmarks/polybench-syn/linear-algebra/solvers/durbin.c')
-rw-r--r--benchmarks/polybench-syn/linear-algebra/solvers/durbin.c102
1 files changed, 102 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c b/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c
new file mode 100644
index 0000000..677c23c
--- /dev/null
+++ b/benchmarks/polybench-syn/linear-algebra/solvers/durbin.c
@@ -0,0 +1,102 @@
+/**
+ * This version is stamped on May 10, 2016
+ *
+ * Contact:
+ * Louis-Noel Pouchet <pouchet.ohio-state.edu>
+ * Tomofumi Yuki <tomofumi.yuki.fr>
+ *
+ * Web address: http://polybench.sourceforge.net
+ */
+/* durbin.c: this file is part of PolyBench/C */
+
+
+#define plus(i) i = i + ONE
+/* Include polybench common header. */
+static
+void init_array (int n,
+ int r[ 40 + 0])
+{
+ int ONE = 1;
+ int i, j;
+
+ for (i = 0; i < n; plus(i))
+ {
+ r[i] = (n+ONE-i);
+ }
+}
+
+
+
+static
+int print_array(int n,
+ int y[ 40 + 0])
+
+{
+ int ONE = 1;
+ int i;
+ int res = 0;
+
+ for (i = 0; i < n; plus(i)) {
+ res += y[i];
+ }
+ return res;
+}
+
+static
+void kernel_durbin(int n,
+ 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 main()
+{
+
+ 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);
+
+}