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