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 26516d5..803dafb 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 @@
%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
+}