Searched defs:FirstIterValue (Results 1 – 1 of 1) sorted by relevance
180 getValueOnFirstIteration(Value *V, DenseMap<Value *, Value *> &FirstIterValue, in getValueOnFirstIteration() argument293 DenseMap<Value *, Value *> FirstIterValue; in canProveExitOnFirstIteration() local