LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
11
::mlir::StringAttr
llzk::pod::PodAccessOpInterface::getRecordNameAttr
() {
12
return
getImpl()->getRecordNameAttr(getImpl(), getOperation());
13
}
14
16
bool
llzk::pod::PodAccessOpInterface::isRead
() {
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
26
::mlir::OpOperand &
llzk::pod::PodAccessOpInterface::getPodRefMutable
() {
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
36
::mlir::OpOperand &
llzk::pod::PodRefOpInterface::getPodRefMutable
() {
37
return
getImpl()->getPodRefMutable(getImpl(), getOperation());
38
}
llzk::pod::PodAccessOpInterface::getPodRefMutable
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:26
llzk::pod::PodAccessOpInterface::getPodRef
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:21
llzk::pod::PodAccessOpInterface::getRecordNameAttr
::mlir::StringAttr getRecordNameAttr()
Gets the record name attribute from the pod access op.
Definition
OpInterfaces.cpp.inc:11
llzk::pod::PodAccessOpInterface::isRead
bool isRead()
Return true if the op is a read, false if it's a write.
Definition
OpInterfaces.cpp.inc:16
llzk::pod::PodRefOpInterface::getPodRefMutable
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:36
llzk::pod::PodRefOpInterface::getPodRef
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:31
build
include
llzk
Dialect
POD
IR
OpInterfaces.cpp.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.