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;True if Inst is guaranteed to execute at least once.
| Name | Description |
|---|---|
| Inst | Instruction to check. |
| DT | Dominator tree for the function containing CurLoop. |
| CurLoop | Loop assumed to be entered. |