|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Classes | |
| struct | Trait |
Public Member Functions | |
| 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. | |
| bool | canEraseAsDeadStoreTo (::mlir::Value ptr, const ::mlir::DataLayout &dataLayout) |
| Returns true if this op can be erased as a dead store to ptr. | |
Definition at line 49 of file DiscardableAllocationOpInterfaces.h.inc.
| bool llzk::DiscardableAllocationAccessorOpInterface::canEraseAsDeadStoreTo | ( | ::mlir::Value | ptr, |
| const ::mlir::DataLayout & | dataLayout ) |
Returns true if this op can be erased as a dead store to ptr.
Definition at line 18 of file DiscardableAllocationOpInterfaces.cpp.inc.
| bool llzk::DiscardableAllocationAccessorOpInterface::loadsFromDiscardableAllocation | ( | ::mlir::Value | ptr | ) |
Returns true if this op reads from the allocation represented by ptr.
Definition at line 10 of file DiscardableAllocationOpInterfaces.cpp.inc.
| bool llzk::DiscardableAllocationAccessorOpInterface::storesToDiscardableAllocation | ( | ::mlir::Value | ptr | ) |
Returns true if this op writes to the allocation represented by ptr.
Definition at line 14 of file DiscardableAllocationOpInterfaces.cpp.inc.