|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| GlobalWriteOpAdaptor (GlobalWriteOp op) | |
| ::llvm::LogicalResult | verify (::mlir::Location loc) |
| GlobalWriteOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| GlobalWriteOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={}) | |
| GlobalWriteOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs=nullptr) | |
| GlobalWriteOpGenericAdaptor (RangeT values, const GlobalWriteOpGenericAdaptorBase &base) | |
| template<typename LateInst = GlobalWriteOp, typename = std::enable_if_t<std::is_same_v<LateInst, GlobalWriteOp>>> | |
| GlobalWriteOpGenericAdaptor (RangeT values, LateInst op) | |
| Public Member Functions inherited from llzk::global::GlobalWriteOpGenericAdaptor<::mlir::ValueRange > | |
| GlobalWriteOpGenericAdaptor (::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 | getVal () |
| ::mlir::ValueRange | getOperands () |
| Public Member Functions inherited from llzk::global::detail::GlobalWriteOpGenericAdaptorBase | |
| GlobalWriteOpGenericAdaptorBase (::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| GlobalWriteOpGenericAdaptorBase (GlobalWriteOp op) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize) |
| const Properties & | getProperties () |
| ::mlir::DictionaryAttr | getAttributes () |
| ::mlir::SymbolRefAttr | getNameRefAttr () |
| ::mlir::SymbolRefAttr | getNameRef () |
Additional Inherited Members | |
| Protected Attributes inherited from llzk::global::detail::GlobalWriteOpGenericAdaptorBase | |
| ::mlir::DictionaryAttr | odsAttrs |
| ::std::optional<::mlir::OperationName > | odsOpName |
| Properties | properties |
| ::mlir::RegionRange | odsRegions |
| llzk::global::GlobalWriteOpAdaptor::GlobalWriteOpAdaptor | ( | GlobalWriteOp | op | ) |
Definition at line 764 of file Ops.cpp.inc.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| llvm::LogicalResult llzk::global::GlobalWriteOpAdaptor::verify | ( | ::mlir::Location | loc | ) |
Definition at line 766 of file Ops.cpp.inc.