LLZK 3.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, std::unique_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 38 of file SymbolLookup.h.

Constructor & Destructor Documentation

◆ SymbolLookupResultUntyped() [1/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( )
inline

Definition at line 40 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [2/6]

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

Definition at line 41 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [3/6]

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

Definition at line 43 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [4/6]

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

Definition at line 183 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [5/6]

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

Definition at line 60 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [6/6]

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

Definition at line 194 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 91 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 95 of file SymbolLookup.h.

◆ getSymbolTableCache()

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

Definition at line 100 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 109 of file SymbolLookup.h.

◆ manage()

void llzk::SymbolLookupResultUntyped::manage ( mlir::OwningOpRef< mlir::ModuleOp > && ptr,
std::unique_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 188 of file SymbolLookup.h.

◆ operator=() [2/4]

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

Definition at line 48 of file SymbolLookup.h.

◆ operator=() [3/4]

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

Definition at line 198 of file SymbolLookup.h.

◆ operator=() [4/4]

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

Definition at line 68 of file SymbolLookup.h.

◆ operator==()

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

Definition at line 125 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 125 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 121 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 117 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 98 of file SymbolLookup.h.

◆ Within

friend class Within
friend

Definition at line 138 of file SymbolLookup.h.

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