diff options
| -rw-r--r-- | llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/InstCombine/double-float-shrink-1.ll | 16 |
2 files changed, 20 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp b/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp index 2eba5fe31e0..bf158949de0 100644 --- a/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp @@ -1033,6 +1033,10 @@ Value *LibCallSimplifier::optimizeBinaryDoubleFP(CallInst *CI, IRBuilder<> &B) { if (V2 == nullptr) return nullptr; + // Propagate fast-math flags from the existing call to the new call. + IRBuilder<>::FastMathFlagGuard Guard(B); + B.SetFastMathFlags(CI->getFastMathFlags()); + // fmin((double)floatval1, (double)floatval2) // -> (double)fminf(floatval1, floatval2) // TODO: Handle intrinsics in the same way as in optimizeUnaryDoubleFP(). diff --git a/llvm/test/Transforms/InstCombine/double-float-shrink-1.ll b/llvm/test/Transforms/InstCombine/double-float-shrink-1.ll index 78c60ca6744..319ea325983 100644 --- a/llvm/test/Transforms/InstCombine/double-float-shrink-1.ll +++ b/llvm/test/Transforms/InstCombine/double-float-shrink-1.ll @@ -350,6 +350,22 @@ define double @tanh_test2(float %f) { ; CHECK: call fast double @tanh(double %conv) } +; 'arcp' on an fmax() is meaningless. This test just proves that +; flags are propagated for shrunken *binary* double FP calls. +define float @max1(float %a, float %b) { + %c = fpext float %a to double + %d = fpext float %b to double + %e = call arcp double @fmax(double %c, double %d) + %f = fptrunc double %e to float + ret float %f + +; CHECK-LABEL: max1( +; CHECK-NEXT: call arcp float @fmaxf(float %a, float %b) +; CHECK-NEXT: ret +} + +declare double @fmax(double, double) + declare double @tanh(double) #1 declare double @tan(double) #1 |
