Lines Matching defs:Assumed

3217   /// 2) Assumed to cause UB (in every updateImpl, AAUndefinedBehavior
3219   /// 3) Assumed to not cause UB. very other instruction - AAUndefinedBehavior
6038   auto Assumed = S.getAssumed();
6042   return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED
9167   /// Return true if \p Assumed is included in \p KnownRanges.
9168   static bool isBetterRange(const ConstantRange &Assumed, MDNode *KnownRanges) {
9170     if (Assumed.isFullSet())
9190     return Known.contains(Assumed) && Known != Assumed;
11787     const SetContents &Assumed = getAssumed();
11794     if (!Assumed.isUniversal()) {
11795       Set.assign(Assumed.getSet().begin(), Assumed.getSet().end());
11798     return "Known [" + KnownStr + "]," + " Assumed [" + AssumedStr + "]";