maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[ARM] Add tests for fmin/max with largest/smallest float (NFC)

This commit is contained in:
Nikita Popov 2020-09-13 17:04:53 +02:00
parent e2dee9af8d
commit 2c85f5e642
1 changed files with 400 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

416
llvm/test/CodeGen/ARM/fminmax-folds.ll
View File

@ -106,8 +106,8 @@ define float @test_minimum_const_inf(float %x) {
ret float %r
}
define float @test_minnum_const_ninf(float %x) {
; CHECK-LABEL: test_minnum_const_ninf:
define float @test_minnum_const_neg_inf(float %x) {
; CHECK-LABEL: test_minnum_const_neg_inf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI8_0
; CHECK-NEXT: vmov s2, r0
@ -122,8 +122,8 @@ define float @test_minnum_const_ninf(float %x) {
ret float %r
}
define float @test_maxnum_const_ninf(float %x) {
; CHECK-LABEL: test_maxnum_const_ninf:
define float @test_maxnum_const_neg_inf(float %x) {
; CHECK-LABEL: test_maxnum_const_neg_inf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI9_0
; CHECK-NEXT: vmov s2, r0
@ -138,8 +138,8 @@ define float @test_maxnum_const_ninf(float %x) {
ret float %r
}
define float @test_maximum_const_ninf(float %x) {
; CHECK-LABEL: test_maximum_const_ninf:
define float @test_maximum_const_neg_inf(float %x) {
; CHECK-LABEL: test_maximum_const_neg_inf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI10_0
; CHECK-NEXT: vmov s2, r0
@ -154,8 +154,8 @@ define float @test_maximum_const_ninf(float %x) {
ret float %r
}
define float @test_minimum_const_ninf(float %x) {
; CHECK-LABEL: test_minimum_const_ninf:
define float @test_minimum_const_neg_inf(float %x) {
; CHECK-LABEL: test_minimum_const_neg_inf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI11_0
; CHECK-NEXT: vmov s2, r0
@ -234,8 +234,8 @@ define float @test_minimum_const_inf_nnan(float %x) {
ret float %r
}
define float @test_minnum_const_ninf_nnan(float %x) {
; CHECK-LABEL: test_minnum_const_ninf_nnan:
define float @test_minnum_const_neg_inf_nnan(float %x) {
; CHECK-LABEL: test_minnum_const_neg_inf_nnan:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI16_0
; CHECK-NEXT: vmov s2, r0
@ -250,8 +250,8 @@ define float @test_minnum_const_ninf_nnan(float %x) {
ret float %r
}
define float @test_maxnum_const_ninf_nnan(float %x) {
; CHECK-LABEL: test_maxnum_const_ninf_nnan:
define float @test_maxnum_const_neg_inf_nnan(float %x) {
; CHECK-LABEL: test_maxnum_const_neg_inf_nnan:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI17_0
; CHECK-NEXT: vmov s2, r0
@ -266,8 +266,8 @@ define float @test_maxnum_const_ninf_nnan(float %x) {
ret float %r
}
define float @test_maximum_const_ninf_nnan(float %x) {
; CHECK-LABEL: test_maximum_const_ninf_nnan:
define float @test_maximum_const_neg_inf_nnan(float %x) {
; CHECK-LABEL: test_maximum_const_neg_inf_nnan:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI18_0
; CHECK-NEXT: vmov s2, r0
@ -282,8 +282,8 @@ define float @test_maximum_const_ninf_nnan(float %x) {
ret float %r
}
define float @test_minimum_const_ninf_nnan(float %x) {
; CHECK-LABEL: test_minimum_const_ninf_nnan:
define float @test_minimum_const_neg_inf_nnan(float %x) {
; CHECK-LABEL: test_minimum_const_neg_inf_nnan:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI19_0
; CHECK-NEXT: vmov s2, r0
@ -297,3 +297,387 @@ define float @test_minimum_const_ninf_nnan(float %x) {
%r = call nnan float @llvm.minimum.f32(float %x, float 0xfff0000000000000)
ret float %r
}
define float @test_minnum_const_max(float %x) {
; CHECK-LABEL: test_minnum_const_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI20_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vminnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI20_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call float @llvm.minnum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_maxnum_const_max(float %x) {
; CHECK-LABEL: test_maxnum_const_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI21_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmaxnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI21_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call float @llvm.maxnum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_maximum_const_max(float %x) {
; CHECK-LABEL: test_maximum_const_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI22_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmax.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI22_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call float @llvm.maximum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_minimum_const_max(float %x) {
; CHECK-LABEL: test_minimum_const_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI23_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmin.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI23_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call float @llvm.minimum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_minnum_const_neg_max(float %x) {
; CHECK-LABEL: test_minnum_const_neg_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI24_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vminnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI24_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call float @llvm.minnum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_maxnum_const_neg_max(float %x) {
; CHECK-LABEL: test_maxnum_const_neg_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI25_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmaxnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI25_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call float @llvm.maxnum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_maximum_const_neg_max(float %x) {
; CHECK-LABEL: test_maximum_const_neg_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI26_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmax.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI26_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call float @llvm.maximum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_minimum_const_neg_max(float %x) {
; CHECK-LABEL: test_minimum_const_neg_max:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI27_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmin.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI27_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call float @llvm.minimum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_minnum_const_max_ninf(float %x) {
; CHECK-LABEL: test_minnum_const_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI28_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vminnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI28_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call ninf float @llvm.minnum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_maxnum_const_max_ninf(float %x) {
; CHECK-LABEL: test_maxnum_const_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI29_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmaxnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI29_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call ninf float @llvm.maxnum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_maximum_const_max_ninf(float %x) {
; CHECK-LABEL: test_maximum_const_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI30_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmax.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI30_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call ninf float @llvm.maximum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_minimum_const_max_ninf(float %x) {
; CHECK-LABEL: test_minimum_const_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI31_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmin.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI31_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call ninf float @llvm.minimum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_minnum_const_neg_max_ninf(float %x) {
; CHECK-LABEL: test_minnum_const_neg_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI32_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vminnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI32_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call ninf float @llvm.minnum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_maxnum_const_neg_max_ninf(float %x) {
; CHECK-LABEL: test_maxnum_const_neg_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI33_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmaxnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI33_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call ninf float @llvm.maxnum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_maximum_const_neg_max_ninf(float %x) {
; CHECK-LABEL: test_maximum_const_neg_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI34_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmax.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI34_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call ninf float @llvm.maximum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_minimum_const_neg_max_ninf(float %x) {
; CHECK-LABEL: test_minimum_const_neg_max_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI35_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmin.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI35_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call ninf float @llvm.minimum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_minnum_const_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_minnum_const_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI36_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vminnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI36_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call nnan ninf float @llvm.minnum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_maxnum_const_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_maxnum_const_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI37_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmaxnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI37_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call nnan ninf float @llvm.maxnum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_maximum_const_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_maximum_const_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI38_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmax.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI38_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call nnan ninf float @llvm.maximum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_minimum_const_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_minimum_const_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI39_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmin.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI39_0:
; CHECK-NEXT: .long 0x7f7fffff @ float 3.40282347E+38
%r = call nnan ninf float @llvm.minimum.f32(float %x, float 0x47efffffe0000000)
ret float %r
}
define float @test_minnum_const_neg_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_minnum_const_neg_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI40_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vminnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI40_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call nnan ninf float @llvm.minnum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_maxnum_const_neg_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_maxnum_const_neg_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI41_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmaxnm.f32 s0, s2, s0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI41_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call nnan ninf float @llvm.maxnum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_maximum_const_neg_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_maximum_const_neg_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI42_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmax.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI42_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call nnan ninf float @llvm.maximum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}
define float @test_minimum_const_neg_max_nnan_ninf(float %x) {
; CHECK-LABEL: test_minimum_const_neg_max_nnan_ninf:
; CHECK: @ %bb.0:
; CHECK-NEXT: vldr s0, .LCPI43_0
; CHECK-NEXT: vmov s2, r0
; CHECK-NEXT: vmin.f32 d0, d1, d0
; CHECK-NEXT: vmov r0, s0
; CHECK-NEXT: bx lr
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: @ %bb.1:
; CHECK-NEXT: .LCPI43_0:
; CHECK-NEXT: .long 0xff7fffff @ float -3.40282347E+38
%r = call nnan ninf float @llvm.minimum.f32(float %x, float 0xc7efffffe0000000)
ret float %r
}