From: Chris Lattner <sabre@nondot.org>
Date: Tue, 17 Jun 2003 15:16:35 +0000 (+0000)
Subject: Add new testcase
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1ae9143050218d8b57d184196da5ec447a67f7db;p=oota-llvm.git

Add new testcase


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

diff --git a/test/Analysis/BasicAA/featuretest.ll b/test/Analysis/BasicAA/featuretest.ll
index 26516d55195..803dafb6768 100644
--- a/test/Analysis/BasicAA/featuretest.ll
+++ b/test/Analysis/BasicAA/featuretest.ll
@@ -6,6 +6,10 @@
 ; RUN: else exit 0
 ; RUN: fi
 
+%Global = external global { int }
+
+implementation
+
 
 ; Array test:  Test that operations on one local array do not invalidate 
 ; operations on another array.  Important for scientific codes.
@@ -72,3 +76,13 @@ int %gep_distance_test3(int * %A) {
 	%Y = load sbyte* %C
 	ret int 8
 }
+
+; Test that we can disambiguate globals reached through constantexpr geps
+int %constexpr_test() {
+   %X = alloca int
+   %Y = load int* %X
+   store int 5, int* getelementptr ({ int }* %Global, long 0, ubyte 0)
+   %REMOVE = load int* %X
+   %retval = sub int %Y, %REMOVE
+   ret int %retval
+}
diff --git a/test/Transforms/BasicAA/featuretest.ll b/test/Transforms/BasicAA/featuretest.ll
index 26516d55195..803dafb6768 100644
--- a/test/Transforms/BasicAA/featuretest.ll
+++ b/test/Transforms/BasicAA/featuretest.ll
@@ -6,6 +6,10 @@
 ; RUN: else exit 0
 ; RUN: fi
 
+%Global = external global { int }
+
+implementation
+
 
 ; Array test:  Test that operations on one local array do not invalidate 
 ; operations on another array.  Important for scientific codes.
@@ -72,3 +76,13 @@ int %gep_distance_test3(int * %A) {
 	%Y = load sbyte* %C
 	ret int 8
 }
+
+; Test that we can disambiguate globals reached through constantexpr geps
+int %constexpr_test() {
+   %X = alloca int
+   %Y = load int* %X
+   store int 5, int* getelementptr ({ int }* %Global, long 0, ubyte 0)
+   %REMOVE = load int* %X
+   %retval = sub int %Y, %REMOVE
+   ret int %retval
+}