Classes
class	AbstractDenseForwardDataFlowAnalysis
	LLZK: This class has been ported from the MLIR DenseAnalysis utilities to allow for the use of custom LLZK symbol lookup logic. More...

class	AbstractLatticeValue

class	DenseForwardDataFlowAnalysis
	LLZK: This class has been ported so that it can inherit from our port of the AbstractDenseForwardDataFlowAnalysis above. More...

Typedefs
using	AbstractDenseLattice = mlir::dataflow::AbstractDenseLattice

using	CallControlFlowAction = mlir::dataflow::CallControlFlowAction

Functions
void	markAllOpsAsLive (mlir::DataFlowSolver &solver, mlir::Operation *top)
	LLZK: Added this utility to ensure analysis is performed for all structs in a given module.

template<typename Derived, ScalarLatticeValue ScalarTy>
mlir::raw_ostream &	operator<< (mlir::raw_ostream &os, const AbstractLatticeValue< Derived, ScalarTy > &v)

Typedef Documentation

◆ AbstractDenseLattice

using llzk::dataflow::AbstractDenseLattice = mlir::dataflow::AbstractDenseLattice

Definition at line 57 of file DenseAnalysis.h.

using llzk::dataflow::CallControlFlowAction = mlir::dataflow::CallControlFlowAction

Definition at line 58 of file DenseAnalysis.h.

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.

Mark all operations from the top and included in the top operation as live so the solver will perform dataflow analyses.

Parameters

solver	The solver.
top	The top-level operation.

Definition at line 48 of file DenseAnalysis.cpp.

template<typename Derived, ScalarLatticeValue ScalarTy>

mlir::raw_ostream & llzk::dataflow::operator<<	(	mlir::raw_ostream &	os,
		const AbstractLatticeValue< Derived, ScalarTy > &	v )

Definition at line 258 of file AbstractLatticeValue.h.