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 $push1=, 0($pop0){{$}}
15; CHECK-NEXT: return $pop1{{$}}
16define i32 @foo() {
17  %a = load i32, i32* @answer
18  ret i32 %a
19}
20
21; CHECK-LABEL: call_memcpy:
22; CHECK-NEXT: .param          i32, i32, i32{{$}}
23; CHECK-NEXT: .result         i32{{$}}
24; CHECK-NEXT: i32.const       $push0=, memcpy{{$}}
25; CHECK-NEXT: call_indirect   $pop0, $0, $1, $2{{$}}
26; CHECK-NEXT: return          $0{{$}}
27declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1)
28define i8* @call_memcpy(i8* %p, i8* nocapture readonly %q, i32 %n) {
29  tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %p, i8* %q, i32 %n, i32 1, i1 false)
30  ret i8* %p
31}
32
33; CHECK: .type   g,@object
34; CHECK: .align  2{{$}}
35; CHECK-NEXT: g:
36; CHECK-NEXT: .int32 1337{{$}}
37; CHECK-NEXT: .size g, 4{{$}}
38@g = private global i32 1337
39
40; CHECK-LABEL: ud:
41; CHECK-NEXT: .zero 4{{$}}
42; CHECK-NEXT: .size ud, 4{{$}}
43@ud = internal global i32 undef
44
45; CHECK: .type nil,@object
46; CHECK-NEXT: .lcomm nil,4,2{{$}}
47@nil = internal global i32 zeroinitializer
48
49; CHECK: .type z,@object
50; CHECK-NEXT: .lcomm z,4,2{{$}}
51@z = internal global i32 0
52
53; CHECK-NEXT: .type one,@object
54; CHECK-NEXT: .align 2{{$}}
55; CHECK-NEXT: one:
56; CHECK-NEXT: .int32 1{{$}}
57; CHECK-NEXT: .size one, 4{{$}}
58@one = internal global i32 1
59
60; CHECK: .type answer,@object
61; CHECK: .align 2{{$}}
62; CHECK-NEXT: answer:
63; CHECK-NEXT: .int32 42{{$}}
64; CHECK-NEXT: .size answer, 4{{$}}
65@answer = internal global i32 42
66
67; CHECK: .type u32max,@object
68; CHECK: .align 2{{$}}
69; CHECK-NEXT: u32max:
70; CHECK-NEXT: .int32 4294967295{{$}}
71; CHECK-NEXT: .size u32max, 4{{$}}
72@u32max = internal global i32 -1
73
74; CHECK: .type ud64,@object
75; CHECK: .align 3{{$}}
76; CHECK-NEXT: ud64:
77; CHECK-NEXT: .zero 8{{$}}
78; CHECK-NEXT: .size ud64, 8{{$}}
79@ud64 = internal global i64 undef
80
81; CHECK: .type nil64,@object
82; CHECK: .lcomm nil64,8,3{{$}}
83@nil64 = internal global i64 zeroinitializer
84
85; CHECK: .type z64,@object
86; CHECK: .lcomm z64,8,3{{$}}
87@z64 = internal global i64 0
88
89; CHECK: .type twoP32,@object
90; CHECK: .align 3{{$}}
91; CHECK-NEXT: twoP32:
92; CHECK-NEXT: .int64 4294967296{{$}}
93; CHECK-NEXT: .size twoP32, 8{{$}}
94@twoP32 = internal global i64 4294967296
95
96; CHECK: .type u64max,@object
97; CHECK: .align 3{{$}}
98; CHECK-NEXT: u64max:
99; CHECK-NEXT: .int64 -1{{$}}
100; CHECK-NEXT: .size u64max, 8{{$}}
101@u64max = internal global i64 -1
102
103; CHECK: .type f32ud,@object
104; CHECK: .align 2{{$}}
105; CHECK-NEXT: f32ud:
106; CHECK-NEXT: .zero 4{{$}}
107; CHECK-NEXT: .size f32ud, 4{{$}}
108@f32ud = internal global float undef
109
110; CHECK: .type f32nil,@object
111; CHECK: .lcomm f32nil,4,2{{$}}
112@f32nil = internal global float zeroinitializer
113
114; CHECK: .type f32z,@object
115; CHECK: .lcomm f32z,4,2{{$}}
116@f32z = internal global float 0.0
117
118; CHECK: .type f32nz,@object
119; CHECK: .align 2{{$}}
120; CHECK: f32nz:
121; CHECK: .int32 2147483648{{$}}
122; CHECK: .size f32nz, 4{{$}}
123@f32nz = internal global float -0.0
124
125; CHECK: .type f32two,@object
126; CHECK: .align 2{{$}}
127; CHECK-NEXT: f32two:
128; CHECK-NEXT: .int32 1073741824{{$}}
129; CHECK-NEXT: .size f32two, 4{{$}}
130@f32two = internal global float 2.0
131
132; CHECK: .type f64ud,@object
133; CHECK: .align 3{{$}}
134; CHECK-NEXT: f64ud:
135; CHECK-NEXT: .zero 8{{$}}
136; CHECK-NEXT: .size f64ud, 8{{$}}
137@f64ud = internal global double undef
138
139; CHECK: .type f64nil,@object
140; CHECK: .lcomm f64nil,8,3{{$}}
141@f64nil = internal global double zeroinitializer
142
143; CHECK: .type f64z,@object
144; CHECK: .lcomm f64z,8,3{{$}}
145@f64z = internal global double 0.0
146
147; CHECK: .type f64nz,@object
148; CHECK: .align 3{{$}}
149; CHECK-NEXT: f64nz:
150; CHECK-NEXT: .int64 -9223372036854775808{{$}}
151; CHECK-NEXT: .size f64nz, 8{{$}}
152@f64nz = internal global double -0.0
153
154; CHECK: .type f64two,@object
155; CHECK: .align 3{{$}}
156; CHECK-NEXT: f64two:
157; CHECK-NEXT: .int64 4611686018427387904{{$}}
158; CHECK-NEXT: .size f64two, 8{{$}}
159@f64two = internal global double 2.0
160