|
LLZK 0.1.0
Veridise's ZK Language IR
|
#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>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::dataflow |
Typedefs | |
| using | CFGEdge = mlir::dataflow::CFGEdge |
| using CFGEdge = mlir::dataflow::CFGEdge |
Definition at line 37 of file DenseAnalysis.cpp.