diff options
| author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-10 12:25:11 +0000 |
|---|---|---|
| committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-10 12:25:11 +0000 |
| commit | bcbe86a67490f1d0e92451e9be7a0ced90c7a4cd (patch) | |
| tree | 8a98571e2836b9d7fb175e9fbe3c23f91699f64d /benchmarks/polybench-syn | |
| parent | 426caa587cfa8fdf546b6e8cbccfdb0fccea9c36 (diff) | |
| download | vericert-bcbe86a67490f1d0e92451e9be7a0ced90c7a4cd.tar.gz vericert-bcbe86a67490f1d0e92451e9be7a0ced90c7a4cd.zip | |
fixes for fw
Diffstat (limited to 'benchmarks/polybench-syn')
| -rw-r--r-- | benchmarks/polybench-syn/medley/floyd-warshall.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/medley/floyd-warshall.c b/benchmarks/polybench-syn/medley/floyd-warshall.c index 46f6774..6c87eb7 100644 --- a/benchmarks/polybench-syn/medley/floyd-warshall.c +++ b/benchmarks/polybench-syn/medley/floyd-warshall.c @@ -9,6 +9,7 @@ */ /* floyd-warshall.c: this file is part of PolyBench/C */ +#include "../include/misc.h" #define plus(i) i = i + ONE static @@ -16,6 +17,7 @@ void init_array (int n, int path[ 60 + 0][60 + 0]) { int i, j; + int ZERO = 0; int ONE = 1; int N7 = 7; int N11 = 11; @@ -24,7 +26,8 @@ void init_array (int n, for (i = 0; i < n; plus(i)) for (j = 0; j < n; plus(j)) { path[i][j] = i*j%N7+ONE; - if ((i+j)%N13 == 0 || (i+j)%N7==0 || (i+j)%N11 == 0) + //if (((i+j)%N13 == ZERO || (i+j)%N7== ZERO || (i+j)%N11 == ZERO ) != 0 ) + if(((smodulo((i+j),13) == (int)0 || smodulo((i+j),7) == (int)0)!=0 || smodulo((i+j),11) == (int)0 ) != 0) path[i][j] = 999; } } |