mlir::enzyme::BackwardActivityAnnotationAnalysis Class Reference

#include "MLIR/Analysis/ActivityAnnotations.h"

Inheritance diagram for mlir::enzyme::BackwardActivityAnnotationAnalysis:

Collaboration diagram for mlir::enzyme::BackwardActivityAnnotationAnalysis:

Public Member Functions
	BackwardActivityAnnotationAnalysis (DataFlowSolver &solver, SymbolTableCollection &symbolTable)
void	visitBranchOperand (OpOperand &operand) override
void	visitCallOperand (OpOperand &operand) override
void	visitNonControlFlowArguments (RegionSuccessor &successor, ArrayRef< BlockArgument > arguments) override
void	setToExitState (BackwardOriginsLattice *lattice) override
LogicalResult	visitOperation (Operation *op, ArrayRef< BackwardOriginsLattice * > operands, ArrayRef< const BackwardOriginsLattice * > results) override
void	visitExternalCall (CallOpInterface call, ArrayRef< BackwardOriginsLattice * > operands, ArrayRef< const BackwardOriginsLattice * > results) override

Detailed Description

Definition at line 99 of file ActivityAnnotations.h.

Constructor & Destructor Documentation

BackwardActivityAnnotationAnalysis()

mlir::enzyme::BackwardActivityAnnotationAnalysis::BackwardActivityAnnotationAnalysis ( DataFlowSolver & solver, SymbolTableCollection & symbolTable )

inline

Definition at line 102 of file ActivityAnnotations.h.

Member Function Documentation

setToExitState()

void enzyme::BackwardActivityAnnotationAnalysis::setToExitState ( BackwardOriginsLattice * lattice )

override

Definition at line 245 of file ActivityAnnotations.cpp.

References mlir::enzyme::SparseSetLattice< ValueT >::markUnknown().

visitBranchOperand()

void mlir::enzyme::BackwardActivityAnnotationAnalysis::visitBranchOperand ( OpOperand & operand )

inlineoverride

Definition at line 108 of file ActivityAnnotations.h.

visitCallOperand()

void mlir::enzyme::BackwardActivityAnnotationAnalysis::visitCallOperand ( OpOperand & operand )

inlineoverride

Definition at line 110 of file ActivityAnnotations.h.

visitExternalCall()

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

override

Definition at line 302 of file ActivityAnnotations.cpp.

References deserializeReturnOrigins().

visitNonControlFlowArguments()

void mlir::enzyme::BackwardActivityAnnotationAnalysis::visitNonControlFlowArguments ( RegionSuccessor & successor, ArrayRef< BlockArgument > arguments )

inlineoverride

Definition at line 113 of file ActivityAnnotations.h.

visitOperation()

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

override

Definition at line 257 of file ActivityAnnotations.cpp.

References isFullyActive().

---

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

• MLIR/Analysis/ActivityAnnotations.h
• MLIR/Analysis/ActivityAnnotations.cpp