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;2230 for (std::pair<EquivalenceClass, ClassSet> DisequalityEntry : in assignSymExprToConst()2233 ClassSet DisequalClasses = DisequalityEntry.second; in assignSymExprToConst()2424 ClassSet::Factory &CF = State->get_context<ClassSet>(); in mergeImpl()2443 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl()[all …]
485 StringSet<> ClassSet; in emitDXILOperationTable() local489 if (ClassSet.insert(Op.OpClass).second) in emitDXILOperationTable()