[InstCombine] Use minimal FMF in testcase for Z / (1.0 / Y) => (Y * Z); NFC
authorSanjay Patel <spatel@rotateright.com>
Thu, 9 Jan 2020 13:20:24 +0000 (08:20 -0500)
committerSanjay Patel <spatel@rotateright.com>
Thu, 9 Jan 2020 13:21:38 +0000 (08:21 -0500)
Patch by: @raghesh (Raghesh Aloor)

Differential Revision: https://reviews.llvm.org/D72431

llvm/test/Transforms/InstCombine/fdiv.ll

index 8bfeb67..178fe1b 100644 (file)
@@ -192,12 +192,12 @@ define float @div_with_div_denominator_extra_use(float %x, float %y, float %z) {
 define float @div_with_div_denominator_with_one_as_numerator_extra_use(float %x, float %y, float %z) {
 ; CHECK-LABEL: @div_with_div_denominator_with_one_as_numerator_extra_use(
 ; CHECK-NEXT:    [[DIV1:%.*]] = fdiv float 1.000000e+00, [[Y:%.*]]
-; CHECK-NEXT:    [[DIV2:%.*]] = fdiv fast float [[Z:%.*]], [[DIV1]]
+; CHECK-NEXT:    [[DIV2:%.*]] = fdiv reassoc arcp float [[Z:%.*]], [[DIV1]]
 ; CHECK-NEXT:    call void @use_f32(float [[DIV1]])
 ; CHECK-NEXT:    ret float [[DIV2]]
 ;
   %div1 = fdiv float 1.0, %y
-  %div2 = fdiv fast float %z, %div1
+  %div2 = fdiv reassoc arcp float %z, %div1
   call void @use_f32(float %div1)
   ret float %div2
 }