252     llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) {  in substituteBoolValue()  argument
253   auto It = SubstitutionsCache.find(&Val);  in substituteBoolValue()
254   if (It != SubstitutionsCache.end()) {  in substituteBoolValue()
269     auto &Sub = substituteBoolValue(Negation.getSubVal(), SubstitutionsCache);  in substituteBoolValue()
276         substituteBoolValue(Disjunct.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
278         substituteBoolValue(Disjunct.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
285         substituteBoolValue(Conjunct.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
287         substituteBoolValue(Conjunct.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
294         substituteBoolValue(IV.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
296         substituteBoolValue(IV.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
303         substituteBoolValue(BV.getLeftSubValue(), SubstitutionsCache);  in substituteBoolValue()
305         substituteBoolValue(BV.getRightSubValue(), SubstitutionsCache);  in substituteBoolValue()
312   SubstitutionsCache[&Val] = Result;  in substituteBoolValue()
323   llvm::DenseMap<BoolValue *, BoolValue *> SubstitutionsCache(  in buildAndSubstituteFlowCondition()  local
325   return buildAndSubstituteFlowConditionWithCache(Token, SubstitutionsCache);  in buildAndSubstituteFlowCondition()
330     llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) {  in buildAndSubstituteFlowConditionWithCache()  argument
339           *DepToken, SubstitutionsCache);  in buildAndSubstituteFlowConditionWithCache()
340       SubstitutionsCache[DepToken] = &NewDep;  in buildAndSubstituteFlowConditionWithCache()
343   return substituteBoolValue(*ConstraintsIt->second, SubstitutionsCache);  in buildAndSubstituteFlowConditionWithCache()