diff options
Diffstat (limited to 'llvm/test/Analysis')
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/Coupled.ll | 34 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/ExactSIV.ll | 38 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/GCD.ll | 103 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/Invariant.ll | 5 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll | 13 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/Preliminary.ll | 542 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/Propagating.ll | 42 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/Separability.ll | 26 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll | 4 | ||||
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll | 11 |
10 files changed, 388 insertions, 430 deletions
diff --git a/llvm/test/Analysis/DependenceAnalysis/Coupled.ll b/llvm/test/Analysis/DependenceAnalysis/Coupled.ll index 096add6e80b..10998c4fe84 100644 --- a/llvm/test/Analysis/DependenceAnalysis/Coupled.ll +++ b/llvm/test/Analysis/DependenceAnalysis/Coupled.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; ModuleID = 'Coupled.bc' 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-S128" @@ -13,6 +13,7 @@ define void @couple0([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple0 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -49,6 +50,7 @@ define void @couple1([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple1 ; CHECK: da analyze - none! ; CHECK: da analyze - consistent flow [-9]! ; CHECK: da analyze - confused! @@ -85,8 +87,9 @@ define void @couple2([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple2 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [*|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -123,6 +126,7 @@ define void @couple3([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple3 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -161,6 +165,7 @@ define void @couple4([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple4 ; CHECK: da analyze - none! ; CHECK: da analyze - flow [*|<]! ; CHECK: da analyze - confused! @@ -200,6 +205,7 @@ define void @couple5([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple5 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -241,8 +247,9 @@ define void @couple6([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple6 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -277,6 +284,7 @@ define void @couple7([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple7 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -313,6 +321,7 @@ define void @couple8([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple8 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -350,6 +359,7 @@ define void @couple9([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple9 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -387,9 +397,9 @@ define void @couple10([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple10 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [>] splitable! -; CHECK: da analyze - split level = 1, iteration = 3! +; CHECK: da analyze - flow [>]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -425,9 +435,9 @@ define void @couple11([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple11 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=|<] splitable! -; CHECK: da analyze - split level = 1, iteration = 9! +; CHECK: da analyze - flow [>]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -463,9 +473,9 @@ define void @couple12([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple12 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [<] splitable! -; CHECK: da analyze - split level = 1, iteration = 11! +; CHECK: da analyze - flow [>]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -501,6 +511,7 @@ define void @couple13([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: couple13 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -537,9 +548,9 @@ define void @couple14([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable entry: br label %for.body +; CHECK-LABEL: couple14 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=|<] splitable! -; CHECK: da analyze - split level = 1, iteration = 9! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -575,6 +586,7 @@ define void @couple15([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable entry: br label %for.body +; CHECK-LABEL: couple15 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! diff --git a/llvm/test/Analysis/DependenceAnalysis/ExactSIV.ll b/llvm/test/Analysis/DependenceAnalysis/ExactSIV.ll index d84cd058718..35bd858d48f 100644 --- a/llvm/test/Analysis/DependenceAnalysis/ExactSIV.ll +++ b/llvm/test/Analysis/DependenceAnalysis/ExactSIV.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; ModuleID = 'ExactSIV.bc' 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-S128" @@ -13,8 +13,9 @@ define void @exact0(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact0 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [<=|<]! +; CHECK: da analyze - flow [>]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -50,6 +51,7 @@ define void @exact1(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact1 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -88,6 +90,7 @@ define void @exact2(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact2 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -124,8 +127,9 @@ define void @exact3(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact3 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [>]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -160,8 +164,9 @@ define void @exact4(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact4 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [>]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -196,8 +201,9 @@ define void @exact5(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact5 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=>|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -232,8 +238,9 @@ define void @exact6(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact6 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=>|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -268,8 +275,9 @@ define void @exact7(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact7 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [*|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -304,6 +312,7 @@ define void @exact8(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact8 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -340,8 +349,9 @@ define void @exact9(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact9 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [>]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -376,8 +386,9 @@ define void @exact10(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact10 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [>]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -412,8 +423,9 @@ define void @exact11(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact11 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=>|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -448,8 +460,9 @@ define void @exact12(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact12 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=>|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -484,8 +497,9 @@ define void @exact13(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body +; CHECK-LABEL: exact13 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [*|<]! +; CHECK: da analyze - flow [<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! diff --git a/llvm/test/Analysis/DependenceAnalysis/GCD.ll b/llvm/test/Analysis/DependenceAnalysis/GCD.ll index f9749d51bb3..1989621e5d4 100644 --- a/llvm/test/Analysis/DependenceAnalysis/GCD.ll +++ b/llvm/test/Analysis/DependenceAnalysis/GCD.ll @@ -1,4 +1,3 @@ -; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s -check-prefix=DELIN ; ModuleID = 'GCD.bc' @@ -15,15 +14,7 @@ define void @gcd0(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: 'Dependence Analysis' for function 'gcd0' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - flow [=> *|<]! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - none! - -; DELIN: 'Dependence Analysis' for function 'gcd0' +; DELIN-LABEL: gcd0 ; DELIN: da analyze - output [* *]! ; DELIN: da analyze - flow [=> *|<]! ; DELIN: da analyze - confused! @@ -76,15 +67,7 @@ define void @gcd1(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: 'Dependence Analysis' for function 'gcd1' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - none! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - none! - -; DELIN: 'Dependence Analysis' for function 'gcd1' +; DELIN-LABEL: gcd1 ; DELIN: da analyze - output [* *]! ; DELIN: da analyze - none! ; DELIN: da analyze - confused! @@ -138,15 +121,7 @@ define void @gcd2(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: 'Dependence Analysis' for function 'gcd2' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - none! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - none! - -; DELIN: 'Dependence Analysis' for function 'gcd2' +; DELIN-LABEL: gcd2 ; DELIN: da analyze - output [* *]! ; DELIN: da analyze - none! ; DELIN: da analyze - confused! @@ -200,15 +175,7 @@ define void @gcd3(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: 'Dependence Analysis' for function 'gcd3' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - flow [<> *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - none! - -; DELIN: 'Dependence Analysis' for function 'gcd3' +; DELIN-LABEL: gcd3 ; DELIN: da analyze - output [* *]! ; DELIN: da analyze - flow [<> *]! ; DELIN: da analyze - confused! @@ -260,15 +227,7 @@ define void @gcd4(i32* %A, i32* %B, i64 %M, i64 %N) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: 'Dependence Analysis' for function 'gcd4' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - none! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - none! - -; DELIN: 'Dependence Analysis' for function 'gcd4' +; DELIN-LABEL: gcd4 ; DELIN: da analyze - none! ; DELIN: da analyze - none! ; DELIN: da analyze - confused! @@ -330,15 +289,7 @@ define void @gcd5(i32* %A, i32* %B, i64 %M, i64 %N) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: 'Dependence Analysis' for function 'gcd5' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - flow [<> *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - none! - -; DELIN: 'Dependence Analysis' for function 'gcd5' +; DELIN-LABEL: gcd5 ; DELIN: da analyze - none! ; DELIN: da analyze - flow [> *]! ; DELIN: da analyze - confused! @@ -401,15 +352,7 @@ entry: %cmp4 = icmp sgt i64 %n, 0 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end12 -; CHECK: 'Dependence Analysis' for function 'gcd6' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - none! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - output [* *]! - -; DELIN: 'Dependence Analysis' for function 'gcd6' +; DELIN-LABEL: gcd6 ; DELIN: da analyze - none! ; DELIN: da analyze - none! ; DELIN: da analyze - confused! @@ -481,15 +424,7 @@ entry: %cmp4 = icmp sgt i32 %n, 0 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end15 -; CHECK: 'Dependence Analysis' for function 'gcd7' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - flow [* *|<]! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - output [* *]! - -; DELIN: 'Dependence Analysis' for function 'gcd7' +; DELIN-LABEL: gcd7 ; DELIN: da analyze - output [* *]! ; DELIN: da analyze - flow [* *|<]! ; DELIN: da analyze - confused! @@ -573,17 +508,9 @@ entry: %cmp4 = icmp sgt i32 %n, 0 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end15 -; CHECK: 'Dependence Analysis' for function 'gcd8' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - none! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - output [* *]! - -; DELIN: 'Dependence Analysis' for function 'gcd8' +; DELIN-LABEL: gcd8 ; DELIN: da analyze - output [* *]! -; DELIN: da analyze - none! +; DELIN: da analyze - flow [* *|<]! ; DELIN: da analyze - confused! ; DELIN: da analyze - input [* *]! ; DELIN: da analyze - confused! @@ -660,15 +587,7 @@ entry: %cmp4 = icmp eq i32 %n, 0 br i1 %cmp4, label %for.end15, label %for.cond1.preheader.preheader -; CHECK: 'Dependence Analysis' for function 'gcd9' -; CHECK: da analyze - output [* *]! -; CHECK: da analyze - flow [* *|<]! -; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *]! -; CHECK: da analyze - confused! -; CHECK: da analyze - output [* *]! - -; DELIN: 'Dependence Analysis' for function 'gcd9' +; DELIN-LABEL: gcd9 ; DELIN: da analyze - output [* *]! ; DELIN: da analyze - flow [* *|<]! ; DELIN: da analyze - confused! diff --git a/llvm/test/Analysis/DependenceAnalysis/Invariant.ll b/llvm/test/Analysis/DependenceAnalysis/Invariant.ll index 9fdb4d9b0c4..486d113c650 100644 --- a/llvm/test/Analysis/DependenceAnalysis/Invariant.ll +++ b/llvm/test/Analysis/DependenceAnalysis/Invariant.ll @@ -1,10 +1,11 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; Test for a bug, which caused an assert when an invalid ; SCEVAddRecExpr is created in addToCoefficient. +; CHECK-LABEL: foo ; CHECK: da analyze - consistent input [S 0]! -; CHECK: da analyze - input [* 0|<]! +; CHECK: da analyze - input [* *|<]! ; CHECK: da analyze - none! define float @foo(float %g, [40 x float]* %rr) nounwind { diff --git a/llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll b/llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll index 6a5e42fbd55..345c9168bbe 100644 --- a/llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll +++ b/llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll @@ -1,4 +1,3 @@ -; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s -check-prefix=DELIN 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-S128" @@ -13,15 +12,11 @@ target triple = "x86_64-apple-macosx10.6.0" ; other subscript. DependenceAnalysis before the fix crashed due to this ; mismatch. define void @i32_subscript([100 x [100 x i32]]* %a, i32* %b) { -; CHECK-LABEL: 'Dependence Analysis' for function 'i32_subscript' ; DELIN-LABEL: 'Dependence Analysis' for function 'i32_subscript' entry: br label %for.body for.body: -; CHECK: da analyze - none! -; CHECK: da analyze - anti [=|<]! -; CHECK: da analyze - none! ; DELIN: da analyze - none! ; DELIN: da analyze - anti [=|<]! ; DELIN: da analyze - none! @@ -55,16 +50,12 @@ target triple = "x86_64-unknown-linux-gnu" ; Function Attrs: nounwind uwtable define void @coupled_miv_type_mismatch(i32 %n) #0 { -; CHECK-LABEL: 'Dependence Analysis' for function 'coupled_miv_type_mismatch' ; DELIN-LABEL: 'Dependence Analysis' for function 'coupled_miv_type_mismatch' entry: br label %for.cond -; CHECK: da analyze - input [0 *]! -; CHECK: da analyze - anti [1 *]! -; CHECK: da analyze - none! -; DELIN: da analyze - input [0 *]! -; DELIN: da analyze - anti [1 *]! +; DELIN: da analyze - input [* *]! +; DELIN: da analyze - anti [* *|<]! ; DELIN: da analyze - none! for.cond: ; preds = %for.inc11, %entry %indvars.iv11 = phi i64 [ %indvars.iv.next12, %for.inc11 ], [ 1, %entry ] diff --git a/llvm/test/Analysis/DependenceAnalysis/Preliminary.ll b/llvm/test/Analysis/DependenceAnalysis/Preliminary.ll index 31bd5712af8..76ab2c10163 100644 --- a/llvm/test/Analysis/DependenceAnalysis/Preliminary.ll +++ b/llvm/test/Analysis/DependenceAnalysis/Preliminary.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; ModuleID = 'Preliminary.bc' 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-S128" @@ -13,6 +13,7 @@ define i32 @p0(i32 %n, i32* %A, i32* %B) nounwind uwtable ssp { entry: store i32 %n, i32* %A, align 4 +; CHECK-LABEL: p0 ; CHECK: da analyze - none! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -31,6 +32,7 @@ define i32 @p1(i32 %n, i32* noalias %A, i32* noalias %B) nounwind uwtable ssp { entry: store i32 %n, i32* %A, align 4 +; CHECK-LABEL: p1 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - none! @@ -54,10 +56,11 @@ entry: %cmp10 = icmp sgt i64 %n, 0 br i1 %cmp10, label %for.cond1.preheader.preheader, label %for.end26 -; CHECK: da analyze - none! -; CHECK: da analyze - flow [-3 -2]! +; CHECK-LABEL: p2 +; CHECK: da analyze - output [* * *]! +; CHECK: da analyze - flow [* *|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - none! +; CHECK: da analyze - input [* * *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - output [* * *]! @@ -142,6 +145,7 @@ for.end26: ; preds = %for.end26.loopexit, } +; This ridiculous example is disabled: it does not make sense to keep it. ;; for (long int i = 0; i < n; i++) ;; for (long int j = 0; j < n; j++) ;; for (long int k = 0; k < n; k++) @@ -157,262 +161,262 @@ for.end26: ; preds = %for.end26.loopexit, ;; A[i - 3] [j] [2] [k-1] [2*l + 1] [m] [p + q] [r + s] = i; ;; *B++ = A[i + 3] [2] [u] [1-k] [3*l - 1] [o] [1 + n] [t + 2]; -define void @p3(i64 %n, [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]]* %A, i64* %B) nounwind uwtable ssp { -entry: - %cmp44 = icmp sgt i64 %n, 0 - br i1 %cmp44, label %for.cond1.preheader.preheader, label %for.end90 - -; CHECK: da analyze - output [0 0 0 0 0 S * * * * S S]! -; CHECK: da analyze - flow [-6 * * => * * * * * * * *] splitable! -; CHECK: da analyze - split level = 3, iteration = 1! -; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0 S 0 0 S 0 S S S S 0 0]! -; CHECK: da analyze - confused! -; CHECK: da analyze - output [* * * * * * * * * * * *]! - -for.cond1.preheader.preheader: ; preds = %entry - br label %for.cond1.preheader - -for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc88 - %B.addr.046 = phi i64* [ %B.addr.1.lcssa, %for.inc88 ], [ %B, %for.cond1.preheader.preheader ] - %i.045 = phi i64 [ %inc89, %for.inc88 ], [ 0, %for.cond1.preheader.preheader ] - %cmp240 = icmp sgt i64 %n, 0 - br i1 %cmp240, label %for.cond4.preheader.preheader, label %for.inc88 - -for.cond4.preheader.preheader: ; preds = %for.cond1.preheader - br label %for.cond4.preheader - -for.cond4.preheader: ; preds = %for.cond4.preheader.preheader, %for.inc85 - %B.addr.142 = phi i64* [ %B.addr.2.lcssa, %for.inc85 ], [ %B.addr.046, %for.cond4.preheader.preheader ] - %j.041 = phi i64 [ %inc86, %for.inc85 ], [ 0, %for.cond4.preheader.preheader ] - %cmp536 = icmp sgt i64 %n, 0 - br i1 %cmp536, label %for.cond7.preheader.preheader, label %for.inc85 - -for.cond7.preheader.preheader: ; preds = %for.cond4.preheader - br label %for.cond7.preheader - -for.cond7.preheader: ; preds = %for.cond7.preheader.preheader, %for.inc82 - %B.addr.238 = phi i64* [ %B.addr.3.lcssa, %for.inc82 ], [ %B.addr.142, %for.cond7.preheader.preheader ] - %k.037 = phi i64 [ %inc83, %for.inc82 ], [ 0, %for.cond7.preheader.preheader ] - %cmp832 = icmp sgt i64 %n, 0 - br i1 %cmp832, label %for.cond10.preheader.preheader, label %for.inc82 - -for.cond10.preheader.preheader: ; preds = %for.cond7.preheader - br label %for.cond10.preheader - -for.cond10.preheader: ; preds = %for.cond10.preheader.preheader, %for.inc79 - %B.addr.334 = phi i64* [ %B.addr.4.lcssa, %for.inc79 ], [ %B.addr.238, %for.cond10.preheader.preheader ] - %l.033 = phi i64 [ %inc80, %for.inc79 ], [ 0, %for.cond10.preheader.preheader ] - %cmp1128 = icmp sgt i64 %n, 0 - br i1 %cmp1128, label %for.cond13.preheader.preheader, label %for.inc79 - -for.cond13.preheader.preheader: ; preds = %for.cond10.preheader - br label %for.cond13.preheader - -for.cond13.preheader: ; preds = %for.cond13.preheader.preheader, %for.inc76 - %B.addr.430 = phi i64* [ %B.addr.5.lcssa, %for.inc76 ], [ %B.addr.334, %for.cond13.preheader.preheader ] - %m.029 = phi i64 [ %inc77, %for.inc76 ], [ 0, %for.cond13.preheader.preheader ] - %cmp1424 = icmp sgt i64 %n, 0 - br i1 %cmp1424, label %for.cond16.preheader.preheader, label %for.inc76 - -for.cond16.preheader.preheader: ; preds = %for.cond13.preheader - br label %for.cond16.preheader - -for.cond16.preheader: ; preds = %for.cond16.preheader.preheader, %for.inc73 - %B.addr.526 = phi i64* [ %B.addr.6.lcssa, %for.inc73 ], [ %B.addr.430, %for.cond16.preheader.preheader ] - %o.025 = phi i64 [ %inc74, %for.inc73 ], [ 0, %for.cond16.preheader.preheader ] - %cmp1720 = icmp sgt i64 %n, 0 - br i1 %cmp1720, label %for.cond19.preheader.preheader, label %for.inc73 - -for.cond19.preheader.preheader: ; preds = %for.cond16.preheader - br label %for.cond19.preheader - -for.cond19.preheader: ; preds = %for.cond19.preheader.preheader, %for.inc70 - %B.addr.622 = phi i64* [ %B.addr.7.lcssa, %for.inc70 ], [ %B.addr.526, %for.cond19.preheader.preheader ] - %p.021 = phi i64 [ %inc71, %for.inc70 ], [ 0, %for.cond19.preheader.preheader ] - %cmp2016 = icmp sgt i64 %n, 0 - br i1 %cmp2016, label %for.cond22.preheader.preheader, label %for.inc70 - -for.cond22.preheader.preheader: ; preds = %for.cond19.preheader - br label %for.cond22.preheader - -for.cond22.preheader: ; preds = %for.cond22.preheader.preheader, %for.inc67 - %B.addr.718 = phi i64* [ %B.addr.8.lcssa, %for.inc67 ], [ %B.addr.622, %for.cond22.preheader.preheader ] - %q.017 = phi i64 [ %inc68, %for.inc67 ], [ 0, %for.cond22.preheader.preheader ] - %cmp2312 = icmp sgt i64 %n, 0 - br i1 %cmp2312, label %for.cond25.preheader.preheader, label %for.inc67 - -for.cond25.preheader.preheader: ; preds = %for.cond22.preheader - br label %for.cond25.preheader - -for.cond25.preheader: ; preds = %for.cond25.preheader.preheader, %for.inc64 - %B.addr.814 = phi i64* [ %B.addr.9.lcssa, %for.inc64 ], [ %B.addr.718, %for.cond25.preheader.preheader ] - %r.013 = phi i64 [ %inc65, %for.inc64 ], [ 0, %for.cond25.preheader.preheader ] - %cmp268 = icmp sgt i64 %n, 0 - br i1 %cmp268, label %for.cond28.preheader.preheader, label %for.inc64 - -for.cond28.preheader.preheader: ; preds = %for.cond25.preheader - br label %for.cond28.preheader - -for.cond28.preheader: ; preds = %for.cond28.preheader.preheader, %for.inc61 - %B.addr.910 = phi i64* [ %B.addr.10.lcssa, %for.inc61 ], [ %B.addr.814, %for.cond28.preheader.preheader ] - %s.09 = phi i64 [ %inc62, %for.inc61 ], [ 0, %for.cond28.preheader.preheader ] - %cmp294 = icmp sgt i64 %n, 0 - br i1 %cmp294, label %for.cond31.preheader.preheader, label %for.inc61 - -for.cond31.preheader.preheader: ; preds = %for.cond28.preheader - br label %for.cond31.preheader - -for.cond31.preheader: ; preds = %for.cond31.preheader.preheader, %for.inc58 - %u.06 = phi i64 [ %inc59, %for.inc58 ], [ 0, %for.cond31.preheader.preheader ] - %B.addr.105 = phi i64* [ %B.addr.11.lcssa, %for.inc58 ], [ %B.addr.910, %for.cond31.preheader.preheader ] - %cmp321 = icmp sgt i64 %n, 0 - br i1 %cmp321, label %for.body33.preheader, label %for.inc58 - -for.body33.preheader: ; preds = %for.cond31.preheader - br label %for.body33 - -for.body33: ; preds = %for.body33.preheader, %for.body33 - %t.03 = phi i64 [ %inc, %for.body33 ], [ 0, %for.body33.preheader ] - %B.addr.112 = phi i64* [ %incdec.ptr, %for.body33 ], [ %B.addr.105, %for.body33.preheader ] - %add = add nsw i64 %r.013, %s.09 - %add34 = add nsw i64 %p.021, %q.017 - %mul = shl nsw i64 %l.033, 1 - %add3547 = or i64 %mul, 1 - %sub = add nsw i64 %k.037, -1 - %sub36 = add nsw i64 %i.045, -3 - %arrayidx43 = getelementptr inbounds [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]], [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]]* %A, i64 %sub36, i64 %j.041, i64 2, i64 %sub, i64 %add3547, i64 %m.029, i64 %add34, i64 %add - store i64 %i.045, i64* %arrayidx43, align 8 - %add44 = add nsw i64 %t.03, 2 - %add45 = add nsw i64 %n, 1 - %mul46 = mul nsw i64 %l.033, 3 - %sub47 = add nsw i64 %mul46, -1 - %sub48 = sub nsw i64 1, %k.037 - %add49 = add nsw i64 %i.045, 3 - %arrayidx57 = getelementptr inbounds [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]], [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]]* %A, i64 %add49, i64 2, i64 %u.06, i64 %sub48, i64 %sub47, i64 %o.025, i64 %add45, i64 %add44 - %0 = load i64, i64* %arrayidx57, align 8 - %incdec.ptr = getelementptr inbounds i64, i64* %B.addr.112, i64 1 - store i64 %0, i64* %B.addr.112, align 8 - %inc = add nsw i64 %t.03, 1 - %exitcond = icmp ne i64 %inc, %n - br i1 %exitcond, label %for.body33, label %for.inc58.loopexit - -for.inc58.loopexit: ; preds = %for.body33 - %scevgep = getelementptr i64, i64* %B.addr.105, i64 %n - br label %for.inc58 - -for.inc58: ; preds = %for.inc58.loopexit, %for.cond31.preheader - %B.addr.11.lcssa = phi i64* [ %B.addr.105, %for.cond31.preheader ], [ %scevgep, %for.inc58.loopexit ] - %inc59 = add nsw i64 %u.06, 1 - %exitcond48 = icmp ne i64 %inc59, %n - br i1 %exitcond48, label %for.cond31.preheader, label %for.inc61.loopexit - -for.inc61.loopexit: ; preds = %for.inc58 - %B.addr.11.lcssa.lcssa = phi i64* [ %B.addr.11.lcssa, %for.inc58 ] - br label %for.inc61 - -for.inc61: ; preds = %for.inc61.loopexit, %for.cond28.preheader - %B.addr.10.lcssa = phi i64* [ %B.addr.910, %for.cond28.preheader ], [ %B.addr.11.lcssa.lcssa, %for.inc61.loopexit ] - %inc62 = add nsw i64 %s.09, 1 - %exitcond49 = icmp ne i64 %inc62, %n - br i1 %exitcond49, label %for.cond28.preheader, label %for.inc64.loopexit - -for.inc64.loopexit: ; preds = %for.inc61 - %B.addr.10.lcssa.lcssa = phi i64* [ %B.addr.10.lcssa, %for.inc61 ] - br label %for.inc64 - -for.inc64: ; preds = %for.inc64.loopexit, %for.cond25.preheader - %B.addr.9.lcssa = phi i64* [ %B.addr.814, %for.cond25.preheader ], [ %B.addr.10.lcssa.lcssa, %for.inc64.loopexit ] - %inc65 = add nsw i64 %r.013, 1 - %exitcond50 = icmp ne i64 %inc65, %n - br i1 %exitcond50, label %for.cond25.preheader, label %for.inc67.loopexit - -for.inc67.loopexit: ; preds = %for.inc64 - %B.addr.9.lcssa.lcssa = phi i64* [ %B.addr.9.lcssa, %for.inc64 ] - br label %for.inc67 - -for.inc67: ; preds = %for.inc67.loopexit, %for.cond22.preheader - %B.addr.8.lcssa = phi i64* [ %B.addr.718, %for.cond22.preheader ], [ %B.addr.9.lcssa.lcssa, %for.inc67.loopexit ] - %inc68 = add nsw i64 %q.017, 1 - %exitcond51 = icmp ne i64 %inc68, %n - br i1 %exitcond51, label %for.cond22.preheader, label %for.inc70.loopexit - -for.inc70.loopexit: ; preds = %for.inc67 - %B.addr.8.lcssa.lcssa = phi i64* [ %B.addr.8.lcssa, %for.inc67 ] - br label %for.inc70 - -for.inc70: ; preds = %for.inc70.loopexit, %for.cond19.preheader - %B.addr.7.lcssa = phi i64* [ %B.addr.622, %for.cond19.preheader ], [ %B.addr.8.lcssa.lcssa, %for.inc70.loopexit ] - %inc71 = add nsw i64 %p.021, 1 - %exitcond52 = icmp ne i64 %inc71, %n - br i1 %exitcond52, label %for.cond19.preheader, label %for.inc73.loopexit - -for.inc73.loopexit: ; preds = %for.inc70 - %B.addr.7.lcssa.lcssa = phi i64* [ %B.addr.7.lcssa, %for.inc70 ] - br label %for.inc73 - -for.inc73: ; preds = %for.inc73.loopexit, %for.cond16.preheader - %B.addr.6.lcssa = phi i64* [ %B.addr.526, %for.cond16.preheader ], [ %B.addr.7.lcssa.lcssa, %for.inc73.loopexit ] - %inc74 = add nsw i64 %o.025, 1 - %exitcond53 = icmp ne i64 %inc74, %n - br i1 %exitcond53, label %for.cond16.preheader, label %for.inc76.loopexit - -for.inc76.loopexit: ; preds = %for.inc73 - %B.addr.6.lcssa.lcssa = phi i64* [ %B.addr.6.lcssa, %for.inc73 ] - br label %for.inc76 - -for.inc76: ; preds = %for.inc76.loopexit, %for.cond13.preheader - %B.addr.5.lcssa = phi i64* [ %B.addr.430, %for.cond13.preheader ], [ %B.addr.6.lcssa.lcssa, %for.inc76.loopexit ] - %inc77 = add nsw i64 %m.029, 1 - %exitcond54 = icmp ne i64 %inc77, %n - br i1 %exitcond54, label %for.cond13.preheader, label %for.inc79.loopexit - -for.inc79.loopexit: ; preds = %for.inc76 - %B.addr.5.lcssa.lcssa = phi i64* [ %B.addr.5.lcssa, %for.inc76 ] - br label %for.inc79 - -for.inc79: ; preds = %for.inc79.loopexit, %for.cond10.preheader - %B.addr.4.lcssa = phi i64* [ %B.addr.334, %for.cond10.preheader ], [ %B.addr.5.lcssa.lcssa, %for.inc79.loopexit ] - %inc80 = add nsw i64 %l.033, 1 - %exitcond55 = icmp ne i64 %inc80, %n - br i1 %exitcond55, label %for.cond10.preheader, label %for.inc82.loopexit - -for.inc82.loopexit: ; preds = %for.inc79 - %B.addr.4.lcssa.lcssa = phi i64* [ %B.addr.4.lcssa, %for.inc79 ] - br label %for.inc82 - -for.inc82: ; preds = %for.inc82.loopexit, %for.cond7.preheader - %B.addr.3.lcssa = phi i64* [ %B.addr.238, %for.cond7.preheader ], [ %B.addr.4.lcssa.lcssa, %for.inc82.loopexit ] - %inc83 = add nsw i64 %k.037, 1 - %exitcond56 = icmp ne i64 %inc83, %n - br i1 %exitcond56, label %for.cond7.preheader, label %for.inc85.loopexit - -for.inc85.loopexit: ; preds = %for.inc82 - %B.addr.3.lcssa.lcssa = phi i64* [ %B.addr.3.lcssa, %for.inc82 ] - br label %for.inc85 - -for.inc85: ; preds = %for.inc85.loopexit, %for.cond4.preheader - %B.addr.2.lcssa = phi i64* [ %B.addr.142, %for.cond4.preheader ], [ %B.addr.3.lcssa.lcssa, %for.inc85.loopexit ] - %inc86 = add nsw i64 %j.041, 1 - %exitcond57 = icmp ne i64 %inc86, %n - br i1 %exitcond57, label %for.cond4.preheader, label %for.inc88.loopexit - -for.inc88.loopexit: ; preds = %for.inc85 - %B.addr.2.lcssa.lcssa = phi i64* [ %B.addr.2.lcssa, %for.inc85 ] - br label %for.inc88 - -for.inc88: ; preds = %for.inc88.loopexit, %for.cond1.preheader - %B.addr.1.lcssa = phi i64* [ %B.addr.046, %for.cond1.preheader ], [ %B.addr.2.lcssa.lcssa, %for.inc88.loopexit ] - %inc89 = add nsw i64 %i.045, 1 - %exitcond58 = icmp ne i64 %inc89, %n - br i1 %exitcond58, label %for.cond1.preheader, label %for.end90.loopexit - -for.end90.loopexit: ; preds = %for.inc88 - br label %for.end90 - -for.end90: ; preds = %for.end90.loopexit, %entry - ret void -} +;define void @p3(i64 %n, [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]]* %A, i64* %B) nounwind uwtable ssp { +;entry: +; %cmp44 = icmp sgt i64 %n, 0 +; br i1 %cmp44, label %for.cond1.preheader.preheader, label %for.end90 +; +;; DONT-CHECK-LABEL: p3 +;; DONT-CHECK: da analyze - output [* * * * * S * * * * S S]! +;; DONT-CHECK: da analyze - flow [* * * * * * * * * * * *|<]! +;; DONT-CHECK: da analyze - confused! +;; DONT-CHECK: da analyze - input [* S * * S * S S S S * *]! +;; DONT-CHECK: da analyze - confused! +;; DONT-CHECK: da analyze - output [* * * * * * * * * * * *]! +; +;for.cond1.preheader.preheader: ; preds = %entry +; br label %for.cond1.preheader +; +;for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc88 +; %B.addr.046 = phi i64* [ %B.addr.1.lcssa, %for.inc88 ], [ %B, %for.cond1.preheader.preheader ] +; %i.045 = phi i64 [ %inc89, %for.inc88 ], [ 0, %for.cond1.preheader.preheader ] +; %cmp240 = icmp sgt i64 %n, 0 +; br i1 %cmp240, label %for.cond4.preheader.preheader, label %for.inc88 +; +;for.cond4.preheader.preheader: ; preds = %for.cond1.preheader +; br label %for.cond4.preheader +; +;for.cond4.preheader: ; preds = %for.cond4.preheader.preheader, %for.inc85 +; %B.addr.142 = phi i64* [ %B.addr.2.lcssa, %for.inc85 ], [ %B.addr.046, %for.cond4.preheader.preheader ] +; %j.041 = phi i64 [ %inc86, %for.inc85 ], [ 0, %for.cond4.preheader.preheader ] +; %cmp536 = icmp sgt i64 %n, 0 +; br i1 %cmp536, label %for.cond7.preheader.preheader, label %for.inc85 +; +;for.cond7.preheader.preheader: ; preds = %for.cond4.preheader +; br label %for.cond7.preheader +; +;for.cond7.preheader: ; preds = %for.cond7.preheader.preheader, %for.inc82 +; %B.addr.238 = phi i64* [ %B.addr.3.lcssa, %for.inc82 ], [ %B.addr.142, %for.cond7.preheader.preheader ] +; %k.037 = phi i64 [ %inc83, %for.inc82 ], [ 0, %for.cond7.preheader.preheader ] +; %cmp832 = icmp sgt i64 %n, 0 +; br i1 %cmp832, label %for.cond10.preheader.preheader, label %for.inc82 +; +;for.cond10.preheader.preheader: ; preds = %for.cond7.preheader +; br label %for.cond10.preheader +; +;for.cond10.preheader: ; preds = %for.cond10.preheader.preheader, %for.inc79 +; %B.addr.334 = phi i64* [ %B.addr.4.lcssa, %for.inc79 ], [ %B.addr.238, %for.cond10.preheader.preheader ] +; %l.033 = phi i64 [ %inc80, %for.inc79 ], [ 0, %for.cond10.preheader.preheader ] +; %cmp1128 = icmp sgt i64 %n, 0 +; br i1 %cmp1128, label %for.cond13.preheader.preheader, label %for.inc79 +; +;for.cond13.preheader.preheader: ; preds = %for.cond10.preheader +; br label %for.cond13.preheader +; +;for.cond13.preheader: ; preds = %for.cond13.preheader.preheader, %for.inc76 +; %B.addr.430 = phi i64* [ %B.addr.5.lcssa, %for.inc76 ], [ %B.addr.334, %for.cond13.preheader.preheader ] +; %m.029 = phi i64 [ %inc77, %for.inc76 ], [ 0, %for.cond13.preheader.preheader ] +; %cmp1424 = icmp sgt i64 %n, 0 +; br i1 %cmp1424, label %for.cond16.preheader.preheader, label %for.inc76 +; +;for.cond16.preheader.preheader: ; preds = %for.cond13.preheader +; br label %for.cond16.preheader +; +;for.cond16.preheader: ; preds = %for.cond16.preheader.preheader, %for.inc73 +; %B.addr.526 = phi i64* [ %B.addr.6.lcssa, %for.inc73 ], [ %B.addr.430, %for.cond16.preheader.preheader ] +; %o.025 = phi i64 [ %inc74, %for.inc73 ], [ 0, %for.cond16.preheader.preheader ] +; %cmp1720 = icmp sgt i64 %n, 0 +; br i1 %cmp1720, label %for.cond19.preheader.preheader, label %for.inc73 +; +;for.cond19.preheader.preheader: ; preds = %for.cond16.preheader +; br label %for.cond19.preheader +; +;for.cond19.preheader: ; preds = %for.cond19.preheader.preheader, %for.inc70 +; %B.addr.622 = phi i64* [ %B.addr.7.lcssa, %for.inc70 ], [ %B.addr.526, %for.cond19.preheader.preheader ] +; %p.021 = phi i64 [ %inc71, %for.inc70 ], [ 0, %for.cond19.preheader.preheader ] +; %cmp2016 = icmp sgt i64 %n, 0 +; br i1 %cmp2016, label %for.cond22.preheader.preheader, label %for.inc70 +; +;for.cond22.preheader.preheader: ; preds = %for.cond19.preheader +; br label %for.cond22.preheader +; +;for.cond22.preheader: ; preds = %for.cond22.preheader.preheader, %for.inc67 +; %B.addr.718 = phi i64* [ %B.addr.8.lcssa, %for.inc67 ], [ %B.addr.622, %for.cond22.preheader.preheader ] +; %q.017 = phi i64 [ %inc68, %for.inc67 ], [ 0, %for.cond22.preheader.preheader ] +; %cmp2312 = icmp sgt i64 %n, 0 +; br i1 %cmp2312, label %for.cond25.preheader.preheader, label %for.inc67 +; +;for.cond25.preheader.preheader: ; preds = %for.cond22.preheader +; br label %for.cond25.preheader +; +;for.cond25.preheader: ; preds = %for.cond25.preheader.preheader, %for.inc64 +; %B.addr.814 = phi i64* [ %B.addr.9.lcssa, %for.inc64 ], [ %B.addr.718, %for.cond25.preheader.preheader ] +; %r.013 = phi i64 [ %inc65, %for.inc64 ], [ 0, %for.cond25.preheader.preheader ] +; %cmp268 = icmp sgt i64 %n, 0 +; br i1 %cmp268, label %for.cond28.preheader.preheader, label %for.inc64 +; +;for.cond28.preheader.preheader: ; preds = %for.cond25.preheader +; br label %for.cond28.preheader +; +;for.cond28.preheader: ; preds = %for.cond28.preheader.preheader, %for.inc61 +; %B.addr.910 = phi i64* [ %B.addr.10.lcssa, %for.inc61 ], [ %B.addr.814, %for.cond28.preheader.preheader ] +; %s.09 = phi i64 [ %inc62, %for.inc61 ], [ 0, %for.cond28.preheader.preheader ] +; %cmp294 = icmp sgt i64 %n, 0 +; br i1 %cmp294, label %for.cond31.preheader.preheader, label %for.inc61 +; +;for.cond31.preheader.preheader: ; preds = %for.cond28.preheader +; br label %for.cond31.preheader +; +;for.cond31.preheader: ; preds = %for.cond31.preheader.preheader, %for.inc58 +; %u.06 = phi i64 [ %inc59, %for.inc58 ], [ 0, %for.cond31.preheader.preheader ] +; %B.addr.105 = phi i64* [ %B.addr.11.lcssa, %for.inc58 ], [ %B.addr.910, %for.cond31.preheader.preheader ] +; %cmp321 = icmp sgt i64 %n, 0 +; br i1 %cmp321, label %for.body33.preheader, label %for.inc58 +; +;for.body33.preheader: ; preds = %for.cond31.preheader +; br label %for.body33 +; +;for.body33: ; preds = %for.body33.preheader, %for.body33 +; %t.03 = phi i64 [ %inc, %for.body33 ], [ 0, %for.body33.preheader ] +; %B.addr.112 = phi i64* [ %incdec.ptr, %for.body33 ], [ %B.addr.105, %for.body33.preheader ] +; %add = add nsw i64 %r.013, %s.09 +; %add34 = add nsw i64 %p.021, %q.017 +; %mul = shl nsw i64 %l.033, 1 +; %add3547 = or i64 %mul, 1 +; %sub = add nsw i64 %k.037, -1 +; %sub36 = add nsw i64 %i.045, -3 +; %arrayidx43 = getelementptr inbounds [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]], [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]]* %A, i64 %sub36, i64 %j.041, i64 2, i64 %sub, i64 %add3547, i64 %m.029, i64 %add34, i64 %add +; store i64 %i.045, i64* %arrayidx43, align 8 +; %add44 = add nsw i64 %t.03, 2 +; %add45 = add nsw i64 %n, 1 +; %mul46 = mul nsw i64 %l.033, 3 +; %sub47 = add nsw i64 %mul46, -1 +; %sub48 = sub nsw i64 1, %k.037 +; %add49 = add nsw i64 %i.045, 3 +; %arrayidx57 = getelementptr inbounds [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]], [100 x [100 x [100 x [100 x [100 x [100 x [100 x i64]]]]]]]* %A, i64 %add49, i64 2, i64 %u.06, i64 %sub48, i64 %sub47, i64 %o.025, i64 %add45, i64 %add44 +; %0 = load i64, i64* %arrayidx57, align 8 +; %incdec.ptr = getelementptr inbounds i64, i64* %B.addr.112, i64 1 +; store i64 %0, i64* %B.addr.112, align 8 +; %inc = add nsw i64 %t.03, 1 +; %exitcond = icmp ne i64 %inc, %n +; br i1 %exitcond, label %for.body33, label %for.inc58.loopexit +; +;for.inc58.loopexit: ; preds = %for.body33 +; %scevgep = getelementptr i64, i64* %B.addr.105, i64 %n +; br label %for.inc58 +; +;for.inc58: ; preds = %for.inc58.loopexit, %for.cond31.preheader +; %B.addr.11.lcssa = phi i64* [ %B.addr.105, %for.cond31.preheader ], [ %scevgep, %for.inc58.loopexit ] +; %inc59 = add nsw i64 %u.06, 1 +; %exitcond48 = icmp ne i64 %inc59, %n +; br i1 %exitcond48, label %for.cond31.preheader, label %for.inc61.loopexit +; +;for.inc61.loopexit: ; preds = %for.inc58 +; %B.addr.11.lcssa.lcssa = phi i64* [ %B.addr.11.lcssa, %for.inc58 ] +; br label %for.inc61 +; +;for.inc61: ; preds = %for.inc61.loopexit, %for.cond28.preheader +; %B.addr.10.lcssa = phi i64* [ %B.addr.910, %for.cond28.preheader ], [ %B.addr.11.lcssa.lcssa, %for.inc61.loopexit ] +; %inc62 = add nsw i64 %s.09, 1 +; %exitcond49 = icmp ne i64 %inc62, %n +; br i1 %exitcond49, label %for.cond28.preheader, label %for.inc64.loopexit +; +;for.inc64.loopexit: ; preds = %for.inc61 +; %B.addr.10.lcssa.lcssa = phi i64* [ %B.addr.10.lcssa, %for.inc61 ] +; br label %for.inc64 +; +;for.inc64: ; preds = %for.inc64.loopexit, %for.cond25.preheader +; %B.addr.9.lcssa = phi i64* [ %B.addr.814, %for.cond25.preheader ], [ %B.addr.10.lcssa.lcssa, %for.inc64.loopexit ] +; %inc65 = add nsw i64 %r.013, 1 +; %exitcond50 = icmp ne i64 %inc65, %n +; br i1 %exitcond50, label %for.cond25.preheader, label %for.inc67.loopexit +; +;for.inc67.loopexit: ; preds = %for.inc64 +; %B.addr.9.lcssa.lcssa = phi i64* [ %B.addr.9.lcssa, %for.inc64 ] +; br label %for.inc67 +; +;for.inc67: ; preds = %for.inc67.loopexit, %for.cond22.preheader +; %B.addr.8.lcssa = phi i64* [ %B.addr.718, %for.cond22.preheader ], [ %B.addr.9.lcssa.lcssa, %for.inc67.loopexit ] +; %inc68 = add nsw i64 %q.017, 1 +; %exitcond51 = icmp ne i64 %inc68, %n +; br i1 %exitcond51, label %for.cond22.preheader, label %for.inc70.loopexit +; +;for.inc70.loopexit: ; preds = %for.inc67 +; %B.addr.8.lcssa.lcssa = phi i64* [ %B.addr.8.lcssa, %for.inc67 ] +; br label %for.inc70 +; +;for.inc70: ; preds = %for.inc70.loopexit, %for.cond19.preheader +; %B.addr.7.lcssa = phi i64* [ %B.addr.622, %for.cond19.preheader ], [ %B.addr.8.lcssa.lcssa, %for.inc70.loopexit ] +; %inc71 = add nsw i64 %p.021, 1 +; %exitcond52 = icmp ne i64 %inc71, %n +; br i1 %exitcond52, label %for.cond19.preheader, label %for.inc73.loopexit +; +;for.inc73.loopexit: ; preds = %for.inc70 +; %B.addr.7.lcssa.lcssa = phi i64* [ %B.addr.7.lcssa, %for.inc70 ] +; br label %for.inc73 +; +;for.inc73: ; preds = %for.inc73.loopexit, %for.cond16.preheader +; %B.addr.6.lcssa = phi i64* [ %B.addr.526, %for.cond16.preheader ], [ %B.addr.7.lcssa.lcssa, %for.inc73.loopexit ] +; %inc74 = add nsw i64 %o.025, 1 +; %exitcond53 = icmp ne i64 %inc74, %n +; br i1 %exitcond53, label %for.cond16.preheader, label %for.inc76.loopexit +; +;for.inc76.loopexit: ; preds = %for.inc73 +; %B.addr.6.lcssa.lcssa = phi i64* [ %B.addr.6.lcssa, %for.inc73 ] +; br label %for.inc76 +; +;for.inc76: ; preds = %for.inc76.loopexit, %for.cond13.preheader +; %B.addr.5.lcssa = phi i64* [ %B.addr.430, %for.cond13.preheader ], [ %B.addr.6.lcssa.lcssa, %for.inc76.loopexit ] +; %inc77 = add nsw i64 %m.029, 1 +; %exitcond54 = icmp ne i64 %inc77, %n +; br i1 %exitcond54, label %for.cond13.preheader, label %for.inc79.loopexit +; +;for.inc79.loopexit: ; preds = %for.inc76 +; %B.addr.5.lcssa.lcssa = phi i64* [ %B.addr.5.lcssa, %for.inc76 ] +; br label %for.inc79 +; +;for.inc79: ; preds = %for.inc79.loopexit, %for.cond10.preheader +; %B.addr.4.lcssa = phi i64* [ %B.addr.334, %for.cond10.preheader ], [ %B.addr.5.lcssa.lcssa, %for.inc79.loopexit ] +; %inc80 = add nsw i64 %l.033, 1 +; %exitcond55 = icmp ne i64 %inc80, %n +; br i1 %exitcond55, label %for.cond10.preheader, label %for.inc82.loopexit +; +;for.inc82.loopexit: ; preds = %for.inc79 +; %B.addr.4.lcssa.lcssa = phi i64* [ %B.addr.4.lcssa, %for.inc79 ] +; br label %for.inc82 +; +;for.inc82: ; preds = %for.inc82.loopexit, %for.cond7.preheader +; %B.addr.3.lcssa = phi i64* [ %B.addr.238, %for.cond7.preheader ], [ %B.addr.4.lcssa.lcssa, %for.inc82.loopexit ] +; %inc83 = add nsw i64 %k.037, 1 +; %exitcond56 = icmp ne i64 %inc83, %n +; br i1 %exitcond56, label %for.cond7.preheader, label %for.inc85.loopexit +; +;for.inc85.loopexit: ; preds = %for.inc82 +; %B.addr.3.lcssa.lcssa = phi i64* [ %B.addr.3.lcssa, %for.inc82 ] +; br label %for.inc85 +; +;for.inc85: ; preds = %for.inc85.loopexit, %for.cond4.preheader +; %B.addr.2.lcssa = phi i64* [ %B.addr.142, %for.cond4.preheader ], [ %B.addr.3.lcssa.lcssa, %for.inc85.loopexit ] +; %inc86 = add nsw i64 %j.041, 1 +; %exitcond57 = icmp ne i64 %inc86, %n +; br i1 %exitcond57, label %for.cond4.preheader, label %for.inc88.loopexit +; +;for.inc88.loopexit: ; preds = %for.inc85 +; %B.addr.2.lcssa.lcssa = phi i64* [ %B.addr.2.lcssa, %for.inc85 ] +; br label %for.inc88 +; +;for.inc88: ; preds = %for.inc88.loopexit, %for.cond1.preheader +; %B.addr.1.lcssa = phi i64* [ %B.addr.046, %for.cond1.preheader ], [ %B.addr.2.lcssa.lcssa, %for.inc88.loopexit ] +; %inc89 = add nsw i64 %i.045, 1 +; %exitcond58 = icmp ne i64 %inc89, %n +; br i1 %exitcond58, label %for.cond1.preheader, label %for.end90.loopexit +; +;for.end90.loopexit: ; preds = %for.inc88 +; br label %for.end90 +; +;for.end90: ; preds = %for.end90.loopexit, %entry +; ret void +;} ;;void p4(int *A, int *B, long int n) { @@ -425,10 +429,11 @@ entry: %cmp1 = icmp sgt i64 %n, 0 br i1 %cmp1, label %for.body.preheader, label %for.end +; CHECK-LABEL: p4 ; CHECK: da analyze - output [*]! ; CHECK: da analyze - flow [*|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - none! +; CHECK: da analyze - input [*]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -471,10 +476,11 @@ entry: %cmp1 = icmp sgt i64 %n, 0 br i1 %cmp1, label %for.body.preheader, label %for.end +; CHECK-LABEL: p5 ; CHECK: da analyze - output [*]! ; CHECK: da analyze - flow [*|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - none! +; CHECK: da analyze - input [*]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -517,6 +523,7 @@ entry: %cmp1 = icmp sgt i64 %n, 0 br i1 %cmp1, label %for.body.preheader, label %for.end +; CHECK-LABEL: p6 ; CHECK: da analyze - none! ; CHECK: da analyze - consistent flow [2]! ; CHECK: da analyze - confused! @@ -559,6 +566,7 @@ entry: %idxprom = sext i8 %n to i64 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom +; CHECK-LABEL: p7 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -586,6 +594,7 @@ entry: %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom store i32 0, i32* %arrayidx, align 4 +; CHECK-LABEL: p8 ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -612,8 +621,9 @@ entry: %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom store i32 0, i32* %arrayidx, align 4 +; CHECK-LABEL: p9 ; CHECK: da analyze - none! -; CHECK: da analyze - none! +; CHECK: da analyze - flow [|<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -638,8 +648,9 @@ entry: %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom store i32 0, i32* %arrayidx, align 4 +; CHECK-LABEL: p10 ; CHECK: da analyze - none! -; CHECK: da analyze - none! +; CHECK: da analyze - flow [|<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -664,7 +675,7 @@ entry: %struct.S = type { i32 } -define void @f(%struct.S* %s, i32 %size) nounwind uwtable ssp { +define void @foo(%struct.S* %s, i32 %size) nounwind uwtable ssp { entry: %idx.ext = zext i32 %size to i64 %add.ptr.sum = add i64 %idx.ext, -1 @@ -672,6 +683,7 @@ entry: %cmp1 = icmp eq i64 %add.ptr.sum, 0 br i1 %cmp1, label %while.end, label %while.body.preheader +; CHECK-LABEL: foo ; CHECK: da analyze - none! ; CHECK: da analyze - consistent anti [1]! ; CHECK: da analyze - none! diff --git a/llvm/test/Analysis/DependenceAnalysis/Propagating.ll b/llvm/test/Analysis/DependenceAnalysis/Propagating.ll index 5a97b992926..5d97bd41bb4 100644 --- a/llvm/test/Analysis/DependenceAnalysis/Propagating.ll +++ b/llvm/test/Analysis/DependenceAnalysis/Propagating.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; ModuleID = 'Propagating.bc' 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-S128" @@ -14,8 +14,9 @@ define void @prop0([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK-LABEL: prop0 ; CHECK: da analyze - none! -; CHECK: da analyze - consistent flow [1 -1]! +; CHECK: da analyze - flow [< >]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -64,10 +65,11 @@ define void @prop1([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ss entry: br label %for.cond1.preheader -; CHECK: da analyze - none! -; CHECK: da analyze - consistent flow [1 1 -1]! +; CHECK-LABEL: prop1 +; CHECK: da analyze - output [* * *]! +; CHECK: da analyze - flow [<> <> *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - none! +; CHECK: da analyze - input [* * *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -126,8 +128,9 @@ define void @prop2([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK-LABEL: prop2 ; CHECK: da analyze - consistent output [0 S]! -; CHECK: da analyze - none! +; CHECK: da analyze - flow [> *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -176,10 +179,11 @@ define void @prop3([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - none! -; CHECK: da analyze - none! +; CHECK-LABEL: prop3 +; CHECK: da analyze - output [* *]! +; CHECK: da analyze - flow [<> *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - none! +; CHECK: da analyze - input [* *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -227,8 +231,9 @@ define void @prop4([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK-LABEL: prop4 ; CHECK: da analyze - none! -; CHECK: da analyze - consistent flow [2 -3]! +; CHECK: da analyze - flow [< <>]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -279,9 +284,9 @@ define void @prop5([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ss entry: br label %for.cond1.preheader +; CHECK-LABEL: prop5 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [< -16] splitable! -; CHECK: da analyze - split level = 1, iteration = 11! +; CHECK: da analyze - flow [* *|<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -333,8 +338,9 @@ define void @prop6([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK-LABEL: prop6 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [=> -2]! +; CHECK: da analyze - flow [=> <>]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -386,9 +392,9 @@ define void @prop7([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK-LABEL: prop7 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [* -38] splitable! -; CHECK: da analyze - split level = 1, iteration = 4! +; CHECK: da analyze - flow [* <>]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -442,8 +448,9 @@ define void @prop8([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK-LABEL: prop8 ; CHECK: da analyze - consistent output [S 0]! -; CHECK: da analyze - flow [p<= 2]! +; CHECK: da analyze - flow [=> <]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -493,8 +500,9 @@ define void @prop9([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK-LABEL: prop9 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [p<= 2]! +; CHECK: da analyze - flow [<= <]! ; CHECK: da analyze - confused! ; CHECK: da analyze - consistent input [S 0]! ; CHECK: da analyze - confused! diff --git a/llvm/test/Analysis/DependenceAnalysis/Separability.ll b/llvm/test/Analysis/DependenceAnalysis/Separability.ll index e56e741295b..633578a2aff 100644 --- a/llvm/test/Analysis/DependenceAnalysis/Separability.ll +++ b/llvm/test/Analysis/DependenceAnalysis/Separability.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; ModuleID = 'Separability.bc' 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-S128" @@ -16,10 +16,10 @@ define void @sep0([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp entry: br label %for.cond1.preheader -; CHECK: da analyze - output [0 * * S]! -; CHECK: da analyze - flow [-10 * * *]! +; CHECK: da analyze - output [= * * S]! +; CHECK: da analyze - flow [* * * *|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * S *]! +; CHECK: da analyze - input [* * S *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -91,10 +91,10 @@ define void @sep1([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp entry: br label %for.cond1.preheader -; CHECK: da analyze - output [0 * * S]! -; CHECK: da analyze - flow [> * * *]! +; CHECK: da analyze - output [= * * S]! +; CHECK: da analyze - flow [* * * *|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * S *]! +; CHECK: da analyze - input [* * S *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -165,10 +165,10 @@ define void @sep2([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwt entry: br label %for.cond1.preheader -; CHECK: da analyze - consistent output [0 S 0 0]! -; CHECK: da analyze - flow [> * * -10]! +; CHECK: da analyze - output [= S = =]! +; CHECK: da analyze - flow [* * * <>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * * 0]! +; CHECK: da analyze - input [= * * *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! @@ -239,10 +239,10 @@ define void @sep3([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwt entry: br label %for.cond1.preheader -; CHECK: da analyze - consistent output [0 S 0 0]! -; CHECK: da analyze - flow [> * * *]! +; CHECK: da analyze - output [= S = =]! +; CHECK: da analyze - flow [* * * *|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * * 0]! +; CHECK: da analyze - input [= * * *]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! diff --git a/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll b/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll index 78befa5e470..ee8815ab36f 100644 --- a/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll +++ b/llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; ModuleID = 'StrongSIV.bc' 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-S128" @@ -328,7 +328,7 @@ entry: br label %for.body ; CHECK: da analyze - none! -; CHECK: da analyze - consistent flow [%n|<]! +; CHECK: da analyze - flow [*|<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! diff --git a/llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll b/llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll index 711d0fabf87..7222199343d 100644 --- a/llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll +++ b/llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da | FileCheck %s +; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s ; ModuleID = 'SymbolicSIV.bc' 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-S128" @@ -291,7 +291,7 @@ entry: ; CHECK: da analyze - none! ; CHECK: da analyze - flow [*|<] splitable! -; CHECK: da analyze - split level = 1, iteration = ((0 smax (-1 + (-1 * %n))) /u 2)! +; CHECK: da analyze - split level = 1, iteration = ((0 smax (-4 + (-4 * %n))) /u 8)! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -334,8 +334,9 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader +; CHECK-LABEL: symbolicsiv6 ; CHECK: da analyze - none! -; CHECK: da analyze - none! +; CHECK: da analyze - flow [0|<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -382,9 +383,9 @@ define void @symbolicsiv7(i32* %A, i32* %B, i64 %n, i64 %N, i64 %M) nounwind uwt entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader - +; CHECK-LABEL: symbolicsiv7 ; CHECK: da analyze - none! -; CHECK: da analyze - flow [<>]! +; CHECK: da analyze - flow [0|<]! ; CHECK: da analyze - confused! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! |
