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

1 files changed, 26 insertions, 0 deletions

diff --git a/test/Transforms/GlobalOpt/malloc-promote-3.llx b/test/Transforms/GlobalOpt/malloc-promote-3.llx
new file mode 100644
index 0000000000..f2aad76e2b
--- /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
+}