[llvm-commits] CVS: llvm/test/Regression/Transforms/BasicAA/licmtest.ll
Chris Lattner
lattner at cs.uiuc.edu
Mon Mar 3 17:28:01 PST 2003
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
}
More information about the llvm-commits
mailing list