1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that globals assemble as expected.
4
5target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6target triple = "wasm32-unknown-unknown"
7
8; CHECK-NOT: llvm.used
9; CHECK-NOT: llvm.metadata
10@llvm.used = appending global [1 x i32*] [i32* @g], section "llvm.metadata"
11
12; CHECK: foo:
13; CHECK: i32.const $push0, answer{{$}}
14; CHECK-NEXT: i32.load $0, $pop0{{$}}
15; CHECK-NEXT: return $0{{$}}
16define i32 @foo() {
17  %a = load i32, i32* @answer
18  ret i32 %a
19}
20
21; CHECK: .type   g,@object
22; CHECK: .align  2{{$}}
23; CHECK-NEXT: g:
24; CHECK-NEXT: .int32 1337{{$}}
25; CHECK-NEXT: .size g, 4{{$}}
26@g = private global i32 1337
27
28; CHECK-LABEL: ud:
29; CHECK-NEXT: .zero 4{{$}}
30; CHECK-NEXT: .size ud, 4{{$}}
31@ud = internal global i32 undef
32
33; CHECK: .type nil,@object
34; CHECK-NEXT: .lcomm nil,4,2{{$}}
35@nil = internal global i32 zeroinitializer
36
37; CHECK: .type z,@object
38; CHECK-NEXT: .lcomm z,4,2{{$}}
39@z = internal global i32 0
40
41; CHECK-NEXT: .type one,@object
42; CHECK-NEXT: .align 2{{$}}
43; CHECK-NEXT: one:
44; CHECK-NEXT: .int32 1{{$}}
45; CHECK-NEXT: .size one, 4{{$}}
46@one = internal global i32 1
47
48; CHECK: .type answer,@object
49; CHECK: .align 2{{$}}
50; CHECK-NEXT: answer:
51; CHECK-NEXT: .int32 42{{$}}
52; CHECK-NEXT: .size answer, 4{{$}}
53@answer = internal global i32 42
54
55; CHECK: .type u32max,@object
56; CHECK: .align 2{{$}}
57; CHECK-NEXT: u32max:
58; CHECK-NEXT: .int32 4294967295{{$}}
59; CHECK-NEXT: .size u32max, 4{{$}}
60@u32max = internal global i32 -1
61
62; CHECK: .type ud64,@object
63; CHECK: .align 3{{$}}
64; CHECK-NEXT: ud64:
65; CHECK-NEXT: .zero 8{{$}}
66; CHECK-NEXT: .size ud64, 8{{$}}
67@ud64 = internal global i64 undef
68
69; CHECK: .type nil64,@object
70; CHECK: .lcomm nil64,8,3{{$}}
71@nil64 = internal global i64 zeroinitializer
72
73; CHECK: .type z64,@object
74; CHECK: .lcomm z64,8,3{{$}}
75@z64 = internal global i64 0
76
77; CHECK: .type twoP32,@object
78; CHECK: .align 3{{$}}
79; CHECK-NEXT: twoP32:
80; CHECK-NEXT: .int64 4294967296{{$}}
81; CHECK-NEXT: .size twoP32, 8{{$}}
82@twoP32 = internal global i64 4294967296
83
84; CHECK: .type u64max,@object
85; CHECK: .align 3{{$}}
86; CHECK-NEXT: u64max:
87; CHECK-NEXT: .int64 -1{{$}}
88; CHECK-NEXT: .size u64max, 8{{$}}
89@u64max = internal global i64 -1
90
91; CHECK: .type f32ud,@object
92; CHECK: .align 2{{$}}
93; CHECK-NEXT: f32ud:
94; CHECK-NEXT: .zero 4{{$}}
95; CHECK-NEXT: .size f32ud, 4{{$}}
96@f32ud = internal global float undef
97
98; CHECK: .type f32nil,@object
99; CHECK: .lcomm f32nil,4,2{{$}}
100@f32nil = internal global float zeroinitializer
101
102; CHECK: .type f32z,@object
103; CHECK: .lcomm f32z,4,2{{$}}
104@f32z = internal global float 0.0
105
106; CHECK: .type f32nz,@object
107; CHECK: .align 2{{$}}
108; CHECK: f32nz:
109; CHECK: .int32 2147483648{{$}}
110; CHECK: .size f32nz, 4{{$}}
111@f32nz = internal global float -0.0
112
113; CHECK: .type f32two,@object
114; CHECK: .align 2{{$}}
115; CHECK-NEXT: f32two:
116; CHECK-NEXT: .int32 1073741824{{$}}
117; CHECK-NEXT: .size f32two, 4{{$}}
118@f32two = internal global float 2.0
119
120; CHECK: .type f64ud,@object
121; CHECK: .align 3{{$}}
122; CHECK-NEXT: f64ud:
123; CHECK-NEXT: .zero 8{{$}}
124; CHECK-NEXT: .size f64ud, 8{{$}}
125@f64ud = internal global double undef
126
127; CHECK: .type f64nil,@object
128; CHECK: .lcomm f64nil,8,3{{$}}
129@f64nil = internal global double zeroinitializer
130
131; CHECK: .type f64z,@object
132; CHECK: .lcomm f64z,8,3{{$}}
133@f64z = internal global double 0.0
134
135; CHECK: .type f64nz,@object
136; CHECK: .align 3{{$}}
137; CHECK-NEXT: f64nz:
138; CHECK-NEXT: .int64 -9223372036854775808{{$}}
139; CHECK-NEXT: .size f64nz, 8{{$}}
140@f64nz = internal global double -0.0
141
142; CHECK: .type f64two,@object
143; CHECK: .align 3{{$}}
144; CHECK-NEXT: f64two:
145; CHECK-NEXT: .int64 4611686018427387904{{$}}
146; CHECK-NEXT: .size f64two, 8{{$}}
147@f64two = internal global double 2.0
148