blob: 51ccbbd43ca8f965d78be6560b02c02019d46492 [file] [log] [blame]
Victor Hernandez955449e2009-11-07 00:16:28 +00001; RUN: opt < %s -globalopt -S | FileCheck %s
Kenneth Uildriksa092c122009-11-03 15:29:06 +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=3]
Victor Hernandez955449e2009-11-07 00:16:28 +00005; CHECK-NOT: global
Dan Gohmanf17a25c2007-07-18 16:29:46 +00006
Tanya Lattner4c4d0b82008-03-01 09:15:35 +00007define void @init() {
Victor Hernandez955449e2009-11-07 00:16:28 +00008 %malloccall = tail call i8* @malloc(i64 4) ; <i8*> [#uses=1]
9 %P = bitcast i8* %malloccall to i32* ; <i32*> [#uses=1]
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000010 store i32* %P, i32** @G
11 %GV = load i32** @G ; <i32*> [#uses=1]
12 store i32 0, i32* %GV
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 %V = load i32* %GV ; <i32> [#uses=1]
21 ret i32 %V
Victor Hernandez955449e2009-11-07 00:16:28 +000022; CHECK: ret i32 0
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023}
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000024