|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| IncludeOpAdaptor (IncludeOp op) | |
| ::llvm::LogicalResult | verify (::mlir::Location loc) |
| IncludeOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| IncludeOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={}) | |
| IncludeOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs=nullptr) | |
| IncludeOpGenericAdaptor (RangeT values, const IncludeOpGenericAdaptorBase &base) | |
| template<typename LateInst = IncludeOp, typename = std::enable_if_t<std::is_same_v<LateInst, IncludeOp>>> | |
| IncludeOpGenericAdaptor (RangeT values, LateInst op) | |
| Public Member Functions inherited from llzk::include::IncludeOpGenericAdaptor<::mlir::ValueRange > | |
| IncludeOpGenericAdaptor (::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::include::detail::IncludeOpGenericAdaptorBase | |
| IncludeOpGenericAdaptorBase (::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| IncludeOpGenericAdaptorBase (IncludeOp op) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize) |
| const Properties & | getProperties () |
| ::mlir::DictionaryAttr | getAttributes () |
| ::mlir::StringAttr | getSymNameAttr () |
| ::llvm::StringRef | getSymName () |
| ::mlir::StringAttr | getPathAttr () |
| ::llvm::StringRef | getPath () |
Additional Inherited Members | |
| Protected Attributes inherited from llzk::include::detail::IncludeOpGenericAdaptorBase | |
| ::mlir::DictionaryAttr | odsAttrs |
| ::std::optional<::mlir::OperationName > | odsOpName |
| Properties | properties |
| ::mlir::RegionRange | odsRegions |
| llzk::include::IncludeOpAdaptor::IncludeOpAdaptor | ( | IncludeOp | op | ) |
Definition at line 63 of file Ops.cpp.inc.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| llvm::LogicalResult llzk::include::IncludeOpAdaptor::verify | ( | ::mlir::Location | loc | ) |
Definition at line 65 of file Ops.cpp.inc.