From 40e08082a0e38ccf55127db25d4cf5648a18aaed Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 22 Oct 2004 06:43:07 +0000 Subject: [PATCH] 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 --- .../Transforms/GlobalOpt/malloc-promote-3.llx | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 test/Transforms/GlobalOpt/malloc-promote-3.llx 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 +} -- 2.34.1