diff --git a/llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll b/llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll index b825ac80b6d6..ef8adcb1646b 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)