|
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 and cleans up the trivial regions afterwards. More...
#include <SpecializedMemoryPasses.h>
Public Member Functions | |
| llvm::StringRef | getArgument () const override |
| llvm::StringRef | getDescription () 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 and cleans up the trivial regions afterwards.
Definition at line 138 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 143 of file SpecializedMemoryPasses.h.
|
inlineoverride |
Definition at line 144 of file SpecializedMemoryPasses.h.
|
inlinefinal |
Definition at line 146 of file SpecializedMemoryPasses.h.