|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Defines an index into an LLZK object. More...
#include <SourceRef.h>
Classes | |
| struct | Hash |
Public Member Functions | |
| SourceRefIndex (component::MemberDefOp f) | |
| SourceRefIndex (SymbolLookupResult< component::MemberDefOp > f) | |
| SourceRefIndex (mlir::StringAttr recordName) | |
| SourceRefIndex (const llvm::DynamicAPInt &i) | |
| SourceRefIndex (const llvm::APInt &i) | |
| SourceRefIndex (int64_t i) | |
| SourceRefIndex (const llvm::APInt &low, const llvm::APInt &high) | |
| SourceRefIndex (IndexRange r) | |
| bool | isMember () const |
| component::MemberDefOp | getMember () const |
| bool | isPodRecord () const |
| mlir::StringAttr | getPodRecordNameAttr () const |
| llvm::StringRef | getPodRecordName () const |
| bool | isIndex () const |
| llvm::DynamicAPInt | getIndex () const |
| bool | isIndexRange () const |
| IndexRange | getIndexRange () const |
| void | dump () const |
| void | print (mlir::raw_ostream &os) const |
| bool | operator== (const SourceRefIndex &rhs) const |
| bool | overlaps (const SourceRefIndex &rhs) const |
| Return true when these path components select any common storage. | |
| std::strong_ordering | operator<=> (const SourceRefIndex &rhs) const |
| size_t | getHash () const |
Defines an index into an LLZK object.
For structs, this is a member definition, and for arrays, this is an element index. Effectively a wrapper around a std::variant with extra utility methods.
Definition at line 43 of file SourceRef.h.
|
inlineexplicit |
Definition at line 47 of file SourceRef.h.
|
inlineexplicit |
Definition at line 48 of file SourceRef.h.
|
inlineexplicit |
Definition at line 49 of file SourceRef.h.
|
inlineexplicit |
Definition at line 50 of file SourceRef.h.
|
inlineexplicit |
Definition at line 51 of file SourceRef.h.
|
inlineexplicit |
Definition at line 52 of file SourceRef.h.
|
inline |
Definition at line 53 of file SourceRef.h.
|
inlineexplicit |
Definition at line 55 of file SourceRef.h.
|
inline |
Definition at line 88 of file SourceRef.h.
|
inline |
Definition at line 113 of file SourceRef.h.
|
inline |
Definition at line 77 of file SourceRef.h.
|
inline |
Definition at line 83 of file SourceRef.h.
|
inline |
Definition at line 61 of file SourceRef.h.
|
inline |
Definition at line 74 of file SourceRef.h.
|
inline |
Definition at line 70 of file SourceRef.h.
|
inline |
Definition at line 76 of file SourceRef.h.
|
inline |
Definition at line 82 of file SourceRef.h.
|
inline |
Definition at line 57 of file SourceRef.h.
|
inline |
Definition at line 69 of file SourceRef.h.
| std::strong_ordering llzk::SourceRefIndex::operator<=> | ( | const SourceRefIndex & | rhs | ) | const |
Definition at line 112 of file SourceRef.cpp.
|
inline |
Definition at line 91 of file SourceRef.h.
| bool llzk::SourceRefIndex::overlaps | ( | const SourceRefIndex & | rhs | ) | const |
Return true when these path components select any common storage.
Index ranges are half-open.
Definition at line 175 of file SourceRef.cpp.
| void llzk::SourceRefIndex::print | ( | mlir::raw_ostream & | os | ) | const |
Definition at line 95 of file SourceRef.cpp.