[#llvm-ScalarEvolutionVerifierPass]
= xref:llvm.adoc[llvm]::ScalarEvolutionVerifierPass
:relfileprefix: ../
:mrdocs:

Verifier pass for the `ScalarEvolutionAnalysis` results.

== Synopsis

Declared in `<llvm/Analysis/ScalarEvolution.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
class ScalarEvolutionVerifierPass
    : public xref:llvm/RequiredPassInfoMixin-047.adoc[RequiredPassInfoMixin<ScalarEvolutionVerifierPass>]
----

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:llvm/RequiredPassInfoMixin-047.adoc[RequiredPassInfoMixin<ScalarEvolutionVerifierPass>]`
| A CRTP mix‐in for passes that should not be skipped.
|===

== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/ScalarEvolutionVerifierPass/run.adoc[`run`] 
| Verify ScalarEvolution results for `F.`
|===


== Static Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/ScalarEvolutionVerifierPass/isRequired.adoc[`isRequired`] 
| Return true; required passes cannot be skipped.
|===



[.small]#Created with https://www.mrdocs.com[MrDocs]#