Lines Matching refs:Check
822 GuardWideningImpl::RangeCheck Check( in parseRangeChecks() local
826 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
841 auto *BaseInst = dyn_cast<Instruction>(Check.getBase()); in parseRangeChecks()
846 if (match(Check.getBase(), m_Add(m_Value(OpLHS), m_ConstantInt(OpRHS)))) { in parseRangeChecks()
847 Check.setBase(OpLHS); in parseRangeChecks()
848 APInt NewOffset = Check.getOffsetValue() + OpRHS->getValue(); in parseRangeChecks()
849 Check.setOffset(ConstantInt::get(Ctx, NewOffset)); in parseRangeChecks()
851 } else if (match(Check.getBase(), in parseRangeChecks()
855 Check.setBase(OpLHS); in parseRangeChecks()
856 APInt NewOffset = Check.getOffsetValue() + OpRHS->getValue(); in parseRangeChecks()
857 Check.setOffset(ConstantInt::get(Ctx, NewOffset)); in parseRangeChecks()
863 Checks.push_back(Check); in parseRangeChecks()