LLZK
2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
DiscardableAllocationOpInterfaces.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
bool
llzk::DiscardableAllocationAccessorOpInterface::loadsFromDiscardableAllocation
(::mlir::Value ptr) {
11
return
getImpl()->loadsFromDiscardableAllocation(getImpl(), getOperation(), ptr);
12
}
13
14
bool
llzk::DiscardableAllocationAccessorOpInterface::storesToDiscardableAllocation
(::mlir::Value ptr) {
15
return
getImpl()->storesToDiscardableAllocation(getImpl(), getOperation(), ptr);
16
}
17
18
bool
llzk::DiscardableAllocationAccessorOpInterface::canEraseAsDeadStoreTo
(::mlir::Value ptr, const ::mlir::DataLayout & dataLayout) {
19
return
getImpl()->canEraseAsDeadStoreTo(getImpl(), getOperation(), ptr, dataLayout);
20
}
llzk::DiscardableAllocationAccessorOpInterface::canEraseAsDeadStoreTo
bool canEraseAsDeadStoreTo(::mlir::Value ptr, const ::mlir::DataLayout &dataLayout)
Returns true if this op can be erased as a dead store to ptr.
Definition
DiscardableAllocationOpInterfaces.cpp.inc:18
llzk::DiscardableAllocationAccessorOpInterface::loadsFromDiscardableAllocation
bool loadsFromDiscardableAllocation(::mlir::Value ptr)
Returns true if this op reads from the allocation represented by ptr.
Definition
DiscardableAllocationOpInterfaces.cpp.inc:10
llzk::DiscardableAllocationAccessorOpInterface::storesToDiscardableAllocation
bool storesToDiscardableAllocation(::mlir::Value ptr)
Returns true if this op writes to the allocation represented by ptr.
Definition
DiscardableAllocationOpInterfaces.cpp.inc:14
build
include
llzk
Dialect
Shared
DiscardableAllocationOpInterfaces.cpp.inc
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.