@@ -31,18 +31,15 @@ define i1 @test2(double %arg1, double %arg2, double %arg3) #0 {
31
31
ret i1 %or1
32
32
}
33
33
34
- ; It is illegal to apply the optimization in the following two test cases
35
- ; because FMINNUM_IEEE and FMAXNUM_IEEE are not supported.
36
-
37
34
define i1 @test3 (float %arg1 , float %arg2 , float %arg3 ) {
38
35
; CHECK-LABEL: test3:
39
36
; CHECK: // %bb.0:
40
37
; CHECK-NEXT: fmov s3, #1.00000000
41
38
; CHECK-NEXT: fadd s0, s0, s3
42
39
; CHECK-NEXT: fmov s3, #2.00000000
43
40
; CHECK-NEXT: fadd s1, s1, s3
44
- ; CHECK-NEXT: fcmp s1, s2
45
- ; CHECK-NEXT: fccmp s0, s2, #0, lt
41
+ ; CHECK-NEXT: fmaxnm s0, s0, s1
42
+ ; CHECK-NEXT: fcmp s0, s2
46
43
; CHECK-NEXT: cset w0, lt
47
44
; CHECK-NEXT: ret
48
45
%add1 = fadd nnan float %arg1 , 1 .0
@@ -60,8 +57,8 @@ define i1 @test4(float %arg1, float %arg2, float %arg3) {
60
57
; CHECK-NEXT: fadd s0, s0, s3
61
58
; CHECK-NEXT: fmov s3, #2.00000000
62
59
; CHECK-NEXT: fadd s1, s1, s3
63
- ; CHECK-NEXT: fcmp s1, s2
64
- ; CHECK-NEXT: fccmp s0, s2, #4, gt
60
+ ; CHECK-NEXT: fminnm s0, s0, s1
61
+ ; CHECK-NEXT: fcmp s0, s2
65
62
; CHECK-NEXT: cset w0, gt
66
63
; CHECK-NEXT: ret
67
64
%add1 = fadd nnan float %arg1 , 1 .0
0 commit comments