[llvm-commits] CVS: llvm/test/Regression/Transforms/BasicAA/2003-04-22-GEPProblem.ll

[Chris Lattner]

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

2003-04-22-GEPProblem.ll added (r1.1)

---
Log message:

New testcase


---
Diffs of the changes:

Index: llvm/test/Regression/Transforms/BasicAA/2003-04-22-GEPProblem.ll
diff -c /dev/null llvm/test/Regression/Transforms/BasicAA/2003-04-22-GEPProblem.ll:1.1
*** /dev/null	Tue Apr 22 17:00:25 2003
--- llvm/test/Regression/Transforms/BasicAA/2003-04-22-GEPProblem.ll	Tue Apr 22 17:00:15 2003
***************
*** 0 ****
--- 1,15 ----
+ ; RUN: as < %s | opt -load-vn -gcse -instcombine | dis | grep sub
+ 
+ ; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!
+ 
+ int %test(int *%Ptr, long %V) {
+ 	%P2 = getelementptr int* %Ptr, long 1
+ 	%P1 = getelementptr int* %Ptr, long %V
+ 	%X = load int* %P1
+ 	store int 5, int* %P2
+ 
+ 	%Y = load int* %P1
+ 
+ 	%Z = sub int %X, %Y
+ 	ret int %Z
+ }