New testcase

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

1 files changed, 25 insertions, 0 deletions

diff --git a/test/Analysis/DSGraph/SCCSimpleExample.ll b/test/Analysis/DSGraph/SCCSimpleExample.ll
new file mode 100644
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
+}