New testcase

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

diff --git a/test/Analysis/DSGraph/SCCSimpleExample.ll b/test/Analysis/DSGraph/SCCSimpleExample.ll
new file mode 100644 (file)
index 0000000..3c71c34
--- /dev/null
+++ b/test/Analysis/DSGraph/SCCSimpleExample.ll
@@ -0,0 +1,25 @@
+
+; RUN: analyze %s -datastructure-gc --dsgc-abort-if-merged=Y,BVal
+
+implementation
+
+internal void %F1(int* %X) {
+       %Y = alloca int
+       store int 4, int* %Y
+       %BVal = call int* %F2(int* %Y)
+       ret void
+}
+
+internal int* %F2(int* %A) {
+       %B = malloc int
+       store int 4, int* %B
+       call void %F1(int* %B)
+       ret int* %B
+}
+
+int %main() {
+       %Q = malloc int
+       store int 4, int* %Q
+       call void %F1(int* %Q)
+       ret int 0
+}