diff options
Diffstat (limited to 'test/Transforms/InstSimplify/floating-point-arithmetic.ll')
| -rw-r--r-- | test/Transforms/InstSimplify/floating-point-arithmetic.ll | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/test/Transforms/InstSimplify/floating-point-arithmetic.ll b/test/Transforms/InstSimplify/floating-point-arithmetic.ll index 8177440..b0957a8 100644 --- a/test/Transforms/InstSimplify/floating-point-arithmetic.ll +++ b/test/Transforms/InstSimplify/floating-point-arithmetic.ll @@ -33,3 +33,29 @@ define double @fmul_X_1(double %a) { ; CHECK: ret double %a ret double %b } + +; 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 +; rather than the first parameter of the fadd. + +; Fragile test warning: We need 6 sqrt calls to trigger the bug +; because the internal logic has a magic recursion limit of 6. +; This is presented without any explanation or ability to customize. + +declare float @sqrtf(float) + +define float @PR22688(float %x) { + %1 = call float @sqrtf(float %x) + %2 = call float @sqrtf(float %1) + %3 = call float @sqrtf(float %2) + %4 = call float @sqrtf(float %3) + %5 = call float @sqrtf(float %4) + %6 = call float @sqrtf(float %5) + %7 = fadd float %6, 0.0 + ret float %7 + +; CHECK-LABEL: @PR22688( +; CHECK: fadd float %6, 0.0 +} + |