aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/linear-algebra/solvers/lu.c
diff options
context:
space:
mode:
authorNadesh Ramanathan <nadeshramanathan88@gmail.com>2020-11-17 09:06:04 +0000
committerNadesh Ramanathan <nadeshramanathan88@gmail.com>2020-11-17 09:06:04 +0000
commit38b249970456a55f0a69ff28070887367e113205 (patch)
treeb5feacc01671b00b55d34a1a41e0e6e3d9e9fa88 /benchmarks/polybench-syn/linear-algebra/solvers/lu.c
parent25f9100da11ccea1d8b5c24160270be425f2cab2 (diff)
downloadvericert-kvx-38b249970456a55f0a69ff28070887367e113205.tar.gz
vericert-kvx-38b249970456a55f0a69ff28070887367e113205.zip
final checks reworked and including compilation time in scriptdev-experiments
Diffstat (limited to 'benchmarks/polybench-syn/linear-algebra/solvers/lu.c')
-rw-r--r--benchmarks/polybench-syn/linear-algebra/solvers/lu.c34
1 files changed, 7 insertions, 27 deletions
diff --git a/benchmarks/polybench-syn/linear-algebra/solvers/lu.c b/benchmarks/polybench-syn/linear-algebra/solvers/lu.c
index a7ec246..1365f54 100644
--- a/benchmarks/polybench-syn/linear-algebra/solvers/lu.c
+++ b/benchmarks/polybench-syn/linear-algebra/solvers/lu.c
@@ -16,6 +16,10 @@
#include "../../include/misc.h"
+#ifndef SYNTHESIS
+#include <stdio.h>
+#endif
+
#define plus(i) i = i + ONE
static
@@ -53,30 +57,6 @@ void init_array (int n,
}
-
-
-/*
-static
-void print_array(int n,
- int A[ 40 + 0][40 + 0])
-
-{
- int i, j;
-
- fprintf(stderr, "==BEGIN DUMP_ARRAYS==\n");
- fprintf(stderr, "begin dump: %s", "A");
- for (i = 0; i < n; i++)
- for (j = 0; j < n; j++) {
- if ((i * n + j) % 20 == 0) fprintf (stderr, "\n");
- fprintf (stderr, "%d ", A[i][j]);
- }
- fprintf(stderr, "\nend dump: %s\n", "A");
- fprintf(stderr, "==END DUMP_ARRAYS==\n");
-}
-*/
-
-
-
static
void kernel_lu(int n,
int A[ 40][40])
@@ -110,6 +90,9 @@ int check_array(int n,
for (i = 0; i < n; plus(i))
for (j = 0; j < n; plus(j))
if(A[i][j] !=0) res = 1;
+ #ifndef SYNTHESIS
+ printf("finished: %u\n", res);
+ #endif
return res;
}
@@ -126,11 +109,8 @@ int main()
init_array (n, A);
-
-
kernel_lu (n, A);
-
return check_array(n, A);
return 0;