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