LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::DiscardableAllocationAccessorOpInterface Class Reference
Inheritance diagram for llzk::DiscardableAllocationAccessorOpInterface:
[legend]
Collaboration diagram for llzk::DiscardableAllocationAccessorOpInterface:
[legend]

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.

Detailed Description

Definition at line 49 of file DiscardableAllocationOpInterfaces.h.inc.

Member Function Documentation

◆ canEraseAsDeadStoreTo()

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.

◆ loadsFromDiscardableAllocation()

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.

◆ storesToDiscardableAllocation()

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.


The documentation for this class was generated from the following files: