Searched refs:isValidState (Results 1 – 5 of 5) sorted by relevance
736 bool isValidState() const override { return true; } in isValidState() function2801 return getState().isValidState() && !NonNoOpFences.count(&FI); in isNoOpFence()2826 if (!isValidState()) in isExecutedByInitialThreadOnly()2836 if (!isValidState()) in isExecutedInAlignedRegion()2898 assert(isValidState() && in getExecutionDomain()2904 assert(isValidState() && in getExecutionDomain()2909 assert(isValidState() && in getFunctionExecutionDomain()3026 if (!EDAA || !EDAA->getState().isValidState()) in handleCallees()3223 if (EDAA && EDAA->getState().isValidState()) { in updateImpl()3271 if (MemAA && MemAA->getState().isValidState() && in updateImpl()[all …]
397 return T->isValidState(); in clampReturnedValueStates()479 return T->isValidState(); in clampCallSiteArgumentStates()607 return S.isValidState(); in updateImpl()805 bool isValidState() const override { return BS.isValidState(); } in isValidState() function884 if (!isValidState()) in forallInterferingAccesses()906 if (!isValidState()) in forallInterferingAccesses()1071 (isValidState() ? (std::string("#") + in getAsStr()1370 if (!OtherAA.getState().isValidState() || !isValidState()) in translateAndAddStateFromCallee()1401 if (!OtherAA.getState().isValidState() || !isValidState()) in translateAndAddState()1562 if (!PotentialConstantsAA || !PotentialConstantsAA->isValidState()) { in collectConstantsForGEP()[all …]
2169 if (!DepAA->getState().isValidState()) in runTillFixpoint()2203 if (!AAState.isValidState()) in runTillFixpoint()2293 if (!State.isValidState()) in manifestAttributes()3721 return OS << (!S.isValidState() ? "top" : (S.isAtFixpoint() ? "fix" : "")); in operator <<()3732 if (!S.isValidState()) in operator <<()3748 if (!S.isValidState()) in operator <<()
1626 if (QueryingAA && AA.getState().isValidState())1658 AA->getState().isValidState())1663 if (!AllowInvalidState && !AA->getState().isValidState())2600 virtual bool isValidState() const = 0;2654 bool isValidState() const override { return Assumed != getWorstState(); }2957 bool isValidState() const override {3103 bool isValidState() const override { return !Assumed.empty(); }4123 bool isValidState() const override { return DerefBytesState.isValidState(); }4127 return !isValidState() ||4441 bool isValidState() const override { return BS.isValidState(); }[all …]
381 bool isValidState() const override { in isValidState() function823 bool isValidState() const override { in isValidState() function824 return !Assumed.isEmptySet() && IntegerRangeState::isValidState(); in isValidState()