From 4fe77cdcf2c79a6f31a7953675b438fbdb9ce94f Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sun, 29 Jun 2003 01:03:53 +0000
Subject: [PATCH] New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6975 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Analysis/DSGraph/incompletenode.ll | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 test/Analysis/DSGraph/incompletenode.ll

diff --git a/test/Analysis/DSGraph/incompletenode.ll b/test/Analysis/DSGraph/incompletenode.ll
new file mode 100644
index 00000000000..44934a2c1cb
--- /dev/null
+++ b/test/Analysis/DSGraph/incompletenode.ll
@@ -0,0 +1,23 @@
+; This test is failing because the globals X and Y are marked incomplete
+; in the TD graph for %test
+
+; RUN: as < %s | opt -no-aa -ds-aa -load-vn -gcse | dis | not grep seteq
+
+%X = internal global int 20
+%Y = internal global int* null
+
+implementation
+
+bool %test(int** %P) { 
+  %A = load int** %P              ;; We know P == Y!
+  %B = load int** %Y              ;; B = A
+  %c = seteq int* %A, %B          ;; Always true
+  ret bool %c
+}
+
+int %main() {
+	store int* %X, int** %Y
+	call bool %test(int** %Y)
+	ret int 0
+}
+