Lines Matching defs:isValidState

749   /// See AbstractState::isValidState(...)
750   bool isValidState() const override { return true; }
2804     return getState().isValidState() && !NonNoOpFences.count(&FI);
2829     if (!isValidState())
2839     if (!isValidState())
2901     assert(isValidState() &&
2907     assert(isValidState() &&
2912     assert(isValidState() &&
3029     if (!EDAA || !EDAA->getState().isValidState())
3226           if (EDAA && EDAA->getState().isValidState()) {
3274         if (MemAA && MemAA->getState().isValidState() &&
3472     return isValidState() && MallocCalls.count(&CB);
3476     return isValidState() && PotentialRemovedFreeCalls.count(&CB);
3617     if (!isValidState())
3624            (ReachedKnownParallelRegions.isValidState()
3628            (ReachedUnknownParallelRegions.isValidState()
3632            (ReachingKernelEntries.isValidState()
3636            (ParallelLevels.isValidState()
3845           if (SPMDCompatibilityTracker.isValidState())
3848           if (!ReachedKnownParallelRegions.isValidState())
3874           if (!SPMDCompatibilityTracker.isValidState())
3887           if (!SPMDCompatibilityTracker.isValidState())
4308     if (!ReachedKnownParallelRegions.isValidState())
4650         if (!AA.isValidState()) {
4655         if (!AA.ReachedKnownParallelRegions.isValidState())
4660         if (!AA.SPMDCompatibilityTracker.isValidState())
4721         if (!ParallelLevels.isValidState())
4723         else if (!ReachingKernelEntries.isValidState())
4733             if (CBAA && CBAA->SPMDCompatibilityTracker.isValidState() &&
4803       if (CAA && CAA->ReachingKernelEntries.isValidState()) {
4834       if (CAA && CAA->ParallelLevels.isValidState()) {
5038     if (!AACE || !AACE->getState().isValidState() || AACE->hasUnknownCallee()) {
5123     if (!AACE || !AACE->getState().isValidState() || AACE->hasUnknownCallee()) {
5157     NestedParallelism |= !FnAA || !FnAA->getState().isValidState() ||
5159                          !FnAA->ReachedKnownParallelRegions.isValidState() ||
5160                          !FnAA->ReachedUnknownParallelRegions.isValidState() ||
5200     if (!isValidState())
5235           assert((isValidState() ||
5316         !CallerKernelInfoAA->ReachingKernelEntries.isValidState())
5323       if (!AA || !AA->isValidState()) {
5377         !CallerKernelInfoAA->ParallelLevels.isValidState())
5380     if (!CallerKernelInfoAA->ReachingKernelEntries.isValidState())
5394       if (!AA || !AA->SPMDCompatibilityTracker.isValidState())
5440         !CallerKernelInfoAA->ReachingKernelEntries.isValidState())