blob: d5087dea3443aa9f0af896b542c50844339822de [file] [log] [blame]
Victor Hernandezf3db9152009-11-07 00:16:28 +00001; RUN: opt < %s -globalopt -S | FileCheck %s
Kenneth Uildriks90fedc62009-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"
Chris Lattner214956d2004-10-11 05:00:12 +00003
Tanya Lattner5640bd12008-03-01 09:15:35 +00004@G = internal global i32* null ; <i32**> [#uses=3]
Victor Hernandezf3db9152009-11-07 00:16:28 +00005; CHECK-NOT: global
Chris Lattner214956d2004-10-11 05:00:12 +00006
Tanya Lattner5640bd12008-03-01 09:15:35 +00007define void @init() {
Victor Hernandezf3db9152009-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 Lattner5640bd12008-03-01 09:15:35 +000010 store i32* %P, i32** @G
David Blaikiea79ac142015-02-27 21:17:42 +000011 %GV = load i32*, i32** @G ; <i32*> [#uses=1]
Tanya Lattner5640bd12008-03-01 09:15:35 +000012 store i32 0, i32* %GV
13 ret void
Chris Lattner214956d2004-10-11 05:00:12 +000014}
15
Victor Hernandezf3db9152009-11-07 00:16:28 +000016declare noalias i8* @malloc(i64)
17
Tanya Lattner5640bd12008-03-01 09:15:35 +000018define i32 @get() {
David Blaikiea79ac142015-02-27 21:17:42 +000019 %GV = load i32*, i32** @G ; <i32*> [#uses=1]
20 %V = load i32, i32* %GV ; <i32> [#uses=1]
Tanya Lattner5640bd12008-03-01 09:15:35 +000021 ret i32 %V
Victor Hernandezf3db9152009-11-07 00:16:28 +000022; CHECK: ret i32 0
Chris Lattner214956d2004-10-11 05:00:12 +000023}
Tanya Lattner5640bd12008-03-01 09:15:35 +000024