Lines Matching defs:CI2
1038 ConstantInt *CI2) {
1054 APInt AP2 = CI2->getValue();
1098 ConstantInt *CI2) {
1114 APInt AP2 = CI2->getValue();
2025 /// I = icmp ugt (add (add A, B), CI2), CI1
2032 ConstantInt *CI2, ConstantInt *CI1,
2044 // If CI2 is 2^7, 2^15, 2^31, then it might be an sadd.with.overflow.
2045 if (!CI2->getValue().isPowerOf2()) return nullptr;
2046 unsigned NewWidth = CI2->getValue().countTrailingZeros();
2058 // sign-extended; check for that condition. For example, if CI2 is 2^31 and
2755 ConstantInt *CI2; // I = icmp ugt (add (add A, B), CI2), CI
2757 match(Op0, m_Add(m_Add(m_Value(A), m_Value(B)), m_ConstantInt(CI2))))
2758 if (Instruction *Res = ProcessUGT_ADDCST_ADD(I, A, B, CI2, CI, *this))
2816 ConstantInt *CI2;
2817 if (match(Op0, m_AShr(m_ConstantInt(CI2), m_Value(A))) ||
2818 match(Op0, m_LShr(m_ConstantInt(CI2), m_Value(A)))) {
2820 if (Instruction *Inst = FoldICmpCstShrCst(I, Op0, A, CI, CI2))
2823 if (match(Op0, m_Shl(m_ConstantInt(CI2), m_Value(A)))) {
2825 if (Instruction *Inst = FoldICmpCstShlCst(I, Op0, A, CI, CI2))
3208 if (BitCastInst *CI2 = dyn_cast<BitCastInst>(Op1))
3209 Op1 = CI2->getOperand(0);
