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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5689 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Analysis/BasicAA/licmtest.ll b/test/Analysis/BasicAA/licmtest.ll
index d838e6cb6062c517238543c27917e3bd9d793f34..585ac17ae92d482ccf568a16e997091bbeb65439 100644 (file)
--- a/test/Analysis/BasicAA/licmtest.ll
+++ b/test/Analysis/BasicAA/licmtest.ll
@@ -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) {
@@ -25,3 +26,20 @@ Out:
        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
+}
+

diff --git a/test/Transforms/BasicAA/licmtest.ll b/test/Transforms/BasicAA/licmtest.ll
index d838e6cb6062c517238543c27917e3bd9d793f34..585ac17ae92d482ccf568a16e997091bbeb65439 100644 (file)
--- a/test/Transforms/BasicAA/licmtest.ll
+++ b/test/Transforms/BasicAA/licmtest.ll
@@ -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) {
@@ -25,3 +26,20 @@ Out:
        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
+}
+