From: Chris Lattner <sabre@nondot.org>
Date: Mon, 3 Mar 2003 23:27:15 +0000 (+0000)
Subject: Make the testcase more interesting, test that two different array elements don't... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1e6233af96267e322426b516cf23959f91235c97;p=oota-llvm.git

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


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 d838e6cb606..585ac17ae92 100644
--- 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 d838e6cb606..585ac17ae92 100644
--- 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
+}
+