Returns true if the instruction in a loop is guaranteed to execute at least once (under the assumption that the loop is entered).
Declared in <llvm/Analysis/MustExecute.h>
virtual
bool
isGuaranteedToExecute(
Instruction const& Inst,
DominatorTree const* DT,
Loop const* CurLoop) const = 0;| Name | Description |
|---|---|
| DT | Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree. |
| CurLoop | Represents a single loop in the control flow graph. Note that not all SCCs in the CFG are necessarily loops. |