Helper class that computes the fixed-point type results of a given function. More...

#include "TypeAnalysis/TypeAnalysis.h"

Inheritance diagram for TypeAnalyzer:

Collaboration diagram for TypeAnalyzer:

[legend]

Public Member Functions
FnTypeInfo	getCallInfo (llvm::CallBase &CI, llvm::Function &fn)

	TypeAnalyzer (TypeAnalysis &TA)

	TypeAnalyzer (const FnTypeInfo &fn, TypeAnalysis &TA, uint8_t direction=BOTH)

	TypeAnalyzer (const FnTypeInfo &fn, TypeAnalysis &TA, const llvm::SmallPtrSetImpl< llvm::BasicBlock * > &notForAnalysis, const TypeAnalyzer &Prev, uint8_t direction=BOTH, bool PHIRecur=false)

const TypeTree &	getAnalysis (llvm::Value *Val)
	Get the current results for a given value.

void	updateAnalysis (llvm::Value val, BaseType data, llvm::Value origin)
	Add additional information to the Type info of val, readding it to the work queue as necessary.

void	updateAnalysis (llvm::Value val, ConcreteType data, llvm::Value origin)

void	updateAnalysis (llvm::Value val, TypeTree data, llvm::Value origin)

void	prepareArgs ()
	Analyze type info given by the arguments, possibly adding to work queue.

void	considerTBAA ()
	Analyze type info given by the TBAA, possibly adding to work queue.

void	run ()
	Run the interprocedural type analysis starting from this function.

void	runPHIHypotheses ()
	Hypothesize that undefined phi's are integers and try to prove that they are really integral.

void	visitValue (llvm::Value &val)

void	visitConstantExpr (llvm::ConstantExpr &CE)

void	visitCmpInst (llvm::CmpInst &I)

void	visitAllocaInst (llvm::AllocaInst &I)

void	visitLoadInst (llvm::LoadInst &I)

void	visitStoreInst (llvm::StoreInst &I)

void	visitGetElementPtrInst (llvm::GetElementPtrInst &gep)

void	visitGEPOperator (llvm::GEPOperator &gep)

void	visitPHINode (llvm::PHINode &phi)

void	visitTruncInst (llvm::TruncInst &I)

void	visitZExtInst (llvm::ZExtInst &I)

void	visitSExtInst (llvm::SExtInst &I)

void	visitAddrSpaceCastInst (llvm::AddrSpaceCastInst &I)

void	visitFPExtInst (llvm::FPExtInst &I)

void	visitFPTruncInst (llvm::FPTruncInst &I)

void	visitFPToUIInst (llvm::FPToUIInst &I)

void	visitFPToSIInst (llvm::FPToSIInst &I)

void	visitUIToFPInst (llvm::UIToFPInst &I)

void	visitSIToFPInst (llvm::SIToFPInst &I)

void	visitPtrToIntInst (llvm::PtrToIntInst &I)

void	visitIntToPtrInst (llvm::IntToPtrInst &I)

void	visitBitCastInst (llvm::BitCastInst &I)

void	visitSelectInst (llvm::SelectInst &I)

void	visitExtractElementInst (llvm::ExtractElementInst &I)

void	visitInsertElementInst (llvm::InsertElementInst &I)

void	visitShuffleVectorInst (llvm::ShuffleVectorInst &I)

void	visitExtractValueInst (llvm::ExtractValueInst &I)

void	visitInsertValueInst (llvm::InsertValueInst &I)

void	visitAtomicRMWInst (llvm::AtomicRMWInst &I)

void	visitBinaryOperator (llvm::BinaryOperator &I)

void	visitBinaryOperation (const llvm::DataLayout &DL, llvm::Type T, llvm::Instruction::BinaryOps, llvm::Value Args[2], TypeTree &Ret, TypeTree &LHS, TypeTree &RHS, llvm::Instruction *I)

void	visitIPOCall (llvm::CallBase &call, llvm::Function &fn)

void	visitCallBase (llvm::CallBase &call)

void	visitMemTransferInst (llvm::MemTransferInst &MTI)

void	visitMemTransferCommon (llvm::CallBase &MTI)

void	visitIntrinsicInst (llvm::IntrinsicInst &II)

TypeTree	getReturnAnalysis ()

