[polly] r278669 - [tests] Force invariant load hoisting for test cases that need it II
Tobias Grosser via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 15 06:58:17 PDT 2016
Author: grosser
Date: Mon Aug 15 08:58:16 2016
New Revision: 278669
URL: http://llvm.org/viewvc/llvm-project?rev=278669&view=rev
Log:
[tests] Force invariant load hoisting for test cases that need it II
Added:
polly/trunk/test/Isl/CodeGen/invariant_load_hoist_alignment.ll
- copied, changed from r278668, polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll
Removed:
polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll
Modified:
polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll
polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll
polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll
polly/trunk/test/Isl/CodeGen/multiple-types-invariant-load.ll
polly/trunk/test/Isl/CodeGen/no-overflow-tracking.ll
polly/trunk/test/Isl/CodeGen/reduction_2.ll
polly/trunk/test/Isl/CodeGen/scop_expander_insert_point.ll
polly/trunk/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll
polly/trunk/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll
polly/trunk/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll
polly/trunk/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll
polly/trunk/test/ScopInfo/intra_bb_scalar_dep.ll
polly/trunk/test/ScopInfo/licm_load.ll
polly/trunk/test/ScopInfo/multidim_parameter_addrec_product.ll
polly/trunk/test/ScopInfo/parameter-constant-division.ll
polly/trunk/test/ScopInfo/remarks.ll
polly/trunk/test/ScopInfo/required-invariant-loop-bounds.ll
polly/trunk/test/ScopInfo/unsigned-division-5.ll
Modified: polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll (original)
+++ polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-2.ll Mon Aug 15 08:58:16 2016
@@ -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
;
Modified: polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll (original)
+++ polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order-3.ll Mon Aug 15 08:58:16 2016
@@ -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
;
Modified: polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll (original)
+++ polly/trunk/test/Isl/CodeGen/inv-load-lnt-crash-wrong-order.ll Mon Aug 15 08:58:16 2016
@@ -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
;
Removed: polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll?rev=278668&view=auto
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll (removed)
@@ -1,30 +0,0 @@
-; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -S < %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"
-
- at A = common global [1024 x i32] zeroinitializer, align 16
- at B = common global [1024 x i32] zeroinitializer, align 16
-
-declare i32 @foo(i32) readnone
-
-define void @force_alignment() nounwind {
-;CHECK: @force_alignment
-entry:
- br label %body
-
-body:
- %indvar = phi i64 [ 0, %entry ], [ %indvar_next, %body ]
- %scevgep = getelementptr [1024 x i32], [1024 x i32]* @B, i64 0, i64 %indvar
-; CHECK: [[T2:%.load]] = load i32, i32* getelementptr inbounds ([1024 x i32], [1024 x i32]* @A, i32 0, i32 0), align 4
-; CHECK: %value_p.splatinsert = insertelement <4 x i32> undef, i32 [[T2]], i32 0
- %value = load i32, i32* getelementptr inbounds ([1024 x i32], [1024 x i32]* @A, i64 0, i64 0), align 4
- %result = tail call i32 @foo(i32 %value) nounwind
- store i32 %result, i32* %scevgep, align 4
- %indvar_next = add i64 %indvar, 1
- %exitcond = icmp eq i64 %indvar_next, 4
- br i1 %exitcond, label %return, label %body
-
-return:
- ret void
-}
-
Copied: polly/trunk/test/Isl/CodeGen/invariant_load_hoist_alignment.ll (from r278668, polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll)
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/invariant_load_hoist_alignment.ll?p2=polly/trunk/test/Isl/CodeGen/invariant_load_hoist_alignment.ll&p1=polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll&r1=278668&r2=278669&rev=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/invaraint_load_hoist_alignment.ll (original)
+++ polly/trunk/test/Isl/CodeGen/invariant_load_hoist_alignment.ll Mon Aug 15 08:58:16 2016
@@ -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"
Modified: polly/trunk/test/Isl/CodeGen/multiple-types-invariant-load.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/multiple-types-invariant-load.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/multiple-types-invariant-load.ll (original)
+++ polly/trunk/test/Isl/CodeGen/multiple-types-invariant-load.ll Mon Aug 15 08:58:16 2016
@@ -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
Modified: polly/trunk/test/Isl/CodeGen/no-overflow-tracking.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/no-overflow-tracking.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/no-overflow-tracking.ll (original)
+++ polly/trunk/test/Isl/CodeGen/no-overflow-tracking.ll Mon Aug 15 08:58:16 2016
@@ -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.
Modified: polly/trunk/test/Isl/CodeGen/reduction_2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/reduction_2.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/reduction_2.ll (original)
+++ polly/trunk/test/Isl/CodeGen/reduction_2.ll Mon Aug 15 08:58:16 2016
@@ -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>
Modified: polly/trunk/test/Isl/CodeGen/scop_expander_insert_point.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/scop_expander_insert_point.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/scop_expander_insert_point.ll (original)
+++ polly/trunk/test/Isl/CodeGen/scop_expander_insert_point.ll Mon Aug 15 08:58:16 2016
@@ -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
Modified: polly/trunk/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll (original)
+++ polly/trunk/test/Isl/CodeGen/stack-overflow-in-load-hoisting.ll Mon Aug 15 08:58:16 2016
@@ -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.
Modified: polly/trunk/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll (original)
+++ polly/trunk/test/Isl/CodeGen/unpredictable-loop-unsynthesizable.ll Mon Aug 15 08:58:16 2016
@@ -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
Modified: polly/trunk/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll (original)
+++ polly/trunk/test/ScopInfo/NonAffine/invariant_loads_dependent_in_non_affine_region.ll Mon Aug 15 08:58:16 2016
@@ -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++)
Modified: polly/trunk/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll (original)
+++ polly/trunk/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll Mon Aug 15 08:58:16 2016
@@ -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;
Modified: polly/trunk/test/ScopInfo/intra_bb_scalar_dep.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/intra_bb_scalar_dep.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/intra_bb_scalar_dep.ll (original)
+++ polly/trunk/test/ScopInfo/intra_bb_scalar_dep.ll Mon Aug 15 08:58:16 2016
@@ -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;
Modified: polly/trunk/test/ScopInfo/licm_load.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/licm_load.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/licm_load.ll (original)
+++ polly/trunk/test/ScopInfo/licm_load.ll Mon Aug 15 08:58:16 2016
@@ -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) {
Modified: polly/trunk/test/ScopInfo/multidim_parameter_addrec_product.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/multidim_parameter_addrec_product.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/multidim_parameter_addrec_product.ll (original)
+++ polly/trunk/test/ScopInfo/multidim_parameter_addrec_product.ll Mon Aug 15 08:58:16 2016
@@ -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++)
Modified: polly/trunk/test/ScopInfo/parameter-constant-division.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/parameter-constant-division.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/parameter-constant-division.ll (original)
+++ polly/trunk/test/ScopInfo/parameter-constant-division.ll Mon Aug 15 08:58:16 2016
@@ -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
;
Modified: polly/trunk/test/ScopInfo/remarks.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/remarks.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/remarks.ll (original)
+++ polly/trunk/test/ScopInfo/remarks.ll Mon Aug 15 08:58:16 2016
@@ -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) }
Modified: polly/trunk/test/ScopInfo/required-invariant-loop-bounds.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/required-invariant-loop-bounds.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/required-invariant-loop-bounds.ll (original)
+++ polly/trunk/test/ScopInfo/required-invariant-loop-bounds.ll Mon Aug 15 08:58:16 2016
@@ -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]
Modified: polly/trunk/test/ScopInfo/unsigned-division-5.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/unsigned-division-5.ll?rev=278669&r1=278668&r2=278669&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/unsigned-division-5.ll (original)
+++ polly/trunk/test/ScopInfo/unsigned-division-5.ll Mon Aug 15 08:58:16 2016
@@ -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++)
More information about the llvm-commits
mailing list