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