[llvm-commits] CVS: llvm/test/Regression/Transforms/BasicAA/2003-04-22-GEPProblem.ll
Chris Lattner
lattner at cs.uiuc.edu
Tue Apr 22 17:01:02 PDT 2003
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
+ }
More information about the llvm-commits
mailing list