321     ConstantRange Range = UseAssumed ? ValueConstantRangeAA->getAssumed()  in stripAndAccumulateOffsets()
801   const State &getAssumed() const { return *this; }  in getAssumed()  function
2058     return getAssumed() ? "nounwind" : "may-unwind";  in getAsStr()
2183     return getAssumed() ? "nosync" : "may-sync";  in getAsStr()
2273     return getAssumed() ? "nofree" : "may-free";  in getAsStr()
2576     return getAssumed() ? "nonnull" : "may-null";  in getAsStr()
2654     return getAssumed() ? "nonnull" : "may-null";  in getAsStr()
2706     return getAssumed() ? "mustprogress" : "may-not-progress";  in getAsStr()
2789     return getAssumed() ? "norecurse" : "may-recurse";  in getAsStr()
2854     return getAssumed() ? "non-convergent" : "may-be-convergent";  in getAsStr()
3154     return getAssumed() ? "undefined-behavior" : "no-ub";  in getAsStr()
3323     return getAssumed() ? "willreturn" : "may-noreturn";  in getAsStr()
3756     return getAssumed() ? "noalias" : "may-alias";  in getAsStr()
4406                : (getAssumed() ? "assumed-dead-users" : "assumed-live");  in getAsStr()
4560     if (!getAssumed())  in isAssumedDead()
4575     if (!getAssumed())  in isAssumedDead()
5052         DerefBytes = DS.DerefBytesState.getAssumed();  in updateImpl()
5461     return getAssumed() ? "noreturn" : "may-return";  in getAsStr()
5971   auto Assumed = S.getAssumed();  in updateImpl()
5972   S.intersectAssumedBits(T.getAssumed());  in updateImpl()
5975   return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED  in updateImpl()
8061   auto AssumedState = getAssumed();  in updateImpl()
8071         intersectAssumedBits(MemBehaviorAA->getAssumed());  in updateImpl()
8089   return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED  in updateImpl()
8109       FnMemAssumedState = FnMemAA->getAssumed();  in updateImpl()
8111       if ((S.getAssumed() & FnMemAA->getAssumed()) == S.getAssumed())  in updateImpl()
8117   auto AssumedState = S.getAssumed();  in updateImpl()
8132     return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED  in updateImpl()
8159   return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED  in updateImpl()
8249     intersectAssumedBits(MemBehaviorAA->getAssumed());  in analyzeUseIn()
8546                     << getMemoryLocationsAsStr(State.getAssumed()) << "]\n");  in categorizePtrValue()
8622              << getMemoryLocationsAsStr(State.getAssumed()) << "\n");  in categorizePtrValue()
8677       return AccessedLocs.getAssumed();  in categorizeAccessedLocations()
8711                << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n");  in categorizeAccessedLocations()
8720                << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n");  in categorizeAccessedLocations()
8722     return AccessedLocs.getAssumed();  in categorizeAccessedLocations()
8731     return AccessedLocs.getAssumed();  in categorizeAccessedLocations()
8738   return AccessedLocs.getAssumed();  in categorizeAccessedLocations()
8761     auto AssumedState = getAssumed();  in updateImpl()
8779     Changed |= AssumedState != getAssumed();  in updateImpl()
8964     getAssumed().print(OS);  in getAsStr()
9082       return getAssumed();  in getAssumedConstantRange()
9086     return getAssumed().intersectWith(SCEVR).intersectWith(LVIR);  in getAssumedConstantRange()
9339     T.unionAssumed(OpAA->getAssumed().castOp(CastI->getOpcode(),  in calculateCastInst()
9482         if (T.getAssumed() == getState().getAssumed())  in updateImpl()
9819     auto AssumedBefore = getAssumed();  in updateWithICmpInst()
9869     return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED  in updateWithICmpInst()
9874     auto AssumedBefore = getAssumed();  in updateWithSelectInst()
9922     return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED  in updateWithSelectInst()
9927     auto AssumedBefore = getAssumed();  in updateWithCastInst()
9948     return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED  in updateWithCastInst()
9953     auto AssumedBefore = getAssumed();  in updateWithBinaryOperator()
9989     return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED  in updateWithBinaryOperator()
9994     auto AssumedBefore = getAssumed();  in updateWithInstruction()
10006     return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED  in updateWithInstruction()
10110     auto AssumedBefore = getAssumed();  in updateImpl()
10115     const auto &S = AA->getAssumed();  in updateImpl()
10117     return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED  in updateImpl()
10183     return getAssumed() ? "noundef" : "may-undef-or-poison";  in getAsStr()
10967     auto AssumedBefore = getAssumed();  in updateImpl()
10971     return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED  in updateImpl()
11421     auto AssumedBefore = getAssumed();  in updateImpl()
11470     return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED  in updateImpl()
11510     auto AssumedBefore = getAssumed();  in updateImpl()
11552     return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED  in updateImpl()
11647     auto AssumedBefore = getAssumed();  in updateImpl()
11718     return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED  in updateImpl()
11760                        llvm::join(getAssumed().getSet(), ",")),  in manifest()
11771     const SetContents &Assumed = getAssumed();  in getAsStr()
11811       Changed |= getIntersection(AssumptionAA->getAssumed());  in updateImpl()
11812       return !getAssumed().empty() || !getKnown().empty();  in updateImpl()
11849     bool Changed = getIntersection(AssumptionAA->getAssumed());  in updateImpl()