diff options
| author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-11 19:47:42 +0000 |
|---|---|---|
| committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-11 19:47:42 +0000 |
| commit | 95861dbef966e2cb612b303615681fc29c3acd3d (patch) | |
| tree | e3bff372bdb4b769ec6fb54077e30bda406ef9ee /benchmarks/polybench-syn/medley/nussinov.c | |
| parent | 47bad8cabe00a40723ce04852d02e7527473f3c3 (diff) | |
| download | vericert-kvx-95861dbef966e2cb612b303615681fc29c3acd3d.tar.gz vericert-kvx-95861dbef966e2cb612b303615681fc29c3acd3d.zip | |
polybench edits
Diffstat (limited to 'benchmarks/polybench-syn/medley/nussinov.c')
| -rw-r--r-- | benchmarks/polybench-syn/medley/nussinov.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/benchmarks/polybench-syn/medley/nussinov.c b/benchmarks/polybench-syn/medley/nussinov.c index f39f742..a2c3b70 100644 --- a/benchmarks/polybench-syn/medley/nussinov.c +++ b/benchmarks/polybench-syn/medley/nussinov.c @@ -11,6 +11,8 @@ typedef int base; +#include "../include/misc.h" + #define plus(i) i = i + ONE static void init_array (int n, @@ -23,7 +25,7 @@ void init_array (int n, for (i=0; i <n; plus(i)) { - seq[i] = (base)((i+ONE)%FOUR); + seq[i] = (base)(modulo((i+ONE),FOUR)); } for (i=0; i <n; plus(i)) @@ -60,7 +62,6 @@ void kernel_nussinov(int n, base seq[ 60 + 0], int ONE = 1; int THREE = 3; -#pragma scop for (i = n-ONE; i >= ZERO; i=i-ONE) { for (j=i+ONE; j<n; plus(j)) { @@ -82,7 +83,6 @@ void kernel_nussinov(int n, base seq[ 60 + 0], } } } -#pragma endscop } |