void	dump (llvm::raw_ostream &ss=llvm::errs())

std::set< int64_t >	knownIntegralValues (llvm::Value *val)

Public Attributes
std::shared_ptr< llvm::ModuleSlotTracker >	MST
	Cache of metadata indices, for faster printing.

llvm::SetVector< llvm::Value , std::deque< llvm::Value > >	workList
	List of value's which should be re-analyzed now with new information.

const llvm::SmallPtrSet< llvm::BasicBlock *, 4 >	notForAnalysis

const FnTypeInfo	fntypeinfo
	Calling context.

TypeAnalysis &	interprocedural
	Calling TypeAnalysis to be used in the case of calls to other functions.

uint8_t	direction
	Directionality of checks.

bool	Invalid
	Whether an inconsistent update has been found This will only be set when direction != Both, erring otherwise.

bool	PHIRecur

std::map< llvm::Value *, TypeTree >	analysis
	Intermediate conservative, but correct Type analysis results.

llvm::TargetLibraryInfo &	TLI

llvm::DominatorTree &	DT

llvm::PostDominatorTree &	PDT

llvm::LoopInfo &	LI

llvm::ScalarEvolution &	SE

Static Public Attributes
static constexpr uint8_t	UP = 1

static constexpr uint8_t	DOWN = 2

static constexpr uint8_t	BOTH = UP \| DOWN

Detailed Description

Helper class that computes the fixed-point type results of a given function.

Definition at line 248 of file TypeAnalysis.h.

Constructor & Destructor Documentation

◆ TypeAnalyzer() [1/3]

TypeAnalyzer::TypeAnalyzer ( TypeAnalysis & TA )

◆ TypeAnalyzer() [2/3]

TypeAnalyzer::TypeAnalyzer	(	const FnTypeInfo &	fn,
		TypeAnalysis &	TA,
		uint8_t	direction = BOTH )

Definition at line 262 of file TypeAnalysis.cpp.

References fntypeinfo, FnTypeInfo::Function, FnTypeInfo::KnownValues, notForAnalysis, and workList.

◆ TypeAnalyzer() [3/3]

TypeAnalyzer::TypeAnalyzer	(	const FnTypeInfo &	fn,
		TypeAnalysis &	TA,
		const llvm::SmallPtrSetImpl< llvm::BasicBlock * > &	notForAnalysis,
		const TypeAnalyzer &	Prev,
		uint8_t	direction = BOTH,
		bool	PHIRecur = false )

Definition at line 297 of file TypeAnalysis.cpp.

References fntypeinfo, FnTypeInfo::Function, and FnTypeInfo::KnownValues.

Member Function Documentation

◆ considerTBAA()

void TypeAnalyzer::considerTBAA ( )

Analyze type info given by the TBAA, possibly adding to work queue.

Definition at line 1429 of file TypeAnalysis.cpp.

References checkEnzymeTypeExtent(), DT, fntypeinfo, TypeTree::fromMD(), FnTypeInfo::Function, TypeTree::insert(), Integer, TypeTree::isKnownPastPointer(), FnTypeInfo::knownIntegralValues(), LI, TypeTree::Lookup(), max(), MST, notForAnalysis, TypeTree::Only(), TypeTree::parse(), parseTBAA(), Pointer, TypeTree::PurgeAnything(), SE, TypeTree::ShiftIndices(), TypeTree::str(), updateAnalysis(), and visitCallBase().

◆ dump()

void TypeAnalyzer::dump ( llvm::raw_ostream & ss = llvm::errs() )

Definition at line 3026 of file TypeAnalysis.cpp.

References analysis, fntypeinfo, FnTypeInfo::Function, knownIntegralValues(), MST, and to_string().

Referenced by analyzeIntelSubscriptIntrinsic(), TypeResults::dump(), visitAtomicRMWInst(), visitBinaryOperation(), visitGEPOperator(), visitIntrinsicInst(), visitMemTransferCommon(), and visitPHINode().

◆ getAnalysis()

const TypeTree & TypeAnalyzer::getAnalysis ( llvm::Value * Val )

Get the current results for a given value.

Definition at line 1074 of file TypeAnalysis.cpp.

References analysis, AugmentWithJuliaObjectType(), EnzymeJuliaAddrLoad, fntypeinfo, FnTypeInfo::Function, getConstantAnalysis(), Integer, and TypeTree::Only().

