Home
last modified time | relevance | path

Searched refs:EquivalentAtoms (Results 1 – 3 of 3) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DSimplifyConstraints.cpp70 MemberIt != EquivalentAtoms.member_end(); ++MemberIt) in atomsInEquivalenceClass()
82 llvm::EquivalenceClasses<Atom> EquivalentAtoms; in simplifyConstraints() local
100 EquivalentAtoms.unionSets(operands[0]->getAtom(), in simplifyConstraints()
114 for (auto It = EquivalentAtoms.begin(); It != EquivalentAtoms.end(); ++It) { in simplifyConstraints()
116 Atom Leader = EquivalentAtoms.getLeaderValue(TheAtom); in simplifyConstraints()
154 for (auto It = EquivalentAtoms.begin(), End = EquivalentAtoms.end(); in simplifyConstraints()
158 Atom At = *EquivalentAtoms.findLeader(It); in simplifyConstraints()
162 atomsInEquivalenceClass(EquivalentAtoms, It); in simplifyConstraints()
166 Info->EquivalentAtoms.push_back(std::move(Atoms)); in simplifyConstraints()
170 EquivalentAtoms, EquivalentAtoms.findValue(At))); in simplifyConstraints()
[all …]
H A DDataflowAnalysisContext.cpp278 if (!Info.EquivalentAtoms.empty()) { in dumpFlowCondition()
280 for (const llvm::SmallVector<Atom> &Class : Info.EquivalentAtoms) in dumpFlowCondition()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DSimplifyConstraints.h27 llvm::SmallVector<llvm::SmallVector<Atom>> EquivalentAtoms; member