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 | cd6df16cb4c6dd65d1b4b20b8b18a2378a584d52 (patch) | |
| tree | 535f2dcf4228567688f8008bef1c5e9cd4d2de1b /llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll | |
| parent | 582911a08931782ea6eb863ff2e43d6f8c236dbb (diff) | |
| download | bcm5719-llvm-cd6df16cb4c6dd65d1b4b20b8b18a2378a584d52.tar.gz bcm5719-llvm-cd6df16cb4c6dd65d1b4b20b8b18a2378a584d52.zip | |
FileCheck-ize these tests. Harden some of them.
llvm-svn: 155432
Diffstat (limited to 'llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll')
| -rw-r--r-- | llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll b/llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll index 5d200774da5..78f74a0abe5 100644 --- a/llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll +++ b/llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll @@ -1,15 +1,14 @@ -; RUN: opt < %s -basicaa -gvn -instcombine -S | grep sub +; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s ; BasicAA was incorrectly concluding that P1 and P2 didn't conflict! define i32 @test(i32 *%Ptr, i64 %V) { - %P2 = getelementptr i32* %Ptr, i64 1 - %P1 = getelementptr i32* %Ptr, i64 %V - %X = load i32* %P1 - store i32 5, i32* %P2 - - %Y = load i32* %P1 - - %Z = sub i32 %X, %Y - ret i32 %Z +; CHECK: sub i32 %X, %Y + %P2 = getelementptr i32* %Ptr, i64 1 + %P1 = getelementptr i32* %Ptr, i64 %V + %X = load i32* %P1 + store i32 5, i32* %P2 + %Y = load i32* %P1 + %Z = sub i32 %X, %Y + ret i32 %Z } |
