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