blob: 57f937d8c92944e072dcb583fcae05d233bbdb3c [file] [log] [blame]
Victor Hernandez6203d9d2009-10-17 00:00:19 +00001; RUN: opt < %s -globalopt -globaldce -S | not grep malloc
Victor Hernandez955449e2009-11-07 00:16:28 +00002target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
Dan Gohmanf17a25c2007-07-18 16:29:46 +00003
Tanya Lattner4c4d0b82008-03-01 09:15:35 +00004@G = internal global i32* null ; <i32**> [#uses=4]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00005
Tanya Lattner4c4d0b82008-03-01 09:15:35 +00006define void @init() {
Victor Hernandez955449e2009-11-07 00:16:28 +00007 %malloccall = tail call i8* @malloc(i64 mul (i64 100, i64 4)) ; <i8*> [#uses=1]
8 %P = bitcast i8* %malloccall to i32* ; <i32*> [#uses=1]
Tanya Lattner4c4d0b82008-03-01 09:15:35 +00009 store i32* %P, i32** @G
10 %GV = load i32** @G ; <i32*> [#uses=1]
11 %GVe = getelementptr i32* %GV, i32 40 ; <i32*> [#uses=1]
12 store i32 20, i32* %GVe
13 ret void
Dan Gohmanf17a25c2007-07-18 16:29:46 +000014}
15
Victor Hernandez955449e2009-11-07 00:16:28 +000016declare noalias i8* @malloc(i64)
17
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000018define i32 @get() {
19 %GV = load i32** @G ; <i32*> [#uses=1]
20 %GVe = getelementptr i32* %GV, i32 40 ; <i32*> [#uses=1]
21 %V = load i32* %GVe ; <i32> [#uses=1]
22 ret i32 %V
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023}
24
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000025define i1 @check() {
26 %GV = load i32** @G ; <i32*> [#uses=1]
27 %V = icmp eq i32* %GV, null ; <i1> [#uses=1]
28 ret i1 %V
Dan Gohmanf17a25c2007-07-18 16:29:46 +000029}
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000030