New testcase, which is important to handle correctly.

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

1 files changed, 27 insertions, 0 deletions

diff --git a/test/Analysis/DSGraph/FunctionPointerTable-const.ll b/test/Analysis/DSGraph/FunctionPointerTable-const.ll
new file mode 100644
index 0000000000..5697ceea8c
--- /dev/null
+++ b/test/Analysis/DSGraph/FunctionPointerTable-const.ll
@@ -0,0 +1,27 @@
+; RUN: analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHM && \
+; RUN: analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
+
+%G = internal constant [2 x int*(int*)*] [ 
+  int*(int*)* %callee1, int*(int*)* %callee2
+]
+
+implementation
+
+internal int* %callee1(int* %P1) {
+	ret int* %P1
+}
+
+internal int* %callee2(int* %P2) {
+	%X = malloc int
+	ret int* %X
+}
+
+void %caller(int %callee) {
+	%FPP = getelementptr [2 x int*(int*)*]* %G, int 0, int %callee
+	%FP = load int*(int*)** %FPP
+
+	%Y = alloca int
+	%Z = call int* %FP(int* %Y)
+	store int 4, int* %Z
+	ret void
+}