[NFC][AArch64] add tests for is_fpclass (#187231)
Preparation for https://github.com/llvm/llvm-project/pull/169402
This commit is contained in:
Folkert de Vries
GitHub
parent
49f9b4b44a
commit
003ec3e0a1
894
llvm/test/CodeGen/AArch64/is_fpclass.ll
Normal file
894
llvm/test/CodeGen/AArch64/is_fpclass.ll
Normal file
@ -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: {{.*}}
|
||||
Loading…
x
Reference in New Issue
Block a user