|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
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>
Public Member Functions | |
| mlir::StringRef | getArgument () const override |
| mlir::StringRef | getDescription () const override |
| void | runOnOperation () override |
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.
|
inlineoverride |
Definition at line 86 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 88 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 92 of file SpecializedMemoryPasses.h.