491 struct KernelInfoState : AbstractState {  struct
493   bool IsAtFixpoint = false;
498       ReachedKnownParallelRegions;
501   BooleanStateWithPtrSetVector<CallBase> ReachedUnknownParallelRegions;
506   BooleanStateWithPtrSetVector<Instruction> SPMDCompatibilityTracker;
510   CallBase *KernelInitCB = nullptr;
514   CallBase *KernelDeinitCB = nullptr;
517   bool IsKernelEntry = false;
520   BooleanStateWithPtrSetVector<Function, false> ReachingKernelEntries;
525   BooleanStateWithSetVector<uint8_t> ParallelLevels;
530   KernelInfoState() {}  in KernelInfoState()  function
531   KernelInfoState(bool BestState) {  in KernelInfoState()  function
537   bool isValidState() const override { return true; }  in isValidState()
540   bool isAtFixpoint() const override { return IsAtFixpoint; }  in isAtFixpoint()
543   ChangeStatus indicatePessimisticFixpoint() override {  in indicatePessimisticFixpoint()
551   ChangeStatus indicateOptimisticFixpoint() override {  in indicateOptimisticFixpoint()
557   KernelInfoState &getAssumed() { return *this; }  in getAssumed()
558   const KernelInfoState &getAssumed() const { return *this; }  in getAssumed()
560   bool operator==(const KernelInfoState &RHS) const {  in operator ==()
573   static KernelInfoState getBestState() { return KernelInfoState(true); }  in getBestState()
575   static KernelInfoState getBestState(KernelInfoState &KIS) {  in getBestState()
580   static KernelInfoState getWorstState() { return KernelInfoState(false); }  in getWorstState()
583   KernelInfoState operator^=(const KernelInfoState &KIS) {  in operator ^=()
601   KernelInfoState operator&=(const KernelInfoState &KIS) {  in operator &=()