Lines Matching defs:getAssumed
321 ConstantRange Range = UseAssumed ? ValueConstantRangeAA->getAssumed()
802 const State &getAssumed() const { return *this; }
2100 return getAssumed() ? "nounwind" : "may-unwind";
2225 return getAssumed() ? "nosync" : "may-sync";
2315 return getAssumed() ? "nofree" : "may-free";
2621 return getAssumed() ? "nonnull" : "may-null";
2699 return getAssumed() ? "nonnull" : "may-null";
2751 return getAssumed() ? "mustprogress" : "may-not-progress";
2834 return getAssumed() ? "norecurse" : "may-recurse";
2899 return getAssumed() ? "non-convergent" : "may-be-convergent";
3199 return getAssumed() ? "undefined-behavior" : "no-ub";
3368 return getAssumed() ? "willreturn" : "may-noreturn";
3801 return getAssumed() ? "noalias" : "may-alias";
4451 : (getAssumed() ? "assumed-dead-users" : "assumed-live");
4605 if (!getAssumed())
4620 if (!getAssumed())
5097 DerefBytes = DS.DerefBytesState.getAssumed();
5512 return getAssumed() ? "noreturn" : "may-return";
6038 auto Assumed = S.getAssumed();
6039 S.intersectAssumedBits(T.getAssumed());
6042 return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED
8128 auto AssumedState = getAssumed();
8138 intersectAssumedBits(MemBehaviorAA->getAssumed());
8156 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED
8176 FnMemAssumedState = FnMemAA->getAssumed();
8178 if ((S.getAssumed() & FnMemAA->getAssumed()) == S.getAssumed())
8184 auto AssumedState = S.getAssumed();
8199 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED
8226 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED
8316 intersectAssumedBits(MemBehaviorAA->getAssumed());
8613 << getMemoryLocationsAsStr(State.getAssumed()) << "]\n");
8689 << getMemoryLocationsAsStr(State.getAssumed()) << "\n");
8744 return AccessedLocs.getAssumed();
8778 << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n");
8787 << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n");
8789 return AccessedLocs.getAssumed();
8798 return AccessedLocs.getAssumed();
8805 return AccessedLocs.getAssumed();
8828 auto AssumedState = getAssumed();
8846 Changed |= AssumedState != getAssumed();
9031 getAssumed().print(OS);
9149 return getAssumed();
9153 return getAssumed().intersectWith(SCEVR).intersectWith(LVIR);
9406 T.unionAssumed(OpAA->getAssumed().castOp(CastI->getOpcode(),
9549 if (T.getAssumed() == getState().getAssumed())
9886 auto AssumedBefore = getAssumed();
9936 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
9941 auto AssumedBefore = getAssumed();
9989 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
9994 auto AssumedBefore = getAssumed();
10015 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
10020 auto AssumedBefore = getAssumed();
10056 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
10061 auto AssumedBefore = getAssumed();
10073 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
10177 auto AssumedBefore = getAssumed();
10182 const auto &S = AA->getAssumed();
10184 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED
10250 return getAssumed() ? "noundef" : "may-undef-or-poison";
11010 auto AssumedBefore = getAssumed();
11014 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11457 auto AssumedBefore = getAssumed();
11506 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11546 auto AssumedBefore = getAssumed();
11600 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11685 auto AssumedBefore = getAssumed();
11731 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED
11770 SmallVector<StringRef, 0> Set(getAssumed().getSet().begin(),
11771 getAssumed().getSet().end());
11787 const SetContents &Assumed = getAssumed();
11829 Changed |= getIntersection(AssumptionAA->getAssumed());
11830 return !getAssumed().empty() || !getKnown().empty();
11867 bool Changed = getIntersection(AssumptionAA->getAssumed());