aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
diff options
context:
space:
mode:
authorAtariDreams <gfunni234@gmail.com>2024-07-22 03:47:37 -0400
committerGitHub <noreply@github.com>2024-07-22 09:47:37 +0200
commit56ad7cc0126f9899fd884391cfa10b6359206c01 (patch)
treea2d62f740c94cc581bdd17f19f2c045909266f49 /llvm/lib/Analysis/ValueTracking.cpp
parent12762b8648d88e6823aedc82f663a596fa2eef76 (diff)
downloadllvm-56ad7cc0126f9899fd884391cfa10b6359206c01.zip
llvm-56ad7cc0126f9899fd884391cfa10b6359206c01.tar.gz
llvm-56ad7cc0126f9899fd884391cfa10b6359206c01.tar.bz2
[IR] Remove non-canonical matchings (#96763)
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r--llvm/lib/Analysis/ValueTracking.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 5c56654..8f1c42b 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -934,7 +934,7 @@ getKnownBitsFromAndXorOr(const Operator *I, const APInt &DemandedElts,
// Demanded) == (xor(x, x-1) & Demanded). Extend the xor pattern
// to use arbitrary C if xor(x, x-C) as the same as xor(x, x-1).
if (HasKnownOne &&
- match(I, m_c_Xor(m_Value(X), m_c_Add(m_Deferred(X), m_AllOnes())))) {
+ match(I, m_c_Xor(m_Value(X), m_Add(m_Deferred(X), m_AllOnes())))) {
const KnownBits &XBits = I->getOperand(0) == X ? KnownLHS : KnownRHS;
KnownOut = XBits.blsmsk();
}