Lines Matching defs:getAssumed
321 ConstantRange Range = UseAssumed ? ValueConstantRangeAA->getAssumed()
802 const State &getAssumed() const { return *this; }
2060 return getAssumed() ? "nounwind" : "may-unwind";
2185 return getAssumed() ? "nosync" : "may-sync";
2275 return getAssumed() ? "nofree" : "may-free";
2579 return getAssumed() ? "nonnull" : "may-null";
2657 return getAssumed() ? "nonnull" : "may-null";
2709 return getAssumed() ? "mustprogress" : "may-not-progress";
2792 return getAssumed() ? "norecurse" : "may-recurse";
2857 return getAssumed() ? "non-convergent" : "may-be-convergent";
3157 return getAssumed() ? "undefined-behavior" : "no-ub";
3326 return getAssumed() ? "willreturn" : "may-noreturn";
3759 return getAssumed() ? "noalias" : "may-alias";
4409 : (getAssumed() ? "assumed-dead-users" : "assumed-live");
4563 if (!getAssumed())
4578 if (!getAssumed())
5055 DerefBytes = DS.DerefBytesState.getAssumed();
5470 return getAssumed() ? "noreturn" : "may-return";
5986 auto Assumed = S.getAssumed();
5987 S.intersectAssumedBits(T.getAssumed());
5990 return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED
8076 auto AssumedState = getAssumed();
8086 intersectAssumedBits(MemBehaviorAA->getAssumed());
8104 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED
8124 FnMemAssumedState = FnMemAA->getAssumed();
8126 if ((S.getAssumed() & FnMemAA->getAssumed()) == S.getAssumed())
8132 auto AssumedState = S.getAssumed();
8147 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED
8174 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED
8264 intersectAssumedBits(MemBehaviorAA->getAssumed());
8561 << getMemoryLocationsAsStr(State.getAssumed()) << "]\n");
8637 << getMemoryLocationsAsStr(State.getAssumed()) << "\n");
8692 return AccessedLocs.getAssumed();
8726 << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n");
8735 << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n");
8737 return AccessedLocs.getAssumed();
8746 return AccessedLocs.getAssumed();
8753 return AccessedLocs.getAssumed();
8776 auto AssumedState = getAssumed();
8794 Changed |= AssumedState != getAssumed();
8979 getAssumed().print(OS);
9097 return getAssumed();
9101 return getAssumed().intersectWith(SCEVR).intersectWith(LVIR);
9354 T.unionAssumed(OpAA->getAssumed().castOp(CastI->getOpcode(),
9497 if (T.getAssumed() == getState().getAssumed())
9834 auto AssumedBefore = getAssumed();
9884 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
9889 auto AssumedBefore = getAssumed();
9937 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
9942 auto AssumedBefore = getAssumed();
9963 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
9968 auto AssumedBefore = getAssumed();
10004 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
10009 auto AssumedBefore = getAssumed();
10021 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
10125 auto AssumedBefore = getAssumed();
10130 const auto &S = AA->getAssumed();
10132 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
10198 return getAssumed() ? "noundef" : "may-undef-or-poison";
10958 auto AssumedBefore = getAssumed();
10962 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11405 auto AssumedBefore = getAssumed();
11454 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11494 auto AssumedBefore = getAssumed();
11536 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11631 auto AssumedBefore = getAssumed();
11702 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11741 SmallVector<StringRef, 0> Set(getAssumed().getSet().begin(),
11742 getAssumed().getSet().end());
11758 const SetContents &Assumed = getAssumed();
11800 Changed |= getIntersection(AssumptionAA->getAssumed());
11801 return !getAssumed().empty() || !getKnown().empty();
11838 bool Changed = getIntersection(AssumptionAA->getAssumed());