Lines Matching defs:Check

689     // Check all operands. If for any of them we cannot insert Freeze,
822   GuardWideningImpl::RangeCheck Check(
826   if (!isKnownNonNegative(Check.getLength(), DL))
829   // What we have in \c Check now is a correct interpretation of \p CheckCond.
841     auto *BaseInst = dyn_cast<Instruction>(Check.getBase());
846     if (match(Check.getBase(), m_Add(m_Value(OpLHS), m_ConstantInt(OpRHS)))) {
847       Check.setBase(OpLHS);
848       APInt NewOffset = Check.getOffsetValue() + OpRHS->getValue();
849       Check.setOffset(ConstantInt::get(Ctx, NewOffset));
851     } else if (match(Check.getBase(),
855         Check.setBase(OpLHS);
856         APInt NewOffset = Check.getOffsetValue() + OpRHS->getValue();
857         Check.setOffset(ConstantInt::get(Ctx, NewOffset));
863   Checks.push_back(Check);