|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
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 177 of file ConstraintDependencyGraphPass.cpp.
| using llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT >::Base = ConstraintDependencyGraphPrinterPassBase |
Definition at line 179 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 181 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 182 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 234 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Support isa/dyn_cast functionality for the derived pass class.
Definition at line 203 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
A clone method to create a copy of this pass.
Definition at line 208 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 192 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the command-line argument attached to this pass.
Definition at line 189 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Return the dialect that must be loaded in the context before this pass.
Definition at line 213 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 194 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 200 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the derived pass name.
Definition at line 197 of file ConstraintDependencyGraphPass.cpp.
|
delete |
|
delete |
|
protected |
Definition at line 238 of file ConstraintDependencyGraphPass.cpp.