Lines Matching defs:Token

144     Atom Token, const Formula &Constraint) {
145   auto Res = FlowConditionConstraints.try_emplace(Token, &Constraint);
152 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) {
154   FlowConditionDeps[ForkToken].insert(Token);
155   addFlowConditionConstraint(ForkToken, arena().makeAtomRef(Token));
162   Atom Token = arena().makeFlowConditionToken();
163   FlowConditionDeps[Token].insert(FirstToken);
164   FlowConditionDeps[Token].insert(SecondToken);
165   addFlowConditionConstraint(Token,
168   return Token;
176 bool DataflowAnalysisContext::flowConditionImplies(Atom Token,
187   Constraints.insert(&arena().makeAtomRef(Token));
189   addTransitiveFlowConditionConstraints(Token, Constraints);
193 bool DataflowAnalysisContext::flowConditionAllows(Atom Token,
199   Constraints.insert(&arena().makeAtomRef(Token));
201   addTransitiveFlowConditionConstraints(Token, Constraints);
213     Atom Token, llvm::SetVector<const Formula *> &Constraints) {
215   std::vector<Atom> Remaining = {Token};
221     auto Token = Remaining.back();
223     if (!AddedTokens.insert(Token).second)
226     auto ConstraintsIt = FlowConditionConstraints.find(Token);
228       Constraints.insert(&arena().makeAtomRef(Token));
232       Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token),
236     if (auto DepsIt = FlowConditionDeps.find(Token);
254 void DataflowAnalysisContext::dumpFlowCondition(Atom Token,
257   Constraints.insert(&arena().makeAtomRef(Token));
258   addTransitiveFlowConditionConstraints(Token, Constraints);
260   OS << "Flow condition token: " << Token << "\n";