|
LLZK 0.1.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 176 of file ConstraintDependencyGraphPass.cpp.
| using llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT >::Base = ConstraintDependencyGraphPrinterPassBase |
Definition at line 178 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 180 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 181 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 233 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Support isa/dyn_cast functionality for the derived pass class.
Definition at line 202 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
A clone method to create a copy of this pass.
Definition at line 207 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 191 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the command-line argument attached to this pass.
Definition at line 188 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Return the dialect that must be loaded in the context before this pass.
Definition at line 212 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 193 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 199 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the derived pass name.
Definition at line 196 of file ConstraintDependencyGraphPass.cpp.
|
delete |
|
delete |
|
protected |
Definition at line 237 of file ConstraintDependencyGraphPass.cpp.