MLIR
21.0.0git
|
This class represents a collection of SymbolTable
s.
More...
#include "mlir/IR/SymbolTable.h"
Public Member Functions | |
virtual | ~SymbolTableCollection ()=default |
virtual Operation * | lookupSymbolIn (Operation *symbolTableOp, StringAttr symbol) |
Look up a symbol with the specified name within the specified symbol table operation, returning null if no such name exists. More... | |
virtual Operation * | lookupSymbolIn (Operation *symbolTableOp, SymbolRefAttr name) |
template<typename T , typename NameT > | |
T | lookupSymbolIn (Operation *symbolTableOp, NameT &&name) |
virtual LogicalResult | lookupSymbolIn (Operation *symbolTableOp, SymbolRefAttr name, SmallVectorImpl< Operation * > &symbols) |
A variant of 'lookupSymbolIn' that returns all of the symbols referenced by a given SymbolRefAttr when resolved within the provided symbol table operation. More... | |
virtual Operation * | lookupNearestSymbolFrom (Operation *from, StringAttr symbol) |
Returns the operation registered with the given symbol name within the closest parent operation of, or including, 'from' with the 'OpTrait::SymbolTable' trait. More... | |
virtual Operation * | lookupNearestSymbolFrom (Operation *from, SymbolRefAttr symbol) |
template<typename T > | |
T | lookupNearestSymbolFrom (Operation *from, StringAttr symbol) |
template<typename T > | |
T | lookupNearestSymbolFrom (Operation *from, SymbolRefAttr symbol) |
virtual SymbolTable & | getSymbolTable (Operation *op) |
Lookup, or create, a symbol table for an operation. More... | |
virtual void | invalidateSymbolTable (Operation *op) |
Invalidate the cached symbol table for an operation. More... | |
Friends | |
class | LockedSymbolTableCollection |
This class represents a collection of SymbolTable
s.
This simplifies certain algorithms that run recursively on nested symbol tables. Symbol tables are constructed lazily to reduce the upfront cost of constructing unnecessary tables.
Definition at line 283 of file SymbolTable.h.
|
virtualdefault |
|
virtual |
Lookup, or create, a symbol table for an operation.
Definition at line 994 of file SymbolTable.cpp.
Referenced by mlir::bufferization::getGlobalFor(), and lookupSymbolIn().
|
virtual |
Invalidate the cached symbol table for an operation.
This is important when doing IR modifications that erase and also create operations having the 'OpTrait::SymbolTable' trait. If a symbol table of an erased operation is not invalidated, a new operation sharing the same address would be associated with outdated, and wrong, information.
Definition at line 1001 of file SymbolTable.cpp.
|
virtual |
Returns the operation registered with the given symbol name within the closest parent operation of, or including, 'from' with the 'OpTrait::SymbolTable' trait.
Returns nullptr if no valid symbol was found.
Definition at line 981 of file SymbolTable.cpp.
References mlir::SymbolTable::getNearestSymbolTable(), and lookupSymbolIn().
Referenced by mlir::bufferization::func_ext::getCalledFunction(), getCalledFunction(), mlir::mesh::getMeshOrNull(), lookupNearestSymbolFrom(), mlir::irdl::lookupSymbolNearDialect(), mlir::call_interface_impl::resolveCallable(), verifySymbolAttrUse(), and walkReferencedSymbolNodes().
|
inline |
Definition at line 315 of file SymbolTable.h.
References lookupNearestSymbolFrom().
|
virtual |
Definition at line 987 of file SymbolTable.cpp.
References mlir::SymbolTable::getNearestSymbolTable(), and lookupSymbolIn().
|
inline |
Definition at line 319 of file SymbolTable.h.
References lookupNearestSymbolFrom().
|
inline |
Definition at line 294 of file SymbolTable.h.
References lookupSymbolIn().
|
virtual |
Look up a symbol with the specified name within the specified symbol table operation, returning null if no such name exists.
Reimplemented in mlir::LockedSymbolTableCollection.
Definition at line 953 of file SymbolTable.cpp.
References getSymbolTable(), and mlir::SymbolTable::lookup().
Referenced by lookupNearestSymbolFrom(), lookupSymbolIn(), mlir::SymbolUserMap::replaceAllUsesWith(), mlir::AsmParserState::Impl::resolveSymbolUses(), and mlir::SymbolUserMap::SymbolUserMap().
|
virtual |
Reimplemented in mlir::LockedSymbolTableCollection.
Definition at line 957 of file SymbolTable.cpp.
References lookupSymbolIn().
|
virtual |
A variant of 'lookupSymbolIn' that returns all of the symbols referenced by a given SymbolRefAttr when resolved within the provided symbol table operation.
A variant of 'lookupSymbolIn' that returns all of the symbols referenced by a given SymbolRefAttr.
Returns failure if any of the nested references could not be resolved.
Reimplemented in mlir::LockedSymbolTableCollection.
Definition at line 968 of file SymbolTable.cpp.
References lookupSymbolIn(), and lookupSymbolInImpl().
|
friend |
Definition at line 334 of file SymbolTable.h.