From: Chris Lattner <sabre@nondot.org>
Date: Fri, 22 Oct 2004 06:43:07 +0000 (+0000)
Subject: New testcase.  Check for the ability to promote a malloc whose initialzed state is... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=40e08082a0e38ccf55127db25d4cf5648a18aaed;p=oota-llvm.git

New testcase.  Check for the ability to promote a malloc whose initialzed state is checked by the program


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

diff --git a/test/Transforms/GlobalOpt/malloc-promote-3.llx b/test/Transforms/GlobalOpt/malloc-promote-3.llx
new file mode 100644
index 00000000000..f2aad76e2b9
--- /dev/null
+++ b/test/Transforms/GlobalOpt/malloc-promote-3.llx
@@ -0,0 +1,26 @@
+; RUN: llvm-as < %s | opt -globalopt | llvm-dis | not grep malloc
+
+%G = internal global int* null
+
+void %init() {
+	%P = malloc int, uint 100
+	store int* %P, int** %G
+
+	%GV = load int** %G
+	%GVe = getelementptr int* %GV, int 40
+	store int 20, int* %GVe
+	ret void
+}
+
+int %get() {
+	%GV = load int** %G
+	%GVe = getelementptr int* %GV, int 40
+	%V = load int* %GVe
+	ret int %V
+}
+
+bool %check() {    ;; Return true if init has been called
+	%GV = load int** %G
+	%V = seteq int* %GV, null
+	ret bool %V
+}