Lines Matching refs:EquivalentAtoms
54 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.member_begin(LeaderIt); 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 (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()
174 EquivalentAtoms, EquivalentAtoms.findValue(At))); in simplifyConstraints()