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

diff --git a/test/Analysis/DSGraph/FunctionPointerTable-const.ll b/test/Analysis/DSGraph/FunctionPointerTable-const.ll
new file mode 100644 (file)
index 0000000..5697cee
--- /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
+}