#include "DataFlowAliasAnalysis.h"
#include "Dialect/Dialect.h"
#include "Dialect/Ops.h"
#include "mlir/Analysis/AliasAnalysis.h"
#include "mlir/Analysis/DataFlow/DenseAnalysis.h"
#include "mlir/Analysis/DataFlow/SparseAnalysis.h"
#include "mlir/Analysis/DataFlow/Utils.h"
#include "mlir/Analysis/DataFlowFramework.h"
#include "mlir/Dialect/LLVMIR/LLVMAttrs.h"
#include "mlir/Interfaces/FunctionInterfaces.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "mlir/Interfaces/ViewLikeInterface.h"
#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "mlir/Dialect/Affine/IR/AffineOps.h"
#include "mlir/Dialect/MemRef/IR/MemRef.h"
#include "llvm/ADT/SetOperations.h"

Include dependency graph for DataFlowAliasAnalysis.cpp:

Functions
static bool	isPointerLike (Type type)

template<typename T >
static ChangeResult	mergeSets (DenseSet< T > &dest, const DenseSet< T > &src)

static void	deserializePointsTo (ArrayAttr summaryAttr, DenseMap< DistinctAttr, enzyme::AliasClassSet > &summaryMap)

std::optional< Value >	getStored (Operation *op)

std::optional< Value >	getCopySource (Operation *op)

static bool	isMustStore (Operation *op, Value pointer)

static bool	isNoOp (Operation *op)

static bool	modRefMayMod (std::optional< LLVM::ModRefInfo > modRef)

static bool	modRefMayRef (std::optional< LLVM::ModRefInfo > modRef)

static bool	mayReadArg (FunctionOpInterface callee, unsigned argNo, std::optional< LLVM::ModRefInfo > argMemMRI)

static bool	mayWriteArg (FunctionOpInterface callee, unsigned argNo, std::optional< LLVM::ModRefInfo > argMemMRI)

static std::optional< LLVM::ModRefInfo >	getFunctionArgModRef (FunctionOpInterface func)
	Returns information indicating whether the function may read or write into the memory pointed to by its arguments.

static std::optional< LLVM::ModRefInfo >	getFunctionOtherModRef (FunctionOpInterface func)
	Returns information indicating whether the function may read or write into the memory other than that pointed to by its arguments, though still accessible from (any) calling context.

static std::optional< LLVM::ModRefInfo >	getFunctionInaccessibleModRef (FunctionOpInterface func)
	Returns information indicating whether the function may read or write into memory previously inaccessible in the calling context.

static bool	isAliasTransferFullyDescribedByMemoryEffects (Operation *op)
	Returns `true` if the alias transfer function of the operation is fully described by its memory effects.

void	populateConservativeCallEffects (CallOpInterface call, SmallVectorImpl< MemoryEffects::EffectInstance > &effects)

LogicalResult	getEffectsForExternalCall (CallOpInterface call, SmallVectorImpl< MemoryEffects::EffectInstance > &effects)

static void	deserializeAliasSummary (ArrayAttr summary, SmallVectorImpl< enzyme::AliasClassSet > &out)

Variables
static constexpr llvm::StringLiteral	kLLVMMemoryAttrName = "memory_effects"

Function Documentation

◆ deserializeAliasSummary()

static void deserializeAliasSummary	(	ArrayAttr	summary,
		SmallVectorImpl< enzyme::AliasClassSet > &	out )

static

Definition at line 1038 of file DataFlowAliasAnalysis.cpp.

References mlir::enzyme::SetLattice< DistinctAttr >::getUndefined(), mlir::enzyme::SetLattice< DistinctAttr >::getUnknown(), mlir::enzyme::SetLattice< ValueT >::insert(), mlir::enzyme::undefinedSetString, and mlir::enzyme::unknownSetString.

Referenced by mlir::enzyme::AliasAnalysis::visitExternalCall().

◆ deserializePointsTo()

static void deserializePointsTo	(	ArrayAttr	summaryAttr,
		DenseMap< DistinctAttr, enzyme::AliasClassSet > &	summaryMap )

static

Definition at line 67 of file DataFlowAliasAnalysis.cpp.

References mlir::enzyme::SetLattice< DistinctAttr >::getUndefined(), mlir::enzyme::undefinedSetString, and mlir::enzyme::unknownSetString.

◆ getCopySource()

std::optional< Value > getCopySource ( Operation * op )

Definition at line 220 of file DataFlowActivityAnalysis.cpp.

◆ getEffectsForExternalCall()

LogicalResult getEffectsForExternalCall	(	CallOpInterface	call,
		SmallVectorImpl< MemoryEffects::EffectInstance > &	effects )

Definition at line 989 of file DataFlowAliasAnalysis.cpp.

Referenced by mlir::enzyme::AliasAnalysis::visitExternalCall().

◆ getFunctionArgModRef()

static std::optional< LLVM::ModRefInfo > getFunctionArgModRef ( FunctionOpInterface func )

static

Returns information indicating whether the function may read or write into the memory pointed to by its arguments.

When unknown, returns nullopt.

Definition at line 374 of file DataFlowAliasAnalysis.cpp.

References kLLVMMemoryAttrName.

Referenced by mlir::enzyme::PointsToPointerAnalysis::visitCallControlFlowTransfer(), and mlir::enzyme::AliasAnalysis::visitExternalCall().

◆ getFunctionInaccessibleModRef()

static std::optional< LLVM::ModRefInfo > getFunctionInaccessibleModRef ( FunctionOpInterface func )

static

Returns information indicating whether the function may read or write into memory previously inaccessible in the calling context.

When unknown, returns nullopt.

Definition at line 487 of file DataFlowAliasAnalysis.cpp.

References kLLVMMemoryAttrName.

Referenced by mlir::enzyme::AliasAnalysis::visitExternalCall().

◆ getFunctionOtherModRef()

static std::optional< LLVM::ModRefInfo > getFunctionOtherModRef ( FunctionOpInterface func )

static

Returns information indicating whether the function may read or write into the memory other than that pointed to by its arguments, though still accessible from (any) calling context.

When unknown, returns nullopt.

Definition at line 399 of file DataFlowAliasAnalysis.cpp.

References kLLVMMemoryAttrName.

Referenced by mlir::enzyme::PointsToPointerAnalysis::visitCallControlFlowTransfer(), and mlir::enzyme::AliasAnalysis::visitExternalCall().