Lines Matching refs:CI2
1503 ConstantInt *CI1, *CI2; in SimplifyAndOfICmps() local
1522 m_ConstantInt(CI2)))) in SimplifyAndOfICmps()
1533 const APInt &CI2V = CI2->getValue(); in SimplifyAndOfICmps()
1687 ConstantInt *CI1, *CI2; in SimplifyOrOfICmps() local
1694 m_ConstantInt(CI2)))) in SimplifyOrOfICmps()
1707 const APInt &CI2V = CI2->getValue(); in SimplifyOrOfICmps()
2305 ConstantInt *CI2; in SimplifyICmpInst() local
2306 if (match(LHS, m_URem(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2308 Upper = CI2->getValue(); in SimplifyICmpInst()
2309 } else if (match(LHS, m_SRem(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2311 Upper = CI2->getValue().abs(); in SimplifyICmpInst()
2313 } else if (match(LHS, m_UDiv(m_ConstantInt(CI2), m_Value()))) { in SimplifyICmpInst()
2315 Upper = CI2->getValue() + 1; in SimplifyICmpInst()
2316 } else if (match(LHS, m_UDiv(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2319 if (!CI2->isZero()) in SimplifyICmpInst()
2320 Upper = NegOne.udiv(CI2->getValue()) + 1; in SimplifyICmpInst()
2321 } else if (match(LHS, m_SDiv(m_ConstantInt(CI2), m_Value()))) { in SimplifyICmpInst()
2322 if (CI2->isMinSignedValue()) { in SimplifyICmpInst()
2324 Lower = CI2->getValue(); in SimplifyICmpInst()
2328 Upper = CI2->getValue().abs() + 1; in SimplifyICmpInst()
2331 } else if (match(LHS, m_SDiv(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2334 const APInt &Val = CI2->getValue(); in SimplifyICmpInst()
2350 } else if (match(LHS, m_NUWShl(m_ConstantInt(CI2), m_Value()))) { in SimplifyICmpInst()
2352 Lower = CI2->getValue(); in SimplifyICmpInst()
2354 } else if (match(LHS, m_NSWShl(m_ConstantInt(CI2), m_Value()))) { in SimplifyICmpInst()
2355 if (CI2->isNegative()) { in SimplifyICmpInst()
2357 unsigned ShiftAmount = CI2->getValue().countLeadingOnes() - 1; in SimplifyICmpInst()
2358 Lower = CI2->getValue().shl(ShiftAmount); in SimplifyICmpInst()
2359 Upper = CI2->getValue() + 1; in SimplifyICmpInst()
2362 unsigned ShiftAmount = CI2->getValue().countLeadingZeros() - 1; in SimplifyICmpInst()
2363 Lower = CI2->getValue(); in SimplifyICmpInst()
2364 Upper = CI2->getValue().shl(ShiftAmount) + 1; in SimplifyICmpInst()
2366 } else if (match(LHS, m_LShr(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2369 if (CI2->getValue().ult(Width)) in SimplifyICmpInst()
2370 Upper = NegOne.lshr(CI2->getValue()) + 1; in SimplifyICmpInst()
2371 } else if (match(LHS, m_LShr(m_ConstantInt(CI2), m_Value()))) { in SimplifyICmpInst()
2374 if (!CI2->isZero() && cast<BinaryOperator>(LHS)->isExact()) in SimplifyICmpInst()
2375 ShiftAmount = CI2->getValue().countTrailingZeros(); in SimplifyICmpInst()
2376 Lower = CI2->getValue().lshr(ShiftAmount); in SimplifyICmpInst()
2377 Upper = CI2->getValue() + 1; in SimplifyICmpInst()
2378 } else if (match(LHS, m_AShr(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2382 if (CI2->getValue().ult(Width)) { in SimplifyICmpInst()
2383 Lower = IntMin.ashr(CI2->getValue()); in SimplifyICmpInst()
2384 Upper = IntMax.ashr(CI2->getValue()) + 1; in SimplifyICmpInst()
2386 } else if (match(LHS, m_AShr(m_ConstantInt(CI2), m_Value()))) { in SimplifyICmpInst()
2388 if (!CI2->isZero() && cast<BinaryOperator>(LHS)->isExact()) in SimplifyICmpInst()
2389 ShiftAmount = CI2->getValue().countTrailingZeros(); in SimplifyICmpInst()
2390 if (CI2->isNegative()) { in SimplifyICmpInst()
2392 Lower = CI2->getValue(); in SimplifyICmpInst()
2393 Upper = CI2->getValue().ashr(ShiftAmount) + 1; in SimplifyICmpInst()
2396 Lower = CI2->getValue().ashr(ShiftAmount); in SimplifyICmpInst()
2397 Upper = CI2->getValue() + 1; in SimplifyICmpInst()
2399 } else if (match(LHS, m_Or(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2401 Lower = CI2->getValue(); in SimplifyICmpInst()
2402 } else if (match(LHS, m_And(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2404 Upper = CI2->getValue() + 1; in SimplifyICmpInst()
2405 } else if (match(LHS, m_NUWAdd(m_Value(), m_ConstantInt(CI2)))) { in SimplifyICmpInst()
2407 Lower = CI2->getValue(); in SimplifyICmpInst()