diff options
| author | Bill Wendling <isanbard@gmail.com> | 2013-08-05 23:43:18 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2013-08-05 23:43:18 +0000 |
| commit | ac838d1c1443a19f693afadb19c8c6eeaa5d4b9b (patch) | |
| tree | 5a85b9ae72697498b61e915ed4db6e5da5c70248 /test/Analysis/TypeBasedAliasAnalysis | |
| parent | 51b6fb4469c941b7abd5641716c233fa52fc10ce (diff) | |
FileCheckize some of the testcases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187756 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/TypeBasedAliasAnalysis')
| -rw-r--r-- | test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll b/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll index 3b5211e5999..bb66e3791fc 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll @@ -1,7 +1,9 @@ -; RUN: opt < %s -tbaa -basicaa -argpromotion -mem2reg -S | not grep alloca +; RUN: opt < %s -tbaa -basicaa -argpromotion -mem2reg -S | FileCheck %s target datalayout = "E-p:64:64:64" +; CHECK: test +; CHECK-NOT: alloca define internal i32 @test(i32* %X, i32* %Y, i32* %Q) { store i32 77, i32* %Q, !tbaa !2 %A = load i32* %X, !tbaa !1 @@ -10,6 +12,8 @@ define internal i32 @test(i32* %X, i32* %Y, i32* %Q) { ret i32 %C } +; CHECK: caller +; CHECK-NOT: alloca define internal i32 @caller(i32* %B, i32* %Q) { %A = alloca i32 store i32 78, i32* %Q, !tbaa !2 @@ -18,6 +22,8 @@ define internal i32 @caller(i32* %B, i32* %Q) { ret i32 %C } +; CHECK: callercaller +; CHECK-NOT: alloca define i32 @callercaller(i32* %Q) { %B = alloca i32 store i32 2, i32* %B, !tbaa !1 |