diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/double-float-shrink-1.ll | 16 |
1 files changed, 16 insertions, 0 deletions
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 |
