2009-09-26 01:10:17 +02:00
|
|
|
; RUN: opt < %s -simplify-libcalls -S | FileCheck %s
|
2009-09-26 03:11:57 +02:00
|
|
|
; rdar://7251832
|
2009-09-26 01:10:17 +02:00
|
|
|
|
|
|
|
|
; SimplifyLibcalls should optimize pow(x, 0.5) to sqrt plus code to handle
|
|
|
|
|
; special cases. The readonly attribute on the call should be preserved.
|
|
|
|
|
|
|
|
|
|
; CHECK: define float @foo(float %x) nounwind {
|
2009-09-26 20:10:13 +02:00
|
|
|
; CHECK: %sqrtf = call float @sqrtf(float %x) nounwind readonly
|
|
|
|
|
; CHECK: %fabsf = call float @fabsf(float %sqrtf) nounwind readonly
|
2009-09-26 01:10:17 +02:00
|
|
|
; CHECK: %tmp = fcmp oeq float %x, 0xFFF0000000000000
|
|
|
|
|
; CHECK: %tmp1 = select i1 %tmp, float 0x7FF0000000000000, float %fabsf
|
|
|
|
|
; CHECK: ret float %tmp1
|
|
|
|
|
|
|
|
|
|
define float @foo(float %x) nounwind {
|
2009-09-26 20:10:13 +02:00
|
|
|
%retval = call float @powf(float %x, float 0.5)
|
2009-09-26 01:10:17 +02:00
|
|
|
ret float %retval
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
; CHECK: define double @doo(double %x) nounwind {
|
2009-09-26 20:10:13 +02:00
|
|
|
; CHECK: %sqrt = call double @sqrt(double %x) nounwind readonly
|
|
|
|
|
; CHECK: %fabs = call double @fabs(double %sqrt) nounwind readonly
|
2009-09-26 01:10:17 +02:00
|
|
|
; CHECK: %tmp = fcmp oeq double %x, 0xFFF0000000000000
|
|
|
|
|
; CHECK: %tmp1 = select i1 %tmp, double 0x7FF0000000000000, double %fabs
|
|
|
|
|
; CHECK: ret double %tmp1
|
|
|
|
|
; CHECK: }
|
|
|
|
|
|
|
|
|
|
define double @doo(double %x) nounwind {
|
2009-09-26 20:10:13 +02:00
|
|
|
%retval = call double @pow(double %x, double 0.5)
|
2009-09-26 01:10:17 +02:00
|
|
|
ret double %retval
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @powf(float, float) nounwind readonly
|
|
|
|
|
declare double @pow(double, double) nounwind readonly
|
