return B.CreateFMul(OpC->getArgOperand(1),
EmitUnaryFloatFnCall(OpC->getOperand(0), Callee->getName(), B,
Callee->getAttributes()), "mul");
+
+ // log(exp2(y)) -> y*log(2)
+ if (F && Name == "log" && TLI->getLibFunc(F->getName(), Func) &&
+ TLI->has(Func) && Func == LibFunc::exp2)
+ return B.CreateFMul(
+ OpC->getArgOperand(0),
+ EmitUnaryFloatFnCall(ConstantFP::get(CI->getType(), 2.0),
+ Callee->getName(), B, Callee->getAttributes()),
+ "logmul");
return Ret;
}
// log, logf, logl:
// * log(exp(x)) -> x
// * log(exp(y)) -> y*log(e)
-// * log(exp2(y)) -> y*log(2)
// * log(exp10(y)) -> y*log(10)
// * log(sqrt(x)) -> 0.5*log(x)
//
; CHECK: ret double %call
; CHECK: }
+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)
+; CHECK: %call3 = call double @log(double %call2)
+; CHECK: ret double %call3
+; CHECK: }
+
declare double @log(double) #0
+declare double @exp2(double)
declare double @llvm.pow.f64(double, double)
; 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" }