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

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

#include <SpecializedMemoryPasses.h>

Inheritance diagram for llzk::SpecializedSROA< AllocOpTy >:
[legend]
Collaboration diagram for llzk::SpecializedSROA< 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::SpecializedSROA< AllocOpTy >

A variant of the MLIR sroa pass that only destructures memory slots belonging to allocators of type AllocOpTy (which must implement mlir::DestructurableAllocationOpInterface).

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

Definition at line 36 of file SpecializedMemoryPasses.h.

Member Function Documentation

◆ getArgument()

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

Definition at line 38 of file SpecializedMemoryPasses.h.

◆ getDescription()

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

Definition at line 40 of file SpecializedMemoryPasses.h.

◆ runOnOperation()

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

Definition at line 44 of file SpecializedMemoryPasses.h.


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