163     AtomicBoolValue &Token, BoolValue &Constraint) {  in addFlowConditionConstraint()  argument
164   auto Res = FlowConditionConstraints.try_emplace(&Token, &Constraint);  in addFlowConditionConstraint()
171 DataflowAnalysisContext::forkFlowCondition(AtomicBoolValue &Token) {  in forkFlowCondition()  argument
173   FlowConditionDeps[&ForkToken].insert(&Token);  in forkFlowCondition()
174   addFlowConditionConstraint(ForkToken, Token);  in forkFlowCondition()
181   auto &Token = makeFlowConditionToken();  in joinFlowConditions()  local
182   FlowConditionDeps[&Token].insert(&FirstToken);  in joinFlowConditions()
183   FlowConditionDeps[&Token].insert(&SecondToken);  in joinFlowConditions()
184   addFlowConditionConstraint(Token,  in joinFlowConditions()
186   return Token;  in joinFlowConditions()
196 bool DataflowAnalysisContext::flowConditionImplies(AtomicBoolValue &Token,  in flowConditionImplies()  argument
203   llvm::DenseSet<BoolValue *> Constraints = {&Token, &getOrCreateNegation(Val)};  in flowConditionImplies()
205   addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens);  in flowConditionImplies()
209 bool DataflowAnalysisContext::flowConditionIsTautology(AtomicBoolValue &Token) {  in flowConditionIsTautology()  argument
212   llvm::DenseSet<BoolValue *> Constraints = {&getOrCreateNegation(Token)};  in flowConditionIsTautology()
214   addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens);  in flowConditionIsTautology()
226     AtomicBoolValue &Token, llvm::DenseSet<BoolValue *> &Constraints,  in addTransitiveFlowConditionConstraints()  argument
228   auto Res = VisitedTokens.insert(&Token);  in addTransitiveFlowConditionConstraints()
232   auto ConstraintsIt = FlowConditionConstraints.find(&Token);  in addTransitiveFlowConditionConstraints()
234     Constraints.insert(&Token);  in addTransitiveFlowConditionConstraints()
238     Constraints.insert(&getOrCreateIff(Token, *ConstraintsIt->second));  in addTransitiveFlowConditionConstraints()
241   auto DepsIt = FlowConditionDeps.find(&Token);  in addTransitiveFlowConditionConstraints()
317     AtomicBoolValue &Token,  in buildAndSubstituteFlowCondition()  argument
325   return buildAndSubstituteFlowConditionWithCache(Token, SubstitutionsCache);  in buildAndSubstituteFlowCondition()
329     AtomicBoolValue &Token,  in buildAndSubstituteFlowConditionWithCache()  argument
331   auto ConstraintsIt = FlowConditionConstraints.find(&Token);  in buildAndSubstituteFlowConditionWithCache()
335   auto DepsIt = FlowConditionDeps.find(&Token);  in buildAndSubstituteFlowConditionWithCache()
346 void DataflowAnalysisContext::dumpFlowCondition(AtomicBoolValue &Token) {  in dumpFlowCondition()  argument
347   llvm::DenseSet<BoolValue *> Constraints = {&Token};  in dumpFlowCondition()
349   addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens);  in dumpFlowCondition()