Lines Matching refs:SCEVWrapPredicate
5413 SCEVWrapPredicate::IncrementWrapFlags AddedFlags = in createAddRecFromPHIWithCastsImpl()
5414 Signed ? SCEVWrapPredicate::IncrementNSSW in createAddRecFromPHIWithCastsImpl()
5415 : SCEVWrapPredicate::IncrementNUSW; in createAddRecFromPHIWithCastsImpl()
14013 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in getWrapPredicate()
14023 SCEVWrapPredicate(ID.Intern(SCEVAllocator), AR, AddedFlags); in getWrapPredicate()
14073 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNUSW)) in visitZeroExtendExpr()
14089 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNSSW)) in visitSignExtendExpr()
14113 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in addOverflowAssumption()
14133 if (auto *WP = dyn_cast<const SCEVWrapPredicate>(P)) { in convertToAddRecWithPreds()
14211 SCEVWrapPredicate::SCEVWrapPredicate(const FoldingSetNodeIDRef ID, in SCEVWrapPredicate() function in SCEVWrapPredicate
14216 const SCEVAddRecExpr *SCEVWrapPredicate::getExpr() const { return AR; } in getExpr()
14218 bool SCEVWrapPredicate::implies(const SCEVPredicate *N) const { in implies()
14219 const auto *Op = dyn_cast<SCEVWrapPredicate>(N); in implies()
14224 bool SCEVWrapPredicate::isAlwaysTrue() const { in isAlwaysTrue()
14234 void SCEVWrapPredicate::print(raw_ostream &OS, unsigned Depth) const { in print()
14236 if (SCEVWrapPredicate::IncrementNUSW & getFlags()) in print()
14238 if (SCEVWrapPredicate::IncrementNSSW & getFlags()) in print()
14243 SCEVWrapPredicate::IncrementWrapFlags
14244 SCEVWrapPredicate::getImpliedFlags(const SCEVAddRecExpr *AR, in getImpliedFlags()
14372 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in setNoOverflow()
14376 auto ImpliedFlags = SCEVWrapPredicate::getImpliedFlags(AR, SE); in setNoOverflow()
14379 Flags = SCEVWrapPredicate::clearFlags(Flags, ImpliedFlags); in setNoOverflow()
14384 II.first->second = SCEVWrapPredicate::setFlags(Flags, II.first->second); in setNoOverflow()
14388 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in hasNoOverflow()
14392 Flags = SCEVWrapPredicate::clearFlags( in hasNoOverflow()
14393 Flags, SCEVWrapPredicate::getImpliedFlags(AR, SE)); in hasNoOverflow()
14398 Flags = SCEVWrapPredicate::clearFlags(Flags, II->second); in hasNoOverflow()
14400 return Flags == SCEVWrapPredicate::IncrementAnyWrap; in hasNoOverflow()