1//RUN: llvm-mc  -triple=aarch64-linux-gnu -print-imm-hex %s | FileCheck %s
2
3//
4// Check that large constants are converted to ldr from constant pool
5//
6// simple test
7.section a, "ax", @progbits
8// CHECK-LABEL: f1:
9f1:
10  ldr x0, =0x1234
11// CHECK: mov    x0, #0x1234
12  ldr w1, =0x4567
13// CHECK:  mov    w1, #0x4567
14  ldr x0, =0x12340000
15// CHECK:  mov    x0, #0x12340000
16  ldr w1, =0x45670000
17// CHECK: mov    w1, #0x45670000
18  ldr x0, =0xabc00000000
19// CHECK: mov    x0, #0xabc00000000
20  ldr x0, =0xbeef000000000000
21// CHECK: mov    x0, #-0x4111000000000000
22
23.section b,"ax",@progbits
24// CHECK-LABEL: f3:
25f3:
26  ldr w0, =0x10001
27// CHECK: ldr w0, .Ltmp[[TMP0:[0-9]+]]
28
29// loading multiple constants
30.section c,"ax",@progbits
31// CHECK-LABEL: f4:
32f4:
33  ldr w0, =0x10002
34// CHECK: ldr w0, .Ltmp[[TMP1:[0-9]+]]
35  adds x0, x0, #1
36  adds x0, x0, #1
37  adds x0, x0, #1
38  adds x0, x0, #1
39  ldr w0, =0x10003
40// CHECK: ldr w0, .Ltmp[[TMP2:[0-9]+]]
41  adds x0, x0, #1
42  adds x0, x0, #1
43
44// TODO: the same constants should have the same constant pool location
45.section d,"ax",@progbits
46// CHECK-LABEL: f5:
47f5:
48  ldr w0, =0x10004
49// CHECK: ldr w0, .Ltmp[[TMP3:[0-9]+]]
50  adds x0, x0, #1
51  adds x0, x0, #1
52  adds x0, x0, #1
53  adds x0, x0, #1
54  adds x0, x0, #1
55  adds x0, x0, #1
56  adds x0, x0, #1
57  ldr w0, =0x10004
58// CHECK: ldr w0, .Ltmp[[TMP3:[0-9]+]]
59  adds x0, x0, #1
60  adds x0, x0, #1
61  adds x0, x0, #1
62  adds x0, x0, #1
63  adds x0, x0, #1
64  adds x0, x0, #1
65
66// a section defined in multiple pieces should be merged and use a single constant pool
67.section e,"ax",@progbits
68// CHECK-LABEL: f6:
69f6:
70  ldr w0, =0x10006
71// CHECK: ldr w0, .Ltmp[[TMP5:[0-9]+]]
72  adds x0, x0, #1
73  adds x0, x0, #1
74  adds x0, x0, #1
75
76.section f, "ax", @progbits
77// CHECK-LABEL: f7:
78f7:
79  adds x0, x0, #1
80  adds x0, x0, #1
81  adds x0, x0, #1
82
83.section e, "ax", @progbits
84// CHECK-LABEL: f8:
85f8:
86  adds x0, x0, #1
87  ldr w0, =0x10007
88// CHECK: ldr w0, .Ltmp[[TMP6:[0-9]+]]
89  adds x0, x0, #1
90  adds x0, x0, #1
91
92//
93// Check that symbols can be loaded using ldr pseudo
94//
95
96// load an undefined symbol
97.section g,"ax",@progbits
98// CHECK-LABEL: f9:
99f9:
100  ldr w0, =foo
101// CHECK: ldr w0, .Ltmp[[TMP7:[0-9]+]]
102
103// load a symbol from another section
104.section h,"ax",@progbits
105// CHECK-LABEL: f10:
106f10:
107  ldr w0, =f5
108// CHECK: ldr w0, .Ltmp[[TMP8:[0-9]+]]
109
110// load a symbol from the same section
111.section i,"ax",@progbits
112// CHECK-LABEL: f11:
113f11:
114  ldr w0, =f12
115// CHECK: ldr w0, .Ltmp[[TMP9:[0-9]+]]
116  ldr w0,=0x3C000
117// CHECK: ldr     w0, .Ltmp[[TMP10:[0-9]+]]
118
119// CHECK-LABEL: f12:
120f12:
121  adds x0, x0, #1
122  adds x0, x0, #1
123
124.section j,"ax",@progbits
125// mix of symbols and constants
126// CHECK-LABEL: f13:
127f13:
128  adds x0, x0, #1
129  adds x0, x0, #1
130  ldr w0, =0x101
131// CHECK: mov w0, #0x101
132  adds x0, x0, #1
133  adds x0, x0, #1
134  ldr w0, =bar
135// CHECK: ldr w0, .Ltmp[[TMP11:[0-9]+]]
136  adds x0, x0, #1
137  adds x0, x0, #1
138//
139// Check for correct usage in other contexts
140//
141
142// usage in macro
143.macro useit_in_a_macro
144  ldr w0, =0x10008
145  ldr w0, =baz
146.endm
147.section k,"ax",@progbits
148// CHECK-LABEL: f14:
149f14:
150  useit_in_a_macro
151// CHECK: ldr w0, .Ltmp[[TMP12:[0-9]+]]
152// CHECK: ldr w0, .Ltmp[[TMP13:[0-9]+]]
153
154// usage with expressions
155.section l, "ax", @progbits
156// CHECK-LABEL: f15:
157f15:
158  ldr w0, =0x10001+8
159// CHECK: ldr w0, .Ltmp[[TMP14:[0-9]+]]
160  adds x0, x0, #1
161  ldr w0, =bar+4
162// CHECK: ldr w0, .Ltmp[[TMP15:[0-9]+]]
163  adds x0, x0, #1
164
165// usage with 64-bit regs
166.section m, "ax", @progbits
167// CHECK-LABEL: f16:
168f16:
169  ldr x0, =0x0102030405060708
170// CHECK: ldr x0, .Ltmp[[TMP16:[0-9]+]]
171  add x0, x0, #1
172  ldr w0, =bar
173// CHECK: ldr w0, .Ltmp[[TMP17:[0-9]+]]
174  ldr x0, =bar+16
175// CHECK: ldr x0, .Ltmp[[TMP18:[0-9]+]]
176  add x0, x0, #1
177  ldr x0, =0x100000001
178// CHECK: ldr x0, .Ltmp[[TMP19:[0-9]+]]
179  ldr x1, =-0x80000001
180// CHECK: ldr x1, .Ltmp[[TMP20:[0-9]+]]
181  ldr x2, =0x10001
182// CHECK: ldr x2, .Ltmp[[TMP21:[0-9]+]]
183
184// check range for 32-bit regs
185.section n, "ax", @progbits
186// CHECK-LABEL: f17:
187f17:
188  ldr w0, =0xFFFFFFFF
189// CHECK: ldr w0, .Ltmp[[TMP22:[0-9]+]]
190  add w0, w0, #1
191  ldr w1, =-0x7FFFFFFF
192// CHECK: ldr w1, .Ltmp[[TMP23:[0-9]+]]
193  add w0, w0, #1
194  ldr w0, =-1
195// CHECK: ldr w0, .Ltmp[[TMP24:[0-9]+]]
196  add w0, w0, #1
197
198// make sure the same contant uses different pools for 32- and 64-bit registers
199.section o, "ax", @progbits
200// CHECK-LABEL: f18:
201f18:
202  ldr w0, =0x320064
203// CHECK: ldr w0, .Ltmp[[TMP25:[0-9]+]]
204  add w0, w0, #1
205  ldr x1, =0x320064
206// CHECK: ldr x1, .Ltmp[[TMP26:[0-9]+]]
207
208// We previously used a DenseMap with constant values as keys, check that
209// sentinel values can be used.
210  ldr x0, =0x7ffffffffffffffe
211// CHECK: ldr x0, .Ltmp[[TMP27:[0-9]+]]
212  ldr x1, =0x7fffffffffffffff
213// CHECK: ldr x1, .Ltmp[[TMP28:[0-9]+]]
214
215//
216// Constant Pools
217//
218// CHECK: .section b,"ax",@progbits
219// CHECK: .p2align 2
220// CHECK: .Ltmp[[TMP0]]
221// CHECK: .word 65537
222
223// CHECK: .section c,"ax",@progbits
224// CHECK: .p2align 2
225// CHECK: .Ltmp[[TMP1]]
226// CHECK: .word 65538
227// CHECK: .p2align 2
228// CHECK: .Ltmp[[TMP2]]
229// CHECK: .word 65539
230
231// CHECK: .section d,"ax",@progbits
232// CHECK: .p2align 2
233// CHECK: .Ltmp[[TMP3]]
234// CHECK: .word 65540
235
236// CHECK: .section e,"ax",@progbits
237// CHECK: .p2align 2
238// CHECK: .Ltmp[[TMP5]]
239// CHECK: .word 65542
240// CHECK: .p2align 2
241// CHECK: .Ltmp[[TMP6]]
242// CHECK: .word 65543
243
244// Should not switch to section because it has no constant pool
245// CHECK-NOT: .section f,"ax",@progbits
246
247// CHECK: .section g,"ax",@progbits
248// CHECK: .p2align 2
249// CHECK: .Ltmp[[TMP7]]
250// CHECK: .word foo
251
252// CHECK: .section h,"ax",@progbits
253// CHECK: .p2align 2
254// CHECK: .Ltmp[[TMP8]]
255// CHECK: .word f5
256
257// CHECK: .section i,"ax",@progbits
258// CHECK: .p2align 2
259// CHECK: .Ltmp[[TMP9]]
260// CHECK: .word f12
261// CHECK: .p2align 2
262// CHECK: .Ltmp[[TMP10]]
263// CHECK: .word 245760
264
265// CHECK: .section j,"ax",@progbits
266// CHECK: .p2align 2
267// CHECK: .Ltmp[[TMP11]]
268// CHECK: .word bar
269
270// CHECK: .section k,"ax",@progbits
271// CHECK: .p2align 2
272// CHECK: .Ltmp[[TMP12]]
273// CHECK: .word 65544
274// CHECK: .p2align 2
275// CHECK: .Ltmp[[TMP13]]
276// CHECK: .word baz
277
278// CHECK: .section l,"ax",@progbits
279// CHECK: .p2align 2
280// CHECK: .Ltmp[[TMP14]]
281// CHECK: .word 65545
282// CHECK: .p2align 2
283// CHECK: .Ltmp[[TMP15]]
284// CHECK: .word bar+4
285
286// CHECK: .section m,"ax",@progbits
287// CHECK: .p2align 3
288// CHECK: .Ltmp[[TMP16]]
289// CHECK: .xword 72623859790382856
290// CHECK: .p2align 2
291// CHECK: .Ltmp[[TMP17]]
292// CHECK: .word bar
293// CHECK: .p2align 3
294// CHECK: .Ltmp[[TMP18]]
295// CHECK: .xword bar+16
296// CHECK: .p2align 3
297// CHECK: .Ltmp[[TMP19]]
298// CHECK: .xword 4294967297
299// CHECK: .p2align 3
300// CHECK: .Ltmp[[TMP20]]
301// CHECK: .xword -2147483649
302// CHECK: .p2align 3
303// CHECK: .Ltmp[[TMP21]]
304// CHECK: .xword 65537
305
306// CHECK: .section n,"ax",@progbits
307// CHECK: .p2align 2
308// CHECK: .Ltmp[[TMP22]]
309// CHECK: .word 4294967295
310// CHECK: .p2align 2
311// CHECK: .Ltmp[[TMP23]]
312// CHECK: .word -2147483647
313// CHECK: .p2align 2
314// CHECK: .Ltmp[[TMP24]]
315// CHECK: .word -1
316
317// CHECK: .section o,"ax",@progbits
318// CHECK: .p2align 2
319// CHECK: .Ltmp[[TMP25]]
320// CHECK: .word 3276900
321
322// CHECK: .Ltmp[[TMP27]]
323// CHECK: .xword 9223372036854775806
324// CHECK: .Ltmp[[TMP28]]
325// CHECK: .xword 9223372036854775807
326