| ; RUN: opt < %s -instcombine -S | FileCheck %s |
| |
| define double @pow_half(double %x) { |
| %pow = call fast double @llvm.pow.f64(double %x, double 5.000000e-01) |
| ret double %pow |
| } |
| |
| ; CHECK-LABEL: define double @pow_half( |
| ; CHECK-NEXT: %sqrt = call fast double @sqrt(double %x) #1 |
| ; CHECK-NEXT: ret double %sqrt |
| |
| define double @pow_neghalf(double %x) { |
| %pow = call fast double @llvm.pow.f64(double %x, double -5.000000e-01) |
| ret double %pow |
| } |
| |
| ; CHECK-LABEL: define double @pow_neghalf( |
| ; CHECK-NEXT: %sqrt = call fast double @sqrt(double %x) #1 |
| ; CHECK-NEXT: %sqrtrecip = fdiv fast double 1.000000e+00, %sqrt |
| ; CHECK-NEXT: ret double %sqrtrecip |
| |
| declare double @llvm.pow.f64(double, double) #0 |
| |
| attributes #0 = { nounwind readnone speculatable } |
| attributes #1 = { nounwind readnone } |