LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | List of all members
llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp > Class Template Reference
Inheritance diagram for llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >:
[legend]
Collaboration diagram for llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >:
[legend]

Public Types

using Interface = ::llzk::DiscardableAllocationAccessorOpInterface

Public Member Functions

 Model ()

Static Public Member Functions

static bool loadsFromDiscardableAllocation (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::Value ptr)
static bool storesToDiscardableAllocation (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::Value ptr)
static bool canEraseAsDeadStoreTo (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::Value ptr, const ::mlir::DataLayout &dataLayout)

Additional Inherited Members

Public Attributes inherited from llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept
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

template<typename ConcreteOp>
class llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >

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

Member Typedef Documentation

◆ Interface

template<typename ConcreteOp>
using llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >::Interface = ::llzk::DiscardableAllocationAccessorOpInterface

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

Constructor & Destructor Documentation

◆ Model()

template<typename ConcreteOp>
llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >::Model ( )
inline

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

Member Function Documentation

◆ canEraseAsDeadStoreTo()

template<typename ConcreteOp>
bool llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >::canEraseAsDeadStoreTo ( const Concept * impl,
::mlir::Operation * tablegen_opaque_val,
::mlir::Value ptr,
const ::mlir::DataLayout & dataLayout )
inlinestatic

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

◆ loadsFromDiscardableAllocation()

template<typename ConcreteOp>
bool llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >::loadsFromDiscardableAllocation ( const Concept * impl,
::mlir::Operation * tablegen_opaque_val,
::mlir::Value ptr )
inlinestatic

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

◆ storesToDiscardableAllocation()

template<typename ConcreteOp>
bool llzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp >::storesToDiscardableAllocation ( const Concept * impl,
::mlir::Operation * tablegen_opaque_val,
::mlir::Value ptr )
inlinestatic

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

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