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
This commit is contained in:
Chris Lattner 2004-10-22 06:43:07 +00:00
parent 9b9918246c
commit 40e08082a0

View File

@ -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
}