Searched refs:ClassSet (Results 1 – 2 of 2) sorted by relevance
886 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(ClassSet, EquivalenceClass)887 REGISTER_MAP_WITH_PROGRAMSTATE(DisequalityMap, EquivalenceClass, ClassSet)958 [[nodiscard]] static inline ClassSet getDisequalClasses(ProgramStateRef State,960 [[nodiscard]] inline ClassSet getDisequalClasses(ProgramStateRef State) const;961 [[nodiscard]] inline ClassSet962 getDisequalClasses(DisequalityMapTy Map, ClassSet::Factory &Factory) const;2215 for (std::pair<EquivalenceClass, ClassSet> DisequalityEntry : in assignSymExprToConst()2218 ClassSet DisequalClasses = DisequalityEntry.second; in assignSymExprToConst()2409 ClassSet::Factory &CF = State->get_context<ClassSet>(); in mergeImpl()2428 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl()[all …]
369 StringSet<> ClassSet; in emitDXILOperationTable() local373 if (ClassSet.contains(Op.OpClass)) in emitDXILOperationTable()375 ClassSet.insert(Op.OpClass); in emitDXILOperationTable()