[polly] r278667 - [tests] Force invariant load hoisting for test cases that need it

Tobias Grosser via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 15 06:27:51 PDT 2016


Author: grosser
Date: Mon Aug 15 08:27:49 2016
New Revision: 278667

URL: http://llvm.org/viewvc/llvm-project?rev=278667&view=rev
Log:
[tests] Force invariant load hoisting for test cases that need it

This will make it easier to switch the default of Polly's invariant load
hoisting strategy and also makes it very clear that these test cases
indeed require invariant code hoisting to work.

Modified:
    polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded.ll
    polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_different_bb.ll
    polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_pass_only_needed.ll
    polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointers_preloaded.ll
    polly/trunk/test/Isl/CodeGen/invariant-load-preload-base-pointer-origin-first.ll
    polly/trunk/test/Isl/CodeGen/invariant_cannot_handle_void.ll
    polly/trunk/test/Isl/CodeGen/invariant_load.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional_2.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_complex_condition.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_condition.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_different_sized_types.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_escaping.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_escaping_second_scop.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_in_non_affine_subregion.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_loop_ub.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_not_executed_but_in_parameters.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_outermost.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_parameters_cyclic_dependence.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_ptr_ptr_noalias.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_scalar_dep.ll
    polly/trunk/test/Isl/CodeGen/invariant_load_scalar_escape_alloca_sharing.ll
    polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_1.ll
    polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_2.ll
    polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed.ll
    polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed_2.ll
    polly/trunk/test/ScopInfo/invariant-loads-leave-read-only-statements.ll
    polly/trunk/test/ScopInfo/invariant_load.ll
    polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type.ll
    polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_escaping.ll
    polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer.ll
    polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer_escaping.ll
    polly/trunk/test/ScopInfo/invariant_load_base_pointer.ll
    polly/trunk/test/ScopInfo/invariant_load_base_pointer_conditional.ll
    polly/trunk/test/ScopInfo/invariant_load_base_pointer_in_conditional.ll
    polly/trunk/test/ScopInfo/invariant_load_condition.ll
    polly/trunk/test/ScopInfo/invariant_load_distinct_parameter_valuations.ll
    polly/trunk/test/ScopInfo/invariant_load_loop_ub.ll
    polly/trunk/test/ScopInfo/invariant_load_ptr_ptr_noalias.ll
    polly/trunk/test/ScopInfo/invariant_load_scalar_dep.ll
    polly/trunk/test/ScopInfo/invariant_load_stmt_domain.ll
    polly/trunk/test/ScopInfo/invariant_load_zext_parameter-2.ll
    polly/trunk/test/ScopInfo/invariant_load_zext_parameter.ll
    polly/trunk/test/ScopInfo/invariant_load_zextended_in_own_execution_context.ll
    polly/trunk/test/ScopInfo/invariant_loads_complicated_dependences.ll
    polly/trunk/test/ScopInfo/invariant_loads_cyclic_dependences.ll
    polly/trunk/test/ScopInfo/invariant_loop_bounds.ll
    polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-1.ll
    polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-2.ll
    polly/trunk/test/ScopInfo/non-precise-inv-load-1.ll
    polly/trunk/test/ScopInfo/non-precise-inv-load-2.ll
    polly/trunk/test/ScopInfo/non-precise-inv-load-3.ll
    polly/trunk/test/ScopInfo/non-precise-inv-load-4.ll
    polly/trunk/test/ScopInfo/non-precise-inv-load-5.ll
    polly/trunk/test/ScopInfo/non-precise-inv-load-6.ll
    polly/trunk/test/ScopInfo/partially_invariant_load_1.ll
    polly/trunk/test/ScopInfo/partially_invariant_load_2.ll

Modified: polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded.ll (original)
+++ polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -polly-parallel \
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -polly-parallel \
 ; RUN: -polly-parallel-force -S < %s | FileCheck %s
 ;
 ; Test to verify that we hand down the preloaded A[0] to the OpenMP subfunction.

Modified: polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_different_bb.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_different_bb.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_different_bb.ll (original)
+++ polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_different_bb.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -polly-parallel \
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -polly-parallel \
 ; RUN: -polly-parallel-force -S < %s | FileCheck %s
 ;
 ; Test to verify that we hand down the preloaded A[0] to the OpenMP subfunction.

