Lines Matching refs:isValidState

397     return T->isValidState();  in clampReturnedValueStates()
478 return T->isValidState(); in clampCallSiteArgumentStates()
606 return S.isValidState(); in updateImpl()
804 bool isValidState() const override { return BS.isValidState(); } in isValidState() function
883 if (!isValidState()) in forallInterferingAccesses()
905 if (!isValidState()) in forallInterferingAccesses()
1070 (isValidState() ? (std::string("#") + in getAsStr()
1369 if (!OtherAA.getState().isValidState() || !isValidState()) in translateAndAddStateFromCallee()
1400 if (!OtherAA.getState().isValidState() || !isValidState()) in translateAndAddState()
1561 if (!PotentialConstantsAA || !PotentialConstantsAA->isValidState()) { in collectConstantsForGEP()
1894 return isValidState(); in updateImpl()
2004 if (ArgAA && ArgAA->getState().isValidState()) in updateImpl()
3531 if (!this->getState().isValidState()) { in checkQueryCache()
4222 if (isValidState()) in getAsStr()
4225 if (isValidState()) in getAsStr()
4489 assert(getState().isValidState() && in manifest()
4543 return isValidState() && !AssumedLiveEdges.count(std::make_pair(From, To)); in isEdgeDead()
5082 return T.isValidState(); in updateImpl()
5349 return T.isValidState(); in updateImpl()
6108 return isValidState() ? (isAtFixpoint() ? "simplified" : "maybe-simple") in getAsStr()
6375 if (!isValidState()) in getAssumedSimplifiedValue()
6516 if (FloatAA && FloatAA->getState().isValidState()) in manifest()
6662 if (isValidState()) in isAssumedHeapToStack()
6670 if (!isValidState()) in isAssumedHeapToStackRemovedFree()
6686 assert(getState().isValidState() && in manifest()
7341 if (CBArgPrivAA && CBArgPrivAA->isValidState()) { in updateImpl()
7388 if (DCArgPrivAA && DCArgPrivAA->isValidState()) { in updateImpl()
8422 if (!isValidState()) in checkForAllAccessesToMemoryKind()
9308 return T.isValidState(); in calculateBinaryOperator()
9341 return T.isValidState(); in calculateCastInst()
9421 return T.isValidState(); in calculateCmpInst()
9454 return T.isValidState(); in updateImpl()
9487 return T.isValidState(); in updateImpl()
9612 if (!PotentialValuesAA || !PotentialValuesAA->getState().isValidState()) in fillSetWithConstantValues()
9815 return isValidState(); in calculateBinaryOperatorAndTakeUnion()
10402 return T.isValidState(); in updateImpl()
10653 if (!CBEdges || !CBEdges->getState().isValidState()) in isReachableImpl()
10829 if (PotentialConstantsAA && PotentialConstantsAA->isValidState()) { in addValue()
10942 if (!isValidState()) in getAssumedSimplifiedValues()
11437 return isValidState(); in updateImpl()
11765 return isValidState() && setContains(Assumption); in hasAssumption()
11889 (isValidState() in getAsStr()
11966 if (!isValidState()) in forallUnderlyingObjects()
12145 return !isValidState() || Uses.contains(&U); in isPotentialUse()
12468 return isValidState() && AllCalleesKnown && all_of(AssumedCallees, CB); in foreachCallee()
12496 assert(isValidState() && "the AA is invalid"); in getAddressSpace()
12581 if (!isValidState()) in getAsStr()
12676 assert(isValidState() && "the AA is invalid"); in getAllocatedSize()
12714 if (!PI->getState().isValidState()) in updateImpl()
12766 assert(isValidState() && in manifest()
12804 if (!isValidState()) in getAsStr()