LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
DenseAnalysis.cpp File Reference
#include "llzk/Analysis/DenseAnalysis.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Util/ErrorHelper.h"
#include "llzk/Util/SymbolHelper.h"
#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>
#include <mlir/Analysis/DataFlowFramework.h>
#include <mlir/IR/Block.h>
#include <mlir/IR/Operation.h>
#include <mlir/IR/Region.h>
#include <mlir/Interfaces/CallInterfaces.h>
#include <mlir/Interfaces/ControlFlowInterfaces.h>
#include <mlir/Support/LLVM.h>
#include <mlir/Support/LogicalResult.h>
#include <llvm/ADT/STLExtras.h>
#include <llvm/Support/Casting.h>
#include <optional>
Include dependency graph for DenseAnalysis.cpp:

Go to the source code of this file.

Namespaces

namespace  llzk
namespace  llzk::dataflow

Typedefs

using Executable = mlir::dataflow::Executable
using CFGEdge = mlir::dataflow::CFGEdge

Functions

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

Typedef Documentation

◆ CFGEdge

using CFGEdge = mlir::dataflow::CFGEdge

Definition at line 37 of file DenseAnalysis.cpp.

◆ Executable

using Executable = mlir::dataflow::Executable

Definition at line 36 of file DenseAnalysis.cpp.