Modified: polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_pass_only_needed.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_pass_only_needed.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_pass_only_needed.ll (original)
+++ polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_pass_only_needed.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -polly-parallel \
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -polly-parallel \
 ; RUN: -polly-parallel-force -S < %s | FileCheck %s
 ;
 ; Test to verify that we hand down the preloaded A[0] to the OpenMP subfunction but

Modified: polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointers_preloaded.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointers_preloaded.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointers_preloaded.ll (original)
+++ polly/trunk/test/Isl/CodeGen/OpenMP/invariant_base_pointers_preloaded.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -polly-parallel \
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -polly-parallel \
 ; RUN: -polly-parallel-force -S < %s | FileCheck %s
 ;
 ; Test to verify that we hand down the preloaded A[0] to the OpenMP subfunction.

Modified: polly/trunk/test/Isl/CodeGen/invariant-load-preload-base-pointer-origin-first.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant-load-preload-base-pointer-origin-first.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant-load-preload-base-pointer-origin-first.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant-load-preload-base-pointer-origin-first.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -S -polly-codegen < %s
+; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true < %s
 ;
 ; Check that we generate valid code as we did non preload the base pointer
 ; origin of %tmp4 at some point.

Modified: polly/trunk/test/Isl/CodeGen/invariant_cannot_handle_void.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_cannot_handle_void.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_cannot_handle_void.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_cannot_handle_void.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -analyze -polly-scops %s | FileCheck %s --check-prefix=SCOP
-; RUN: opt %loadPolly -S -polly-codegen %s | FileCheck %s
+; RUN: opt %loadPolly -analyze -polly-scops -polly-invariant-load-hoisting=true %s | FileCheck %s --check-prefix=SCOP
+; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true %s | FileCheck %s
 ;
 ; The offset of the %tmp1 load wrt. to %buff (62 bytes) is not divisible
 ; by the type size (i32 = 4 bytes), thus we will have to represent %buff

