LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept Struct Reference
Inheritance diagram for llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept:
[legend]

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 &)

Detailed Description

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

Member Data Documentation

◆ canEraseAsDeadStoreTo

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.

◆ loadsFromDiscardableAllocation

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.

◆ storesToDiscardableAllocation

bool(* llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept::storesToDiscardableAllocation) (const Concept *impl, ::mlir::Operation *, ::mlir::Value)

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


The documentation for this struct was generated from the following file: