|
LLZK 2.1.1
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<::llzk::OutputStream > | outputStream |
| ::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)} |
Friends | |
| std::unique_ptr<::mlir::Pass > | createConstraintDependencyGraphPrinterPass () |
| std::unique_ptr<::mlir::Pass > | createConstraintDependencyGraphPrinterPass (ConstraintDependencyGraphPrinterPassOptions options) |
Definition at line 268 of file ConstraintDependencyGraphPass.cpp.
| using llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT >::Base = ConstraintDependencyGraphPrinterPassBase |
Definition at line 270 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 272 of file ConstraintDependencyGraphPass.cpp.
|
inline |
Definition at line 273 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 325 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Support isa/dyn_cast functionality for the derived pass class.
Definition at line 294 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
A clone method to create a copy of this pass.
Definition at line 299 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 283 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the command-line argument attached to this pass.
Definition at line 280 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Return the dialect that must be loaded in the context before this pass.
Definition at line 304 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 285 of file ConstraintDependencyGraphPass.cpp.
|
inlineoverride |
Definition at line 291 of file ConstraintDependencyGraphPass.cpp.
|
inlinestatic |
Returns the derived pass name.
Definition at line 288 of file ConstraintDependencyGraphPass.cpp.
|
delete |
|
delete |
|
friend |
Definition at line 341 of file ConstraintDependencyGraphPass.cpp.
|
friend |
Definition at line 345 of file ConstraintDependencyGraphPass.cpp.
|
protected |
Definition at line 330 of file ConstraintDependencyGraphPass.cpp.
|
protected |
Definition at line 338 of file ConstraintDependencyGraphPass.cpp.