Lines Matching refs:FirstIterValue
180 getValueOnFirstIteration(Value *V, DenseMap<Value *, Value *> &FirstIterValue, in getValueOnFirstIteration() argument
186 auto Existing = FirstIterValue.find(V); in getValueOnFirstIteration()
187 if (Existing != FirstIterValue.end()) in getValueOnFirstIteration()
192 getValueOnFirstIteration(BO->getOperand(0), FirstIterValue, SQ); in getValueOnFirstIteration()
194 getValueOnFirstIteration(BO->getOperand(1), FirstIterValue, SQ); in getValueOnFirstIteration()
198 getValueOnFirstIteration(Cmp->getOperand(0), FirstIterValue, SQ); in getValueOnFirstIteration()
200 getValueOnFirstIteration(Cmp->getOperand(1), FirstIterValue, SQ); in getValueOnFirstIteration()
204 getValueOnFirstIteration(Select->getCondition(), FirstIterValue, SQ); in getValueOnFirstIteration()
208 FirstIterV = getValueOnFirstIteration(Selected, FirstIterValue, SQ); in getValueOnFirstIteration()
213 FirstIterValue[V] = FirstIterV; in getValueOnFirstIteration()
293 DenseMap<Value *, Value *> FirstIterValue; in canProveExitOnFirstIteration() local
327 getValueOnFirstIteration(Incoming, FirstIterValue, SQ); in canProveExitOnFirstIteration()
328 FirstIterValue[&PN] = FirstIterV; in canProveExitOnFirstIteration()
345 auto *KnownCondition = getValueOnFirstIteration(ICmp, FirstIterValue, SQ); in canProveExitOnFirstIteration()
380 getValueOnFirstIteration(SwitchValue, FirstIterValue, SQ); in canProveExitOnFirstIteration()