blob: 9f11f1bd92c228e23678fb96e6bc7f52780efd2d [file] [log] [blame]
Dmitri Gribenkod7beca82013-01-01 13:57:25 +00001; RUN: opt -globalopt -S < %s | FileCheck %s
Rafael Espindolafc355bc2011-01-19 16:32:21 +00002
3@a = internal global i32 0, align 4
4@b = internal global i32 0, align 4
5@c = internal global i32 0, align 4
6@d = internal constant [4 x i8] c"foo\00", align 1
Rafael Espindola1821c6c2012-06-15 18:00:24 +00007@e = linkonce_odr global i32 0
Rafael Espindolafc355bc2011-01-19 16:32:21 +00008
Shuxin Yang2e1890e2013-10-27 03:08:44 +00009; CHECK: @a = internal global i32 0, align 4
Rafael Espindolafc355bc2011-01-19 16:32:21 +000010; CHECK: @b = internal global i32 0, align 4
Shuxin Yang2e1890e2013-10-27 03:08:44 +000011; CHECK: @c = internal unnamed_addr global i32 0, align 4
12; CHECK: @d = internal unnamed_addr constant [4 x i8] c"foo\00", align 1
Peter Collingbourne96efdd62016-06-14 21:01:22 +000013; CHECK: @e = linkonce_odr local_unnamed_addr global i32 0
Rafael Espindola1821c6c2012-06-15 18:00:24 +000014
Rafael Espindola10d9a032015-12-22 20:43:30 +000015; CHECK: define internal fastcc void @used_internal() unnamed_addr {
16define internal void @used_internal() {
17 ret void
18}
19
Rafael Espindola1821c6c2012-06-15 18:00:24 +000020define i32 @get_e() {
Rafael Espindola10d9a032015-12-22 20:43:30 +000021 call void @used_internal()
David Blaikiea79ac142015-02-27 21:17:42 +000022 %t = load i32, i32* @e
Rafael Espindola1821c6c2012-06-15 18:00:24 +000023 ret i32 %t
24}
25
26define void @set_e(i32 %x) {
27 store i32 %x, i32* @e
28 ret void
29}
Rafael Espindolafc355bc2011-01-19 16:32:21 +000030
31define i1 @bah(i64 %i) nounwind readonly optsize ssp {
32entry:
David Blaikie79e6c742015-02-27 19:29:02 +000033 %arrayidx4 = getelementptr inbounds [4 x i8], [4 x i8]* @d, i64 0, i64 %i
David Blaikiea79ac142015-02-27 21:17:42 +000034 %tmp5 = load i8, i8* %arrayidx4, align 1
Duncan Sandse8ce94f2012-07-02 18:55:39 +000035 %array0 = bitcast [4 x i8]* @d to i8*
David Blaikiea79ac142015-02-27 21:17:42 +000036 %tmp6 = load i8, i8* %array0, align 1
Duncan Sandse8ce94f2012-07-02 18:55:39 +000037 %cmp = icmp eq i8 %tmp5, %tmp6
Rafael Espindolafc355bc2011-01-19 16:32:21 +000038 ret i1 %cmp
39}
40
41define void @baz(i32 %x) {
42entry:
43 store i32 %x, i32* @a, align 4
44 store i32 %x, i32* @b, align 4
45 store i32 %x, i32* @c, align 4
46 ret void
47}
48
49define i32 @foo(i32* %x) nounwind readnone optsize ssp {
50entry:
51 %cmp = icmp eq i32* %x, @a
52 %conv = zext i1 %cmp to i32
53 ret i32 %conv
54}
55
56define i32 @bar() {
57entry:
58 switch i64 ptrtoint (i32* @b to i64), label %sw.epilog [
59 i64 1, label %return
60 i64 0, label %return
61 ]
62
63sw.epilog:
64 ret i32 0
65
66return:
67 ret i32 1
68}
69
70define i32 @zed() {
71entry:
David Blaikiea79ac142015-02-27 21:17:42 +000072 %tmp1 = load i32, i32* @c, align 4
Rafael Espindolafc355bc2011-01-19 16:32:21 +000073 ret i32 %tmp1
74}