Lines Matching refs:SCEVWrapPredicate
5607 SCEVWrapPredicate::IncrementWrapFlags AddedFlags = in createAddRecFromPHIWithCastsImpl()
5608 Signed ? SCEVWrapPredicate::IncrementNSSW in createAddRecFromPHIWithCastsImpl()
5609 : SCEVWrapPredicate::IncrementNUSW; in createAddRecFromPHIWithCastsImpl()
14579 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in getWrapPredicate()
14589 SCEVWrapPredicate(ID.Intern(SCEVAllocator), AR, AddedFlags); in getWrapPredicate()
14639 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNUSW)) in visitZeroExtendExpr()
14655 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNSSW)) in visitSignExtendExpr()
14679 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in addOverflowAssumption()
14700 if (auto *WP = dyn_cast<const SCEVWrapPredicate>(P)) { in convertToAddRecWithPreds()
14777 SCEVWrapPredicate::SCEVWrapPredicate(const FoldingSetNodeIDRef ID, in SCEVWrapPredicate() function in SCEVWrapPredicate
14782 const SCEVAddRecExpr *SCEVWrapPredicate::getExpr() const { return AR; } in getExpr()
14784 bool SCEVWrapPredicate::implies(const SCEVPredicate *N) const { in implies()
14785 const auto *Op = dyn_cast<SCEVWrapPredicate>(N); in implies()
14790 bool SCEVWrapPredicate::isAlwaysTrue() const { in isAlwaysTrue()
14800 void SCEVWrapPredicate::print(raw_ostream &OS, unsigned Depth) const { in print()
14802 if (SCEVWrapPredicate::IncrementNUSW & getFlags()) in print()
14804 if (SCEVWrapPredicate::IncrementNSSW & getFlags()) in print()
14809 SCEVWrapPredicate::IncrementWrapFlags
14810 SCEVWrapPredicate::getImpliedFlags(const SCEVAddRecExpr *AR, in getImpliedFlags()
14951 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in setNoOverflow()
14955 auto ImpliedFlags = SCEVWrapPredicate::getImpliedFlags(AR, SE); in setNoOverflow()
14958 Flags = SCEVWrapPredicate::clearFlags(Flags, ImpliedFlags); in setNoOverflow()
14963 II.first->second = SCEVWrapPredicate::setFlags(Flags, II.first->second); in setNoOverflow()
14967 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in hasNoOverflow()
14971 Flags = SCEVWrapPredicate::clearFlags( in hasNoOverflow()
14972 Flags, SCEVWrapPredicate::getImpliedFlags(AR, SE)); in hasNoOverflow()
14977 Flags = SCEVWrapPredicate::clearFlags(Flags, II->second); in hasNoOverflow()
14979 return Flags == SCEVWrapPredicate::IncrementAnyWrap; in hasNoOverflow()