Lines Matching refs:Atom
143 Atom Token, const Formula &Constraint) { in addFlowConditionConstraint()
151 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) { in forkFlowCondition()
152 Atom ForkToken = arena().makeFlowConditionToken(); in forkFlowCondition()
158 Atom
159 DataflowAnalysisContext::joinFlowConditions(Atom FirstToken, in joinFlowConditions()
160 Atom SecondToken) { in joinFlowConditions()
161 Atom Token = arena().makeFlowConditionToken(); in joinFlowConditions()
175 bool DataflowAnalysisContext::flowConditionImplies(Atom Token, in flowConditionImplies()
192 bool DataflowAnalysisContext::flowConditionAllows(Atom Token, in flowConditionAllows()
212 Atom Token, llvm::SetVector<const Formula *> &Constraints) { in addTransitiveFlowConditionConstraints()
213 llvm::DenseSet<Atom> AddedTokens; in addTransitiveFlowConditionConstraints()
214 std::vector<Atom> Remaining = {Token}; in addTransitiveFlowConditionConstraints()
237 for (Atom A : DepsIt->second) in addTransitiveFlowConditionConstraints()
242 static void printAtomList(const llvm::SmallVector<Atom> &Atoms, in printAtomList()
253 void DataflowAnalysisContext::dumpFlowCondition(Atom Token, in dumpFlowCondition()
280 for (const llvm::SmallVector<Atom> &Class : Info.EquivalentAtoms) in dumpFlowCondition()