Searched refs:AffectedValues (Results 1 – 4 of 4) sorted by relevance
48 auto AVI = AffectedValues.find_as(V); in getOrInsertAffectedValues()49 if (AVI != AffectedValues.end()) in getOrInsertAffectedValues()52 auto AVIP = AffectedValues.insert( in getOrInsertAffectedValues()130 auto AVI = AffectedValues.find_as(AV); in unregisterAssumption()131 if (AVI != AffectedValues.end()) in unregisterAssumption()132 AffectedValues.erase(AVI); in unregisterAssumption()141 auto AVI = AC->AffectedValues.find(getValPtr()); in deleted()142 if (AVI != AC->AffectedValues.end()) in deleted()143 AC->AffectedValues.erase(AVI); in deleted()149 auto AVI = AffectedValues.find(OV); in transferAffectedValuesInCache()[all …]
49 auto AVI = AffectedValues.find_as(V); in getOrInsertAffectedValues()50 if (AVI != AffectedValues.end()) in getOrInsertAffectedValues()53 auto AVIP = AffectedValues.insert( in getOrInsertAffectedValues()139 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption()140 if (AVI == AffectedValues.end()) in unregisterAssumption()155 AffectedValues.erase(AVI); in unregisterAssumption()164 auto AVI = AC->AffectedValues.find(getValPtr()); in deleted()165 if (AVI != AC->AffectedValues.end()) in deleted()166 AC->AffectedValues.erase(AVI); in deleted()172 auto AVI = AffectedValues.find(OV); in transferAffectedValuesInCache()[all …]
71 AffectedValuesMap AffectedValues; variable119 AffectedValues.clear(); in clear()142 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor()143 if (AVI == AffectedValues.end()) in assumptionsFor()
86 AffectedValuesMap AffectedValues; variable134 AffectedValues.clear(); in clear()157 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor()158 if (AVI == AffectedValues.end()) in assumptionsFor()