SparseAnalysis.h File Reference

This file provides LLZK's sparse forward data-flow analysis compatibility layer. More...

#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>
#include <mlir/Analysis/DataFlow/SparseAnalysis.h>
#include <mlir/Analysis/DataFlowFramework.h>
#include <mlir/IR/Block.h>
#include <mlir/IR/Operation.h>
#include <mlir/IR/Region.h>
#include <mlir/IR/SymbolTable.h>
#include <mlir/IR/Value.h>
#include <mlir/Interfaces/CallInterfaces.h>
#include <mlir/Interfaces/ControlFlowInterfaces.h>
#include <mlir/Support/LLVM.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/Support/Casting.h>
#include <type_traits>

Include dependency graph for SparseAnalysis.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
	Compatibility adapter over MLIR sparse forward data-flow analysis. More...
class	llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >
	A sparse forward data-flow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations. More...

Namespaces
namespace	llzk
namespace	llzk::dataflow

Typedefs
using	llzk::dataflow::AbstractSparseLattice = mlir::dataflow::AbstractSparseLattice

Detailed Description

This file provides LLZK's sparse forward data-flow analysis compatibility layer.

Standard sparse analysis behavior is delegated to upstream MLIR; the adapter only restores LLZK's historical handling for live operations with no results.

Definition in file SparseAnalysis.h.