LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::SpecializedMem2Reg< AllocOpTy > Struct Template Reference

A variant of the MLIR mem2reg pass that only promotes memory slots belonging to allocators of type AllocOpTy (which must implement mlir::PromotableAllocationOpInterface). More...

#include <SpecializedMemoryPasses.h>

Inheritance diagram for llzk::SpecializedMem2Reg< AllocOpTy >:
[legend]
Collaboration diagram for llzk::SpecializedMem2Reg< AllocOpTy >:
[legend]

Public Member Functions

mlir::StringRef getArgument () const override
mlir::StringRef getDescription () const override
void runOnOperation () override

Detailed Description

template<typename AllocOpTy>
struct llzk::SpecializedMem2Reg< AllocOpTy >

A variant of the MLIR mem2reg pass that only promotes memory slots belonging to allocators of type AllocOpTy (which must implement mlir::PromotableAllocationOpInterface).

All other allocator ops are ignored. The rest of the pass body is identical to the upstream pass.

Definition at line 83 of file SpecializedMemoryPasses.h.

Member Function Documentation

◆ getArgument()

template<typename AllocOpTy>
mlir::StringRef llzk::SpecializedMem2Reg< AllocOpTy >::getArgument ( ) const
inlineoverride

Definition at line 86 of file SpecializedMemoryPasses.h.

◆ getDescription()

template<typename AllocOpTy>
mlir::StringRef llzk::SpecializedMem2Reg< AllocOpTy >::getDescription ( ) const
inlineoverride

Definition at line 88 of file SpecializedMemoryPasses.h.

◆ runOnOperation()

template<typename AllocOpTy>
void llzk::SpecializedMem2Reg< AllocOpTy >::runOnOperation ( )
inlineoverride

Definition at line 92 of file SpecializedMemoryPasses.h.


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