[SimplifyLibCalls] Transform log(exp2(y)) to y*log(2) under fast-math.

[oota-llvm.git] / test / Transforms / InstCombine / log-pow.ll

diff --git a/test/Transforms/InstCombine/log-pow.ll b/test/Transforms/InstCombine/log-pow.ll
index 2cafccabf0a845e509bd13289380a72a83873576..1acd0354431e41b3391ce1c243fcf428d68b1e2f 100644 (file)
--- a/test/Transforms/InstCombine/log-pow.ll
+++ b/test/Transforms/InstCombine/log-pow.ll
@@ -13,7 +13,29 @@ entry:
 ; CHECK:   ret double %mul
 ; CHECK: }
 
+define double @test2(double ()* %fptr, double %p1) #0 {
+  %call1 = call double %fptr()
+  %pow = call double @log(double %call1)
+  ret double %pow
+}
+
+; CHECK-LABEL: @test2
+; CHECK: log
+
+define double @test3(double %x) #0 {
+  %call2 = call double @exp2(double %x) #0
+  %call3 = call double @log(double %call2) #0
+  ret double %call3
+}
+
+; CHECK-LABEL: @test3
+; CHECK:  %call2 = call double @exp2(double %x) #0
+; CHECK:  %logmul = fmul fast double %x, 0x3FE62E42FEFA39EF
+; CHECK:  ret double %logmul
+; CHECK: }
+
 declare double @log(double) #0
+declare double @exp2(double) #0
 declare double @llvm.pow.f64(double, double)
 
 attributes #0 = { "unsafe-fp-math"="true" }