[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / SystemZ / int-cmp-30.ll
blobae142cc6c72f51a09752e0e70960d9b014103072
1 ; Test 32-bit ordered comparisons that are really between a memory halfword
2 ; and a constant.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
6 ; Check unsigned comparison near the low end of the CLHHSI range, using zero
7 ; extension.
8 define double @f1(double %a, double %b, i16 *%ptr) {
9 ; CHECK-LABEL: f1:
10 ; CHECK: clhhsi 0(%r2), 1
11 ; CHECK-NEXT: bhr %r14
12 ; CHECK: br %r14
13   %val = load i16, i16 *%ptr
14   %ext = zext i16 %val to i32
15   %cond = icmp ugt i32 %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 CLHHSI range, using sign
21 ; extension.
22 define double @f2(double %a, double %b, i16 *%ptr) {
23 ; CHECK-LABEL: f2:
24 ; CHECK: clhhsi 0(%r2), 1
25 ; CHECK-NEXT: bhr %r14
26 ; CHECK: br %r14
27   %val = load i16, i16 *%ptr
28   %ext = sext i16 %val to i32
29   %cond = icmp ugt i32 %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 CLHHSI range, using zero
35 ; extension.
36 define double @f3(double %a, double %b, i16 *%ptr) {
37 ; CHECK-LABEL: f3:
38 ; CHECK: clhhsi 0(%r2), 65534
39 ; CHECK-NEXT: blr %r14
40 ; CHECK: br %r14
41   %val = load i16, i16 *%ptr
42   %ext = zext i16 %val to i32
43   %cond = icmp ult i32 %ext, 65534
44   %res = select i1 %cond, double %a, double %b
45   ret double %res
48 ; Check unsigned comparison near the high end of the CLHHSI range, using sign
49 ; extension.
50 define double @f4(double %a, double %b, i16 *%ptr) {
51 ; CHECK-LABEL: f4:
52 ; CHECK: clhhsi 0(%r2), 65534
53 ; CHECK-NEXT: blr %r14
54 ; CHECK: br %r14
55   %val = load i16, i16 *%ptr
56   %ext = sext i16 %val to i32
57   %cond = icmp ult i32 %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 CLHHSI range, using zero
63 ; extension.  The condition is always true.
64 define double @f5(double %a, double %b, i16 *%ptr) {
65 ; CHECK-LABEL: f5:
66 ; CHECK-NOT: clhhsi
67 ; CHECK: br %r14
68   %val = load i16, i16 *%ptr
69   %ext = zext i16 %val to i32
70   %cond = icmp ult i32 %ext, 65536
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 [32768, MAX-32769] 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 CLHHSI for this range.  First check the low end of the
80 ; range.
81 define double @f6(double %a, double %b, i16 *%ptr) {
82 ; CHECK-LABEL: f6:
83 ; CHECK-NOT: clhhsi
84 ; CHECK: br %r14
85   %val = load i16, i16 *%ptr
86   %ext = sext i16 %val to i32
87   %cond = icmp ult i32 %ext, 32768
88   %res = select i1 %cond, double %a, double %b
89   ret double %res
92 ; ...and then the high end.
93 define double @f7(double %a, double %b, i16 *%ptr) {
94 ; CHECK-LABEL: f7:
95 ; CHECK-NOT: clhhsi
96 ; CHECK: br %r14
97   %val = load i16, i16 *%ptr
98   %ext = sext i16 %val to i32
99   %cond = icmp ult i32 %ext, -32769
100   %res = select i1 %cond, double %a, double %b
101   ret double %res
104 ; Check signed comparison near the low end of the CLHHSI range, using zero
105 ; extension.  This is equivalent to unsigned comparison.
106 define double @f8(double %a, double %b, i16 *%ptr) {
107 ; CHECK-LABEL: f8:
108 ; CHECK: clhhsi 0(%r2), 1
109 ; CHECK-NEXT: bhr %r14
110 ; CHECK: br %r14
111   %val = load i16, i16 *%ptr
112   %ext = zext i16 %val to i32
113   %cond = icmp sgt i32 %ext, 1
114   %res = select i1 %cond, double %a, double %b
115   ret double %res
118 ; Check signed comparison near the low end of the CLHHSI range, using sign
119 ; extension.  This should use CHHSI instead.
120 define double @f9(double %a, double %b, i16 *%ptr) {
121 ; CHECK-LABEL: f9:
122 ; CHECK: chhsi 0(%r2), 1
123 ; CHECK-NEXT: bhr %r14
124 ; CHECK: br %r14
125   %val = load i16, i16 *%ptr
126   %ext = sext i16 %val to i32
127   %cond = icmp sgt i32 %ext, 1
128   %res = select i1 %cond, double %a, double %b
129   ret double %res
132 ; Check signed comparison near the high end of the CLHHSI range, using zero
133 ; extension.  This is equivalent to unsigned comparison.
134 define double @f10(double %a, double %b, i16 *%ptr) {
135 ; CHECK-LABEL: f10:
136 ; CHECK: clhhsi 0(%r2), 65534
137 ; CHECK-NEXT: blr %r14
138 ; CHECK: br %r14
139   %val = load i16, i16 *%ptr
140   %ext = zext i16 %val to i32
141   %cond = icmp slt i32 %ext, 65534
142   %res = select i1 %cond, double %a, double %b
143   ret double %res
146 ; Check signed comparison near the high end of the CLHHSI range, using sign
147 ; extension.  This should use CHHSI instead.
148 define double @f11(double %a, double %b, i16 *%ptr) {
149 ; CHECK-LABEL: f11:
150 ; CHECK: chhsi 0(%r2), -2
151 ; CHECK-NEXT: blr %r14
152 ; CHECK: br %r14
153   %val = load i16, i16 *%ptr
154   %ext = sext i16 %val to i32
155   %cond = icmp slt i32 %ext, -2
156   %res = select i1 %cond, double %a, double %b
157   ret double %res
160 ; Check signed comparison above the high end of the CLHHSI range, using zero
161 ; extension.  The condition is always true.
162 define double @f12(double %a, double %b, i16 *%ptr) {
163 ; CHECK-LABEL: f12:
164 ; CHECK-NOT: cli
165 ; CHECK: br %r14
166   %val = load i16, i16 *%ptr
167   %ext = zext i16 %val to i32
168   %cond = icmp slt i32 %ext, 65536
169   %res = select i1 %cond, double %a, double %b
170   ret double %res
173 ; Check signed comparison near the high end of the CHHSI range, using sign
174 ; extension.
175 define double @f13(double %a, double %b, i16 *%ptr) {
176 ; CHECK-LABEL: f13:
177 ; CHECK: chhsi 0(%r2), 32766
178 ; CHECK-NEXT: blr %r14
179 ; CHECK: br %r14
180   %val = load i16, i16 *%ptr
181   %ext = sext i16 %val to i32
182   %cond = icmp slt i32 %ext, 32766
183   %res = select i1 %cond, double %a, double %b
184   ret double %res
187 ; Check signed comparison above the high end of the CHHSI range, using sign
188 ; extension.  This condition is always true.
189 define double @f14(double %a, double %b, i16 *%ptr) {
190 ; CHECK-LABEL: f14:
191 ; CHECK-NOT: chhsi
192 ; CHECK: br %r14
193   %val = load i16, i16 *%ptr
194   %ext = sext i16 %val to i32
195   %cond = icmp slt i32 %ext, 32768
196   %res = select i1 %cond, double %a, double %b
197   ret double %res
200 ; Check signed comparison near the low end of the CHHSI range, using sign
201 ; extension.
202 define double @f15(double %a, double %b, i16 *%ptr) {
203 ; CHECK-LABEL: f15:
204 ; CHECK: chhsi 0(%r2), -32767
205 ; CHECK-NEXT: bhr %r14
206 ; CHECK: br %r14
207   %val = load i16, i16 *%ptr
208   %ext = sext i16 %val to i32
209   %cond = icmp sgt i32 %ext, -32767
210   %res = select i1 %cond, double %a, double %b
211   ret double %res
214 ; Check signed comparison below the low end of the CHHSI range, using sign
215 ; extension.  This condition is always true.
216 define double @f16(double %a, double %b, i16 *%ptr) {
217 ; CHECK-LABEL: f16:
218 ; CHECK-NOT: chhsi
219 ; CHECK: br %r14
220   %val = load i16, i16 *%ptr
221   %ext = sext i16 %val to i32
222   %cond = icmp sgt i32 %ext, -32769
223   %res = select i1 %cond, double %a, double %b
224   ret double %res