73 static std::pair<BoolValue *, BoolValue *>
74 makeCanonicalBoolValuePair(BoolValue &LHS, BoolValue &RHS) {  in makeCanonicalBoolValuePair()
81 BoolValue &DataflowAnalysisContext::getOrCreateConjunction(BoolValue &LHS,  in getOrCreateConjunction()
82                                                            BoolValue &RHS) {  in getOrCreateConjunction()
94 BoolValue &DataflowAnalysisContext::getOrCreateDisjunction(BoolValue &LHS,  in getOrCreateDisjunction()
95                                                            BoolValue &RHS) {  in getOrCreateDisjunction()
107 BoolValue &DataflowAnalysisContext::getOrCreateNegation(BoolValue &Val) {  in getOrCreateNegation()
114 BoolValue &DataflowAnalysisContext::getOrCreateImplication(BoolValue &LHS,  in getOrCreateImplication()
115                                                            BoolValue &RHS) {  in getOrCreateImplication()
126 BoolValue &DataflowAnalysisContext::getOrCreateIff(BoolValue &LHS,  in getOrCreateIff()
127                                                    BoolValue &RHS) {  in getOrCreateIff()
144     AtomicBoolValue &Token, BoolValue &Constraint) {  in addFlowConditionConstraint()
171 DataflowAnalysisContext::querySolver(llvm::DenseSet<BoolValue *> Constraints) {  in querySolver()
178                                                    BoolValue &Val) {  in flowConditionImplies()
184   llvm::DenseSet<BoolValue *> Constraints = {&Token, &getOrCreateNegation(Val)};  in flowConditionImplies()
193   llvm::DenseSet<BoolValue *> Constraints = {&getOrCreateNegation(Token)};  in flowConditionIsTautology()
199 bool DataflowAnalysisContext::equivalentBoolValues(BoolValue &Val1,  in equivalentBoolValues()
200                                                    BoolValue &Val2) {  in equivalentBoolValues()
201   llvm::DenseSet<BoolValue *> Constraints = {  in equivalentBoolValues()
207     AtomicBoolValue &Token, llvm::DenseSet<BoolValue *> &Constraints,  in addTransitiveFlowConditionConstraints()
231 BoolValue &DataflowAnalysisContext::substituteBoolValue(  in substituteBoolValue()
232     BoolValue &Val,  in substituteBoolValue()
233     llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) {  in substituteBoolValue()  argument
242   BoolValue *Result;  in substituteBoolValue()
297 BoolValue &DataflowAnalysisContext::buildAndSubstituteFlowCondition(  in buildAndSubstituteFlowCondition()
299     llvm::DenseMap<AtomicBoolValue *, BoolValue *> Substitutions) {  in buildAndSubstituteFlowCondition()
304   llvm::DenseMap<BoolValue *, BoolValue *> SubstitutionsCache(  in buildAndSubstituteFlowCondition()
309 BoolValue &DataflowAnalysisContext::buildAndSubstituteFlowConditionWithCache(  in buildAndSubstituteFlowConditionWithCache()
311     llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) {  in buildAndSubstituteFlowConditionWithCache()  argument
328   llvm::DenseSet<BoolValue *> Constraints = {&Token};  in dumpFlowCondition()