Referenced by analyzeIntelSubscriptIntrinsic(), getCallInfo(), getConstantAnalysis(), getReturnAnalysis(), prepareArgs(), TypeResults::query(), runPHIHypotheses(), visitAddrSpaceCastInst(), visitAllocaInst(), visitAtomicRMWInst(), visitBinaryOperator(), visitBitCastInst(), visitCallBase(), visitCmpInst(), visitConstantExpr(), visitExtractElementInst(), visitExtractValueInst(), visitGEPOperator(), visitInsertElementInst(), visitInsertValueInst(), visitIntrinsicInst(), visitIntToPtrInst(), visitIPOCall(), visitLoadInst(), visitMemTransferCommon(), visitPHINode(), visitPtrToIntInst(), visitSelectInst(), visitShuffleVectorInst(), visitStoreInst(), visitTruncInst(), and visitZExtInst().

◆ getCallInfo()

FnTypeInfo TypeAnalyzer::getCallInfo	(	llvm::CallBase &	CI,
		llvm::Function &	fn )

Definition at line 6340 of file TypeAnalysis.cpp.

References Anything, FnTypeInfo::Arguments, DT, fntypeinfo, getAnalysis(), Integer, FnTypeInfo::knownIntegralValues(), FnTypeInfo::KnownValues, MaxIntOffset(), TypeTree::Only(), FnTypeInfo::Return, and SE.

Referenced by TypeResults::getCallInfo(), and visitIPOCall().

◆ getReturnAnalysis()

TypeTree TypeAnalyzer::getReturnAnalysis ( )

Definition at line 6203 of file TypeAnalysis.cpp.

References fntypeinfo, FnTypeInfo::Function, getAnalysis(), TypeTree::getMapping(), TypeTree::insert(), TypeTree::parse(), Pointer, and TypeTree::remove().

Referenced by TypeResults::getReturnAnalysis().

◆ knownIntegralValues()

std::set< int64_t > TypeAnalyzer::knownIntegralValues ( llvm::Value * val )

Definition at line 6862 of file TypeAnalysis.cpp.

References DT, fntypeinfo, FnTypeInfo::knownIntegralValues(), and SE.

Referenced by analyzeIntelSubscriptIntrinsic(), dump(), and TypeResults::knownIntegralValues().

◆ prepareArgs()

void TypeAnalyzer::prepareArgs ( )

Analyze type info given by the arguments, possibly adding to work queue.

Definition at line 1380 of file TypeAnalysis.cpp.

References FnTypeInfo::Arguments, fntypeinfo, FnTypeInfo::Function, getAnalysis(), FnTypeInfo::Return, and updateAnalysis().

◆ run()

void TypeAnalyzer::run ( )

Run the interprocedural type analysis starting from this function.

Definition at line 1813 of file TypeAnalysis.cpp.

References TypeAnalysis::CustomRules, fntypeinfo, FnTypeInfo::Function, getFuncNameFromCall(), getFunctionFromCall(), interprocedural, Invalid, runPHIHypotheses(), visitValue(), and workList.

Referenced by runPHIHypotheses().

◆ runPHIHypotheses()

void TypeAnalyzer::runPHIHypotheses ( )

Hypothesize that undefined phi's are integers and try to prove that they are really integral.

Definition at line 1730 of file TypeAnalysis.cpp.

References analysis, Anything, direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAnalysis(), Integer, interprocedural, Invalid, notForAnalysis, TypeTree::Only(), PHIRecur, run(), and updateAnalysis().

Referenced by run().

◆ updateAnalysis() [1/3]

void TypeAnalyzer::updateAnalysis	(	llvm::Value *	val,
		BaseType	data,
		llvm::Value *	origin )

Add additional information to the Type info of val, readding it to the work queue as necessary.

◆ updateAnalysis() [2/3]

void TypeAnalyzer::updateAnalysis	(	llvm::Value *	val,
		ConcreteType	data,
		llvm::Value *	origin )

◆ updateAnalysis() [3/3]

void TypeAnalyzer::updateAnalysis	(	llvm::Value *	val,
		TypeTree	data,
		llvm::Value *	origin )

◆ visitAddrSpaceCastInst()

