LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Types.cpp File Reference
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Array/IR/Types.h"
#include "llzk/Dialect/Array/Util/ArrayTypeHelper.h"
#include "llzk/Util/TypeHelper.h"
#include <mlir/IR/BuiltinTypeInterfaces.h>
Include dependency graph for Types.cpp:

Go to the source code of this file.

Namespaces

namespace  llzk
namespace  llzk::array

Functions

LogicalResult llzk::array::computeDimsFromShape (MLIRContext *ctx, ArrayRef< int64_t > shape, SmallVector< Attribute > &dimensionSizes)
LogicalResult llzk::array::computeShapeFromDims (EmitErrorFn emitError, ArrayRef< Attribute > dimensionSizes, SmallVector< int64_t > &shape)
ParseResult llzk::array::parseDerivedShape (AsmParser &parser, SmallVector< int64_t > &shape, SmallVector< Attribute > dimensionSizes)
void llzk::array::printDerivedShape (AsmPrinter &, ArrayRef< int64_t >, ArrayRef< Attribute >)
ParseResult llzk::array::parseAttrVec (AsmParser &parser, SmallVector< Attribute > &value)
void llzk::array::printAttrVec (AsmPrinter &printer, ArrayRef< Attribute > value)