LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
AnalysisUtil.cpp File Reference
#include "llzk/Analysis/AnalysisUtil.h"
#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>
Include dependency graph for AnalysisUtil.cpp:

Go to the source code of this file.

Namespaces

namespace  llzk
namespace  llzk::dataflow

Typedefs

using Executable = mlir::dataflow::Executable

Functions

void llzk::dataflow::markAllOpsAsLive (DataFlowSolver &solver, Operation *top)

Typedef Documentation

◆ Executable

using Executable = mlir::dataflow::Executable

Definition at line 16 of file AnalysisUtil.cpp.