[SimplifyLibCalls] Enable double to float shrinking for copysign

[MatzeB]

Summary

Enable double to float shrinking for copysign -> copysignf

[MatzeB]

arc diff does strange stuff when pointing it to single commits in a series...
So this patch is actually about enabling double to float shrinking for the copysign function.

Greetings

Matthias

Closed by commit rL223269 (authored by matze).

lib/Transforms/Utils/SimplifyLibCalls.cpp

if (TLI->getLibFunc(FuncName, Func) && TLI->has(Func)) {
     case LibFunc::logb:
     case LibFunc::sin:
     case LibFunc::sinh:
     case LibFunc::tan:
     case LibFunc::tanh:
       if (UnsafeFPShrink && hasFloatVersion(FuncName))
         return optimizeUnaryDoubleFP(CI, Builder, true);
       return nullptr;
+    case LibFunc::copysign:
     case LibFunc::fmin:
     case LibFunc::fmax:
       if (hasFloatVersion(FuncName))
         return optimizeBinaryDoubleFP(CI, Builder);
       return nullptr;
     case LibFunc::memcpy_chk:
       return optimizeMemCpyChk(CI, Builder);
     case LibFunc::memmove_chk:

test/Transforms/InstCombine/float-shrink-compare.ll

define i32 @test19(float %x, float %y) nounwind uwtable {
   %4 = fcmp oeq double %1, %3
   %5 = zext i1 %4 to i32
   ret i32 %5
 ; CHECK-LABEL: @test19(
 ; CHECK-NEXT: %fminf = call float @fminf(float 1.000000e+00, float %x)
 ; CHECK-NEXT: fcmp oeq float %fminf, %y
 }
 
+define i32 @test20(float %x, float %y, float %z) nounwind uwtable {
+  %1 = fpext float %x to double
+  %2 = fpext float %y to double
+  %3 = call double @copysign(double %1, double %2) nounwind
+  %4 = fpext float %z to double
+  %5 = fcmp oeq double %3, %4
+  %6 = zext i1 %5 to i32
+  ret i32 %6
+; CHECK-LABEL: @test20(
+; CHECK-NEXT: %copysignf = call float @copysignf(float %x, float %y)
+; CHECK-NEXT: fcmp oeq float %copysignf, %z
+}
+
 declare double @fabs(double) nounwind readnone
 declare double @ceil(double) nounwind readnone
+declare double @copysign(double, double) nounwind readnone
 declare double @floor(double) nounwind readnone
 declare double @nearbyint(double) nounwind readnone
 declare double @rint(double) nounwind readnone
 declare double @round(double) nounwind readnone
 declare double @trunc(double) nounwind readnone
 declare double @fmin(double, double) nounwind readnone
 declare double @fmax(double, double) nounwind readnone