|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <SymbolLookup.h>
Public Member Functions | |
| Within () | |
| Lookup within the top-level (root) module. | |
| Within (mlir::Operation *op) | |
| Lookup within the given Operation (cannot be nullptr). | |
| Within (SymbolLookupResultUntyped &&res) | |
| Lookup within the Operation of the given result and transfer managed resources. | |
| template<typename T> | |
| Within (SymbolLookupResult< T > &&res) | |
| Lookup within the Operation of the given result and transfer managed resources. | |
| Within (const Within &)=delete | |
| Within (Within &&other) noexcept | |
| Within & | operator= (const Within &)=delete |
| Within & | operator= (Within &&) noexcept |
| mlir::FailureOr< SymbolLookupResultUntyped > | lookup (mlir::SymbolTableCollection &tables, mlir::SymbolRefAttr symbol, mlir::Operation *origin, bool reportMissing=true) && |
Static Public Member Functions | |
| static Within | root () |
Definition at line 200 of file SymbolLookup.h.
|
inline |
Lookup within the top-level (root) module.
Definition at line 203 of file SymbolLookup.h.
|
inline |
Lookup within the given Operation (cannot be nullptr).
Definition at line 205 of file SymbolLookup.h.
|
inline |
Lookup within the Operation of the given result and transfer managed resources.
Definition at line 207 of file SymbolLookup.h.
|
inline |
Lookup within the Operation of the given result and transfer managed resources.
Definition at line 209 of file SymbolLookup.h.
|
delete |
|
inlinenoexcept |
Definition at line 212 of file SymbolLookup.h.
| FailureOr< SymbolLookupResultUntyped > llzk::Within::lookup | ( | mlir::SymbolTableCollection & | tables, |
| mlir::SymbolRefAttr | symbol, | ||
| mlir::Operation * | origin, | ||
| bool | reportMissing = true ) && |
Definition at line 141 of file SymbolLookup.cpp.
Definition at line 134 of file SymbolLookup.cpp.
|
inlinestatic |
Definition at line 216 of file SymbolLookup.h.