LLZK 0.1.0
Veridise's ZK Language IR
|
#include <mlir/IR/Attributes.h>
#include <mlir/IR/Operation.h>
#include <mlir/IR/SymbolTable.h>
#include <mlir/IR/Value.h>
#include <mlir/Interfaces/MemorySlotInterfaces.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/Support/raw_ostream.h>
#include <optional>
#include <string>
Go to the source code of this file.
Namespaces | |
namespace | llzk |
namespace | llzk::debug |
Concepts | |
concept | llzk::debug::@150062333225224373276373367153117354072000132360::Iterable |
Functions | |
template<typename InputIt> | |
std::string | llzk::debug::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 | llzk::debug::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 | llzk::debug::toStringList (const std::optional< InputIt > &optionalCollection) |
template<typename T> | |
std::string | llzk::debug::toStringOne (const T &value) |
void | llzk::debug::dumpSymbolTableWalk (mlir::Operation *symbolTableOp) |
void | llzk::debug::dumpSymbolTable (llvm::raw_ostream &stream, mlir::SymbolTable &symTab, unsigned indent=0) |
void | llzk::debug::dumpSymbolTable (mlir::SymbolTable &symTab) |
void | llzk::debug::dumpSymbolTables (llvm::raw_ostream &stream, mlir::SymbolTableCollection &tables) |
void | llzk::debug::dumpSymbolTables (mlir::SymbolTableCollection &tables) |
void | llzk::debug::dumpToFile (mlir::Operation *op, llvm::StringRef filename) |