diff --git a/llvm/test/CodeGen/AArch64/is_fpclass.ll b/llvm/test/CodeGen/AArch64/is_fpclass.ll
new file mode 100644
index 000000000000..0680c8a1e8fb
--- /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: {{.*}}