[llvm-commits] CVS: llvm/test/Regression/Transforms/BasicAA/featuretest.ll

[Chris Lattner]

Changes in directory llvm/test/Regression/Transforms/BasicAA:

featuretest.ll updated: 1.2 -> 1.3

---
Log message:

Add a basic-aa test


---
Diffs of the changes:

Index: llvm/test/Regression/Transforms/BasicAA/featuretest.ll
diff -u llvm/test/Regression/Transforms/BasicAA/featuretest.ll:1.2 llvm/test/Regression/Transforms/BasicAA/featuretest.ll:1.3
--- llvm/test/Regression/Transforms/BasicAA/featuretest.ll:1.2	Fri Oct 25 17:29:07 2002
+++ llvm/test/Regression/Transforms/BasicAA/featuretest.ll	Sun Feb  9 13:01:00 2003
@@ -40,3 +40,14 @@
 	ret int %Val
 }
 
+; Test that if two pointers are spaced out by a constant getelementptr, that 
+; they cannot alias.
+int %gep_distance_test(int* %A) {
+        %REMOVEu = load int* %A
+        %B = getelementptr int* %A, long 2  ; Cannot alias A
+        store int 7, int* %B
+        %REMOVEv = load int* %A
+        %r = sub int %REMOVEu, %REMOVEv
+        ret int %r
+}
+