LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
9
11
bool
llzk::DiscardableAllocationAccessorOpInterface::loadsFromDiscardableAllocation
(::mlir::Value ptr) {
12
return
getImpl()->loadsFromDiscardableAllocation(getImpl(), getOperation(), ptr);
13
}
14
16
bool
llzk::DiscardableAllocationAccessorOpInterface::storesToDiscardableAllocation
(::mlir::Value ptr) {
17
return
getImpl()->storesToDiscardableAllocation(getImpl(), getOperation(), ptr);
18
}
19
21
bool
llzk::DiscardableAllocationAccessorOpInterface::canEraseAsDeadStoreTo
(::mlir::Value ptr, const ::mlir::DataLayout & dataLayout) {
22
return
getImpl()->canEraseAsDeadStoreTo(getImpl(), getOperation(), ptr, dataLayout);
23
}
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:21
llzk::DiscardableAllocationAccessorOpInterface::loadsFromDiscardableAllocation
bool loadsFromDiscardableAllocation(::mlir::Value ptr)
Returns true if this op reads from the allocation represented by ptr.
Definition
DiscardableAllocationOpInterfaces.cpp.inc:11
llzk::DiscardableAllocationAccessorOpInterface::storesToDiscardableAllocation
bool storesToDiscardableAllocation(::mlir::Value ptr)
Returns true if this op writes to the allocation represented by ptr.
Definition
DiscardableAllocationOpInterfaces.cpp.inc:16
build
include
llzk
Dialect
Shared
DiscardableAllocationOpInterfaces.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.