OSDN Git Service

change this to test for an alias result more directly.
authorChris Lattner <sabre@nondot.org>
Mon, 16 Mar 2009 18:28:27 +0000 (18:28 +0000)
committerChris Lattner <sabre@nondot.org>
Mon, 16 Mar 2009 18:28:27 +0000 (18:28 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@67046 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll

index 754d7a0..f3891ec 100644 (file)
@@ -1,9 +1,13 @@
-; RUN: llvm-as < %s | opt -aa-eval -basicaa |& grep {0 no alias}
+; RUN: llvm-as < %s | opt -basicaa -gvn | llvm-dis | grep load
 
 declare noalias i32* @noalias()
 
-define void @test(i32 %x) {
+define i32 @test(i32 %x) {
   %a = call i32* @noalias()
+  store i32 1, i32* %a
   %b = getelementptr i32* %a, i32 %x
-  ret void
+  store i32 2, i32* %b
+
+  %c = load i32* %a
+  ret i32 %c
 }