llvm::hasIterationCountInvariantInParent

Check inner loop (L) backedge count is known to be invariant on all iterations of its outer loop. If the loop has no parent, this is trivially true.

Synopsis

Declared in <llvm/Transforms/Utils/LoopUtils.h>

bool
hasIterationCountInvariantInParent(
    Loop* L,
    ScalarEvolution& SE);

Return Value

True if L's backedge count is invariant in its parent loop.

Parameters

NameDescription
LThe inner loop whose backedge count is checked.
SEScalarEvolution used to prove invariance.