|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
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>
Public Member Functions | |
| llvm::StringRef | getArgument () const override |
| llvm::StringRef | getDescription () const override |
| void | getDependentDialects (mlir::DialectRegistry ®istry) const override |
| void | runOnOperation () final |
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.
|
inlineoverride |
Definition at line 157 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 160 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 158 of file SpecializedMemoryPasses.h.
|
inlinefinal |
Definition at line 165 of file SpecializedMemoryPasses.h.