683 struct KernelInfoState : AbstractState {  struct
685   bool IsAtFixpoint = false;
690       ReachedKnownParallelRegions;
693   BooleanStateWithPtrSetVector<CallBase> ReachedUnknownParallelRegions;
698   BooleanStateWithPtrSetVector<Instruction, false> SPMDCompatibilityTracker;
702   CallBase *KernelInitCB = nullptr;
706   ConstantStruct *KernelEnvC = nullptr;
710   CallBase *KernelDeinitCB = nullptr;
713   bool IsKernelEntry = false;
716   BooleanStateWithPtrSetVector<Function, false> ReachingKernelEntries;
721   BooleanStateWithSetVector<uint8_t> ParallelLevels;
724   bool NestedParallelism = false;
730   KernelInfoState(bool BestState) {  in KernelInfoState()  function
736   bool isValidState() const override { return true; }  in isValidState()
739   bool isAtFixpoint() const override { return IsAtFixpoint; }  in isAtFixpoint()
742   ChangeStatus indicatePessimisticFixpoint() override {  in indicatePessimisticFixpoint()
754   ChangeStatus indicateOptimisticFixpoint() override {  in indicateOptimisticFixpoint()
765   KernelInfoState &getAssumed() { return *this; }  in getAssumed()
766   const KernelInfoState &getAssumed() const { return *this; }  in getAssumed()
768   bool operator==(const KernelInfoState &RHS) const {  in operator ==()
785   bool mayContainParallelRegion() {  in mayContainParallelRegion()
791   static KernelInfoState getBestState() { return KernelInfoState(true); }  in getBestState()
793   static KernelInfoState getBestState(KernelInfoState &KIS) {  in getBestState()
798   static KernelInfoState getWorstState() { return KernelInfoState(false); }  in getWorstState()
801   KernelInfoState operator^=(const KernelInfoState &KIS) {  in operator ^=()
828   KernelInfoState operator&=(const KernelInfoState &KIS) {  in operator &=()