Lines Matching refs:X1
299 define float @test12(float %X1, float %X2, float %X3) {
301 ; CHECK-NEXT: [[B:%.*]] = fmul fast float [[X2:%.*]], [[X1:%.*]]
302 ; CHECK-NEXT: [[C:%.*]] = fmul fast float [[X3:%.*]], [[X1]]
306 %A = fsub fast float 0.000000e+00, %X1
307 %B = fmul fast float %A, %X2 ; -X1*X2
308 %C = fmul fast float %X1, %X3 ; X1*X3
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:%.*]]
316 ; CHECK-NEXT: [[C:%.*]] = fmul fast float [[X3:%.*]], [[X1]]
320 %A = fneg fast float %X1
321 %B = fmul fast float %A, %X2 ; -X1*X2
322 %C = fmul fast float %X1, %X3 ; X1*X3
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:%.*]]
330 ; CHECK-NEXT: [[C:%.*]] = fmul reassoc nsz float [[X3:%.*]], [[X1]]
334 %A = fsub reassoc nsz float 0.000000e+00, %X1
335 %B = fmul reassoc nsz float %A, %X2 ; -X1*X2
336 %C = fmul reassoc nsz float %X1, %X3 ; X1*X3
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) {
345 ; CHECK-NEXT: [[A:%.*]] = fsub reassoc float 0.000000e+00, [[X1:%.*]]
347 ; CHECK-NEXT: [[C:%.*]] = fmul reassoc float [[X1]], [[X3:%.*]]
351 %A = fsub reassoc float 0.000000e+00, %X1
352 %B = fmul reassoc float %A, %X2 ; -X1*X2
353 %C = fmul reassoc float %X1, %X3 ; X1*X3
354 %D = fadd reassoc float %B, %C ; -X1*X2 + X1*X3 -> X1*(X3-X2)
362 define float @test13(float %X1, float %X2) {
364 ; CHECK-NEXT: [[B:%.*]] = fmul fast float [[X1:%.*]], 4.700000e+01
369 %B = fmul fast float %X1, 47. ; X1*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) {
377 ; CHECK-NEXT: [[B:%.*]] = fmul reassoc nsz float [[X1:%.*]], 4.700000e+01
382 %B = fmul reassoc nsz float %X1, 47. ; X1*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) {
390 ; CHECK-NEXT: [[B:%.*]] = fmul reassoc float [[X1:%.*]], 4.700000e+01
395 %B = fmul reassoc float %X1, 47. ; X1*47
397 %D = fadd reassoc float %B, %C ; X1*47 + X2*-47 -> 47*(X1-X2)