|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Attributes | |
| bool(* | loadsFromDiscardableAllocation )(const Concept *impl, ::mlir::Operation *, ::mlir::Value) |
| The methods defined by the interface. | |
| bool(* | storesToDiscardableAllocation )(const Concept *impl, ::mlir::Operation *, ::mlir::Value) |
| bool(* | canEraseAsDeadStoreTo )(const Concept *impl, ::mlir::Operation *, ::mlir::Value, const ::mlir::DataLayout &) |
Definition at line 13 of file DiscardableAllocationOpInterfaces.h.inc.
| bool(* llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept::canEraseAsDeadStoreTo) (const Concept *impl, ::mlir::Operation *, ::mlir::Value, const ::mlir::DataLayout &) |
Definition at line 17 of file DiscardableAllocationOpInterfaces.h.inc.
| bool(* llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept::loadsFromDiscardableAllocation) (const Concept *impl, ::mlir::Operation *, ::mlir::Value) |
The methods defined by the interface.
Definition at line 15 of file DiscardableAllocationOpInterfaces.h.inc.
| bool(* llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept::storesToDiscardableAllocation) (const Concept *impl, ::mlir::Operation *, ::mlir::Value) |
Definition at line 16 of file DiscardableAllocationOpInterfaces.h.inc.