Lines Matching refs:FirstIterValue
178 getValueOnFirstIteration(Value *V, DenseMap<Value *, Value *> &FirstIterValue, in getValueOnFirstIteration() argument
184 auto Existing = FirstIterValue.find(V); in getValueOnFirstIteration()
185 if (Existing != FirstIterValue.end()) in getValueOnFirstIteration()
190 getValueOnFirstIteration(BO->getOperand(0), FirstIterValue, SQ); in getValueOnFirstIteration()
192 getValueOnFirstIteration(BO->getOperand(1), FirstIterValue, SQ); in getValueOnFirstIteration()
197 FirstIterValue[V] = FirstIterV; in getValueOnFirstIteration()
277 DenseMap<Value *, Value *> FirstIterValue; in canProveExitOnFirstIteration() local
311 getValueOnFirstIteration(Incoming, FirstIterValue, SQ); in canProveExitOnFirstIteration()
312 FirstIterValue[&PN] = FirstIterV; in canProveExitOnFirstIteration()
329 LHS = getValueOnFirstIteration(LHS, FirstIterValue, SQ); in canProveExitOnFirstIteration()
330 RHS = getValueOnFirstIteration(RHS, FirstIterValue, SQ); in canProveExitOnFirstIteration()
366 getValueOnFirstIteration(SwitchValue, FirstIterValue, SQ); in canProveExitOnFirstIteration()