Lines Matching refs:FirstIterValue
177 getValueOnFirstIteration(Value *V, DenseMap<Value *, Value *> &FirstIterValue, in getValueOnFirstIteration() argument
183 auto Existing = FirstIterValue.find(V); in getValueOnFirstIteration()
184 if (Existing != FirstIterValue.end()) in getValueOnFirstIteration()
189 getValueOnFirstIteration(BO->getOperand(0), FirstIterValue, SQ); in getValueOnFirstIteration()
191 getValueOnFirstIteration(BO->getOperand(1), FirstIterValue, SQ); in getValueOnFirstIteration()
195 getValueOnFirstIteration(Cmp->getOperand(0), FirstIterValue, SQ); in getValueOnFirstIteration()
197 getValueOnFirstIteration(Cmp->getOperand(1), FirstIterValue, SQ); in getValueOnFirstIteration()
201 getValueOnFirstIteration(Select->getCondition(), FirstIterValue, SQ); in getValueOnFirstIteration()
205 FirstIterV = getValueOnFirstIteration(Selected, FirstIterValue, SQ); in getValueOnFirstIteration()
210 FirstIterValue[V] = FirstIterV; in getValueOnFirstIteration()
290 DenseMap<Value *, Value *> FirstIterValue; in canProveExitOnFirstIteration() local
324 getValueOnFirstIteration(Incoming, FirstIterValue, SQ); in canProveExitOnFirstIteration()
325 FirstIterValue[&PN] = FirstIterV; in canProveExitOnFirstIteration()
342 auto *KnownCondition = getValueOnFirstIteration(ICmp, FirstIterValue, SQ); in canProveExitOnFirstIteration()
377 getValueOnFirstIteration(SwitchValue, FirstIterValue, SQ); in canProveExitOnFirstIteration()