LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::array Namespace Reference

Namespaces

namespace  detail
 
namespace  impl
 

Classes

class  ArrayAccessOpInterface
 
class  ArrayDialect
 
class  ArrayIndexGen
 Helper for converting between linear and multi-dimensional indexing with checks to ensure indices are in range for the ArrayType. More...
 
class  ArrayLengthOp
 
class  ArrayLengthOpAdaptor
 
class  ArrayLengthOpGenericAdaptor
 
class  ArrayRefOpInterface
 
class  ArrayType
 
class  CreateArrayOp
 
class  CreateArrayOpAdaptor
 
class  CreateArrayOpGenericAdaptor
 
class  ExtractArrayOp
 
class  ExtractArrayOpAdaptor
 
class  ExtractArrayOpGenericAdaptor
 
class  InsertArrayOp
 
class  InsertArrayOpAdaptor
 
class  InsertArrayOpGenericAdaptor
 
class  ReadArrayOp
 
class  ReadArrayOpAdaptor
 
class  ReadArrayOpGenericAdaptor
 
class  WriteArrayOp
 
class  WriteArrayOpAdaptor
 
class  WriteArrayOpGenericAdaptor
 

Functions

LogicalResult computeDimsFromShape (MLIRContext *ctx, ArrayRef< int64_t > shape, SmallVector< Attribute > &dimensionSizes)
 
LogicalResult computeShapeFromDims (EmitErrorFn emitError, MLIRContext *ctx, ArrayRef< Attribute > dimensionSizes, SmallVector< int64_t > &shape)
 
ParseResult parseDerivedShape (AsmParser &parser, SmallVector< int64_t > &shape, SmallVector< Attribute > dimensionSizes)
 
void printDerivedShape (AsmPrinter &, ArrayRef< int64_t >, ArrayRef< Attribute >)
 
ParseResult parseAttrVec (AsmParser &parser, SmallVector< Attribute > &value)
 
void printAttrVec (AsmPrinter &printer, ArrayRef< Attribute > value)
 
mlir::LogicalResult computeDimsFromShape (mlir::MLIRContext *ctx, llvm::ArrayRef< int64_t > shape, llvm::SmallVector< mlir::Attribute > &dimensionSizes)
 
mlir::LogicalResult computeShapeFromDims (EmitErrorFn emitError, mlir::MLIRContext *ctx, llvm::ArrayRef< mlir::Attribute > dimensionSizes, llvm::SmallVector< int64_t > &shape)
 
mlir::ParseResult parseDerivedShape (mlir::AsmParser &parser, llvm::SmallVector< int64_t > &shape, llvm::SmallVector< mlir::Attribute > dimensionSizes)
 
void printDerivedShape (mlir::AsmPrinter &printer, llvm::ArrayRef< int64_t > shape, llvm::ArrayRef< mlir::Attribute > dimensionSizes)
 
mlir::ParseResult parseAttrVec (mlir::AsmParser &parser, llvm::SmallVector< mlir::Attribute > &value)
 
void printAttrVec (mlir::AsmPrinter &printer, llvm::ArrayRef< mlir::Attribute > value)
 
std::unique_ptr< mlir::Pass > createArrayToScalarPass ()
 
void registerArrayToScalarPass ()
 
void registerArrayToScalarPassPass ()
 
void registerTransformationPasses ()
 

Function Documentation

◆ computeDimsFromShape() [1/2]

mlir::LogicalResult llzk::array::computeDimsFromShape ( mlir::MLIRContext * ctx,
llvm::ArrayRef< int64_t > shape,
llvm::SmallVector< mlir::Attribute > & dimensionSizes )

◆ computeDimsFromShape() [2/2]

LogicalResult llzk::array::computeDimsFromShape ( MLIRContext * ctx,
ArrayRef< int64_t > shape,
SmallVector< Attribute > & dimensionSizes )

Definition at line 19 of file Types.cpp.

◆ computeShapeFromDims() [1/2]

mlir::LogicalResult llzk::array::computeShapeFromDims ( EmitErrorFn emitError,
mlir::MLIRContext * ctx,
llvm::ArrayRef< mlir::Attribute > dimensionSizes,
llvm::SmallVector< int64_t > & shape )

◆ computeShapeFromDims() [2/2]

LogicalResult llzk::array::computeShapeFromDims ( EmitErrorFn emitError,
MLIRContext * ctx,
ArrayRef< Attribute > dimensionSizes,
SmallVector< int64_t > & shape )

Definition at line 30 of file Types.cpp.

◆ createArrayToScalarPass()

std::unique_ptr< Pass > llzk::array::createArrayToScalarPass ( )

Definition at line 770 of file ArrayToScalarPass.cpp.

◆ parseAttrVec() [1/2]

ParseResult llzk::array::parseAttrVec ( AsmParser & parser,
SmallVector< Attribute > & value )

Definition at line 146 of file Types.cpp.

◆ parseAttrVec() [2/2]

mlir::ParseResult llzk::array::parseAttrVec ( mlir::AsmParser & parser,
llvm::SmallVector< mlir::Attribute > & value )

◆ parseDerivedShape() [1/2]

ParseResult llzk::array::parseDerivedShape ( AsmParser & parser,
SmallVector< int64_t > & shape,
SmallVector< Attribute > dimensionSizes )

Definition at line 64 of file Types.cpp.

◆ parseDerivedShape() [2/2]

mlir::ParseResult llzk::array::parseDerivedShape ( mlir::AsmParser & parser,
llvm::SmallVector< int64_t > & shape,
llvm::SmallVector< mlir::Attribute > dimensionSizes )

◆ printAttrVec() [1/2]

void llzk::array::printAttrVec ( AsmPrinter & printer,
ArrayRef< Attribute > value )

Definition at line 167 of file Types.cpp.

◆ printAttrVec() [2/2]

void llzk::array::printAttrVec ( mlir::AsmPrinter & printer,
llvm::ArrayRef< mlir::Attribute > value )

◆ printDerivedShape() [1/2]

void llzk::array::printDerivedShape ( AsmPrinter & ,
ArrayRef< int64_t > ,
ArrayRef< Attribute >  )

Definition at line 72 of file Types.cpp.

◆ printDerivedShape() [2/2]

void llzk::array::printDerivedShape ( mlir::AsmPrinter & printer,
llvm::ArrayRef< int64_t > shape,
llvm::ArrayRef< mlir::Attribute > dimensionSizes )

◆ registerArrayToScalarPass()

void llzk::array::registerArrayToScalarPass ( )
inline

Definition at line 86 of file TransformationPasses.h.

◆ registerArrayToScalarPassPass()

void llzk::array::registerArrayToScalarPassPass ( )
inline

Definition at line 93 of file TransformationPasses.h.

◆ registerTransformationPasses()

void llzk::array::registerTransformationPasses ( )
inline

Definition at line 103 of file TransformationPasses.h.