reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/Analysis/InstructionSimplify.cpp
 1905   if (Constant *C = foldOrCommuteConstant(Instruction::And, Op0, Op1, Q))
 1910     return Constant::getNullValue(Op0->getType());
 1913   if (Op0 == Op1)
 1914     return Op0;
 1918     return Constant::getNullValue(Op0->getType());
 1922     return Op0;
 1925   if (match(Op0, m_Not(m_Specific(Op1))) ||
 1926       match(Op1, m_Not(m_Specific(Op0))))
 1927     return Constant::getNullValue(Op0->getType());
 1930   if (match(Op0, m_c_Or(m_Specific(Op1), m_Value())))
 1934   if (match(Op1, m_c_Or(m_Specific(Op0), m_Value())))
 1935     return Op0;
 1944     if (match(Op0, m_Shl(m_Value(X), m_APInt(ShAmt))) &&
 1946       return Op0;
 1950     if (match(Op0, m_LShr(m_Value(X), m_APInt(ShAmt))) &&
 1952       return Op0;
 1958   if (Value *V = omitCheckForZeroBeforeMulWithOverflow(Op0, Op1))
 1960   if (Value *V = omitCheckForZeroBeforeMulWithOverflow(Op1, Op0))
 1964   if (match(Op0, m_Neg(m_Specific(Op1))) ||
 1965       match(Op1, m_Neg(m_Specific(Op0)))) {
 1966     if (isKnownToBeAPowerOfTwo(Op0, Q.DL, /*OrZero*/ true, 0, Q.AC, Q.CxtI,
 1968       return Op0;
 1977   if (match(Op0, m_Add(m_Specific(Op1), m_AllOnes())) &&
 1980   if (match(Op1, m_Add(m_Specific(Op0), m_AllOnes())) &&
 1981       isKnownToBeAPowerOfTwo(Op0, Q.DL, /*OrZero*/ true, 0, Q.AC, Q.CxtI, Q.DT))
 1982     return Constant::getNullValue(Op0->getType());
 1984   if (Value *V = simplifyAndOrOfCmps(Q, Op0, Op1, true))
 1988   if (Value *V = SimplifyAssociativeBinOp(Instruction::And, Op0, Op1, Q,
 1993   if (Value *V = ExpandBinOp(Instruction::And, Op0, Op1, Instruction::Or,
 1998   if (Value *V = ExpandBinOp(Instruction::And, Op0, Op1, Instruction::Xor,
 2004   if (isa<SelectInst>(Op0) || isa<SelectInst>(Op1))
 2005     if (Value *V = ThreadBinOpOverSelect(Instruction::And, Op0, Op1, Q,
 2011   if (isa<PHINode>(Op0) || isa<PHINode>(Op1))
 2012     if (Value *V = ThreadBinOpOverPHI(Instruction::And, Op0, Op1, Q,
 2028       match(Op0, m_c_Or(m_CombineAnd(m_NUWShl(m_Value(X), m_APInt(ShAmt)),
 2031     const unsigned Width = Op0->getType()->getScalarSizeInBits();