From 73f1ac49f23f1c90382e6e64bd2c08ceb27e2ab7 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Mon, 21 Mar 2005 20:18:51 +0000
Subject: [PATCH] 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
---
 .../DSGraph/FunctionPointerTable-const.ll     | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 test/Analysis/DSGraph/FunctionPointerTable-const.ll

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