[llvm-commits] CVS: llvm/test/Regression/Transforms/BasicAA/2003-12-11-ConstExprGEP.ll

[Chris Lattner]

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

2003-12-11-ConstExprGEP.ll added (r1.1)

---
Log message:

New testcase for PR86


---
Diffs of the changes:  (+17 -0)

Index: llvm/test/Regression/Transforms/BasicAA/2003-12-11-ConstExprGEP.ll
diff -c /dev/null llvm/test/Regression/Transforms/BasicAA/2003-12-11-ConstExprGEP.ll:1.1
*** /dev/null	Thu Dec 11 13:16:41 2003
--- llvm/test/Regression/Transforms/BasicAA/2003-12-11-ConstExprGEP.ll	Thu Dec 11 13:16:30 2003
***************
*** 0 ****
--- 1,17 ----
+ ; This testcase consists of alias relations which should be completely
+ ; resolvable by basicaa, but require analysis of getelementptr constant exprs.
+ 
+ ; RUN: llvm-as < %s | opt -aa-eval -print-may-aliases 2>&1 -disable-output | not grep May:
+ 
+ %T = type { uint, [10 x ubyte] }
+ 
+ %G = external global %T
+ 
+ void %test() {
+   %D = getelementptr %T* %G, long 0, ubyte 0
+   %E = getelementptr %T* %G, long 0, ubyte 1, long 5
+   %F = getelementptr uint* getelementptr (%T* %G, long 0, ubyte 0), long 0
+   %G = getelementptr [10 x ubyte]* getelementptr (%T* %G, long 0, ubyte 1), long 0, long 5
+ 
+   ret void
+ }