Lines Matching refs:SCEVWrapPredicate
4831 SCEVWrapPredicate::IncrementWrapFlags AddedFlags = in createAddRecFromPHIWithCastsImpl()
4832 Signed ? SCEVWrapPredicate::IncrementNSSW in createAddRecFromPHIWithCastsImpl()
4833 : SCEVWrapPredicate::IncrementNUSW; in createAddRecFromPHIWithCastsImpl()
11990 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in getWrapPredicate()
12000 SCEVWrapPredicate(ID.Intern(SCEVAllocator), AR, AddedFlags); in getWrapPredicate()
12044 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNUSW)) in visitZeroExtendExpr()
12060 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNSSW)) in visitSignExtendExpr()
12084 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in addOverflowAssumption()
12104 if (auto *WP = dyn_cast<const SCEVWrapPredicate>(P)) { in convertToAddRecWithPreds()
12174 SCEVWrapPredicate::SCEVWrapPredicate(const FoldingSetNodeIDRef ID, in SCEVWrapPredicate() function in SCEVWrapPredicate
12179 const SCEV *SCEVWrapPredicate::getExpr() const { return AR; } in getExpr()
12181 bool SCEVWrapPredicate::implies(const SCEVPredicate *N) const { in implies()
12182 const auto *Op = dyn_cast<SCEVWrapPredicate>(N); in implies()
12187 bool SCEVWrapPredicate::isAlwaysTrue() const { in isAlwaysTrue()
12197 void SCEVWrapPredicate::print(raw_ostream &OS, unsigned Depth) const { in print()
12199 if (SCEVWrapPredicate::IncrementNUSW & getFlags()) in print()
12201 if (SCEVWrapPredicate::IncrementNSSW & getFlags()) in print()
12206 SCEVWrapPredicate::IncrementWrapFlags
12207 SCEVWrapPredicate::getImpliedFlags(const SCEVAddRecExpr *AR, in getImpliedFlags()
12337 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in setNoOverflow()
12341 auto ImpliedFlags = SCEVWrapPredicate::getImpliedFlags(AR, SE); in setNoOverflow()
12344 Flags = SCEVWrapPredicate::clearFlags(Flags, ImpliedFlags); in setNoOverflow()
12349 II.first->second = SCEVWrapPredicate::setFlags(Flags, II.first->second); in setNoOverflow()
12353 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in hasNoOverflow()
12357 Flags = SCEVWrapPredicate::clearFlags( in hasNoOverflow()
12358 Flags, SCEVWrapPredicate::getImpliedFlags(AR, SE)); in hasNoOverflow()
12363 Flags = SCEVWrapPredicate::clearFlags(Flags, II->second); in hasNoOverflow()
12365 return Flags == SCEVWrapPredicate::IncrementAnyWrap; in hasNoOverflow()