summaryrefslogtreecommitdiff
path: root/test/Analysis/DSGraph/gcsetest.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/DSGraph/gcsetest.ll')
-rw-r--r--test/Analysis/DSGraph/gcsetest.ll66
1 files changed, 0 insertions, 66 deletions
diff --git a/test/Analysis/DSGraph/gcsetest.ll b/test/Analysis/DSGraph/gcsetest.ll
deleted file mode 100644
index bb7af1249c..0000000000
--- a/test/Analysis/DSGraph/gcsetest.ll
+++ /dev/null
@@ -1,66 +0,0 @@
-; Test that GCSE uses ds-aa to do alias analysis, which is capable of
-; disambiguating some cases.
-
-; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse -instcombine -dce | llvm-dis | not grep ELIM
-
-%intpair = type {int*, int*}
-implementation
-
-%intpair *%alloc_pair() {
- %Ap = malloc int
- %Bp = malloc int
- %C = malloc {int*, int*}
- %C1p = getelementptr {int*, int*}* %C, long 0, uint 0
- store int* %Ap, int** %C1p
- %C2p = getelementptr {int*, int*}* %C, long 0, uint 1
- store int* %Bp, int** %C2p
- ret %intpair* %C
-}
-
-int* %getp(%intpair* %P) {
- %pp = getelementptr %intpair* %P, long 0, uint 0
- %V = load int** %pp
- ret int *%V
-}
-
-int* %getq(%intpair* %P) {
- %pp = getelementptr %intpair* %P, long 0, uint 1
- %V = load int** %pp
- ret int *%V
-}
-
-int %test() {
- %C = call %intpair* %alloc_pair()
- %A = call int* %getp(%intpair* %C)
- %B = call int* %getp(%intpair* %C)
- %A1 = load int* %A
-
- store int 123, int* %B ; Store does alias %A
-
- %A2 = load int* %A
- %x = sub int %A1, %A2
- ret int %x
-}
-
-int %test2() { ; Test context sensitivity
- %C1 = call %intpair* %alloc_pair()
- %C2 = call %intpair* %alloc_pair()
- %P1 = call int* %getp(%intpair* %C1)
- %P2 = call int* %getp(%intpair* %C2)
- %X = load int* %P1
- store int 7, int* %P2
- %Y = load int* %P1
- %ELIM_x = sub int %X, %Y
- 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
-}