reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
729 } else if (match(Cmp, m_c_ICmp(Pred, m_Shl(m_V, m_ConstantInt(C)), 731 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { 736 RHSKnown.Zero.lshrInPlace(C); 738 RHSKnown.One.lshrInPlace(C); 741 } else if (match(Cmp, m_c_ICmp(Pred, m_Not(m_Shl(m_V, m_ConstantInt(C))), 743 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { 748 RHSKnown.One.lshrInPlace(C); 750 RHSKnown.Zero.lshrInPlace(C); 753 } else if (match(Cmp, m_c_ICmp(Pred, m_Shr(m_V, m_ConstantInt(C)), 755 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { 760 Known.Zero |= RHSKnown.Zero << C; 761 Known.One |= RHSKnown.One << C; 763 } else if (match(Cmp, m_c_ICmp(Pred, m_Not(m_Shr(m_V, m_ConstantInt(C))), 765 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { 770 Known.Zero |= RHSKnown.One << C; 771 Known.One |= RHSKnown.Zero << C;