Lines Matching defs:Assumed
407 auto Assumed = S.getAssumed();
409 return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED
2052 /// 2) Assumed to cause UB (in every updateImpl, AAUndefinedBehavior
2054 /// 3) Assumed to not cause UB. very other instruction - AAUndefinedBehavior
4210 auto Assumed = S.getAssumed();
4214 return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED
6711 /// Return true if \p Assumed is included in \p KnownRanges.
6712 static bool isBetterRange(const ConstantRange &Assumed, MDNode *KnownRanges) {
6714 if (Assumed.isFullSet())
6734 return Known.contains(Assumed) && Known != Assumed;