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
11 return getImpl()->loadsFromDiscardableAllocation(getImpl(), getOperation(), ptr);
12 }
13
15 return getImpl()->storesToDiscardableAllocation(getImpl(), getOperation(), ptr);
16 }
17
18bool llzk::DiscardableAllocationAccessorOpInterface::canEraseAsDeadStoreTo(::mlir::Value ptr, const ::mlir::DataLayout & dataLayout) {
19 return getImpl()->canEraseAsDeadStoreTo(getImpl(), getOperation(), ptr, dataLayout);
20 }
bool canEraseAsDeadStoreTo(::mlir::Value ptr, const ::mlir::DataLayout &dataLayout)
Returns true if this op can be erased as a dead store to ptr.
bool loadsFromDiscardableAllocation(::mlir::Value ptr)
Returns true if this op reads from the allocation represented by ptr.
bool storesToDiscardableAllocation(::mlir::Value ptr)
Returns true if this op writes to the allocation represented by ptr.