LLZK 2.1.1
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
11 return getImpl()->getRecordNameAttr(getImpl(), getOperation());
12 }
13
15 return getImpl()->isRead(getImpl(), getOperation());
16 }
17
18::mlir::TypedValue<::llzk::pod::PodType> llzk::pod::PodAccessOpInterface::getPodRef() {
19 return getImpl()->implPodRefOpInterface->getPodRef(getImpl()->implPodRefOpInterface, getOperation());
20 }
21
23 return getImpl()->implPodRefOpInterface->getPodRefMutable(getImpl()->implPodRefOpInterface, getOperation());
24 }
25
26::mlir::TypedValue<::llzk::pod::PodType> llzk::pod::PodRefOpInterface::getPodRef() {
27 return getImpl()->getPodRef(getImpl(), getOperation());
28 }
29
31 return getImpl()->getPodRefMutable(getImpl(), getOperation());
32 }
::mlir::FlatSymbolRefAttr getRecordNameAttr()
Gets the record name attribute from the pod access op.
::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.
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.