Verifier pass for the LoopAnalysis results.
Declared in <llvm/Analysis/LoopInfo.h>
struct LoopVerifierPass
: RequiredPassInfoMixin<LoopVerifierPass>
| Name | Description |
|---|---|
RequiredPassInfoMixin<LoopVerifierPass> | A CRTP mix-in for passes that should not be skipped. |
| Name | Description |
|---|---|
run | Verify the LoopInfo for F and return all analyses preserved. |
| Name | Description |
|---|---|
isRequired | Return true; required passes cannot be skipped. |