1 ; RUN: llc < %s -mtriple aarch64-unknown-unknown -aarch64-neon-syntax=apple -asm-verbose=false | FileCheck %s
3 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
5 ; CHECK-LABEL: test_fadd:
6 ; CHECK-NEXT: fcvt s1, h1
7 ; CHECK-NEXT: fcvt s0, h0
8 ; CHECK-NEXT: fadd s0, s0, s1
9 ; CHECK-NEXT: fcvt h0, s0
11 define half @test_fadd(half %a, half %b) #0 {
16 ; CHECK-LABEL: test_fsub:
17 ; CHECK-NEXT: fcvt s1, h1
18 ; CHECK-NEXT: fcvt s0, h0
19 ; CHECK-NEXT: fsub s0, s0, s1
20 ; CHECK-NEXT: fcvt h0, s0
22 define half @test_fsub(half %a, half %b) #0 {
27 ; CHECK-LABEL: test_fmul:
28 ; CHECK-NEXT: fcvt s1, h1
29 ; CHECK-NEXT: fcvt s0, h0
30 ; CHECK-NEXT: fmul s0, s0, s1
31 ; CHECK-NEXT: fcvt h0, s0
33 define half @test_fmul(half %a, half %b) #0 {
38 ; CHECK-LABEL: test_fdiv:
39 ; CHECK-NEXT: fcvt s1, h1
40 ; CHECK-NEXT: fcvt s0, h0
41 ; CHECK-NEXT: fdiv s0, s0, s1
42 ; CHECK-NEXT: fcvt h0, s0
44 define half @test_fdiv(half %a, half %b) #0 {
49 ; CHECK-LABEL: test_frem:
50 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
51 ; CHECK-NEXT: mov x29, sp
52 ; CHECK-NEXT: fcvt s0, h0
53 ; CHECK-NEXT: fcvt s1, h1
54 ; CHECK-NEXT: bl {{_?}}fmodf
55 ; CHECK-NEXT: fcvt h0, s0
56 ; CHECK-NEXT: ldp x29, x30, [sp], #16
58 define half @test_frem(half %a, half %b) #0 {
63 ; CHECK-LABEL: test_store:
64 ; CHECK-NEXT: str h0, [x0]
66 define void @test_store(half %a, half* %b) #0 {
67 store half %a, half* %b
71 ; CHECK-LABEL: test_load:
72 ; CHECK-NEXT: ldr h0, [x0]
74 define half @test_load(half* %a) #0 {
75 %r = load half, half* %a
80 declare half @test_callee(half %a, half %b) #0
82 ; CHECK-LABEL: test_call:
83 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
84 ; CHECK-NEXT: mov x29, sp
85 ; CHECK-NEXT: bl {{_?}}test_callee
86 ; CHECK-NEXT: ldp x29, x30, [sp], #16
88 define half @test_call(half %a, half %b) #0 {
89 %r = call half @test_callee(half %a, half %b)
93 ; CHECK-LABEL: test_call_flipped:
94 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
95 ; CHECK-NEXT: mov x29, sp
96 ; CHECK-NEXT: mov.16b v2, v0
97 ; CHECK-NEXT: mov.16b v0, v1
98 ; CHECK-NEXT: mov.16b v1, v2
99 ; CHECK-NEXT: bl {{_?}}test_callee
100 ; CHECK-NEXT: ldp x29, x30, [sp], #16
102 define half @test_call_flipped(half %a, half %b) #0 {
103 %r = call half @test_callee(half %b, half %a)
107 ; CHECK-LABEL: test_tailcall_flipped:
108 ; CHECK-NEXT: mov.16b v2, v0
109 ; CHECK-NEXT: mov.16b v0, v1
110 ; CHECK-NEXT: mov.16b v1, v2
111 ; CHECK-NEXT: b {{_?}}test_callee
112 define half @test_tailcall_flipped(half %a, half %b) #0 {
113 %r = tail call half @test_callee(half %b, half %a)
117 ; CHECK-LABEL: test_select:
118 ; CHECK-NEXT: fcvt s1, h1
119 ; CHECK-NEXT: fcvt s0, h0
120 ; CHECK-NEXT: cmp w0, #0
121 ; CHECK-NEXT: fcsel s0, s0, s1, ne
122 ; CHECK-NEXT: fcvt h0, s0
124 define half @test_select(half %a, half %b, i1 zeroext %c) #0 {
125 %r = select i1 %c, half %a, half %b
129 ; CHECK-LABEL: test_select_cc:
130 ; CHECK-DAG: fcvt s3, h3
131 ; CHECK-DAG: fcvt s2, h2
132 ; CHECK-DAG: fcvt s1, h1
133 ; CHECK-DAG: fcvt s0, h0
134 ; CHECK-DAG: fcmp s2, s3
135 ; CHECK-DAG: cset [[CC:w[0-9]+]], ne
136 ; CHECK-DAG: cmp [[CC]], #0
137 ; CHECK-NEXT: fcsel s0, s0, s1, ne
138 ; CHECK-NEXT: fcvt h0, s0
140 define half @test_select_cc(half %a, half %b, half %c, half %d) #0 {
141 %cc = fcmp une half %c, %d
142 %r = select i1 %cc, half %a, half %b
146 ; CHECK-LABEL: test_fcmp_une:
147 ; CHECK-NEXT: fcvt s1, h1
148 ; CHECK-NEXT: fcvt s0, h0
149 ; CHECK-NEXT: fcmp s0, s1
150 ; CHECK-NEXT: cset w0, ne
152 define i1 @test_fcmp_une(half %a, half %b) #0 {
153 %r = fcmp une half %a, %b
157 ; CHECK-LABEL: test_fcmp_ueq:
158 ; CHECK-NEXT: fcvt s1, h1
159 ; CHECK-NEXT: fcvt s0, h0
160 ; CHECK-NEXT: fcmp s0, s1
161 ; CHECK-NEXT: orr [[TRUE:w[0-9]+]], wzr, #0x1
162 ; CHECK-NEXT: csel [[CC:w[0-9]+]], [[TRUE]], wzr, eq
163 ; CHECK-NEXT: csel w0, [[TRUE]], [[CC]], vs
165 define i1 @test_fcmp_ueq(half %a, half %b) #0 {
166 %r = fcmp ueq half %a, %b
170 ; CHECK-LABEL: test_fcmp_ugt:
171 ; CHECK-NEXT: fcvt s1, h1
172 ; CHECK-NEXT: fcvt s0, h0
173 ; CHECK-NEXT: fcmp s0, s1
174 ; CHECK-NEXT: cset w0, hi
176 define i1 @test_fcmp_ugt(half %a, half %b) #0 {
177 %r = fcmp ugt half %a, %b
181 ; CHECK-LABEL: test_fcmp_uge:
182 ; CHECK-NEXT: fcvt s1, h1
183 ; CHECK-NEXT: fcvt s0, h0
184 ; CHECK-NEXT: fcmp s0, s1
185 ; CHECK-NEXT: cset w0, pl
187 define i1 @test_fcmp_uge(half %a, half %b) #0 {
188 %r = fcmp uge half %a, %b
192 ; CHECK-LABEL: test_fcmp_ult:
193 ; CHECK-NEXT: fcvt s1, h1
194 ; CHECK-NEXT: fcvt s0, h0
195 ; CHECK-NEXT: fcmp s0, s1
196 ; CHECK-NEXT: cset w0, lt
198 define i1 @test_fcmp_ult(half %a, half %b) #0 {
199 %r = fcmp ult half %a, %b
203 ; CHECK-LABEL: test_fcmp_ule:
204 ; CHECK-NEXT: fcvt s1, h1
205 ; CHECK-NEXT: fcvt s0, h0
206 ; CHECK-NEXT: fcmp s0, s1
207 ; CHECK-NEXT: cset w0, le
209 define i1 @test_fcmp_ule(half %a, half %b) #0 {
210 %r = fcmp ule half %a, %b
215 ; CHECK-LABEL: test_fcmp_uno:
216 ; CHECK-NEXT: fcvt s1, h1
217 ; CHECK-NEXT: fcvt s0, h0
218 ; CHECK-NEXT: fcmp s0, s1
219 ; CHECK-NEXT: cset w0, vs
221 define i1 @test_fcmp_uno(half %a, half %b) #0 {
222 %r = fcmp uno half %a, %b
226 ; CHECK-LABEL: test_fcmp_one:
227 ; CHECK-NEXT: fcvt s1, h1
228 ; CHECK-NEXT: fcvt s0, h0
229 ; CHECK-NEXT: fcmp s0, s1
230 ; CHECK-NEXT: orr [[TRUE:w[0-9]+]], wzr, #0x1
231 ; CHECK-NEXT: csel [[CC:w[0-9]+]], [[TRUE]], wzr, mi
232 ; CHECK-NEXT: csel w0, [[TRUE]], [[CC]], gt
234 define i1 @test_fcmp_one(half %a, half %b) #0 {
235 %r = fcmp one half %a, %b
239 ; CHECK-LABEL: test_fcmp_oeq:
240 ; CHECK-NEXT: fcvt s1, h1
241 ; CHECK-NEXT: fcvt s0, h0
242 ; CHECK-NEXT: fcmp s0, s1
243 ; CHECK-NEXT: cset w0, eq
245 define i1 @test_fcmp_oeq(half %a, half %b) #0 {
246 %r = fcmp oeq half %a, %b
250 ; CHECK-LABEL: test_fcmp_ogt:
251 ; CHECK-NEXT: fcvt s1, h1
252 ; CHECK-NEXT: fcvt s0, h0
253 ; CHECK-NEXT: fcmp s0, s1
254 ; CHECK-NEXT: cset w0, gt
256 define i1 @test_fcmp_ogt(half %a, half %b) #0 {
257 %r = fcmp ogt half %a, %b
261 ; CHECK-LABEL: test_fcmp_oge:
262 ; CHECK-NEXT: fcvt s1, h1
263 ; CHECK-NEXT: fcvt s0, h0
264 ; CHECK-NEXT: fcmp s0, s1
265 ; CHECK-NEXT: cset w0, ge
267 define i1 @test_fcmp_oge(half %a, half %b) #0 {
268 %r = fcmp oge half %a, %b
272 ; CHECK-LABEL: test_fcmp_olt:
273 ; CHECK-NEXT: fcvt s1, h1
274 ; CHECK-NEXT: fcvt s0, h0
275 ; CHECK-NEXT: fcmp s0, s1
276 ; CHECK-NEXT: cset w0, mi
278 define i1 @test_fcmp_olt(half %a, half %b) #0 {
279 %r = fcmp olt half %a, %b
283 ; CHECK-LABEL: test_fcmp_ole:
284 ; CHECK-NEXT: fcvt s1, h1
285 ; CHECK-NEXT: fcvt s0, h0
286 ; CHECK-NEXT: fcmp s0, s1
287 ; CHECK-NEXT: cset w0, ls
289 define i1 @test_fcmp_ole(half %a, half %b) #0 {
290 %r = fcmp ole half %a, %b
294 ; CHECK-LABEL: test_fcmp_ord:
295 ; CHECK-NEXT: fcvt s1, h1
296 ; CHECK-NEXT: fcvt s0, h0
297 ; CHECK-NEXT: fcmp s0, s1
298 ; CHECK-NEXT: cset w0, vc
300 define i1 @test_fcmp_ord(half %a, half %b) #0 {
301 %r = fcmp ord half %a, %b
305 ; CHECK-LABEL: test_br_cc:
306 ; CHECK-NEXT: fcvt s1, h1
307 ; CHECK-NEXT: fcvt s0, h0
308 ; CHECK-NEXT: fcmp s0, s1
309 ; CHECK-NEXT: b.mi [[BRCC_ELSE:.?LBB[0-9_]+]]
310 ; CHECK-NEXT: str wzr, [x0]
312 ; CHECK-NEXT: [[BRCC_ELSE]]:
313 ; CHECK-NEXT: str wzr, [x1]
315 define void @test_br_cc(half %a, half %b, i32* %p1, i32* %p2) #0 {
316 %c = fcmp uge half %a, %b
317 br i1 %c, label %then, label %else
319 store i32 0, i32* %p1
322 store i32 0, i32* %p2
326 ; CHECK-LABEL: test_phi:
327 ; CHECK: mov x[[PTR:[0-9]+]], x0
328 ; CHECK: ldr h[[AB:[0-9]+]], [x[[PTR]]]
329 ; CHECK: [[LOOP:LBB[0-9_]+]]:
330 ; CHECK: mov.16b v[[R:[0-9]+]], v[[AB]]
331 ; CHECK: ldr h[[AB]], [x[[PTR]]]
332 ; CHECK: mov x0, x[[PTR]]
333 ; CHECK: bl {{_?}}test_dummy
334 ; CHECK: mov.16b v0, v[[R]]
336 define half @test_phi(half* %p1) #0 {
338 %a = load half, half* %p1
341 %r = phi half [%a, %entry], [%b, %loop]
342 %b = load half, half* %p1
343 %c = call i1 @test_dummy(half* %p1)
344 br i1 %c, label %loop, label %return
348 declare i1 @test_dummy(half* %p1) #0
350 ; CHECK-LABEL: test_fptosi_i32:
351 ; CHECK-NEXT: fcvt s0, h0
352 ; CHECK-NEXT: fcvtzs w0, s0
354 define i32 @test_fptosi_i32(half %a) #0 {
355 %r = fptosi half %a to i32
359 ; CHECK-LABEL: test_fptosi_i64:
360 ; CHECK-NEXT: fcvt s0, h0
361 ; CHECK-NEXT: fcvtzs x0, s0
363 define i64 @test_fptosi_i64(half %a) #0 {
364 %r = fptosi half %a to i64
368 ; CHECK-LABEL: test_fptoui_i32:
369 ; CHECK-NEXT: fcvt s0, h0
370 ; CHECK-NEXT: fcvtzu w0, s0
372 define i32 @test_fptoui_i32(half %a) #0 {
373 %r = fptoui half %a to i32
377 ; CHECK-LABEL: test_fptoui_i64:
378 ; CHECK-NEXT: fcvt s0, h0
379 ; CHECK-NEXT: fcvtzu x0, s0
381 define i64 @test_fptoui_i64(half %a) #0 {
382 %r = fptoui half %a to i64
386 ; CHECK-LABEL: test_uitofp_i32:
387 ; CHECK-NEXT: ucvtf s0, w0
388 ; CHECK-NEXT: fcvt h0, s0
390 define half @test_uitofp_i32(i32 %a) #0 {
391 %r = uitofp i32 %a to half
395 ; CHECK-LABEL: test_uitofp_i64:
396 ; CHECK-NEXT: ucvtf s0, x0
397 ; CHECK-NEXT: fcvt h0, s0
399 define half @test_uitofp_i64(i64 %a) #0 {
400 %r = uitofp i64 %a to half
404 ; CHECK-LABEL: test_sitofp_i32:
405 ; CHECK-NEXT: scvtf s0, w0
406 ; CHECK-NEXT: fcvt h0, s0
408 define half @test_sitofp_i32(i32 %a) #0 {
409 %r = sitofp i32 %a to half
413 ; CHECK-LABEL: test_sitofp_i64:
414 ; CHECK-NEXT: scvtf s0, x0
415 ; CHECK-NEXT: fcvt h0, s0
417 define half @test_sitofp_i64(i64 %a) #0 {
418 %r = sitofp i64 %a to half
422 ; CHECK-LABEL: test_fptrunc_float:
423 ; CHECK-NEXT: fcvt h0, s0
426 define half @test_fptrunc_float(float %a) #0 {
427 %r = fptrunc float %a to half
431 ; CHECK-LABEL: test_fptrunc_double:
432 ; CHECK-NEXT: fcvt h0, d0
434 define half @test_fptrunc_double(double %a) #0 {
435 %r = fptrunc double %a to half
439 ; CHECK-LABEL: test_fpext_float:
440 ; CHECK-NEXT: fcvt s0, h0
442 define float @test_fpext_float(half %a) #0 {
443 %r = fpext half %a to float
447 ; CHECK-LABEL: test_fpext_double:
448 ; CHECK-NEXT: fcvt d0, h0
450 define double @test_fpext_double(half %a) #0 {
451 %r = fpext half %a to double
456 ; CHECK-LABEL: test_bitcast_halftoi16:
457 ; CHECK-NEXT: fmov w0, s0
459 define i16 @test_bitcast_halftoi16(half %a) #0 {
460 %r = bitcast half %a to i16
464 ; CHECK-LABEL: test_bitcast_i16tohalf:
465 ; CHECK-NEXT: fmov s0, w0
467 define half @test_bitcast_i16tohalf(i16 %a) #0 {
468 %r = bitcast i16 %a to half
473 declare half @llvm.sqrt.f16(half %a) #0
474 declare half @llvm.powi.f16(half %a, i32 %b) #0
475 declare half @llvm.sin.f16(half %a) #0
476 declare half @llvm.cos.f16(half %a) #0
477 declare half @llvm.pow.f16(half %a, half %b) #0
478 declare half @llvm.exp.f16(half %a) #0
479 declare half @llvm.exp2.f16(half %a) #0
480 declare half @llvm.log.f16(half %a) #0
481 declare half @llvm.log10.f16(half %a) #0
482 declare half @llvm.log2.f16(half %a) #0
483 declare half @llvm.fma.f16(half %a, half %b, half %c) #0
484 declare half @llvm.fabs.f16(half %a) #0
485 declare half @llvm.minnum.f16(half %a, half %b) #0
486 declare half @llvm.maxnum.f16(half %a, half %b) #0
487 declare half @llvm.copysign.f16(half %a, half %b) #0
488 declare half @llvm.floor.f16(half %a) #0
489 declare half @llvm.ceil.f16(half %a) #0
490 declare half @llvm.trunc.f16(half %a) #0
491 declare half @llvm.rint.f16(half %a) #0
492 declare half @llvm.nearbyint.f16(half %a) #0
493 declare half @llvm.round.f16(half %a) #0
494 declare half @llvm.fmuladd.f16(half %a, half %b, half %c) #0
496 ; CHECK-LABEL: test_sqrt:
497 ; CHECK-NEXT: fcvt s0, h0
498 ; CHECK-NEXT: fsqrt s0, s0
499 ; CHECK-NEXT: fcvt h0, s0
501 define half @test_sqrt(half %a) #0 {
502 %r = call half @llvm.sqrt.f16(half %a)
506 ; CHECK-LABEL: test_powi:
507 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
508 ; CHECK-NEXT: mov x29, sp
509 ; CHECK-NEXT: fcvt s0, h0
510 ; CHECK-NEXT: bl {{_?}}__powisf2
511 ; CHECK-NEXT: fcvt h0, s0
512 ; CHECK-NEXT: ldp x29, x30, [sp], #16
514 define half @test_powi(half %a, i32 %b) #0 {
515 %r = call half @llvm.powi.f16(half %a, i32 %b)
519 ; CHECK-LABEL: test_sin:
520 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
521 ; CHECK-NEXT: mov x29, sp
522 ; CHECK-NEXT: fcvt s0, h0
523 ; CHECK-NEXT: bl {{_?}}sinf
524 ; CHECK-NEXT: fcvt h0, s0
525 ; CHECK-NEXT: ldp x29, x30, [sp], #16
527 define half @test_sin(half %a) #0 {
528 %r = call half @llvm.sin.f16(half %a)
532 ; CHECK-LABEL: test_cos:
533 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
534 ; CHECK-NEXT: mov x29, sp
535 ; CHECK-NEXT: fcvt s0, h0
536 ; CHECK-NEXT: bl {{_?}}cosf
537 ; CHECK-NEXT: fcvt h0, s0
538 ; CHECK-NEXT: ldp x29, x30, [sp], #16
540 define half @test_cos(half %a) #0 {
541 %r = call half @llvm.cos.f16(half %a)
545 ; CHECK-LABEL: test_pow:
546 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
547 ; CHECK-NEXT: mov x29, sp
548 ; CHECK-NEXT: fcvt s0, h0
549 ; CHECK-NEXT: fcvt s1, h1
550 ; CHECK-NEXT: bl {{_?}}powf
551 ; CHECK-NEXT: fcvt h0, s0
552 ; CHECK-NEXT: ldp x29, x30, [sp], #16
554 define half @test_pow(half %a, half %b) #0 {
555 %r = call half @llvm.pow.f16(half %a, half %b)
559 ; CHECK-LABEL: test_exp:
560 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
561 ; CHECK-NEXT: mov x29, sp
562 ; CHECK-NEXT: fcvt s0, h0
563 ; CHECK-NEXT: bl {{_?}}expf
564 ; CHECK-NEXT: fcvt h0, s0
565 ; CHECK-NEXT: ldp x29, x30, [sp], #16
567 define half @test_exp(half %a) #0 {
568 %r = call half @llvm.exp.f16(half %a)
572 ; CHECK-LABEL: test_exp2:
573 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
574 ; CHECK-NEXT: mov x29, sp
575 ; CHECK-NEXT: fcvt s0, h0
576 ; CHECK-NEXT: bl {{_?}}exp2f
577 ; CHECK-NEXT: fcvt h0, s0
578 ; CHECK-NEXT: ldp x29, x30, [sp], #16
580 define half @test_exp2(half %a) #0 {
581 %r = call half @llvm.exp2.f16(half %a)
585 ; CHECK-LABEL: test_log:
586 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
587 ; CHECK-NEXT: mov x29, sp
588 ; CHECK-NEXT: fcvt s0, h0
589 ; CHECK-NEXT: bl {{_?}}logf
590 ; CHECK-NEXT: fcvt h0, s0
591 ; CHECK-NEXT: ldp x29, x30, [sp], #16
593 define half @test_log(half %a) #0 {
594 %r = call half @llvm.log.f16(half %a)
598 ; CHECK-LABEL: test_log10:
599 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
600 ; CHECK-NEXT: mov x29, sp
601 ; CHECK-NEXT: fcvt s0, h0
602 ; CHECK-NEXT: bl {{_?}}log10f
603 ; CHECK-NEXT: fcvt h0, s0
604 ; CHECK-NEXT: ldp x29, x30, [sp], #16
606 define half @test_log10(half %a) #0 {
607 %r = call half @llvm.log10.f16(half %a)
611 ; CHECK-LABEL: test_log2:
612 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
613 ; CHECK-NEXT: mov x29, sp
614 ; CHECK-NEXT: fcvt s0, h0
615 ; CHECK-NEXT: bl {{_?}}log2f
616 ; CHECK-NEXT: fcvt h0, s0
617 ; CHECK-NEXT: ldp x29, x30, [sp], #16
619 define half @test_log2(half %a) #0 {
620 %r = call half @llvm.log2.f16(half %a)
624 ; CHECK-LABEL: test_fma:
625 ; CHECK-NEXT: fcvt s2, h2
626 ; CHECK-NEXT: fcvt s1, h1
627 ; CHECK-NEXT: fcvt s0, h0
628 ; CHECK-NEXT: fmadd s0, s0, s1, s2
629 ; CHECK-NEXT: fcvt h0, s0
631 define half @test_fma(half %a, half %b, half %c) #0 {
632 %r = call half @llvm.fma.f16(half %a, half %b, half %c)
636 ; CHECK-LABEL: test_fabs:
637 ; CHECK-NEXT: fcvt s0, h0
638 ; CHECK-NEXT: fabs s0, s0
639 ; CHECK-NEXT: fcvt h0, s0
641 define half @test_fabs(half %a) #0 {
642 %r = call half @llvm.fabs.f16(half %a)
646 ; CHECK-LABEL: test_minnum:
647 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
648 ; CHECK-NEXT: mov x29, sp
649 ; CHECK-NEXT: fcvt s0, h0
650 ; CHECK-NEXT: fcvt s1, h1
651 ; CHECK-NEXT: bl {{_?}}fminf
652 ; CHECK-NEXT: fcvt h0, s0
653 ; CHECK-NEXT: ldp x29, x30, [sp], #16
655 define half @test_minnum(half %a, half %b) #0 {
656 %r = call half @llvm.minnum.f16(half %a, half %b)
660 ; CHECK-LABEL: test_maxnum:
661 ; CHECK-NEXT: stp x29, x30, [sp, #-16]!
662 ; CHECK-NEXT: mov x29, sp
663 ; CHECK-NEXT: fcvt s0, h0
664 ; CHECK-NEXT: fcvt s1, h1
665 ; CHECK-NEXT: bl {{_?}}fmaxf
666 ; CHECK-NEXT: fcvt h0, s0
667 ; CHECK-NEXT: ldp x29, x30, [sp], #16
669 define half @test_maxnum(half %a, half %b) #0 {
670 %r = call half @llvm.maxnum.f16(half %a, half %b)
674 ; CHECK-LABEL: test_copysign:
675 ; CHECK-NEXT: fcvt s1, h1
676 ; CHECK-NEXT: fcvt s0, h0
677 ; CHECK-NEXT: movi.4s v2, #0x80, lsl #24
678 ; CHECK-NEXT: bit.16b v0, v1, v2
679 ; CHECK-NEXT: fcvt h0, s0
681 define half @test_copysign(half %a, half %b) #0 {
682 %r = call half @llvm.copysign.f16(half %a, half %b)
686 ; CHECK-LABEL: test_floor:
687 ; CHECK-NEXT: fcvt s1, h0
688 ; CHECK-NEXT: frintm s0, s1
689 ; CHECK-NEXT: fcvt h0, s0
690 ; CHECK-NEXT: frintx s1, s1
692 define half @test_floor(half %a) #0 {
693 %r = call half @llvm.floor.f16(half %a)
697 ; CHECK-LABEL: test_ceil:
698 ; CHECK-NEXT: fcvt s1, h0
699 ; CHECK-NEXT: frintp s0, s1
700 ; CHECK-NEXT: fcvt h0, s0
701 ; CHECK-NEXT: frintx s1, s1
703 define half @test_ceil(half %a) #0 {
704 %r = call half @llvm.ceil.f16(half %a)
708 ; CHECK-LABEL: test_trunc:
709 ; CHECK-NEXT: fcvt s1, h0
710 ; CHECK-NEXT: frintz s0, s1
711 ; CHECK-NEXT: fcvt h0, s0
712 ; CHECK-NEXT: frintx s1, s1
714 define half @test_trunc(half %a) #0 {
715 %r = call half @llvm.trunc.f16(half %a)
719 ; CHECK-LABEL: test_rint:
720 ; CHECK-NEXT: fcvt s0, h0
721 ; CHECK-NEXT: frintx s0, s0
722 ; CHECK-NEXT: fcvt h0, s0
724 define half @test_rint(half %a) #0 {
725 %r = call half @llvm.rint.f16(half %a)
729 ; CHECK-LABEL: test_nearbyint:
730 ; CHECK-NEXT: fcvt s0, h0
731 ; CHECK-NEXT: frinti s0, s0
732 ; CHECK-NEXT: fcvt h0, s0
734 define half @test_nearbyint(half %a) #0 {
735 %r = call half @llvm.nearbyint.f16(half %a)
739 ; CHECK-LABEL: test_round:
740 ; CHECK-NEXT: fcvt s1, h0
741 ; CHECK-NEXT: frinta s0, s1
742 ; CHECK-NEXT: fcvt h0, s0
743 ; CHECK-NEXT: frintx s1, s1
745 define half @test_round(half %a) #0 {
746 %r = call half @llvm.round.f16(half %a)
750 ; CHECK-LABEL: test_fmuladd:
751 ; CHECK-NEXT: fcvt s1, h1
752 ; CHECK-NEXT: fcvt s0, h0
753 ; CHECK-NEXT: fmul s0, s0, s1
754 ; CHECK-NEXT: fcvt h0, s0
755 ; CHECK-NEXT: fcvt s0, h0
756 ; CHECK-NEXT: fcvt s1, h2
757 ; CHECK-NEXT: fadd s0, s0, s1
758 ; CHECK-NEXT: fcvt h0, s0
760 define half @test_fmuladd(half %a, half %b, half %c) #0 {
761 %r = call half @llvm.fmuladd.f16(half %a, half %b, half %c)
765 attributes #0 = { nounwind }