@@ -7,9 +7,9 @@ define float @fma_from_freeze_mul_add_left(float %x, float %y) {
77; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
88; CHECK-NEXT: v_fma_f32 v0, v0, v1, 1.0
99; CHECK-NEXT: s_setpc_b64 s[30:31]
10- %mul = fmul reassoc nsz arcp contract afn float %x , %y
10+ %mul = fmul contract float %x , %y
1111 %mul.fr = freeze float %mul
12- %add = fadd reassoc nsz arcp contract afn float %mul.fr , 1 .000000e+00
12+ %add = fadd contract float %mul.fr , 1 .000000e+00
1313 ret float %add
1414}
1515
@@ -21,9 +21,9 @@ define float @fma_from_freeze_mul_add_left_with_nnan(float %x, float %y) {
2121; CHECK-NEXT: s_delay_alu instid0(VALU_DEP_1)
2222; CHECK-NEXT: v_add_f32_e32 v0, 1.0, v0
2323; CHECK-NEXT: s_setpc_b64 s[30:31]
24- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
24+ %mul = fmul nnan contract afn float %x , %y
2525 %mul.fr = freeze float %mul
26- %add = fadd reassoc nnan nsz arcp contract afn float %mul.fr , 1 .000000e+00
26+ %add = fadd nnan contract float %mul.fr , 1 .000000e+00
2727 ret float %add
2828}
2929
@@ -33,9 +33,9 @@ define float @fma_from_freeze_mul_add_right(float %x, float %y) {
3333; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
3434; CHECK-NEXT: v_fma_f32 v0, v0, v1, 1.0
3535; CHECK-NEXT: s_setpc_b64 s[30:31]
36- %mul = fmul reassoc nsz arcp contract afn float %x , %y
36+ %mul = fmul contract float %x , %y
3737 %mul.fr = freeze float %mul
38- %add = fadd reassoc nsz arcp contract afn float 1 .000000e+00 , %mul.fr
38+ %add = fadd contract float 1 .000000e+00 , %mul.fr
3939 ret float %add
4040}
4141
@@ -47,9 +47,9 @@ define float @fma_from_freeze_mul_add_right_with_nnan(float %x, float %y) {
4747; CHECK-NEXT: s_delay_alu instid0(VALU_DEP_1)
4848; CHECK-NEXT: v_add_f32_e32 v0, 1.0, v0
4949; CHECK-NEXT: s_setpc_b64 s[30:31]
50- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
50+ %mul = fmul nnan contract float %x , %y
5151 %mul.fr = freeze float %mul
52- %add = fadd reassoc nnan nsz arcp contract afn float 1 .000000e+00 , %mul.fr
52+ %add = fadd nnan contract float 1 .000000e+00 , %mul.fr
5353 ret float %add
5454}
5555
@@ -59,9 +59,9 @@ define float @fma_from_freeze_mul_sub_left(float %x, float %y) {
5959; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
6060; CHECK-NEXT: v_fma_f32 v0, v0, v1, -1.0
6161; CHECK-NEXT: s_setpc_b64 s[30:31]
62- %mul = fmul reassoc nsz arcp contract afn float %x , %y
62+ %mul = fmul contract float %x , %y
6363 %mul.fr = freeze float %mul
64- %sub = fsub reassoc nsz arcp contract afn float %mul.fr , 1 .000000e+00
64+ %sub = fsub contract float %mul.fr , 1 .000000e+00
6565 ret float %sub
6666}
6767
@@ -73,9 +73,9 @@ define float @fma_from_freeze_mul_sub_left_with_nnan(float %x, float %y) {
7373; CHECK-NEXT: s_delay_alu instid0(VALU_DEP_1)
7474; CHECK-NEXT: v_add_f32_e32 v0, -1.0, v0
7575; CHECK-NEXT: s_setpc_b64 s[30:31]
76- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
76+ %mul = fmul nnan contract float %x , %y
7777 %mul.fr = freeze float %mul
78- %sub = fsub reassoc nnan nsz arcp contract afn float %mul.fr , 1 .000000e+00
78+ %sub = fsub nnan contract float %mul.fr , 1 .000000e+00
7979 ret float %sub
8080}
8181
@@ -85,9 +85,9 @@ define float @fma_from_freeze_mul_sub_right(float %x, float %y) {
8585; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
8686; CHECK-NEXT: v_fma_f32 v0, -v0, v1, 1.0
8787; CHECK-NEXT: s_setpc_b64 s[30:31]
88- %mul = fmul reassoc nsz arcp contract afn float %x , %y
88+ %mul = fmul contract float %x , %y
8989 %mul.fr = freeze float %mul
90- %sub = fsub reassoc nsz arcp contract afn float 1 .000000e+00 , %mul.fr
90+ %sub = fsub contract float 1 .000000e+00 , %mul.fr
9191 ret float %sub
9292}
9393
@@ -99,8 +99,8 @@ define float @fma_from_freeze_mul_sub_right_with_nnan(float %x, float %y) {
9999; CHECK-NEXT: s_delay_alu instid0(VALU_DEP_1)
100100; CHECK-NEXT: v_sub_f32_e32 v0, 1.0, v0
101101; CHECK-NEXT: s_setpc_b64 s[30:31]
102- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
102+ %mul = fmul nnan contract float %x , %y
103103 %mul.fr = freeze float %mul
104- %sub = fsub reassoc nnan nsz arcp contract afn float 1 .000000e+00 , %mul.fr
104+ %sub = fsub nnan contract float 1 .000000e+00 , %mul.fr
105105 ret float %sub
106106}
0 commit comments