This is an archive of the discontinued LLVM Phabricator instance.

Differential D49846

PatternMatch: Add wrappers for fabs and canonicalize
ClosedPublic

Authored by arsenm on Jul 26 2018, 5:06 AM.

Details

Reviewers
spatel
craig.topper

Diff Detail

Event Timeline

arsenm created this revision.Jul 26 2018, 5:06 AM
Herald added a subscriber: wdng. · View Herald TranscriptJul 26 2018, 5:06 AM
spatel accepted this revision.Jul 26 2018, 6:27 AM

LGTM.

This revision is now accepted and ready to land.Jul 26 2018, 6:27 AM
arsenm closed this revision.Jul 27 2018, 2:05 AM

r338111

Revision Contents

PathSize
include/
llvm/
IR/
10 lines
lib/
Transforms/
InstCombine/
6 lines

Diff 157464

include/llvm/IR/PatternMatch.h

Show First 20 Lines • Show All 1,596 Lines • ▼ Show 20 Linesinline typename m_Intrinsic_Ty<Opnd0>::Ty m_BitReverse(const Opnd0 &Op0) {
return m_Intrinsic<Intrinsic::bitreverse>(Op0); return m_Intrinsic<Intrinsic::bitreverse>(Op0);
} }
template <typename Opnd0> template <typename Opnd0>
inline typename m_Intrinsic_Ty<Opnd0>::Ty m_BSwap(const Opnd0 &Op0) { inline typename m_Intrinsic_Ty<Opnd0>::Ty m_BSwap(const Opnd0 &Op0) {
return m_Intrinsic<Intrinsic::bswap>(Op0); return m_Intrinsic<Intrinsic::bswap>(Op0);
} }
template <typename Opnd0>
inline typename m_Intrinsic_Ty<Opnd0>::Ty m_FAbs(const Opnd0 &Op0) {
return m_Intrinsic<Intrinsic::fabs>(Op0);
}
template <typename Opnd0>
inline typename m_Intrinsic_Ty<Opnd0>::Ty m_FCanonicalize(const Opnd0 &Op0) {
return m_Intrinsic<Intrinsic::canonicalize>(Op0);
}
template <typename Opnd0, typename Opnd1> template <typename Opnd0, typename Opnd1>
inline typename m_Intrinsic_Ty<Opnd0, Opnd1>::Ty m_FMin(const Opnd0 &Op0, inline typename m_Intrinsic_Ty<Opnd0, Opnd1>::Ty m_FMin(const Opnd0 &Op0,
const Opnd1 &Op1) { const Opnd1 &Op1) {
return m_Intrinsic<Intrinsic::minnum>(Op0, Op1); return m_Intrinsic<Intrinsic::minnum>(Op0, Op1);
} }
template <typename Opnd0, typename Opnd1> template <typename Opnd0, typename Opnd1>
inline typename m_Intrinsic_Ty<Opnd0, Opnd1>::Ty m_FMax(const Opnd0 &Op0, inline typename m_Intrinsic_Ty<Opnd0, Opnd1>::Ty m_FMax(const Opnd0 &Op0,
▲ Show 20 Lines • Show All 155 Lines • Show Last 20 Lines

lib/Transforms/InstCombine/InstCombineCalls.cpp

Show First 20 Lines • Show All 2,092 Lines • ▼ Show 20 Lines case Intrinsic::fma: {
Value *X, *Y; Value *X, *Y;
if (match(Src0, m_FNeg(m_Value(X))) && match(Src1, m_FNeg(m_Value(Y)))) { if (match(Src0, m_FNeg(m_Value(X))) && match(Src1, m_FNeg(m_Value(Y)))) {
II->setArgOperand(0, X); II->setArgOperand(0, X);
II->setArgOperand(1, Y); II->setArgOperand(1, Y);
return II; return II;
} }
// fma fabs(x), fabs(x), z -> fma x, x, z // fma fabs(x), fabs(x), z -> fma x, x, z
if (match(Src0, m_Intrinsic<Intrinsic::fabs>(m_Value(X))) && if (match(Src0, m_FAbs(m_Value(X))) &&
match(Src1, m_Intrinsic<Intrinsic::fabs>(m_Specific(X)))) { match(Src1, m_FAbs(m_Specific(X)))) {
II->setArgOperand(0, X); II->setArgOperand(0, X);
II->setArgOperand(1, X); II->setArgOperand(1, X);
return II; return II;
} }
// fma x, 1, z -> fadd x, z // fma x, 1, z -> fadd x, z
if (match(Src1, m_FPOne())) { if (match(Src1, m_FPOne())) {
auto *FAdd = BinaryOperator::CreateFAdd(Src0, II->getArgOperand(2)); auto *FAdd = BinaryOperator::CreateFAdd(Src0, II->getArgOperand(2));
Show All 30 Lines case Intrinsic::trunc: {
} }
break; break;
} }
case Intrinsic::cos: case Intrinsic::cos:
case Intrinsic::amdgcn_cos: { case Intrinsic::amdgcn_cos: {
Value *SrcSrc; Value *SrcSrc;
Value *Src = II->getArgOperand(0); Value *Src = II->getArgOperand(0);
if (match(Src, m_FNeg(m_Value(SrcSrc))) || if (match(Src, m_FNeg(m_Value(SrcSrc))) ||
match(Src, m_Intrinsic<Intrinsic::fabs>(m_Value(SrcSrc)))) { match(Src, m_FAbs(m_Value(SrcSrc)))) {
// cos(-x) -> cos(x) // cos(-x) -> cos(x)
// cos(fabs(x)) -> cos(x) // cos(fabs(x)) -> cos(x)
II->setArgOperand(0, SrcSrc); II->setArgOperand(0, SrcSrc);
return II; return II;
} }
break; break;
} }
▲ Show 20 Lines • Show All 2,374 Lines • Show Last 20 Lines