|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| ReadPodOpAdaptor (ReadPodOp op) | |
| ::llvm::LogicalResult | verify (::mlir::Location loc) |
| ReadPodOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| ReadPodOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={}) | |
| ReadPodOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs=nullptr) | |
| ReadPodOpGenericAdaptor (RangeT values, const ReadPodOpGenericAdaptorBase &base) | |
| template<typename LateInst = ReadPodOp, typename = std::enable_if_t<std::is_same_v<LateInst, ReadPodOp>>> | |
| ReadPodOpGenericAdaptor (RangeT values, LateInst op) | |
| Public Member Functions inherited from llzk::pod::ReadPodOpGenericAdaptor<::mlir::ValueRange > | |
| ReadPodOpGenericAdaptor (::mlir::ValueRange values, ::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index) |
| ::mlir::ValueRange | getODSOperands (unsigned index) |
| ValueT | getPodRef () |
| ::mlir::ValueRange | getOperands () |
| Public Member Functions inherited from llzk::pod::detail::ReadPodOpGenericAdaptorBase | |
| ReadPodOpGenericAdaptorBase (::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| ReadPodOpGenericAdaptorBase (ReadPodOp op) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize) |
| const Properties & | getProperties () |
| ::mlir::DictionaryAttr | getAttributes () |
| ::mlir::StringAttr | getRecordNameAttr () |
| ::llvm::StringRef | getRecordName () |
Additional Inherited Members | |
| Protected Attributes inherited from llzk::pod::detail::ReadPodOpGenericAdaptorBase | |
| ::mlir::DictionaryAttr | odsAttrs |
| ::std::optional<::mlir::OperationName > | odsOpName |
| Properties | properties |
| ::mlir::RegionRange | odsRegions |
| llzk::pod::ReadPodOpAdaptor::ReadPodOpAdaptor | ( | ReadPodOp | op | ) |
Definition at line 551 of file Ops.cpp.inc.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| llvm::LogicalResult llzk::pod::ReadPodOpAdaptor::verify | ( | ::mlir::Location | loc | ) |
Definition at line 553 of file Ops.cpp.inc.