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
10
::mlir::StringAttr
llzk::pod::PodAccessOpInterface::getRecordNameAttr
() {
11
return
getImpl()->getRecordNameAttr(getImpl(), getOperation());
12
}
13
14
bool
llzk::pod::PodAccessOpInterface::isRead
() {
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
22
::mlir::OpOperand &
llzk::pod::PodAccessOpInterface::getPodRefMutable
() {
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
30
::mlir::OpOperand &
llzk::pod::PodRefOpInterface::getPodRefMutable
() {
31
return
getImpl()->getPodRefMutable(getImpl(), getOperation());
32
}
llzk::pod::PodAccessOpInterface::getPodRefMutable
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:22
llzk::pod::PodAccessOpInterface::getPodRef
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:18
llzk::pod::PodAccessOpInterface::getRecordNameAttr
::mlir::StringAttr getRecordNameAttr()
Gets the record name attribute from the pod access op.
Definition
OpInterfaces.cpp.inc:10
llzk::pod::PodAccessOpInterface::isRead
bool isRead()
Return true if the op is a read, false if it's a write.
Definition
OpInterfaces.cpp.inc:14
llzk::pod::PodRefOpInterface::getPodRefMutable
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:30
llzk::pod::PodRefOpInterface::getPodRef
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.
Definition
OpInterfaces.cpp.inc:26
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.