1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 19:23:23 +01:00

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

llvm-svn: 17160
This commit is contained in:
Chris Lattner 2004-10-22 06:43:07 +00:00
parent 6321852143
commit 8079adb986

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
}