Searched defs:AVI (Results 1 – 3 of 3) sorted by relevance
49 auto AVI = AffectedValues.find_as(V); in getOrInsertAffectedValues() local 164 auto AVI = AffectedValues.find_as(AV.Assume); unregisterAssumption() local 193 auto AVI = AffectedValues.find(OV); transferAffectedValuesInCache() local [all...]
46 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in conditionsFor() local
161 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor() local