|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Array/IR/Dialect.h"#include "llzk/Util/ErrorHelper.h"#include <mlir/Interfaces/MemorySlotInterfaces.h>#include "llzk/Dialect/Array/IR/Types.h.inc"Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::array |
Macros | |
| #define | GET_TYPEDEF_CLASSES |
Functions | |
| mlir::LogicalResult | llzk::array::computeDimsFromShape (mlir::MLIRContext *ctx, llvm::ArrayRef< int64_t > shape, llvm::SmallVector< mlir::Attribute > &dimensionSizes) |
| mlir::LogicalResult | llzk::array::computeShapeFromDims (EmitErrorFn emitError, llvm::ArrayRef< mlir::Attribute > dimensionSizes, llvm::SmallVector< int64_t > &shape) |
| mlir::ParseResult | llzk::array::parseDerivedShape (mlir::AsmParser &parser, llvm::SmallVector< int64_t > &shape, llvm::SmallVector< mlir::Attribute > dimensionSizes) |
| void | llzk::array::printDerivedShape (mlir::AsmPrinter &printer, llvm::ArrayRef< int64_t > shape, llvm::ArrayRef< mlir::Attribute > dimensionSizes) |
| mlir::ParseResult | llzk::array::parseAttrVec (mlir::AsmParser &parser, llvm::SmallVector< mlir::Attribute > &value) |
| void | llzk::array::printAttrVec (mlir::AsmPrinter &printer, llvm::ArrayRef< mlir::Attribute > value) |