|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"#include "llzk/Util/AffineHelper.h"#include "llzk/Util/Constants.h"#include "llzk/Util/ErrorHelper.h"#include "llzk/Util/TypeHelper.h"#include <mlir/IR/BuiltinTypes.h>#include <mlir/IR/OpImplementation.h>#include <mlir/IR/Operation.h>#include <mlir/IR/SymbolTable.h>#include <mlir/Support/LogicalResult.h>#include <llvm/ADT/STLExtras.h>#include <llvm/ADT/SmallString.h>#include <llvm/ADT/StringRef.h>#include <llvm/Support/Debug.h>Go to the source code of this file.
Classes | |
| class | llzk::LLZKSymbolTableImplTrait< TypeClass > |
| See LLZKSymbolTable ODS documentation for details. More... | |
| struct | llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex > |
| Produces errors if there is an inconsistency in the various attributes/values that are used to support affine map instantiation in the Op marked with this Trait. More... | |
| class | llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass > |
Namespaces | |
| namespace | llzk |
Functions | |
| template<typename OpClass> | |
| llvm::StringLiteral | llzk::getOperationName () |
| Get the operation name, like "constrain.eq" for the given OpClass. | |
| template<typename OpClass> | |
| OpClass | llzk::getSelfOrParentOfType (mlir::Operation *op) |
| Return the closest surrounding parent/ancestor operation that is of type 'OpClass', either the op itself or an ancestor. | |
| template<typename OpClass> | |
| OpClass | llzk::getParentOfType (mlir::Operation *op) |
| Return the closest surrounding parent/ancestor operation that is of type 'OpClass'. | |
| template<unsigned N> | |
| mlir::ParseResult | llzk::parseDimAndSymbolList (mlir::OpAsmParser &parser, mlir::SmallVector< mlir::OpAsmParser::UnresolvedOperand, N > &mapOperands, mlir::IntegerAttr &numDims) |
| void | llzk::printDimAndSymbolList (mlir::OpAsmPrinter &printer, mlir::Operation *op, mlir::OperandRange mapOperands, mlir::IntegerAttr numDims) |
| mlir::ParseResult | llzk::parseMultiDimAndSymbolList (mlir::OpAsmParser &parser, mlir::SmallVector< mlir::SmallVector< mlir::OpAsmParser::UnresolvedOperand > > &multiMapOperands, mlir::DenseI32ArrayAttr &numDimsPerMap) |
| void | llzk::printMultiDimAndSymbolList (mlir::OpAsmPrinter &printer, mlir::Operation *op, mlir::OperandRangeRange multiMapOperands, mlir::DenseI32ArrayAttr numDimsPerMap) |
| mlir::ParseResult | llzk::parseAttrDictWithWarnings (mlir::OpAsmParser &parser, mlir::NamedAttrList &extraAttrs, mlir::OperationState &state) |
| template<typename ConcreteOp> | |
| void | llzk::printAttrDictWithWarnings (mlir::OpAsmPrinter &printer, ConcreteOp op, mlir::DictionaryAttr extraAttrs, typename mlir::PropertiesSelector< ConcreteOp >::type state) |
| mlir::ParseResult | llzk::parseTemplateParams (mlir::AsmParser &parser, mlir::ArrayAttr &value) |
| void | llzk::printTemplateParams (mlir::AsmPrinter &printer, mlir::ArrayAttr value) |
| void | llzk::printTemplateParams (mlir::AsmPrinter &printer, void *, mlir::ArrayAttr value) |