void TypeAnalyzer::visitAddrSpaceCastInst ( llvm::AddrSpaceCastInst & I )

Definition at line 2612 of file TypeAnalysis.cpp.

References direction, DOWN, getAnalysis(), UP, and updateAnalysis().

◆ visitAllocaInst()

void TypeAnalyzer::visitAllocaInst ( llvm::AllocaInst & I )

Definition at line 1954 of file TypeAnalysis.cpp.

References getAnalysis(), Integer, TypeTree::Lookup(), Pointer, and updateAnalysis().

◆ visitAtomicRMWInst()

void TypeAnalyzer::visitAtomicRMWInst ( llvm::AtomicRMWInst & I )

Definition at line 3046 of file TypeAnalysis.cpp.

References Anything, Args, TypeTree::checkedOrIn(), direction, DOWN, dump(), getAnalysis(), TypeTree::insert(), Integer, TypeTree::Lookup(), TypeTree::Only(), Pointer, TypeTree::PurgeAnything(), TypeTree::ShiftIndices(), TypeTree::str(), UP, updateAnalysis(), and visitBinaryOperation().

◆ visitBinaryOperation()

void TypeAnalyzer::visitBinaryOperation	(	const llvm::DataLayout &	DL,
		llvm::Type *	T,
		llvm::Instruction::BinaryOps	,
		llvm::Value *	Args[2],
		TypeTree &	Ret,
		TypeTree &	LHS,
		TypeTree &	RHS,
		llvm::Instruction *	I )

Definition at line 3134 of file TypeAnalysis.cpp.

References TypeTree::allFloat(), Args, TypeTree::binopIn(), TypeTree::checkedOrIn(), containsOnlyAtMostTopBit(), CustomErrorHandler, TypeTree::Data0(), direction, DOWN, DT, dump(), EmitFailure(), fntypeinfo, FnTypeInfo::Function, IllegalTypeAnalysis, Integer, FnTypeInfo::knownIntegralValues(), TypeTree::Only(), TypeTree::orIn(), Pointer, SE, str(), TypeTree::str(), and UP.

Referenced by visitAtomicRMWInst(), and visitBinaryOperator().

◆ visitBinaryOperator()

void TypeAnalyzer::visitBinaryOperator ( llvm::BinaryOperator & I )

Definition at line 3615 of file TypeAnalysis.cpp.

References Anything, Args, direction, DOWN, getAnalysis(), Integer, TypeTree::Only(), UP, updateAnalysis(), and visitBinaryOperation().

◆ visitBitCastInst()

void TypeAnalyzer::visitBitCastInst ( llvm::BitCastInst & I )

Definition at line 2707 of file TypeAnalysis.cpp.

References direction, DOWN, getAnalysis(), UP, and updateAnalysis().

◆ visitCallBase()

void TypeAnalyzer::visitCallBase ( llvm::CallBase & call )

GEMM

CUDA

MPI

END MPI

Definition at line 4710 of file TypeAnalysis.cpp.

References TypeAnalysis::analyzeFunction(), analyzeIntelSubscriptIntrinsic(), Anything, FnTypeInfo::Arguments, TypeTree::CanonicalizeInPlace(), canonicalizeMPIName(), TypeTree::checkedOrIn(), CONSIDER, CONSIDER2, TypeAnalysis::CustomRules, TypeTree::Data0(), direction, dontAnalyze(), DOWN, DT, EnzymePrintType, extractBLAS(), fntypeinfo, fortranDescriptorTree(), FnTypeInfo::Function, getAggregateElementOffset(), getAllocationIndexFromCall(), getAnalysis(), getFuncNameFromCall(), getFunctionFromCall(), TypeResults::getReturnAnalysis(), hasMetadata(), TypeTree::Inner0(), TypeTree::insert(), Integer, interprocedural, Invalid, isAllocationFunction(), isCudaDeallocationFunction(), isDeallocationFunction(), isFortranMPICall(), isMemFreeLibMFunction(), FnTypeInfo::knownIntegralValues(), FnTypeInfo::KnownValues, TypeTree::Lookup(), max(), MaxIntOffset(), MST, TypeTree::Only(), TypeTree::orIn(), Pointer, preventTypeAnalysisLoops(), TypeTree::PurgeAnything(), TypeResults::query(), FnTypeInfo::Return, SE, shadowHandlers, TypeTree::ShiftIndices(), startsWith(), TLI, Unknown, UP, updateAnalysis(), visitIPOCall(), and visitMemTransferCommon().

