mlir::enzyme::SparseForwardActivityAnalysis Class Reference

Sparse activity analysis reasons about activity by traversing forward down the def-use chains starting from active function arguments. More...

#include "MLIR/Analysis/DataFlowActivityAnalysis.h"

Inheritance diagram for mlir::enzyme::SparseForwardActivityAnalysis:

Collaboration diagram for mlir::enzyme::SparseForwardActivityAnalysis:

Public Member Functions
void	setToEntryState (enzyme::ForwardValueActivity *lattice) override
	In general, we don't know anything about entry operands.
LogicalResult	visitOperation (Operation *op, ArrayRef< const enzyme::ForwardValueActivity * > operands, ArrayRef< enzyme::ForwardValueActivity * > results) override
void	visitExternalCall (CallOpInterface call, ArrayRef< const enzyme::ForwardValueActivity * > operands, ArrayRef< enzyme::ForwardValueActivity * > results) override
void	transfer (Operation *op, ArrayRef< const enzyme::ForwardValueActivity * > operands, ArrayRef< enzyme::ForwardValueActivity * > results)

Detailed Description

Sparse activity analysis reasons about activity by traversing forward down the def-use chains starting from active function arguments.

Definition at line 140 of file DataFlowActivityAnalysis.h.

Member Function Documentation

setToEntryState()

void enzyme::SparseForwardActivityAnalysis::setToEntryState ( enzyme::ForwardValueActivity * lattice )

override

In general, we don't know anything about entry operands.

Definition at line 119 of file DataFlowActivityAnalysis.cpp.

transfer()

void enzyme::SparseForwardActivityAnalysis::transfer	(	Operation *	op,
		ArrayRef< const enzyme::ForwardValueActivity * >	operands,
		ArrayRef< enzyme::ForwardValueActivity * >	results )

Definition at line 147 of file DataFlowActivityAnalysis.cpp.

References mlir::enzyme::ValueActivity::getConstant(), mlir::enzyme::ValueActivity::getValue(), mlir::enzyme::ValueActivity::isActiveVal(), and mlir::enzyme::ValueActivity::merge().

visitExternalCall()

void enzyme::SparseForwardActivityAnalysis::visitExternalCall ( CallOpInterface call, ArrayRef< const enzyme::ForwardValueActivity * > operands, ArrayRef< enzyme::ForwardValueActivity * > results )

override

Definition at line 140 of file DataFlowActivityAnalysis.cpp.

visitOperation()

LogicalResult enzyme::SparseForwardActivityAnalysis::visitOperation ( Operation * op, ArrayRef< const enzyme::ForwardValueActivity * > operands, ArrayRef< enzyme::ForwardValueActivity * > results )

override

Definition at line 125 of file DataFlowActivityAnalysis.cpp.

---

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

• MLIR/Analysis/DataFlowActivityAnalysis.h
• MLIR/Analysis/DataFlowActivityAnalysis.cpp