566 struct KernelInfoState : AbstractState {  struct
568   bool IsAtFixpoint = false;
573       ReachedKnownParallelRegions;
576   BooleanStateWithPtrSetVector<CallBase> ReachedUnknownParallelRegions;
581   BooleanStateWithPtrSetVector<Instruction, false> SPMDCompatibilityTracker;
585   CallBase *KernelInitCB = nullptr;
589   CallBase *KernelDeinitCB = nullptr;
592   bool IsKernelEntry = false;
595   BooleanStateWithPtrSetVector<Function, false> ReachingKernelEntries;
600   BooleanStateWithSetVector<uint8_t> ParallelLevels;
606   KernelInfoState(bool BestState) {  in KernelInfoState()  function
612   bool isValidState() const override { return true; }  in isValidState()
615   bool isAtFixpoint() const override { return IsAtFixpoint; }  in isAtFixpoint()
618   ChangeStatus indicatePessimisticFixpoint() override {  in indicatePessimisticFixpoint()
628   ChangeStatus indicateOptimisticFixpoint() override {  in indicateOptimisticFixpoint()
638   KernelInfoState &getAssumed() { return *this; }  in getAssumed()
639   const KernelInfoState &getAssumed() const { return *this; }  in getAssumed()
641   bool operator==(const KernelInfoState &RHS) const {  in operator ==()
654   bool mayContainParallelRegion() {  in mayContainParallelRegion()
660   static KernelInfoState getBestState() { return KernelInfoState(true); }  in getBestState()
662   static KernelInfoState getBestState(KernelInfoState &KIS) {  in getBestState()
667   static KernelInfoState getWorstState() { return KernelInfoState(false); }  in getWorstState()
670   KernelInfoState operator^=(const KernelInfoState &KIS) {  in operator ^=()
690   KernelInfoState operator&=(const KernelInfoState &KIS) {  in operator &=()