Searched refs:FalseAtoms (Results 1 – 3 of 3) 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()159 if (TrueAtoms.contains(At) || FalseAtoms.contains(At)) in simplifyConstraints()172 for (Atom At : FalseAtoms) in simplifyConstraints()173 Info->FalseAtoms.append(atomsInEquivalenceClass( in simplifyConstraints()175 std::sort(Info->FalseAtoms.begin(), Info->FalseAtoms.end()); in simplifyConstraints()
275 if (!Info.FalseAtoms.empty()) { in dumpFlowCondition()277 printAtomList(Info.FalseAtoms, OS); in dumpFlowCondition()
35 llvm::SmallVector<Atom> FalseAtoms; member