Searched refs:indicateOptimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
772 BS.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()2276 indicateOptimisticFixpoint(); in initialize()2877 indicateOptimisticFixpoint(); in initialize()3044 indicateOptimisticFixpoint(); in initialize()3048 indicateOptimisticFixpoint(); in initialize()3080 indicateOptimisticFixpoint(); in initialize()3132 indicateOptimisticFixpoint(); in initialize()3137 indicateOptimisticFixpoint(); in initialize()4943 indicateOptimisticFixpoint(); in initialize()4956 indicateOptimisticFixpoint(); in initialize()[all …]
628 ChangeStatus indicateOptimisticFixpoint() override { in indicateOptimisticFixpoint() function630 ReachingKernelEntries.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()631 SPMDCompatibilityTracker.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()632 ReachedKnownParallelRegions.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()3307 SPMDCompatibilityTracker.indicateOptimisticFixpoint(); in initialize()4106 SPMDCompatibilityTracker.indicateOptimisticFixpoint(); in updateImpl()4204 SPMDCompatibilityTracker.indicateOptimisticFixpoint(); in initialize()4205 indicateOptimisticFixpoint(); in initialize()4212 indicateOptimisticFixpoint(); in initialize()4241 indicateOptimisticFixpoint(); in initialize()[all …]
1874 State.indicateOptimisticFixpoint(); in manifestAttributes()2278 AAState.indicateOptimisticFixpoint(); in updateAA()
2313 ChangeStatus indicateOptimisticFixpoint() override {2615 ChangeStatus indicateOptimisticFixpoint() override {2759 ChangeStatus indicateOptimisticFixpoint() override {2845 this->getState().indicateOptimisticFixpoint();3603 ChangeStatus indicateOptimisticFixpoint() override {3604 DerefBytesState.indicateOptimisticFixpoint();3605 GlobalState.indicateOptimisticFixpoint();3905 ChangeStatus indicateOptimisticFixpoint() override {3906 return BS.indicateOptimisticFixpoint();4371 ChangeStatus indicateOptimisticFixpoint() override {[all …]
295 indicateOptimisticFixpoint(); in initialize()