diff options
| author | Michael Kuperstein <michael.m.kuperstein@intel.com> | 2013-08-19 06:55:47 +0000 |
|---|---|---|
| committer | Michael Kuperstein <michael.m.kuperstein@intel.com> | 2013-08-19 06:55:47 +0000 |
| commit | 4bb3f8f2e4cfcc578c46bdf7d670f0b784a61464 (patch) | |
| tree | d4e9cf5da9644327cc5b70a8bb31b77b73633621 /llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp | |
| parent | e4eb78188ca10aa9910ca8676148ec782191d639 (diff) | |
| download | bcm5719-llvm-4bb3f8f2e4cfcc578c46bdf7d670f0b784a61464.tar.gz bcm5719-llvm-4bb3f8f2e4cfcc578c46bdf7d670f0b784a61464.zip | |
Adds missing TLI check for library simplification of
* pow(x, 0.5) -> fabs(sqrt(x))
* pow(2.0, x) -> exp2(x)
llvm-svn: 188656
Diffstat (limited to 'llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp b/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp index 93720be683e..ff0d5d9e8dd 100644 --- a/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp @@ -1133,9 +1133,11 @@ struct PowOpt : public UnsafeFPLibCallOptimization { Value *Op1 = CI->getArgOperand(0), *Op2 = CI->getArgOperand(1); if (ConstantFP *Op1C = dyn_cast<ConstantFP>(Op1)) { - if (Op1C->isExactlyValue(1.0)) // pow(1.0, x) -> 1.0 + // pow(1.0, x) -> 1.0 + if (Op1C->isExactlyValue(1.0)) return Op1C; - if (Op1C->isExactlyValue(2.0)) // pow(2.0, x) -> exp2(x) + // pow(2.0, x) -> exp2(x) + if (Op1C->isExactlyValue(2.0) && TLI->has(LibFunc::exp2)) return EmitUnaryFloatFnCall(Op2, "exp2", B, Callee->getAttributes()); } @@ -1145,7 +1147,8 @@ struct PowOpt : public UnsafeFPLibCallOptimization { if (Op2C->getValueAPF().isZero()) // pow(x, 0.0) -> 1.0 return ConstantFP::get(CI->getType(), 1.0); - if (Op2C->isExactlyValue(0.5)) { + if (Op2C->isExactlyValue(0.5) && + TLI->has(LibFunc::sqrt) && TLI->has(LibFunc::fabs)) { // Expand pow(x, 0.5) to (x == -infinity ? +infinity : fabs(sqrt(x))). // This is faster than calling pow, and still handles negative zero // and negative infinity correctly. |
