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: %tmp = fcmp oeq float %x, 0xFFF0000000000000 11 ; CHECK: %tmp1 = select i1 %tmp, float 0x7FF0000000000000, float %fabsf 12 ; CHECK: ret float %tmp1 13 14 define 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: %tmp = fcmp oeq double %x, 0xFFF0000000000000 23 ; CHECK: %tmp1 = select i1 %tmp, double 0x7FF0000000000000, double %fabs 24 ; CHECK: ret double %tmp1 25 ; CHECK: } 26 27 define double @doo(double %x) nounwind { 28 %retval = call double @pow(double %x, double 0.5) 29 ret double %retval 30 } 31 32 declare float @powf(float, float) nounwind readonly 33 declare double @pow(double, double) nounwind readonly 34
