|
LLZK 3.0.0
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 86 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 89 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 91 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 95 of file SpecializedMemoryPasses.h.