|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| ConstReadOpAdaptor (ConstReadOp op) | |
| ::llvm::LogicalResult | verify (::mlir::Location loc) |
| ConstReadOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| ConstReadOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={}) | |
| ConstReadOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs=nullptr) | |
| ConstReadOpGenericAdaptor (RangeT values, const ConstReadOpGenericAdaptorBase &base) | |
| template<typename LateInst = ConstReadOp, typename = std::enable_if_t<std::is_same_v<LateInst, ConstReadOp>>> | |
| ConstReadOpGenericAdaptor (RangeT values, LateInst op) | |
| Public Member Functions inherited from llzk::polymorphic::ConstReadOpGenericAdaptor<::mlir::ValueRange > | |
| ConstReadOpGenericAdaptor (::mlir::ValueRange values, ::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index) |
| ::mlir::ValueRange | getODSOperands (unsigned index) |
| ::mlir::ValueRange | getOperands () |
| Public Member Functions inherited from llzk::polymorphic::detail::ConstReadOpGenericAdaptorBase | |
| ConstReadOpGenericAdaptorBase (::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| ConstReadOpGenericAdaptorBase (ConstReadOp op) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize) |
| const Properties & | getProperties () |
| ::mlir::DictionaryAttr | getAttributes () |
| ::mlir::FlatSymbolRefAttr | getConstNameAttr () |
| ::llvm::StringRef | getConstName () |
Additional Inherited Members | |
| Protected Attributes inherited from llzk::polymorphic::detail::ConstReadOpGenericAdaptorBase | |
| ::mlir::DictionaryAttr | odsAttrs |
| ::std::optional<::mlir::OperationName > | odsOpName |
| Properties | properties |
| ::mlir::RegionRange | odsRegions |
| llzk::polymorphic::ConstReadOpAdaptor::ConstReadOpAdaptor | ( | ConstReadOp | op | ) |
Definition at line 510 of file Ops.cpp.inc.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| llvm::LogicalResult llzk::polymorphic::ConstReadOpAdaptor::verify | ( | ::mlir::Location | loc | ) |
Definition at line 512 of file Ops.cpp.inc.