Lines Matching refs:X2

299 define float @test12(float %X1, float %X2, float %X3) {
301 ; CHECK-NEXT:    [[B:%.*]] = fmul fast float [[X2:%.*]], [[X1:%.*]]
307   %B = fmul fast float %A, %X2   ; -X1*X2
309   %D = fadd fast float %B, %C    ; -X1*X2 + X1*X3 -> X1*(X3-X2)
313 define float @test12_unary_fneg(float %X1, float %X2, float %X3) {
315 ; CHECK-NEXT:    [[B:%.*]] = fmul fast float [[X2:%.*]], [[X1:%.*]]
321   %B = fmul fast float %A, %X2   ; -X1*X2
323   %D = fadd fast float %B, %C    ; -X1*X2 + X1*X3 -> X1*(X3-X2)
327 define float @test12_reassoc_nsz(float %X1, float %X2, float %X3) {
329 ; CHECK-NEXT:    [[B:%.*]] = fmul reassoc nsz float [[X2:%.*]], [[X1:%.*]]
335   %B = fmul reassoc nsz float %A, %X2   ; -X1*X2
337   %D = fadd reassoc nsz float %B, %C    ; -X1*X2 + X1*X3 -> X1*(X3-X2)
343 define float @test12_reassoc(float %X1, float %X2, float %X3) {
346 ; CHECK-NEXT:    [[B:%.*]] = fmul reassoc float [[A]], [[X2:%.*]]
352   %B = fmul reassoc float %A, %X2   ; -X1*X2
354   %D = fadd reassoc float %B, %C    ; -X1*X2 + X1*X3 -> X1*(X3-X2)
362 define float @test13(float %X1, float %X2) {
365 ; CHECK-NEXT:    [[C:%.*]] = fmul fast float [[X2:%.*]], 4.700000e+01
370   %C = fmul fast float %X2, -47.  ; X2*-47
371   %D = fadd fast float %B, %C     ; X1*47 + X2*-47 -> 47*(X1-X2)
375 define float @test13_reassoc_nsz(float %X1, float %X2) {
378 ; CHECK-NEXT:    [[C:%.*]] = fmul reassoc nsz float [[X2:%.*]], 4.700000e+01
383   %C = fmul reassoc nsz float %X2, -47.  ; X2*-47
384   %D = fadd reassoc nsz float %B, %C     ; X1*47 + X2*-47 -> 47*(X1-X2)
388 define float @test13_reassoc(float %X1, float %X2) {
391 ; CHECK-NEXT:    [[C:%.*]] = fmul reassoc float [[X2:%.*]], 4.700000e+01
396   %C = fmul reassoc float %X2, -47.  ; X2*-47
397   %D = fadd reassoc float %B, %C     ; X1*47 + X2*-47 -> 47*(X1-X2)