[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / SystemZ / int-const-02.ll
blob975fbf8698f29a362e6c486ac67571821662a088
1 ; Test loading of 64-bit constants.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
5 declare void @foo(i64, i64, i64, i64)
7 ; Check 0.
8 define i64 @f1() {
9 ; CHECK-LABEL: f1:
10 ; CHECK: lghi %r2, 0
11 ; CHECK-NEXT: br %r14
12   ret i64 0
15 ; Check the high end of the LGHI range.
16 define i64 @f2() {
17 ; CHECK-LABEL: f2:
18 ; CHECK: lghi %r2, 32767
19 ; CHECK-NEXT: br %r14
20   ret i64 32767
23 ; Check the next value up, which must use LLILL instead.
24 define i64 @f3() {
25 ; CHECK-LABEL: f3:
26 ; CHECK: llill %r2, 32768
27 ; CHECK-NEXT: br %r14
28   ret i64 32768
31 ; Check the high end of the LLILL range.
32 define i64 @f4() {
33 ; CHECK-LABEL: f4:
34 ; CHECK: llill %r2, 65535
35 ; CHECK-NEXT: br %r14
36   ret i64 65535
39 ; Check the first useful LLILH value, which is the next one up.
40 define i64 @f5() {
41 ; CHECK-LABEL: f5:
42 ; CHECK: llilh %r2, 1
43 ; CHECK-NEXT: br %r14
44   ret i64 65536
47 ; Check the first useful LGFI value, which is the next one up again.
48 define i64 @f6() {
49 ; CHECK-LABEL: f6:
50 ; CHECK: lgfi %r2, 65537
51 ; CHECK-NEXT: br %r14
52   ret i64 65537
55 ; Check the high end of the LGFI range.
56 define i64 @f7() {
57 ; CHECK-LABEL: f7:
58 ; CHECK: lgfi %r2, 2147483647
59 ; CHECK-NEXT: br %r14
60   ret i64 2147483647
63 ; Check the next value up, which should use LLILH instead.
64 define i64 @f8() {
65 ; CHECK-LABEL: f8:
66 ; CHECK: llilh %r2, 32768
67 ; CHECK-NEXT: br %r14
68   ret i64 2147483648
71 ; Check the next value up again, which should use LLILF.
72 define i64 @f9() {
73 ; CHECK-LABEL: f9:
74 ; CHECK: llilf %r2, 2147483649
75 ; CHECK-NEXT: br %r14
76   ret i64 2147483649
79 ; Check the high end of the LLILH range.
80 define i64 @f10() {
81 ; CHECK-LABEL: f10:
82 ; CHECK: llilh %r2, 65535
83 ; CHECK-NEXT: br %r14
84   ret i64 4294901760
87 ; Check the next value up, which must use LLILF.
88 define i64 @f11() {
89 ; CHECK-LABEL: f11:
90 ; CHECK: llilf %r2, 4294901761
91 ; CHECK-NEXT: br %r14
92   ret i64 4294901761
95 ; Check the high end of the LLILF range.
96 define i64 @f12() {
97 ; CHECK-LABEL: f12:
98 ; CHECK: llilf %r2, 4294967295
99 ; CHECK-NEXT: br %r14
100   ret i64 4294967295
103 ; Check the lowest useful LLIHL value, which is the next one up.
104 define i64 @f13() {
105 ; CHECK-LABEL: f13:
106 ; CHECK: llihl %r2, 1
107 ; CHECK-NEXT: br %r14
108   ret i64 4294967296
111 ; Check the next value up, which must use a combination of two instructions.
112 define i64 @f14() {
113 ; CHECK-LABEL: f14:
114 ; CHECK: llihl %r2, 1
115 ; CHECK-NEXT: oill %r2, 1
116 ; CHECK-NEXT: br %r14
117   ret i64 4294967297
120 ; Check the high end of the OILL range.
121 define i64 @f15() {
122 ; CHECK-LABEL: f15:
123 ; CHECK: llihl %r2, 1
124 ; CHECK-NEXT: oill %r2, 65535
125 ; CHECK-NEXT: br %r14
126   ret i64 4295032831
129 ; Check the next value up, which should use OILH instead.
130 define i64 @f16() {
131 ; CHECK-LABEL: f16:
132 ; CHECK: llihl %r2, 1
133 ; CHECK-NEXT: oilh %r2, 1
134 ; CHECK-NEXT: br %r14
135   ret i64 4295032832
138 ; Check the next value up again, which should use OILF.
139 define i64 @f17() {
140 ; CHECK-LABEL: f17:
141 ; CHECK: llihl %r2, 1
142 ; CHECK-NEXT: oilf %r2, 65537
143 ; CHECK-NEXT: br %r14
144   ret i64 4295032833
147 ; Check the high end of the OILH range.
148 define i64 @f18() {
149 ; CHECK-LABEL: f18:
150 ; CHECK: llihl %r2, 1
151 ; CHECK-NEXT: oilh %r2, 65535
152 ; CHECK-NEXT: br %r14
153   ret i64 8589869056
156 ; Check the high end of the OILF range.
157 define i64 @f19() {
158 ; CHECK-LABEL: f19:
159 ; CHECK: llihl %r2, 1
160 ; CHECK-NEXT: oilf %r2, 4294967295
161 ; CHECK-NEXT: br %r14
162   ret i64 8589934591
165 ; Check the high end of the LLIHL range.
166 define i64 @f20() {
167 ; CHECK-LABEL: f20:
168 ; CHECK: llihl %r2, 65535
169 ; CHECK-NEXT: br %r14
170   ret i64 281470681743360
173 ; Check the lowest useful LLIHH value, which is 1<<32 greater than the above.
174 define i64 @f21() {
175 ; CHECK-LABEL: f21:
176 ; CHECK: llihh %r2, 1
177 ; CHECK-NEXT: br %r14
178   ret i64 281474976710656
181 ; Check the lowest useful LLIHF value, which is 1<<32 greater again.
182 define i64 @f22() {
183 ; CHECK-LABEL: f22:
184 ; CHECK: llihf %r2, 65537
185 ; CHECK-NEXT: br %r14
186   ret i64 281479271677952
189 ; Check the highest end of the LLIHH range.
190 define i64 @f23() {
191 ; CHECK-LABEL: f23:
192 ; CHECK: llihh %r2, 65535
193 ; CHECK-NEXT: br %r14
194   ret i64 -281474976710656
197 ; Check the next value up, which must use OILL too.
198 define i64 @f24() {
199 ; CHECK-LABEL: f24:
200 ; CHECK: llihh %r2, 65535
201 ; CHECK-NEXT: oill %r2, 1
202 ; CHECK-NEXT: br %r14
203   ret i64 -281474976710655
206 ; Check the high end of the LLIHF range.
207 define i64 @f25() {
208 ; CHECK-LABEL: f25:
209 ; CHECK: llihf %r2, 4294967295
210 ; CHECK-NEXT: br %r14
211   ret i64 -4294967296
214 ; Check -1.
215 define i64 @f26() {
216 ; CHECK-LABEL: f26:
217 ; CHECK: lghi %r2, -1
218 ; CHECK-NEXT: br %r14
219   ret i64 -1
222 ; Check the low end of the LGHI range.
223 define i64 @f27() {
224 ; CHECK-LABEL: f27:
225 ; CHECK: lghi %r2, -32768
226 ; CHECK-NEXT: br %r14
227   ret i64 -32768
230 ; Check the next value down, which must use LGFI instead.
231 define i64 @f28() {
232 ; CHECK-LABEL: f28:
233 ; CHECK: lgfi %r2, -32769
234 ; CHECK-NEXT: br %r14
235   ret i64 -32769
238 ; Check the low end of the LGFI range.
239 define i64 @f29() {
240 ; CHECK-LABEL: f29:
241 ; CHECK: lgfi %r2, -2147483648
242 ; CHECK-NEXT: br %r14
243   ret i64 -2147483648
246 ; Check the next value down, which needs a two-instruction sequence.
247 define i64 @f30() {
248 ; CHECK-LABEL: f30:
249 ; CHECK: llihf %r2, 4294967295
250 ; CHECK-NEXT: oilf %r2, 2147483647
251 ; CHECK-NEXT: br %r14
252   ret i64 -2147483649
255 ; Check that constant loads are rematerialized.
256 define i64 @f31() {
257 ; CHECK-LABEL: f31:
258 ; CHECK-DAG: lghi %r2, 42
259 ; CHECK-DAG: lgfi %r3, 65537
260 ; CHECK-DAG: llilf %r4, 2147483649
261 ; CHECK-DAG: llihf %r5, 65537
262 ; CHECK: brasl %r14, foo@PLT
263 ; CHECK-DAG: llill %r2, 32768
264 ; CHECK-DAG: llilh %r3, 1
265 ; CHECK-DAG: llihl %r4, 1
266 ; CHECK-DAG: llihh %r5, 1
267 ; CHECK: brasl %r14, foo@PLT
268 ; CHECK-DAG: lghi %r2, 42
269 ; CHECK-DAG: lgfi %r3, 65537
270 ; CHECK-DAG: llilf %r4, 2147483649
271 ; CHECK-DAG: llihf %r5, 65537
272 ; CHECK: brasl %r14, foo@PLT
273 ; CHECK-DAG: llill %r2, 32768
274 ; CHECK-DAG: llilh %r3, 1
275 ; CHECK-DAG: llihl %r4, 1
276 ; CHECK-DAG: llihh %r5, 1
277 ; CHECK: brasl %r14, foo@PLT
278 ; CHECK: lghi %r2, 42
279 ; CHECK: br %r14
280   call void @foo(i64 42, i64 65537, i64 2147483649, i64 281479271677952)
281   call void @foo(i64 32768, i64 65536, i64 4294967296, i64 281474976710656)
282   call void @foo(i64 42, i64 65537, i64 2147483649, i64 281479271677952)
283   call void @foo(i64 32768, i64 65536, i64 4294967296, i64 281474976710656)
284   ret i64 42
287 ; Verify that we do not crash on OR with two constant inputs
288 ; (this was PR34859).
289 define i64 @f32(i64 *%ptr) {
290 ; CHECK-LABEL: f32:
291 ; CHECK: llihf %r1, 918324340
292 ; CHECK: oilf %r1, 1806197964
293 ; CHECK: la %r0, 1(%r1)
294   store i64 -1, i64* %ptr, align 8
295   %1 = load i64, i64* %ptr, align 8
296   %2 = icmp ne i64 %1, 0
297   %3 = zext i1 %2 to i64
298   %4 = or i64 %3, 3944173009226982604
299   store i64 %4, i64* %ptr, align 8
300   ret i64 3944173009226982604