[Reassociate] regenerate checks; NFC

llvm-svn: 326511

1 files changed, 62 insertions, 61 deletions

diff --git a/llvm/test/Transforms/Reassociate/fast-basictest.ll b/llvm/test/Transforms/Reassociate/fast-basictest.ll
index f9abe4e2f7b..fe9c2d669d8 100644
--- a/llvm/test/Transforms/Reassociate/fast-basictest.ll
+++ b/llvm/test/Transforms/Reassociate/fast-basictest.ll
@@ -1,9 +1,10 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -reassociate -gvn -instcombine -S | FileCheck %s
 
 ; With reassociation, constant folding can eliminate the 12 and -12 constants.
 define float @test1(float %arg) {
 ; CHECK-LABEL: @test1(
-; CHECK-NEXT:    [[ARG_NEG:%.*]] = fsub fast float -0.000000e+00, %arg
+; CHECK-NEXT:    [[ARG_NEG:%.*]] = fsub fast float -0.000000e+00, [[ARG:%.*]]
 ; CHECK-NEXT:    ret float [[ARG_NEG]]
 ;
   %t1 = fsub fast float -1.200000e+01, %arg
@@ -13,7 +14,7 @@ define float @test1(float %arg) {
 
 define float @test1_reassoc(float %arg) {
 ; CHECK-LABEL: @test1_reassoc(
-; CHECK-NEXT:    [[T1:%.*]] = fsub reassoc float -1.200000e+01, %arg
+; CHECK-NEXT:    [[T1:%.*]] = fsub reassoc float -1.200000e+01, [[ARG:%.*]]
 ; CHECK-NEXT:    [[T2:%.*]] = fadd reassoc float [[T1]], 1.200000e+01
 ; CHECK-NEXT:    ret float [[T2]]
 ;
@@ -24,8 +25,8 @@ define float @test1_reassoc(float %arg) {
 
 define float @test2(float %reg109, float %reg1111) {
 ; CHECK-LABEL: @test2(
-; CHECK-NEXT:    [[REG115:%.*]] = fadd float %reg109, -3.000000e+01
-; CHECK-NEXT:    [[REG116:%.*]] = fadd float [[REG115]], %reg1111
+; CHECK-NEXT:    [[REG115:%.*]] = fadd float [[REG109:%.*]], -3.000000e+01
+; CHECK-NEXT:    [[REG116:%.*]] = fadd float [[REG115]], [[REG1111:%.*]]
 ; CHECK-NEXT:    [[REG117:%.*]] = fadd float [[REG116]], 3.000000e+01
 ; CHECK-NEXT:    ret float [[REG117]]
 ;
@@ -37,7 +38,7 @@ define float @test2(float %reg109, float %reg1111) {
 
 define float @test3(float %reg109, float %reg1111) {
 ; CHECK-LABEL: @test3(
-; CHECK-NEXT:    [[REG117:%.*]] = fadd fast float %reg109, %reg1111
+; CHECK-NEXT:    [[REG117:%.*]] = fadd fast float [[REG109:%.*]], [[REG1111:%.*]]
 ; CHECK-NEXT:    ret float [[REG117]]
 ;
   %reg115 = fadd fast float %reg109, -3.000000e+01
@@ -48,8 +49,8 @@ define float @test3(float %reg109, float %reg1111) {
 
 define float @test3_reassoc(float %reg109, float %reg1111) {
 ; CHECK-LABEL: @test3_reassoc(
-; CHECK-NEXT:    [[REG115:%.*]] = fadd reassoc float %reg109, -3.000000e+01
-; CHECK-NEXT:    [[REG116:%.*]] = fadd reassoc float [[REG115]], %reg1111
+; CHECK-NEXT:    [[REG115:%.*]] = fadd reassoc float [[REG109:%.*]], -3.000000e+01
+; CHECK-NEXT:    [[REG116:%.*]] = fadd reassoc float [[REG115]], [[REG1111:%.*]]
 ; CHECK-NEXT:    [[REG117:%.*]] = fadd reassoc float [[REG116]], 3.000000e+01
 ; CHECK-NEXT:    ret float [[REG117]]
 ;
@@ -142,9 +143,9 @@ define void @test6() {
 
 define float @test7(float %A, float %B, float %C) {
 ; CHECK-LABEL: @test7(
-; CHECK-NEXT:    [[REASS_ADD1:%.*]] = fadd fast float %C, %B
-; CHECK-NEXT:    [[REASS_MUL2:%.*]] = fmul fast float %A, %A
-; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast float [[REASS_MUL:%.*]]2, [[REASS_ADD1]]
+; CHECK-NEXT:    [[REASS_ADD1:%.*]] = fadd fast float [[C:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[REASS_MUL2:%.*]] = fmul fast float [[A:%.*]], [[A]]
+; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast float [[REASS_MUL2]], [[REASS_ADD1]]
 ; CHECK-NEXT:    ret float [[REASS_MUL]]
 ;
   %aa = fmul fast float %A, %A
@@ -157,10 +158,10 @@ define float @test7(float %A, float %B, float %C) {
 
 define float @test7_reassoc(float %A, float %B, float %C) {
 ; CHECK-LABEL: @test7_reassoc(
-; CHECK-NEXT:    [[AA:%.*]] = fmul reassoc float %A, %A
-; CHECK-NEXT:    [[AAB:%.*]] = fmul reassoc float [[AA]], %B
-; CHECK-NEXT:    [[AC:%.*]] = fmul reassoc float %A, %C
-; CHECK-NEXT:    [[AAC:%.*]] = fmul reassoc float [[AC]], %A
+; CHECK-NEXT:    [[AA:%.*]] = fmul reassoc float [[A:%.*]], [[A]]
+; CHECK-NEXT:    [[AAB:%.*]] = fmul reassoc float [[AA]], [[B:%.*]]
+; CHECK-NEXT:    [[AC:%.*]] = fmul reassoc float [[A]], [[C:%.*]]
+; CHECK-NEXT:    [[AAC:%.*]] = fmul reassoc float [[AC]], [[A]]
 ; CHECK-NEXT:    [[R:%.*]] = fadd reassoc float [[AAB]], [[AAC]]
 ; CHECK-NEXT:    ret float [[R]]
 ;
@@ -176,8 +177,8 @@ define float @test7_reassoc(float %A, float %B, float %C) {
 
 define float @test8(float %X, float %Y, float %Z) {
 ; CHECK-LABEL: @test8(
-; CHECK-NEXT:    [[A:%.*]] = fmul fast float %Y, %X
-; CHECK-NEXT:    [[C:%.*]] = fsub fast float %Z, [[A]]
+; CHECK-NEXT:    [[A:%.*]] = fmul fast float [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT:    [[C:%.*]] = fsub fast float [[Z:%.*]], [[A]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
   %A = fsub fast float 0.0, %X
@@ -188,9 +189,9 @@ define float @test8(float %X, float %Y, float %Z) {
 
 define float @test8_reassoc(float %X, float %Y, float %Z) {
 ; CHECK-LABEL: @test8_reassoc(
-; CHECK-NEXT:    [[A:%.*]] = fsub reassoc float 0.000000e+00, %X
-; CHECK-NEXT:    [[B:%.*]] = fmul reassoc float [[A]], %Y
-; CHECK-NEXT:    [[C:%.*]] = fadd reassoc float [[B]], %Z
+; CHECK-NEXT:    [[A:%.*]] = fsub reassoc float 0.000000e+00, [[X:%.*]]
+; CHECK-NEXT:    [[B:%.*]] = fmul reassoc float [[A]], [[Y:%.*]]
+; CHECK-NEXT:    [[C:%.*]] = fadd reassoc float [[B]], [[Z:%.*]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
   %A = fsub reassoc float 0.0, %X
@@ -201,7 +202,7 @@ define float @test8_reassoc(float %X, float %Y, float %Z) {
 
 define float @test9(float %X) {
 ; CHECK-LABEL: @test9(
-; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float %X, 9.400000e+01
+; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float [[X:%.*]], 9.400000e+01
 ; CHECK-NEXT:    ret float [[FACTOR]]
 ;
   %Y = fmul fast float %X, 4.700000e+01
@@ -211,7 +212,7 @@ define float @test9(float %X) {
 
 define float @test9_reassoc(float %X) {
 ; CHECK-LABEL: @test9_reassoc(
-; CHECK-NEXT:    [[Y:%.*]] = fmul reassoc float %X, 4.700000e+01
+; CHECK-NEXT:    [[Y:%.*]] = fmul reassoc float [[X:%.*]], 4.700000e+01
 ; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc float [[Y]], [[Y]]
 ; CHECK-NEXT:    ret float [[Z]]
 ;
@@ -222,7 +223,7 @@ define float @test9_reassoc(float %X) {
 
 define float @test10(float %X) {
 ; CHECK-LABEL: @test10(
-; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float %X, 3.000000e+00
+; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float [[X:%.*]], 3.000000e+00
 ; CHECK-NEXT:    ret float [[FACTOR]]
 ;
   %Y = fadd fast float %X ,%X
@@ -232,8 +233,8 @@ define float @test10(float %X) {
 
 define float @test10_reassoc(float %X) {
 ; CHECK-LABEL: @test10_reassoc(
-; CHECK-NEXT:    [[Y:%.*]] = fadd reassoc float %X, %X
-; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc float [[Y]], %X
+; CHECK-NEXT:    [[Y:%.*]] = fadd reassoc float [[X:%.*]], [[X]]
+; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc float [[Y]], [[X]]
 ; CHECK-NEXT:    ret float [[Z]]
 ;
   %Y = fadd reassoc float %X ,%X
@@ -243,7 +244,7 @@ define float @test10_reassoc(float %X) {
 
 define float @test11(float %W) {
 ; CHECK-LABEL: @test11(
-; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float %W, 3.810000e+02
+; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float [[W:%.*]], 3.810000e+02
 ; CHECK-NEXT:    ret float [[FACTOR]]
 ;
   %X = fmul fast float %W, 127.0
@@ -254,7 +255,7 @@ define float @test11(float %W) {
 
 define float @test11_reassoc(float %W) {
 ; CHECK-LABEL: @test11_reassoc(
-; CHECK-NEXT:    [[X:%.*]] = fmul reassoc float %W, 1.270000e+02
+; CHECK-NEXT:    [[X:%.*]] = fmul reassoc float [[W:%.*]], 1.270000e+02
 ; CHECK-NEXT:    [[Y:%.*]] = fadd reassoc float [[X]], [[X]]
 ; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc float [[X]], [[Y]]
 ; CHECK-NEXT:    ret float [[Z]]
@@ -267,7 +268,7 @@ define float @test11_reassoc(float %W) {
 
 define float @test12(float %X) {
 ; CHECK-LABEL: @test12(
-; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float %X, -3.000000e+00
+; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast float [[X:%.*]], -3.000000e+00
 ; CHECK-NEXT:    [[Z:%.*]] = fadd fast float [[FACTOR]], 6.000000e+00
 ; CHECK-NEXT:    ret float [[Z]]
 ;
@@ -281,9 +282,9 @@ define float @test12(float %X) {
 
 define float @test12_reassoc(float %X) {
 ; CHECK-LABEL: @test12_reassoc(
-; CHECK-NEXT:    [[A:%.*]] = fsub reassoc float 1.000000e+00, %X
-; CHECK-NEXT:    [[B:%.*]] = fsub reassoc float 2.000000e+00, %X
-; CHECK-NEXT:    [[C:%.*]] = fsub reassoc float 3.000000e+00, %X
+; CHECK-NEXT:    [[A:%.*]] = fsub reassoc float 1.000000e+00, [[X:%.*]]
+; CHECK-NEXT:    [[B:%.*]] = fsub reassoc float 2.000000e+00, [[X]]
+; CHECK-NEXT:    [[C:%.*]] = fsub reassoc float 3.000000e+00, [[X]]
 ; CHECK-NEXT:    [[Y:%.*]] = fadd reassoc float [[A]], [[B]]
 ; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc float [[C]], [[Y]]
 ; CHECK-NEXT:    ret float [[Z]]
@@ -298,8 +299,8 @@ define float @test12_reassoc(float %X) {
 
 define float @test13(float %X1, float %X2, float %X3) {
 ; CHECK-LABEL: @test13(
-; CHECK-NEXT:    [[REASS_ADD:%.*]] = fsub fast float %X3, %X2
-; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD]], %X1
+; CHECK-NEXT:    [[REASS_ADD:%.*]] = fsub fast float [[X3:%.*]], [[X2:%.*]]
+; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD]], [[X1:%.*]]
 ; CHECK-NEXT:    ret float [[REASS_MUL]]
 ;
   %A = fsub fast float 0.000000e+00, %X1
@@ -311,9 +312,9 @@ define float @test13(float %X1, float %X2, float %X3) {
 
 define float @test13_reassoc(float %X1, float %X2, float %X3) {
 ; CHECK-LABEL: @test13_reassoc(
-; CHECK-NEXT:    [[A:%.*]] = fsub reassoc float 0.000000e+00, %X1
-; CHECK-NEXT:    [[B:%.*]] = fmul reassoc float [[A]], %X2
-; CHECK-NEXT:    [[C:%.*]] = fmul reassoc float %X1, %X3
+; CHECK-NEXT:    [[A:%.*]] = fsub reassoc float 0.000000e+00, [[X1:%.*]]
+; CHECK-NEXT:    [[B:%.*]] = fmul reassoc float [[A]], [[X2:%.*]]
+; CHECK-NEXT:    [[C:%.*]] = fmul reassoc float [[X1]], [[X3:%.*]]
 ; CHECK-NEXT:    [[D:%.*]] = fadd reassoc float [[B]], [[C]]
 ; CHECK-NEXT:    ret float [[D]]
 ;
@@ -326,7 +327,7 @@ define float @test13_reassoc(float %X1, float %X2, float %X3) {
 
 define float @test14(float %X1, float %X2) {
 ; CHECK-LABEL: @test14(
-; CHECK-NEXT:    [[TMP1:%.*]] = fsub fast float %X1, %X2
+; CHECK-NEXT:    [[TMP1:%.*]] = fsub fast float [[X1:%.*]], [[X2:%.*]]
 ; CHECK-NEXT:    [[TMP2:%.*]] = fmul fast float [[TMP1]], 4.700000e+01
 ; CHECK-NEXT:    ret float [[TMP2]]
 ;
@@ -338,8 +339,8 @@ define float @test14(float %X1, float %X2) {
 
 define float @test14_reassoc(float %X1, float %X2) {
 ; CHECK-LABEL: @test14_reassoc(
-; CHECK-NEXT:    [[B:%.*]] = fmul reassoc float %X1, 4.700000e+01
-; CHECK-NEXT:    [[C:%.*]] = fmul reassoc float %X2, 4.700000e+01
+; CHECK-NEXT:    [[B:%.*]] = fmul reassoc float [[X1:%.*]], 4.700000e+01
+; CHECK-NEXT:    [[C:%.*]] = fmul reassoc float [[X2:%.*]], 4.700000e+01
 ; CHECK-NEXT:    [[D1:%.*]] = fsub reassoc float [[B]], [[C]]
 ; CHECK-NEXT:    ret float [[D1]]
 ;
@@ -351,7 +352,7 @@ define float @test14_reassoc(float %X1, float %X2) {
 
 define float @test15(float %arg) {
 ; CHECK-LABEL: @test15(
-; CHECK-NEXT:    [[T2:%.*]] = fmul fast float %arg, 1.440000e+02
+; CHECK-NEXT:    [[T2:%.*]] = fmul fast float [[ARG:%.*]], 1.440000e+02
 ; CHECK-NEXT:    ret float [[T2]]
 ;
   %t1 = fmul fast float 1.200000e+01, %arg
@@ -361,7 +362,7 @@ define float @test15(float %arg) {
 
 define float @test15_reassoc(float %arg) {
 ; CHECK-LABEL: @test15_reassoc(
-; CHECK-NEXT:    [[T1:%.*]] = fmul reassoc float %arg, 1.200000e+01
+; CHECK-NEXT:    [[T1:%.*]] = fmul reassoc float [[ARG:%.*]], 1.200000e+01
 ; CHECK-NEXT:    [[T2:%.*]] = fmul reassoc float [[T1]], 1.200000e+01
 ; CHECK-NEXT:    ret float [[T2]]
 ;
@@ -373,7 +374,7 @@ define float @test15_reassoc(float %arg) {
 ; (b+(a+1234))+-a -> b+1234
 define float @test16(float %b, float %a) {
 ; CHECK-LABEL: @test16(
-; CHECK-NEXT:    [[TMP1:%.*]] = fadd fast float %b, 1.234000e+03
+; CHECK-NEXT:    [[TMP1:%.*]] = fadd fast float [[B:%.*]], 1.234000e+03
 ; CHECK-NEXT:    ret float [[TMP1]]
 ;
   %1 = fadd fast float %a, 1234.0
@@ -385,9 +386,9 @@ define float @test16(float %b, float %a) {
 
 define float @test16_reassoc(float %b, float %a) {
 ; CHECK-LABEL: @test16_reassoc(
-; CHECK-NEXT:    [[TMP1:%.*]] = fadd reassoc float %a, 1.234000e+03
-; CHECK-NEXT:    [[TMP2:%.*]] = fadd reassoc float [[TMP1]], %b
-; CHECK-NEXT:    [[TMP3:%.*]] = fsub reassoc float 0.000000e+00, %a
+; CHECK-NEXT:    [[TMP1:%.*]] = fadd reassoc float [[A:%.*]], 1.234000e+03
+; CHECK-NEXT:    [[TMP2:%.*]] = fadd reassoc float [[TMP1]], [[B:%.*]]
+; CHECK-NEXT:    [[TMP3:%.*]] = fsub reassoc float 0.000000e+00, [[A]]
 ; CHECK-NEXT:    [[TMP4:%.*]] = fadd reassoc float [[TMP3]], [[TMP2]]
 ; CHECK-NEXT:    ret float [[TMP4]]
 ;
@@ -402,9 +403,9 @@ define float @test16_reassoc(float %b, float %a) {
 
 define float @test17(float %a, float %b, float %z) {
 ; CHECK-LABEL: @test17(
-; CHECK-NEXT:    [[E:%.*]] = fmul fast float %a, 1.234500e+04
-; CHECK-NEXT:    [[F:%.*]] = fmul fast float [[E]], %b
-; CHECK-NEXT:    [[G:%.*]] = fmul fast float [[F]], %z
+; CHECK-NEXT:    [[E:%.*]] = fmul fast float [[A:%.*]], 1.234500e+04
+; CHECK-NEXT:    [[F:%.*]] = fmul fast float [[E]], [[B:%.*]]
+; CHECK-NEXT:    [[G:%.*]] = fmul fast float [[F]], [[Z:%.*]]
 ; CHECK-NEXT:    ret float [[G]]
 ;
   %c = fsub fast float 0.000000e+00, %z
@@ -417,8 +418,8 @@ define float @test17(float %a, float %b, float %z) {
 
 define float @test17_reassoc(float %a, float %b, float %z) {
 ; CHECK-LABEL: @test17_reassoc(
-; CHECK-NEXT:    [[C:%.*]] = fsub reassoc float 0.000000e+00, %z
-; CHECK-NEXT:    [[D:%.*]] = fmul reassoc float %a, %b
+; CHECK-NEXT:    [[C:%.*]] = fsub reassoc float 0.000000e+00, [[Z:%.*]]
+; CHECK-NEXT:    [[D:%.*]] = fmul reassoc float [[A:%.*]], [[B:%.*]]
 ; CHECK-NEXT:    [[E:%.*]] = fmul reassoc float [[D]], [[C]]
 ; CHECK-NEXT:    [[F:%.*]] = fmul reassoc float [[E]], 1.234500e+04
 ; CHECK-NEXT:    [[G:%.*]] = fsub reassoc float 0.000000e+00, [[F]]
@@ -434,8 +435,8 @@ define float @test17_reassoc(float %a, float %b, float %z) {
 
 define float @test18(float %a, float %b, float %z) {
 ; CHECK-LABEL: @test18(
-; CHECK-NEXT:    [[E:%.*]] = fmul fast float %a, 4.000000e+01
-; CHECK-NEXT:    [[F:%.*]] = fmul fast float [[E]], %z
+; CHECK-NEXT:    [[E:%.*]] = fmul fast float [[A:%.*]], 4.000000e+01
+; CHECK-NEXT:    [[F:%.*]] = fmul fast float [[E]], [[Z:%.*]]
 ; CHECK-NEXT:    ret float [[F]]
 ;
   %d = fmul fast float %z, 4.000000e+01
@@ -447,9 +448,9 @@ define float @test18(float %a, float %b, float %z) {
 
 define float @test18_reassoc(float %a, float %b, float %z) {
 ; CHECK-LABEL: @test18_reassoc(
-; CHECK-NEXT:    [[D:%.*]] = fmul reassoc float %z, 4.000000e+01
+; CHECK-NEXT:    [[D:%.*]] = fmul reassoc float [[Z:%.*]], 4.000000e+01
 ; CHECK-NEXT:    [[C:%.*]] = fsub reassoc float 0.000000e+00, [[D]]
-; CHECK-NEXT:    [[E:%.*]] = fmul reassoc float [[C]], %a
+; CHECK-NEXT:    [[E:%.*]] = fmul reassoc float [[C]], [[A:%.*]]
 ; CHECK-NEXT:    [[F:%.*]] = fsub reassoc float 0.000000e+00, [[E]]
 ; CHECK-NEXT:    ret float [[F]]
 ;
@@ -463,7 +464,7 @@ define float @test18_reassoc(float %a, float %b, float %z) {
 ; With sub reassociation, constant folding can eliminate the 12 and -12 constants.
 define float @test19(float %A, float %B) {
 ; CHECK-LABEL: @test19(
-; CHECK-NEXT:    [[Z:%.*]] = fsub fast float %A, %B
+; CHECK-NEXT:    [[Z:%.*]] = fsub fast float [[A:%.*]], [[B:%.*]]
 ; CHECK-NEXT:    ret float [[Z]]
 ;
   %X = fadd fast float -1.200000e+01, %A
@@ -474,8 +475,8 @@ define float @test19(float %A, float %B) {
 
 define float @test19_reassoc(float %A, float %B) {
 ; CHECK-LABEL: @test19_reassoc(
-; CHECK-NEXT:    [[X:%.*]] = fadd reassoc float %A, -1.200000e+01
-; CHECK-NEXT:    [[Y:%.*]] = fsub reassoc float [[X]], %B
+; CHECK-NEXT:    [[X:%.*]] = fadd reassoc float [[A:%.*]], -1.200000e+01
+; CHECK-NEXT:    [[Y:%.*]] = fsub reassoc float [[X]], [[B:%.*]]
 ; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc float [[Y]], 1.200000e+01
 ; CHECK-NEXT:    ret float [[Z]]
 ;
@@ -492,8 +493,8 @@ define float @test20(float %a, float %b, float %c) nounwind  {
 ; %sum = fadd fast float %c, %b
 ; %t7 = fsub fast float 0, %sum
 ; CHECK-LABEL: @test20(
-; CHECK-NEXT:    [[B_NEG:%.*]] = fsub fast float -0.000000e+00, %b
-; CHECK-NEXT:    [[T7:%.*]] = fsub fast float [[B_NEG]], %c
+; CHECK-NEXT:    [[B_NEG:%.*]] = fsub fast float -0.000000e+00, [[B:%.*]]
+; CHECK-NEXT:    [[T7:%.*]] = fsub fast float [[B_NEG]], [[C:%.*]]
 ; CHECK-NEXT:    ret float [[T7]]
 ;
   %t3 = fsub fast float %a, %b
@@ -504,9 +505,9 @@ define float @test20(float %a, float %b, float %c) nounwind  {
 
 define float @test20_reassoc(float %a, float %b, float %c) nounwind  {
 ; CHECK-LABEL: @test20_reassoc(
-; CHECK-NEXT:    [[T3:%.*]] = fsub reassoc float %a, %b
-; CHECK-NEXT:    [[T5:%.*]] = fsub reassoc float [[T3]], %c
-; CHECK-NEXT:    [[T7:%.*]] = fsub reassoc float [[T5]], %a
+; CHECK-NEXT:    [[T3:%.*]] = fsub reassoc float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[T5:%.*]] = fsub reassoc float [[T3]], [[C:%.*]]
+; CHECK-NEXT:    [[T7:%.*]] = fsub reassoc float [[T5]], [[A]]
 ; CHECK-NEXT:    ret float [[T7]]
 ;
   %t3 = fsub reassoc float %a, %b