From 430b6eb4191579651c630ef2922db22578df9710 Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Tue, 12 Nov 2013 22:47:30 +0000 Subject: improve dependence analysis testcases print the name of the function on which the dependence analysis is performed such that changes to the testcase are easier to review. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194528 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/DependenceAnalysis/Banerjee.ll | 14 +++++++++++++- test/Analysis/DependenceAnalysis/GCD.ll | 10 ++++++++++ test/Analysis/DependenceAnalysis/SymbolicRDIV.ll | 7 +++++++ 3 files changed, 30 insertions(+), 1 deletion(-) (limited to 'test/Analysis') diff --git a/test/Analysis/DependenceAnalysis/Banerjee.ll b/test/Analysis/DependenceAnalysis/Banerjee.ll index 003ee03ab0..09e8fd29dc 100644 --- a/test/Analysis/DependenceAnalysis/Banerjee.ll +++ b/test/Analysis/DependenceAnalysis/Banerjee.ll @@ -13,7 +13,7 @@ target triple = "x86_64-apple-macosx10.6.0" define void @banerjee0(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader - +; CHECK: 'Dependence Analysis' for function 'banerjee0': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [<= <>]! ; CHECK: da analyze - confused! @@ -65,6 +65,7 @@ entry: %cmp4 = icmp sgt i64 %n, 0 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end9 +; CHECK: 'Dependence Analysis' for function 'banerjee1': ; CHECK: da analyze - output [* *]! ; CHECK: da analyze - flow [* <>]! ; CHECK: da analyze - confused! @@ -131,6 +132,7 @@ define void @banerjee2(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee2': ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -181,6 +183,7 @@ define void @banerjee3(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee3': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [> >]! ; CHECK: da analyze - confused! @@ -231,6 +234,7 @@ define void @banerjee4(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee4': ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -281,6 +285,7 @@ define void @banerjee5(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee5': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [< <]! ; CHECK: da analyze - confused! @@ -331,6 +336,7 @@ define void @banerjee6(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee6': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [=> <>]! ; CHECK: da analyze - confused! @@ -381,6 +387,7 @@ define void @banerjee7(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee7': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [> <=]! ; CHECK: da analyze - confused! @@ -431,6 +438,7 @@ define void @banerjee8(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee8': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [> <>]! ; CHECK: da analyze - confused! @@ -481,6 +489,7 @@ define void @banerjee9(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee9': ; CHECK: da analyze - output [* *]! ; CHECK: da analyze - flow [<= =|<]! ; CHECK: da analyze - confused! @@ -532,6 +541,7 @@ define void @banerjee10(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee10': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [<> =]! ; CHECK: da analyze - confused! @@ -582,6 +592,7 @@ define void @banerjee11(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee11': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [<= <>]! ; CHECK: da analyze - confused! @@ -632,6 +643,7 @@ define void @banerjee12(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader +; CHECK: 'Dependence Analysis' for function 'banerjee12': ; CHECK: da analyze - none! ; CHECK: da analyze - flow [= <>]! ; CHECK: da analyze - confused! diff --git a/test/Analysis/DependenceAnalysis/GCD.ll b/test/Analysis/DependenceAnalysis/GCD.ll index a42212464f..bb31d11885 100644 --- a/test/Analysis/DependenceAnalysis/GCD.ll +++ b/test/Analysis/DependenceAnalysis/GCD.ll @@ -14,6 +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! @@ -66,6 +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! @@ -119,6 +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! @@ -172,6 +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! @@ -223,6 +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! @@ -284,6 +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! @@ -346,6 +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! @@ -417,6 +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! @@ -500,6 +508,7 @@ 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! @@ -578,6 +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! diff --git a/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll b/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll index 81e61892d8..5443909d7e 100644 --- a/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll +++ b/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll @@ -15,6 +15,7 @@ entry: %cmp4 = icmp eq i64 %n1, 0 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader +; CHECK: 'Dependence Analysis' for function 'symbolicrdiv0' ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -77,6 +78,7 @@ entry: %cmp4 = icmp eq i64 %n1, 0 br i1 %cmp4, label %for.cond2.preheader, label %for.body.preheader +; CHECK: 'Dependence Analysis' for function 'symbolicrdiv1' ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -141,6 +143,7 @@ entry: %cmp4 = icmp eq i64 %n1, 0 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader +; CHECK: 'Dependence Analysis' for function 'symbolicrdiv2' ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -203,6 +206,7 @@ entry: %cmp4 = icmp eq i64 %n1, 0 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader +; CHECK: 'Dependence Analysis' for function 'symbolicrdiv3' ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -263,6 +267,7 @@ entry: %cmp4 = icmp eq i64 %n1, 0 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader +; CHECK: 'Dependence Analysis' for function 'symbolicrdiv4' ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -324,6 +329,7 @@ entry: %cmp4 = icmp eq i64 %n1, 0 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader +; CHECK: 'Dependence Analysis' for function 'symbolicrdiv5' ; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! @@ -385,6 +391,7 @@ entry: %cmp4 = icmp eq i64 %n1, 0 br i1 %cmp4, label %for.end7, label %for.cond1.preheader.preheader +; CHECK: 'Dependence Analysis' for function 'symbolicrdiv6' ; CHECK: da analyze - output [* *]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -- cgit v1.2.3