Referenced by considerTBAA().

◆ visitCmpInst()

void TypeAnalyzer::visitCmpInst ( llvm::CmpInst & I )

Definition at line 1937 of file TypeAnalysis.cpp.

References direction, getAnalysis(), TypeTree::Inner0(), Integer, TypeTree::Only(), ConcreteType::PurgeAnything(), UP, and updateAnalysis().

◆ visitConstantExpr()

void TypeAnalyzer::visitConstantExpr ( llvm::ConstantExpr & CE )

Definition at line 1913 of file TypeAnalysis.cpp.

References analysis, direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAnalysis(), insertBeforeInst(), UP, updateAnalysis(), visitGEPOperator(), and workList.

Referenced by visitValue().

◆ visitExtractElementInst()

void TypeAnalyzer::visitExtractElementInst ( llvm::ExtractElementInst & I )

Definition at line 2772 of file TypeAnalysis.cpp.

References direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAnalysis(), Integer, TypeTree::Lookup(), TypeTree::Only(), TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitExtractValueInst()

void TypeAnalyzer::visitExtractValueInst ( llvm::ExtractValueInst & I )

Definition at line 2962 of file TypeAnalysis.cpp.

References direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAggregateElementOffset(), getAnalysis(), TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitFPExtInst()

void TypeAnalyzer::visitFPExtInst ( llvm::FPExtInst & I )

Definition at line 2619 of file TypeAnalysis.cpp.

References TypeTree::Only(), and updateAnalysis().

◆ visitFPToSIInst()

void TypeAnalyzer::visitFPToSIInst ( llvm::FPToSIInst & I )

Definition at line 2653 of file TypeAnalysis.cpp.

References Integer, TypeTree::Only(), and updateAnalysis().

◆ visitFPToUIInst()

void TypeAnalyzer::visitFPToUIInst ( llvm::FPToUIInst & I )

Definition at line 2643 of file TypeAnalysis.cpp.

References Integer, TypeTree::Only(), and updateAnalysis().

◆ visitFPTruncInst()

void TypeAnalyzer::visitFPTruncInst ( llvm::FPTruncInst & I )

Definition at line 2631 of file TypeAnalysis.cpp.

References TypeTree::Only(), and updateAnalysis().

◆ visitGEPOperator()

void TypeAnalyzer::visitGEPOperator ( llvm::GEPOperator & gep )

Definition at line 2054 of file TypeAnalysis.cpp.

References Anything, collectOffset(), CustomErrorHandler, TypeTree::Data0(), direction, DOWN, DT, dump(), EnzymeStrictAliasing(), findLoopIndices(), fntypeinfo, FnTypeInfo::Function, getAnalysis(), getSet(), IllegalTypeAnalysis, TypeTree::Inner0(), TypeTree::insert(), Integer, FnTypeInfo::knownIntegralValues(), LI, TypeTree::Only(), Pointer, SE, TypeTree::ShiftIndices(), UP, and updateAnalysis().

Referenced by getConstantAnalysis(), visitConstantExpr(), and visitGetElementPtrInst().

◆ visitGetElementPtrInst()

void TypeAnalyzer::visitGetElementPtrInst ( llvm::GetElementPtrInst & gep )

Definition at line 2050 of file TypeAnalysis.cpp.

References visitGEPOperator().

◆ visitInsertElementInst()

void TypeAnalyzer::visitInsertElementInst ( llvm::InsertElementInst & I )

Definition at line 2808 of file TypeAnalysis.cpp.

References TypeTree::Clear(), direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAnalysis(), Integer, TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitInsertValueInst()

void TypeAnalyzer::visitInsertValueInst ( llvm::InsertValueInst & I )

Definition at line 2980 of file TypeAnalysis.cpp.

References TypeTree::Clear(), direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAggregateElementOffset(), getAnalysis(), TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitIntrinsicInst()

void TypeAnalyzer::visitIntrinsicInst ( llvm::IntrinsicInst & II )

Definition at line 3710 of file TypeAnalysis.cpp.

