test/Transforms/InstCombine/pow-exp.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 define double @pow_exp(double %x, double %y) {
   4   %call = call fast double @exp(double %x) nounwind readnone
   5   %pow = call fast double @llvm.pow.f64(double %call, double %y)
   6   ret double %pow
   7 }
   8
   9 ; CHECK-LABEL: define double @pow_exp(
  10 ; CHECK-NEXT:  %mul = fmul fast double %x, %y
  11 ; CHECK-NEXT:  %exp = call fast double @exp(double %mul)
  12 ; CHECK-NEXT:  ret double %exp
  13
  14 define double @pow_exp2(double %x, double %y) {
  15   %call = call fast double @exp2(double %x) nounwind readnone
  16   %pow = call fast double @llvm.pow.f64(double %call, double %y)
  17   ret double %pow
  18 }
  19
  20 ; CHECK-LABEL: define double @pow_exp2(
  21 ; CHECK-NEXT:  %mul = fmul fast double %x, %y
  22 ; CHECK-NEXT:  %exp2 = call fast double @exp2(double %mul)
  23 ; CHECK-NEXT:  ret double %exp2
  24
  25 define double @pow_exp_not_fast(double %x, double %y) {
  26   %call = call double @exp(double %x)
  27   %pow = call fast double @llvm.pow.f64(double %call, double %y)
  28   ret double %pow
  29 }
  30
  31 ; CHECK-LABEL: define double @pow_exp_not_fast(
  32 ; CHECK-NEXT:  %call = call double @exp(double %x)
  33 ; CHECK-NEXT:  %pow = call fast double @llvm.pow.f64(double %call, double %y)
  34 ; CHECK-NEXT:  ret double %pow
  35
  36 define double @function_pointer(double ()* %fptr, double %p1) {
  37   %call1 = call fast double %fptr()
  38   %pow = call fast double @llvm.pow.f64(double %call1, double %p1)
  39   ret double %pow
  40 }
  41
  42 ; CHECK-LABEL: @function_pointer
  43 ; CHECK-NEXT:  %call1 = call fast double %fptr()
  44 ; CHECK-NEXT:  %pow = call fast double @llvm.pow.f64(double %call1, double %p1)
  45
  46 declare double @exp(double)
  47 declare double @exp2(double)
  48 declare double @llvm.pow.f64(double, double)
  49