This is an archive of the discontinued LLVM Phabricator instance.

Differential D14882

[SimplifyLibCalls] Removed some TODOs which are already implemented. NFC.
ClosedPublic

Authored by mgrang on Nov 20 2015, 12:32 PM.

Details

Reviewers
majnemer
davide
Commits
rG8d5c08f59155: [SimplifyLibCalls] Removed some TODOs which are already implemented. NFC.
rL253768: [SimplifyLibCalls] Removed some TODOs which are already implemented. NFC.
Summary

D14302 implements tan(atan(x)) -> x
D14045 implements pow(exp(x), y) -> exp(x*y)

Patch by Mandeep Singh Grang <mgrang@codeaurora.org>

Diff Detail

Repository
rL LLVM

Event Timeline

mgrang updated this revision to Diff 40814.Nov 20 2015, 12:32 PM
mgrang retitled this revision from to [SimplifyLibCalls] Removed some TODOs which are already implemented. NFC..
mgrang updated this object.
mgrang added reviewers: davide, majnemer.
mgrang set the repository for this revision to rL LLVM.
davide accepted this revision.Nov 20 2015, 12:38 PM
davide edited edge metadata.

LGTM.

This revision is now accepted and ready to land.Nov 20 2015, 12:38 PM
mgrang updated this object.Nov 20 2015, 4:53 PM
mgrang edited edge metadata.
weimingz closed this revision.Nov 20 2015, 10:12 PM

Revision Contents

PathSize
lib/
Transforms/
Utils/
4 lines

Diff 40814

lib/Transforms/Utils/SimplifyLibCalls.cpp

Show First 20 Lines • Show All 2,267 Lines • ▼ Show 20 Lines
// * log(exp10(y)) -> y*log(10) // * log(exp10(y)) -> y*log(10)
// * log(sqrt(x)) -> 0.5*log(x) // * log(sqrt(x)) -> 0.5*log(x)
// * log(pow(x,y)) -> y*log(x) // * log(pow(x,y)) -> y*log(x)
// //
// lround, lroundf, lroundl: // lround, lroundf, lroundl:
// * lround(cnst) -> cnst' // * lround(cnst) -> cnst'
// //
// pow, powf, powl: // pow, powf, powl:
// * pow(exp(x),y) -> exp(x*y)
// * pow(sqrt(x),y) -> pow(x,y*0.5) // * pow(sqrt(x),y) -> pow(x,y*0.5)
// * pow(pow(x,y),z)-> pow(x,y*z) // * pow(pow(x,y),z)-> pow(x,y*z)
// //
// round, roundf, roundl: // round, roundf, roundl:
// * round(cnst) -> cnst' // * round(cnst) -> cnst'
// //
// signbit: // signbit:
// * signbit(cnst) -> cnst' // * signbit(cnst) -> cnst'
// * signbit(nncst) -> 0 (if pstv is a non-negative constant) // * signbit(nncst) -> 0 (if pstv is a non-negative constant)
// //
// sqrt, sqrtf, sqrtl: // sqrt, sqrtf, sqrtl:
// * sqrt(expN(x)) -> expN(x*0.5) // * sqrt(expN(x)) -> expN(x*0.5)
// * sqrt(Nroot(x)) -> pow(x,1/(2*N)) // * sqrt(Nroot(x)) -> pow(x,1/(2*N))
// * sqrt(pow(x,y)) -> pow(|x|,y*0.5) // * sqrt(pow(x,y)) -> pow(|x|,y*0.5)
// //
// tan, tanf, tanl:
// * tan(atan(x)) -> x
//
// trunc, truncf, truncl: // trunc, truncf, truncl:
// * trunc(cnst) -> cnst' // * trunc(cnst) -> cnst'
// //
// //
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// Fortified Library Call Optimizations // Fortified Library Call Optimizations
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
▲ Show 20 Lines • Show All 181 Lines • Show Last 20 Lines