LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::detail::RemoveDeadValuesWorkaroundPass Class Reference

A workaround wrapper around MLIR's remove-dead-values pass that normalizes empty scf.if else regions before running the upstream implementation and cleans up the trivial regions afterwards. More...

#include <SpecializedMemoryPasses.h>

Inheritance diagram for llzk::detail::RemoveDeadValuesWorkaroundPass:
[legend]
Collaboration diagram for llzk::detail::RemoveDeadValuesWorkaroundPass:
[legend]

Public Member Functions

llvm::StringRef getArgument () const override
llvm::StringRef getDescription () const override
void runOnOperation () final

Detailed Description

A workaround wrapper around MLIR's remove-dead-values pass that normalizes empty scf.if else regions before running the upstream implementation and cleans up the trivial regions afterwards.

Definition at line 138 of file SpecializedMemoryPasses.h.

Member Function Documentation

◆ getArgument()

llvm::StringRef llzk::detail::RemoveDeadValuesWorkaroundPass::getArgument ( ) const
inlineoverride

Definition at line 143 of file SpecializedMemoryPasses.h.

◆ getDescription()

llvm::StringRef llzk::detail::RemoveDeadValuesWorkaroundPass::getDescription ( ) const
inlineoverride

Definition at line 144 of file SpecializedMemoryPasses.h.

◆ runOnOperation()

void llzk::detail::RemoveDeadValuesWorkaroundPass::runOnOperation ( )
inlinefinal

Definition at line 146 of file SpecializedMemoryPasses.h.


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