Searched refs:KnownCondition (Results 1 – 1 of 1) sorted by relevance
342 auto *KnownCondition = getValueOnFirstIteration(ICmp, FirstIterValue, SQ); in canProveExitOnFirstIteration() local343 if (KnownCondition == ICmp) { in canProveExitOnFirstIteration()348 if (isa<UndefValue>(KnownCondition)) { in canProveExitOnFirstIteration()364 auto *ConstCondition = dyn_cast<ConstantInt>(KnownCondition); in canProveExitOnFirstIteration()