ActivityAnalysis.h File Reference

#include <cstdint>
#include <deque>
#include <llvm/Config/llvm-config.h>
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Transforms/Utils/ScalarEvolutionExpander.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/IR/InstVisitor.h"
#include "TypeAnalysis/TypeAnalysis.h"
#include "Utils.h"
#include "../../Utils.h"
#include "mlir/IR/Block.h"

Include dependency graph for ActivityAnalysis.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	ActivityAnalyzer
	Helper class to analyze the differential activity. More...
class	mlir::enzyme::ActivityAnalyzer
	Helper class to analyze the differential activity. More...

Namespaces
namespace	mlir
namespace	mlir::enzyme

Macros
#define	private   public

Functions
constexpr const char *	to_string (ActivityAnalyzer::UseActivity UA)
bool	mlir::operator< (const Value &lhs, const Value &rhs)

Variables
llvm::cl::opt< bool >	EnzymePrintActivity
llvm::cl::opt< bool >	EnzymeNonmarkedGlobalsInactive
llvm::cl::opt< bool >	EnzymeGlobalActivity
llvm::cl::opt< bool >	EnzymeEmptyFnInactive
llvm::cl::opt< bool >	EnzymeEnableRecursiveHypotheses
const llvm::StringMap< size_t >	MPIInactiveCommAllocators

Macro Definition Documentation

private

#define private   public

Definition at line 34 of file ActivityAnalysis.h.

Function Documentation

to_string()

const char * to_string ( ActivityAnalyzer::UseActivity UA )

inlineconstexpr

Definition at line 266 of file ActivityAnalysis.h.

Referenced by TypeAnalysis::analyzeFunction(), TypeAnalyzer::dump(), TypeResults::firstPointer(), DifferentialUseAnalysis::is_value_needed_in_reverse(), AdjointGenerator::recursivelyHandleSubfunction(), and AdjointGenerator::visitInstruction().

Variable Documentation

EnzymeEmptyFnInactive

llvm::cl::opt<bool> EnzymeEmptyFnInactive

extern

EnzymeEnableRecursiveHypotheses

llvm::cl::opt<bool> EnzymeEnableRecursiveHypotheses

extern

EnzymeGlobalActivity

llvm::cl::opt<bool> EnzymeGlobalActivity

extern

Referenced by AdjointGenerator::visitCallInst().

EnzymeNonmarkedGlobalsInactive

llvm::cl::opt<bool> EnzymeNonmarkedGlobalsInactive

extern

EnzymePrintActivity

llvm::cl::opt<bool> EnzymePrintActivity

externconstexpr

Definition at line 267 of file ActivityAnalysis.cpp.

Referenced by PreProcessCache::CloneFunctionWithReturns(), ActivityAnalyzer::isConstantInstruction(), mlir::enzyme::ActivityAnalyzer::isConstantValue(), mlir::enzyme::ActivityAnalyzer::isValueActivelyStoredOrReturned(), mlir::enzyme::ActivityAnalyzer::isValueInactiveFromUsers(), and isValuePotentiallyUsedAsPointer().

MPIInactiveCommAllocators

const llvm::StringMap<size_t> MPIInactiveCommAllocators

extern

Definition at line 148 of file ActivityAnalysis.cpp.

Referenced by AdjointGenerator::handleKnownCallDerivatives(), AdjointGenerator::handleMPI(), and mlir::enzyme::ActivityAnalyzer::isConstantValue().