[llvm] 57bed5c - [AArch64] Update and regenerate f16-instructions.ll. NFC
David Green via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 26 01:02:58 PDT 2024
Author: David Green
Date: 2024-09-26T09:02:53+01:00
New Revision: 57bed5cd63b5d23ca821be09b4e593646cd84146
URL: https://github.com/llvm/llvm-project/commit/57bed5cd63b5d23ca821be09b4e593646cd84146
DIFF: https://github.com/llvm/llvm-project/commit/57bed5cd63b5d23ca821be09b4e593646cd84146.diff
LOG: [AArch64] Update and regenerate f16-instructions.ll. NFC
Added:
Modified:
llvm/test/CodeGen/AArch64/f16-instructions.ll
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/AArch64/f16-instructions.ll b/llvm/test/CodeGen/AArch64/f16-instructions.ll
index 8710703ab970e2..d8a17b40587106 100644
--- a/llvm/test/CodeGen/AArch64/f16-instructions.ll
+++ b/llvm/test/CodeGen/AArch64/f16-instructions.ll
@@ -1,500 +1,817 @@
-; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
-; RUN: llc < %s -mtriple aarch64-unknown-unknown -aarch64-neon-syntax=apple -asm-verbose=false -disable-post-ra -frame-pointer=non-leaf | FileCheck %s --check-prefix=CHECK-CVT --check-prefix=CHECK-COMMON
-; RUN: llc < %s -mtriple aarch64-unknown-unknown -mattr=+fullfp16 -aarch64-neon-syntax=apple -asm-verbose=false -disable-post-ra -frame-pointer=non-leaf | FileCheck %s --check-prefix=CHECK-COMMON --check-prefix=CHECK-FP16
-
-; RUN: llc < %s -mtriple aarch64-unknown-unknown -aarch64-neon-syntax=apple \
-; RUN: -asm-verbose=false -disable-post-ra -frame-pointer=non-leaf -global-isel \
-; RUN: -global-isel-abort=2 -pass-remarks-missed=gisel-* 2>&1 | FileCheck %s \
-; RUN: --check-prefixes=FALLBACK,GISEL-CVT,GISEL
-
-; RUN: llc < %s -mtriple aarch64-unknown-unknown -mattr=+fullfp16 \
-; RUN: -aarch64-neon-syntax=apple -asm-verbose=false -disable-post-ra \
-; RUN: -frame-pointer=non-leaf -global-isel -global-isel-abort=2 \
-; RUN: -pass-remarks-missed=gisel-* 2>&1 | FileCheck %s \
-; RUN: --check-prefixes=FALLBACK-FP16,GISEL-FP16,GISEL
-
-target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
-
-; CHECK-CVT-LABEL: test_fadd:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fadd s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fadd:
-; CHECK-FP16-NEXT: fadd h0, h0, h1
-; CHECK-FP16-NEXT: ret
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
+; RUN: llc < %s -mtriple aarch64-unknown-unknown | FileCheck %s --check-prefixes=CHECK,CHECK-CVT,CHECK-CVT-SD
+; RUN: llc < %s -mtriple aarch64-unknown-unknown -mattr=+fullfp16 | FileCheck %s --check-prefixes=CHECK,CHECK-FP16,CHECK-FP16-SD
+; RUN: llc < %s -mtriple aarch64-unknown-unknown -global-isel | FileCheck %s --check-prefixes=CHECK,CHECK-CVT,CHECK-CVT-GI
+; RUN: llc < %s -mtriple aarch64-unknown-unknown -mattr=+fullfp16 -global-isel | FileCheck %s --check-prefixes=CHECK,CHECK-FP16,CHECK-FP16-GI
define half @test_fadd(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fadd:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fadd s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fadd:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fadd h0, h0, h1
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fadd:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fadd s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = fadd half %a, %b
ret half %r
}
-; CHECK-CVT-LABEL: test_fsub:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fsub s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fsub:
-; CHECK-FP16-NEXT: fsub h0, h0, h1
-; CHECK-FP16-NEXT: ret
-
define half @test_fsub(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fsub:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fsub s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fsub:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fsub h0, h0, h1
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fsub:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fsub s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = fsub half %a, %b
ret half %r
}
-; CHECK-CVT-LABEL: test_fmul:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fmul s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fmul:
-; CHECK-FP16-NEXT: fmul h0, h0, h1
-; CHECK-FP16-NEXT: ret
-
define half @test_fmul(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fmul:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fmul s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fmul:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fmul h0, h0, h1
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fmul:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fmul s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = fmul half %a, %b
ret half %r
}
-; CHECK-CVT-LABEL: test_fmadd:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fmul s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvt s1, h2
-; CHECK-CVT-NEXT: fadd s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fmadd:
-; CHECK-FP16-NEXT: fmadd h0, h0, h1, h2
-; CHECK-FP16-NEXT: ret
-
define half @test_fmadd(half %a, half %b, half %c) #0 {
+; CHECK-CVT-SD-LABEL: test_fmadd:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fmul s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt s1, h2
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fadd s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fmadd:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fmadd h0, h0, h1, h2
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fmadd:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fmul s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt s1, h2
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fadd s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%mul = fmul fast half %a, %b
%r = fadd fast half %mul, %c
ret half %r
}
-; CHECK-CVT-LABEL: test_fdiv:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fdiv s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fdiv:
-; CHECK-FP16-NEXT: fdiv h0, h0, h1
-; CHECK-FP16-NEXT: ret
define half @test_fdiv(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fdiv:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fdiv s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fdiv:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fdiv h0, h0, h1
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fdiv:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fdiv s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = fdiv half %a, %b
ret half %r
}
-; CHECK-COMMON-LABEL: test_frem:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: fcvt s1, h1
-; CHECK-COMMON-NEXT: bl {{_?}}fmodf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
define half @test_frem(half %a, half %b) #0 {
+; CHECK-LABEL: test_frem:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: fcvt s1, h1
+; CHECK-NEXT: bl fmodf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = frem half %a, %b
ret half %r
}
-; CHECK-COMMON-LABEL: test_store:
-; CHECK-COMMON-NEXT: str h0, [x0]
-; CHECK-COMMON-NEXT: ret
define void @test_store(half %a, ptr %b) #0 {
+; CHECK-LABEL: test_store:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str h0, [x0]
+; CHECK-NEXT: ret
store half %a, ptr %b
ret void
}
-; CHECK-COMMON-LABEL: test_load:
-; CHECK-COMMON-NEXT: ldr h0, [x0]
-; CHECK-COMMON-NEXT: ret
define half @test_load(ptr %a) #0 {
+; CHECK-LABEL: test_load:
+; CHECK: // %bb.0:
+; CHECK-NEXT: ldr h0, [x0]
+; CHECK-NEXT: ret
%r = load half, ptr %a
ret half %r
}
declare half @test_callee(half %a, half %b) #0
-; CHECK-COMMON-LABEL: test_call:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: bl {{_?}}test_callee
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
define half @test_call(half %a, half %b) #0 {
+; CHECK-LABEL: test_call:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: bl test_callee
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @test_callee(half %a, half %b)
ret half %r
}
-; CHECK-COMMON-LABEL: test_call_flipped:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fmov s2, s0
-; CHECK-COMMON-NEXT: fmov s0, s1
-; CHECK-COMMON-NEXT: fmov s1, s2
-; CHECK-COMMON-NEXT: bl {{_?}}test_callee
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
define half @test_call_flipped(half %a, half %b) #0 {
+; CHECK-LABEL: test_call_flipped:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fmov s2, s0
+; CHECK-NEXT: fmov s0, s1
+; CHECK-NEXT: fmov s1, s2
+; CHECK-NEXT: bl test_callee
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @test_callee(half %b, half %a)
ret half %r
}
-; CHECK-COMMON-LABEL: test_tailcall_flipped:
-; CHECK-COMMON-NEXT: fmov s2, s0
-; CHECK-COMMON-NEXT: fmov s0, s1
-; CHECK-COMMON-NEXT: fmov s1, s2
-; CHECK-COMMON-NEXT: b {{_?}}test_callee
define half @test_tailcall_flipped(half %a, half %b) #0 {
+; CHECK-LABEL: test_tailcall_flipped:
+; CHECK: // %bb.0:
+; CHECK-NEXT: fmov s2, s0
+; CHECK-NEXT: fmov s0, s1
+; CHECK-NEXT: fmov s1, s2
+; CHECK-NEXT: b test_callee
%r = tail call half @test_callee(half %b, half %a)
ret half %r
}
-; CHECK-CVT-LABEL: test_select:
-; CHECK-CVT-NEXT: cmp w0, #0
-; CHECK-CVT-NEXT: fcsel s0, s0, s1, ne
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_select:
-; CHECK-FP16-NEXT: cmp w0, #0
-; CHECK-FP16-NEXT: fcsel h0, h0, h1, ne
-; CHECK-FP16-NEXT: ret
-
define half @test_select(half %a, half %b, i1 zeroext %c) #0 {
+; CHECK-CVT-SD-LABEL: test_select:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-SD-NEXT: cmp w0, #0
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_select:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: cmp w0, #0
+; CHECK-FP16-SD-NEXT: fcsel h0, h0, h1, ne
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_select:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-GI-NEXT: fmov w8, s0
+; CHECK-CVT-GI-NEXT: fmov w9, s1
+; CHECK-CVT-GI-NEXT: tst w0, #0x1
+; CHECK-CVT-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-CVT-GI-NEXT: fmov s0, w8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_select:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-FP16-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-FP16-GI-NEXT: fmov w8, s0
+; CHECK-FP16-GI-NEXT: fmov w9, s1
+; CHECK-FP16-GI-NEXT: tst w0, #0x1
+; CHECK-FP16-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-FP16-GI-NEXT: fmov s0, w8
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-FP16-GI-NEXT: ret
%r = select i1 %c, half %a, half %b
ret half %r
}
-; CHECK-CVT-LABEL: test_select_cc:
-; CHECK-CVT-DAG: fcvt s3, h3
-; CHECK-CVT-DAG: fcvt s2, h2
-; CHECK-CVT-DAG: fcmp s2, s3
-; CHECK-CVT-NEXT: fcsel s0, s0, s1, ne
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_select_cc:
-; CHECK-FP16-NEXT: fcmp h2, h3
-; CHECK-FP16-NEXT: fcsel h0, h0, h1, ne
-; CHECK-FP16-NEXT: ret
-
define half @test_select_cc(half %a, half %b, half %c, half %d) #0 {
+; CHECK-CVT-SD-LABEL: test_select_cc:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s3, h3
+; CHECK-CVT-SD-NEXT: fcvt s2, h2
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-SD-NEXT: fcmp s2, s3
+; CHECK-CVT-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_select_cc:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: fcmp h2, h3
+; CHECK-FP16-SD-NEXT: fcsel h0, h0, h1, ne
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_select_cc:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s2, h2
+; CHECK-CVT-GI-NEXT: fcvt s3, h3
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-GI-NEXT: fmov w8, s0
+; CHECK-CVT-GI-NEXT: fmov w9, s1
+; CHECK-CVT-GI-NEXT: fcmp s2, s3
+; CHECK-CVT-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-CVT-GI-NEXT: fmov s0, w8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_select_cc:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-FP16-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-FP16-GI-NEXT: fcmp h2, h3
+; CHECK-FP16-GI-NEXT: fmov w8, s0
+; CHECK-FP16-GI-NEXT: fmov w9, s1
+; CHECK-FP16-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-FP16-GI-NEXT: fmov s0, w8
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-FP16-GI-NEXT: ret
%cc = fcmp une half %c, %d
%r = select i1 %cc, half %a, half %b
ret half %r
}
-; CHECK-CVT-LABEL: test_select_cc_f32_f16:
-; CHECK-CVT-DAG: fcvt s2, h2
-; CHECK-CVT-DAG: fcvt s3, h3
-; CHECK-CVT-NEXT: fcmp s2, s3
-; CHECK-CVT-NEXT: fcsel s0, s0, s1, ne
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_select_cc_f32_f16:
-; CHECK-FP16-NEXT: fcmp h2, h3
-; CHECK-FP16-NEXT: fcsel s0, s0, s1, ne
-; CHECK-FP16-NEXT: ret
-
define float @test_select_cc_f32_f16(float %a, float %b, half %c, half %d) #0 {
+; CHECK-CVT-SD-LABEL: test_select_cc_f32_f16:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s3, h3
+; CHECK-CVT-SD-NEXT: fcvt s2, h2
+; CHECK-CVT-SD-NEXT: fcmp s2, s3
+; CHECK-CVT-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_select_cc_f32_f16:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h2, h3
+; CHECK-FP16-NEXT: fcsel s0, s0, s1, ne
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_select_cc_f32_f16:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s2, h2
+; CHECK-CVT-GI-NEXT: fcvt s3, h3
+; CHECK-CVT-GI-NEXT: fcmp s2, s3
+; CHECK-CVT-GI-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-GI-NEXT: ret
%cc = fcmp une half %c, %d
%r = select i1 %cc, float %a, float %b
ret float %r
}
-; CHECK-CVT-LABEL: test_select_cc_f16_f32:
-; CHECK-CVT-DAG: fcmp s2, s3
-; CHECK-CVT-NEXT: fcsel s0, s0, s1, ne
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_select_cc_f16_f32:
-; CHECK-FP16-NEXT: fcmp s2, s3
-; CHECK-FP16-NEXT: fcsel h0, h0, h1, ne
-; CHECK-FP16-NEXT: ret
-
define half @test_select_cc_f16_f32(half %a, half %b, float %c, float %d) #0 {
+; CHECK-CVT-SD-LABEL: test_select_cc_f16_f32:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcmp s2, s3
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_select_cc_f16_f32:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: fcmp s2, s3
+; CHECK-FP16-SD-NEXT: fcsel h0, h0, h1, ne
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_select_cc_f16_f32:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-GI-NEXT: fcmp s2, s3
+; CHECK-CVT-GI-NEXT: fmov w8, s0
+; CHECK-CVT-GI-NEXT: fmov w9, s1
+; CHECK-CVT-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-CVT-GI-NEXT: fmov s0, w8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_select_cc_f16_f32:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-FP16-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-FP16-GI-NEXT: fcmp s2, s3
+; CHECK-FP16-GI-NEXT: fmov w8, s0
+; CHECK-FP16-GI-NEXT: fmov w9, s1
+; CHECK-FP16-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-FP16-GI-NEXT: fmov s0, w8
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-FP16-GI-NEXT: ret
%cc = fcmp une float %c, %d
%r = select i1 %cc, half %a, half %b
ret half %r
}
-; CHECK-CVT-LABEL: test_fcmp_une:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, ne
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_une:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, ne
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_une(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_une:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, ne
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_une:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, ne
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_une:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, ne
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp une half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_ueq:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset [[TRUE:w[0-9]+]], eq
-; CHECK-CVT-NEXT: csinc w0, [[TRUE]], wzr, vc
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_ueq:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset [[TRUE:w[0-9]+]], eq
-; CHECK-FP16-NEXT: csinc w0, [[TRUE]], wzr, vc
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_ueq(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_ueq:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w8, eq
+; CHECK-CVT-SD-NEXT: csinc w0, w8, wzr, vc
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_fcmp_ueq:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: fcmp h0, h1
+; CHECK-FP16-SD-NEXT: cset w8, eq
+; CHECK-FP16-SD-NEXT: csinc w0, w8, wzr, vc
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ueq:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w8, eq
+; CHECK-CVT-GI-NEXT: cset w9, vs
+; CHECK-CVT-GI-NEXT: orr w0, w8, w9
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_fcmp_ueq:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: fcmp h0, h1
+; CHECK-FP16-GI-NEXT: cset w8, eq
+; CHECK-FP16-GI-NEXT: cset w9, vs
+; CHECK-FP16-GI-NEXT: orr w0, w8, w9
+; CHECK-FP16-GI-NEXT: ret
%r = fcmp ueq half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_ugt:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, hi
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_ugt:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, hi
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_ugt(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_ugt:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, hi
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_ugt:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, hi
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ugt:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, hi
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp ugt half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_uge:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, pl
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_uge:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, pl
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_uge(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_uge:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, pl
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_uge:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, pl
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_uge:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, pl
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp uge half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_ult:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, lt
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_ult:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, lt
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_ult(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_ult:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, lt
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_ult:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, lt
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ult:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, lt
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp ult half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_ule:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, le
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_ule:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, le
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_ule(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_ule:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, le
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_ule:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, le
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ule:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, le
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp ule half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_uno:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, vs
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_uno:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, vs
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_uno(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_uno:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, vs
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_uno:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, vs
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_uno:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, vs
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp uno half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_one:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset [[TRUE:w[0-9]+]], mi
-; CHECK-CVT-NEXT: csinc w0, [[TRUE]], wzr, le
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_one:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset [[TRUE:w[0-9]+]], mi
-; CHECK-FP16-NEXT: csinc w0, [[TRUE]], wzr, le
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_one(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_one:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w8, mi
+; CHECK-CVT-SD-NEXT: csinc w0, w8, wzr, le
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_fcmp_one:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: fcmp h0, h1
+; CHECK-FP16-SD-NEXT: cset w8, mi
+; CHECK-FP16-SD-NEXT: csinc w0, w8, wzr, le
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_one:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w8, mi
+; CHECK-CVT-GI-NEXT: cset w9, gt
+; CHECK-CVT-GI-NEXT: orr w0, w8, w9
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_fcmp_one:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: fcmp h0, h1
+; CHECK-FP16-GI-NEXT: cset w8, mi
+; CHECK-FP16-GI-NEXT: cset w9, gt
+; CHECK-FP16-GI-NEXT: orr w0, w8, w9
+; CHECK-FP16-GI-NEXT: ret
%r = fcmp one half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_oeq:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, eq
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_oeq:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, eq
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_oeq(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_oeq:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, eq
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_oeq:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, eq
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_oeq:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, eq
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp oeq half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_ogt:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, gt
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_ogt:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, gt
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_ogt(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_ogt:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, gt
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_ogt:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, gt
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ogt:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, gt
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp ogt half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_oge:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, ge
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_oge:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, ge
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_oge(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_oge:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, ge
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_oge:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, ge
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_oge:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, ge
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp oge half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_olt:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, mi
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_olt:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, mi
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_olt(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_olt:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, mi
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_olt:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, mi
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_olt:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, mi
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp olt half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_ole:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, ls
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_ole:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, ls
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_ole(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_ole:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, ls
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_ole:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, ls
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ole:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, ls
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp ole half %a, %b
ret i1 %r
}
-; CHECK-CVT-LABEL: test_fcmp_ord:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: cset w0, vc
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fcmp_ord:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: cset w0, vc
-; CHECK-FP16-NEXT: ret
-
define i1 @test_fcmp_ord(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_fcmp_ord:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, vc
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fcmp_ord:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: cset w0, vc
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ord:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, vc
+; CHECK-CVT-GI-NEXT: ret
%r = fcmp ord half %a, %b
ret i1 %r
}
-; CHECK-COMMON-LABEL: test_fccmp:
-; CHECK-CVT: fcvt s1, h0
-; CHECK-CVT-NEXT: fmov s2, #5.00000000
-; CHECK-CVT-NEXT: fcmp s1, s2
-; CHECK-CVT-NEXT: fmov s2, #8.00000000
-; CHECK-CVT-NEXT: fccmp s1, s2, #4, mi
-; CHECK-CVT-NEXT: adrp x8
-; CHECK-CVT-NEXT: ldr h1, [x8,
-; CHECK-CVT-NEXT: fcsel s0, s0, s1, gt
-; CHECK-CVT-NEXT: str h0, [x0]
-; CHECK-CVT-NEXT: ret
-; CHECK-FP16: fmov h1, #5.00000000
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: fmov h2, #8.00000000
-; CHECK-FP16-NEXT: fccmp h0, h2, #4, mi
-; CHECK-FP16-NEXT: fcsel h0, h0, h1, gt
-; CHECK-FP16-NEXT: str h0, [x0]
-; CHECK-FP16-NEXT: ret
-
define void @test_fccmp(half %in, ptr %out) {
+; CHECK-CVT-SD-LABEL: test_fccmp:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-SD-NEXT: fcvt s1, h0
+; CHECK-CVT-SD-NEXT: fmov s2, #5.00000000
+; CHECK-CVT-SD-NEXT: adrp x8, .LCPI29_0
+; CHECK-CVT-SD-NEXT: fcmp s1, s2
+; CHECK-CVT-SD-NEXT: fmov s2, #8.00000000
+; CHECK-CVT-SD-NEXT: fccmp s1, s2, #4, mi
+; CHECK-CVT-SD-NEXT: ldr h1, [x8, :lo12:.LCPI29_0]
+; CHECK-CVT-SD-NEXT: fcsel s0, s0, s1, gt
+; CHECK-CVT-SD-NEXT: str h0, [x0]
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_fccmp:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: fmov h1, #5.00000000
+; CHECK-FP16-SD-NEXT: fmov h2, #8.00000000
+; CHECK-FP16-SD-NEXT: fcmp h0, h1
+; CHECK-FP16-SD-NEXT: fccmp h0, h2, #4, mi
+; CHECK-FP16-SD-NEXT: fcsel h0, h0, h1, gt
+; CHECK-FP16-SD-NEXT: str h0, [x0]
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fccmp:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: mov w8, #17664 // =0x4500
+; CHECK-CVT-GI-NEXT: mov w9, #18432 // =0x4800
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-GI-NEXT: fcvt s2, h0
+; CHECK-CVT-GI-NEXT: fmov s1, w8
+; CHECK-CVT-GI-NEXT: fmov s3, w9
+; CHECK-CVT-GI-NEXT: fmov w9, s0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcvt s3, h3
+; CHECK-CVT-GI-NEXT: fcmp s2, s1
+; CHECK-CVT-GI-NEXT: fccmp s2, s3, #4, mi
+; CHECK-CVT-GI-NEXT: csel w8, w9, w8, gt
+; CHECK-CVT-GI-NEXT: strh w8, [x0]
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_fccmp:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: fmov h1, #5.00000000
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-FP16-GI-NEXT: fmov h2, #8.00000000
+; CHECK-FP16-GI-NEXT: fmov w8, s0
+; CHECK-FP16-GI-NEXT: fcmp h0, h1
+; CHECK-FP16-GI-NEXT: fmov w9, s1
+; CHECK-FP16-GI-NEXT: fccmp h0, h2, #4, mi
+; CHECK-FP16-GI-NEXT: csel w8, w8, w9, gt
+; CHECK-FP16-GI-NEXT: strh w8, [x0]
+; CHECK-FP16-GI-NEXT: ret
%cmp1 = fcmp ogt half %in, 0xH4800
%cmp2 = fcmp olt half %in, 0xH4500
%cond = and i1 %cmp1, %cmp2
@@ -503,21 +820,31 @@ define void @test_fccmp(half %in, ptr %out) {
ret void
}
-; CHECK-CVT-LABEL: test_br_cc:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcmp s0, s1
-; CHECK-CVT-NEXT: csel x8, x0, x1, pl
-; CHECK-CVT-NEXT: str wzr, [x8]
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_br_cc:
-; CHECK-FP16-NEXT: fcmp h0, h1
-; CHECK-FP16-NEXT: csel x8, x0, x1, pl
-; CHECK-FP16-NEXT: str wzr, [x8]
-; CHECK-FP16-NEXT: ret
-
define void @test_br_cc(half %a, half %b, ptr %p1, ptr %p2) #0 {
+; CHECK-CVT-SD-LABEL: test_br_cc:
+; CHECK-CVT-SD: // %bb.0: // %common.ret
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: csel x8, x0, x1, pl
+; CHECK-CVT-SD-NEXT: str wzr, [x8]
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_br_cc:
+; CHECK-FP16: // %bb.0: // %common.ret
+; CHECK-FP16-NEXT: fcmp h0, h1
+; CHECK-FP16-NEXT: csel x8, x0, x1, pl
+; CHECK-FP16-NEXT: str wzr, [x8]
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_br_cc:
+; CHECK-CVT-GI: // %bb.0: // %common.ret
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: csel x8, x0, x1, pl
+; CHECK-CVT-GI-NEXT: str wzr, [x8]
+; CHECK-CVT-GI-NEXT: ret
%c = fcmp uge half %a, %b
br i1 %c, label %then, label %else
then:
@@ -528,17 +855,25 @@ else:
ret void
}
-; CHECK-COMMON-LABEL: test_phi:
-; CHECK-COMMON: mov x[[PTR:[0-9]+]], x0
-; CHECK-COMMON: ldr h[[AB:[0-9]+]], [x0]
-; CHECK-COMMON: [[LOOP:LBB[0-9_]+]]:
-; CHECK-COMMON: fmov s[[R:[0-9]+]], s[[AB]]
-; CHECK-COMMON: ldr h[[AB]], [x[[PTR]]]
-; CHECK-COMMON: mov x0, x[[PTR]]
-; CHECK-COMMON: bl {{_?}}test_dummy
-; CHECK-COMMON: fmov s0, s[[R]]
-; CHECK-COMMON: ret
define half @test_phi(ptr %p1) #0 {
+; CHECK-LABEL: test_phi:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: stp d9, d8, [sp, #-32]! // 16-byte Folded Spill
+; CHECK-NEXT: ldr h9, [x0]
+; CHECK-NEXT: stp x30, x19, [sp, #16] // 16-byte Folded Spill
+; CHECK-NEXT: mov x19, x0
+; CHECK-NEXT: .LBB31_1: // %loop
+; CHECK-NEXT: // =>This Inner Loop Header: Depth=1
+; CHECK-NEXT: fmov s8, s9
+; CHECK-NEXT: ldr h9, [x19]
+; CHECK-NEXT: mov x0, x19
+; CHECK-NEXT: bl test_dummy
+; CHECK-NEXT: tbnz w0, #0, .LBB31_1
+; CHECK-NEXT: // %bb.2: // %return
+; CHECK-NEXT: ldp x30, x19, [sp, #16] // 16-byte Folded Reload
+; CHECK-NEXT: fmov s0, s8
+; CHECK-NEXT: ldp d9, d8, [sp], #32 // 16-byte Folded Reload
+; CHECK-NEXT: ret
entry:
%a = load half, ptr %p1
br label %loop
@@ -553,208 +888,224 @@ return:
declare i1 @test_dummy(ptr %p1) #0
+define i32 @test_fptosi_i32(half %a) #0 {
; CHECK-CVT-LABEL: test_fptosi_i32:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvtzs w0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: fcvtzs w0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_fptosi_i32:
-; CHECK-FP16-NEXT: fcvtzs w0, h0
-; CHECK-FP16-NEXT: ret
-
-define i32 @test_fptosi_i32(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcvtzs w0, h0
+; CHECK-FP16-NEXT: ret
%r = fptosi half %a to i32
ret i32 %r
}
+define i64 @test_fptosi_i64(half %a) #0 {
; CHECK-CVT-LABEL: test_fptosi_i64:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvtzs x0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: fcvtzs x0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_fptosi_i64:
-; CHECK-FP16-NEXT: fcvtzs x0, h0
-; CHECK-FP16-NEXT: ret
-
-define i64 @test_fptosi_i64(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcvtzs x0, h0
+; CHECK-FP16-NEXT: ret
%r = fptosi half %a to i64
ret i64 %r
}
+define i32 @test_fptoui_i32(half %a) #0 {
; CHECK-CVT-LABEL: test_fptoui_i32:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvtzu w0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: fcvtzu w0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_fptoui_i32:
-; CHECK-FP16-NEXT: fcvtzu w0, h0
-; CHECK-FP16-NEXT: ret
-
-define i32 @test_fptoui_i32(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcvtzu w0, h0
+; CHECK-FP16-NEXT: ret
%r = fptoui half %a to i32
ret i32 %r
}
+define i64 @test_fptoui_i64(half %a) #0 {
; CHECK-CVT-LABEL: test_fptoui_i64:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvtzu x0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: fcvtzu x0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_fptoui_i64:
-; CHECK-FP16-NEXT: fcvtzu x0, h0
-; CHECK-FP16-NEXT: ret
-
-define i64 @test_fptoui_i64(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fcvtzu x0, h0
+; CHECK-FP16-NEXT: ret
%r = fptoui half %a to i64
ret i64 %r
}
+define half @test_uitofp_i32(i32 %a) #0 {
; CHECK-CVT-LABEL: test_uitofp_i32:
-; CHECK-CVT-NEXT: ucvtf s0, w0
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: ucvtf s0, w0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_uitofp_i32:
-; CHECK-FP16-NEXT: ucvtf h0, w0
-; CHECK-FP16-NEXT: ret
-
-define half @test_uitofp_i32(i32 %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: ucvtf h0, w0
+; CHECK-FP16-NEXT: ret
%r = uitofp i32 %a to half
ret half %r
}
+define half @test_uitofp_i64(i64 %a) #0 {
; CHECK-CVT-LABEL: test_uitofp_i64:
-; CHECK-CVT-NEXT: ucvtf s0, x0
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: ucvtf s0, x0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_uitofp_i64:
-; CHECK-FP16-NEXT: ucvtf h0, x0
-; CHECK-FP16-NEXT: ret
-
-define half @test_uitofp_i64(i64 %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: ucvtf h0, x0
+; CHECK-FP16-NEXT: ret
%r = uitofp i64 %a to half
ret half %r
}
+define half @test_sitofp_i32(i32 %a) #0 {
; CHECK-CVT-LABEL: test_sitofp_i32:
-; CHECK-CVT-NEXT: scvtf s0, w0
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: scvtf s0, w0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_sitofp_i32:
-; CHECK-FP16-NEXT: scvtf h0, w0
-; CHECK-FP16-NEXT: ret
-
-define half @test_sitofp_i32(i32 %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: scvtf h0, w0
+; CHECK-FP16-NEXT: ret
%r = sitofp i32 %a to half
ret half %r
}
+define half @test_sitofp_i64(i64 %a) #0 {
; CHECK-CVT-LABEL: test_sitofp_i64:
-; CHECK-CVT-NEXT: scvtf s0, x0
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: scvtf s0, x0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_sitofp_i64:
-; CHECK-FP16-NEXT: scvtf h0, x0
-; CHECK-FP16-NEXT: ret
-define half @test_sitofp_i64(i64 %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: scvtf h0, x0
+; CHECK-FP16-NEXT: ret
%r = sitofp i64 %a to half
ret half %r
}
+define half @test_uitofp_i32_fadd(i32 %a, half %b) #0 {
; CHECK-CVT-LABEL: test_uitofp_i32_fadd:
-; CHECK-CVT-NEXT: ucvtf s1, w0
-; CHECK-CVT-NEXT: fcvt h1, s1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fadd s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: ucvtf s1, w0
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: fcvt h1, s1
+; CHECK-CVT-NEXT: fcvt s1, h1
+; CHECK-CVT-NEXT: fadd s0, s0, s1
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_uitofp_i32_fadd:
-; CHECK-FP16-NEXT: ucvtf h1, w0
-; CHECK-FP16-NEXT: fadd h0, h0, h1
-; CHECK-FP16-NEXT: ret
-
-define half @test_uitofp_i32_fadd(i32 %a, half %b) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: ucvtf h1, w0
+; CHECK-FP16-NEXT: fadd h0, h0, h1
+; CHECK-FP16-NEXT: ret
%c = uitofp i32 %a to half
%r = fadd half %b, %c
ret half %r
}
+define half @test_sitofp_i32_fadd(i32 %a, half %b) #0 {
; CHECK-CVT-LABEL: test_sitofp_i32_fadd:
-; CHECK-CVT-NEXT: scvtf s1, w0
-; CHECK-CVT-NEXT: fcvt h1, s1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fadd s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: scvtf s1, w0
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: fcvt h1, s1
+; CHECK-CVT-NEXT: fcvt s1, h1
+; CHECK-CVT-NEXT: fadd s0, s0, s1
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_sitofp_i32_fadd:
-; CHECK-FP16-NEXT: scvtf h1, w0
-; CHECK-FP16-NEXT: fadd h0, h0, h1
-; CHECK-FP16-NEXT: ret
-
-define half @test_sitofp_i32_fadd(i32 %a, half %b) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: scvtf h1, w0
+; CHECK-FP16-NEXT: fadd h0, h0, h1
+; CHECK-FP16-NEXT: ret
%c = sitofp i32 %a to half
%r = fadd half %b, %c
ret half %r
}
-; CHECK-COMMON-LABEL: test_fptrunc_float:
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ret
-
define half @test_fptrunc_float(float %a) #0 {
+; CHECK-LABEL: test_fptrunc_float:
+; CHECK: // %bb.0:
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ret
%r = fptrunc float %a to half
ret half %r
}
-; CHECK-COMMON-LABEL: test_fptrunc_double:
-; CHECK-COMMON-NEXT: fcvt h0, d0
-; CHECK-COMMON-NEXT: ret
define half @test_fptrunc_double(double %a) #0 {
+; CHECK-LABEL: test_fptrunc_double:
+; CHECK: // %bb.0:
+; CHECK-NEXT: fcvt h0, d0
+; CHECK-NEXT: ret
%r = fptrunc double %a to half
ret half %r
}
-; CHECK-COMMON-LABEL: test_fpext_float:
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: ret
define float @test_fpext_float(half %a) #0 {
+; CHECK-LABEL: test_fpext_float:
+; CHECK: // %bb.0:
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: ret
%r = fpext half %a to float
ret float %r
}
-; CHECK-COMMON-LABEL: test_fpext_double:
-; CHECK-COMMON-NEXT: fcvt d0, h0
-; CHECK-COMMON-NEXT: ret
define double @test_fpext_double(half %a) #0 {
+; CHECK-LABEL: test_fpext_double:
+; CHECK: // %bb.0:
+; CHECK-NEXT: fcvt d0, h0
+; CHECK-NEXT: ret
%r = fpext half %a to double
ret double %r
}
-
-; CHECK-COMMON-LABEL: test_bitcast_halftoi16:
-; CHECK-COMMON-NEXT: fmov w0, s0
-; CHECK-COMMON-NEXT: ret
define i16 @test_bitcast_halftoi16(half %a) #0 {
+; CHECK-LABEL: test_bitcast_halftoi16:
+; CHECK: // %bb.0:
+; CHECK-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-NEXT: fmov w0, s0
+; CHECK-NEXT: ret
%r = bitcast half %a to i16
ret i16 %r
}
-; CHECK-COMMON-LABEL: test_bitcast_i16tohalf:
-; CHECK-COMMON-NEXT: fmov s0, w0
-; CHECK-COMMON-NEXT: ret
define half @test_bitcast_i16tohalf(i16 %a) #0 {
+; CHECK-LABEL: test_bitcast_i16tohalf:
+; CHECK: // %bb.0:
+; CHECK-NEXT: fmov s0, w0
+; CHECK-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-NEXT: ret
%r = bitcast i16 %a to half
ret half %r
}
-
declare half @llvm.sqrt.f16(half %a) #0
declare half @llvm.powi.f16.i32(half %a, i32 %b) #0
declare half @llvm.sin.f16(half %a) #0
@@ -786,540 +1137,452 @@ declare half @llvm.round.f16(half %a) #0
declare half @llvm.roundeven.f16(half %a) #0
declare half @llvm.fmuladd.f16(half %a, half %b, half %c) #0
-; FALLBACK-NOT: remark:{{.*}}test_sqrt
-; FALLBACK-FP16-NOT: remark:{{.*}}test_sqrt
+define half @test_sqrt(half %a) #0 {
; CHECK-CVT-LABEL: test_sqrt:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fsqrt s0, s0
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: fsqrt s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_sqrt:
-; CHECK-FP16-NEXT: fsqrt h0, h0
-; CHECK-FP16-NEXT: ret
-
-; GISEL-CVT-LABEL: test_sqrt:
-; GISEL-CVT-NEXT: fcvt s0, h0
-; GISEL-CVT-NEXT: fsqrt s0, s0
-; GISEL-CVT-NEXT: fcvt h0, s0
-; GISEL-CVT-NEXT: ret
-
-; GISEL-FP16-LABEL: test_sqrt:
-; GISEL-FP16-NEXT: fsqrt h0, h0
-; GISEL-FP16-NEXT: ret
-
-define half @test_sqrt(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fsqrt h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.sqrt.f16(half %a)
ret half %r
}
-; CHECK-COMMON-LABEL: test_powi:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}__powisf2
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
define half @test_powi(half %a, i32 %b) #0 {
+; CHECK-LABEL: test_powi:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl __powisf2
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.powi.f16.i32(half %a, i32 %b)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_sin
-; FALLBACK-FP16-NOT: remark:{{.*}}test_sin
-
-; CHECK-COMMON-LABEL: test_sin:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}sinf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_sin:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}sinf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
+
define half @test_sin(half %a) #0 {
+; CHECK-LABEL: test_sin:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl sinf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.sin.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_cos
-; FALLBACK-FP16-NOT: remark:{{.*}}test_cos
-
-; CHECK-COMMON-LABEL: test_cos:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}cosf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_cos:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}cosf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_cos(half %a) #0 {
+; CHECK-LABEL: test_cos:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl cosf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.cos.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_tan
-; FALLBACK-FP16-NOT: remark:{{.*}}test_tan
-
-; CHECK-COMMON-LABEL: test_tan:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}tanf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_tan:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}tanf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_tan(half %a) #0 {
+; CHECK-LABEL: test_tan:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl tanf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.tan.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_acos
-; FALLBACK-FP16-NOT: remark:{{.*}}test_acos
-
-; CHECK-COMMON-LABEL: test_acos:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}acosf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_acos:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}acosf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_acos(half %a) #0 {
+; CHECK-LABEL: test_acos:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl acosf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.acos.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_asin
-; FALLBACK-FP16-NOT: remark:{{.*}}test_asin
-
-; CHECK-COMMON-LABEL: test_asin:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}asinf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_asin:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}asinf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_asin(half %a) #0 {
+; CHECK-LABEL: test_asin:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl asinf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.asin.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_atan
-; FALLBACK-FP16-NOT: remark:{{.*}}test_atan
-
-; CHECK-COMMON-LABEL: test_atan:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}atanf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_atan:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}atanf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_atan(half %a) #0 {
+; CHECK-LABEL: test_atan:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl atanf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.atan.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_cosh
-; FALLBACK-FP16-NOT: remark:{{.*}}test_cosh
-
-; CHECK-COMMON-LABEL: test_cosh:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}coshf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_cosh:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}coshf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_cosh(half %a) #0 {
+; CHECK-LABEL: test_cosh:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl coshf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.cosh.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_sinh
-; FALLBACK-FP16-NOT: remark:{{.*}}test_sinh
-
-; CHECK-COMMON-LABEL: test_sinh:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}sinhf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_sinh:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}sinhf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_sinh(half %a) #0 {
+; CHECK-LABEL: test_sinh:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl sinhf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.sinh.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_tanh
-; FALLBACK-FP16-NOT: remark:{{.*}}test_tanh
-
-; CHECK-COMMON-LABEL: test_tanh:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}tanhf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_tanh:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}tanhf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_tanh(half %a) #0 {
+; CHECK-LABEL: test_tanh:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl tanhf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.tanh.f16(half %a)
ret half %r
}
-; CHECK-COMMON-LABEL: test_pow:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: fcvt s1, h1
-; CHECK-COMMON-NEXT: bl {{_?}}powf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
define half @test_pow(half %a, half %b) #0 {
+; CHECK-LABEL: test_pow:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: fcvt s1, h1
+; CHECK-NEXT: bl powf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.pow.f16(half %a, half %b)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_exp
-; FALLBACK-FP16-NOT: remark:{{.*}}test_exp
-
-; CHECK-COMMON-LABEL: test_exp:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}expf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_exp:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}expf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_exp(half %a) #0 {
+; CHECK-LABEL: test_exp:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl expf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.exp.f16(half %a)
ret half %r
}
-; CHECK-COMMON-LABEL: test_exp2:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}exp2f
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_exp2:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}exp2f
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
define half @test_exp2(half %a) #0 {
+; CHECK-LABEL: test_exp2:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl exp2f
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.exp2.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_log
-; FALLBACK-FP16-NOT: remark:{{.*}}test_log
-
-; CHECK-COMMON-LABEL: test_log:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}logf
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_log:
-; GISEL: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}logf
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
-
define half @test_log(half %a) #0 {
+; CHECK-LABEL: test_log:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl logf
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.log.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_log10
-; FALLBACK-FP16-NOT: remark:{{.*}}test_log10
-
-; CHECK-COMMON-LABEL: test_log10:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}log10f
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_log10:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}log10f
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
-
define half @test_log10(half %a) #0 {
+; CHECK-LABEL: test_log10:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl log10f
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.log10.f16(half %a)
ret half %r
}
-; FALLBACK-NOT: remark:{{.*}}test_log2
-; FALLBACK-FP16-NOT: remark:{{.*}}test_log2
-
-; CHECK-COMMON-LABEL: test_log2:
-; CHECK-COMMON-NEXT: stp x29, x30, [sp, #-16]!
-; CHECK-COMMON-NEXT: mov x29, sp
-; CHECK-COMMON-NEXT: fcvt s0, h0
-; CHECK-COMMON-NEXT: bl {{_?}}log2f
-; CHECK-COMMON-NEXT: fcvt h0, s0
-; CHECK-COMMON-NEXT: ldp x29, x30, [sp], #16
-; CHECK-COMMON-NEXT: ret
-
-; GISEL-LABEL: test_log2:
-; GISEL-NEXT: stp x29, x30, [sp, #-16]!
-; GISEL-NEXT: mov x29, sp
-; GISEL-NEXT: fcvt s0, h0
-; GISEL-NEXT: bl {{_?}}log2f
-; GISEL-NEXT: fcvt h0, s0
-; GISEL-NEXT: ldp x29, x30, [sp], #16
-; GISEL-NEXT: ret
-
define half @test_log2(half %a) #0 {
+; CHECK-LABEL: test_log2:
+; CHECK: // %bb.0:
+; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
+; CHECK-NEXT: fcvt s0, h0
+; CHECK-NEXT: bl log2f
+; CHECK-NEXT: fcvt h0, s0
+; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
+; CHECK-NEXT: ret
%r = call half @llvm.log2.f16(half %a)
ret half %r
}
-; CHECK-CVT-LABEL: test_fma:
-; CHECK-CVT-NEXT: fcvt s2, h2
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fmadd s0, s0, s1, s2
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fma:
-; CHECK-FP16-NEXT: fmadd h0, h0, h1, h2
-; CHECK-FP16-NEXT: ret
-
define half @test_fma(half %a, half %b, half %c) #0 {
+; CHECK-CVT-SD-LABEL: test_fma:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s2, h2
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fmadd s0, s0, s1, s2
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fma:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fmadd h0, h0, h1, h2
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fma:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fcvt s2, h2
+; CHECK-CVT-GI-NEXT: fmadd s0, s0, s1, s2
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = call half @llvm.fma.f16(half %a, half %b, half %c)
ret half %r
}
-; CHECK-CVT-LABEL: test_fabs:
-; CHECK-CVT-NEXT: fmov w8, s0
-; CHECK-CVT-NEXT: and w8, w8, #0x7fff
-; CHECK-CVT-NEXT: fmov s0, w8
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fabs:
-; CHECK-FP16-NEXT: fabs h0, h0
-; CHECK-FP16-NEXT: ret
-
-; FALLBACK-NOT: remark:{{.*}}test_fabs
-; FALLBACK-FP16-NOT: remark:{{.*}}test_fabs
-
-; GISEL-CVT-LABEL: test_fabs:
-; GISEL-CVT-NEXT: fcvt s0, h0
-; GISEL-CVT-NEXT: fabs s0, s0
-; GISEL-CVT-NEXT: fcvt h0, s0
-; GISEL-CVT-NEXT: ret
-
-; GISEL-FP16-LABEL: test_fabs:
-; GISEL-FP16-NEXT: fabs h0, h0
-; GISEL-FP16-NEXT: ret
-
define half @test_fabs(half %a) #0 {
+; CHECK-CVT-SD-LABEL: test_fabs:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-SD-NEXT: fmov w8, s0
+; CHECK-CVT-SD-NEXT: and w8, w8, #0x7fff
+; CHECK-CVT-SD-NEXT: fmov s0, w8
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fabs:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fabs h0, h0
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fabs:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fabs s0, s0
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = call half @llvm.fabs.f16(half %a)
ret half %r
}
-; CHECK-CVT-LABEL: test_minnum:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fminnm s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_minnum:
-; CHECK-FP16-NEXT: fminnm h0, h0, h1
-; CHECK-FP16-NEXT: ret
-
define half @test_minnum(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_minnum:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fminnm s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_minnum:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fminnm h0, h0, h1
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_minnum:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fminnm s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = call half @llvm.minnum.f16(half %a, half %b)
ret half %r
}
-; CHECK-CVT-LABEL: test_maxnum:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fmaxnm s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_maxnum:
-; CHECK-FP16-NEXT: fmaxnm h0, h0, h1
-; CHECK-FP16-NEXT: ret
-
define half @test_maxnum(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_maxnum:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fmaxnm s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_maxnum:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fmaxnm h0, h0, h1
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_maxnum:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fmaxnm s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = call half @llvm.maxnum.f16(half %a, half %b)
ret half %r
}
-; CHECK-CVT-LABEL: test_copysign:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: mvni.4s v2, #128, lsl #24
-; CHECK-CVT-NEXT: bif.16b v0, v1, v2
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_copysign:
-; CHECK-FP16-NEXT: mvni.8h v2, #128, lsl #8
-; CHECK-FP16-NEXT: bif.16b v0, v1, v2
-; CHECK-FP16-NEXT: ret
-
define half @test_copysign(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_copysign:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: mvni v2.4s, #128, lsl #24
+; CHECK-CVT-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_copysign:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: mvni v2.8h, #128, lsl #8
+; CHECK-FP16-SD-NEXT: // kill: def $h0 killed $h0 def $q0
+; CHECK-FP16-SD-NEXT: // kill: def $h1 killed $h1 def $q1
+; CHECK-FP16-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-FP16-SD-NEXT: // kill: def $h0 killed $h0 killed $q0
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_copysign:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 killed $d0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_copysign:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-FP16-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-FP16-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 killed $d0
+; CHECK-FP16-GI-NEXT: ret
%r = call half @llvm.copysign.f16(half %a, half %b)
ret half %r
}
-; CHECK-CVT-LABEL: test_copysign_f32:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: mvni.4s v2, #128, lsl #24
-; CHECK-CVT-NEXT: bif.16b v0, v1, v2
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_copysign_f32:
-; CHECK-FP16-NEXT: fcvt h1, s1
-; CHECK-FP16-NEXT: mvni.8h v2, #128, lsl #8
-; CHECK-FP16-NEXT: bif.16b v0, v1, v2
-; CHECK-FP16-NEXT: ret
-
define half @test_copysign_f32(half %a, float %b) #0 {
+; CHECK-CVT-SD-LABEL: test_copysign_f32:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: mvni v2.4s, #128, lsl #24
+; CHECK-CVT-SD-NEXT: // kill: def $s1 killed $s1 def $q1
+; CHECK-CVT-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_copysign_f32:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: fcvt h1, s1
+; CHECK-FP16-SD-NEXT: mvni v2.8h, #128, lsl #8
+; CHECK-FP16-SD-NEXT: // kill: def $h0 killed $h0 def $q0
+; CHECK-FP16-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-FP16-SD-NEXT: // kill: def $h0 killed $h0 killed $q0
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_copysign_f32:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt h1, s1
+; CHECK-CVT-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 killed $d0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_copysign_f32:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: fcvt h1, s1
+; CHECK-FP16-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-FP16-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 killed $d0
+; CHECK-FP16-GI-NEXT: ret
%tb = fptrunc float %b to half
%r = call half @llvm.copysign.f16(half %a, half %tb)
ret half %r
}
-; CHECK-CVT-LABEL: test_copysign_f64:
-; CHECK-CVT-NEXT: fcvt s1, d1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: mvni.4s v2, #128, lsl #24
-; CHECK-CVT-NEXT: bif.16b v0, v1, v2
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_copysign_f64:
-; CHECK-FP16-NEXT: fcvt h1, d1
-; CHECK-FP16-NEXT: mvni.8h v2, #128, lsl #8
-; CHECK-FP16-NEXT: bif.16b v0, v1, v2
-; CHECK-FP16-NEXT: ret
-
define half @test_copysign_f64(half %a, double %b) #0 {
+; CHECK-CVT-SD-LABEL: test_copysign_f64:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, d1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: mvni v2.4s, #128, lsl #24
+; CHECK-CVT-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_copysign_f64:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: fcvt h1, d1
+; CHECK-FP16-SD-NEXT: mvni v2.8h, #128, lsl #8
+; CHECK-FP16-SD-NEXT: // kill: def $h0 killed $h0 def $q0
+; CHECK-FP16-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-FP16-SD-NEXT: // kill: def $h0 killed $h0 killed $q0
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_copysign_f64:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt h1, d1
+; CHECK-CVT-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 killed $d0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_copysign_f64:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: fcvt h1, d1
+; CHECK-FP16-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-FP16-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 killed $d0
+; CHECK-FP16-GI-NEXT: ret
%tb = fptrunc double %b to half
%r = call half @llvm.copysign.f16(half %a, half %tb)
ret half %r
@@ -1328,204 +1591,190 @@ define half @test_copysign_f64(half %a, double %b) #0 {
; Check that the FP promotion will use a truncating FP_ROUND, so we can fold
; away the (fpext (fp_round <result>)) here.
-; CHECK-CVT-LABEL: test_copysign_extended:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: mvni.4s v2, #128, lsl #24
-; CHECK-CVT-NEXT: bif.16b v0, v1, v2
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_copysign_extended:
-; CHECK-FP16-NEXT: mvni.8h v2, #128, lsl #8
-; CHECK-FP16-NEXT: bif.16b v0, v1, v2
-; CHECK-FP16-NEXT: fcvt s0, h0
-; CHECK-FP16-NEXT: ret
-
define float @test_copysign_extended(half %a, half %b) #0 {
+; CHECK-CVT-SD-LABEL: test_copysign_extended:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: mvni v2.4s, #128, lsl #24
+; CHECK-CVT-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-CVT-SD-NEXT: // kill: def $s0 killed $s0 killed $q0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-SD-LABEL: test_copysign_extended:
+; CHECK-FP16-SD: // %bb.0:
+; CHECK-FP16-SD-NEXT: mvni v2.8h, #128, lsl #8
+; CHECK-FP16-SD-NEXT: // kill: def $h0 killed $h0 def $q0
+; CHECK-FP16-SD-NEXT: // kill: def $h1 killed $h1 def $q1
+; CHECK-FP16-SD-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-FP16-SD-NEXT: fcvt s0, h0
+; CHECK-FP16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_copysign_extended:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-FP16-GI-LABEL: test_copysign_extended:
+; CHECK-FP16-GI: // %bb.0:
+; CHECK-FP16-GI-NEXT: mvni v2.4h, #128, lsl #8
+; CHECK-FP16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-FP16-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-FP16-GI-NEXT: bif v0.8b, v1.8b, v2.8b
+; CHECK-FP16-GI-NEXT: fcvt s0, h0
+; CHECK-FP16-GI-NEXT: ret
%r = call half @llvm.copysign.f16(half %a, half %b)
%xr = fpext half %r to float
ret float %xr
}
+define half @test_floor(half %a) #0 {
; CHECK-CVT-LABEL: test_floor:
-; CHECK-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; CHECK-CVT-NEXT: frintm [[INT32:s[0-9]+]], [[FLOAT32]]
-; CHECK-CVT-NEXT: fcvt h0, [[INT32]]
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: frintm s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_floor:
-; CHECK-FP16-NEXT: frintm h0, h0
-; CHECK-FP16-NEXT: ret
-
-; FALLBACK-NOT: remark:{{.*}}test_floor
-; FALLBACK-FP16-NOT: remark:{{.*}}test_floor
-
-; GISEL-CVT-LABEL: test_floor:
-; GISEL-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; GISEL-CVT-NEXT: frintm [[INT32:s[0-9]+]], [[FLOAT32]]
-; GISEL-CVT-NEXT: fcvt h0, [[INT32]]
-; GISEL-CVT-NEXT: ret
-
-; GISEL-FP16-LABEL: test_floor:
-; GISEL-FP16-NEXT: frintm h0, h0
-; GISEL-FP16-NEXT: ret
-
-define half @test_floor(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: frintm h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.floor.f16(half %a)
ret half %r
}
+define half @test_ceil(half %a) #0 {
; CHECK-CVT-LABEL: test_ceil:
-; CHECK-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; CHECK-CVT-NEXT: frintp [[INT32:s[0-9]+]], [[FLOAT32]]
-; CHECK-CVT-NEXT: fcvt h0, [[INT32]]
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: frintp s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_ceil:
-; CHECK-FP16-NEXT: frintp h0, h0
-; CHECK-FP16-NEXT: ret
-
-; FALLBACK-NOT: remark:{{.*}}test_ceil
-; FALLBACK-FP16-NOT: remark:{{.*}}test_ceil
-
-; GISEL-CVT-LABEL: test_ceil:
-; GISEL-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; GISEL-CVT-NEXT: frintp [[INT32:s[0-9]+]], [[FLOAT32]]
-; GISEL-CVT-NEXT: fcvt h0, [[INT32]]
-; GISEL-CVT-NEXT: ret
-
-; GISEL-FP16-LABEL: test_ceil:
-; GISEL-FP16-NEXT: frintp h0, h0
-; GISEL-FP16-NEXT: ret
-define half @test_ceil(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: frintp h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.ceil.f16(half %a)
ret half %r
}
+define half @test_trunc(half %a) #0 {
; CHECK-CVT-LABEL: test_trunc:
-; CHECK-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; CHECK-CVT-NEXT: frintz [[INT32:s[0-9]+]], [[FLOAT32]]
-; CHECK-CVT-NEXT: fcvt h0, [[INT32]]
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: frintz s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_trunc:
-; CHECK-FP16-NEXT: frintz h0, h0
-; CHECK-FP16-NEXT: ret
-
-define half @test_trunc(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: frintz h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.trunc.f16(half %a)
ret half %r
}
+define half @test_rint(half %a) #0 {
; CHECK-CVT-LABEL: test_rint:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: frintx s0, s0
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: frintx s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_rint:
-; CHECK-FP16-NEXT: frintx h0, h0
-; CHECK-FP16-NEXT: ret
-
-define half @test_rint(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: frintx h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.rint.f16(half %a)
ret half %r
}
+define half @test_nearbyint(half %a) #0 {
; CHECK-CVT-LABEL: test_nearbyint:
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: frinti s0, s0
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: frinti s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_nearbyint:
-; CHECK-FP16-NEXT: frinti h0, h0
-; CHECK-FP16-NEXT: ret
-
-define half @test_nearbyint(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: frinti h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.nearbyint.f16(half %a)
ret half %r
}
+define half @test_round(half %a) #0 {
; CHECK-CVT-LABEL: test_round:
-; CHECK-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; CHECK-CVT-NEXT: frinta [[INT32:s[0-9]+]], [[FLOAT32]]
-; CHECK-CVT-NEXT: fcvt h0, [[INT32]]
-; CHECK-CVT-NEXT: ret
-
-; GISEL-CVT-LABEL: test_round:
-; GISEL-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; GISEL-CVT-NEXT: frinta [[INT32:s[0-9]+]], [[FLOAT32]]
-; GISEL-CVT-NEXT: fcvt h0, [[INT32]]
-; GISEL-CVT-NEXT: ret
-
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: frinta s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_round:
-; CHECK-FP16-NEXT: frinta h0, h0
-; CHECK-FP16-NEXT: ret
-
-; GISEL-FP16-LABEL: test_round:
-; GISEL-FP16-NEXT: frinta h0, h0
-; GISEL-FP16-NEXT: ret
-
-define half @test_round(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: frinta h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.round.f16(half %a)
ret half %r
}
+define half @test_roundeven(half %a) #0 {
; CHECK-CVT-LABEL: test_roundeven:
-; CHECK-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; CHECK-CVT-NEXT: frintn [[INT32:s[0-9]+]], [[FLOAT32]]
-; CHECK-CVT-NEXT: fcvt h0, [[INT32]]
-; CHECK-CVT-NEXT: ret
-
-; GISEL-CVT-LABEL: test_roundeven:
-; GISEL-CVT-NEXT: fcvt [[FLOAT32:s[0-9]+]], h0
-; GISEL-CVT-NEXT: frintn [[INT32:s[0-9]+]], [[FLOAT32]]
-; GISEL-CVT-NEXT: fcvt h0, [[INT32]]
-; GISEL-CVT-NEXT: ret
-
-
+; CHECK-CVT: // %bb.0:
+; CHECK-CVT-NEXT: fcvt s0, h0
+; CHECK-CVT-NEXT: frintn s0, s0
+; CHECK-CVT-NEXT: fcvt h0, s0
+; CHECK-CVT-NEXT: ret
+;
; CHECK-FP16-LABEL: test_roundeven:
-; CHECK-FP16-NEXT: frintn h0, h0
-; CHECK-FP16-NEXT: ret
-
-; GISEL-FP16-LABEL: test_roundeven:
-; GISEL-FP16-NEXT: frintn h0, h0
-; GISEL-FP16-NEXT: ret
-
-define half @test_roundeven(half %a) #0 {
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: frintn h0, h0
+; CHECK-FP16-NEXT: ret
%r = call half @llvm.roundeven.f16(half %a)
ret half %r
}
-; CHECK-CVT-LABEL: test_fmuladd:
-; CHECK-CVT-NEXT: fcvt s1, h1
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fmul s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: fcvt s0, h0
-; CHECK-CVT-NEXT: fcvt s1, h2
-; CHECK-CVT-NEXT: fadd s0, s0, s1
-; CHECK-CVT-NEXT: fcvt h0, s0
-; CHECK-CVT-NEXT: ret
-
-; CHECK-FP16-LABEL: test_fmuladd:
-; CHECK-FP16-NEXT: fmadd h0, h0, h1, h2
-; CHECK-FP16-NEXT: ret
-
define half @test_fmuladd(half %a, half %b, half %c) #0 {
+; CHECK-CVT-SD-LABEL: test_fmuladd:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: fcvt s1, h1
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fmul s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt s1, h2
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: fcvt s0, h0
+; CHECK-CVT-SD-NEXT: fadd s0, s0, s1
+; CHECK-CVT-SD-NEXT: fcvt h0, s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-FP16-LABEL: test_fmuladd:
+; CHECK-FP16: // %bb.0:
+; CHECK-FP16-NEXT: fmadd h0, h0, h1, h2
+; CHECK-FP16-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fmuladd:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fcvt s1, h1
+; CHECK-CVT-GI-NEXT: fmul s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt s1, h2
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: fcvt s0, h0
+; CHECK-CVT-GI-NEXT: fadd s0, s0, s1
+; CHECK-CVT-GI-NEXT: fcvt h0, s0
+; CHECK-CVT-GI-NEXT: ret
%r = call half @llvm.fmuladd.f16(half %a, half %b, half %c)
ret half %r
}
attributes #0 = { nounwind }
-;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
-; CHECK-COMMON: {{.*}}
-; CHECK-CVT: {{.*}}
-; CHECK-FP16: {{.*}}
-; FALLBACK: {{.*}}
-; FALLBACK-FP16: {{.*}}
-; GISEL: {{.*}}
-; GISEL-CVT: {{.*}}
-; GISEL-FP16: {{.*}}
More information about the llvm-commits
mailing list