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

Replace mlir::registerTransformsPasses() to register a custom remove-dead-values pass because MLIR version 23.1.0 has a bug where the pass tracks poison values that it created during its current invocation only and may end up leaving behind dead poison values. More...

Detailed Description

Replace mlir::registerTransformsPasses() to register a custom remove-dead-values pass because MLIR version 23.1.0 has a bug where the pass tracks poison values that it created during its current invocation only and may end up leaving behind dead poison values.