| /** |
| * floyd-warshall.c: This file is part of the PolyBench/C 3.2 test suite. |
| * |
| * |
| * Contact: Louis-Noel Pouchet <pouchet@cse.ohio-state.edu> |
| * Web address: http://polybench.sourceforge.net |
| */ |
| #include <stdio.h> |
| #include <unistd.h> |
| #include <string.h> |
| #include <math.h> |
| |
| /* Include polybench common header. */ |
| #include <polybench.h> |
| |
| /* Include benchmark-specific header. */ |
| /* Default data type is double, default size is 1024. */ |
| #include "floyd-warshall.h" |
| |
| |
| /* Array initialization. */ |
| static |
| void init_array (int n, |
| DATA_TYPE POLYBENCH_2D(path,N,N,n,n)) |
| { |
| #pragma STDC FP_CONTRACT OFF |
| int i, j; |
| |
| for (i = 0; i < n; i++) |
| for (j = 0; j < n; j++) |
| path[i][j] = ((DATA_TYPE) (i+1)*(j+1)) / n; |
| } |
| |
| |
| /* DCE code. Must scan the entire live-out data. |
| Can be used also to check the correctness of the output. */ |
| static |
| void print_array(int n, |
| DATA_TYPE POLYBENCH_2D(path,N,N,n,n)) |
| |
| { |
| int i, j; |
| char *printmat = malloc(n*16 + 1); printmat[n*16] = 0; |
| |
| for (i = 0; i < n; i++) { |
| for (j = 0; j < n; j++) |
| print_element(path[i][j], j*16, printmat); |
| fputs(printmat, stderr); |
| } |
| free(printmat); |
| } |
| |
| |
| /* Main computational kernel. The whole function will be timed, |
| including the call and return. */ |
| static |
| void kernel_floyd_warshall(int n, |
| DATA_TYPE POLYBENCH_2D(path,N,N,n,n)) |
| { |
| int i, j, k; |
| |
| #pragma scop |
| for (k = 0; k < _PB_N; k++) |
| { |
| for(i = 0; i < _PB_N; i++) |
| for (j = 0; j < _PB_N; j++) |
| path[i][j] = path[i][j] < path[i][k] + path[k][j] ? |
| path[i][j] : path[i][k] + path[k][j]; |
| } |
| #pragma endscop |
| |
| } |
| |
| #if !FMA_DISABLED |
| // NOTE: FMA_DISABLED is true for targets where FMA contraction causes |
| // discrepancies which cause the accuracy checks to fail. |
| // In this case, the test runs with the option -ffp-contract=off |
| static void |
| kernel_floyd_warshall_StrictFP(int n, DATA_TYPE POLYBENCH_2D(path,N,N,n,n)) |
| { |
| #pragma STDC FP_CONTRACT OFF |
| int i, j, k; |
| |
| for (k = 0; k < _PB_N; k++) |
| { |
| for(i = 0; i < _PB_N; i++) |
| for (j = 0; j < _PB_N; j++) |
| path[i][j] = path[i][j] < path[i][k] + path[k][j] ? |
| path[i][j] : path[i][k] + path[k][j]; |
| } |
| } |
| |
| /* Return 0 when one of the elements of arrays A and B do not match within the |
| allowed FP_ABSTOLERANCE. Return 1 when all elements match. */ |
| static inline int |
| check_FP(int n, |
| DATA_TYPE POLYBENCH_2D(A,N,N,n,n), |
| DATA_TYPE POLYBENCH_2D(B,N,N,n,n)) { |
| int i, j; |
| double AbsTolerance = FP_ABSTOLERANCE; |
| for (i = 0; i < _PB_N; i++) |
| for (j = 0; j < _PB_N; j++) |
| { |
| double V1 = A[i][j]; |
| double V2 = B[i][j]; |
| double Diff = fabs(V1 - V2); |
| if (Diff > AbsTolerance) { |
| fprintf(stderr, "A[%d][%d] = %lf and B[%d][%d] = %lf differ more than" |
| " FP_ABSTOLERANCE = %lf\n", i, j, V1, i, j, V2, AbsTolerance); |
| return 0; |
| } |
| } |
| |
| /* All elements are within the allowed FP_ABSTOLERANCE error margin. */ |
| return 1; |
| } |
| #endif |
| |
| int main(int argc, char** argv) |
| { |
| /* Retrieve problem size. */ |
| int n = N; |
| |
| /* Variable declaration/allocation. */ |
| POLYBENCH_2D_ARRAY_DECL(path, DATA_TYPE, N, N, n, n); |
| #if !FMA_DISABLED |
| POLYBENCH_2D_ARRAY_DECL(path_StrictFP, DATA_TYPE, N, N, n, n); |
| #endif |
| |
| /* Initialize array(s). */ |
| init_array (n, POLYBENCH_ARRAY(path)); |
| |
| /* Start timer. */ |
| polybench_start_instruments; |
| |
| /* Run kernel. */ |
| kernel_floyd_warshall (n, POLYBENCH_ARRAY(path)); |
| |
| /* Stop and print timer. */ |
| polybench_stop_instruments; |
| polybench_print_instruments; |
| |
| #if FMA_DISABLED |
| /* Prevent dead-code elimination. All live-out data must be printed |
| by the function call in argument. */ |
| polybench_prevent_dce(print_array(n, POLYBENCH_ARRAY(path))); |
| #else |
| init_array (n, POLYBENCH_ARRAY(path_StrictFP)); |
| kernel_floyd_warshall_StrictFP(n, POLYBENCH_ARRAY(path_StrictFP)); |
| if (!check_FP(n, POLYBENCH_ARRAY(path), POLYBENCH_ARRAY(path_StrictFP))) |
| return 1; |
| |
| /* Prevent dead-code elimination. All live-out data must be printed |
| by the function call in argument. */ |
| polybench_prevent_dce(print_array(n, POLYBENCH_ARRAY(path_StrictFP))); |
| #endif |
| |
| /* Be clean. */ |
| POLYBENCH_FREE_ARRAY(path); |
| #if !FMA_DISABLED |
| POLYBENCH_FREE_ARRAY(path_StrictFP); |
| #endif |
| |
| return 0; |
| } |