| blob | d323a7e677b5aa3808e98640623bd1496f562f43 |
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -mtriple=aarch64 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-NOFP16
3 ; RUN: llc -mtriple=aarch64 -mattr=+fullfp16 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-FP16
4 ; RUN: llc -mtriple=aarch64 -global-isel=true -global-isel-abort=2 %s -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-GI
5 ; RUN: llc -mtriple=aarch64 -global-isel=true -global-isel-abort=2 -mattr=+fullfp16 %s -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-GI
7 ; Check that constrained fp intrinsics are correctly lowered.
9 ; CHECK-GI: warning: Instruction selection used fallback path for add_f16
10 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for sub_f16
11 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for mul_f16
12 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for div_f16
13 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for frem_f16
14 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fma_f16
15 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fptosi_i32_f16
16 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fptoui_i32_f16
17 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fptosi_i64_f16
18 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fptoui_i64_f16
19 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for sitofp_f16_i32
20 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for uitofp_f16_i32
21 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for sitofp_f16_i64
22 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for uitofp_f16_i64
23 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for sitofp_f16_i128
24 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for uitofp_f16_i128
25 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for sqrt_f16
26 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for powi_f16
27 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for sin_f16
28 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for cos_f16
29 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for tan_f16
30 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for asin_f16
31 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for acos_f16
32 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for atan_f16
33 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for atan2_f16
34 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for sinh_f16
35 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for cosh_f16
36 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for tanh_f16
37 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for pow_f16
38 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for log_f16
39 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for log10_f16
40 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for log2_f16
41 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for exp_f16
42 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for exp2_f16
43 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for rint_f16
44 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for nearbyint_f16
45 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for lrint_f16
46 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for llrint_f16
47 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for maxnum_f16
48 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for minnum_f16
49 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for ceil_f16
50 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for floor_f16
51 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for lround_f16
52 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for llround_f16
53 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for round_f16
54 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for roundeven_f16
55 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for trunc_f16
56 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for ldexp_f16
57 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_olt_f16
58 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_ole_f16
59 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_ogt_f16
60 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_oge_f16
61 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_oeq_f16
62 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_one_f16
63 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_ult_f16
64 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_ule_f16
65 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_ugt_f16
66 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_uge_f16
67 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_ueq_f16
68 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmp_une_f16
69 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_olt_f16
70 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_ole_f16
71 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_ogt_f16
72 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_oge_f16
73 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_oeq_f16
74 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_one_f16
75 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_ult_f16
76 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_ule_f16
77 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_ugt_f16
78 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_uge_f16
79 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_ueq_f16
80 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fcmps_une_f16
81 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fptrunc_f16_f32
82 ; CHECK-GI-NEXT: warning: Instruction selection used fallback path for fpext_f32_f16
84 ; Half-precision intrinsics
86 define half @add_f16(half %x, half %y) #0 {
87 ; CHECK-NOFP16-LABEL: add_f16:
88 ; CHECK-NOFP16: // %bb.0:
89 ; CHECK-NOFP16-NEXT: fcvt s1, h1
90 ; CHECK-NOFP16-NEXT: fcvt s0, h0
91 ; CHECK-NOFP16-NEXT: fadd s0, s0, s1
92 ; CHECK-NOFP16-NEXT: fcvt h0, s0
93 ; CHECK-NOFP16-NEXT: ret
94 ;
95 ; CHECK-FP16-LABEL: add_f16:
96 ; CHECK-FP16: // %bb.0:
97 ; CHECK-FP16-NEXT: fadd h0, h0, h1
98 ; CHECK-FP16-NEXT: ret
99 %val = call half @llvm.experimental.constrained.fadd.f16(half %x, half %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
100 ret half %val
101 }
103 define half @sub_f16(half %x, half %y) #0 {
104 ; CHECK-NOFP16-LABEL: sub_f16:
105 ; CHECK-NOFP16: // %bb.0:
106 ; CHECK-NOFP16-NEXT: fcvt s1, h1
107 ; CHECK-NOFP16-NEXT: fcvt s0, h0
108 ; CHECK-NOFP16-NEXT: fsub s0, s0, s1
109 ; CHECK-NOFP16-NEXT: fcvt h0, s0
110 ; CHECK-NOFP16-NEXT: ret
111 ;
112 ; CHECK-FP16-LABEL: sub_f16:
113 ; CHECK-FP16: // %bb.0:
114 ; CHECK-FP16-NEXT: fsub h0, h0, h1
115 ; CHECK-FP16-NEXT: ret
116 %val = call half @llvm.experimental.constrained.fsub.f16(half %x, half %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
117 ret half %val
118 }
120 define half @mul_f16(half %x, half %y) #0 {
121 ; CHECK-NOFP16-LABEL: mul_f16:
122 ; CHECK-NOFP16: // %bb.0:
123 ; CHECK-NOFP16-NEXT: fcvt s1, h1
124 ; CHECK-NOFP16-NEXT: fcvt s0, h0
125 ; CHECK-NOFP16-NEXT: fmul s0, s0, s1
126 ; CHECK-NOFP16-NEXT: fcvt h0, s0
127 ; CHECK-NOFP16-NEXT: ret
128 ;
129 ; CHECK-FP16-LABEL: mul_f16:
130 ; CHECK-FP16: // %bb.0:
131 ; CHECK-FP16-NEXT: fmul h0, h0, h1
132 ; CHECK-FP16-NEXT: ret
133 %val = call half @llvm.experimental.constrained.fmul.f16(half %x, half %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
134 ret half %val
135 }
137 define half @div_f16(half %x, half %y) #0 {
138 ; CHECK-NOFP16-LABEL: div_f16:
139 ; CHECK-NOFP16: // %bb.0:
140 ; CHECK-NOFP16-NEXT: fcvt s1, h1
141 ; CHECK-NOFP16-NEXT: fcvt s0, h0
142 ; CHECK-NOFP16-NEXT: fdiv s0, s0, s1
143 ; CHECK-NOFP16-NEXT: fcvt h0, s0
144 ; CHECK-NOFP16-NEXT: ret
145 ;
146 ; CHECK-FP16-LABEL: div_f16:
147 ; CHECK-FP16: // %bb.0:
148 ; CHECK-FP16-NEXT: fdiv h0, h0, h1
149 ; CHECK-FP16-NEXT: ret
150 %val = call half @llvm.experimental.constrained.fdiv.f16(half %x, half %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
151 ret half %val
152 }
154 define half @frem_f16(half %x, half %y) #0 {
155 ; CHECK-LABEL: frem_f16:
156 ; CHECK: // %bb.0:
157 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
158 ; CHECK-NEXT: .cfi_def_cfa_offset 16
159 ; CHECK-NEXT: .cfi_offset w30, -16
160 ; CHECK-NEXT: fcvt s1, h1
161 ; CHECK-NEXT: fcvt s0, h0
162 ; CHECK-NEXT: bl fmodf
163 ; CHECK-NEXT: fcvt h0, s0
164 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
165 ; CHECK-NEXT: ret
166 %val = call half @llvm.experimental.constrained.frem.f16(half %x, half %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
167 ret half %val
168 }
170 define half @fma_f16(half %x, half %y, half %z) #0 {
171 ; CHECK-NOFP16-LABEL: fma_f16:
172 ; CHECK-NOFP16: // %bb.0:
173 ; CHECK-NOFP16-NEXT: fcvt s2, h2
174 ; CHECK-NOFP16-NEXT: fcvt s1, h1
175 ; CHECK-NOFP16-NEXT: fcvt s0, h0
176 ; CHECK-NOFP16-NEXT: fmadd s0, s0, s1, s2
177 ; CHECK-NOFP16-NEXT: fcvt h0, s0
178 ; CHECK-NOFP16-NEXT: ret
179 ;
180 ; CHECK-FP16-LABEL: fma_f16:
181 ; CHECK-FP16: // %bb.0:
182 ; CHECK-FP16-NEXT: fmadd h0, h0, h1, h2
183 ; CHECK-FP16-NEXT: ret
184 %val = call half @llvm.experimental.constrained.fma.f16(half %x, half %y, half %z, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
185 ret half %val
186 }
188 define i32 @fptosi_i32_f16(half %x) #0 {
189 ; CHECK-NOFP16-LABEL: fptosi_i32_f16:
190 ; CHECK-NOFP16: // %bb.0:
191 ; CHECK-NOFP16-NEXT: fcvt s0, h0
192 ; CHECK-NOFP16-NEXT: fcvtzs w0, s0
193 ; CHECK-NOFP16-NEXT: ret
194 ;
195 ; CHECK-FP16-LABEL: fptosi_i32_f16:
196 ; CHECK-FP16: // %bb.0:
197 ; CHECK-FP16-NEXT: fcvtzs w0, h0
198 ; CHECK-FP16-NEXT: ret
199 %val = call i32 @llvm.experimental.constrained.fptosi.i32.f16(half %x, metadata !"fpexcept.strict") #0
200 ret i32 %val
201 }
203 define i32 @fptoui_i32_f16(half %x) #0 {
204 ; CHECK-NOFP16-LABEL: fptoui_i32_f16:
205 ; CHECK-NOFP16: // %bb.0:
206 ; CHECK-NOFP16-NEXT: fcvt s0, h0
207 ; CHECK-NOFP16-NEXT: fcvtzu w0, s0
208 ; CHECK-NOFP16-NEXT: ret
209 ;
210 ; CHECK-FP16-LABEL: fptoui_i32_f16:
211 ; CHECK-FP16: // %bb.0:
212 ; CHECK-FP16-NEXT: fcvtzu w0, h0
213 ; CHECK-FP16-NEXT: ret
214 %val = call i32 @llvm.experimental.constrained.fptoui.i32.f16(half %x, metadata !"fpexcept.strict") #0
215 ret i32 %val
216 }
218 define i64 @fptosi_i64_f16(half %x) #0 {
219 ; CHECK-NOFP16-LABEL: fptosi_i64_f16:
220 ; CHECK-NOFP16: // %bb.0:
221 ; CHECK-NOFP16-NEXT: fcvt s0, h0
222 ; CHECK-NOFP16-NEXT: fcvtzs x0, s0
223 ; CHECK-NOFP16-NEXT: ret
224 ;
225 ; CHECK-FP16-LABEL: fptosi_i64_f16:
226 ; CHECK-FP16: // %bb.0:
227 ; CHECK-FP16-NEXT: fcvtzs x0, h0
228 ; CHECK-FP16-NEXT: ret
229 %val = call i64 @llvm.experimental.constrained.fptosi.i64.f16(half %x, metadata !"fpexcept.strict") #0
230 ret i64 %val
231 }
233 define i64 @fptoui_i64_f16(half %x) #0 {
234 ; CHECK-NOFP16-LABEL: fptoui_i64_f16:
235 ; CHECK-NOFP16: // %bb.0:
236 ; CHECK-NOFP16-NEXT: fcvt s0, h0
237 ; CHECK-NOFP16-NEXT: fcvtzu x0, s0
238 ; CHECK-NOFP16-NEXT: ret
239 ;
240 ; CHECK-FP16-LABEL: fptoui_i64_f16:
241 ; CHECK-FP16: // %bb.0:
242 ; CHECK-FP16-NEXT: fcvtzu x0, h0
243 ; CHECK-FP16-NEXT: ret
244 %val = call i64 @llvm.experimental.constrained.fptoui.i64.f16(half %x, metadata !"fpexcept.strict") #0
245 ret i64 %val
246 }
248 define half @sitofp_f16_i32(i32 %x) #0 {
249 ; CHECK-NOFP16-LABEL: sitofp_f16_i32:
250 ; CHECK-NOFP16: // %bb.0:
251 ; CHECK-NOFP16-NEXT: scvtf s0, w0
252 ; CHECK-NOFP16-NEXT: fcvt h0, s0
253 ; CHECK-NOFP16-NEXT: ret
254 ;
255 ; CHECK-FP16-LABEL: sitofp_f16_i32:
256 ; CHECK-FP16: // %bb.0:
257 ; CHECK-FP16-NEXT: scvtf h0, w0
258 ; CHECK-FP16-NEXT: ret
259 %val = call half @llvm.experimental.constrained.sitofp.f16.i32(i32 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
260 ret half %val
261 }
263 define half @uitofp_f16_i32(i32 %x) #0 {
264 ; CHECK-NOFP16-LABEL: uitofp_f16_i32:
265 ; CHECK-NOFP16: // %bb.0:
266 ; CHECK-NOFP16-NEXT: ucvtf s0, w0
267 ; CHECK-NOFP16-NEXT: fcvt h0, s0
268 ; CHECK-NOFP16-NEXT: ret
269 ;
270 ; CHECK-FP16-LABEL: uitofp_f16_i32:
271 ; CHECK-FP16: // %bb.0:
272 ; CHECK-FP16-NEXT: ucvtf h0, w0
273 ; CHECK-FP16-NEXT: ret
274 %val = call half @llvm.experimental.constrained.uitofp.f16.i32(i32 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
275 ret half %val
276 }
278 define half @sitofp_f16_i64(i64 %x) #0 {
279 ; CHECK-NOFP16-LABEL: sitofp_f16_i64:
280 ; CHECK-NOFP16: // %bb.0:
281 ; CHECK-NOFP16-NEXT: scvtf s0, x0
282 ; CHECK-NOFP16-NEXT: fcvt h0, s0
283 ; CHECK-NOFP16-NEXT: ret
284 ;
285 ; CHECK-FP16-LABEL: sitofp_f16_i64:
286 ; CHECK-FP16: // %bb.0:
287 ; CHECK-FP16-NEXT: scvtf h0, x0
288 ; CHECK-FP16-NEXT: ret
289 %val = call half @llvm.experimental.constrained.sitofp.f16.i64(i64 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
290 ret half %val
291 }
293 define half @uitofp_f16_i64(i64 %x) #0 {
294 ; CHECK-NOFP16-LABEL: uitofp_f16_i64:
295 ; CHECK-NOFP16: // %bb.0:
296 ; CHECK-NOFP16-NEXT: ucvtf s0, x0
297 ; CHECK-NOFP16-NEXT: fcvt h0, s0
298 ; CHECK-NOFP16-NEXT: ret
299 ;
300 ; CHECK-FP16-LABEL: uitofp_f16_i64:
301 ; CHECK-FP16: // %bb.0:
302 ; CHECK-FP16-NEXT: ucvtf h0, x0
303 ; CHECK-FP16-NEXT: ret
304 %val = call half @llvm.experimental.constrained.uitofp.f16.i64(i64 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
305 ret half %val
306 }
308 define half @sitofp_f16_i128(i128 %x) #0 {
309 ; CHECK-NOFP16-LABEL: sitofp_f16_i128:
310 ; CHECK-NOFP16: // %bb.0:
311 ; CHECK-NOFP16-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
312 ; CHECK-NOFP16-NEXT: .cfi_def_cfa_offset 16
313 ; CHECK-NOFP16-NEXT: .cfi_offset w30, -16
314 ; CHECK-NOFP16-NEXT: bl __floattisf
315 ; CHECK-NOFP16-NEXT: fcvt h0, s0
316 ; CHECK-NOFP16-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
317 ; CHECK-NOFP16-NEXT: ret
318 ;
319 ; CHECK-FP16-LABEL: sitofp_f16_i128:
320 ; CHECK-FP16: // %bb.0:
321 ; CHECK-FP16-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
322 ; CHECK-FP16-NEXT: .cfi_def_cfa_offset 16
323 ; CHECK-FP16-NEXT: .cfi_offset w30, -16
324 ; CHECK-FP16-NEXT: bl __floattihf
325 ; CHECK-FP16-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
326 ; CHECK-FP16-NEXT: ret
327 %val = call half @llvm.experimental.constrained.sitofp.f16.i128(i128 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
328 ret half %val
329 }
331 define half @uitofp_f16_i128(i128 %x) #0 {
332 ; CHECK-NOFP16-LABEL: uitofp_f16_i128:
333 ; CHECK-NOFP16: // %bb.0:
334 ; CHECK-NOFP16-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
335 ; CHECK-NOFP16-NEXT: .cfi_def_cfa_offset 16
336 ; CHECK-NOFP16-NEXT: .cfi_offset w30, -16
337 ; CHECK-NOFP16-NEXT: bl __floatuntisf
338 ; CHECK-NOFP16-NEXT: fcvt h0, s0
339 ; CHECK-NOFP16-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
340 ; CHECK-NOFP16-NEXT: ret
341 ;
342 ; CHECK-FP16-LABEL: uitofp_f16_i128:
343 ; CHECK-FP16: // %bb.0:
344 ; CHECK-FP16-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
345 ; CHECK-FP16-NEXT: .cfi_def_cfa_offset 16
346 ; CHECK-FP16-NEXT: .cfi_offset w30, -16
347 ; CHECK-FP16-NEXT: bl __floatuntihf
348 ; CHECK-FP16-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
349 ; CHECK-FP16-NEXT: ret
350 %val = call half @llvm.experimental.constrained.uitofp.f16.i128(i128 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
351 ret half %val
352 }
354 define half @sqrt_f16(half %x) #0 {
355 ; CHECK-NOFP16-LABEL: sqrt_f16:
356 ; CHECK-NOFP16: // %bb.0:
357 ; CHECK-NOFP16-NEXT: fcvt s0, h0
358 ; CHECK-NOFP16-NEXT: fsqrt s0, s0
359 ; CHECK-NOFP16-NEXT: fcvt h0, s0
360 ; CHECK-NOFP16-NEXT: ret
361 ;
362 ; CHECK-FP16-LABEL: sqrt_f16:
363 ; CHECK-FP16: // %bb.0:
364 ; CHECK-FP16-NEXT: fsqrt h0, h0
365 ; CHECK-FP16-NEXT: ret
366 %val = call half @llvm.experimental.constrained.sqrt.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
367 ret half %val
368 }
370 define half @powi_f16(half %x, i32 %y) #0 {
371 ; CHECK-LABEL: powi_f16:
372 ; CHECK: // %bb.0:
373 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
374 ; CHECK-NEXT: .cfi_def_cfa_offset 16
375 ; CHECK-NEXT: .cfi_offset w30, -16
376 ; CHECK-NEXT: fcvt s0, h0
377 ; CHECK-NEXT: bl __powisf2
378 ; CHECK-NEXT: fcvt h0, s0
379 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
380 ; CHECK-NEXT: ret
381 %val = call half @llvm.experimental.constrained.powi.f16(half %x, i32 %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
382 ret half %val
383 }
385 define half @sin_f16(half %x) #0 {
386 ; CHECK-LABEL: sin_f16:
387 ; CHECK: // %bb.0:
388 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
389 ; CHECK-NEXT: .cfi_def_cfa_offset 16
390 ; CHECK-NEXT: .cfi_offset w30, -16
391 ; CHECK-NEXT: fcvt s0, h0
392 ; CHECK-NEXT: bl sinf
393 ; CHECK-NEXT: fcvt h0, s0
394 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
395 ; CHECK-NEXT: ret
396 %val = call half @llvm.experimental.constrained.sin.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
397 ret half %val
398 }
400 define half @cos_f16(half %x) #0 {
401 ; CHECK-LABEL: cos_f16:
402 ; CHECK: // %bb.0:
403 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
404 ; CHECK-NEXT: .cfi_def_cfa_offset 16
405 ; CHECK-NEXT: .cfi_offset w30, -16
406 ; CHECK-NEXT: fcvt s0, h0
407 ; CHECK-NEXT: bl cosf
408 ; CHECK-NEXT: fcvt h0, s0
409 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
410 ; CHECK-NEXT: ret
411 %val = call half @llvm.experimental.constrained.cos.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
412 ret half %val
413 }
415 define half @tan_f16(half %x) #0 {
416 ; CHECK-LABEL: tan_f16:
417 ; CHECK: // %bb.0:
418 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
419 ; CHECK-NEXT: .cfi_def_cfa_offset 16
420 ; CHECK-NEXT: .cfi_offset w30, -16
421 ; CHECK-NEXT: fcvt s0, h0
422 ; CHECK-NEXT: bl tanf
423 ; CHECK-NEXT: fcvt h0, s0
424 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
425 ; CHECK-NEXT: ret
426 %val = call half @llvm.experimental.constrained.tan.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
427 ret half %val
428 }
430 define half @asin_f16(half %x) #0 {
431 ; CHECK-LABEL: asin_f16:
432 ; CHECK: // %bb.0:
433 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
434 ; CHECK-NEXT: .cfi_def_cfa_offset 16
435 ; CHECK-NEXT: .cfi_offset w30, -16
436 ; CHECK-NEXT: fcvt s0, h0
437 ; CHECK-NEXT: bl asinf
438 ; CHECK-NEXT: fcvt h0, s0
439 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
440 ; CHECK-NEXT: ret
441 %val = call half @llvm.experimental.constrained.asin.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
442 ret half %val
443 }
445 define half @acos_f16(half %x) #0 {
446 ; CHECK-LABEL: acos_f16:
447 ; CHECK: // %bb.0:
448 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
449 ; CHECK-NEXT: .cfi_def_cfa_offset 16
450 ; CHECK-NEXT: .cfi_offset w30, -16
451 ; CHECK-NEXT: fcvt s0, h0
452 ; CHECK-NEXT: bl acosf
453 ; CHECK-NEXT: fcvt h0, s0
454 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
455 ; CHECK-NEXT: ret
456 %val = call half @llvm.experimental.constrained.acos.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
457 ret half %val
458 }
460 define half @atan_f16(half %x) #0 {
461 ; CHECK-LABEL: atan_f16:
462 ; CHECK: // %bb.0:
463 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
464 ; CHECK-NEXT: .cfi_def_cfa_offset 16
465 ; CHECK-NEXT: .cfi_offset w30, -16
466 ; CHECK-NEXT: fcvt s0, h0
467 ; CHECK-NEXT: bl atanf
468 ; CHECK-NEXT: fcvt h0, s0
469 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
470 ; CHECK-NEXT: ret
471 %val = call half @llvm.experimental.constrained.atan.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
472 ret half %val
473 }
475 define half @atan2_f16(half %x, half %y) #0 {
476 ; CHECK-LABEL: atan2_f16:
477 ; CHECK: // %bb.0:
478 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
479 ; CHECK-NEXT: .cfi_def_cfa_offset 16
480 ; CHECK-NEXT: .cfi_offset w30, -16
481 ; CHECK-NEXT: fcvt s1, h1
482 ; CHECK-NEXT: fcvt s0, h0
483 ; CHECK-NEXT: bl atan2f
484 ; CHECK-NEXT: fcvt h0, s0
485 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
486 ; CHECK-NEXT: ret
487 %val = call half @llvm.experimental.constrained.atan2.f16(half %x, half %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
488 ret half %val
489 }
491 define half @sinh_f16(half %x) #0 {
492 ; CHECK-LABEL: sinh_f16:
493 ; CHECK: // %bb.0:
494 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
495 ; CHECK-NEXT: .cfi_def_cfa_offset 16
496 ; CHECK-NEXT: .cfi_offset w30, -16
497 ; CHECK-NEXT: fcvt s0, h0
498 ; CHECK-NEXT: bl sinhf
499 ; CHECK-NEXT: fcvt h0, s0
500 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
501 ; CHECK-NEXT: ret
502 %val = call half @llvm.experimental.constrained.sinh.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
503 ret half %val
504 }
506 define half @cosh_f16(half %x) #0 {
507 ; CHECK-LABEL: cosh_f16:
508 ; CHECK: // %bb.0:
509 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
510 ; CHECK-NEXT: .cfi_def_cfa_offset 16
511 ; CHECK-NEXT: .cfi_offset w30, -16
512 ; CHECK-NEXT: fcvt s0, h0
513 ; CHECK-NEXT: bl coshf
514 ; CHECK-NEXT: fcvt h0, s0
515 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
516 ; CHECK-NEXT: ret
517 %val = call half @llvm.experimental.constrained.cosh.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
518 ret half %val
519 }
521 define half @tanh_f16(half %x) #0 {
522 ; CHECK-LABEL: tanh_f16:
523 ; CHECK: // %bb.0:
524 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
525 ; CHECK-NEXT: .cfi_def_cfa_offset 16
526 ; CHECK-NEXT: .cfi_offset w30, -16
527 ; CHECK-NEXT: fcvt s0, h0
528 ; CHECK-NEXT: bl tanhf
529 ; CHECK-NEXT: fcvt h0, s0
530 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
531 ; CHECK-NEXT: ret
532 %val = call half @llvm.experimental.constrained.tanh.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
533 ret half %val
534 }
536 define half @pow_f16(half %x, half %y) #0 {
537 ; CHECK-LABEL: pow_f16:
538 ; CHECK: // %bb.0:
539 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
540 ; CHECK-NEXT: .cfi_def_cfa_offset 16
541 ; CHECK-NEXT: .cfi_offset w30, -16
542 ; CHECK-NEXT: fcvt s1, h1
543 ; CHECK-NEXT: fcvt s0, h0
544 ; CHECK-NEXT: bl powf
545 ; CHECK-NEXT: fcvt h0, s0
546 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
547 ; CHECK-NEXT: ret
548 %val = call half @llvm.experimental.constrained.pow.f16(half %x, half %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
549 ret half %val
550 }
552 define half @log_f16(half %x) #0 {
553 ; CHECK-LABEL: log_f16:
554 ; CHECK: // %bb.0:
555 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
556 ; CHECK-NEXT: .cfi_def_cfa_offset 16
557 ; CHECK-NEXT: .cfi_offset w30, -16
558 ; CHECK-NEXT: fcvt s0, h0
559 ; CHECK-NEXT: bl logf
560 ; CHECK-NEXT: fcvt h0, s0
561 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
562 ; CHECK-NEXT: ret
563 %val = call half @llvm.experimental.constrained.log.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
564 ret half %val
565 }
567 define half @log10_f16(half %x) #0 {
568 ; CHECK-LABEL: log10_f16:
569 ; CHECK: // %bb.0:
570 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
571 ; CHECK-NEXT: .cfi_def_cfa_offset 16
572 ; CHECK-NEXT: .cfi_offset w30, -16
573 ; CHECK-NEXT: fcvt s0, h0
574 ; CHECK-NEXT: bl log10f
575 ; CHECK-NEXT: fcvt h0, s0
576 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
577 ; CHECK-NEXT: ret
578 %val = call half @llvm.experimental.constrained.log10.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
579 ret half %val
580 }
582 define half @log2_f16(half %x) #0 {
583 ; CHECK-LABEL: log2_f16:
584 ; CHECK: // %bb.0:
585 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
586 ; CHECK-NEXT: .cfi_def_cfa_offset 16
587 ; CHECK-NEXT: .cfi_offset w30, -16
588 ; CHECK-NEXT: fcvt s0, h0
589 ; CHECK-NEXT: bl log2f
590 ; CHECK-NEXT: fcvt h0, s0
591 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
592 ; CHECK-NEXT: ret
593 %val = call half @llvm.experimental.constrained.log2.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
594 ret half %val
595 }
597 define half @exp_f16(half %x) #0 {
598 ; CHECK-LABEL: exp_f16:
599 ; CHECK: // %bb.0:
600 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
601 ; CHECK-NEXT: .cfi_def_cfa_offset 16
602 ; CHECK-NEXT: .cfi_offset w30, -16
603 ; CHECK-NEXT: fcvt s0, h0
604 ; CHECK-NEXT: bl expf
605 ; CHECK-NEXT: fcvt h0, s0
606 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
607 ; CHECK-NEXT: ret
608 %val = call half @llvm.experimental.constrained.exp.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
609 ret half %val
610 }
612 define half @exp2_f16(half %x) #0 {
613 ; CHECK-LABEL: exp2_f16:
614 ; CHECK: // %bb.0:
615 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
616 ; CHECK-NEXT: .cfi_def_cfa_offset 16
617 ; CHECK-NEXT: .cfi_offset w30, -16
618 ; CHECK-NEXT: fcvt s0, h0
619 ; CHECK-NEXT: bl exp2f
620 ; CHECK-NEXT: fcvt h0, s0
621 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
622 ; CHECK-NEXT: ret
623 %val = call half @llvm.experimental.constrained.exp2.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
624 ret half %val
625 }
627 define half @rint_f16(half %x) #0 {
628 ; CHECK-NOFP16-LABEL: rint_f16:
629 ; CHECK-NOFP16: // %bb.0:
630 ; CHECK-NOFP16-NEXT: fcvt s0, h0
631 ; CHECK-NOFP16-NEXT: frintx s0, s0
632 ; CHECK-NOFP16-NEXT: fcvt h0, s0
633 ; CHECK-NOFP16-NEXT: ret
634 ;
635 ; CHECK-FP16-LABEL: rint_f16:
636 ; CHECK-FP16: // %bb.0:
637 ; CHECK-FP16-NEXT: frintx h0, h0
638 ; CHECK-FP16-NEXT: ret
639 %val = call half @llvm.experimental.constrained.rint.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
640 ret half %val
641 }
643 define half @nearbyint_f16(half %x) #0 {
644 ; CHECK-NOFP16-LABEL: nearbyint_f16:
645 ; CHECK-NOFP16: // %bb.0:
646 ; CHECK-NOFP16-NEXT: fcvt s0, h0
647 ; CHECK-NOFP16-NEXT: frinti s0, s0
648 ; CHECK-NOFP16-NEXT: fcvt h0, s0
649 ; CHECK-NOFP16-NEXT: ret
650 ;
651 ; CHECK-FP16-LABEL: nearbyint_f16:
652 ; CHECK-FP16: // %bb.0:
653 ; CHECK-FP16-NEXT: frinti h0, h0
654 ; CHECK-FP16-NEXT: ret
655 %val = call half @llvm.experimental.constrained.nearbyint.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
656 ret half %val
657 }
659 define i32 @lrint_f16(half %x) #0 {
660 ; CHECK-NOFP16-LABEL: lrint_f16:
661 ; CHECK-NOFP16: // %bb.0:
662 ; CHECK-NOFP16-NEXT: fcvt s0, h0
663 ; CHECK-NOFP16-NEXT: frintx s0, s0
664 ; CHECK-NOFP16-NEXT: fcvtzs w0, s0
665 ; CHECK-NOFP16-NEXT: ret
666 ;
667 ; CHECK-FP16-LABEL: lrint_f16:
668 ; CHECK-FP16: // %bb.0:
669 ; CHECK-FP16-NEXT: frintx h0, h0
670 ; CHECK-FP16-NEXT: fcvtzs w0, h0
671 ; CHECK-FP16-NEXT: ret
672 %val = call i32 @llvm.experimental.constrained.lrint.i32.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
673 ret i32 %val
674 }
676 define i64 @llrint_f16(half %x) #0 {
677 ; CHECK-NOFP16-LABEL: llrint_f16:
678 ; CHECK-NOFP16: // %bb.0:
679 ; CHECK-NOFP16-NEXT: fcvt s0, h0
680 ; CHECK-NOFP16-NEXT: frintx s0, s0
681 ; CHECK-NOFP16-NEXT: fcvtzs x0, s0
682 ; CHECK-NOFP16-NEXT: ret
683 ;
684 ; CHECK-FP16-LABEL: llrint_f16:
685 ; CHECK-FP16: // %bb.0:
686 ; CHECK-FP16-NEXT: frintx h0, h0
687 ; CHECK-FP16-NEXT: fcvtzs x0, h0
688 ; CHECK-FP16-NEXT: ret
689 %val = call i64 @llvm.experimental.constrained.llrint.i64.f16(half %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
690 ret i64 %val
691 }
693 define half @maxnum_f16(half %x, half %y) #0 {
694 ; CHECK-NOFP16-LABEL: maxnum_f16:
695 ; CHECK-NOFP16: // %bb.0:
696 ; CHECK-NOFP16-NEXT: fcvt s1, h1
697 ; CHECK-NOFP16-NEXT: fcvt s0, h0
698 ; CHECK-NOFP16-NEXT: fmaxnm s0, s0, s1
699 ; CHECK-NOFP16-NEXT: fcvt h0, s0
700 ; CHECK-NOFP16-NEXT: ret
701 ;
702 ; CHECK-FP16-LABEL: maxnum_f16:
703 ; CHECK-FP16: // %bb.0:
704 ; CHECK-FP16-NEXT: fmaxnm h0, h0, h1
705 ; CHECK-FP16-NEXT: ret
706 %val = call half @llvm.experimental.constrained.maxnum.f16(half %x, half %y, metadata !"fpexcept.strict") #0
707 ret half %val
708 }
710 define half @minnum_f16(half %x, half %y) #0 {
711 ; CHECK-NOFP16-LABEL: minnum_f16:
712 ; CHECK-NOFP16: // %bb.0:
713 ; CHECK-NOFP16-NEXT: fcvt s1, h1
714 ; CHECK-NOFP16-NEXT: fcvt s0, h0
715 ; CHECK-NOFP16-NEXT: fminnm s0, s0, s1
716 ; CHECK-NOFP16-NEXT: fcvt h0, s0
717 ; CHECK-NOFP16-NEXT: ret
718 ;
719 ; CHECK-FP16-LABEL: minnum_f16:
720 ; CHECK-FP16: // %bb.0:
721 ; CHECK-FP16-NEXT: fminnm h0, h0, h1
722 ; CHECK-FP16-NEXT: ret
723 %val = call half @llvm.experimental.constrained.minnum.f16(half %x, half %y, metadata !"fpexcept.strict") #0
724 ret half %val
725 }
727 define half @ceil_f16(half %x) #0 {
728 ; CHECK-NOFP16-LABEL: ceil_f16:
729 ; CHECK-NOFP16: // %bb.0:
730 ; CHECK-NOFP16-NEXT: fcvt s0, h0
731 ; CHECK-NOFP16-NEXT: frintp s0, s0
732 ; CHECK-NOFP16-NEXT: fcvt h0, s0
733 ; CHECK-NOFP16-NEXT: ret
734 ;
735 ; CHECK-FP16-LABEL: ceil_f16:
736 ; CHECK-FP16: // %bb.0:
737 ; CHECK-FP16-NEXT: frintp h0, h0
738 ; CHECK-FP16-NEXT: ret
739 %val = call half @llvm.experimental.constrained.ceil.f16(half %x, metadata !"fpexcept.strict") #0
740 ret half %val
741 }
743 define half @floor_f16(half %x) #0 {
744 ; CHECK-NOFP16-LABEL: floor_f16:
745 ; CHECK-NOFP16: // %bb.0:
746 ; CHECK-NOFP16-NEXT: fcvt s0, h0
747 ; CHECK-NOFP16-NEXT: frintm s0, s0
748 ; CHECK-NOFP16-NEXT: fcvt h0, s0
749 ; CHECK-NOFP16-NEXT: ret
750 ;
751 ; CHECK-FP16-LABEL: floor_f16:
752 ; CHECK-FP16: // %bb.0:
753 ; CHECK-FP16-NEXT: frintm h0, h0
754 ; CHECK-FP16-NEXT: ret
755 %val = call half @llvm.experimental.constrained.floor.f16(half %x, metadata !"fpexcept.strict") #0
756 ret half %val
757 }
759 define i32 @lround_f16(half %x) #0 {
760 ; CHECK-NOFP16-LABEL: lround_f16:
761 ; CHECK-NOFP16: // %bb.0:
762 ; CHECK-NOFP16-NEXT: fcvt s0, h0
763 ; CHECK-NOFP16-NEXT: fcvtas w0, s0
764 ; CHECK-NOFP16-NEXT: ret
765 ;
766 ; CHECK-FP16-LABEL: lround_f16:
767 ; CHECK-FP16: // %bb.0:
768 ; CHECK-FP16-NEXT: fcvtas w0, h0
769 ; CHECK-FP16-NEXT: ret
770 %val = call i32 @llvm.experimental.constrained.lround.i32.f16(half %x, metadata !"fpexcept.strict") #0
771 ret i32 %val
772 }
774 define i64 @llround_f16(half %x) #0 {
775 ; CHECK-NOFP16-LABEL: llround_f16:
776 ; CHECK-NOFP16: // %bb.0:
777 ; CHECK-NOFP16-NEXT: fcvt s0, h0
778 ; CHECK-NOFP16-NEXT: fcvtas x0, s0
779 ; CHECK-NOFP16-NEXT: ret
780 ;
781 ; CHECK-FP16-LABEL: llround_f16:
782 ; CHECK-FP16: // %bb.0:
783 ; CHECK-FP16-NEXT: fcvtas x0, h0
784 ; CHECK-FP16-NEXT: ret
785 %val = call i64 @llvm.experimental.constrained.llround.i64.f16(half %x, metadata !"fpexcept.strict") #0
786 ret i64 %val
787 }
789 define half @round_f16(half %x) #0 {
790 ; CHECK-NOFP16-LABEL: round_f16:
791 ; CHECK-NOFP16: // %bb.0:
792 ; CHECK-NOFP16-NEXT: fcvt s0, h0
793 ; CHECK-NOFP16-NEXT: frinta s0, s0
794 ; CHECK-NOFP16-NEXT: fcvt h0, s0
795 ; CHECK-NOFP16-NEXT: ret
796 ;
797 ; CHECK-FP16-LABEL: round_f16:
798 ; CHECK-FP16: // %bb.0:
799 ; CHECK-FP16-NEXT: frinta h0, h0
800 ; CHECK-FP16-NEXT: ret
801 %val = call half @llvm.experimental.constrained.round.f16(half %x, metadata !"fpexcept.strict") #0
802 ret half %val
803 }
805 define half @roundeven_f16(half %x) #0 {
806 ; CHECK-NOFP16-LABEL: roundeven_f16:
807 ; CHECK-NOFP16: // %bb.0:
808 ; CHECK-NOFP16-NEXT: fcvt s0, h0
809 ; CHECK-NOFP16-NEXT: frintn s0, s0
810 ; CHECK-NOFP16-NEXT: fcvt h0, s0
811 ; CHECK-NOFP16-NEXT: ret
812 ;
813 ; CHECK-FP16-LABEL: roundeven_f16:
814 ; CHECK-FP16: // %bb.0:
815 ; CHECK-FP16-NEXT: frintn h0, h0
816 ; CHECK-FP16-NEXT: ret
817 %val = call half @llvm.experimental.constrained.roundeven.f16(half %x, metadata !"fpexcept.strict") #0
818 ret half %val
819 }
821 define half @trunc_f16(half %x) #0 {
822 ; CHECK-NOFP16-LABEL: trunc_f16:
823 ; CHECK-NOFP16: // %bb.0:
824 ; CHECK-NOFP16-NEXT: fcvt s0, h0
825 ; CHECK-NOFP16-NEXT: frintz s0, s0
826 ; CHECK-NOFP16-NEXT: fcvt h0, s0
827 ; CHECK-NOFP16-NEXT: ret
828 ;
829 ; CHECK-FP16-LABEL: trunc_f16:
830 ; CHECK-FP16: // %bb.0:
831 ; CHECK-FP16-NEXT: frintz h0, h0
832 ; CHECK-FP16-NEXT: ret
833 %val = call half @llvm.experimental.constrained.trunc.f16(half %x, metadata !"fpexcept.strict") #0
834 ret half %val
835 }
837 define half @ldexp_f16(half %x, i32 %y) #0 {
838 ; CHECK-LABEL: ldexp_f16:
839 ; CHECK: // %bb.0:
840 ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
841 ; CHECK-NEXT: .cfi_def_cfa_offset 16
842 ; CHECK-NEXT: .cfi_offset w30, -16
843 ; CHECK-NEXT: fcvt s0, h0
844 ; CHECK-NEXT: bl ldexpf
845 ; CHECK-NEXT: fcvt h0, s0
846 ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
847 ; CHECK-NEXT: ret
848 %val = call half @llvm.experimental.constrained.ldexp.f16.i32(half %x, i32 %y, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
849 ret half %val
850 }
852 define i32 @fcmp_olt_f16(half %a, half %b) #0 {
853 ; CHECK-NOFP16-LABEL: fcmp_olt_f16:
854 ; CHECK-NOFP16: // %bb.0:
855 ; CHECK-NOFP16-NEXT: fcvt s0, h0
856 ; CHECK-NOFP16-NEXT: fcvt s1, h1
857 ; CHECK-NOFP16-NEXT: fcmp s0, s1
858 ; CHECK-NOFP16-NEXT: cset w0, mi
859 ; CHECK-NOFP16-NEXT: ret
860 ;
861 ; CHECK-FP16-LABEL: fcmp_olt_f16:
862 ; CHECK-FP16: // %bb.0:
863 ; CHECK-FP16-NEXT: fcmp h0, h1
864 ; CHECK-FP16-NEXT: cset w0, mi
865 ; CHECK-FP16-NEXT: ret
866 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"olt", metadata !"fpexcept.strict") #0
867 %conv = zext i1 %cmp to i32
868 ret i32 %conv
869 }
871 define i32 @fcmp_ole_f16(half %a, half %b) #0 {
872 ; CHECK-NOFP16-LABEL: fcmp_ole_f16:
873 ; CHECK-NOFP16: // %bb.0:
874 ; CHECK-NOFP16-NEXT: fcvt s0, h0
875 ; CHECK-NOFP16-NEXT: fcvt s1, h1
876 ; CHECK-NOFP16-NEXT: fcmp s0, s1
877 ; CHECK-NOFP16-NEXT: cset w0, ls
878 ; CHECK-NOFP16-NEXT: ret
879 ;
880 ; CHECK-FP16-LABEL: fcmp_ole_f16:
881 ; CHECK-FP16: // %bb.0:
882 ; CHECK-FP16-NEXT: fcmp h0, h1
883 ; CHECK-FP16-NEXT: cset w0, ls
884 ; CHECK-FP16-NEXT: ret
885 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ole", metadata !"fpexcept.strict") #0
886 %conv = zext i1 %cmp to i32
887 ret i32 %conv
888 }
890 define i32 @fcmp_ogt_f16(half %a, half %b) #0 {
891 ; CHECK-NOFP16-LABEL: fcmp_ogt_f16:
892 ; CHECK-NOFP16: // %bb.0:
893 ; CHECK-NOFP16-NEXT: fcvt s0, h0
894 ; CHECK-NOFP16-NEXT: fcvt s1, h1
895 ; CHECK-NOFP16-NEXT: fcmp s0, s1
896 ; CHECK-NOFP16-NEXT: cset w0, gt
897 ; CHECK-NOFP16-NEXT: ret
898 ;
899 ; CHECK-FP16-LABEL: fcmp_ogt_f16:
900 ; CHECK-FP16: // %bb.0:
901 ; CHECK-FP16-NEXT: fcmp h0, h1
902 ; CHECK-FP16-NEXT: cset w0, gt
903 ; CHECK-FP16-NEXT: ret
904 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ogt", metadata !"fpexcept.strict") #0
905 %conv = zext i1 %cmp to i32
906 ret i32 %conv
907 }
909 define i32 @fcmp_oge_f16(half %a, half %b) #0 {
910 ; CHECK-NOFP16-LABEL: fcmp_oge_f16:
911 ; CHECK-NOFP16: // %bb.0:
912 ; CHECK-NOFP16-NEXT: fcvt s0, h0
913 ; CHECK-NOFP16-NEXT: fcvt s1, h1
914 ; CHECK-NOFP16-NEXT: fcmp s0, s1
915 ; CHECK-NOFP16-NEXT: cset w0, ge
916 ; CHECK-NOFP16-NEXT: ret
917 ;
918 ; CHECK-FP16-LABEL: fcmp_oge_f16:
919 ; CHECK-FP16: // %bb.0:
920 ; CHECK-FP16-NEXT: fcmp h0, h1
921 ; CHECK-FP16-NEXT: cset w0, ge
922 ; CHECK-FP16-NEXT: ret
923 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"oge", metadata !"fpexcept.strict") #0
924 %conv = zext i1 %cmp to i32
925 ret i32 %conv
926 }
928 define i32 @fcmp_oeq_f16(half %a, half %b) #0 {
929 ; CHECK-NOFP16-LABEL: fcmp_oeq_f16:
930 ; CHECK-NOFP16: // %bb.0:
931 ; CHECK-NOFP16-NEXT: fcvt s0, h0
932 ; CHECK-NOFP16-NEXT: fcvt s1, h1
933 ; CHECK-NOFP16-NEXT: fcmp s0, s1
934 ; CHECK-NOFP16-NEXT: cset w0, eq
935 ; CHECK-NOFP16-NEXT: ret
936 ;
937 ; CHECK-FP16-LABEL: fcmp_oeq_f16:
938 ; CHECK-FP16: // %bb.0:
939 ; CHECK-FP16-NEXT: fcmp h0, h1
940 ; CHECK-FP16-NEXT: cset w0, eq
941 ; CHECK-FP16-NEXT: ret
942 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"oeq", metadata !"fpexcept.strict") #0
943 %conv = zext i1 %cmp to i32
944 ret i32 %conv
945 }
947 define i32 @fcmp_one_f16(half %a, half %b) #0 {
948 ; CHECK-NOFP16-LABEL: fcmp_one_f16:
949 ; CHECK-NOFP16: // %bb.0:
950 ; CHECK-NOFP16-NEXT: fcvt s0, h0
951 ; CHECK-NOFP16-NEXT: fcvt s1, h1
952 ; CHECK-NOFP16-NEXT: fcmp s0, s1
953 ; CHECK-NOFP16-NEXT: cset w8, mi
954 ; CHECK-NOFP16-NEXT: csinc w0, w8, wzr, le
955 ; CHECK-NOFP16-NEXT: ret
956 ;
957 ; CHECK-FP16-LABEL: fcmp_one_f16:
958 ; CHECK-FP16: // %bb.0:
959 ; CHECK-FP16-NEXT: fcmp h0, h1
960 ; CHECK-FP16-NEXT: cset w8, mi
961 ; CHECK-FP16-NEXT: csinc w0, w8, wzr, le
962 ; CHECK-FP16-NEXT: ret
963 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"one", metadata !"fpexcept.strict") #0
964 %conv = zext i1 %cmp to i32
965 ret i32 %conv
966 }
968 define i32 @fcmp_ult_f16(half %a, half %b) #0 {
969 ; CHECK-NOFP16-LABEL: fcmp_ult_f16:
970 ; CHECK-NOFP16: // %bb.0:
971 ; CHECK-NOFP16-NEXT: fcvt s0, h0
972 ; CHECK-NOFP16-NEXT: fcvt s1, h1
973 ; CHECK-NOFP16-NEXT: fcmp s0, s1
974 ; CHECK-NOFP16-NEXT: cset w0, lt
975 ; CHECK-NOFP16-NEXT: ret
976 ;
977 ; CHECK-FP16-LABEL: fcmp_ult_f16:
978 ; CHECK-FP16: // %bb.0:
979 ; CHECK-FP16-NEXT: fcmp h0, h1
980 ; CHECK-FP16-NEXT: cset w0, lt
981 ; CHECK-FP16-NEXT: ret
982 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ult", metadata !"fpexcept.strict") #0
983 %conv = zext i1 %cmp to i32
984 ret i32 %conv
985 }
987 define i32 @fcmp_ule_f16(half %a, half %b) #0 {
988 ; CHECK-NOFP16-LABEL: fcmp_ule_f16:
989 ; CHECK-NOFP16: // %bb.0:
990 ; CHECK-NOFP16-NEXT: fcvt s0, h0
991 ; CHECK-NOFP16-NEXT: fcvt s1, h1
992 ; CHECK-NOFP16-NEXT: fcmp s0, s1
993 ; CHECK-NOFP16-NEXT: cset w0, le
994 ; CHECK-NOFP16-NEXT: ret
995 ;
996 ; CHECK-FP16-LABEL: fcmp_ule_f16:
997 ; CHECK-FP16: // %bb.0:
998 ; CHECK-FP16-NEXT: fcmp h0, h1
999 ; CHECK-FP16-NEXT: cset w0, le
1000 ; CHECK-FP16-NEXT: ret
1001 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ule", metadata !"fpexcept.strict") #0
1002 %conv = zext i1 %cmp to i32
1003 ret i32 %conv
1004 }
1006 define i32 @fcmp_ugt_f16(half %a, half %b) #0 {
1007 ; CHECK-NOFP16-LABEL: fcmp_ugt_f16:
1008 ; CHECK-NOFP16: // %bb.0:
1009 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1010 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1011 ; CHECK-NOFP16-NEXT: fcmp s0, s1
1012 ; CHECK-NOFP16-NEXT: cset w0, hi
1013 ; CHECK-NOFP16-NEXT: ret
1014 ;
1015 ; CHECK-FP16-LABEL: fcmp_ugt_f16:
1016 ; CHECK-FP16: // %bb.0:
1017 ; CHECK-FP16-NEXT: fcmp h0, h1
1018 ; CHECK-FP16-NEXT: cset w0, hi
1019 ; CHECK-FP16-NEXT: ret
1020 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ugt", metadata !"fpexcept.strict") #0
1021 %conv = zext i1 %cmp to i32
1022 ret i32 %conv
1023 }
1025 define i32 @fcmp_uge_f16(half %a, half %b) #0 {
1026 ; CHECK-NOFP16-LABEL: fcmp_uge_f16:
1027 ; CHECK-NOFP16: // %bb.0:
1028 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1029 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1030 ; CHECK-NOFP16-NEXT: fcmp s0, s1
1031 ; CHECK-NOFP16-NEXT: cset w0, pl
1032 ; CHECK-NOFP16-NEXT: ret
1033 ;
1034 ; CHECK-FP16-LABEL: fcmp_uge_f16:
1035 ; CHECK-FP16: // %bb.0:
1036 ; CHECK-FP16-NEXT: fcmp h0, h1
1037 ; CHECK-FP16-NEXT: cset w0, pl
1038 ; CHECK-FP16-NEXT: ret
1039 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"uge", metadata !"fpexcept.strict") #0
1040 %conv = zext i1 %cmp to i32
1041 ret i32 %conv
1042 }
1044 define i32 @fcmp_ueq_f16(half %a, half %b) #0 {
1045 ; CHECK-NOFP16-LABEL: fcmp_ueq_f16:
1046 ; CHECK-NOFP16: // %bb.0:
1047 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1048 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1049 ; CHECK-NOFP16-NEXT: fcmp s0, s1
1050 ; CHECK-NOFP16-NEXT: cset w8, eq
1051 ; CHECK-NOFP16-NEXT: csinc w0, w8, wzr, vc
1052 ; CHECK-NOFP16-NEXT: ret
1053 ;
1054 ; CHECK-FP16-LABEL: fcmp_ueq_f16:
1055 ; CHECK-FP16: // %bb.0:
1056 ; CHECK-FP16-NEXT: fcmp h0, h1
1057 ; CHECK-FP16-NEXT: cset w8, eq
1058 ; CHECK-FP16-NEXT: csinc w0, w8, wzr, vc
1059 ; CHECK-FP16-NEXT: ret
1060 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ueq", metadata !"fpexcept.strict") #0
1061 %conv = zext i1 %cmp to i32
1062 ret i32 %conv
1063 }
1065 define i32 @fcmp_une_f16(half %a, half %b) #0 {
1066 ; CHECK-NOFP16-LABEL: fcmp_une_f16:
1067 ; CHECK-NOFP16: // %bb.0:
1068 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1069 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1070 ; CHECK-NOFP16-NEXT: fcmp s0, s1
1071 ; CHECK-NOFP16-NEXT: cset w0, ne
1072 ; CHECK-NOFP16-NEXT: ret
1073 ;
1074 ; CHECK-FP16-LABEL: fcmp_une_f16:
1075 ; CHECK-FP16: // %bb.0:
1076 ; CHECK-FP16-NEXT: fcmp h0, h1
1077 ; CHECK-FP16-NEXT: cset w0, ne
1078 ; CHECK-FP16-NEXT: ret
1079 %cmp = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"une", metadata !"fpexcept.strict") #0
1080 %conv = zext i1 %cmp to i32
1081 ret i32 %conv
1082 }
1084 define i32 @fcmps_olt_f16(half %a, half %b) #0 {
1085 ; CHECK-NOFP16-LABEL: fcmps_olt_f16:
1086 ; CHECK-NOFP16: // %bb.0:
1087 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1088 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1089 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1090 ; CHECK-NOFP16-NEXT: cset w0, mi
1091 ; CHECK-NOFP16-NEXT: ret
1092 ;
1093 ; CHECK-FP16-LABEL: fcmps_olt_f16:
1094 ; CHECK-FP16: // %bb.0:
1095 ; CHECK-FP16-NEXT: fcmpe h0, h1
1096 ; CHECK-FP16-NEXT: cset w0, mi
1097 ; CHECK-FP16-NEXT: ret
1098 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"olt", metadata !"fpexcept.strict") #0
1099 %conv = zext i1 %cmp to i32
1100 ret i32 %conv
1101 }
1103 define i32 @fcmps_ole_f16(half %a, half %b) #0 {
1104 ; CHECK-NOFP16-LABEL: fcmps_ole_f16:
1105 ; CHECK-NOFP16: // %bb.0:
1106 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1107 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1108 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1109 ; CHECK-NOFP16-NEXT: cset w0, ls
1110 ; CHECK-NOFP16-NEXT: ret
1111 ;
1112 ; CHECK-FP16-LABEL: fcmps_ole_f16:
1113 ; CHECK-FP16: // %bb.0:
1114 ; CHECK-FP16-NEXT: fcmpe h0, h1
1115 ; CHECK-FP16-NEXT: cset w0, ls
1116 ; CHECK-FP16-NEXT: ret
1117 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"ole", metadata !"fpexcept.strict") #0
1118 %conv = zext i1 %cmp to i32
1119 ret i32 %conv
1120 }
1122 define i32 @fcmps_ogt_f16(half %a, half %b) #0 {
1123 ; CHECK-NOFP16-LABEL: fcmps_ogt_f16:
1124 ; CHECK-NOFP16: // %bb.0:
1125 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1126 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1127 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1128 ; CHECK-NOFP16-NEXT: cset w0, gt
1129 ; CHECK-NOFP16-NEXT: ret
1130 ;
1131 ; CHECK-FP16-LABEL: fcmps_ogt_f16:
1132 ; CHECK-FP16: // %bb.0:
1133 ; CHECK-FP16-NEXT: fcmpe h0, h1
1134 ; CHECK-FP16-NEXT: cset w0, gt
1135 ; CHECK-FP16-NEXT: ret
1136 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"ogt", metadata !"fpexcept.strict") #0
1137 %conv = zext i1 %cmp to i32
1138 ret i32 %conv
1139 }
1141 define i32 @fcmps_oge_f16(half %a, half %b) #0 {
1142 ; CHECK-NOFP16-LABEL: fcmps_oge_f16:
1143 ; CHECK-NOFP16: // %bb.0:
1144 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1145 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1146 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1147 ; CHECK-NOFP16-NEXT: cset w0, ge
1148 ; CHECK-NOFP16-NEXT: ret
1149 ;
1150 ; CHECK-FP16-LABEL: fcmps_oge_f16:
1151 ; CHECK-FP16: // %bb.0:
1152 ; CHECK-FP16-NEXT: fcmpe h0, h1
1153 ; CHECK-FP16-NEXT: cset w0, ge
1154 ; CHECK-FP16-NEXT: ret
1155 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"oge", metadata !"fpexcept.strict") #0
1156 %conv = zext i1 %cmp to i32
1157 ret i32 %conv
1158 }
1160 define i32 @fcmps_oeq_f16(half %a, half %b) #0 {
1161 ; CHECK-NOFP16-LABEL: fcmps_oeq_f16:
1162 ; CHECK-NOFP16: // %bb.0:
1163 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1164 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1165 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1166 ; CHECK-NOFP16-NEXT: cset w0, eq
1167 ; CHECK-NOFP16-NEXT: ret
1168 ;
1169 ; CHECK-FP16-LABEL: fcmps_oeq_f16:
1170 ; CHECK-FP16: // %bb.0:
1171 ; CHECK-FP16-NEXT: fcmpe h0, h1
1172 ; CHECK-FP16-NEXT: cset w0, eq
1173 ; CHECK-FP16-NEXT: ret
1174 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"oeq", metadata !"fpexcept.strict") #0
1175 %conv = zext i1 %cmp to i32
1176 ret i32 %conv
1177 }
1179 define i32 @fcmps_one_f16(half %a, half %b) #0 {
1180 ; CHECK-NOFP16-LABEL: fcmps_one_f16:
1181 ; CHECK-NOFP16: // %bb.0:
1182 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1183 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1184 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1185 ; CHECK-NOFP16-NEXT: cset w8, mi
1186 ; CHECK-NOFP16-NEXT: csinc w0, w8, wzr, le
1187 ; CHECK-NOFP16-NEXT: ret
1188 ;
1189 ; CHECK-FP16-LABEL: fcmps_one_f16:
1190 ; CHECK-FP16: // %bb.0:
1191 ; CHECK-FP16-NEXT: fcmpe h0, h1
1192 ; CHECK-FP16-NEXT: cset w8, mi
1193 ; CHECK-FP16-NEXT: csinc w0, w8, wzr, le
1194 ; CHECK-FP16-NEXT: ret
1195 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"one", metadata !"fpexcept.strict") #0
1196 %conv = zext i1 %cmp to i32
1197 ret i32 %conv
1198 }
1200 define i32 @fcmps_ult_f16(half %a, half %b) #0 {
1201 ; CHECK-NOFP16-LABEL: fcmps_ult_f16:
1202 ; CHECK-NOFP16: // %bb.0:
1203 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1204 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1205 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1206 ; CHECK-NOFP16-NEXT: cset w0, lt
1207 ; CHECK-NOFP16-NEXT: ret
1208 ;
1209 ; CHECK-FP16-LABEL: fcmps_ult_f16:
1210 ; CHECK-FP16: // %bb.0:
1211 ; CHECK-FP16-NEXT: fcmpe h0, h1
1212 ; CHECK-FP16-NEXT: cset w0, lt
1213 ; CHECK-FP16-NEXT: ret
1214 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"ult", metadata !"fpexcept.strict") #0
1215 %conv = zext i1 %cmp to i32
1216 ret i32 %conv
1217 }
1219 define i32 @fcmps_ule_f16(half %a, half %b) #0 {
1220 ; CHECK-NOFP16-LABEL: fcmps_ule_f16:
1221 ; CHECK-NOFP16: // %bb.0:
1222 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1223 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1224 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1225 ; CHECK-NOFP16-NEXT: cset w0, le
1226 ; CHECK-NOFP16-NEXT: ret
1227 ;
1228 ; CHECK-FP16-LABEL: fcmps_ule_f16:
1229 ; CHECK-FP16: // %bb.0:
1230 ; CHECK-FP16-NEXT: fcmpe h0, h1
1231 ; CHECK-FP16-NEXT: cset w0, le
1232 ; CHECK-FP16-NEXT: ret
1233 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"ule", metadata !"fpexcept.strict") #0
1234 %conv = zext i1 %cmp to i32
1235 ret i32 %conv
1236 }
1238 define i32 @fcmps_ugt_f16(half %a, half %b) #0 {
1239 ; CHECK-NOFP16-LABEL: fcmps_ugt_f16:
1240 ; CHECK-NOFP16: // %bb.0:
1241 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1242 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1243 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1244 ; CHECK-NOFP16-NEXT: cset w0, hi
1245 ; CHECK-NOFP16-NEXT: ret
1246 ;
1247 ; CHECK-FP16-LABEL: fcmps_ugt_f16:
1248 ; CHECK-FP16: // %bb.0:
1249 ; CHECK-FP16-NEXT: fcmpe h0, h1
1250 ; CHECK-FP16-NEXT: cset w0, hi
1251 ; CHECK-FP16-NEXT: ret
1252 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"ugt", metadata !"fpexcept.strict") #0
1253 %conv = zext i1 %cmp to i32
1254 ret i32 %conv
1255 }
1257 define i32 @fcmps_uge_f16(half %a, half %b) #0 {
1258 ; CHECK-NOFP16-LABEL: fcmps_uge_f16:
1259 ; CHECK-NOFP16: // %bb.0:
1260 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1261 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1262 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1263 ; CHECK-NOFP16-NEXT: cset w0, pl
1264 ; CHECK-NOFP16-NEXT: ret
1265 ;
1266 ; CHECK-FP16-LABEL: fcmps_uge_f16:
1267 ; CHECK-FP16: // %bb.0:
1268 ; CHECK-FP16-NEXT: fcmpe h0, h1
1269 ; CHECK-FP16-NEXT: cset w0, pl
1270 ; CHECK-FP16-NEXT: ret
1271 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"uge", metadata !"fpexcept.strict") #0
1272 %conv = zext i1 %cmp to i32
1273 ret i32 %conv
1274 }
1276 define i32 @fcmps_ueq_f16(half %a, half %b) #0 {
1277 ; CHECK-NOFP16-LABEL: fcmps_ueq_f16:
1278 ; CHECK-NOFP16: // %bb.0:
1279 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1280 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1281 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1282 ; CHECK-NOFP16-NEXT: cset w8, eq
1283 ; CHECK-NOFP16-NEXT: csinc w0, w8, wzr, vc
1284 ; CHECK-NOFP16-NEXT: ret
1285 ;
1286 ; CHECK-FP16-LABEL: fcmps_ueq_f16:
1287 ; CHECK-FP16: // %bb.0:
1288 ; CHECK-FP16-NEXT: fcmpe h0, h1
1289 ; CHECK-FP16-NEXT: cset w8, eq
1290 ; CHECK-FP16-NEXT: csinc w0, w8, wzr, vc
1291 ; CHECK-FP16-NEXT: ret
1292 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"ueq", metadata !"fpexcept.strict") #0
1293 %conv = zext i1 %cmp to i32
1294 ret i32 %conv
1295 }
1297 define i32 @fcmps_une_f16(half %a, half %b) #0 {
1298 ; CHECK-NOFP16-LABEL: fcmps_une_f16:
1299 ; CHECK-NOFP16: // %bb.0:
1300 ; CHECK-NOFP16-NEXT: fcvt s0, h0
1301 ; CHECK-NOFP16-NEXT: fcvt s1, h1
1302 ; CHECK-NOFP16-NEXT: fcmpe s0, s1
1303 ; CHECK-NOFP16-NEXT: cset w0, ne
1304 ; CHECK-NOFP16-NEXT: ret
1305 ;
1306 ; CHECK-FP16-LABEL: fcmps_une_f16:
1307 ; CHECK-FP16: // %bb.0:
1308 ; CHECK-FP16-NEXT: fcmpe h0, h1
1309 ; CHECK-FP16-NEXT: cset w0, ne
1310 ; CHECK-FP16-NEXT: ret
1311 %cmp = call i1 @llvm.experimental.constrained.fcmps.f16(half %a, half %b, metadata !"une", metadata !"fpexcept.strict") #0
1312 %conv = zext i1 %cmp to i32
1313 ret i32 %conv
1314 }
1317 ; Intrinsics to convert between floating-point types
1319 define half @fptrunc_f16_f32(float %x) #0 {
1320 ; CHECK-LABEL: fptrunc_f16_f32:
1321 ; CHECK: // %bb.0:
1322 ; CHECK-NEXT: fcvt h0, s0
1323 ; CHECK-NEXT: ret
1324 %val = call half @llvm.experimental.constrained.fptrunc.f16.f32(float %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
1325 ret half %val
1326 }
1328 define float @fpext_f32_f16(half %x) #0 {
1329 ; CHECK-LABEL: fpext_f32_f16:
1330 ; CHECK: // %bb.0:
1331 ; CHECK-NEXT: fcvt s0, h0
1332 ; CHECK-NEXT: ret
1333 %val = call float @llvm.experimental.constrained.fpext.f32.f16(half %x, metadata !"fpexcept.strict") #0
1334 ret float %val
1335 }
1338 attributes #0 = { strictfp }
1340 declare half @llvm.experimental.constrained.fadd.f16(half, half, metadata, metadata)
1341 declare half @llvm.experimental.constrained.fsub.f16(half, half, metadata, metadata)
1342 declare half @llvm.experimental.constrained.fmul.f16(half, half, metadata, metadata)
1343 declare half @llvm.experimental.constrained.fdiv.f16(half, half, metadata, metadata)
1344 declare half @llvm.experimental.constrained.frem.f16(half, half, metadata, metadata)
1345 declare half @llvm.experimental.constrained.fma.f16(half, half, half, metadata, metadata)
1346 declare i32 @llvm.experimental.constrained.fptosi.i32.f16(half, metadata)
1347 declare i32 @llvm.experimental.constrained.fptoui.i32.f16(half, metadata)
1348 declare i64 @llvm.experimental.constrained.fptosi.i64.f16(half, metadata)
1349 declare i64 @llvm.experimental.constrained.fptoui.i64.f16(half, metadata)
1350 declare half @llvm.experimental.constrained.sitofp.f16.i32(i32, metadata, metadata)
1351 declare half @llvm.experimental.constrained.uitofp.f16.i32(i32, metadata, metadata)
1352 declare half @llvm.experimental.constrained.sitofp.f16.i64(i64, metadata, metadata)
1353 declare half @llvm.experimental.constrained.uitofp.f16.i64(i64, metadata, metadata)
1354 declare half @llvm.experimental.constrained.sitofp.f16.i128(i128, metadata, metadata)
1355 declare half @llvm.experimental.constrained.uitofp.f16.i128(i128, metadata, metadata)
1356 declare half @llvm.experimental.constrained.sqrt.f16(half, metadata, metadata)
1357 declare half @llvm.experimental.constrained.powi.f16(half, i32, metadata, metadata)
1358 declare half @llvm.experimental.constrained.sin.f16(half, metadata, metadata)
1359 declare half @llvm.experimental.constrained.cos.f16(half, metadata, metadata)
1360 declare half @llvm.experimental.constrained.tan.f16(half, metadata, metadata)
1361 declare half @llvm.experimental.constrained.pow.f16(half, half, metadata, metadata)
1362 declare half @llvm.experimental.constrained.log.f16(half, metadata, metadata)
1363 declare half @llvm.experimental.constrained.log10.f16(half, metadata, metadata)
1364 declare half @llvm.experimental.constrained.log2.f16(half, metadata, metadata)
1365 declare half @llvm.experimental.constrained.exp.f16(half, metadata, metadata)
1366 declare half @llvm.experimental.constrained.exp2.f16(half, metadata, metadata)
1367 declare half @llvm.experimental.constrained.rint.f16(half, metadata, metadata)
1368 declare half @llvm.experimental.constrained.nearbyint.f16(half, metadata, metadata)
1369 declare i32 @llvm.experimental.constrained.lrint.i32.f16(half, metadata, metadata)
1370 declare i64 @llvm.experimental.constrained.llrint.i64.f16(half, metadata, metadata)
1371 declare half @llvm.experimental.constrained.maxnum.f16(half, half, metadata)
1372 declare half @llvm.experimental.constrained.minnum.f16(half, half, metadata)
1373 declare half @llvm.experimental.constrained.ceil.f16(half, metadata)
1374 declare half @llvm.experimental.constrained.floor.f16(half, metadata)
1375 declare i32 @llvm.experimental.constrained.lround.i32.f16(half, metadata)
1376 declare i64 @llvm.experimental.constrained.llround.i64.f16(half, metadata)
1377 declare half @llvm.experimental.constrained.round.f16(half, metadata)
1378 declare half @llvm.experimental.constrained.roundeven.f16(half, metadata)
1379 declare half @llvm.experimental.constrained.trunc.f16(half, metadata)
1380 declare i1 @llvm.experimental.constrained.fcmps.f16(half, half, metadata, metadata)
1381 declare i1 @llvm.experimental.constrained.fcmp.f16(half, half, metadata, metadata)
1383 declare half @llvm.experimental.constrained.fptrunc.f16.f32(float, metadata, metadata)
1384 declare float @llvm.experimental.constrained.fpext.f32.f16(half, metadata)