171 DataflowAnalysisContext::querySolver(llvm::DenseSet<BoolValue *> Constraints) {  in querySolver()  argument
172   Constraints.insert(&getBoolLiteralValue(true));  in querySolver()
173   Constraints.insert(&getOrCreateNegation(getBoolLiteralValue(false)));  in querySolver()
174   return S->solve(std::move(Constraints));  in querySolver()
184   llvm::DenseSet<BoolValue *> Constraints = {&Token, &getOrCreateNegation(Val)};  in flowConditionImplies()  local
186   addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens);  in flowConditionImplies()
187   return isUnsatisfiable(std::move(Constraints));  in flowConditionImplies()
193   llvm::DenseSet<BoolValue *> Constraints = {&getOrCreateNegation(Token)};  in flowConditionIsTautology()  local
195   addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens);  in flowConditionIsTautology()
196   return isUnsatisfiable(std::move(Constraints));  in flowConditionIsTautology()
201   llvm::DenseSet<BoolValue *> Constraints = {  in equivalentBoolValues()  local
203   return isUnsatisfiable(Constraints);  in equivalentBoolValues()
207     AtomicBoolValue &Token, llvm::DenseSet<BoolValue *> &Constraints,  in addTransitiveFlowConditionConstraints()  argument
215     Constraints.insert(&Token);  in addTransitiveFlowConditionConstraints()
219     Constraints.insert(&getOrCreateIff(Token, *ConstraintsIt->second));  in addTransitiveFlowConditionConstraints()
225       addTransitiveFlowConditionConstraints(*DepToken, Constraints,  in addTransitiveFlowConditionConstraints()
328   llvm::DenseSet<BoolValue *> Constraints = {&Token};  in dumpFlowCondition()  local
330   addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens);  in dumpFlowCondition()
335   llvm::dbgs() << debugString(Constraints, AtomNames);  in dumpFlowCondition()