[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / SystemZ / int-cmp-21.ll
blob2a8fd8b12d8308a91378be7afd4dcad16804d9da
1 ; Test 64-bit ordered comparisons that are really between a memory byte
2 ; and a constant.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
6 ; Check unsigned comparison near the low end of the CLI range, using zero
7 ; extension.
8 define double @f1(double %a, double %b, i8 *%ptr) {
9 ; CHECK-LABEL: f1:
10 ; CHECK: cli 0(%r2), 1
11 ; CHECK-NEXT: bhr %r14
12 ; CHECK: br %r14
13   %val = load i8, i8 *%ptr
14   %ext = zext i8 %val to i64
15   %cond = icmp ugt i64 %ext, 1
16   %res = select i1 %cond, double %a, double %b
17   ret double %res
20 ; Check unsigned comparison near the low end of the CLI range, using sign
21 ; extension.
22 define double @f2(double %a, double %b, i8 *%ptr) {
23 ; CHECK-LABEL: f2:
24 ; CHECK: cli 0(%r2), 1
25 ; CHECK-NEXT: bhr %r14
26 ; CHECK: br %r14
27   %val = load i8, i8 *%ptr
28   %ext = sext i8 %val to i64
29   %cond = icmp ugt i64 %ext, 1
30   %res = select i1 %cond, double %a, double %b
31   ret double %res
34 ; Check unsigned comparison near the high end of the CLI range, using zero
35 ; extension.
36 define double @f3(double %a, double %b, i8 *%ptr) {
37 ; CHECK-LABEL: f3:
38 ; CHECK: cli 0(%r2), 254
39 ; CHECK-NEXT: blr %r14
40 ; CHECK: br %r14
41   %val = load i8, i8 *%ptr
42   %ext = zext i8 %val to i64
43   %cond = icmp ult i64 %ext, 254
44   %res = select i1 %cond, double %a, double %b
45   ret double %res
48 ; Check unsigned comparison near the high end of the CLI range, using sign
49 ; extension.
50 define double @f4(double %a, double %b, i8 *%ptr) {
51 ; CHECK-LABEL: f4:
52 ; CHECK: cli 0(%r2), 254
53 ; CHECK-NEXT: blr %r14
54 ; CHECK: br %r14
55   %val = load i8, i8 *%ptr
56   %ext = sext i8 %val to i64
57   %cond = icmp ult i64 %ext, -2
58   %res = select i1 %cond, double %a, double %b
59   ret double %res
62 ; Check unsigned comparison above the high end of the CLI range, using zero
63 ; extension.  The condition is always true.
64 define double @f5(double %a, double %b, i8 *%ptr) {
65 ; CHECK-LABEL: f5:
66 ; CHECK-NOT: cli
67 ; CHECK: br %r14
68   %val = load i8, i8 *%ptr
69   %ext = zext i8 %val to i64
70   %cond = icmp ult i64 %ext, 256
71   %res = select i1 %cond, double %a, double %b
72   ret double %res
75 ; When using unsigned comparison with sign extension, equality with values
76 ; in the range [128, MAX-129] is impossible, and ordered comparisons with
77 ; those values are effectively sign tests.  Since such comparisons are
78 ; unlikely to occur in practice, we don't bother optimizing the second case,
79 ; and simply ignore CLI for this range.  First check the low end of the range.
80 define double @f6(double %a, double %b, i8 *%ptr) {
81 ; CHECK-LABEL: f6:
82 ; CHECK-NOT: cli
83 ; CHECK: br %r14
84   %val = load i8, i8 *%ptr
85   %ext = sext i8 %val to i64
86   %cond = icmp ult i64 %ext, 128
87   %res = select i1 %cond, double %a, double %b
88   ret double %res
91 ; ...and then the high end.
92 define double @f7(double %a, double %b, i8 *%ptr) {
93 ; CHECK-LABEL: f7:
94 ; CHECK-NOT: cli
95 ; CHECK: br %r14
96   %val = load i8, i8 *%ptr
97   %ext = sext i8 %val to i64
98   %cond = icmp ult i64 %ext, -129
99   %res = select i1 %cond, double %a, double %b
100   ret double %res
103 ; Check signed comparison near the low end of the CLI range, using zero
104 ; extension.  This is equivalent to unsigned comparison.
105 define double @f8(double %a, double %b, i8 *%ptr) {
106 ; CHECK-LABEL: f8:
107 ; CHECK: cli 0(%r2), 1
108 ; CHECK-NEXT: bhr %r14
109 ; CHECK: br %r14
110   %val = load i8, i8 *%ptr
111   %ext = zext i8 %val to i64
112   %cond = icmp sgt i64 %ext, 1
113   %res = select i1 %cond, double %a, double %b
114   ret double %res
117 ; Check signed comparison near the low end of the CLI range, using sign
118 ; extension.  This cannot use CLI.
119 define double @f9(double %a, double %b, i8 *%ptr) {
120 ; CHECK-LABEL: f9:
121 ; CHECK-NOT: cli
122 ; CHECK: br %r14
123   %val = load i8, i8 *%ptr
124   %ext = sext i8 %val to i64
125   %cond = icmp sgt i64 %ext, 1
126   %res = select i1 %cond, double %a, double %b
127   ret double %res
130 ; Check signed comparison near the high end of the CLI range, using zero
131 ; extension.  This is equivalent to unsigned comparison.
132 define double @f10(double %a, double %b, i8 *%ptr) {
133 ; CHECK-LABEL: f10:
134 ; CHECK: cli 0(%r2), 254
135 ; CHECK-NEXT: blr %r14
136 ; CHECK: br %r14
137   %val = load i8, i8 *%ptr
138   %ext = zext i8 %val to i64
139   %cond = icmp slt i64 %ext, 254
140   %res = select i1 %cond, double %a, double %b
141   ret double %res
144 ; Check signed comparison near the high end of the CLI range, using sign
145 ; extension.  This cannot use CLI.
146 define double @f11(double %a, double %b, i8 *%ptr) {
147 ; CHECK-LABEL: f11:
148 ; CHECK-NOT: cli
149 ; CHECK: br %r14
150   %val = load i8, i8 *%ptr
151   %ext = sext i8 %val to i64
152   %cond = icmp slt i64 %ext, -2
153   %res = select i1 %cond, double %a, double %b
154   ret double %res
157 ; Check signed comparison above the high end of the CLI range, using zero
158 ; extension.  The condition is always true.
159 define double @f12(double %a, double %b, i8 *%ptr) {
160 ; CHECK-LABEL: f12:
161 ; CHECK-NOT: cli
162 ; CHECK: br %r14
163   %val = load i8, i8 *%ptr
164   %ext = zext i8 %val to i64
165   %cond = icmp slt i64 %ext, 256
166   %res = select i1 %cond, double %a, double %b
167   ret double %res
170 ; Check tests for nonnegative values.
171 define double @f13(double %a, double %b, i8 *%ptr) {
172 ; CHECK-LABEL: f13:
173 ; CHECK: cli 0(%r2), 128
174 ; CHECK-NEXT: blr %r14
175 ; CHECK: br %r14
176   %val = load i8, i8 *%ptr
177   %ext = sext i8 %val to i64
178   %cond = icmp sge i64 %ext, 0
179   %res = select i1 %cond, double %a, double %b
180   ret double %res
183 ; ...and another form
184 define double @f14(double %a, double %b, i8 *%ptr) {
185 ; CHECK-LABEL: f14:
186 ; CHECK: cli 0(%r2), 128
187 ; CHECK-NEXT: blr %r14
188 ; CHECK: br %r14
189   %val = load i8, i8 *%ptr
190   %ext = sext i8 %val to i64
191   %cond = icmp sgt i64 %ext, -1
192   %res = select i1 %cond, double %a, double %b
193   ret double %res
196 ; Check tests for negative values.
197 define double @f15(double %a, double %b, i8 *%ptr) {
198 ; CHECK-LABEL: f15:
199 ; CHECK: cli 0(%r2), 127
200 ; CHECK-NEXT: bhr %r14
201 ; CHECK: br %r14
202   %val = load i8, i8 *%ptr
203   %ext = sext i8 %val to i64
204   %cond = icmp slt i64 %ext, 0
205   %res = select i1 %cond, double %a, double %b
206   ret double %res
209 ; ...and another form
210 define double @f16(double %a, double %b, i8 *%ptr) {
211 ; CHECK-LABEL: f16:
212 ; CHECK: cli 0(%r2), 127
213 ; CHECK-NEXT: bhr %r14
214 ; CHECK: br %r14
215   %val = load i8, i8 *%ptr
216   %ext = sext i8 %val to i64
217   %cond = icmp sle i64 %ext, -1
218   %res = select i1 %cond, double %a, double %b
219   ret double %res