diff options
19 files changed, 45 insertions, 22 deletions
diff --git a/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll b/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll index 89bc0e54748..1c81d6469b8 100644 --- a/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll +++ b/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -polly-codegen -S \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; This crashed our codegen at some point, verify it runs through ; diff --git a/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll b/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll index 9c52862d51d..426b59fda72 100644 --- a/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll +++ b/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -polly-codegen -S \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; This crashed our codegen at some point, verify it runs through ; diff --git a/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll b/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll index c5afb05d154..bcc504c9e3f 100644 --- a/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll +++ b/polly/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -polly-codegen -S \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; This crashed our codegen at some point, verify it runs through ; diff --git a/polly/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll b/polly/test/Isl/CodeGen/invariant_load_hoist_alignment.ll index 9fdfb8f1d6c..d96a9b4596e 100644 --- a/polly/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll +++ b/polly/test/Isl/CodeGen/invariant_load_hoist_alignment.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -S < %s | FileCheck %s +; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -S \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target triple = "x86_64-unknown-linux-gnu" diff --git a/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll b/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll index 71d1be2dedd..87a01382ec3 100644 --- a/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll +++ b/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-allow-differing-element-types -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -polly-allow-differing-element-types -polly-codegen -S \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; CHECK: %polly.access.cast.global.load = bitcast %struct.hoge* %global.load to i32* ; CHECK: %polly.access.global.load = getelementptr i32, i32* %polly.access.cast.global.load, i64 0 diff --git a/polly/test/Isl/CodeGen/no-overflow-tracking.ll b/polly/test/Isl/CodeGen/no-overflow-tracking.ll index 3a7d7c0b3b6..697587bcfb1 100644 --- a/polly/test/Isl/CodeGen/no-overflow-tracking.ll +++ b/polly/test/Isl/CodeGen/no-overflow-tracking.ll @@ -1,5 +1,7 @@ -; RUN: opt %loadPolly -analyze -polly-scops < %s | FileCheck %s -; RUN: opt %loadPolly -S -polly-codegen -polly-overflow-tracking=never < %s | FileCheck %s --check-prefix=IR +; RUN: opt %loadPolly -analyze -polly-scops \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s +; RUN: opt %loadPolly -S -polly-codegen -polly-overflow-tracking=never \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s --check-prefix=IR ; ; As (p + q) can overflow we have to check that we load from ; I[p + q] only if it does not. diff --git a/polly/test/Isl/CodeGen/reduction_2.ll b/polly/test/Isl/CodeGen/reduction_2.ll index b1b8fd8cdc9..3ee742ae2cd 100644 --- a/polly/test/Isl/CodeGen/reduction_2.ll +++ b/polly/test/Isl/CodeGen/reduction_2.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basicaa -polly-ast -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ;#include <string.h> ;#include <stdio.h> diff --git a/polly/test/Isl/CodeGen/scop_expander_insert_point.ll b/polly/test/Isl/CodeGen/scop_expander_insert_point.ll index 2ca28098cbb..4dddadf78fc 100644 --- a/polly/test/Isl/CodeGen/scop_expander_insert_point.ll +++ b/polly/test/Isl/CodeGen/scop_expander_insert_point.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -polly-codegen -S \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; CHECK: entry: ; CHECK-NEXT: %outvalue.141.phiops = alloca i64 diff --git a/polly/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll b/polly/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll index e43baca5462..709e510b806 100644 --- a/polly/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll +++ b/polly/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -verify-dom-info -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -verify-dom-info -polly-codegen -S < %s \ +; RUN: -polly-invariant-load-hoisting=true | FileCheck %s ; ; This caused an infinite recursion during invariant load hoisting at some ; point. Check it does not and we add a "false" runtime check. diff --git a/polly/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll b/polly/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll index 1f8940f3c52..9b6f85a8442 100644 --- a/polly/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll +++ b/polly/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll @@ -1,5 +1,7 @@ -; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -polly-codegen -analyze < %s +; RUN: opt %loadPolly -polly-scops -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s +; RUN: opt %loadPolly -polly-codegen -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s ; The loop for.body is a scop with invariant load hoisting, but does not ; terminate predictably for ScalarEvolution. The scalar %1 therefore is not diff --git a/polly/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll b/polly/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll index d23f2fd619e..f131d1272c6 100644 --- a/polly/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll +++ b/polly/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -polly-scops -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; void f(int *A, int *B, int *C) { ; for (int i = 0; i < 1000; i++) diff --git a/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll b/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll index 95b159fb695..166f991f29a 100644 --- a/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll +++ b/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basicaa -polly-scops -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; void f(long A[], int N, int *init_ptr) { ; long i, j; diff --git a/polly/test/ScopInfo/intra_bb_scalar_dep.ll b/polly/test/ScopInfo/intra_bb_scalar_dep.ll index 0e5e5b413e8..2a8c2fae546 100644 --- a/polly/test/ScopInfo/intra_bb_scalar_dep.ll +++ b/polly/test/ScopInfo/intra_bb_scalar_dep.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basicaa -polly-scops -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; void f(long A[], int N, int *init_ptr) { ; long i, j; diff --git a/polly/test/ScopInfo/licm_load.ll b/polly/test/ScopInfo/licm_load.ll index aa7e4596ebc..fb4edb0a42b 100644 --- a/polly/test/ScopInfo/licm_load.ll +++ b/polly/test/ScopInfo/licm_load.ll @@ -1,5 +1,9 @@ -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -polly-prepare -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -polly-prepare \ +; RUN: -polly-invariant-load-hoisting=true -polly-scops -analyze < %s \ +; RUN: | FileCheck %s +; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -licm -polly-prepare \ +; RUN: -polly-invariant-load-hoisting=true -polly-scops -analyze < %s \ +; RUN: | FileCheck %s ; ; void foo(int n, float A[static const restrict n], ; float B[static const restrict n], int j) { diff --git a/polly/test/ScopInfo/multidim_parameter_addrec_product.ll b/polly/test/ScopInfo/multidim_parameter_addrec_product.ll index 2f890853b19..7b14e30b7e5 100644 --- a/polly/test/ScopInfo/multidim_parameter_addrec_product.ll +++ b/polly/test/ScopInfo/multidim_parameter_addrec_product.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -polly-scops -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; void foo(float *A, long *p) { ; for (long i = 0; i < 100; i++) diff --git a/polly/test/ScopInfo/parameter-constant-division.ll b/polly/test/ScopInfo/parameter-constant-division.ll index 942cf71951c..ae77509ea86 100644 --- a/polly/test/ScopInfo/parameter-constant-division.ll +++ b/polly/test/ScopInfo/parameter-constant-division.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -polly-scops \; +; RUN: opt %loadPolly -polly-scops \ ; RUN: -polly-invariant-load-hoisting=true \ ; RUN: -analyze -S < %s | FileCheck %s ; diff --git a/polly/test/ScopInfo/remarks.ll b/polly/test/ScopInfo/remarks.ll index 22302c42f0f..c07828fd604 100644 --- a/polly/test/ScopInfo/remarks.ll +++ b/polly/test/ScopInfo/remarks.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-scops -disable-output < %s 2>&1 | FileCheck %s +; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-scops \ +; RUN: -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s ; ; CHECK: remark: test/ScopInfo/remarks.c:4:7: SCoP begins here. ; CHECK: remark: test/ScopInfo/remarks.c:9:15: Inbounds assumption: [N, M, Debug] -> { : N <= 0 or (N > 0 and M <= 100) } diff --git a/polly/test/ScopInfo/required-invariant-loop-bounds.ll b/polly/test/ScopInfo/required-invariant-loop-bounds.ll index 0c218f3d496..0230a846dd1 100644 --- a/polly/test/ScopInfo/required-invariant-loop-bounds.ll +++ b/polly/test/ScopInfo/required-invariant-loop-bounds.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -polly-scops -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; CHECK: Invariant Accesses: { ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0] diff --git a/polly/test/ScopInfo/unsigned-division-5.ll b/polly/test/ScopInfo/unsigned-division-5.ll index 2046234b5b5..6d82873d23e 100644 --- a/polly/test/ScopInfo/unsigned-division-5.ll +++ b/polly/test/ScopInfo/unsigned-division-5.ll @@ -1,4 +1,5 @@ -; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -polly-scops -analyze \ +; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; ; void f(int *A, unsigned N) { ; for (unsigned i = 0; i < N; i++) |
