Searched refs:GetSoleInputOnFirstIteration (Results 1 – 1 of 1) sorted by relevance
268 auto GetSoleInputOnFirstIteration = [&](PHINode & PN)->Value * { in canProveExitOnFirstIteration() local324 auto *Incoming = GetSoleInputOnFirstIteration(PN); in canProveExitOnFirstIteration()