Lines Matching refs:Check
625 GuardWideningImpl::RangeCheck Check( in parseRangeChecks() local
629 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
644 auto *BaseInst = dyn_cast<Instruction>(Check.getBase()); in parseRangeChecks()
649 if (match(Check.getBase(), m_Add(m_Value(OpLHS), m_ConstantInt(OpRHS)))) { in parseRangeChecks()
650 Check.setBase(OpLHS); in parseRangeChecks()
651 APInt NewOffset = Check.getOffsetValue() + OpRHS->getValue(); in parseRangeChecks()
652 Check.setOffset(ConstantInt::get(Ctx, NewOffset)); in parseRangeChecks()
654 } else if (match(Check.getBase(), in parseRangeChecks()
658 Check.setBase(OpLHS); in parseRangeChecks()
659 APInt NewOffset = Check.getOffsetValue() + OpRHS->getValue(); in parseRangeChecks()
660 Check.setOffset(ConstantInt::get(Ctx, NewOffset)); in parseRangeChecks()
666 Checks.push_back(Check); in parseRangeChecks()