|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/IR/SymbolTable.h>#include <llvm/ADT/DenseSet.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
Functions | |
| std::optional< mlir::SymbolTable::UseRange > | llzk::getSymbolUses (mlir::Operation *from) |
| Get an iterator range for all of the uses, for any symbol, that are nested within the given operation 'from'. | |
| std::optional< mlir::SymbolTable::UseRange > | llzk::getSymbolUses (mlir::Region *from) |
| std::optional< mlir::SymbolTable::UseRange > | llzk::getSymbolUses (mlir::StringAttr symbol, mlir::Operation *from) |
| Get all of the uses of the given symbol that are nested within the given operation 'from'. | |
| std::optional< mlir::SymbolTable::UseRange > | llzk::getSymbolUses (mlir::Operation *symbol, mlir::Operation *from) |
| std::optional< mlir::SymbolTable::UseRange > | llzk::getSymbolUses (mlir::StringAttr symbol, mlir::Region *from) |
| std::optional< mlir::SymbolTable::UseRange > | llzk::getSymbolUses (mlir::Operation *symbol, mlir::Region *from) |
| void | llzk::getSymbolsUsedIn (mlir::Type t, llvm::SmallDenseSet< mlir::SymbolRefAttr > &symbolsUsed) |
| Add all symbols used within the given Type to the provided set. | |
| void | llzk::getSymbolsUsedIn (mlir::ArrayRef< mlir::Type > types, llvm::SmallDenseSet< mlir::SymbolRefAttr > &symbolsUsed) |
| Add all symbols used within the given Types to the provided set. | |
| llvm::SmallDenseSet< mlir::SymbolRefAttr > | llzk::getSymbolsUsedIn (mlir::Type t) |
| Get all symbols used within the given Type. | |
| llvm::SmallDenseSet< mlir::SymbolRefAttr > | llzk::getSymbolsUsedIn (mlir::ArrayRef< mlir::Type > types) |
| Get all symbols used within the given Types. | |
| bool | llzk::symbolKnownUseEmpty (mlir::StringAttr symbol, mlir::Operation *from) |
| Return if the given symbol is known to have no uses that are nested within the given operation 'from'. | |
| bool | llzk::symbolKnownUseEmpty (mlir::Operation *symbol, mlir::Operation *from) |
| bool | llzk::symbolKnownUseEmpty (mlir::StringAttr symbol, mlir::Region *from) |
| bool | llzk::symbolKnownUseEmpty (mlir::Operation *symbol, mlir::Region *from) |
| mlir::StringAttr | llzk::getSymbolName (mlir::Operation *symbol) |
| Returns the name of the given symbol operation, or nullptr if no symbol is present. | |
| mlir::StringAttr | llzk::getSymbolName (mlir::SymbolOpInterface symbol) |