Lines Matching refs:getAssumed

354     ConstantRange Range = UseAssumed ? ValueConstantRangeAA.getAssumed()  in stripAndAccumulateOffsets()
762 const State &getAssumed() const { return *this; } in getAssumed() function
1557 return getAssumed() ? "nounwind" : "may-unwind"; in getAsStr()
1926 return getAssumed() ? "nosync" : "may-sync"; in getAsStr()
2024 return getAssumed() ? "nofree" : "may-free"; in getAsStr()
2318 return getAssumed() ? "nonnull" : "may-null"; in getAsStr()
2389 return getAssumed() ? "nonnull" : "may-null"; in getAsStr()
2433 return getAssumed() ? "norecurse" : "may-recurse"; in getAsStr()
2752 return getAssumed() ? "undefined-behavior" : "no-ub"; in getAsStr()
2924 return getAssumed() ? "willreturn" : "may-noreturn"; in getAsStr()
3015 return getAssumed() ? "noalias" : "may-alias"; in getAsStr()
3687 : (getAssumed() ? "assumed-dead-users" : "assumed-live"); in getAsStr()
3833 if (!getAssumed()) in isAssumedDead()
3848 if (!getAssumed()) in isAssumedDead()
4276 DerefBytes = DS.DerefBytesState.getAssumed(); in updateImpl()
4707 return getAssumed() ? "noreturn" : "may-return"; in getAsStr()
5204 auto Assumed = S.getAssumed(); in updateImpl()
5205 S.intersectAssumedBits(T.getAssumed()); in updateImpl()
5208 return Assumed == S.getAssumed() ? ChangeStatus::UNCHANGED in updateImpl()
7287 auto AssumedState = getAssumed(); in updateImpl()
7296 intersectAssumedBits(MemBehaviorAA.getAssumed()); in updateImpl()
7313 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED in updateImpl()
7332 FnMemAssumedState = FnMemAA.getAssumed(); in updateImpl()
7334 if ((S.getAssumed() & FnMemAA.getAssumed()) == S.getAssumed()) in updateImpl()
7339 auto AssumedState = S.getAssumed(); in updateImpl()
7349 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED in updateImpl()
7376 return (AssumedState != getAssumed()) ? ChangeStatus::CHANGED in updateImpl()
7463 intersectAssumedBits(MemBehaviorAA.getAssumed()); in analyzeUseIn()
7750 << getMemoryLocationsAsStr(State.getAssumed()) << "]\n"); in categorizePtrValue()
7816 << getMemoryLocationsAsStr(State.getAssumed()) << "\n"); in categorizePtrValue()
7866 return AccessedLocs.getAssumed(); in categorizeAccessedLocations()
7900 << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n"); in categorizeAccessedLocations()
7909 << getMemoryLocationsAsStr(AccessedLocs.getAssumed()) << "\n"); in categorizeAccessedLocations()
7911 return AccessedLocs.getAssumed(); in categorizeAccessedLocations()
7919 return AccessedLocs.getAssumed(); in categorizeAccessedLocations()
7926 return AccessedLocs.getAssumed(); in categorizeAccessedLocations()
7949 auto AssumedState = getAssumed(); in updateImpl()
7967 Changed |= AssumedState != getAssumed(); in updateImpl()
8056 getAssumed().print(OS); in getAsStr()
8173 return getAssumed(); in getAssumedConstantRange()
8177 return getAssumed().intersectWith(SCEVR).intersectWith(LVIR); in getAssumedConstantRange()
8431 OpAA.getAssumed().castOp(CastI->getOpcode(), getState().getBitWidth())); in calculateCastInst()
8564 if (T.getAssumed() == getState().getAssumed()) in updateImpl()
8898 auto AssumedBefore = getAssumed(); in updateWithICmpInst()
8948 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED in updateWithICmpInst()
8953 auto AssumedBefore = getAssumed(); in updateWithSelectInst()
8999 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED in updateWithSelectInst()
9004 auto AssumedBefore = getAssumed(); in updateWithCastInst()
9025 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED in updateWithCastInst()
9030 auto AssumedBefore = getAssumed(); in updateWithBinaryOperator()
9066 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED in updateWithBinaryOperator()
9167 auto AssumedBefore = getAssumed(); in updateImpl()
9170 const auto &S = AA.getAssumed(); in updateImpl()
9172 return AssumedBefore == getAssumed() ? ChangeStatus::UNCHANGED in updateImpl()
9226 return getAssumed() ? "noundef" : "may-undef-or-poison"; in getAsStr()
10003 auto AssumedBefore = getAssumed(); in updateImpl()
10007 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED in updateImpl()
10373 auto AssumedBefore = getAssumed(); in updateImpl()
10423 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED in updateImpl()
10496 auto AssumedBefore = getAssumed(); in updateImpl()
10567 return (AssumedBefore == getAssumed()) ? ChangeStatus::UNCHANGED in updateImpl()
10606 const SetContents &Assumed = getAssumed(); in getAsStr()
10659 Changed |= getIntersection(AssumptionAA.getAssumed()); in updateImpl()
10660 return !getAssumed().empty() || !getKnown().empty(); in updateImpl()
10697 bool Changed = addAssumptions(AssociatedCall, getAssumed().getSet()); in manifest()
10707 bool Changed = getIntersection(AssumptionAA.getAssumed()); in updateImpl()