References analysis, Anything, TypeTree::binopIn(), CustomErrorHandler, TypeTree::Data0(), direction, DOWN, dump(), EmitFailure(), fntypeinfo, FnTypeInfo::Function, getAnalysis(), IllegalTypeAnalysis, TypeTree::insert(), Integer, TypeTree::Lookup(), TypeTree::Only(), Pointer, TypeTree::PurgeAnything(), TypeTree::ShiftIndices(), str(), TypeTree::str(), Unknown, UP, and updateAnalysis().

◆ visitIntToPtrInst()

void TypeAnalyzer::visitIntToPtrInst ( llvm::IntToPtrInst & I )

Definition at line 2687 of file TypeAnalysis.cpp.

References Anything, direction, DOWN, getAnalysis(), UP, and updateAnalysis().

◆ visitIPOCall()

void TypeAnalyzer::visitIPOCall	(	llvm::CallBase &	call,
		llvm::Function &	fn )

Definition at line 6378 of file TypeAnalysis.cpp.

References TypeAnalysis::analyzeFunction(), Anything, direction, DOWN, EnzymePrintType, fntypeinfo, FnTypeInfo::Function, getAnalysis(), getCallInfo(), TypeResults::getReturnAnalysis(), TypeTree::Inner0(), Integer, interprocedural, FnTypeInfo::KnownValues, MST, TypeTree::Only(), preventTypeAnalysisLoops(), TypeResults::query(), UP, and updateAnalysis().

Referenced by visitCallBase().

◆ visitLoadInst()

void TypeAnalyzer::visitLoadInst ( llvm::LoadInst & I )

Definition at line 1971 of file TypeAnalysis.cpp.

References direction, DOWN, getAnalysis(), TypeTree::Lookup(), Pointer, TypeTree::PurgeAnything(), TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitMemTransferCommon()

void TypeAnalyzer::visitMemTransferCommon ( llvm::CallBase & MTI )

Definition at line 3642 of file TypeAnalysis.cpp.

References TypeTree::checkedOrIn(), CustomErrorHandler, TypeTree::Data0(), direction, DT, dump(), EmitFailure(), fntypeinfo, FnTypeInfo::Function, getAnalysis(), IllegalTypeAnalysis, TypeTree::insert(), Integer, FnTypeInfo::knownIntegralValues(), max(), TypeTree::Only(), Pointer, TypeTree::PurgeAnything(), SE, TypeTree::ShiftIndices(), str(), TypeTree::str(), UP, and updateAnalysis().

Referenced by visitCallBase(), and visitMemTransferInst().

◆ visitMemTransferInst()

void TypeAnalyzer::visitMemTransferInst ( llvm::MemTransferInst & MTI )

Definition at line 3638 of file TypeAnalysis.cpp.

References visitMemTransferCommon().

◆ visitPHINode()

void TypeAnalyzer::visitPHINode ( llvm::PHINode & phi )

Definition at line 2318 of file TypeAnalysis.cpp.

References Anything, TypeTree::binopIn(), CustomErrorHandler, TypeTree::Data0(), direction, DOWN, dump(), EmitFailure(), EnzymePrintType, EnzymeStrictAliasing(), fntypeinfo, FnTypeInfo::Function, getAnalysis(), IllegalTypeAnalysis, TypeTree::Inner0(), Integer, LI, MST, TypeTree::Only(), TypeTree::PurgeAnything(), str(), TypeTree::str(), UP, and updateAnalysis().

◆ visitPtrToIntInst()

void TypeAnalyzer::visitPtrToIntInst ( llvm::PtrToIntInst & I )

Definition at line 2679 of file TypeAnalysis.cpp.

References direction, DOWN, getAnalysis(), UP, and updateAnalysis().

◆ visitSelectInst()

void TypeAnalyzer::visitSelectInst ( llvm::SelectInst & I )

Definition at line 2714 of file TypeAnalysis.cpp.

References direction, DOWN, EnzymePrintType, EnzymeStrictAliasing(), getAnalysis(), TypeTree::Inner0(), TypeTree::JustAnything(), MST, TypeTree::PurgeAnything(), TypeTree::str(), UP, and updateAnalysis().

◆ visitSExtInst()

void TypeAnalyzer::visitSExtInst ( llvm::SExtInst & I )

