Searched refs:FalseAtoms (Results 1 – 2 of 2) sorted by relevance
84 llvm::DenseSet<Atom> FalseAtoms; in simplifyConstraints() local94 FalseAtoms.insert(Constraint->operands()[0]->getAtom()); in simplifyConstraints()111 FalseAtoms = projectToLeaders(FalseAtoms, EquivalentAtoms); in simplifyConstraints()118 if (FalseAtoms.contains(Leader)) { in simplifyConstraints()123 } else if (FalseAtoms.contains(Leader)) { in simplifyConstraints()158 if (TrueAtoms.contains(At) || FalseAtoms.contains(At)) in simplifyConstraints()170 for (Atom At : FalseAtoms) in simplifyConstraints()171 Info->FalseAtoms.append(atomsInEquivalenceClass(EquivalentAtoms, At)); in simplifyConstraints()172 std::sort(Info->FalseAtoms.begin(), Info->FalseAtoms.end()); in simplifyConstraints()
274 if (!Info.FalseAtoms.empty()) { in dumpFlowCondition()276 printAtomList(Info.FalseAtoms, OS); in dumpFlowCondition()