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

References

lib/Analysis/InstructionSimplify.cpp
 2671   if (MaxRecurse && (LBO || RBO)) {
 2676     if (LBO && LBO->getOpcode() == Instruction::Add) {
 2676     if (LBO && LBO->getOpcode() == Instruction::Add) {
 2677       A = LBO->getOperand(0);
 2678       B = LBO->getOperand(1);
 2682            Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO))) ||
 2684            Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO)));
 2742     if (LBO && match(LBO, m_c_Or(m_Value(Y), m_Specific(RHS)))) {
 2742     if (LBO && match(LBO, m_c_Or(m_Value(Y), m_Specific(RHS)))) {
 2776   if (LBO && match(LBO, m_c_And(m_Value(), m_Specific(RHS)))) {
 2776   if (LBO && match(LBO, m_c_And(m_Value(), m_Specific(RHS)))) {
 2813   if (LBO && match(LBO, m_URem(m_Value(), m_Specific(RHS)))) {
 2813   if (LBO && match(LBO, m_URem(m_Value(), m_Specific(RHS)))) {
 2874   if (LBO && (match(LBO, m_LShr(m_Specific(RHS), m_Value())) ||
 2874   if (LBO && (match(LBO, m_LShr(m_Specific(RHS), m_Value())) ||
 2875               match(LBO, m_UDiv(m_Specific(RHS), m_Value())))) {
 2901     if (LBO && match(LBO, m_Shl(m_APInt(CI2Val), m_Value())) &&
 2901     if (LBO && match(LBO, m_Shl(m_APInt(CI2Val), m_Value())) &&
 2912         if (Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO)) ||
 2913             Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO)) ||
 2930   if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() &&
 2930   if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() &&
 2931       LBO->getOperand(1) == RBO->getOperand(1)) {
 2932     switch (LBO->getOpcode()) {
 2937       if (ICmpInst::isSigned(Pred) || !Q.IIQ.isExact(LBO) ||
 2940       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),
 2945       if (!ICmpInst::isEquality(Pred) || !Q.IIQ.isExact(LBO) ||
 2948       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),
 2953       if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO))
 2955       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),
 2960       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);
 2961       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);
 2966       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),