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

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 (file)
index 0000000..f2aad76
--- /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
+}