test/Transforms/InstCombine/pow-exp.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 define double @pow_exp(double %x, double %y) #0 {
   4   %call = call fast double @exp(double %x) #0
   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) #0 {
  15   %call = call fast double @exp2(double %x) #0
  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 ; FIXME: This should not be transformed because the 'exp' call is not fast.
  26 define double @pow_exp_not_fast(double %x, double %y) #0 {
  27   %call = call double @exp(double %x)
  28   %pow = call fast double @llvm.pow.f64(double %call, double %y)
  29   ret double %pow
  30 }
  31
  32 ; CHECK-LABEL: define double @pow_exp_not_fast(
  33 ; CHECK-NEXT:  %call = call double @exp(double %x)
  34 ; CHECK-NEXT:  %mul = fmul fast double %x, %y
  35 ; CHECK-NEXT:  %exp = call fast double @exp(double %mul)
  36 ; CHECK-NEXT:  ret double %exp
  37
  38 define double @function_pointer(double ()* %fptr, double %p1) #0 {
  39   %call1 = call fast double %fptr()
  40   %pow = call fast double @llvm.pow.f64(double %call1, double %p1)
  41   ret double %pow
  42 }
  43
  44 ; CHECK-LABEL: @function_pointer
  45 ; CHECK-NEXT:  %call1 = call fast double %fptr()
  46 ; CHECK-NEXT:  %pow = call fast double @llvm.pow.f64(double %call1, double %p1)
  47
  48 declare double @exp(double)
  49 declare double @exp2(double)
  50 declare double @llvm.pow.f64(double, double)
  51 attributes #0 = { "unsafe-fp-math"="true" nounwind readnone }
  52