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