LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
OpInterfaces.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Interface Definitions *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9
12 return getImpl()->getRecordNameAttr(getImpl(), getOperation());
13 }
14
17 return getImpl()->isRead(getImpl(), getOperation());
18 }
19
21::mlir::TypedValue<::llzk::pod::PodType> llzk::pod::PodAccessOpInterface::getPodRef() {
22 return getImpl()->implPodRefOpInterface->getPodRef(getImpl()->implPodRefOpInterface, getOperation());
23 }
24
27 return getImpl()->implPodRefOpInterface->getPodRefMutable(getImpl()->implPodRefOpInterface, getOperation());
28 }
29
31::mlir::TypedValue<::llzk::pod::PodType> llzk::pod::PodRefOpInterface::getPodRef() {
32 return getImpl()->getPodRef(getImpl(), getOperation());
33 }
34
37 return getImpl()->getPodRefMutable(getImpl(), getOperation());
38 }
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.
::mlir::StringAttr getRecordNameAttr()
Gets the record name attribute from the pod access op.
bool isRead()
Return true if the op is a read, false if it's a write.
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.