llvm.org GIT mirror llvm / 3c12564
[NFC][Reassociate] Regenerate CHECKs for fast-basictest.ll git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@362627 91177308-0d34-0410-b5e6-96231b3b80d8 Cameron McInally 3 months ago
1 changed file(s) with 15 addition(s) and 15 deletion(s). Raw diff Collapse all Expand all
1515 ; Both 'reassoc' and 'nsz' are required.
1616 define float @test1_minimal(float %arg) {
1717 ; CHECK-LABEL: @test1_minimal(
18 ; CHECK-NEXT: [[ARG_NEG:%.*]] = fsub reassoc nsz float -0.000000e+00, [[ARG:%.*]]
19 ; CHECK-NEXT: ret float [[ARG_NEG]]
18 ; CHECK-NEXT: [[TMP1:%.*]] = fsub reassoc nsz float -0.000000e+00, [[ARG:%.*]]
19 ; CHECK-NEXT: ret float [[TMP1]]
2020 ;
2121 %t1 = fsub reassoc nsz float -1.200000e+01, %arg
2222 %t2 = fadd reassoc nsz float %t1, 1.200000e+01
225225 ; Check again with 'reassoc' and 'nsz' ('nsz' not technically required).
226226 define float @test9_reassoc_nsz(float %X) {
227227 ; CHECK-LABEL: @test9_reassoc_nsz(
228 ; CHECK-NEXT: [[FACTOR:%.*]] = fmul reassoc nsz float [[X:%.*]], 9.400000e+01
229 ; CHECK-NEXT: ret float [[FACTOR]]
228 ; CHECK-NEXT: [[TMP1:%.*]] = fmul reassoc nsz float [[X:%.*]], 9.400000e+01
229 ; CHECK-NEXT: ret float [[TMP1]]
230230 ;
231231 %Y = fmul reassoc nsz float %X, 4.700000e+01
232232 %Z = fadd reassoc nsz float %Y, %Y
262262 ; Check again with 'reassoc' and 'nsz' ('nsz' not technically required).
263263 define float @test10_reassoc_nsz(float %X) {
264264 ; CHECK-LABEL: @test10_reassoc_nsz(
265 ; CHECK-NEXT: [[FACTOR:%.*]] = fmul reassoc nsz float [[X:%.*]], 4.000000e+00
266 ; CHECK-NEXT: ret float [[FACTOR]]
265 ; CHECK-NEXT: [[TMP1:%.*]] = fmul reassoc nsz float [[X:%.*]], 4.000000e+00
266 ; CHECK-NEXT: ret float [[TMP1]]
267267 ;
268268 %Y = fadd reassoc nsz float %X ,%X
269269 %Z = fadd reassoc nsz float %Y, %X
300300 ; Check again with 'reassoc' and 'nsz' ('nsz' not technically required).
301301 define float @test11_reassoc_nsz(float %W) {
302302 ; CHECK-LABEL: @test11_reassoc_nsz(
303 ; CHECK-NEXT: [[FACTOR:%.*]] = fmul reassoc nsz float [[W:%.*]], 3.810000e+02
304 ; CHECK-NEXT: ret float [[FACTOR]]
303 ; CHECK-NEXT: [[Z:%.*]] = fmul reassoc nsz float [[W:%.*]], 3.810000e+02
304 ; CHECK-NEXT: ret float [[Z]]
305305 ;
306306 %X = fmul reassoc nsz float %W, 127.0
307307 %Y = fadd reassoc nsz float %X ,%X
340340 ; Check again with 'reassoc' and 'nsz' ('nsz' not technically required).
341341 define float @test12_reassoc_nsz(float %X) {
342342 ; CHECK-LABEL: @test12_reassoc_nsz(
343 ; CHECK-NEXT: [[FACTOR:%.*]] = fmul reassoc nsz float [[X:%.*]], 3.000000e+00
344 ; CHECK-NEXT: [[Z:%.*]] = fsub reassoc nsz float 6.000000e+00, [[FACTOR]]
345 ; CHECK-NEXT: ret float [[Z]]
343 ; CHECK-NEXT: [[TMP1:%.*]] = fmul reassoc nsz float [[X:%.*]], 3.000000e+00
344 ; CHECK-NEXT: [[TMP2:%.*]] = fsub reassoc nsz float 6.000000e+00, [[TMP1]]
345 ; CHECK-NEXT: ret float [[TMP2]]
346346 ;
347347 %A = fsub reassoc nsz float 1.000000e+00, %X
348348 %B = fsub reassoc nsz float 2.000000e+00, %X
401401 define float @test14(float %X1, float %X2) {
402402 ; CHECK-LABEL: @test14(
403403 ; CHECK-NEXT: [[TMP1:%.*]] = fsub fast float [[X1:%.*]], [[X2:%.*]]
404 ; CHECK-NEXT: [[TMP2:%.*]] = fmul fast float [[TMP1]], 4.700000e+01
405 ; CHECK-NEXT: ret float [[TMP2]]
404 ; CHECK-NEXT: [[D1:%.*]] = fmul fast float [[TMP1]], 4.700000e+01
405 ; CHECK-NEXT: ret float [[D1]]
406406 ;
407407 %B = fmul fast float %X1, 47. ; X1*47
408408 %C = fmul fast float %X2, -47. ; X2*-47
415415 define float @test14_reassoc_nsz(float %X1, float %X2) {
416416 ; CHECK-LABEL: @test14_reassoc_nsz(
417417 ; CHECK-NEXT: [[TMP1:%.*]] = fsub reassoc nsz float [[X1:%.*]], [[X2:%.*]]
418 ; CHECK-NEXT: [[TMP2:%.*]] = fmul reassoc nsz float [[TMP1]], 4.700000e+01
419 ; CHECK-NEXT: ret float [[TMP2]]
418 ; CHECK-NEXT: [[D1:%.*]] = fmul reassoc nsz float [[TMP1]], 4.700000e+01
419 ; CHECK-NEXT: ret float [[D1]]
420420 ;
421421 %B = fmul reassoc nsz float %X1, 47. ; X1*47
422422 %C = fmul reassoc nsz float %X2, -47. ; X2*-47