Modified: polly/trunk/test/Isl/CodeGen/invariant_load.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s
 ;
 ; CHECK-LABEL: polly.preload.begin:
 ; CHECK-NEXT:    %polly.access.B = getelementptr i32, i32* %B, i64 0

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly  -polly-codegen -polly-ignore-aliasing -polly-process-unprofitable -S < %s | FileCheck %s
+; RUN: opt %loadPolly  -polly-codegen -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -S < %s | FileCheck %s
 ;
 ; CHECK-LABEL: polly.preload.begin:
 ; CHECK-NEXT:    %polly.access.BPLoc = getelementptr i32*, i32** %BPLoc, i64 0

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly  -polly-codegen -polly-ignore-aliasing -polly-process-unprofitable -S < %s | FileCheck %s
+; RUN: opt %loadPolly  -polly-codegen -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -S < %s | FileCheck %s
 ;
 ; CHECK-LABEL: polly.preload.begin:
 ; CHECK-NEXT:    %0 = sext i32 %N to i64

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional_2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional_2.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional_2.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_base_pointer_conditional_2.ll Mon Aug 15 08:27:49 2016
@@ -1,6 +1,6 @@
-; RUN: opt %loadPolly -analyze -polly-scops < %s | FileCheck %s
-; RUN: opt %loadPolly -S -polly-codegen < %s | FileCheck %s --check-prefix=IR
-; RUN: opt %loadPolly -S -polly-codegen --polly-overflow-tracking=always < %s | FileCheck %s --check-prefix=IRA
+; RUN: opt %loadPolly -analyze -polly-scops -polly-invariant-load-hoisting=true < %s | FileCheck %s
+; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true < %s | FileCheck %s --check-prefix=IR
+; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true --polly-overflow-tracking=always < %s | FileCheck %s --check-prefix=IRA
 ;
 ; As (p + q) can overflow we have to check that we load from
 ; I[p + q] only if it does not.

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_complex_condition.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_complex_condition.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_complex_condition.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_complex_condition.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -S -polly-codegen < %s | FileCheck %s
+; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true < %s | FileCheck %s
 ;
 ; Extracted from h246 in SPEC 2006.
 ;

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_condition.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_condition.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_condition.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_condition.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-process-unprofitable -polly-codegen -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-process-unprofitable -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s
 ;
 ; CHECK-LABEL: polly.preload.begin:
 ; CHECK-NEXT:     %polly.access.C = getelementptr i32, i32* %C, i64 0

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_different_sized_types.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_different_sized_types.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_different_sized_types.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_different_sized_types.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -S \
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S \
 ; RUN: -polly-allow-differing-element-types < %s | FileCheck %s
 
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_escaping.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_escaping.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_escaping.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_escaping.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s
 ;
 ;    int f(int *A, int *B) {
 ;      // Possible aliasing between A and B but if not then *B would be

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_escaping_second_scop.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_escaping_second_scop.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_escaping_second_scop.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_escaping_second_scop.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen  -polly-process-unprofitable -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true  -polly-process-unprofitable -S < %s | FileCheck %s
 ;
 ;    void fence(void);
 ;

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_in_non_affine_subregion.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_in_non_affine_subregion.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_in_non_affine_subregion.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_in_non_affine_subregion.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s
 ;
 ; This crashed at some point as the invariant load is in a non-affine
 ; subregion. Just check it does not anymore.

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_loop_ub.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_loop_ub.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_loop_ub.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_loop_ub.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -polly-process-unprofitable -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -polly-process-unprofitable -S < %s | FileCheck %s
 ;
 ; CHECK: polly.start
 ;

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_not_executed_but_in_parameters.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_not_executed_but_in_parameters.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_not_executed_but_in_parameters.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_not_executed_but_in_parameters.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -analyze < %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -analyze < %s
 ;
 ; Check that this does not crash as the invariant load is not executed (thus
 ; not preloaded) but still referenced by one of the parameters.

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_outermost.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_outermost.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_outermost.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_outermost.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s
 
 ; CHECK: polly.start
 

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_parameters_cyclic_dependence.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_parameters_cyclic_dependence.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_parameters_cyclic_dependence.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_parameters_cyclic_dependence.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s --check-prefix=SCOP
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s --check-prefix=SCOP
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s
 ;
 ; SCOP:         Assumed Context:
 ; SCOP-NEXT:    [p_0, tmp4] -> {  :  }

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_ptr_ptr_noalias.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_ptr_ptr_noalias.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_ptr_ptr_noalias.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_ptr_ptr_noalias.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-process-unprofitable -polly-codegen -polly-ignore-aliasing -S  < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-process-unprofitable -polly-codegen -polly-invariant-load-hoisting=true -polly-ignore-aliasing -S  < %s | FileCheck %s
 ;
 ; CHECK-LABEL: polly.preload.begin:
 ; CHECK:   %polly.access.A = getelementptr i32**, i32*** %A, i64 42

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_scalar_dep.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_scalar_dep.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_scalar_dep.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_scalar_dep.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly  -polly-codegen -polly-ignore-aliasing -polly-process-unprofitable -S < %s | FileCheck %s
+; RUN: opt %loadPolly  -polly-codegen -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -S < %s | FileCheck %s
 ;
 ; CHECK-LABEL: polly.preload.begin:
 ; CHECK:    %polly.access.B = getelementptr i32, i32* %B, i64 0

Modified: polly/trunk/test/Isl/CodeGen/invariant_load_scalar_escape_alloca_sharing.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_scalar_escape_alloca_sharing.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_load_scalar_escape_alloca_sharing.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_scalar_escape_alloca_sharing.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s
 ;
 ; Verify the preloaded %tmp0 is stored and communicated in the same alloca.
 ; In this case, we do not reload %ncol.load from the scalar stack slot, but

Modified: polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_1.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_1.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_1.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_1.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen < %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true < %s
 ;
 ; Check we do not crash even though we pre-load values with different types
 ; from the same base pointer.

Modified: polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_2.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_2.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_loads_from_struct_with_different_types_2.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen < %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true < %s
 ;
 ; Check we do not crash even though we pre-load values with different types
 ; from the same base pointer.

Modified: polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -S -polly-codegen %s | FileCheck %s
+; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true %s | FileCheck %s
 ;
 ; This crashed at some point as the pointer returned by the call
 ; to @__errno_location is invariant and defined in the SCoP but not

Modified: polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed_2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed_2.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed_2.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_verify_function_failed_2.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -S -polly-codegen %s | FileCheck %s
+; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true %s | FileCheck %s
 ;
 ; Check we generate valid code.
 ;

Modified: polly/trunk/test/ScopInfo/invariant-loads-leave-read-only-statements.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant-loads-leave-read-only-statements.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant-loads-leave-read-only-statements.ll (original)
+++ polly/trunk/test/ScopInfo/invariant-loads-leave-read-only-statements.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -analyze < %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -analyze < %s
 
 ; CHECK:      Statements {
 ; CHECK-NEXT:     Stmt_top_split

Modified: polly/trunk/test/ScopInfo/invariant_load.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; CHECK: Invariant Accesses:
 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=CODEGEN
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s --check-prefix=CODEGEN
 ;
 ;    struct {
 ;      int a;

Modified: polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_escaping.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_escaping.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_escaping.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_escaping.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=CODEGEN
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s --check-prefix=CODEGEN
 ;
 ;    struct {
 ;      int a;

Modified: polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=CODEGEN
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s --check-prefix=CODEGEN
 ;
 ;    int U;
 ;    void f(int *A) {

Modified: polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer_escaping.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer_escaping.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer_escaping.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer_escaping.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=CODEGEN
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s --check-prefix=CODEGEN
 ;
 ;    int U;
 ;    int f(int *A) {

Modified: polly/trunk/test/ScopInfo/invariant_load_base_pointer.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_base_pointer.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_base_pointer.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_base_pointer.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -polly-ignore-aliasing -polly-process-unprofitable -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -analyze < %s | FileCheck %s
 ;
 ; CHECK: Invariant Accesses:
 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_load_base_pointer_conditional.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_base_pointer_conditional.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_base_pointer_conditional.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_base_pointer_conditional.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -polly-ignore-aliasing -polly-process-unprofitable -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -analyze < %s | FileCheck %s
 ;
 ; CHECK: Invariant Accesses:
 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_load_base_pointer_in_conditional.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_base_pointer_in_conditional.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_base_pointer_in_conditional.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_base_pointer_in_conditional.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -polly-ignore-aliasing -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -analyze < %s | FileCheck %s
 ;
 ; CHECK: Invariant Accesses:
 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_load_condition.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_condition.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_condition.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_condition.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-process-unprofitable -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-process-unprofitable -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; CHECK: Invariant Accesses:
 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_load_distinct_parameter_valuations.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_distinct_parameter_valuations.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_distinct_parameter_valuations.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_distinct_parameter_valuations.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Check that we do not consolidate the invariant loads to smp[order - 1] and
 ; smp[order - 2] in the blocks %0 and %16. While they have the same pointer

Modified: polly/trunk/test/ScopInfo/invariant_load_loop_ub.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_loop_ub.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_loop_ub.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_loop_ub.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -polly-process-unprofitable -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-function-scops -polly-process-unprofitable -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -polly-process-unprofitable -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-function-scops -polly-invariant-load-hoisting=true -polly-process-unprofitable -analyze < %s | FileCheck %s
 ;
 ; CHECK: Invariant Accesses:
 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_load_ptr_ptr_noalias.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_ptr_ptr_noalias.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_ptr_ptr_noalias.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_ptr_ptr_noalias.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -tbaa -polly-scops -polly-ignore-aliasing \
+; RUN: opt %loadPolly -tbaa -polly-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing \
 ; RUN:                -analyze < %s | FileCheck %s
 ;
 ; Note: The order of the invariant accesses is important because A is the

Modified: polly/trunk/test/ScopInfo/invariant_load_scalar_dep.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_scalar_dep.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_scalar_dep.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_scalar_dep.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-process-unprofitable -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-process-unprofitable -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; CHECK: Invariant Accesses:
 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_load_stmt_domain.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_stmt_domain.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_stmt_domain.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_stmt_domain.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 
 ; This test case verifies that the statement domain of the invariant access
 ; is the universe. In earlier versions of Polly, we accidentally computed an

Modified: polly/trunk/test/ScopInfo/invariant_load_zext_parameter-2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_zext_parameter-2.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_zext_parameter-2.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_zext_parameter-2.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -analyze < %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -analyze < %s
 ;
 ; Stress test for the code generation of invariant accesses.
 ;

Modified: polly/trunk/test/ScopInfo/invariant_load_zext_parameter.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_zext_parameter.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_zext_parameter.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_zext_parameter.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=CODEGEN
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s --check-prefix=CODEGEN
 ;
 ;    void f(int *I0, int *I1, int *V) {
 ;      for (int i = 0; i < 1000; i++) {

Modified: polly/trunk/test/ScopInfo/invariant_load_zextended_in_own_execution_context.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_load_zextended_in_own_execution_context.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_load_zextended_in_own_execution_context.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_load_zextended_in_own_execution_context.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -analyze < %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -analyze < %s
 ;
 ; CHECK: Execution Context: [p_0_loaded_from_currpc] -> {  :  }
 ;

Modified: polly/trunk/test/ScopInfo/invariant_loads_complicated_dependences.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_loads_complicated_dependences.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_loads_complicated_dependences.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_loads_complicated_dependences.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; CHECK:      Invariant Accesses: {
 ; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_loads_cyclic_dependences.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_loads_cyclic_dependences.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_loads_cyclic_dependences.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_loads_cyclic_dependences.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -analyze -polly-scops < %s | FileCheck %s
+; RUN: opt %loadPolly -analyze -polly-scops -polly-invariant-load-hoisting=true < %s | FileCheck %s
 ;
 ; Negative test. If we assume UB[*V] to be invariant we get a cyclic
 ; dependence in the invariant loads that needs to be resolved by

Modified: polly/trunk/test/ScopInfo/invariant_loop_bounds.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_loop_bounds.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_loop_bounds.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_loop_bounds.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; CHECK:      Invariant Accesses: {
 ; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-1.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-1.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-1.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-1.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Verify that we only have one parameter and one invariant load for all
 ; three loads that occure in the region but actually access the same

Modified: polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-2.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-2.ll (original)
+++ polly/trunk/test/ScopInfo/invariant_same_loop_bound_multiple_times-2.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Verify that we only have one parameter and one invariant load for all
 ; three loads that occure in the region but actually access the same

Modified: polly/trunk/test/ScopInfo/non-precise-inv-load-1.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/non-precise-inv-load-1.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/non-precise-inv-load-1.ll (original)
+++ polly/trunk/test/ScopInfo/non-precise-inv-load-1.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Verify we do hoist the invariant access to I with a execution context
 ; as the address computation might wrap in the original but not in our

Modified: polly/trunk/test/ScopInfo/non-precise-inv-load-2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/non-precise-inv-load-2.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/non-precise-inv-load-2.ll (original)
+++ polly/trunk/test/ScopInfo/non-precise-inv-load-2.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ;
 ; CHECK:       Invariant Accesses: {

Modified: polly/trunk/test/ScopInfo/non-precise-inv-load-3.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/non-precise-inv-load-3.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/non-precise-inv-load-3.ll (original)
+++ polly/trunk/test/ScopInfo/non-precise-inv-load-3.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; CHECK:        Invariant Accesses: {
 ; CHECK-NEXT:     ReadAccess := [Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/non-precise-inv-load-4.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/non-precise-inv-load-4.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/non-precise-inv-load-4.ll (original)
+++ polly/trunk/test/ScopInfo/non-precise-inv-load-4.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Verify we hoist I[0] without execution context even though it
 ; is executed in a statement with an invalid domain.

Modified: polly/trunk/test/ScopInfo/non-precise-inv-load-5.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/non-precise-inv-load-5.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/non-precise-inv-load-5.ll (original)
+++ polly/trunk/test/ScopInfo/non-precise-inv-load-5.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Verify we do not hoist I[c] without execution context because it
 ; is executed in a statement with an invalid domain and it depends

Modified: polly/trunk/test/ScopInfo/non-precise-inv-load-6.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/non-precise-inv-load-6.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/non-precise-inv-load-6.ll (original)
+++ polly/trunk/test/ScopInfo/non-precise-inv-load-6.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Check that we model the execution context correctly.
 ;

Modified: polly/trunk/test/ScopInfo/partially_invariant_load_1.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/partially_invariant_load_1.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/partially_invariant_load_1.ll (original)
+++ polly/trunk/test/ScopInfo/partially_invariant_load_1.ll Mon Aug 15 08:27:49 2016
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s --check-prefix=IR
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s --check-prefix=IR
 ;
 ; CHECK:          Invariant Accesses: {
 ; CHECK-NEXT:             ReadAccess :=	[Reduction Type: NONE] [Scalar: 0]

Modified: polly/trunk/test/ScopInfo/partially_invariant_load_2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/partially_invariant_load_2.ll?rev=278667&r1=278666&r2=278667&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/partially_invariant_load_2.ll (original)
+++ polly/trunk/test/ScopInfo/partially_invariant_load_2.ll Mon Aug 15 08:27:49 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
 ;
 ; Check that we do not try to preload *I and assume p != 42.
 ;




More information about the llvm-commits mailing list