[llvm] 003ec3e - [NFC][AArch64] add tests for `is_fpclass` (#187231)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 18 04:12:23 PDT 2026
Author: Folkert de Vries
Date: 2026-03-18T12:12:17+01:00
New Revision: 003ec3e0a161c19bbc4dc7c623c828c337f68882
URL: https://github.com/llvm/llvm-project/commit/003ec3e0a161c19bbc4dc7c623c828c337f68882
DIFF: https://github.com/llvm/llvm-project/commit/003ec3e0a161c19bbc4dc7c623c828c337f68882.diff
LOG: [NFC][AArch64] add tests for `is_fpclass` (#187231)
Preparation for https://github.com/llvm/llvm-project/pull/169402
Added:
llvm/test/CodeGen/AArch64/is_fpclass.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/AArch64/is_fpclass.ll b/llvm/test/CodeGen/AArch64/is_fpclass.ll
new file mode 100644
index 0000000000000..0680c8a1e8fb4
--- /dev/null
+++ b/llvm/test/CodeGen/AArch64/is_fpclass.ll
@@ -0,0 +1,894 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
+; RUN: llc -mtriple=aarch64 -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-SD
+; RUN: llc -mtriple=aarch64 -global-isel=0 < %s | FileCheck %s --check-prefixes=CHECK,CHECK-GI
+; RUN: llc -mtriple=armv6m-none-eabi -global-isel=0 < %s | FileCheck %s --check-prefixes=CHECK-SOFTFLOAT
+
+define i1 @isfinite_h(half %x) {
+; CHECK-LABEL: isfinite_h:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #31744 // =0x7c00
+; CHECK-NEXT: and w9, w9, #0x7fff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, lt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_h:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ldr r1, .LCPI0_0
+; CHECK-SOFTFLOAT-NEXT: ands r1, r0
+; CHECK-SOFTFLOAT-NEXT: movs r0, #31
+; CHECK-SOFTFLOAT-NEXT: lsls r0, r0, #10
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r0
+; CHECK-SOFTFLOAT-NEXT: blt .LBB0_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .LBB0_2:
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI0_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f16(half %x, i32 504) ; 0x1f8 = "finite"
+ ret i1 %0
+}
+
+define i1 @not_isfinite_h(half %x) {
+; CHECK-LABEL: not_isfinite_h:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #31743 // =0x7bff
+; CHECK-NEXT: and w9, w9, #0x7fff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, gt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_h:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ldr r1, .LCPI1_0
+; CHECK-SOFTFLOAT-NEXT: ands r1, r0
+; CHECK-SOFTFLOAT-NEXT: ldr r0, .LCPI1_1
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r0
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB1_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .LBB1_2:
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI1_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+; CHECK-SOFTFLOAT-NEXT: .LCPI1_1:
+; CHECK-SOFTFLOAT-NEXT: .long 31743 @ 0x7bff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f16(half %x, i32 519) ; ~0x1f8 = "~finite"
+ ret i1 %0
+}
+
+define i1 @isfinite_f(float %x) {
+; CHECK-LABEL: isfinite_f:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #2139095040 // =0x7f800000
+; CHECK-NEXT: and w9, w9, #0x7fffffff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, lt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_f:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r0
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: movs r2, #255
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r2, #23
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: blt .LBB2_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB2_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f32(float %x, i32 504) ; 0x1f8 = "finite"
+ ret i1 %0
+}
+
+define i1 @not_isfinite_f(float %x) {
+; CHECK-LABEL: not_isfinite_f:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #2139095039 // =0x7f7fffff
+; CHECK-NEXT: and w9, w9, #0x7fffffff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, gt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_f:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r0
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: ldr r2, .LCPI3_0
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB3_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB3_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI3_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2139095039 @ 0x7f7fffff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f32(float %x, i32 519) ; ~0x1f8 = "~finite"
+ ret i1 %0
+}
+
+
+define i1 @isfinite_f_strictfp(float %x) strictfp {
+; CHECK-LABEL: isfinite_f_strictfp:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #2139095040 // =0x7f800000
+; CHECK-NEXT: and w9, w9, #0x7fffffff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, lt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_f_strictfp:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r0
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: movs r2, #255
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r2, #23
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: blt .LBB4_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB4_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f32(float %x, i32 504) strictfp ; 0x1f8 = "finite"
+ ret i1 %0
+}
+
+define i1 @not_isfinite_f_strictfp(float %x) strictfp {
+; CHECK-LABEL: not_isfinite_f_strictfp:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #2139095039 // =0x7f7fffff
+; CHECK-NEXT: and w9, w9, #0x7fffffff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, gt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_f_strictfp:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r0
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: ldr r2, .LCPI5_0
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB5_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB5_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI5_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2139095039 @ 0x7f7fffff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f32(float %x, i32 519) strictfp ; ~0x1f8 = ~"finite"
+ ret i1 %0
+}
+
+
+define i1 @isfinite_d(double %x) {
+; CHECK-LABEL: isfinite_d:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov x9, d0
+; CHECK-NEXT: mov x8, #9218868437227405312 // =0x7ff0000000000000
+; CHECK-NEXT: and x9, x9, #0x7fffffffffffffff
+; CHECK-NEXT: cmp x9, x8
+; CHECK-NEXT: cset w0, lt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_d:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: ldr r2, .LCPI6_0
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: blt .LBB6_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB6_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI6_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2146435072 @ 0x7ff00000
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f64(double %x, i32 504) ; 0x1f8 = "finite"
+ ret i1 %0
+}
+
+define i1 @not_isfinite_d(double %x) {
+; CHECK-LABEL: not_isfinite_d:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov x9, d0
+; CHECK-NEXT: mov x8, #9218868437227405311 // =0x7fefffffffffffff
+; CHECK-NEXT: and x9, x9, #0x7fffffffffffffff
+; CHECK-NEXT: cmp x9, x8
+; CHECK-NEXT: cset w0, gt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_d:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: ldr r2, .LCPI7_0
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB7_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB7_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI7_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2146435071 @ 0x7fefffff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f64(double %x, i32 519) ; ~0x1f8 = "~finite"
+ ret i1 %0
+}
+
+define i1 @isfinite_d_strictfp(double %x) {
+; CHECK-LABEL: isfinite_d_strictfp:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov x9, d0
+; CHECK-NEXT: mov x8, #9218868437227405312 // =0x7ff0000000000000
+; CHECK-NEXT: and x9, x9, #0x7fffffffffffffff
+; CHECK-NEXT: cmp x9, x8
+; CHECK-NEXT: cset w0, lt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_d_strictfp:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: ldr r2, .LCPI8_0
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: blt .LBB8_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB8_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI8_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2146435072 @ 0x7ff00000
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f64(double %x, i32 504) strictfp ; 0x1f8 = "finite"
+ ret i1 %0
+}
+
+define i1 @not_isfinite_d_strictfp(double %x) {
+; CHECK-LABEL: not_isfinite_d_strictfp:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: fmov x9, d0
+; CHECK-NEXT: mov x8, #9218868437227405311 // =0x7fefffffffffffff
+; CHECK-NEXT: and x9, x9, #0x7fffffffffffffff
+; CHECK-NEXT: cmp x9, x8
+; CHECK-NEXT: cset w0, gt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_d_strictfp:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r2, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r1, r2
+; CHECK-SOFTFLOAT-NEXT: ldr r2, .LCPI9_0
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r2
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB9_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB9_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI9_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2146435071 @ 0x7fefffff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f64(double %x, i32 519) strictfp ; ~0x1f8 = "~finite"
+ ret i1 %0
+}
+
+define i1 @isfinite_bf16(bfloat %x) {
+; CHECK-LABEL: isfinite_bf16:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #32640 // =0x7f80
+; CHECK-NEXT: and w9, w9, #0x7fff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, lt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_bf16:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ldr r1, .LCPI10_0
+; CHECK-SOFTFLOAT-NEXT: ands r1, r0
+; CHECK-SOFTFLOAT-NEXT: movs r0, #255
+; CHECK-SOFTFLOAT-NEXT: lsls r0, r0, #7
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r0
+; CHECK-SOFTFLOAT-NEXT: blt .LBB10_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .LBB10_2:
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI10_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.bf16(bfloat %x, i32 504) ; 0x1f8 = "finite"
+ ret i1 %0
+}
+
+define i1 @not_isfinite_bf16(bfloat %x) {
+; CHECK-LABEL: not_isfinite_bf16:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-NEXT: fmov w9, s0
+; CHECK-NEXT: mov w8, #32639 // =0x7f7f
+; CHECK-NEXT: and w9, w9, #0x7fff
+; CHECK-NEXT: cmp w9, w8
+; CHECK-NEXT: cset w0, gt
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_bf16:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ldr r1, .LCPI11_0
+; CHECK-SOFTFLOAT-NEXT: ands r1, r0
+; CHECK-SOFTFLOAT-NEXT: ldr r0, .LCPI11_1
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r0
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB11_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .LBB11_2:
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI11_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+; CHECK-SOFTFLOAT-NEXT: .LCPI11_1:
+; CHECK-SOFTFLOAT-NEXT: .long 32639 @ 0x7f7f
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.bf16(bfloat %x, i32 519) ; ~0x1f8 = "~finite"
+ ret i1 %0
+}
+
+define i1 @isfinite_f128(fp128 %x) {
+; CHECK-LABEL: isfinite_f128:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: str q0, [sp, #-16]!
+; CHECK-NEXT: .cfi_def_cfa_offset 16
+; CHECK-NEXT: ldr x9, [sp, #8]
+; CHECK-NEXT: mov x8, #9223090561878065152 // =0x7fff000000000000
+; CHECK-NEXT: and x9, x9, #0x7fffffffffffffff
+; CHECK-NEXT: cmp x9, x8
+; CHECK-NEXT: cset w0, lt
+; CHECK-NEXT: add sp, sp, #16
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_f128:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r1, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r3, r1
+; CHECK-SOFTFLOAT-NEXT: ldr r1, .LCPI12_0
+; CHECK-SOFTFLOAT-NEXT: cmp r3, r1
+; CHECK-SOFTFLOAT-NEXT: blt .LBB12_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB12_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI12_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2147418112 @ 0x7fff0000
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f128(fp128 %x, i32 504) ; 0x1f8 = "finite"
+ ret i1 %0
+}
+
+define i1 @not_isfinite_f128(fp128 %x) {
+; CHECK-LABEL: not_isfinite_f128:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: str q0, [sp, #-16]!
+; CHECK-NEXT: .cfi_def_cfa_offset 16
+; CHECK-NEXT: ldr x9, [sp, #8]
+; CHECK-NEXT: mov x8, #9223090561878065151 // =0x7ffeffffffffffff
+; CHECK-NEXT: and x9, x9, #0x7fffffffffffffff
+; CHECK-NEXT: cmp x9, x8
+; CHECK-NEXT: cset w0, gt
+; CHECK-NEXT: add sp, sp, #16
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_f128:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #1
+; CHECK-SOFTFLOAT-NEXT: lsls r1, r0, #31
+; CHECK-SOFTFLOAT-NEXT: bics r3, r1
+; CHECK-SOFTFLOAT-NEXT: ldr r1, .LCPI13_0
+; CHECK-SOFTFLOAT-NEXT: cmp r3, r1
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB13_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: movs r0, #0
+; CHECK-SOFTFLOAT-NEXT: .LBB13_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: bx lr
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3:
+; CHECK-SOFTFLOAT-NEXT: .LCPI13_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2147418111 @ 0x7ffeffff
+entry:
+ %0 = tail call i1 @llvm.is.fpclass.f128(fp128 %x, i32 519) ; ~0x1f8 = "~finite"
+ ret i1 %0
+}
+
+define <4 x i1> @isfinite_v4h(<4 x half> %x) {
+; CHECK-LABEL: isfinite_v4h:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: movi v1.4h, #124, lsl #8
+; CHECK-NEXT: bic v0.4h, #128, lsl #8
+; CHECK-NEXT: cmgt v0.4h, v1.4h, v0.4h
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_v4h:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: ldr r5, .LCPI14_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r5
+; CHECK-SOFTFLOAT-NEXT: movs r4, #31
+; CHECK-SOFTFLOAT-NEXT: lsls r7, r4, #10
+; CHECK-SOFTFLOAT-NEXT: movs r4, #1
+; CHECK-SOFTFLOAT-NEXT: movs r6, #0
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r7
+; CHECK-SOFTFLOAT-NEXT: mov r0, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB14_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB14_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r1, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r7
+; CHECK-SOFTFLOAT-NEXT: mov r1, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB14_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB14_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r2, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r2, r7
+; CHECK-SOFTFLOAT-NEXT: mov r2, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB14_6
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r2, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB14_6: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r3, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r3, r7
+; CHECK-SOFTFLOAT-NEXT: blt .LBB14_8
+; CHECK-SOFTFLOAT-NEXT: @ %bb.7: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r4, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB14_8: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r3, r4
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r6, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.9:
+; CHECK-SOFTFLOAT-NEXT: .LCPI14_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+entry:
+ %0 = tail call <4 x i1> @llvm.is.fpclass.v4f16(<4 x half> %x, i32 504) ; 0x1f8 = "finite"
+ ret <4 x i1> %0
+}
+
+define <4 x i1> @not_isfinite_v4h(<4 x half> %x) {
+; CHECK-LABEL: not_isfinite_v4h:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: movi v1.4h, #124, lsl #8
+; CHECK-NEXT: bic v0.4h, #128, lsl #8
+; CHECK-NEXT: cmge v0.4h, v0.4h, v1.4h
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_v4h:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: mov r4, r3
+; CHECK-SOFTFLOAT-NEXT: ldr r6, .LCPI15_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r6
+; CHECK-SOFTFLOAT-NEXT: movs r3, #1
+; CHECK-SOFTFLOAT-NEXT: movs r5, #0
+; CHECK-SOFTFLOAT-NEXT: ldr r7, .LCPI15_1
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r7
+; CHECK-SOFTFLOAT-NEXT: mov r0, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB15_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB15_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r1, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r7
+; CHECK-SOFTFLOAT-NEXT: mov r1, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB15_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB15_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r2, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r2, r7
+; CHECK-SOFTFLOAT-NEXT: mov r2, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB15_6
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r2, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB15_6: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r4, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r4, r7
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB15_8
+; CHECK-SOFTFLOAT-NEXT: @ %bb.7: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r3, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB15_8: @ %entry
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r6, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.9:
+; CHECK-SOFTFLOAT-NEXT: .LCPI15_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+; CHECK-SOFTFLOAT-NEXT: .LCPI15_1:
+; CHECK-SOFTFLOAT-NEXT: .long 31743 @ 0x7bff
+entry:
+ %0 = tail call <4 x i1> @llvm.is.fpclass.v4f16(<4 x half> %x, i32 519) ; ~0x1f8 = "~finite"
+ ret <4 x i1> %0
+}
+
+define <4 x i1> @isfinite_v4f(<4 x float> %x) {
+; CHECK-LABEL: isfinite_v4f:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: mvni v1.4s, #127, msl #16
+; CHECK-NEXT: fabs v0.4s, v0.4s
+; CHECK-NEXT: fneg v1.4s, v1.4s
+; CHECK-NEXT: fcmgt v2.4s, v0.4s, v1.4s
+; CHECK-NEXT: fcmgt v0.4s, v1.4s, v0.4s
+; CHECK-NEXT: orr v0.16b, v0.16b, v2.16b
+; CHECK-NEXT: xtn v0.4h, v0.4s
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_v4f:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: ldr r5, .LCPI16_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r5
+; CHECK-SOFTFLOAT-NEXT: movs r4, #255
+; CHECK-SOFTFLOAT-NEXT: lsls r7, r4, #23
+; CHECK-SOFTFLOAT-NEXT: movs r4, #1
+; CHECK-SOFTFLOAT-NEXT: movs r6, #0
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r7
+; CHECK-SOFTFLOAT-NEXT: mov r0, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB16_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB16_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r1, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r7
+; CHECK-SOFTFLOAT-NEXT: mov r1, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB16_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB16_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r2, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r2, r7
+; CHECK-SOFTFLOAT-NEXT: mov r2, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB16_6
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r2, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB16_6: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r3, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r3, r7
+; CHECK-SOFTFLOAT-NEXT: blt .LBB16_8
+; CHECK-SOFTFLOAT-NEXT: @ %bb.7: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r4, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB16_8: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r3, r4
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r6, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.9:
+; CHECK-SOFTFLOAT-NEXT: .LCPI16_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2147483647 @ 0x7fffffff
+entry:
+ %0 = tail call <4 x i1> @llvm.is.fpclass.v4f32(<4 x float> %x, i32 504) ; 0x1f8 = "finite"
+ ret <4 x i1> %0
+}
+
+define <4 x i1> @not_isfinite_v4f(<4 x float> %x) {
+; CHECK-LABEL: not_isfinite_v4f:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: mvni v1.4s, #127, msl #16
+; CHECK-NEXT: bic v0.4s, #128, lsl #24
+; CHECK-NEXT: fneg v1.4s, v1.4s
+; CHECK-NEXT: cmge v0.4s, v0.4s, v1.4s
+; CHECK-NEXT: xtn v0.4h, v0.4s
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_v4f:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: mov r4, r3
+; CHECK-SOFTFLOAT-NEXT: ldr r6, .LCPI17_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r6
+; CHECK-SOFTFLOAT-NEXT: movs r3, #1
+; CHECK-SOFTFLOAT-NEXT: movs r5, #0
+; CHECK-SOFTFLOAT-NEXT: ldr r7, .LCPI17_1
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r7
+; CHECK-SOFTFLOAT-NEXT: mov r0, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB17_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB17_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r1, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r7
+; CHECK-SOFTFLOAT-NEXT: mov r1, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB17_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB17_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r2, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r2, r7
+; CHECK-SOFTFLOAT-NEXT: mov r2, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB17_6
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r2, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB17_6: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r4, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r4, r7
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB17_8
+; CHECK-SOFTFLOAT-NEXT: @ %bb.7: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r3, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB17_8: @ %entry
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r6, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.9:
+; CHECK-SOFTFLOAT-NEXT: .LCPI17_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2147483647 @ 0x7fffffff
+; CHECK-SOFTFLOAT-NEXT: .LCPI17_1:
+; CHECK-SOFTFLOAT-NEXT: .long 2139095039 @ 0x7f7fffff
+entry:
+ %0 = tail call <4 x i1> @llvm.is.fpclass.v4f32(<4 x float> %x, i32 519) ; ~0x1f8 = "~finite"
+ ret <4 x i1> %0
+}
+
+define <2 x i1> @isfinite_v2d(<2 x double> %x) {
+; CHECK-LABEL: isfinite_v2d:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: mov x8, #9218868437227405312 // =0x7ff0000000000000
+; CHECK-NEXT: fabs v0.2d, v0.2d
+; CHECK-NEXT: dup v1.2d, x8
+; CHECK-NEXT: fcmgt v2.2d, v0.2d, v1.2d
+; CHECK-NEXT: fcmgt v0.2d, v1.2d, v0.2d
+; CHECK-NEXT: orr v0.16b, v0.16b, v2.16b
+; CHECK-NEXT: xtn v0.2s, v0.2d
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_v2d:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: mov r0, r1
+; CHECK-SOFTFLOAT-NEXT: ldr r4, .LCPI18_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r4
+; CHECK-SOFTFLOAT-NEXT: movs r1, #1
+; CHECK-SOFTFLOAT-NEXT: movs r2, #0
+; CHECK-SOFTFLOAT-NEXT: ldr r5, .LCPI18_1
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r5
+; CHECK-SOFTFLOAT-NEXT: mov r0, r1
+; CHECK-SOFTFLOAT-NEXT: blt .LBB18_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r2
+; CHECK-SOFTFLOAT-NEXT: .LBB18_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r3, r4
+; CHECK-SOFTFLOAT-NEXT: cmp r3, r5
+; CHECK-SOFTFLOAT-NEXT: blt .LBB18_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r2
+; CHECK-SOFTFLOAT-NEXT: .LBB18_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5:
+; CHECK-SOFTFLOAT-NEXT: .LCPI18_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2147483647 @ 0x7fffffff
+; CHECK-SOFTFLOAT-NEXT: .LCPI18_1:
+; CHECK-SOFTFLOAT-NEXT: .long 2146435072 @ 0x7ff00000
+entry:
+ %0 = tail call <2 x i1> @llvm.is.fpclass.v2f64(<2 x double> %x, i32 504) ; 0x1f8 = "finite"
+ ret <2 x i1> %0
+}
+
+define <2 x i1> @not_isfinite_v2d(<2 x double> %x) {
+; CHECK-LABEL: not_isfinite_v2d:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: movi v1.2d, #0xffffffffffffffff
+; CHECK-NEXT: mov x8, #9218868437227405312 // =0x7ff0000000000000
+; CHECK-NEXT: fneg v1.2d, v1.2d
+; CHECK-NEXT: and v0.16b, v0.16b, v1.16b
+; CHECK-NEXT: dup v1.2d, x8
+; CHECK-NEXT: cmge v0.2d, v0.2d, v1.2d
+; CHECK-NEXT: xtn v0.2s, v0.2d
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_v2d:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: mov r0, r1
+; CHECK-SOFTFLOAT-NEXT: ldr r4, .LCPI19_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r4
+; CHECK-SOFTFLOAT-NEXT: movs r1, #1
+; CHECK-SOFTFLOAT-NEXT: movs r2, #0
+; CHECK-SOFTFLOAT-NEXT: ldr r5, .LCPI19_1
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r5
+; CHECK-SOFTFLOAT-NEXT: mov r0, r1
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB19_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r2
+; CHECK-SOFTFLOAT-NEXT: .LBB19_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r3, r4
+; CHECK-SOFTFLOAT-NEXT: cmp r3, r5
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB19_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r2
+; CHECK-SOFTFLOAT-NEXT: .LBB19_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5:
+; CHECK-SOFTFLOAT-NEXT: .LCPI19_0:
+; CHECK-SOFTFLOAT-NEXT: .long 2147483647 @ 0x7fffffff
+; CHECK-SOFTFLOAT-NEXT: .LCPI19_1:
+; CHECK-SOFTFLOAT-NEXT: .long 2146435071 @ 0x7fefffff
+entry:
+ %0 = tail call <2 x i1> @llvm.is.fpclass.v2f64(<2 x double> %x, i32 519) ; ~0x1f8 = "~finite"
+ ret <2 x i1> %0
+}
+
+define <4 x i1> @isfinite_v4bf16(<4 x bfloat> %x) {
+; CHECK-LABEL: isfinite_v4bf16:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: mov w8, #32640 // =0x7f80
+; CHECK-NEXT: bic v0.4h, #128, lsl #8
+; CHECK-NEXT: dup v1.4h, w8
+; CHECK-NEXT: cmgt v0.4h, v1.4h, v0.4h
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: isfinite_v4bf16:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: ldr r5, .LCPI20_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r5
+; CHECK-SOFTFLOAT-NEXT: movs r4, #255
+; CHECK-SOFTFLOAT-NEXT: lsls r7, r4, #7
+; CHECK-SOFTFLOAT-NEXT: movs r4, #1
+; CHECK-SOFTFLOAT-NEXT: movs r6, #0
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r7
+; CHECK-SOFTFLOAT-NEXT: mov r0, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB20_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB20_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r1, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r7
+; CHECK-SOFTFLOAT-NEXT: mov r1, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB20_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB20_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r2, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r2, r7
+; CHECK-SOFTFLOAT-NEXT: mov r2, r4
+; CHECK-SOFTFLOAT-NEXT: blt .LBB20_6
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r2, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB20_6: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r3, r5
+; CHECK-SOFTFLOAT-NEXT: cmp r3, r7
+; CHECK-SOFTFLOAT-NEXT: blt .LBB20_8
+; CHECK-SOFTFLOAT-NEXT: @ %bb.7: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r4, r6
+; CHECK-SOFTFLOAT-NEXT: .LBB20_8: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r3, r4
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r6, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.9:
+; CHECK-SOFTFLOAT-NEXT: .LCPI20_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+entry:
+ %0 = tail call <4 x i1> @llvm.is.fpclass.v4bf16(<4 x bfloat> %x, i32 504) ; 0x1f8 = "finite"
+ ret <4 x i1> %0
+}
+
+define <4 x i1> @not_isfinite_v4bf16(<4 x bfloat> %x) {
+; CHECK-LABEL: not_isfinite_v4bf16:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: mov w8, #32640 // =0x7f80
+; CHECK-NEXT: bic v0.4h, #128, lsl #8
+; CHECK-NEXT: dup v1.4h, w8
+; CHECK-NEXT: cmge v0.4h, v0.4h, v1.4h
+; CHECK-NEXT: ret
+;
+; CHECK-SOFTFLOAT-LABEL: not_isfinite_v4bf16:
+; CHECK-SOFTFLOAT: @ %bb.0: @ %entry
+; CHECK-SOFTFLOAT-NEXT: .save {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: push {r4, r5, r6, r7, lr}
+; CHECK-SOFTFLOAT-NEXT: mov r4, r3
+; CHECK-SOFTFLOAT-NEXT: ldr r6, .LCPI21_0
+; CHECK-SOFTFLOAT-NEXT: ands r0, r6
+; CHECK-SOFTFLOAT-NEXT: movs r3, #1
+; CHECK-SOFTFLOAT-NEXT: movs r5, #0
+; CHECK-SOFTFLOAT-NEXT: ldr r7, .LCPI21_1
+; CHECK-SOFTFLOAT-NEXT: cmp r0, r7
+; CHECK-SOFTFLOAT-NEXT: mov r0, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB21_2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.1: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r0, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB21_2: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r1, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r1, r7
+; CHECK-SOFTFLOAT-NEXT: mov r1, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB21_4
+; CHECK-SOFTFLOAT-NEXT: @ %bb.3: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r1, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB21_4: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r2, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r2, r7
+; CHECK-SOFTFLOAT-NEXT: mov r2, r3
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB21_6
+; CHECK-SOFTFLOAT-NEXT: @ %bb.5: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r2, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB21_6: @ %entry
+; CHECK-SOFTFLOAT-NEXT: ands r4, r6
+; CHECK-SOFTFLOAT-NEXT: cmp r4, r7
+; CHECK-SOFTFLOAT-NEXT: bgt .LBB21_8
+; CHECK-SOFTFLOAT-NEXT: @ %bb.7: @ %entry
+; CHECK-SOFTFLOAT-NEXT: mov r3, r5
+; CHECK-SOFTFLOAT-NEXT: .LBB21_8: @ %entry
+; CHECK-SOFTFLOAT-NEXT: pop {r4, r5, r6, r7, pc}
+; CHECK-SOFTFLOAT-NEXT: .p2align 2
+; CHECK-SOFTFLOAT-NEXT: @ %bb.9:
+; CHECK-SOFTFLOAT-NEXT: .LCPI21_0:
+; CHECK-SOFTFLOAT-NEXT: .long 32767 @ 0x7fff
+; CHECK-SOFTFLOAT-NEXT: .LCPI21_1:
+; CHECK-SOFTFLOAT-NEXT: .long 32639 @ 0x7f7f
+entry:
+ %0 = tail call <4 x i1> @llvm.is.fpclass.v4bf16(<4 x bfloat> %x, i32 519) ; ~0x1f8 = "~finite"
+ ret <4 x i1> %0
+}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; CHECK-GI: {{.*}}
+; CHECK-SD: {{.*}}
More information about the llvm-commits
mailing list