Return true if this function can prove that the instruction I is executed for every iteration of the loop L.
Declared in <llvm/Analysis/ValueTracking.h>
bool
isGuaranteedToExecuteForEveryIteration(
Instruction const* I,
Loop const* L);Note that this currently only considers the loop header.
| Name | Description |
|---|---|
| L | Represents a single loop in the control flow graph. Note that not all SCCs in the CFG are necessarily loops. |