Check field sensitivity

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

diff --git a/test/Analysis/DSGraph/gcsetest.ll b/test/Analysis/DSGraph/gcsetest.ll
index d451ed5017e28d71133df97db91f008819877fcc..f6d4b57b53cced087da2061d3ed0dcea309a6ff9 100644 (file)
--- a/test/Analysis/DSGraph/gcsetest.ll
+++ b/test/Analysis/DSGraph/gcsetest.ll
@@ -20,12 +20,22 @@ implementation
        ret %intpair* %C
 }
 
+int* %getp(%intpair* %P) {
+       %pp = getelementptr %intpair* %P, long 0, ubyte 0
+       %V = load int** %pp
+       ret int *%V
+}
+
+int* %getq(%intpair* %P) {
+       %pp = getelementptr %intpair* %P, long 0, ubyte 1
+       %V = load int** %pp
+       ret int *%V
+}
+
 int %test() {
        %C = call %intpair* %alloc_pair()
-       %C1p = getelementptr %intpair* %C, long 0, ubyte 0
-       %C2p = getelementptr %intpair* %C, long 0, ubyte 1
-       %A = load int** %C1p
-       %B = load int** %C2p
+       %A = call int* %getp(%intpair* %C)
+       %B = call int* %getp(%intpair* %C)
        %A1 = load int* %A
 
        store int 123, int* %B  ; Store cannot alias %A
@@ -35,12 +45,6 @@ int %test() {
        ret int %ELIM_x
 }
 
-int* %getp(%intpair* %P) {
-       %pp = getelementptr %intpair* %P, long 0, ubyte 0
-       %V = load int** %pp
-       ret int *%V
-}
-
 int %test2() {   ; Test context sensitivity
        %C1 = call %intpair* %alloc_pair()
        %C2 = call %intpair* %alloc_pair()
@@ -53,3 +57,13 @@ int %test2() {   ; Test context sensitivity
        ret int %ELIM_x
 }
 
+int %test3() {
+       %C = call %intpair* %alloc_pair()
+       %P1 = call int* %getp(%intpair* %C)
+       %P2 = call int* %getq(%intpair* %C)
+       %X = load int* %P1
+       store int 7, int* %P2
+       %Y = load int* %P1
+       %ELIM_x = sub int %X, %Y   ; Check field sensitivity
+       ret int %ELIM_x
+}