Searched refs:SPMDCompatibilityTracker (Results 1 – 1 of 1) sorted by relevance
711 BooleanStateWithPtrSetVector<Instruction, false> SPMDCompatibilityTracker; member759 SPMDCompatibilityTracker.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()771 SPMDCompatibilityTracker.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()782 if (SPMDCompatibilityTracker != RHS.SPMDCompatibilityTracker) in operator ==()834 SPMDCompatibilityTracker ^= KIS.SPMDCompatibilityTracker; in operator ^=()3619 return std::string(SPMDCompatibilityTracker.isAssumed() ? "SPMD" in getAsStr()3621 std::string(SPMDCompatibilityTracker.isAtFixpoint() ? " [FIX]" in getAsStr()3779 SPMDCompatibilityTracker.indicateOptimisticFixpoint(); in KERNEL_ENVIRONMENT_CONFIGURATION_SETTER()3783 SPMDCompatibilityTracker.indicatePessimisticFixpoint(); in KERNEL_ENVIRONMENT_CONFIGURATION_SETTER()3845 if (SPMDCompatibilityTracker.isValidState()) in KERNEL_ENVIRONMENT_CONFIGURATION_SETTER()[all …]