|
LLZK 0.1.0
Veridise's ZK Language IR
|
#include <mlir/Analysis/DataFlowFramework.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::dataflow |
Functions | |
| void | llzk::dataflow::markAllOpsAsLive (mlir::DataFlowSolver &solver, mlir::Operation *top) |
| LLZK: Added this utility to ensure analysis is performed for all structs in a given module. | |