LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | Adaptor = CreateArrayOpAdaptor |
template<typename RangeT> | |
using | GenericAdaptor = CreateArrayOpGenericAdaptor<RangeT> |
using | FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>> |
using | Properties = FoldAdaptor::Properties |
Public Member Functions | |
static ::llvm::ArrayRef<::llvm::StringRef > | getAttributeNames () |
::mlir::StringAttr | getMapOpGroupSizesAttrName () |
::mlir::StringAttr | getNumDimsPerMapAttrName () |
::mlir::StringAttr | getOperandSegmentSizesAttrName () |
std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index) |
::mlir::Operation::operand_range | getODSOperands (unsigned index) |
::mlir::Operation::operand_range | getElements () |
::mlir::OperandRangeRange | getMapOperands () |
::mlir::MutableOperandRange | getElementsMutable () |
::mlir::MutableOperandRangeRange | getMapOperandsMutable () |
std::pair< unsigned, unsigned > | getODSResultIndexAndLength (unsigned index) |
::mlir::Operation::result_range | getODSResults (unsigned index) |
::mlir::TypedValue<::llzk::array::ArrayType > | getResult () |
void | writeProperties (::mlir::DialectBytecodeWriter &writer) |
::mlir::DenseI32ArrayAttr | getNumDimsPerMapAttr () |
::llvm::ArrayRef< int32_t > | getNumDimsPerMap () |
::mlir::DenseI32ArrayAttr | getMapOpGroupSizesAttr () |
::llvm::ArrayRef< int32_t > | getMapOpGroupSizes () |
void | setNumDimsPerMapAttr (::mlir::DenseI32ArrayAttr attr) |
void | setNumDimsPerMap (::llvm::ArrayRef< int32_t > attrValue) |
void | setMapOpGroupSizesAttr (::mlir::DenseI32ArrayAttr attr) |
void | setMapOpGroupSizes (::llvm::ArrayRef< int32_t > attrValue) |
::mlir::LogicalResult | verifyInvariantsImpl () |
::mlir::LogicalResult | verifyInvariants () |
::mlir::LogicalResult | verify () |
::mlir::LogicalResult | verifySymbolUses (::mlir::SymbolTableCollection &symbolTable) |
void | getAsmResultNames (::mlir::OpAsmSetValueNameFn setNameFn) |
::llvm::SmallVector<::mlir::MemorySlot > | getPromotableSlots () |
Required by PromotableAllocationOpInterface / mem2reg pass. | |
::mlir::Value | getDefaultValue (const ::mlir::MemorySlot &slot, ::mlir::RewriterBase &rewriter) |
Required by PromotableAllocationOpInterface / mem2reg pass. | |
void | handleBlockArgument (const ::mlir::MemorySlot &slot, ::mlir::BlockArgument argument, ::mlir::RewriterBase &rewriter) |
Required by PromotableAllocationOpInterface / mem2reg pass. | |
void | handlePromotionComplete (const ::mlir::MemorySlot &slot, ::mlir::Value defaultValue, ::mlir::RewriterBase &rewriter) |
Required by PromotableAllocationOpInterface / mem2reg pass. | |
::llvm::SmallVector<::mlir::DestructurableMemorySlot > | getDestructurableSlots () |
Required by DestructurableAllocationOpInterface / SROA pass. | |
::llvm::DenseMap<::mlir::Attribute, ::mlir::MemorySlot > | destructure (const ::mlir::DestructurableMemorySlot &slot, const ::llvm::SmallPtrSetImpl<::mlir::Attribute > &usedIndices, ::mlir::RewriterBase &rewriter) |
Required by DestructurableAllocationOpInterface / SROA pass. | |
void | handleDestructuringComplete (const ::mlir::DestructurableMemorySlot &slot, ::mlir::RewriterBase &rewriter) |
Required by DestructurableAllocationOpInterface / SROA pass. | |
void | print (::mlir::OpAsmPrinter &_odsPrinter) |
void | getEffects (::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &effects) |
Static Public Member Functions | |
::mlir::StringAttr | getMapOpGroupSizesAttrName (::mlir::OperationName name) |
::mlir::StringAttr | getNumDimsPerMapAttrName (::mlir::OperationName name) |
::mlir::StringAttr | getOperandSegmentSizesAttrName (::mlir::OperationName name) |
static constexpr ::llvm::StringLiteral | getOperationName () |
::mlir::LogicalResult | setPropertiesFromAttr (Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) |
::mlir::Attribute | getPropertiesAsAttr (::mlir::MLIRContext *ctx, const Properties &prop) |
static llvm::hash_code | computePropertiesHash (const Properties &prop) |
static std::optional< mlir::Attribute > | getInherentAttr (::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name) |
static void | setInherentAttr (Properties &prop, llvm::StringRef name, mlir::Attribute value) |
static void | populateInherentAttrs (::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs) |
::mlir::LogicalResult | verifyInherentAttrs (::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) |
::mlir::LogicalResult | readProperties (::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state) |
static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::array::ArrayType result, ::mlir::ValueRange elements={}) |
static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::array::ArrayType result, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap) |
static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::array::ArrayType result, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap) |
static void | populateDefaultProperties (::mlir::OperationName opName, Properties &properties) |
::mlir::ParseResult | parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result) |
::mlir::ParseResult | parseInferredArrayType (::mlir::OpAsmParser &parser, ::llvm::SmallVector<::mlir::Type, 1 > &elementsTypes, ::mlir::ArrayRef<::mlir::OpAsmParser::UnresolvedOperand > elements, ::mlir::Type resultType) |
static void | printInferredArrayType (::mlir::OpAsmPrinter &printer, CreateArrayOp, ::mlir::TypeRange, ::mlir::OperandRange, ::mlir::Type) |
using llzk::array::CreateArrayOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>> |
using llzk::array::CreateArrayOp::GenericAdaptor = CreateArrayOpGenericAdaptor<RangeT> |
|
static |
Definition at line 683 of file Ops.cpp.inc.
|
static |
|
static |
|
static |
Definition at line 533 of file Ops.cpp.inc.
DenseMap< Attribute, MemorySlot > llzk::array::CreateArrayOp::destructure | ( | const ::mlir::DestructurableMemorySlot & | slot, |
const ::llvm::SmallPtrSetImpl<::mlir::Attribute > & | usedIndices, | ||
::mlir::RewriterBase & | rewriter ) |
void llzk::array::CreateArrayOp::getAsmResultNames | ( | ::mlir::OpAsmSetValueNameFn | setNameFn | ) |
|
inline |
Value llzk::array::CreateArrayOp::getDefaultValue | ( | const ::mlir::MemorySlot & | slot, |
::mlir::RewriterBase & | rewriter ) |
SmallVector< DestructurableMemorySlot > llzk::array::CreateArrayOp::getDestructurableSlots | ( | ) |
void llzk::array::CreateArrayOp::getEffects | ( | ::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > & | effects | ) |
Definition at line 825 of file Ops.cpp.inc.
mlir::Operation::operand_range llzk::array::CreateArrayOp::getElements | ( | ) |
Definition at line 408 of file Ops.cpp.inc.
mlir::MutableOperandRange llzk::array::CreateArrayOp::getElementsMutable | ( | ) |
Definition at line 416 of file Ops.cpp.inc.
|
static |
Definition at line 543 of file Ops.cpp.inc.
mlir::OperandRangeRange llzk::array::CreateArrayOp::getMapOperands | ( | ) |
Definition at line 412 of file Ops.cpp.inc.
mlir::MutableOperandRangeRange llzk::array::CreateArrayOp::getMapOperandsMutable | ( | ) |
Definition at line 422 of file Ops.cpp.inc.
llvm::ArrayRef< int32_t > llzk::array::CreateArrayOp::getMapOpGroupSizes | ( | ) |
Definition at line 662 of file Ops.cpp.inc.
mlir::DenseI32ArrayAttr llzk::array::CreateArrayOp::getMapOpGroupSizesAttr | ( | ) |
Definition at line 658 of file Ops.cpp.inc.
|
inline |
|
inlinestatic |
llvm::ArrayRef< int32_t > llzk::array::CreateArrayOp::getNumDimsPerMap | ( | ) |
Definition at line 653 of file Ops.cpp.inc.
mlir::DenseI32ArrayAttr llzk::array::CreateArrayOp::getNumDimsPerMapAttr | ( | ) |
Definition at line 649 of file Ops.cpp.inc.
|
inline |
|
inlinestatic |
std::pair< unsigned, unsigned > llzk::array::CreateArrayOp::getODSOperandIndexAndLength | ( | unsigned | index | ) |
Definition at line 393 of file Ops.cpp.inc.
mlir::Operation::operand_range llzk::array::CreateArrayOp::getODSOperands | ( | unsigned | index | ) |
Definition at line 402 of file Ops.cpp.inc.
std::pair< unsigned, unsigned > llzk::array::CreateArrayOp::getODSResultIndexAndLength | ( | unsigned | index | ) |
Definition at line 428 of file Ops.cpp.inc.
mlir::Operation::result_range llzk::array::CreateArrayOp::getODSResults | ( | unsigned | index | ) |
Definition at line 432 of file Ops.cpp.inc.
|
inline |
|
inlinestatic |
|
inlinestatic |
SmallVector< MemorySlot > llzk::array::CreateArrayOp::getPromotableSlots | ( | ) |
|
static |
Definition at line 504 of file Ops.cpp.inc.
mlir::TypedValue<::llzk::array::ArrayType > llzk::array::CreateArrayOp::getResult | ( | ) |
Definition at line 438 of file Ops.cpp.inc.
void llzk::array::CreateArrayOp::handleBlockArgument | ( | const ::mlir::MemorySlot & | slot, |
::mlir::BlockArgument | argument, | ||
::mlir::RewriterBase & | rewriter ) |
void llzk::array::CreateArrayOp::handleDestructuringComplete | ( | const ::mlir::DestructurableMemorySlot & | slot, |
::mlir::RewriterBase & | rewriter ) |
void llzk::array::CreateArrayOp::handlePromotionComplete | ( | const ::mlir::MemorySlot & | slot, |
::mlir::Value | defaultValue, | ||
::mlir::RewriterBase & | rewriter ) |
|
static |
Definition at line 741 of file Ops.cpp.inc.
|
static |
|
static |
Definition at line 688 of file Ops.cpp.inc.
|
static |
Definition at line 573 of file Ops.cpp.inc.
void llzk::array::CreateArrayOp::print | ( | ::mlir::OpAsmPrinter & | _odsPrinter | ) |
Definition at line 802 of file Ops.cpp.inc.
|
static |
|
static |
Definition at line 595 of file Ops.cpp.inc.
|
static |
Definition at line 553 of file Ops.cpp.inc.
void llzk::array::CreateArrayOp::setMapOpGroupSizes | ( | ::llvm::ArrayRef< int32_t > | attrValue | ) |
Definition at line 679 of file Ops.cpp.inc.
void llzk::array::CreateArrayOp::setMapOpGroupSizesAttr | ( | ::mlir::DenseI32ArrayAttr | attr | ) |
Definition at line 675 of file Ops.cpp.inc.
void llzk::array::CreateArrayOp::setNumDimsPerMap | ( | ::llvm::ArrayRef< int32_t > | attrValue | ) |
Definition at line 671 of file Ops.cpp.inc.
void llzk::array::CreateArrayOp::setNumDimsPerMapAttr | ( | ::mlir::DenseI32ArrayAttr | attr | ) |
Definition at line 667 of file Ops.cpp.inc.
|
static |
Definition at line 442 of file Ops.cpp.inc.
|
static |
Definition at line 580 of file Ops.cpp.inc.
mlir::LogicalResult llzk::array::CreateArrayOp::verifyInvariants | ( | ) |
Definition at line 735 of file Ops.cpp.inc.
mlir::LogicalResult llzk::array::CreateArrayOp::verifyInvariantsImpl | ( | ) |
Definition at line 694 of file Ops.cpp.inc.
LogicalResult llzk::array::CreateArrayOp::verifySymbolUses | ( | ::mlir::SymbolTableCollection & | symbolTable | ) |
void llzk::array::CreateArrayOp::writeProperties | ( | ::mlir::DialectBytecodeWriter & | writer | ) |
Definition at line 629 of file Ops.cpp.inc.