[InstSimplify] add fdiv x/1.0 test and update checks; NFC

llvm-svn: 289098

1 files changed, 25 insertions, 8 deletions

diff --git a/llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll b/llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll
index b825ac80b6d..ef8adcb1646 100644
--- a/llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll
+++ b/llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll
@@ -1,10 +1,10 @@
-; NOTE: Assertions have been autogenerated by update_test_checks.py
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -instsimplify -S | FileCheck %s
 
 ; fsub -0.0, (fsub -0.0, X) ==> X
 define float @fsub_-0_-0_x(float %a) {
 ; CHECK-LABEL: @fsub_-0_-0_x(
-; CHECK:         ret float %a
+; CHECK-NEXT:    ret float %a
 ;
   %t1 = fsub float -0.0, %a
   %ret = fsub float -0.0, %t1
@@ -14,7 +14,7 @@ define float @fsub_-0_-0_x(float %a) {
 ; fsub 0.0, (fsub -0.0, X) != X
 define float @fsub_0_-0_x(float %a) {
 ; CHECK-LABEL: @fsub_0_-0_x(
-; CHECK:         [[T1:%.*]] = fsub float 0.000000e+00, %a
+; CHECK-NEXT:    [[T1:%.*]] = fsub float 0.000000e+00, %a
 ; CHECK-NEXT:    [[RET:%.*]] = fsub float -0.000000e+00, [[T1]]
 ; CHECK-NEXT:    ret float [[RET]]
 ;
@@ -26,7 +26,7 @@ define float @fsub_0_-0_x(float %a) {
 ; fsub -0.0, (fsub 0.0, X) != X
 define float @fsub_-0_0_x(float %a) {
 ; CHECK-LABEL: @fsub_-0_0_x(
-; CHECK:         [[T1:%.*]] = fsub float -0.000000e+00, %a
+; CHECK-NEXT:    [[T1:%.*]] = fsub float -0.000000e+00, %a
 ; CHECK-NEXT:    [[RET:%.*]] = fsub float 0.000000e+00, [[T1]]
 ; CHECK-NEXT:    ret float [[RET]]
 ;
@@ -38,7 +38,7 @@ define float @fsub_-0_0_x(float %a) {
 ; fsub X, 0 ==> X
 define float @fsub_x_0(float %a) {
 ; CHECK-LABEL: @fsub_x_0(
-; CHECK:         ret float %a
+; CHECK-NEXT:    ret float %a
 ;
   %ret = fsub float %a, 0.0
   ret float %ret
@@ -47,7 +47,7 @@ define float @fsub_x_0(float %a) {
 ; fadd X, -0 ==> X
 define float @fadd_x_n0(float %a) {
 ; CHECK-LABEL: @fadd_x_n0(
-; CHECK:         ret float %a
+; CHECK-NEXT:    ret float %a
 ;
   %ret = fadd float %a, -0.0
   ret float %ret
@@ -56,12 +56,23 @@ define float @fadd_x_n0(float %a) {
 ; fmul X, 1.0 ==> X
 define double @fmul_X_1(double %a) {
 ; CHECK-LABEL: @fmul_X_1(
-; CHECK:         ret double %a
+; CHECK-NEXT:    ret double %a
 ;
   %b = fmul double 1.000000e+00, %a
   ret double %b
 }
 
+; FIXME:
+; fdiv X, 1.0 ==> X
+define float @fdiv_x_1(float %a) {
+; CHECK-LABEL: @fdiv_x_1(
+; CHECK-NEXT:    [[RET:%.*]] = fdiv float %a, 1.000000e+00
+; CHECK-NEXT:    ret float [[RET]]
+;
+  %ret = fdiv float %a, 1.0
+  ret float %ret
+}
+
 ; We can't optimize away the fadd in this test because the input
 ; value to the function and subsequently to the fadd may be -0.0.
 ; In that one special case, the result of the fadd should be +0.0
@@ -75,7 +86,13 @@ declare float @sqrtf(float)
 
 define float @PR22688(float %x) {
 ; CHECK-LABEL: @PR22688(
-; CHECK:         [[TMP7:%.*]] = fadd float {{%.*}}, 0.000000e+00
+; CHECK-NEXT:    [[TMP1:%.*]] = call float @sqrtf(float %x)
+; CHECK-NEXT:    [[TMP2:%.*]] = call float @sqrtf(float [[TMP1]])
+; CHECK-NEXT:    [[TMP3:%.*]] = call float @sqrtf(float [[TMP2]])
+; CHECK-NEXT:    [[TMP4:%.*]] = call float @sqrtf(float [[TMP3]])
+; CHECK-NEXT:    [[TMP5:%.*]] = call float @sqrtf(float [[TMP4]])
+; CHECK-NEXT:    [[TMP6:%.*]] = call float @sqrtf(float [[TMP5]])
+; CHECK-NEXT:    [[TMP7:%.*]] = fadd float [[TMP6]], 0.000000e+00
 ; CHECK-NEXT:    ret float [[TMP7]]
 ;
   %1 = call float @sqrtf(float %x)