Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DSimplifyConstraints.cpp54 llvm::EquivalenceClasses<Atom> &EquivalentAtoms) { in projectToLeaders() argument
58 Result.insert(EquivalentAtoms.getOrInsertLeaderValue(Atom)); in projectToLeaders()
66 atomsInEquivalenceClass(const llvm::EquivalenceClasses<Atom> &EquivalentAtoms, in atomsInEquivalenceClass() argument
69 for (auto MemberIt = EquivalentAtoms.findLeader(At); in atomsInEquivalenceClass()
70 MemberIt != EquivalentAtoms.member_end(); ++MemberIt) in atomsInEquivalenceClass()
82 llvm::EquivalenceClasses<Atom> EquivalentAtoms; in simplifyConstraints() local
100 EquivalentAtoms.unionSets(operands[0]->getAtom(), in simplifyConstraints()
110 TrueAtoms = projectToLeaders(TrueAtoms, EquivalentAtoms); in simplifyConstraints()
111 FalseAtoms = projectToLeaders(FalseAtoms, EquivalentAtoms); in simplifyConstraints()
114 for (const auto &E : EquivalentAtoms) { in simplifyConstraints()
[all …]
H A DDataflowAnalysisContext.cpp278 if (!Info.EquivalentAtoms.empty()) { in dumpFlowCondition()
280 for (const llvm::SmallVector<Atom> &Class : Info.EquivalentAtoms) in dumpFlowCondition()