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