diff options
| author | Bill Wendling <isanbard@gmail.com> | 2012-04-24 09:15:38 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2012-04-24 09:15:38 +0000 |
| commit | d5cc8b81ca5d0a09a1da7f8b094907eb63a582e6 (patch) | |
| tree | 834c1a73d985cf7b4b9a52b83383d0b38494d8a5 /test/Analysis/BasicAA/gcsetest.ll | |
| parent | 3ef43cf3a2d7fd933f9f9b2960df9426b054d32a (diff) | |
| download | external_llvm-d5cc8b81ca5d0a09a1da7f8b094907eb63a582e6.zip external_llvm-d5cc8b81ca5d0a09a1da7f8b094907eb63a582e6.tar.gz external_llvm-d5cc8b81ca5d0a09a1da7f8b094907eb63a582e6.tar.bz2 | |
FileCheck-ize these tests. Harden some of them.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155432 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/BasicAA/gcsetest.ll')
| -rw-r--r-- | test/Analysis/BasicAA/gcsetest.ll | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/test/Analysis/BasicAA/gcsetest.ll b/test/Analysis/BasicAA/gcsetest.ll index a903362..db557b7 100644 --- a/test/Analysis/BasicAA/gcsetest.ll +++ b/test/Analysis/BasicAA/gcsetest.ll @@ -2,12 +2,15 @@ ; disambiguating some obvious cases. All loads should be removable in ; this testcase. -; RUN: opt < %s -basicaa -gvn -instcombine -dce -S \ -; RUN: | not grep load +; RUN: opt < %s -basicaa -gvn -instcombine -dce -S | FileCheck %s @A = global i32 7 @B = global i32 8 +; CHECK: define i32 @test() +; CHECK-NEXT: store i32 123, i32* @B +; CHECK-NEXT: ret i32 0 + define i32 @test() { %A1 = load i32* @A @@ -18,6 +21,14 @@ define i32 @test() { ret i32 %X } +; CHECK: define i32 @test2() +; CHECK-NEXT: br label %Loop +; CHECK: Loop: +; CHECK-NEXT: store i32 0, i32* @B +; CHECK-NEXT: br i1 true, label %out, label %Loop +; CHECK: out: +; CHECK-NEXT: ret i32 0 + define i32 @test2() { %A1 = load i32* @A br label %Loop @@ -36,6 +47,10 @@ out: declare void @external() +; CHECK: define i32 @test3() +; CHECK-NEXT: call void @external() +; CHECK-NEXT: ret i32 7 + define i32 @test3() { %X = alloca i32 store i32 7, i32* %X |