• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -simplify-libcalls -S | FileCheck %s
2; rdar://7251832
3
4; SimplifyLibcalls should optimize pow(x, 0.5) to sqrt plus code to handle
5; special cases. The readonly attribute on the call should be preserved.
6
7; CHECK: define float @foo(float %x) nounwind {
8; CHECK:   %sqrtf = call float @sqrtf(float %x) nounwind readonly
9; CHECK:   %fabsf = call float @fabsf(float %sqrtf) nounwind readonly
10; CHECK:   %1 = fcmp oeq float %x, 0xFFF0000000000000
11; CHECK:   %retval = select i1 %1, float 0x7FF0000000000000, float %fabsf
12; CHECK:   ret float %retval
13
14define float @foo(float %x) nounwind {
15  %retval = call float @powf(float %x, float 0.5)
16  ret float %retval
17}
18
19; CHECK: define double @doo(double %x) nounwind {
20; CHECK:   %sqrt = call double @sqrt(double %x) nounwind readonly
21; CHECK:   %fabs = call double @fabs(double %sqrt) nounwind readonly
22; CHECK:   %1 = fcmp oeq double %x, 0xFFF0000000000000
23; CHECK:   %retval = select i1 %1, double 0x7FF0000000000000, double %fabs
24; CHECK:   ret double %retval
25; CHECK: }
26
27define double @doo(double %x) nounwind {
28  %retval = call double @pow(double %x, double 0.5)
29  ret double %retval
30}
31
32declare float @powf(float, float) nounwind readonly
33declare double @pow(double, double) nounwind readonly
34