[llvm-commits] [llvm] r67046 - /llvm/trunk/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll

[Chris Lattner]

Author: lattner
Date: Mon Mar 16 13:28:27 2009
New Revision: 67046

URL: http://llvm.org/viewvc/llvm-project?rev=67046&view=rev
Log:
change this to test for an alias result more directly.

Modified:
    llvm/trunk/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll

Modified: llvm/trunk/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll?rev=67046&r1=67045&r2=67046&view=diff

==============================================================================
--- llvm/trunk/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll (original)
+++ llvm/trunk/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll Mon Mar 16 13:28:27 2009
@@ -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
 }