[llvm-commits] CVS: llvm/test/Regression/Transforms/DSGraphAA/gcsetest.ll

[Chris Lattner]

Changes in directory llvm/test/Regression/Transforms/DSGraphAA:

gcsetest.ll updated: 1.1 -> 1.2

---
Log message:

Check field sensitivity


---
Diffs of the changes:

Index: llvm/test/Regression/Transforms/DSGraphAA/gcsetest.ll
diff -u llvm/test/Regression/Transforms/DSGraphAA/gcsetest.ll:1.1 llvm/test/Regression/Transforms/DSGraphAA/gcsetest.ll:1.2
--- llvm/test/Regression/Transforms/DSGraphAA/gcsetest.ll:1.1	Mon Feb  3 15:31:43 2003
+++ llvm/test/Regression/Transforms/DSGraphAA/gcsetest.ll	Mon Feb  3 15:40:14 2003
@@ -20,12 +20,22 @@
 	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 @@
 	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 @@
 	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
+}