Definition at line 2604 of file TypeAnalysis.cpp.

References Integer, and updateAnalysis().

◆ visitShuffleVectorInst()

void TypeAnalyzer::visitShuffleVectorInst ( llvm::ShuffleVectorInst & I )

Definition at line 2865 of file TypeAnalysis.cpp.

References Anything, direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAggregateElementOffset(), getAnalysis(), TypeTree::Only(), TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitSIToFPInst()

void TypeAnalyzer::visitSIToFPInst ( llvm::SIToFPInst & I )

Definition at line 2671 of file TypeAnalysis.cpp.

References Integer, TypeTree::Only(), and updateAnalysis().

◆ visitStoreInst()

void TypeAnalyzer::visitStoreInst ( llvm::StoreInst & I )

Definition at line 1986 of file TypeAnalysis.cpp.

References direction, getAnalysis(), TypeTree::Lookup(), Pointer, TypeTree::PurgeAnything(), TypeTree::ReplaceMinus(), RustTypeRules(), TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitTruncInst()

void TypeAnalyzer::visitTruncInst ( llvm::TruncInst & I )

Definition at line 2561 of file TypeAnalysis.cpp.

References direction, DOWN, fntypeinfo, FnTypeInfo::Function, getAnalysis(), TypeTree::ShiftIndices(), UP, and updateAnalysis().

◆ visitUIToFPInst()

void TypeAnalyzer::visitUIToFPInst ( llvm::UIToFPInst & I )

Definition at line 2663 of file TypeAnalysis.cpp.

References Integer, TypeTree::Only(), and updateAnalysis().

◆ visitValue()

void TypeAnalyzer::visitValue ( llvm::Value & val )

Definition at line 1882 of file TypeAnalysis.cpp.

References updateAnalysis(), and visitConstantExpr().

Referenced by run().

◆ visitZExtInst()

void TypeAnalyzer::visitZExtInst ( llvm::ZExtInst & I )

Definition at line 2581 of file TypeAnalysis.cpp.

References Anything, direction, DOWN, getAnalysis(), TypeTree::Inner0(), Integer, TypeTree::Only(), UP, and updateAnalysis().

Member Data Documentation

◆ analysis

std::map<llvm::Value *, TypeTree> TypeAnalyzer::analysis

Intermediate conservative, but correct Type analysis results.

Definition at line 293 of file TypeAnalysis.h.

Referenced by AdjointGenerator::AdjointGenerator(), dump(), getAnalysis(), runPHIHypotheses(), visitConstantExpr(), and visitIntrinsicInst().

◆ BOTH

uint8_t TypeAnalyzer::BOTH = UP | DOWN

staticconstexpr

Definition at line 290 of file TypeAnalysis.h.

◆ direction

uint8_t TypeAnalyzer::direction

◆ DOWN

uint8_t TypeAnalyzer::DOWN = 2

staticconstexpr

◆ DT

llvm::DominatorTree& TypeAnalyzer::DT

Definition at line 296 of file TypeAnalysis.h.

Referenced by considerTBAA(), getCallInfo(), knownIntegralValues(), visitBinaryOperation(), visitCallBase(), visitGEPOperator(), and visitMemTransferCommon().

◆ fntypeinfo

const FnTypeInfo TypeAnalyzer::fntypeinfo

◆ interprocedural

TypeAnalysis& TypeAnalyzer::interprocedural

Calling TypeAnalysis to be used in the case of calls to other functions.

Definition at line 275 of file TypeAnalysis.h.

Referenced by EnzymeGetTypeAnalysisFromTypeAnalyzer(), getConstantAnalysis(), AdjointGenerator::recursivelyHandleSubfunction(), run(), runPHIHypotheses(), visitCallBase(), visitIPOCall(), and AdjointGenerator::visitOMPCall().

◆ Invalid

bool TypeAnalyzer::Invalid

Whether an inconsistent update has been found This will only be set when direction != Both, erring otherwise.

Definition at line 282 of file TypeAnalysis.h.

Referenced by run(), runPHIHypotheses(), and visitCallBase().

◆ LI

llvm::LoopInfo& TypeAnalyzer::LI

Definition at line 299 of file TypeAnalysis.h.

Referenced by considerTBAA(), visitGEPOperator(), and visitPHINode().

