LLZK 0.1.0
Veridise's ZK Language IR
|
This is the complete list of members for llzk::array::ReadArrayOp, including all inherited members.
Adaptor typedef | llzk::array::ReadArrayOp | |
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Type result, ::mlir::Value arr_ref, ::mlir::ValueRange indices) | llzk::array::ReadArrayOp | static |
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Value arr_ref, ::mlir::ValueRange indices) | llzk::array::ReadArrayOp | static |
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::Value arr_ref, ::mlir::ValueRange indices) | llzk::array::ReadArrayOp | static |
build(::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={}) | llzk::array::ReadArrayOp | static |
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={}) | llzk::array::ReadArrayOp | static |
canRewire(const ::mlir::DestructurableMemorySlot &slot, ::llvm::SmallPtrSetImpl<::mlir::Attribute > &usedIndices, ::mlir::SmallVectorImpl<::mlir::MemorySlot > &mustBeSafelyUsed) | llzk::array::ReadArrayOp | |
canUsesBeRemoved(const ::mlir::MemorySlot &slot, const ::llvm::SmallPtrSetImpl<::mlir::OpOperand * > &blockingUses, ::llvm::SmallVectorImpl<::mlir::OpOperand * > &newBlockingUses) | llzk::array::ReadArrayOp | |
FoldAdaptor typedef | llzk::array::ReadArrayOp | |
GenericAdaptor typedef | llzk::array::ReadArrayOp | |
getArrRef() | llzk::array::ReadArrayOp | |
getArrRefMutable() | llzk::array::ReadArrayOp | |
getArrRefType() | llzk::array::ReadArrayOp | inline |
getAttributeNames() | llzk::array::ReadArrayOp | inline |
getIndices() | llzk::array::ReadArrayOp | |
getIndicesMutable() | llzk::array::ReadArrayOp | |
getODSOperandIndexAndLength(unsigned index) | llzk::array::ReadArrayOp | |
getODSOperands(unsigned index) | llzk::array::ReadArrayOp | |
getODSResultIndexAndLength(unsigned index) | llzk::array::ReadArrayOp | |
getODSResults(unsigned index) | llzk::array::ReadArrayOp | |
getOperationName() | llzk::array::ReadArrayOp | inlinestatic |
getResult() | llzk::array::ReadArrayOp | |
getStored(const ::mlir::MemorySlot &slot, ::mlir::RewriterBase &rewriter) | llzk::array::ReadArrayOp | |
inferReturnTypes(::mlir::MLIRContext *context, ::std::optional<::mlir::Location > location, ::mlir::ValueRange operands, ::mlir::DictionaryAttr attributes, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions, ::llvm::SmallVectorImpl<::mlir::Type > &inferredReturnTypes) | llzk::array::ReadArrayOp | static |
inferReturnTypes(::mlir::MLIRContext *context, std::optional<::mlir::Location > location, Adaptor adaptor, ::llvm::SmallVectorImpl<::mlir::Type > &inferredReturnTypes) | llzk::array::ReadArrayOp | static |
isCompatibleReturnTypes(::mlir::TypeRange l, ::mlir::TypeRange r) | llzk::array::ReadArrayOp | static |
isRead() | llzk::array::ReadArrayOp | |
loadsFrom(const ::mlir::MemorySlot &slot) | llzk::array::ReadArrayOp | |
parse(::mlir::OpAsmParser &parser, ::mlir::OperationState &result) | llzk::array::ReadArrayOp | static |
print(::mlir::OpAsmPrinter &_odsPrinter) | llzk::array::ReadArrayOp | |
removeBlockingUses(const ::mlir::MemorySlot &slot, const ::llvm::SmallPtrSetImpl< mlir::OpOperand * > &blockingUses, ::mlir::RewriterBase &rewriter, ::mlir::Value reachingDefinition) | llzk::array::ReadArrayOp | |
rewire(const ::mlir::DestructurableMemorySlot &slot, ::llvm::DenseMap<::mlir::Attribute, ::mlir::MemorySlot > &subslots, ::mlir::RewriterBase &rewriter) | llzk::array::ReadArrayOp | |
storesTo(const ::mlir::MemorySlot &slot) | llzk::array::ReadArrayOp | |
verify() | llzk::array::ReadArrayOp | |
verifyInvariants() | llzk::array::ReadArrayOp | |
verifyInvariantsImpl() | llzk::array::ReadArrayOp | |
verifySymbolUses(::mlir::SymbolTableCollection &symbolTable) | llzk::array::ReadArrayOp |