Lines Matching defs:Assumed

3175   /// 2) Assumed to cause UB (in every updateImpl, AAUndefinedBehavior
3177   /// 3) Assumed to not cause UB. very other instruction - AAUndefinedBehavior
5986   auto Assumed = S.getAssumed();
5990   return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED
9115   /// Return true if \p Assumed is included in \p KnownRanges.
9116   static bool isBetterRange(const ConstantRange &Assumed, MDNode *KnownRanges) {
9118     if (Assumed.isFullSet())
9138     return Known.contains(Assumed) && Known != Assumed;
11758     const SetContents &Assumed = getAssumed();
11765     if (!Assumed.isUniversal()) {
11766       Set.assign(Assumed.getSet().begin(), Assumed.getSet().end());
11769     return "Known [" + KnownStr + "]," + " Assumed [" + AssumedStr + "]";