|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Functions | |
| void | dumpSymbolTableWalk (Operation *symbolTableOp) |
| void | dumpSymbolTable (llvm::raw_ostream &stream, SymbolTable &symTab, unsigned indent) |
| void | dumpSymbolTable (SymbolTable &symTab) |
| void | dumpSymbolTables (llvm::raw_ostream &stream, SymbolTableCollection &tables) |
| void | dumpSymbolTables (SymbolTableCollection &tables) |
| void | dumpToFile (Operation *op, llvm::StringRef filename) |
| template<typename InputIt> | |
| std::string | toStringList (InputIt begin, InputIt end) |
| Generate a comma-separated string representation by traversing elements from begin to end where the element type implements operator<<. | |
| template<typename InputIt> | |
| std::string | toStringList (const InputIt &collection) |
| Generate a comma-separated string representation by traversing elements from collection.begin() to collection.end() where the element type implements operator<<. | |
| template<typename InputIt> | |
| std::string | toStringList (const std::optional< InputIt > &optionalCollection) |
| template<typename T> | |
| std::string | toStringOne (const T &value) |
| void | dumpSymbolTableWalk (mlir::Operation *symbolTableOp) |
| void | dumpSymbolTable (llvm::raw_ostream &stream, mlir::SymbolTable &symTab, unsigned indent=0) |
| void | dumpSymbolTable (mlir::SymbolTable &symTab) |
| void | dumpSymbolTables (llvm::raw_ostream &stream, mlir::SymbolTableCollection &tables) |
| void | dumpSymbolTables (mlir::SymbolTableCollection &tables) |
| void | dumpToFile (mlir::Operation *op, llvm::StringRef filename) |
| void llzk::debug::dumpSymbolTable | ( | llvm::raw_ostream & | stream, |
| mlir::SymbolTable & | symTab, | ||
| unsigned | indent = 0 ) |
| void llzk::debug::dumpSymbolTable | ( | llvm::raw_ostream & | stream, |
| SymbolTable & | symTab, | ||
| unsigned | indent ) |
| void llzk::debug::dumpSymbolTable | ( | mlir::SymbolTable & | symTab | ) |
| void llzk::debug::dumpSymbolTables | ( | llvm::raw_ostream & | stream, |
| mlir::SymbolTableCollection & | tables ) |
| void llzk::debug::dumpSymbolTables | ( | llvm::raw_ostream & | stream, |
| SymbolTableCollection & | tables ) |
| void llzk::debug::dumpSymbolTables | ( | mlir::SymbolTableCollection & | tables | ) |
| void llzk::debug::dumpSymbolTables | ( | SymbolTableCollection & | tables | ) |
| void llzk::debug::dumpSymbolTableWalk | ( | mlir::Operation * | symbolTableOp | ) |
| void llzk::debug::dumpSymbolTableWalk | ( | Operation * | symbolTableOp | ) |
| void llzk::debug::dumpToFile | ( | mlir::Operation * | op, |
| llvm::StringRef | filename ) |
| void llzk::debug::dumpToFile | ( | Operation * | op, |
| llvm::StringRef | filename ) |
|
inline |
|
inline |
|
inline |