Lines Matching refs:SCEVWrapPredicate

5118     SCEVWrapPredicate::IncrementWrapFlags AddedFlags =  in createAddRecFromPHIWithCastsImpl()
5119 Signed ? SCEVWrapPredicate::IncrementNSSW in createAddRecFromPHIWithCastsImpl()
5120 : SCEVWrapPredicate::IncrementNUSW; in createAddRecFromPHIWithCastsImpl()
13391 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in getWrapPredicate()
13401 SCEVWrapPredicate(ID.Intern(SCEVAllocator), AR, AddedFlags); in getWrapPredicate()
13445 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNUSW)) in visitZeroExtendExpr()
13461 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNSSW)) in visitSignExtendExpr()
13485 SCEVWrapPredicate::IncrementWrapFlags AddedFlags) { in addOverflowAssumption()
13505 if (auto *WP = dyn_cast<const SCEVWrapPredicate>(P)) { in convertToAddRecWithPreds()
13575 SCEVWrapPredicate::SCEVWrapPredicate(const FoldingSetNodeIDRef ID, in SCEVWrapPredicate() function in SCEVWrapPredicate
13580 const SCEV *SCEVWrapPredicate::getExpr() const { return AR; } in getExpr()
13582 bool SCEVWrapPredicate::implies(const SCEVPredicate *N) const { in implies()
13583 const auto *Op = dyn_cast<SCEVWrapPredicate>(N); in implies()
13588 bool SCEVWrapPredicate::isAlwaysTrue() const { in isAlwaysTrue()
13598 void SCEVWrapPredicate::print(raw_ostream &OS, unsigned Depth) const { in print()
13600 if (SCEVWrapPredicate::IncrementNUSW & getFlags()) in print()
13602 if (SCEVWrapPredicate::IncrementNSSW & getFlags()) in print()
13607 SCEVWrapPredicate::IncrementWrapFlags
13608 SCEVWrapPredicate::getImpliedFlags(const SCEVAddRecExpr *AR, in getImpliedFlags()
13738 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in setNoOverflow()
13742 auto ImpliedFlags = SCEVWrapPredicate::getImpliedFlags(AR, SE); in setNoOverflow()
13745 Flags = SCEVWrapPredicate::clearFlags(Flags, ImpliedFlags); in setNoOverflow()
13750 II.first->second = SCEVWrapPredicate::setFlags(Flags, II.first->second); in setNoOverflow()
13754 Value *V, SCEVWrapPredicate::IncrementWrapFlags Flags) { in hasNoOverflow()
13758 Flags = SCEVWrapPredicate::clearFlags( in hasNoOverflow()
13759 Flags, SCEVWrapPredicate::getImpliedFlags(AR, SE)); in hasNoOverflow()
13764 Flags = SCEVWrapPredicate::clearFlags(Flags, II->second); in hasNoOverflow()
13766 return Flags == SCEVWrapPredicate::IncrementAnyWrap; in hasNoOverflow()