◆ MST

std::shared_ptr<llvm::ModuleSlotTracker> TypeAnalyzer::MST

Cache of metadata indices, for faster printing.

Only initialized if EnzymePrintType is true

Definition at line 252 of file TypeAnalysis.h.

Referenced by considerTBAA(), dump(), visitCallBase(), visitIPOCall(), visitPHINode(), and visitSelectInst().

◆ notForAnalysis

const llvm::SmallPtrSet<llvm::BasicBlock *, 4> TypeAnalyzer::notForAnalysis

Definition at line 257 of file TypeAnalysis.h.

Referenced by considerTBAA(), getConstantAnalysis(), runPHIHypotheses(), and TypeAnalyzer().

◆ PDT

llvm::PostDominatorTree& TypeAnalyzer::PDT

Definition at line 297 of file TypeAnalysis.h.

◆ PHIRecur

bool TypeAnalyzer::PHIRecur

Definition at line 284 of file TypeAnalysis.h.

Referenced by runPHIHypotheses().

◆ SE

llvm::ScalarEvolution& TypeAnalyzer::SE

Definition at line 300 of file TypeAnalysis.h.

Referenced by considerTBAA(), getCallInfo(), knownIntegralValues(), visitBinaryOperation(), visitCallBase(), visitGEPOperator(), and visitMemTransferCommon().

◆ TLI

llvm::TargetLibraryInfo& TypeAnalyzer::TLI

Definition at line 295 of file TypeAnalysis.h.

Referenced by visitCallBase().

◆ UP

uint8_t TypeAnalyzer::UP = 1

staticconstexpr

◆ workList

llvm::SetVector<llvm::Value *, std::deque<llvm::Value *> > TypeAnalyzer::workList

List of value's which should be re-analyzed now with new information.

Definition at line 255 of file TypeAnalysis.h.

Referenced by getConstantAnalysis(), run(), TypeAnalyzer(), and visitConstantExpr().

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

TypeAnalysis/TypeAnalysis.h
TypeAnalysis/TypeAnalysis.cpp

Public Member Functions

Public Attributes

Static Public Attributes

Detailed Description

Constructor & Destructor Documentation

◆ TypeAnalyzer() [1/3]

◆ TypeAnalyzer() [2/3]

◆ TypeAnalyzer() [3/3]

Member Function Documentation

◆ considerTBAA()

◆ dump()

◆ getAnalysis()

◆ getCallInfo()

◆ getReturnAnalysis()

◆ knownIntegralValues()

◆ prepareArgs()

◆ run()

◆ runPHIHypotheses()

◆ updateAnalysis() [1/3]

◆ updateAnalysis() [2/3]

◆ updateAnalysis() [3/3]

◆ visitAddrSpaceCastInst()

◆ visitAllocaInst()

◆ visitAtomicRMWInst()

◆ visitBinaryOperation()

◆ visitBinaryOperator()

◆ visitBitCastInst()

◆ visitCallBase()

◆ visitCmpInst()

◆ visitConstantExpr()

◆ visitExtractElementInst()

◆ visitExtractValueInst()

◆ visitFPExtInst()

◆ visitFPToSIInst()

◆ visitFPToUIInst()

◆ visitFPTruncInst()

◆ visitGEPOperator()

◆ visitGetElementPtrInst()

◆ visitInsertElementInst()

◆ visitInsertValueInst()

◆ visitIntrinsicInst()

◆ visitIntToPtrInst()

◆ visitIPOCall()

◆ visitLoadInst()

◆ visitMemTransferCommon()

◆ visitMemTransferInst()

◆ visitPHINode()

◆ visitPtrToIntInst()

◆ visitSelectInst()

◆ visitSExtInst()

◆ visitShuffleVectorInst()

◆ visitSIToFPInst()

◆ visitStoreInst()

◆ visitTruncInst()

◆ visitUIToFPInst()

◆ visitValue()

◆ visitZExtInst()

Member Data Documentation

◆ analysis

◆ BOTH

◆ direction

◆ DOWN

◆ DT

◆ fntypeinfo

◆ interprocedural

◆ Invalid

◆ LI

◆ MST

◆ notForAnalysis

◆ PDT

◆ PHIRecur

◆ SE

◆ TLI

◆ UP

◆ workList