mlir::enzyme::DataFlowActivityAnalyzer Class Reference

#include "MLIR/Analysis/ActivityAnalysis.h"

Public Member Functions
	DataFlowActivityAnalyzer (DataFlowSolver &solver, FunctionOpInterface funcOp, ArrayRef< DIFFE_TYPE > argActivity, ArrayRef< DIFFE_TYPE > returnActivity)
bool	isInactiveOperation (Operation *op)
bool	isInactiveValue (Value value)

Detailed Description

Definition at line 20 of file ActivityAnalysis.h.

Constructor & Destructor Documentation

DataFlowActivityAnalyzer()

enzyme::DataFlowActivityAnalyzer::DataFlowActivityAnalyzer	(	DataFlowSolver &	solver,
		FunctionOpInterface	funcOp,
		ArrayRef< DIFFE_TYPE >	argActivity,
		ArrayRef< DIFFE_TYPE >	returnActivity )

Definition at line 261 of file ActivityAnalysis.cpp.

References mlir::enzyme::computeSummaries(), mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::join(), mlir::enzyme::BackwardOriginsMap::meet(), mlir::enzyme::removeSummaries(), mlir::enzyme::reverseToposortCallgraph(), mlir::enzyme::runActivityAnnotationsForFunction(), and mlir::enzyme::serializeSummaries().

Member Function Documentation

isInactiveOperation()

bool enzyme::DataFlowActivityAnalyzer::isInactiveOperation

(

Operation *

op

)

Definition at line 355 of file ActivityAnalysis.cpp.

References cached, and getStored().

isInactiveValue()

bool enzyme::DataFlowActivityAnalyzer::isInactiveValue

(

Value

value

)

Definition at line 422 of file ActivityAnalysis.cpp.

References cached, CONSTANT, mlir::enzyme::BackwardOriginsLattice::getOrigins(), mlir::enzyme::ForwardOriginsLattice::getOrigins(), mlir::enzyme::SparseSetLattice< ValueT >::isUndefined(), and mlir::enzyme::SparseSetLattice< ValueT >::isUnknown().

---

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

• MLIR/Analysis/ActivityAnalysis.h
• MLIR/Analysis/ActivityAnalysis.cpp