@@ -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
@@ -19,9 +19,9 @@ define float @fma_from_freeze_mul_add_left_with_nnan(float %x, float %y) {
1919; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
2020; CHECK-NEXT: v_fma_f32 v0, v0, v1, 1.0
2121; CHECK-NEXT: s_setpc_b64 s[30:31]
22- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
22+ %mul = fmul nnan contract afn float %x , %y
2323 %mul.fr = freeze float %mul
24- %add = fadd reassoc nnan nsz arcp contract afn float %mul.fr , 1 .000000e+00
24+ %add = fadd nnan contract float %mul.fr , 1 .000000e+00
2525 ret float %add
2626}
2727
@@ -31,9 +31,9 @@ define float @fma_from_freeze_mul_add_right(float %x, float %y) {
3131; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
3232; CHECK-NEXT: v_fma_f32 v0, v0, v1, 1.0
3333; CHECK-NEXT: s_setpc_b64 s[30:31]
34- %mul = fmul reassoc nsz arcp contract afn float %x , %y
34+ %mul = fmul contract float %x , %y
3535 %mul.fr = freeze float %mul
36- %add = fadd reassoc nsz arcp contract afn float 1 .000000e+00 , %mul.fr
36+ %add = fadd contract float 1 .000000e+00 , %mul.fr
3737 ret float %add
3838}
3939
@@ -43,9 +43,9 @@ define float @fma_from_freeze_mul_add_right_with_nnan(float %x, float %y) {
4343; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
4444; CHECK-NEXT: v_fma_f32 v0, v0, v1, 1.0
4545; CHECK-NEXT: s_setpc_b64 s[30:31]
46- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
46+ %mul = fmul nnan contract float %x , %y
4747 %mul.fr = freeze float %mul
48- %add = fadd reassoc nnan nsz arcp contract afn float 1 .000000e+00 , %mul.fr
48+ %add = fadd nnan contract float 1 .000000e+00 , %mul.fr
4949 ret float %add
5050}
5151
@@ -55,9 +55,9 @@ define float @fma_from_freeze_mul_sub_left(float %x, float %y) {
5555; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
5656; CHECK-NEXT: v_fma_f32 v0, v0, v1, -1.0
5757; CHECK-NEXT: s_setpc_b64 s[30:31]
58- %mul = fmul reassoc nsz arcp contract afn float %x , %y
58+ %mul = fmul contract float %x , %y
5959 %mul.fr = freeze float %mul
60- %sub = fsub reassoc nsz arcp contract afn float %mul.fr , 1 .000000e+00
60+ %sub = fsub contract float %mul.fr , 1 .000000e+00
6161 ret float %sub
6262}
6363
@@ -67,9 +67,9 @@ define float @fma_from_freeze_mul_sub_left_with_nnan(float %x, float %y) {
6767; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
6868; CHECK-NEXT: v_fma_f32 v0, v0, v1, -1.0
6969; CHECK-NEXT: s_setpc_b64 s[30:31]
70- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
70+ %mul = fmul nnan contract float %x , %y
7171 %mul.fr = freeze float %mul
72- %sub = fsub reassoc nnan nsz arcp contract afn float %mul.fr , 1 .000000e+00
72+ %sub = fsub nnan contract float %mul.fr , 1 .000000e+00
7373 ret float %sub
7474}
7575
@@ -79,9 +79,9 @@ define float @fma_from_freeze_mul_sub_right(float %x, float %y) {
7979; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
8080; CHECK-NEXT: v_fma_f32 v0, -v0, v1, 1.0
8181; CHECK-NEXT: s_setpc_b64 s[30:31]
82- %mul = fmul reassoc nsz arcp contract afn float %x , %y
82+ %mul = fmul contract float %x , %y
8383 %mul.fr = freeze float %mul
84- %sub = fsub reassoc nsz arcp contract afn float 1 .000000e+00 , %mul.fr
84+ %sub = fsub contract float 1 .000000e+00 , %mul.fr
8585 ret float %sub
8686}
8787
@@ -91,8 +91,8 @@ define float @fma_from_freeze_mul_sub_right_with_nnan(float %x, float %y) {
9191; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
9292; CHECK-NEXT: v_fma_f32 v0, -v0, v1, 1.0
9393; CHECK-NEXT: s_setpc_b64 s[30:31]
94- %mul = fmul reassoc nnan nsz arcp contract afn float %x , %y
94+ %mul = fmul nnan contract float %x , %y
9595 %mul.fr = freeze float %mul
96- %sub = fsub reassoc nnan nsz arcp contract afn float 1 .000000e+00 , %mul.fr
96+ %sub = fsub nnan contract float 1 .000000e+00 , %mul.fr
9797 ret float %sub
9898}
0 commit comments