Searched refs:TrueAtoms (Results 1 – 3 of 3) sorted by relevance
83 llvm::DenseSet<Atom> TrueAtoms; in simplifyConstraints() local90 TrueAtoms.insert(Constraint->getAtom()); in simplifyConstraints()110 TrueAtoms = projectToLeaders(TrueAtoms, EquivalentAtoms); in simplifyConstraints()117 if (TrueAtoms.contains(Leader)) { in simplifyConstraints()159 if (TrueAtoms.contains(At) || FalseAtoms.contains(At)) in simplifyConstraints()168 for (Atom At : TrueAtoms) in simplifyConstraints()169 Info->TrueAtoms.append(atomsInEquivalenceClass( in simplifyConstraints()171 std::sort(Info->TrueAtoms.begin(), Info->TrueAtoms.end()); in simplifyConstraints()
271 if (!Info.TrueAtoms.empty()) { in dumpFlowCondition()273 printAtomList(Info.TrueAtoms, OS); in dumpFlowCondition()
31 llvm::SmallVector<Atom> TrueAtoms; member