233     llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) {  in substituteBoolValue()  argument
234   auto It = SubstitutionsCache.find(&Val);  in substituteBoolValue()
235   if (It != SubstitutionsCache.end()) {  in substituteBoolValue()
250     auto &Sub = substituteBoolValue(Negation.getSubVal(), SubstitutionsCache);  in substituteBoolValue()
257         substituteBoolValue(Disjunct.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
259         substituteBoolValue(Disjunct.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
266         substituteBoolValue(Conjunct.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
268         substituteBoolValue(Conjunct.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
275         substituteBoolValue(IV.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
277         substituteBoolValue(IV.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
284         substituteBoolValue(BV.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
286         substituteBoolValue(BV.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
293   SubstitutionsCache[&Val] = Result;  in substituteBoolValue()
304   llvm::DenseMap<BoolValue *, BoolValue *> SubstitutionsCache(  in buildAndSubstituteFlowCondition()  local
306   return buildAndSubstituteFlowConditionWithCache(Token, SubstitutionsCache);  in buildAndSubstituteFlowCondition()
311     llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) {  in buildAndSubstituteFlowConditionWithCache()  argument
320           *DepToken, SubstitutionsCache);  in buildAndSubstituteFlowConditionWithCache()
321       SubstitutionsCache[DepToken] = &NewDep;  in buildAndSubstituteFlowConditionWithCache()
324   return substituteBoolValue(*ConstraintsIt->second, SubstitutionsCache);  in buildAndSubstituteFlowConditionWithCache()