| blob | daea41399b47c2c7a03ff13655e85b5b1b61b78c |
1 ; RUN: llc < %s -mtriple=armv8-linux-gnueabihf -mattr=+fp-armv8 -float-abi=hard | FileCheck %s
2 @varfloat = global float 0.0
3 @vardouble = global double 0.0
4 define void @test_vsel32sgt(i32 %lhs32, i32 %rhs32, float %a, float %b) {
5 ; CHECK: test_vsel32sgt
6 %tst1 = icmp sgt i32 %lhs32, %rhs32
7 %val1 = select i1 %tst1, float %a, float %b
8 store float %val1, float* @varfloat
9 ; CHECK: cmp r0, r1
10 ; CHECK: vselgt.f32 s0, s0, s1
11 ret void
12 }
13 define void @test_vsel64sgt(i32 %lhs32, i32 %rhs32, double %a, double %b) {
14 ; CHECK: test_vsel64sgt
15 %tst1 = icmp sgt i32 %lhs32, %rhs32
16 %val1 = select i1 %tst1, double %a, double %b
17 store double %val1, double* @vardouble
18 ; CHECK: cmp r0, r1
19 ; CHECK: vselgt.f64 d16, d0, d1
20 ret void
21 }
22 define void @test_vsel32sge(i32 %lhs32, i32 %rhs32, float %a, float %b) {
23 ; CHECK: test_vsel32sge
24 %tst1 = icmp sge i32 %lhs32, %rhs32
25 %val1 = select i1 %tst1, float %a, float %b
26 store float %val1, float* @varfloat
27 ; CHECK: cmp r0, r1
28 ; CHECK: vselge.f32 s0, s0, s1
29 ret void
30 }
31 define void @test_vsel64sge(i32 %lhs32, i32 %rhs32, double %a, double %b) {
32 ; CHECK: test_vsel64sge
33 %tst1 = icmp sge i32 %lhs32, %rhs32
34 %val1 = select i1 %tst1, double %a, double %b
35 store double %val1, double* @vardouble
36 ; CHECK: cmp r0, r1
37 ; CHECK: vselge.f64 d16, d0, d1
38 ret void
39 }
40 define void @test_vsel32eq(i32 %lhs32, i32 %rhs32, float %a, float %b) {
41 ; CHECK: test_vsel32eq
42 %tst1 = icmp eq i32 %lhs32, %rhs32
43 %val1 = select i1 %tst1, float %a, float %b
44 store float %val1, float* @varfloat
45 ; CHECK: cmp r0, r1
46 ; CHECK: vseleq.f32 s0, s0, s1
47 ret void
48 }
49 define void @test_vsel64eq(i32 %lhs32, i32 %rhs32, double %a, double %b) {
50 ; CHECK: test_vsel64eq
51 %tst1 = icmp eq i32 %lhs32, %rhs32
52 %val1 = select i1 %tst1, double %a, double %b
53 store double %val1, double* @vardouble
54 ; CHECK: cmp r0, r1
55 ; CHECK: vseleq.f64 d16, d0, d1
56 ret void
57 }
58 define void @test_vsel32slt(i32 %lhs32, i32 %rhs32, float %a, float %b) {
59 ; CHECK: test_vsel32slt
60 %tst1 = icmp slt i32 %lhs32, %rhs32
61 %val1 = select i1 %tst1, float %a, float %b
62 store float %val1, float* @varfloat
63 ; CHECK: cmp r0, r1
64 ; CHECK: vselge.f32 s0, s1, s0
65 ret void
66 }
67 define void @test_vsel64slt(i32 %lhs32, i32 %rhs32, double %a, double %b) {
68 ; CHECK: test_vsel64slt
69 %tst1 = icmp slt i32 %lhs32, %rhs32
70 %val1 = select i1 %tst1, double %a, double %b
71 store double %val1, double* @vardouble
72 ; CHECK: cmp r0, r1
73 ; CHECK: vselge.f64 d16, d1, d0
74 ret void
75 }
76 define void @test_vsel32sle(i32 %lhs32, i32 %rhs32, float %a, float %b) {
77 ; CHECK: test_vsel32sle
78 %tst1 = icmp sle i32 %lhs32, %rhs32
79 %val1 = select i1 %tst1, float %a, float %b
80 store float %val1, float* @varfloat
81 ; CHECK: cmp r0, r1
82 ; CHECK: vselgt.f32 s0, s1, s0
83 ret void
84 }
85 define void @test_vsel64sle(i32 %lhs32, i32 %rhs32, double %a, double %b) {
86 ; CHECK: test_vsel64sle
87 %tst1 = icmp sle i32 %lhs32, %rhs32
88 %val1 = select i1 %tst1, double %a, double %b
89 store double %val1, double* @vardouble
90 ; CHECK: cmp r0, r1
91 ; CHECK: vselgt.f64 d16, d1, d0
92 ret void
93 }
94 define void @test_vsel32ogt(float %lhs32, float %rhs32, float %a, float %b) {
95 ; CHECK: test_vsel32ogt
96 %tst1 = fcmp ogt float %lhs32, %rhs32
97 %val1 = select i1 %tst1, float %a, float %b
98 store float %val1, float* @varfloat
99 ; CHECK: vcmpe.f32 s0, s1
100 ; CHECK: vselgt.f32 s0, s2, s3
101 ret void
102 }
103 define void @test_vsel64ogt(float %lhs32, float %rhs32, double %a, double %b) {
104 ; CHECK: test_vsel64ogt
105 %tst1 = fcmp ogt float %lhs32, %rhs32
106 %val1 = select i1 %tst1, double %a, double %b
107 store double %val1, double* @vardouble
108 ; CHECK: vcmpe.f32 s0, s1
109 ; CHECK: vselgt.f64 d16, d1, d2
110 ret void
111 }
112 define void @test_vsel32oge(float %lhs32, float %rhs32, float %a, float %b) {
113 ; CHECK: test_vsel32oge
114 %tst1 = fcmp oge float %lhs32, %rhs32
115 %val1 = select i1 %tst1, float %a, float %b
116 store float %val1, float* @varfloat
117 ; CHECK: vcmpe.f32 s0, s1
118 ; CHECK: vselge.f32 s0, s2, s3
119 ret void
120 }
121 define void @test_vsel64oge(float %lhs32, float %rhs32, double %a, double %b) {
122 ; CHECK: test_vsel64oge
123 %tst1 = fcmp oge float %lhs32, %rhs32
124 %val1 = select i1 %tst1, double %a, double %b
125 store double %val1, double* @vardouble
126 ; CHECK: vcmpe.f32 s0, s1
127 ; CHECK: vselge.f64 d16, d1, d2
128 ret void
129 }
130 define void @test_vsel32oeq(float %lhs32, float %rhs32, float %a, float %b) {
131 ; CHECK: test_vsel32oeq
132 %tst1 = fcmp oeq float %lhs32, %rhs32
133 %val1 = select i1 %tst1, float %a, float %b
134 store float %val1, float* @varfloat
135 ; CHECK: vcmp.f32 s0, s1
136 ; CHECK: vseleq.f32 s0, s2, s3
137 ret void
138 }
139 define void @test_vsel64oeq(float %lhs32, float %rhs32, double %a, double %b) {
140 ; CHECK: test_vsel64oeq
141 %tst1 = fcmp oeq float %lhs32, %rhs32
142 %val1 = select i1 %tst1, double %a, double %b
143 store double %val1, double* @vardouble
144 ; CHECK: vcmp.f32 s0, s1
145 ; CHECK: vseleq.f64 d16, d1, d2
146 ret void
147 }
148 define void @test_vsel32ugt(float %lhs32, float %rhs32, float %a, float %b) {
149 ; CHECK: test_vsel32ugt
150 %tst1 = fcmp ugt float %lhs32, %rhs32
151 %val1 = select i1 %tst1, float %a, float %b
152 store float %val1, float* @varfloat
153 ; CHECK: vcmpe.f32 s1, s0
154 ; CHECK: vselge.f32 s0, s3, s2
155 ret void
156 }
157 define void @test_vsel64ugt(float %lhs32, float %rhs32, double %a, double %b) {
158 ; CHECK: test_vsel64ugt
159 %tst1 = fcmp ugt float %lhs32, %rhs32
160 %val1 = select i1 %tst1, double %a, double %b
161 store double %val1, double* @vardouble
162 ; CHECK: vcmpe.f32 s1, s0
163 ; CHECK: vselge.f64 d16, d2, d1
164 ret void
165 }
166 define void @test_vsel32uge(float %lhs32, float %rhs32, float %a, float %b) {
167 ; CHECK: test_vsel32uge
168 %tst1 = fcmp uge float %lhs32, %rhs32
169 %val1 = select i1 %tst1, float %a, float %b
170 store float %val1, float* @varfloat
171 ; CHECK: vcmpe.f32 s1, s0
172 ; CHECK: vselgt.f32 s0, s3, s2
173 ret void
174 }
175 define void @test_vsel64uge(float %lhs32, float %rhs32, double %a, double %b) {
176 ; CHECK: test_vsel64uge
177 %tst1 = fcmp uge float %lhs32, %rhs32
178 %val1 = select i1 %tst1, double %a, double %b
179 store double %val1, double* @vardouble
180 ; CHECK: vcmpe.f32 s1, s0
181 ; CHECK: vselgt.f64 d16, d2, d1
182 ret void
183 }
184 define void @test_vsel32olt(float %lhs32, float %rhs32, float %a, float %b) {
185 ; CHECK: test_vsel32olt
186 %tst1 = fcmp olt float %lhs32, %rhs32
187 %val1 = select i1 %tst1, float %a, float %b
188 store float %val1, float* @varfloat
189 ; CHECK: vcmpe.f32 s1, s0
190 ; CHECK: vselgt.f32 s0, s2, s3
191 ret void
192 }
193 define void @test_vsel64olt(float %lhs32, float %rhs32, double %a, double %b) {
194 ; CHECK: test_vsel64olt
195 %tst1 = fcmp olt float %lhs32, %rhs32
196 %val1 = select i1 %tst1, double %a, double %b
197 store double %val1, double* @vardouble
198 ; CHECK: vcmpe.f32 s1, s0
199 ; CHECK: vselgt.f64 d16, d1, d2
200 ret void
201 }
202 define void @test_vsel32ult(float %lhs32, float %rhs32, float %a, float %b) {
203 ; CHECK: test_vsel32ult
204 %tst1 = fcmp ult float %lhs32, %rhs32
205 %val1 = select i1 %tst1, float %a, float %b
206 store float %val1, float* @varfloat
207 ; CHECK: vcmpe.f32 s0, s1
208 ; CHECK: vselge.f32 s0, s3, s2
209 ret void
210 }
211 define void @test_vsel64ult(float %lhs32, float %rhs32, double %a, double %b) {
212 ; CHECK: test_vsel64ult
213 %tst1 = fcmp ult float %lhs32, %rhs32
214 %val1 = select i1 %tst1, double %a, double %b
215 store double %val1, double* @vardouble
216 ; CHECK: vcmpe.f32 s0, s1
217 ; CHECK: vselge.f64 d16, d2, d1
218 ret void
219 }
220 define void @test_vsel32ole(float %lhs32, float %rhs32, float %a, float %b) {
221 ; CHECK: test_vsel32ole
222 %tst1 = fcmp ole float %lhs32, %rhs32
223 %val1 = select i1 %tst1, float %a, float %b
224 store float %val1, float* @varfloat
225 ; CHECK: vcmpe.f32 s1, s0
226 ; CHECK: vselge.f32 s0, s2, s3
227 ret void
228 }
229 define void @test_vsel64ole(float %lhs32, float %rhs32, double %a, double %b) {
230 ; CHECK: test_vsel64ole
231 %tst1 = fcmp ole float %lhs32, %rhs32
232 %val1 = select i1 %tst1, double %a, double %b
233 store double %val1, double* @vardouble
234 ; CHECK: vcmpe.f32 s1, s0
235 ; CHECK: vselge.f64 d16, d1, d2
236 ret void
237 }
238 define void @test_vsel32ule(float %lhs32, float %rhs32, float %a, float %b) {
239 ; CHECK: test_vsel32ule
240 %tst1 = fcmp ule float %lhs32, %rhs32
241 %val1 = select i1 %tst1, float %a, float %b
242 store float %val1, float* @varfloat
243 ; CHECK: vcmpe.f32 s0, s1
244 ; CHECK: vselgt.f32 s0, s3, s2
245 ret void
246 }
247 define void @test_vsel64ule(float %lhs32, float %rhs32, double %a, double %b) {
248 ; CHECK: test_vsel64ule
249 %tst1 = fcmp ule float %lhs32, %rhs32
250 %val1 = select i1 %tst1, double %a, double %b
251 store double %val1, double* @vardouble
252 ; CHECK: vcmpe.f32 s0, s1
253 ; CHECK: vselgt.f64 d16, d2, d1
254 ret void
255 }
256 define void @test_vsel32ord(float %lhs32, float %rhs32, float %a, float %b) {
257 ; CHECK: test_vsel32ord
258 %tst1 = fcmp ord float %lhs32, %rhs32
259 %val1 = select i1 %tst1, float %a, float %b
260 store float %val1, float* @varfloat
261 ; CHECK: vcmpe.f32 s0, s1
262 ; CHECK: vselvs.f32 s0, s3, s2
263 ret void
264 }
265 define void @test_vsel64ord(float %lhs32, float %rhs32, double %a, double %b) {
266 ; CHECK: test_vsel64ord
267 %tst1 = fcmp ord float %lhs32, %rhs32
268 %val1 = select i1 %tst1, double %a, double %b
269 store double %val1, double* @vardouble
270 ; CHECK: vcmpe.f32 s0, s1
271 ; CHECK: vselvs.f64 d16, d2, d1
272 ret void
273 }
274 define void @test_vsel32une(float %lhs32, float %rhs32, float %a, float %b) {
275 ; CHECK: test_vsel32une
276 %tst1 = fcmp une float %lhs32, %rhs32
277 %val1 = select i1 %tst1, float %a, float %b
278 store float %val1, float* @varfloat
279 ; CHECK: vcmp.f32 s0, s1
280 ; CHECK: vseleq.f32 s0, s3, s2
281 ret void
282 }
283 define void @test_vsel64une(float %lhs32, float %rhs32, double %a, double %b) {
284 ; CHECK: test_vsel64une
285 %tst1 = fcmp une float %lhs32, %rhs32
286 %val1 = select i1 %tst1, double %a, double %b
287 store double %val1, double* @vardouble
288 ; CHECK: vcmp.f32 s0, s1
289 ; CHECK: vseleq.f64 d16, d2, d1
290 ret void
291 }
292 define void @test_vsel32uno(float %lhs32, float %rhs32, float %a, float %b) {
293 ; CHECK: test_vsel32uno
294 %tst1 = fcmp uno float %lhs32, %rhs32
295 %val1 = select i1 %tst1, float %a, float %b
296 store float %val1, float* @varfloat
297 ; CHECK: vcmpe.f32 s0, s1
298 ; CHECK: vselvs.f32 s0, s2, s3
299 ret void
300 }
301 define void @test_vsel64uno(float %lhs32, float %rhs32, double %a, double %b) {
302 ; CHECK: test_vsel64uno
303 %tst1 = fcmp uno float %lhs32, %rhs32
304 %val1 = select i1 %tst1, double %a, double %b
305 store double %val1, double* @vardouble
306 ; CHECK: vcmpe.f32 s0, s1
307 ; CHECK: vselvs.f64 d16, d1, d2
308 ret void
309 }