Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / d24ab20e9b11d2076d8b9d5cd96f41a6b9c399fb / . / llvm / test / CodeGen / SystemZ / and-04.ll
blob: 9c2f4a65d9f6f3d408140ff988076f3b9b5bc0ae [file] [log] [blame]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]1; Test 64-bit ANDs in which the second operand is constant.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]5; Use RISBG for a single bit.
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]6define i64 @f1(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]7; CHECK-LABEL: f1:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]8; CHECK: risbg %r2, %r2, 63, 191, 0
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]9; CHECK: br %r14
10 %and = and i64 %a, 1
11 ret i64 %and
12}
13
14; Likewise 0xfffe.
15define i64 @f2(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]16; CHECK-LABEL: f2:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]17; CHECK: risbg %r2, %r2, 48, 190, 0
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]18; CHECK: br %r14
19 %and = and i64 %a, 65534
20 ret i64 %and
21}
22
23; ...but 0xffff is a 16-bit zero extension.
24define i64 @f3(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]25; CHECK-LABEL: f3:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]26; CHECK: llghr %r2, %r2
27; CHECK: br %r14
28 %and = and i64 %a, 65535
29 ret i64 %and
30}
31
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]32; Check the next value up, which can again use RISBG.
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]33define i64 @f4(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]34; CHECK-LABEL: f4:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]35; CHECK: risbg %r2, %r2, 47, 175, 0
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]36; CHECK: br %r14
37 %and = and i64 %a, 65536
38 ret i64 %and
39}
40
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]41; Check 0xfffffffe, which can also use RISBG.
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]42define i64 @f5(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]43; CHECK-LABEL: f5:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]44; CHECK: risbg %r2, %r2, 32, 190, 0
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]45; CHECK: br %r14
46 %and = and i64 %a, 4294967294
47 ret i64 %and
48}
49
50; Check the next value up, which is a 32-bit zero extension.
51define i64 @f6(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]52; CHECK-LABEL: f6:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]53; CHECK: llgfr %r2, %r2
54; CHECK: br %r14
55 %and = and i64 %a, 4294967295
56 ret i64 %and
57}
58
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]59; Check the lowest useful NIHF value (0x00000002_ffffffff).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]60define i64 @f7(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]61; CHECK-LABEL: f7:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]62; CHECK: nihf %r2, 2
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]63; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]64 %and = and i64 %a, 12884901887
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]65 ret i64 %and
66}
67
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]68; Check the lowest useful NIHH value (0x0002ffff_ffffffff).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]69define i64 @f8(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]70; CHECK-LABEL: f8:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]71; CHECK: nihh %r2, 2
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]72; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]73 %and = and i64 %a, 844424930131967
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]74 ret i64 %and
75}
76
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]77; Check the highest useful NIHH value (0xfffaffff_ffffffff).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]78define i64 @f9(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]79; CHECK-LABEL: f9:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]80; CHECK: nihh %r2, 65530
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]81; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]82 %and = and i64 %a, -1407374883553281
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]83 ret i64 %and
84}
85
86; Check the highest useful NIHF value (0xfffefffe_ffffffff).
87define i64 @f10(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]88; CHECK-LABEL: f10:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]89; CHECK: nihf %r2, 4294901758
90; CHECK: br %r14
91 %and = and i64 %a, -281479271677953
92 ret i64 %and
93}
94
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]95; Check the lowest useful NIHL value (0xffff0002_ffffffff).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]96define i64 @f11(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]97; CHECK-LABEL: f11:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]98; CHECK: nihl %r2, 2
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]99; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]100 %and = and i64 %a, -281462091808769
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]101 ret i64 %and
102}
103
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]104; Check the highest useful NIHL value (0xfffffffa_ffffffff).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]105define i64 @f12(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]106; CHECK-LABEL: f12:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]107; CHECK: nihl %r2, 65530
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]108; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]109 %and = and i64 %a, -21474836481
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]110 ret i64 %and
111}
112
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]113; Check the lowest useful NILF range (0xffffffff_00000002).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]114define i64 @f13(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]115; CHECK-LABEL: f13:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]116; CHECK: nilf %r2, 2
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]117; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]118 %and = and i64 %a, -4294967294
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]119 ret i64 %and
120}
121
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]122; Check the low end of the NILH range (0xffffffff_0002ffff).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]123define i64 @f14(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]124; CHECK-LABEL: f14:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]125; CHECK: nilh %r2, 2
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]126; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]127 %and = and i64 %a, -4294770689
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]128 ret i64 %and
129}
130
131; Check the next value up, which must use NILF.
132define i64 @f15(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]133; CHECK-LABEL: f15:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]134; CHECK: nilf %r2, 196608
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]135; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]136 %and = and i64 %a, -4294770688
137 ret i64 %and
138}
139
140; Check the highest useful NILH value (0xffffffff_fffaffff).
141define i64 @f16(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]142; CHECK-LABEL: f16:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]143; CHECK: nilh %r2, 65530
144; CHECK: br %r14
145 %and = and i64 %a, -327681
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]146 ret i64 %and
147}
148
149; Check the maximum useful NILF value (0xffffffff_fffefffe).
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]150define i64 @f17(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]151; CHECK-LABEL: f17:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]152; CHECK: nilf %r2, 4294901758
153; CHECK: br %r14
154 %and = and i64 %a, -65538
155 ret i64 %and
156}
157
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]158; Check the lowest useful NILL value (0xffffffff_ffff0002).
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]159define i64 @f18(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]160; CHECK-LABEL: f18:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]161; CHECK: nill %r2, 2
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]162; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]163 %and = and i64 %a, -65534
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]164 ret i64 %and
165}
166
167; Check the highest useful NILL value.
168define i64 @f19(i64 %a) {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame^]169; CHECK-LABEL: f19:
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]170; CHECK: nill %r2, 65530
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]171; CHECK: br %r14
Richard Sandiford84f54a32013-07-11 08:59:12 +0000[diff] [blame]172 %and = and i64 %a, -6
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]173 ret i64 %and
174}