[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / SystemZ / vec-cmp-02.ll
blob78fb46c01c087b721f61f4d2b42303b7557903a8
1 ; Test v8i16 comparisons.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s
5 ; Test eq.
6 define <8 x i16> @f1(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
7 ; CHECK-LABEL: f1:
8 ; CHECK: vceqh %v24, %v26, %v28
9 ; CHECK-NEXT: br %r14
10   %cmp = icmp eq <8 x i16> %val1, %val2
11   %ret = sext <8 x i1> %cmp to <8 x i16>
12   ret <8 x i16> %ret
15 ; Test ne.
16 define <8 x i16> @f2(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
17 ; CHECK-LABEL: f2:
18 ; CHECK: vceqh [[REG:%v[0-9]+]], %v26, %v28
19 ; CHECK-NEXT: vno %v24, [[REG]], [[REG]]
20 ; CHECK-NEXT: br %r14
21   %cmp = icmp ne <8 x i16> %val1, %val2
22   %ret = sext <8 x i1> %cmp to <8 x i16>
23   ret <8 x i16> %ret
26 ; Test sgt.
27 define <8 x i16> @f3(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
28 ; CHECK-LABEL: f3:
29 ; CHECK: vchh %v24, %v26, %v28
30 ; CHECK-NEXT: br %r14
31   %cmp = icmp sgt <8 x i16> %val1, %val2
32   %ret = sext <8 x i1> %cmp to <8 x i16>
33   ret <8 x i16> %ret
36 ; Test sge.
37 define <8 x i16> @f4(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
38 ; CHECK-LABEL: f4:
39 ; CHECK: vchh [[REG:%v[0-9]+]], %v28, %v26
40 ; CHECK-NEXT: vno %v24, [[REG]], [[REG]]
41 ; CHECK-NEXT: br %r14
42   %cmp = icmp sge <8 x i16> %val1, %val2
43   %ret = sext <8 x i1> %cmp to <8 x i16>
44   ret <8 x i16> %ret
47 ; Test sle.
48 define <8 x i16> @f5(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
49 ; CHECK-LABEL: f5:
50 ; CHECK: vchh [[REG:%v[0-9]+]], %v26, %v28
51 ; CHECK-NEXT: vno %v24, [[REG]], [[REG]]
52 ; CHECK-NEXT: br %r14
53   %cmp = icmp sle <8 x i16> %val1, %val2
54   %ret = sext <8 x i1> %cmp to <8 x i16>
55   ret <8 x i16> %ret
58 ; Test slt.
59 define <8 x i16> @f6(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
60 ; CHECK-LABEL: f6:
61 ; CHECK: vchh %v24, %v28, %v26
62 ; CHECK-NEXT: br %r14
63   %cmp = icmp slt <8 x i16> %val1, %val2
64   %ret = sext <8 x i1> %cmp to <8 x i16>
65   ret <8 x i16> %ret
68 ; Test ugt.
69 define <8 x i16> @f7(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
70 ; CHECK-LABEL: f7:
71 ; CHECK: vchlh %v24, %v26, %v28
72 ; CHECK-NEXT: br %r14
73   %cmp = icmp ugt <8 x i16> %val1, %val2
74   %ret = sext <8 x i1> %cmp to <8 x i16>
75   ret <8 x i16> %ret
78 ; Test uge.
79 define <8 x i16> @f8(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
80 ; CHECK-LABEL: f8:
81 ; CHECK: vchlh [[REG:%v[0-9]+]], %v28, %v26
82 ; CHECK-NEXT: vno %v24, [[REG]], [[REG]]
83 ; CHECK-NEXT: br %r14
84   %cmp = icmp uge <8 x i16> %val1, %val2
85   %ret = sext <8 x i1> %cmp to <8 x i16>
86   ret <8 x i16> %ret
89 ; Test ule.
90 define <8 x i16> @f9(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
91 ; CHECK-LABEL: f9:
92 ; CHECK: vchlh [[REG:%v[0-9]+]], %v26, %v28
93 ; CHECK-NEXT: vno %v24, [[REG]], [[REG]]
94 ; CHECK-NEXT: br %r14
95   %cmp = icmp ule <8 x i16> %val1, %val2
96   %ret = sext <8 x i1> %cmp to <8 x i16>
97   ret <8 x i16> %ret
100 ; Test ult.
101 define <8 x i16> @f10(<8 x i16> %dummy, <8 x i16> %val1, <8 x i16> %val2) {
102 ; CHECK-LABEL: f10:
103 ; CHECK: vchlh %v24, %v28, %v26
104 ; CHECK-NEXT: br %r14
105   %cmp = icmp ult <8 x i16> %val1, %val2
106   %ret = sext <8 x i1> %cmp to <8 x i16>
107   ret <8 x i16> %ret
110 ; Test eq selects.
111 define <8 x i16> @f11(<8 x i16> %val1, <8 x i16> %val2,
112                       <8 x i16> %val3, <8 x i16> %val4) {
113 ; CHECK-LABEL: f11:
114 ; CHECK: vceqh [[REG:%v[0-9]+]], %v24, %v26
115 ; CHECK-NEXT: vsel %v24, %v28, %v30, [[REG]]
116 ; CHECK-NEXT: br %r14
117   %cmp = icmp eq <8 x i16> %val1, %val2
118   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
119   ret <8 x i16> %ret
122 ; Test ne selects.
123 define <8 x i16> @f12(<8 x i16> %val1, <8 x i16> %val2,
124                       <8 x i16> %val3, <8 x i16> %val4) {
125 ; CHECK-LABEL: f12:
126 ; CHECK: vceqh [[REG:%v[0-9]+]], %v24, %v26
127 ; CHECK-NEXT: vsel %v24, %v30, %v28, [[REG]]
128 ; CHECK-NEXT: br %r14
129   %cmp = icmp ne <8 x i16> %val1, %val2
130   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
131   ret <8 x i16> %ret
134 ; Test sgt selects.
135 define <8 x i16> @f13(<8 x i16> %val1, <8 x i16> %val2,
136                       <8 x i16> %val3, <8 x i16> %val4) {
137 ; CHECK-LABEL: f13:
138 ; CHECK: vchh [[REG:%v[0-9]+]], %v24, %v26
139 ; CHECK-NEXT: vsel %v24, %v28, %v30, [[REG]]
140 ; CHECK-NEXT: br %r14
141   %cmp = icmp sgt <8 x i16> %val1, %val2
142   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
143   ret <8 x i16> %ret
146 ; Test sge selects.
147 define <8 x i16> @f14(<8 x i16> %val1, <8 x i16> %val2,
148                       <8 x i16> %val3, <8 x i16> %val4) {
149 ; CHECK-LABEL: f14:
150 ; CHECK: vchh [[REG:%v[0-9]+]], %v26, %v24
151 ; CHECK-NEXT: vsel %v24, %v30, %v28, [[REG]]
152 ; CHECK-NEXT: br %r14
153   %cmp = icmp sge <8 x i16> %val1, %val2
154   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
155   ret <8 x i16> %ret
158 ; Test sle selects.
159 define <8 x i16> @f15(<8 x i16> %val1, <8 x i16> %val2,
160                       <8 x i16> %val3, <8 x i16> %val4) {
161 ; CHECK-LABEL: f15:
162 ; CHECK: vchh [[REG:%v[0-9]+]], %v24, %v26
163 ; CHECK-NEXT: vsel %v24, %v30, %v28, [[REG]]
164 ; CHECK-NEXT: br %r14
165   %cmp = icmp sle <8 x i16> %val1, %val2
166   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
167   ret <8 x i16> %ret
170 ; Test slt selects.
171 define <8 x i16> @f16(<8 x i16> %val1, <8 x i16> %val2,
172                       <8 x i16> %val3, <8 x i16> %val4) {
173 ; CHECK-LABEL: f16:
174 ; CHECK: vchh [[REG:%v[0-9]+]], %v26, %v24
175 ; CHECK-NEXT: vsel %v24, %v28, %v30, [[REG]]
176 ; CHECK-NEXT: br %r14
177   %cmp = icmp slt <8 x i16> %val1, %val2
178   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
179   ret <8 x i16> %ret
182 ; Test ugt selects.
183 define <8 x i16> @f17(<8 x i16> %val1, <8 x i16> %val2,
184                       <8 x i16> %val3, <8 x i16> %val4) {
185 ; CHECK-LABEL: f17:
186 ; CHECK: vchlh [[REG:%v[0-9]+]], %v24, %v26
187 ; CHECK-NEXT: vsel %v24, %v28, %v30, [[REG]]
188 ; CHECK-NEXT: br %r14
189   %cmp = icmp ugt <8 x i16> %val1, %val2
190   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
191   ret <8 x i16> %ret
194 ; Test uge selects.
195 define <8 x i16> @f18(<8 x i16> %val1, <8 x i16> %val2,
196                       <8 x i16> %val3, <8 x i16> %val4) {
197 ; CHECK-LABEL: f18:
198 ; CHECK: vchlh [[REG:%v[0-9]+]], %v26, %v24
199 ; CHECK-NEXT: vsel %v24, %v30, %v28, [[REG]]
200 ; CHECK-NEXT: br %r14
201   %cmp = icmp uge <8 x i16> %val1, %val2
202   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
203   ret <8 x i16> %ret
206 ; Test ule selects.
207 define <8 x i16> @f19(<8 x i16> %val1, <8 x i16> %val2,
208                       <8 x i16> %val3, <8 x i16> %val4) {
209 ; CHECK-LABEL: f19:
210 ; CHECK: vchlh [[REG:%v[0-9]+]], %v24, %v26
211 ; CHECK-NEXT: vsel %v24, %v30, %v28, [[REG]]
212 ; CHECK-NEXT: br %r14
213   %cmp = icmp ule <8 x i16> %val1, %val2
214   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
215   ret <8 x i16> %ret
218 ; Test ult selects.
219 define <8 x i16> @f20(<8 x i16> %val1, <8 x i16> %val2,
220                       <8 x i16> %val3, <8 x i16> %val4) {
221 ; CHECK-LABEL: f20:
222 ; CHECK: vchlh [[REG:%v[0-9]+]], %v26, %v24
223 ; CHECK-NEXT: vsel %v24, %v28, %v30, [[REG]]
224 ; CHECK-NEXT: br %r14
225   %cmp = icmp ult <8 x i16> %val1, %val2
226   %ret = select <8 x i1> %cmp, <8 x i16> %val3, <8 x i16> %val4
227   ret <8 x i16> %ret