LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Member Functions | Friends | List of all members
llzk::SymbolLookupResultUntyped Class Reference

#include <SymbolLookup.h>

Public Member Functions

 SymbolLookupResultUntyped ()
 SymbolLookupResultUntyped (mlir::Operation *opPtr)
 SymbolLookupResultUntyped (const SymbolLookupResultUntyped &other)
template<typename T>
 SymbolLookupResultUntyped (const SymbolLookupResult< T > &other)
SymbolLookupResultUntyped & operator= (const SymbolLookupResultUntyped &other)
template<typename T>
SymbolLookupResultUntyped & operator= (const SymbolLookupResult< T > &other)
 SymbolLookupResultUntyped (SymbolLookupResultUntyped &&other) noexcept
template<typename T>
 SymbolLookupResultUntyped (SymbolLookupResult< T > &&other)
SymbolLookupResultUntyped & operator= (SymbolLookupResultUntyped &&other) noexcept
template<typename T>
SymbolLookupResultUntyped & operator= (SymbolLookupResult< T > &&other)
mlir::Operation * operator-> ()
 Access the internal operation.
mlir::Operation & operator* ()
mlir::Operation & operator* () const
mlir::Operation * get ()
mlir::Operation * get () const
 operator bool () const
 True iff the symbol was found.
std::vector< llvm::StringRef > getIncludeSymNames () const
 Return the stack of symbol names from the IncludeOp that were traversed to load this result.
llvm::ArrayRef< llvm::StringRef > getNamespace () const
 Return the stack of symbol names from either IncludeOp or ModuleOp that were traversed to load this result.
bool viaInclude () const
 Return 'true' if at least one IncludeOp was traversed to load this result.
mlir::SymbolTableCollection * getSymbolTableCache ()
bool isManaged () const
 True iff the symbol is managed (i.e., loaded via an IncludeOp).
void manage (mlir::OwningOpRef< mlir::ModuleOp > &&ptr, mlir::SymbolTableCollection &&tables)
 Adds a pointer to the set of resources the result has to manage the lifetime of.
void trackIncludeAsName (llvm::StringRef includeOpSymName)
 Adds the symbol name from the IncludeOp that caused the module to be loaded.
void pushNamespace (llvm::StringRef symName)
 Adds the symbol name from an IncludeOp or ModuleOp where the op is contained.
void prependNamespace (llvm::ArrayRef< llvm::StringRef > ns)
 Adds the given namespace to the beginning of this result's namespace.
bool operator== (const SymbolLookupResultUntyped &rhs) const

Friends

class Within

Detailed Description

Definition at line 37 of file SymbolLookup.h.

Constructor & Destructor Documentation

◆ SymbolLookupResultUntyped() [1/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( )
inline

Definition at line 39 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [2/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( mlir::Operation * opPtr)
inline

Definition at line 40 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [3/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( const SymbolLookupResultUntyped & other)
inline

Definition at line 42 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [4/6]

template<typename T>
llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( const SymbolLookupResult< T > & other)

Definition at line 180 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [5/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( SymbolLookupResultUntyped && other)
inlinenoexcept

Definition at line 59 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [6/6]

template<typename T>
llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( SymbolLookupResult< T > && other)

Definition at line 191 of file SymbolLookup.h.

Member Function Documentation

◆ get() [1/2]

Operation * llzk::SymbolLookupResultUntyped::get ( )

Definition at line 95 of file SymbolLookup.cpp.

◆ get() [2/2]

Operation * llzk::SymbolLookupResultUntyped::get ( ) const

Definition at line 96 of file SymbolLookup.cpp.

◆ getIncludeSymNames()

std::vector< llvm::StringRef > llzk::SymbolLookupResultUntyped::getIncludeSymNames ( ) const
inline

Return the stack of symbol names from the IncludeOp that were traversed to load this result.

Definition at line 90 of file SymbolLookup.h.

◆ getNamespace()

llvm::ArrayRef< llvm::StringRef > llzk::SymbolLookupResultUntyped::getNamespace ( ) const
inline

Return the stack of symbol names from either IncludeOp or ModuleOp that were traversed to load this result.

Definition at line 94 of file SymbolLookup.h.

◆ getSymbolTableCache()

mlir::SymbolTableCollection * llzk::SymbolLookupResultUntyped::getSymbolTableCache ( )
inline

Definition at line 99 of file SymbolLookup.h.

◆ isManaged()

bool llzk::SymbolLookupResultUntyped::isManaged ( ) const
inline

True iff the symbol is managed (i.e., loaded via an IncludeOp).

Definition at line 108 of file SymbolLookup.h.

◆ manage()

void llzk::SymbolLookupResultUntyped::manage ( mlir::OwningOpRef< mlir::ModuleOp > && ptr,
mlir::SymbolTableCollection && tables )

Adds a pointer to the set of resources the result has to manage the lifetime of.

Store the resources that the result has to manage the lifetime of.

Definition at line 102 of file SymbolLookup.cpp.

◆ operator bool()

llzk::SymbolLookupResultUntyped::operator bool ( ) const

True iff the symbol was found.

Definition at line 99 of file SymbolLookup.cpp.

◆ operator*() [1/2]

Operation & llzk::SymbolLookupResultUntyped::operator* ( )

Definition at line 93 of file SymbolLookup.cpp.

◆ operator*() [2/2]

Operation & llzk::SymbolLookupResultUntyped::operator* ( ) const

Definition at line 94 of file SymbolLookup.cpp.

◆ operator->()

Operation * llzk::SymbolLookupResultUntyped::operator-> ( )

Access the internal operation.

Definition at line 92 of file SymbolLookup.cpp.

◆ operator=() [1/4]

template<typename T>
SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( const SymbolLookupResult< T > & other)

Definition at line 185 of file SymbolLookup.h.

◆ operator=() [2/4]

SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( const SymbolLookupResultUntyped & other)
inline

Definition at line 47 of file SymbolLookup.h.

◆ operator=() [3/4]

template<typename T>
SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( SymbolLookupResult< T > && other)

Definition at line 195 of file SymbolLookup.h.

◆ operator=() [4/4]

SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( SymbolLookupResultUntyped && other)
inlinenoexcept

Definition at line 67 of file SymbolLookup.h.

◆ operator==()

bool llzk::SymbolLookupResultUntyped::operator== ( const SymbolLookupResultUntyped & rhs) const
inline

Definition at line 122 of file SymbolLookup.h.

◆ prependNamespace()

void llzk::SymbolLookupResultUntyped::prependNamespace ( llvm::ArrayRef< llvm::StringRef > ns)

Adds the given namespace to the beginning of this result's namespace.

Definition at line 124 of file SymbolLookup.cpp.

◆ pushNamespace()

void llzk::SymbolLookupResultUntyped::pushNamespace ( llvm::StringRef symName)

Adds the symbol name from an IncludeOp or ModuleOp where the op is contained.

Definition at line 120 of file SymbolLookup.cpp.

◆ trackIncludeAsName()

void llzk::SymbolLookupResultUntyped::trackIncludeAsName ( llvm::StringRef includeOpSymName)

Adds the symbol name from the IncludeOp that caused the module to be loaded.

Definition at line 116 of file SymbolLookup.cpp.

◆ viaInclude()

bool llzk::SymbolLookupResultUntyped::viaInclude ( ) const
inline

Return 'true' if at least one IncludeOp was traversed to load this result.

Definition at line 97 of file SymbolLookup.h.

◆ Within

friend class Within
friend

Definition at line 135 of file SymbolLookup.h.

The documentation for this class was generated from the following files: