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, cleans up the trivial regions afterwards, and removes unused ub.poison values left by an earlier invocation. 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 getDependentDialects (mlir::DialectRegistry &registry) 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, cleans up the trivial regions afterwards, and removes unused ub.poison values left by an earlier invocation.

Definition at line 145 of file SpecializedMemoryPasses.h.

Member Function Documentation

◆ getArgument()

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

Definition at line 157 of file SpecializedMemoryPasses.h.

◆ getDependentDialects()

void llzk::detail::RemoveDeadValuesWorkaroundPass::getDependentDialects ( mlir::DialectRegistry & registry) const
inlineoverride

Definition at line 160 of file SpecializedMemoryPasses.h.

◆ getDescription()

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

Definition at line 158 of file SpecializedMemoryPasses.h.

◆ runOnOperation()

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

Definition at line 165 of file SpecializedMemoryPasses.h.


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