llzk::SourceRefAnalysis Class Reference

The dataflow analysis that computes the set of references that LLZK operations use and produce. More...

#include <ConstraintDependencyGraph.h>

Inheritance diagram for llzk::SourceRefAnalysis:

Collaboration diagram for llzk::SourceRefAnalysis:

Public Types
using	Lattice = SourceRefLattice
using	OperandValues = mlir::DenseMap<mlir::Value, const Lattice *>
using	Base = dataflow::SparseForwardDataFlowAnalysis<Lattice>

Public Member Functions
mlir::LogicalResult	visitOperation (mlir::Operation *op, mlir::ArrayRef< const Lattice * > operands, mlir::ArrayRef< Lattice * > results) override
	Propagate SourceRef lattice values through an operation.
void	visitExternalCall (mlir::CallOpInterface call, mlir::ArrayRef< const Lattice * > argumentLattices, mlir::ArrayRef< Lattice * > resultLattices) override
	Propagate references across a call treated as external.
	SparseForwardDataFlowAnalysis (mlir::DataFlowSolver &s)
Public Member Functions inherited from llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >
	SparseForwardDataFlowAnalysis (mlir::DataFlowSolver &s)
virtual void	visitNonControlFlowArguments (mlir::Operation *, const mlir::RegionSuccessor &successor, mlir::ArrayRef< SourceRefLattice * > argLattices, unsigned firstIndex)
	Given an operation with possible region control-flow, the lattices of the operands, and a region successor, compute the lattice values for block arguments that are not accounted for by the branching control flow (ex.
Public Member Functions inherited from llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
mlir::LogicalResult	initialize (mlir::Operation *top) override
	Initialize the analysis while preserving the program-order visitation of the old LLZK sparse analysis port.
mlir::LogicalResult	visit (mlir::ProgramPoint *point) override
	Delegate block starts and result-producing operations to upstream MLIR.

Static Public Member Functions
static const Lattice *	getLattice (mlir::DataFlowSolver &solver, mlir::Value val)
static SourceRefLatticeValue	getValueState (mlir::DataFlowSolver &solver, mlir::Value val)
static mlir::FailureOr< SourceRefLatticeValue >	getWriteTargetState (mlir::DataFlowSolver &solver, mlir::Operation *op)

Protected Member Functions
void	setToEntryState (Lattice *lattice) override
	Set the given lattice element(s) at control-flow entry point(s).
Protected Member Functions inherited from llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >
SourceRefLattice *	getLatticeElement (mlir::Value value) override
	Get the lattice element for a value.
const SourceRefLattice *	getLatticeElementFor (mlir::ProgramPoint *point, mlir::Value value)
	Get the lattice element for a value and create a dependency on the provided program point.
void	setAllToEntryStates (mlir::ArrayRef< SourceRefLattice * > lattices)
Protected Member Functions inherited from llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
	AbstractSparseForwardDataFlowAnalysis (mlir::DataFlowSolver &s)

Static Protected Member Functions
static mlir::ChangeResult	fallbackOpUpdate (mlir::Operation *op, const OperandValues &operandVals, mlir::ArrayRef< Lattice * > results)
static SourceRefLatticeValue	arraySubdivisionOpUpdate (array::ArrayAccessOpInterface op, const OperandValues &operandVals)

Additional Inherited Members
Protected Attributes inherited from llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
mlir::SymbolTableCollection	tables
	LLZK: Kept as a compatibility cache for analyses that derived from the old ported class and used this protected member.

Detailed Description

The dataflow analysis that computes the set of references that LLZK operations use and produce.

The analysis is simple: any operation will simply output a union of its input references, regardless of what type of operation it performs, as the analysis is operator-insensitive.

Definition at line 36 of file ConstraintDependencyGraph.h.

Member Typedef Documentation

Base

using llzk::SourceRefAnalysis::Base = dataflow::SparseForwardDataFlowAnalysis<Lattice>

Definition at line 40 of file ConstraintDependencyGraph.h.

Lattice

using llzk::SourceRefAnalysis::Lattice = SourceRefLattice

Definition at line 38 of file ConstraintDependencyGraph.h.

OperandValues

using llzk::SourceRefAnalysis::OperandValues = mlir::DenseMap<mlir::Value, const Lattice *>

Definition at line 39 of file ConstraintDependencyGraph.h.

Member Function Documentation

arraySubdivisionOpUpdate()

SourceRefLatticeValue llzk::SourceRefAnalysis::arraySubdivisionOpUpdate ( array::ArrayAccessOpInterface op, const OperandValues & operandVals )

staticprotected

Definition at line 294 of file ConstraintDependencyGraph.cpp.

fallbackOpUpdate()

ChangeResult llzk::SourceRefAnalysis::fallbackOpUpdate ( mlir::Operation * op, const OperandValues & operandVals, mlir::ArrayRef< Lattice * > results )

staticprotected

Definition at line 280 of file ConstraintDependencyGraph.cpp.

getLattice()

const SourceRefAnalysis::Lattice * llzk::SourceRefAnalysis::getLattice ( mlir::DataFlowSolver & solver, mlir::Value val )

static

Definition at line 44 of file ConstraintDependencyGraph.cpp.

getValueState()

SourceRefLatticeValue llzk::SourceRefAnalysis::getValueState ( mlir::DataFlowSolver & solver, mlir::Value val )

static

Definition at line 48 of file ConstraintDependencyGraph.cpp.

getWriteTargetState()

mlir::FailureOr< SourceRefLatticeValue > llzk::SourceRefAnalysis::getWriteTargetState ( mlir::DataFlowSolver & solver, mlir::Operation * op )

static

Definition at line 56 of file ConstraintDependencyGraph.cpp.

setToEntryState()

void llzk::SourceRefAnalysis::setToEntryState ( Lattice * lattice )

overrideprotectedvirtual

Set the given lattice element(s) at control-flow entry point(s).

Implements llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >.

Definition at line 123 of file ConstraintDependencyGraph.cpp.

SparseForwardDataFlowAnalysis()

llzk::dataflow::SparseForwardDataFlowAnalysis< Lattice >::SparseForwardDataFlowAnalysis ( mlir::DataFlowSolver & s )

inlineexplicit

Definition at line 133 of file SparseAnalysis.h.

visitExternalCall()

void llzk::SourceRefAnalysis::visitExternalCall ( mlir::CallOpInterface call, mlir::ArrayRef< const Lattice * > argumentLattices, mlir::ArrayRef< Lattice * > resultLattices )

overridevirtual

Propagate references across a call treated as external.

For a call with no definition, assigns each result a fresh root reference. For a defined callable, translates reference states returned by the callee into the caller's context using the argument lattice states. This is also used when interprocedural analysis deliberately treats a defined call as external.

Parameters

call	The call operation being analyzed.
argumentLattices	The current lattice states of call's arguments, in argument order.
resultLattices	The lattice states to update for call's results, in result order.

Reimplemented from llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >.

Definition at line 220 of file ConstraintDependencyGraph.cpp.

visitOperation()

LogicalResult llzk::SourceRefAnalysis::visitOperation ( mlir::Operation * op, mlir::ArrayRef< const Lattice * > operands, mlir::ArrayRef< Lattice * > results )

overridevirtual

Propagate SourceRef lattice values through an operation.

Applies operation-specific reference propagation for aggregate accesses and constructions. For all other operations, each result receives the union of its operands' references, along with any root reference required for that result.

Parameters

op	The operation whose results are being analyzed.
operands	The current lattice states of op's operands, in operand order.
results	The lattice states to update for op's results, in result order.

Implements llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >.

Definition at line 139 of file ConstraintDependencyGraph.cpp.

---

The documentation for this class was generated from the following files:

• include/llzk/Analysis/ConstraintDependencyGraph.h
• lib/Analysis/ConstraintDependencyGraph.cpp