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

[Chris Lattner]

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

licmtest.ll updated: 1.5 -> 1.6

---
Log message:

Make the testcase more interesting, test that two different array elements don't alias


---
Diffs of the changes:

Index: llvm/test/Regression/Transforms/BasicAA/licmtest.ll
diff -u llvm/test/Regression/Transforms/BasicAA/licmtest.ll:1.5 llvm/test/Regression/Transforms/BasicAA/licmtest.ll:1.6
--- llvm/test/Regression/Transforms/BasicAA/licmtest.ll:1.5	Wed Feb 26 10:18:00 2003
+++ llvm/test/Regression/Transforms/BasicAA/licmtest.ll	Mon Mar  3 17:27:15 2003
@@ -10,6 +10,7 @@
 
 %A = global int 7
 %B = global int 8
+%C = global [2 x int ] [ int 4, int 8 ]
 implementation
 
 int %test(bool %c) {
@@ -22,6 +23,23 @@
 	br bool %c, label %Out, label %Loop
 Out:
 	%X = sub int %ToRemove, %Atmp
+	ret int %X
+}
+
+int %test2(bool %c) {
+	br label %Loop
+Loop:
+	%AVal = load int* %A
+	%C0 = getelementptr [2 x int ]* %C, long 0, long 0
+	store int %AVal, int* %C0  ; Store cannot alias %A
+
+	%BVal = load int* %B
+	%C1 = getelementptr [2 x int ]* %C, long 0, long 1
+	store int %BVal, int* %C1  ; Store cannot alias %A, %B, or %C0
+
+	br bool %c, label %Out, label %Loop
+Out:
+	%X = sub int %AVal, %BVal
 	ret int %X
 }