|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| GlobalDefOpAdaptor (GlobalDefOp op) | |
| ::llvm::LogicalResult | verify (::mlir::Location loc) |
| GlobalDefOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| GlobalDefOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={}) | |
| GlobalDefOpGenericAdaptor (RangeT values, ::mlir::DictionaryAttr attrs=nullptr) | |
| GlobalDefOpGenericAdaptor (RangeT values, const GlobalDefOpGenericAdaptorBase &base) | |
| template<typename LateInst = GlobalDefOp, typename = std::enable_if_t<std::is_same_v<LateInst, GlobalDefOp>>> | |
| GlobalDefOpGenericAdaptor (RangeT values, LateInst op) | |
| Public Member Functions inherited from llzk::global::GlobalDefOpGenericAdaptor<::mlir::ValueRange > | |
| GlobalDefOpGenericAdaptor (::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::global::detail::GlobalDefOpGenericAdaptorBase | |
| GlobalDefOpGenericAdaptorBase (::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| GlobalDefOpGenericAdaptorBase (GlobalDefOp op) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize) |
| const Properties & | getProperties () |
| ::mlir::DictionaryAttr | getAttributes () |
| ::mlir::StringAttr | getSymNameAttr () |
| ::llvm::StringRef | getSymName () |
| ::mlir::UnitAttr | getConstantAttr () |
| bool | getConstant () |
| ::mlir::TypeAttr | getTypeAttr () |
| ::mlir::Type | getType () |
| ::mlir::Attribute | getInitialValueAttr () |
| ::mlir::Attribute | getInitialValue () |
Additional Inherited Members | |
| Protected Attributes inherited from llzk::global::detail::GlobalDefOpGenericAdaptorBase | |
| ::mlir::DictionaryAttr | odsAttrs |
| ::std::optional<::mlir::OperationName > | odsOpName |
| Properties | properties |
| ::mlir::RegionRange | odsRegions |
| llzk::global::GlobalDefOpAdaptor::GlobalDefOpAdaptor | ( | GlobalDefOp | op | ) |
Definition at line 155 of file Ops.cpp.inc.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| llvm::LogicalResult llzk::global::GlobalDefOpAdaptor::verify | ( | ::mlir::Location | loc | ) |
Definition at line 157 of file Ops.cpp.inc.