Searched refs:AVI (Results 1 – 2 of 2) sorted by relevance
48 auto AVI = AffectedValues.find_as(V); in getOrInsertAffectedValues() local49 if (AVI != AffectedValues.end()) in getOrInsertAffectedValues()50 return AVI->second; in getOrInsertAffectedValues()154 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption() local155 if (AVI == AffectedValues.end()) in unregisterAssumption()159 for (ResultElem &Elem : AVI->second) { in unregisterAssumption()170 AffectedValues.erase(AVI); in unregisterAssumption()183 auto AVI = AffectedValues.find(OV); in transferAffectedValuesInCache() local184 if (AVI == AffectedValues.end()) in transferAffectedValuesInCache()187 for (auto &A : AVI->second) in transferAffectedValuesInCache()
161 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor() local162 if (AVI == AffectedValues.end()) in assumptionsFor()165 return AVI->second; in assumptionsFor()