llzk::dataflow Namespace Reference

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...

Concepts
concept	ScalarLatticeValue

Typedefs
using	AbstractDenseLattice = mlir::dataflow::AbstractDenseLattice
using	CallControlFlowAction = mlir::dataflow::CallControlFlowAction

Functions
void	markAllOpsAsLive (DataFlowSolver &solver, Operation *top)
template<typename Derived, ScalarLatticeValue ScalarTy>
mlir::raw_ostream &	operator<< (mlir::raw_ostream &os, const AbstractLatticeValue< Derived, ScalarTy > &v)
void	markAllOpsAsLive (mlir::DataFlowSolver &solver, mlir::Operation *top)
	LLZK: Added this utility to ensure analysis is performed for all structs in a given module.

Typedef Documentation

AbstractDenseLattice

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

Definition at line 56 of file DenseAnalysis.h.

CallControlFlowAction

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

Definition at line 57 of file DenseAnalysis.h.

Function Documentation

markAllOpsAsLive() [1/2]

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

Definition at line 49 of file DenseAnalysis.cpp.

markAllOpsAsLive() [2/2]

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.

operator<<()

template<typename Derived, ScalarLatticeValue ScalarTy>

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

Definition at line 275 of file AbstractLatticeValue.h.