|
LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
| using | Base = ConstraintDependencyGraphPrinterPassBase |
Static Public Member Functions | |
| static constexpr ::llvm::StringLiteral | getArgumentName () |
| Returns the command-line argument attached to this pass. | |
| static constexpr ::llvm::StringLiteral | getPassName () |
| Returns the derived pass name. | |
| static bool | classof (const ::mlir::Pass *pass) |
| Support isa/dyn_cast functionality for the derived pass class. | |
Protected Attributes | |
| ::mlir::Pass::Option< bool > | runIntraprocedural {*this, "intraprocedural", ::llvm::cl::desc("Whether to run the analysis intra-procedurally only (default is false)."), ::llvm::cl::init(false)} |
Definition at line 178 of file ConstraintDependencyGraphPass.cpp.
| using llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT >::Base = ConstraintDependencyGraphPrinterPassBase |
Definition at line 180 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 182 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 183 of file ConstraintDependencyGraphPass.cpp.
|
delete |
|
default |
|
inline |
Explicitly declare the TypeID for this class.
We declare an explicit private instantiation because Pass classes should only be visible by the current library.
Definition at line 236 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Support isa/dyn_cast functionality for the derived pass class.
Definition at line 204 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
A clone method to create a copy of this pass.
Definition at line 209 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 193 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the command-line argument attached to this pass.
Definition at line 190 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Return the dialect that must be loaded in the context before this pass.
Definition at line 214 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 195 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 201 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the derived pass name.
Definition at line 198 of file ConstraintDependencyGraphPass.cpp.
|
delete |
|
delete |
|
protected |
Definition at line 240 of file ConstraintDependencyGraphPass.cpp.