LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | Adaptor = LitStringOpAdaptor |
template<typename RangeT> | |
using | GenericAdaptor = LitStringOpGenericAdaptor<RangeT> |
using | FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>> |
using | Properties = FoldAdaptor::Properties |
Public Member Functions | |
static ::llvm::ArrayRef<::llvm::StringRef > | getAttributeNames () |
::mlir::StringAttr | getValueAttrName () |
std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index) |
::mlir::Operation::operand_range | getODSOperands (unsigned index) |
std::pair< unsigned, unsigned > | getODSResultIndexAndLength (unsigned index) |
::mlir::Operation::result_range | getODSResults (unsigned index) |
::mlir::TypedValue<::llzk::string::StringType > | getResult () |
void | writeProperties (::mlir::DialectBytecodeWriter &writer) |
::mlir::StringAttr | getValueAttr () |
::llvm::StringRef | getValue () |
void | setValueAttr (::mlir::StringAttr attr) |
void | setValue (::llvm::StringRef attrValue) |
::mlir::LogicalResult | verifyInvariantsImpl () |
::mlir::LogicalResult | verifyInvariants () |
::mlir::OpFoldResult | fold (FoldAdaptor adaptor) |
void | print (::mlir::OpAsmPrinter &_odsPrinter) |
void | getEffects (::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &effects) |
Static Public Member Functions | |
::mlir::StringAttr | getValueAttrName (::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, ::mlir::Type result, ::mlir::StringAttr value) |
static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr value) |
static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Type result, ::llvm::StringRef value) |
static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::llvm::StringRef value) |
static void | build (::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={}) |
::mlir::ParseResult | parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result) |
using llzk::string::LitStringOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>> |
using llzk::string::LitStringOp::GenericAdaptor = LitStringOpGenericAdaptor<RangeT> |
|
static |
Definition at line 246 of file Ops.cpp.inc.
|
static |
Definition at line 235 of file Ops.cpp.inc.
|
static |
Definition at line 224 of file Ops.cpp.inc.
|
static |
Definition at line 240 of file Ops.cpp.inc.
|
static |
Definition at line 229 of file Ops.cpp.inc.
|
static |
Definition at line 164 of file Ops.cpp.inc.
OpFoldResult llzk::string::LitStringOp::fold | ( | LitStringOp::FoldAdaptor | adaptor | ) |
|
inline |
void llzk::string::LitStringOp::getEffects | ( | ::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > & | effects | ) |
Definition at line 305 of file Ops.cpp.inc.
|
static |
Definition at line 169 of file Ops.cpp.inc.
std::pair< unsigned, unsigned > llzk::string::LitStringOp::getODSOperandIndexAndLength | ( | unsigned | index | ) |
Definition at line 96 of file Ops.cpp.inc.
mlir::Operation::operand_range llzk::string::LitStringOp::getODSOperands | ( | unsigned | index | ) |
Definition at line 100 of file Ops.cpp.inc.
std::pair< unsigned, unsigned > llzk::string::LitStringOp::getODSResultIndexAndLength | ( | unsigned | index | ) |
Definition at line 106 of file Ops.cpp.inc.
mlir::Operation::result_range llzk::string::LitStringOp::getODSResults | ( | unsigned | index | ) |
Definition at line 110 of file Ops.cpp.inc.
|
inlinestatic |
|
static |
Definition at line 148 of file Ops.cpp.inc.
mlir::TypedValue<::llzk::string::StringType > llzk::string::LitStringOp::getResult | ( | ) |
Definition at line 116 of file Ops.cpp.inc.
llvm::StringRef llzk::string::LitStringOp::getValue | ( | ) |
Definition at line 211 of file Ops.cpp.inc.
mlir::StringAttr llzk::string::LitStringOp::getValueAttr | ( | ) |
Definition at line 207 of file Ops.cpp.inc.
|
inline |
|
inlinestatic |
|
static |
Definition at line 276 of file Ops.cpp.inc.
|
static |
Definition at line 182 of file Ops.cpp.inc.
void llzk::string::LitStringOp::print | ( | ::mlir::OpAsmPrinter & | _odsPrinter | ) |
Definition at line 297 of file Ops.cpp.inc.
|
static |
Definition at line 195 of file Ops.cpp.inc.
|
static |
Definition at line 175 of file Ops.cpp.inc.
|
static |
Definition at line 120 of file Ops.cpp.inc.
void llzk::string::LitStringOp::setValue | ( | ::llvm::StringRef | attrValue | ) |
Definition at line 220 of file Ops.cpp.inc.
void llzk::string::LitStringOp::setValueAttr | ( | ::mlir::StringAttr | attr | ) |
Definition at line 216 of file Ops.cpp.inc.
|
static |
Definition at line 186 of file Ops.cpp.inc.
mlir::LogicalResult llzk::string::LitStringOp::verifyInvariants | ( | ) |
Definition at line 272 of file Ops.cpp.inc.
mlir::LogicalResult llzk::string::LitStringOp::verifyInvariantsImpl | ( | ) |
Definition at line 254 of file Ops.cpp.inc.
void llzk::string::LitStringOp::writeProperties | ( | ::mlir::DialectBytecodeWriter & | writer | ) |
Definition at line 202 of file Ops.cpp.inc.