139 AtomicBoolValue &DataflowAnalysisContext::makeFlowConditionToken() {  in makeFlowConditionToken()
144     AtomicBoolValue &Token, BoolValue &Constraint) {  in addFlowConditionConstraint()
151 AtomicBoolValue &
152 DataflowAnalysisContext::forkFlowCondition(AtomicBoolValue &Token) {  in forkFlowCondition()
159 AtomicBoolValue &
160 DataflowAnalysisContext::joinFlowConditions(AtomicBoolValue &FirstToken,  in joinFlowConditions()
161                                             AtomicBoolValue &SecondToken) {  in joinFlowConditions()
177 bool DataflowAnalysisContext::flowConditionImplies(AtomicBoolValue &Token,  in flowConditionImplies()
185   llvm::DenseSet<AtomicBoolValue *> VisitedTokens;  in flowConditionImplies()
190 bool DataflowAnalysisContext::flowConditionIsTautology(AtomicBoolValue &Token) {  in flowConditionIsTautology()
194   llvm::DenseSet<AtomicBoolValue *> VisitedTokens;  in flowConditionIsTautology()
207     AtomicBoolValue &Token, llvm::DenseSet<BoolValue *> &Constraints,  in addTransitiveFlowConditionConstraints()
208     llvm::DenseSet<AtomicBoolValue *> &VisitedTokens) {  in addTransitiveFlowConditionConstraints()
224     for (AtomicBoolValue *DepToken : DepsIt->second) {  in addTransitiveFlowConditionConstraints()
298     AtomicBoolValue &Token,  in buildAndSubstituteFlowCondition()
299     llvm::DenseMap<AtomicBoolValue *, BoolValue *> Substitutions) {  in buildAndSubstituteFlowCondition()  argument
310     AtomicBoolValue &Token,  in buildAndSubstituteFlowConditionWithCache()
318     for (AtomicBoolValue *DepToken : DepsIt->second) {  in buildAndSubstituteFlowConditionWithCache()
327 void DataflowAnalysisContext::dumpFlowCondition(AtomicBoolValue &Token) {  in dumpFlowCondition()
329   llvm::DenseSet<AtomicBoolValue *> VisitedTokens;  in dumpFlowCondition()
332   llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {  in dumpFlowCondition()