Searched refs:VisitedTokens (Results 1 – 2 of 2) sorted by relevance
185 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionImplies() local186 addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens); in flowConditionImplies()194 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionIsTautology() local195 addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens); in flowConditionIsTautology()208 llvm::DenseSet<AtomicBoolValue *> &VisitedTokens) { in addTransitiveFlowConditionConstraints() argument209 auto Res = VisitedTokens.insert(&Token); in addTransitiveFlowConditionConstraints()226 VisitedTokens); in addTransitiveFlowConditionConstraints()329 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in dumpFlowCondition() local330 addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens); in dumpFlowCondition()
275 llvm::DenseSet<AtomicBoolValue *> &VisitedTokens);