diff options
Diffstat (limited to 'polly/test')
17 files changed, 56 insertions, 54 deletions
diff --git a/polly/test/ScopInfo/loop_affine_bound_0.ll b/polly/test/ScopInfo/loop_affine_bound_0.ll index 58b3350e4d0..b950b2f189c 100644 --- a/polly/test/ScopInfo/loop_affine_bound_0.ll +++ b/polly/test/ScopInfo/loop_affine_bound_0.ll @@ -59,6 +59,6 @@ return: ; preds = %bb.nph8, %bb3, %ent ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 1 + 5N and N >= 0 }; ; CHECK: Scattering := ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> scattering[0, i0, 0, i1, 0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE] ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[i0 + 128i1] }; ; CHECK: } diff --git a/polly/test/ScopInfo/loop_affine_bound_1.ll b/polly/test/ScopInfo/loop_affine_bound_1.ll index 603aec65991..daa598a55dc 100644 --- a/polly/test/ScopInfo/loop_affine_bound_1.ll +++ b/polly/test/ScopInfo/loop_affine_bound_1.ll @@ -58,6 +58,6 @@ return: ; preds = %bb3, %entry ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 1 + 5N - i0 and i0 <= 1 + 5N }; ; CHECK: Scattering := ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> scattering[0, i0, 0, i1, 0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE] ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[129i0 + 128i1] }; ; CHECK: } diff --git a/polly/test/ScopInfo/loop_affine_bound_2.ll b/polly/test/ScopInfo/loop_affine_bound_2.ll index 8ccbfedc9fc..7392eaa644d 100644 --- a/polly/test/ScopInfo/loop_affine_bound_2.ll +++ b/polly/test/ScopInfo/loop_affine_bound_2.ll @@ -69,6 +69,6 @@ return: ; preds = %bb3, %entry ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 10 + 5N - 6M - 4i0 and 4i0 <= 10 + 5N - 6M }; ; CHECK: Scattering := ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> scattering[0, i0, 0, i1, 0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE] ; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[-1152 + 768M + 897i0 + 128i1] }; ; CHECK: } diff --git a/polly/test/ScopInfo/reduction_disabled_multiplicative.ll b/polly/test/ScopInfo/reduction_disabled_multiplicative.ll index 159e7f53305..4a3ccfadee4 100644 --- a/polly/test/ScopInfo/reduction_disabled_multiplicative.ll +++ b/polly/test/ScopInfo/reduction_disabled_multiplicative.ll @@ -1,12 +1,12 @@ ; RUN: opt -basicaa %loadPolly -polly-scops -analyze -polly-disable-multiplicative-reductions < %s | FileCheck %s ; -; CHECK: ReadAccess := [Reduction like: 1] +; CHECK: ReadAccess := [Reduction Type: ADD ; CHECK: { Stmt_for_body[i0] -> MemRef_sum[0] }; -; CHECK: MustWriteAccess := [Reduction like: 1] +; CHECK: MustWriteAccess := [Reduction Type: ADD ; CHECK: { Stmt_for_body[i0] -> MemRef_sum[0] }; -; CHECK: ReadAccess := [Reduction like: 0] +; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_prod[0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_prod[0] }; ; ; int sum, prod; diff --git a/polly/test/ScopInfo/reduction_escaping_intermediate.ll b/polly/test/ScopInfo/reduction_escaping_intermediate.ll index c5f5cc03928..2c4f74c2adf 100644 --- a/polly/test/ScopInfo/reduction_escaping_intermediate.ll +++ b/polly/test/ScopInfo/reduction_escaping_intermediate.ll @@ -10,11 +10,11 @@ ; } ; } ; -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: sums -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: sums -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: escape target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" diff --git a/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll b/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll index ccf87f17483..2d8c09e6a48 100644 --- a/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll +++ b/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll @@ -10,15 +10,15 @@ ; } ; } ; -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: sums -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: sums -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: escape -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: sums -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: escape target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" diff --git a/polly/test/ScopInfo/reduction_invalid_different_operators.ll b/polly/test/ScopInfo/reduction_invalid_different_operators.ll index 81c02bc6717..c519c5f5c76 100644 --- a/polly/test/ScopInfo/reduction_invalid_different_operators.ll +++ b/polly/test/ScopInfo/reduction_invalid_different_operators.ll @@ -10,7 +10,8 @@ ; return sum + sth; ; } ; -; CHECK-NOT: Reduction like: 1 +; CHECK-NOT: Reduction Type: ADD +; CHECK-NOT: Reduction Type: MUL target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" define i32 @f() { diff --git a/polly/test/ScopInfo/reduction_invalid_overlapping_accesses.ll b/polly/test/ScopInfo/reduction_invalid_overlapping_accesses.ll index a75e9de9a85..2c0db4db2a8 100644 --- a/polly/test/ScopInfo/reduction_invalid_overlapping_accesses.ll +++ b/polly/test/ScopInfo/reduction_invalid_overlapping_accesses.ll @@ -10,7 +10,8 @@ ; } ; } ; -; CHECK-NOT: Reduction like: 1 +; CHECK-NOT: Reduction Type: ADD +; CHECK-NOT: Reduction Type: MUL target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" define void @f(i32* %sums) { diff --git a/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll b/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll index 1f7013dd6d5..7a956ac7f52 100644 --- a/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll +++ b/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll @@ -1,21 +1,21 @@ ; RUN: opt -basicaa %loadPolly -polly-scops -analyze < %s | FileCheck %s ; ; CHECK: Stmt_for_body -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: MUL ; CHECK: MemRef_sum -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: MUL ; CHECK: MemRef_sum ; CHECK: Stmt_for_body3 -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: MemRef_A -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; CHECK: MemRef_sum -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; CHECK: MemRef_sum ; CHECK: Stmt_for_end -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: MUL ; CHECK: MemRef_sum -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: MUL ; CHECK: MemRef_sum ; ; void f(int *restrict A, int *restrict sum) { diff --git a/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll b/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll index 5148492e1e4..4104aabcea7 100644 --- a/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll +++ b/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll @@ -1,21 +1,21 @@ ; RUN: opt -basicaa %loadPolly -polly-scops -analyze < %s | FileCheck %s ; ; CHECK: Stmt_for_body -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: MemRef_sum_04 -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: MemRef_sum_12 ; CHECK: Stmt_for_inc -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; CHECK: MemRef_sum_12 -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: MemRef_A -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; CHECK: MemRef_sum_12 ; CHECK: Stmt_for_inc5 -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: MemRef_sum_12 -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: MemRef_sum_04 ; ; int f(int * __restrict__ A) { diff --git a/polly/test/ScopInfo/reduction_multiple_simple_binary.ll b/polly/test/ScopInfo/reduction_multiple_simple_binary.ll index 52ddcd15a27..49e49188995 100644 --- a/polly/test/ScopInfo/reduction_multiple_simple_binary.ll +++ b/polly/test/ScopInfo/reduction_multiple_simple_binary.ll @@ -1,30 +1,30 @@ ; RUN: opt -basicaa %loadPolly -polly-scops -analyze < %s | FileCheck %s ; -; CHECK: ReadAccess := [Reduction like: 0] +; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_A[1 + i0] }; -; CHECK: ReadAccess := [Reduction like: 0] +; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_A[i0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_first[0] }; -; CHECK: ReadAccess := [Reduction like: 1] +; CHECK: ReadAccess := [Reduction Type: ADD ; CHECK: { Stmt_for_body[i0] -> MemRef_sum[0] }; -; CHECK: MustWriteAccess := [Reduction like: 1] +; CHECK: MustWriteAccess := [Reduction Type: ADD ; CHECK: { Stmt_for_body[i0] -> MemRef_sum[0] }; -; CHECK: ReadAccess := [Reduction like: 0] +; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_A[-1 + i0] }; -; CHECK: ReadAccess := [Reduction like: 0] +; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_A[i0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_middle[0] }; -; CHECK: ReadAccess := [Reduction like: 1] +; CHECK: ReadAccess := [Reduction Type: MUL ; CHECK: { Stmt_for_body[i0] -> MemRef_prod[0] }; -; CHECK: MustWriteAccess := [Reduction like: 1] +; CHECK: MustWriteAccess := [Reduction Type: MUL ; CHECK: { Stmt_for_body[i0] -> MemRef_prod[0] }; -; CHECK: ReadAccess := [Reduction like: 0] +; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_A[-1 + i0] }; -; CHECK: ReadAccess := [Reduction like: 0] +; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_A[1 + i0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_last[0] }; ; ; int first, sum, middle, prod, last; diff --git a/polly/test/ScopInfo/reduction_non_overlapping_chains.ll b/polly/test/ScopInfo/reduction_non_overlapping_chains.ll index 7cd1ba7e97d..ef729552254 100644 --- a/polly/test/ScopInfo/reduction_non_overlapping_chains.ll +++ b/polly/test/ScopInfo/reduction_non_overlapping_chains.ll @@ -1,9 +1,9 @@ ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s ; -; CHECK: Reduction like: 1 -; CHECK: Reduction like: 1 -; CHECK: Reduction like: 1 -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD +; CHECK: Reduction Type: ADD +; CHECK: Reduction Type: MUL +; CHECK: Reduction Type: MUL ; ; void f(int *sums) { ; for (int i = 0; i < 1024; i++) { diff --git a/polly/test/ScopInfo/reduction_only_reduction_like_access.ll b/polly/test/ScopInfo/reduction_only_reduction_like_access.ll index 4eb428ff7e2..1cc98b05bfa 100644 --- a/polly/test/ScopInfo/reduction_only_reduction_like_access.ll +++ b/polly/test/ScopInfo/reduction_only_reduction_like_access.ll @@ -1,6 +1,6 @@ ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s ; -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; ; void f(int *sum) { ; for (int i = 0; i < 100; i++) diff --git a/polly/test/ScopInfo/reduction_simple_fp.ll b/polly/test/ScopInfo/reduction_simple_fp.ll index 83ae7c66a73..41af402be2a 100644 --- a/polly/test/ScopInfo/reduction_simple_fp.ll +++ b/polly/test/ScopInfo/reduction_simple_fp.ll @@ -1,9 +1,9 @@ ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s ; ; CHECK: Function: f_no_fast_math -; CHECK: Reduction like: 0 +; CHECK: Reduction Type: NONE ; CHECK: Function: f_fast_math -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; ; void f(float *sum) { ; for (int i = 0; i < 100; i++) diff --git a/polly/test/ScopInfo/reduction_simple_w_constant.ll b/polly/test/ScopInfo/reduction_simple_w_constant.ll index c01eabbdea6..ad5fdea1933 100644 --- a/polly/test/ScopInfo/reduction_simple_w_constant.ll +++ b/polly/test/ScopInfo/reduction_simple_w_constant.ll @@ -1,6 +1,6 @@ ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s ; -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; ; void f(int *sum) { ; for (int i = 0; i <= 100; i++) diff --git a/polly/test/ScopInfo/reduction_simple_w_iv.ll b/polly/test/ScopInfo/reduction_simple_w_iv.ll index 4e8750d04d8..c123c9b9028 100644 --- a/polly/test/ScopInfo/reduction_simple_w_iv.ll +++ b/polly/test/ScopInfo/reduction_simple_w_iv.ll @@ -1,6 +1,6 @@ ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s ; -; CHECK: Reduction like: 1 +; CHECK: Reduction Type: ADD ; ; void f(int* sum) { ; for (int i = 0; i <= 100; i++) diff --git a/polly/test/ScopInfo/simple_loop_1.ll b/polly/test/ScopInfo/simple_loop_1.ll index 9340810bf09..d1ed9109ff0 100644 --- a/polly/test/ScopInfo/simple_loop_1.ll +++ b/polly/test/ScopInfo/simple_loop_1.ll @@ -30,5 +30,5 @@ return: ; preds = %bb, %entry ; CHECK: [N] -> { Stmt_bb[i0] : i0 >= 0 and i0 <= -1 + N }; ; CHECK: Scattering := ; CHECK: [N] -> { Stmt_bb[i0] -> scattering[0, i0, 0] }; -; CHECK: MustWriteAccess := [Reduction like: 0] +; CHECK: MustWriteAccess := [Reduction Type: NONE] ; CHECK: [N] -> { Stmt_bb[i0] -> MemRef_a[i0] }; |
