This is an archive of the discontinued LLVM Phabricator instance.

Differential D12028

[PM/AA] Delete the LibCallAliasAnalysis and all the associated infrastructure.
ClosedPublic

Authored by chandlerc on Aug 14 2015, 2:12 AM.

Download Raw Diff

Details

Reviewers

Commits

rGe8824e3026fa: [PM/AA] Delete the LibCallAliasAnalysis and all the associated infrastructure.
rL245155: [PM/AA] Delete the LibCallAliasAnalysis and all the associated

Summary

This AA was never used in tree. It's infrastructure also completely
overlaps that of TargetLibraryInfo which is used heavily by BasicAA to
achieve similar goals to those stated for this analysis.

As has come up in several discussions, the use case here is still really
important, but this code isn't helping move toward that use case. Any
progress on better supporting rich AA information for runtime library
environments would likely be better off starting from scratch or
starting from TargetLibraryInfo than from this base.

Diff Detail

Event Timeline

chandlerc updated this revision to Diff 32141.Aug 14 2015, 2:12 AM

chandlerc retitled this revision from to [PM/AA] Delete the LibCallAliasAnalysis and all the associated infrastructure..

chandlerc updated this object.

chandlerc added a reviewer: hfinkel.

chandlerc added a subscriber: llvm-commits.

LGTM.

I'll echo your statement that the use cases targeted here are really important; but this is not being used, and would need better integration into the rest of the infrastructure as it stands. Furthermore, some additional thought is required to recognize errno and other global state, perhaps especially in an LTO context.

This revision is now accepted and ready to land.Aug 14 2015, 12:06 PM

Closed by commit rL245155: [PM/AA] Delete the LibCallAliasAnalysis and all the associated (authored by chandlerc). · Explain WhyAug 15 2015, 2:23 AM

This revision was automatically updated to reflect the committed changes.

Revision Contents

Path

Size

include/

llvm/

Analysis/

LibCallAliasAnalysis.h

142 lines

1 line

1 line

2 lines

lib/

Analysis/

Analysis.cpp

1 line

CMakeLists.txt

1 line

LibCallAliasAnalysis.cpp

LibCallSemantics.cpp

44 lines

Diff 32141

include/llvm/Analysis/LibCallAliasAnalysis.h

This file was deleted.

	//===- LibCallAliasAnalysis.h - Implement AliasAnalysis for libcalls ------===//
	//
	// The LLVM Compiler Infrastructure
	//
	// This file is distributed under the University of Illinois Open Source
	// License. See LICENSE.TXT for details.
	//
	//===----------------------------------------------------------------------===//
	//
	// This file defines the LibCallAliasAnalysis class.
	//
	//===----------------------------------------------------------------------===//

	#ifndef LLVM_ANALYSIS_LIBCALLALIASANALYSIS_H
	#define LLVM_ANALYSIS_LIBCALLALIASANALYSIS_H

	#include "llvm/Analysis/AliasAnalysis.h"
	#include "llvm/IR/Module.h"
	#include "llvm/Pass.h"

	namespace llvm {

	class LibCallInfo;
	struct LibCallFunctionInfo;

	/// Alias analysis driven from LibCallInfo.
	struct LibCallAliasAnalysis : public FunctionPass, public AliasAnalysis {
	static char ID; // Class identification

	LibCallInfo *LCI;

	explicit LibCallAliasAnalysis(LibCallInfo *LC = nullptr)
	: FunctionPass(ID), LCI(LC) {
	initializeLibCallAliasAnalysisPass(*PassRegistry::getPassRegistry());
	}
	explicit LibCallAliasAnalysis(char &ID, LibCallInfo *LC)
	: FunctionPass(ID), LCI(LC) {
	initializeLibCallAliasAnalysisPass(*PassRegistry::getPassRegistry());
	}
	~LibCallAliasAnalysis() override;

	ModRefInfo getModRefInfo(ImmutableCallSite CS,
	const MemoryLocation &Loc) override;

	void getAnalysisUsage(AnalysisUsage &AU) const override;

	bool runOnFunction(Function &F) override;

	/// This method is used when a pass implements an analysis interface through
	/// multiple inheritance.
	///
	/// If needed, it should override this to adjust the this pointer as needed
	/// for the specified pass info.
	void getAdjustedAnalysisPointer(const void PI) override {
	if (PI == &AliasAnalysis::ID)
	return (AliasAnalysis *)this;
	return this;
	}

	private:
	ModRefInfo AnalyzeLibCallDetails(const LibCallFunctionInfo *FI,
	ImmutableCallSite CS,
	const MemoryLocation &Loc);
	};

	/// Create an alias analysis pass that knows about the semantics of a set of
	/// libcalls specified by LCI.
	///
	/// The newly constructed pass takes ownership of the pointer that is provided.
	FunctionPass createLibCallAliasAnalysisPass(LibCallInfo LCI);

	} // End of llvm namespace

	#endif

include/llvm/Analysis/LibCallSemantics.h

	Show All 14 Lines
	#ifndef LLVM_ANALYSIS_LIBCALLSEMANTICS_H			#ifndef LLVM_ANALYSIS_LIBCALLSEMANTICS_H
	#define LLVM_ANALYSIS_LIBCALLSEMANTICS_H			#define LLVM_ANALYSIS_LIBCALLSEMANTICS_H

	#include "llvm/Analysis/AliasAnalysis.h"			#include "llvm/Analysis/AliasAnalysis.h"

	namespace llvm {			namespace llvm {
	class InvokeInst;			class InvokeInst;

	/// LibCallLocationInfo - This struct describes a set of memory locations that
	/// are accessed by libcalls. Identification of a location is doing with a
	/// simple callback function.
	///
	/// For example, the LibCallInfo may be set up to model the behavior of
	/// standard libm functions. The location that they may be interested in is
	/// an abstract location that represents errno for the current target. In
	/// this case, a location for errno is anything such that the predicate
	/// returns true. On Mac OS X, this predicate would return true if the
	/// pointer is the result of a call to "__error()".
	///
	/// Locations can also be defined in a constant-sensitive way. For example,
	/// it is possible to define a location that returns true iff it is passed
	/// into the call as a specific argument. This is useful for modeling things
	/// like "printf", which can store to memory, but only through pointers passed
	/// with a '%n' constraint.
	///
	struct LibCallLocationInfo {
	// TODO: Flags: isContextSensitive etc.

	/// isLocation - Return a LocResult if the specified pointer refers to this
	/// location for the specified call site. This returns "Yes" if we can tell
	/// that the pointer does definitely refer to the location, "No" if we can
	/// tell that the location definitely does not refer to the location, and
	/// returns "Unknown" if we cannot tell for certain.
	enum LocResult {
	Yes, No, Unknown
	};
	LocResult (*isLocation)(ImmutableCallSite CS, const MemoryLocation &Loc);
	};

	/// LibCallFunctionInfo - Each record in the array of FunctionInfo structs
	/// records the behavior of one libcall that is known by the optimizer. This
	/// captures things like the side effects of the call. Side effects are
	/// modeled both universally (in the readnone/readonly) sense, but also
	/// potentially against a set of abstract locations defined by the optimizer.
	/// This allows an optimizer to define that some libcall (e.g. sqrt) is
	/// side-effect free except that it might modify errno (thus, the call is
	/// not universally readonly). Or it might say that the side effects
	/// are unknown other than to say that errno is not modified.
	///
	struct LibCallFunctionInfo {
	/// Name - This is the name of the libcall this describes.
	const char *Name;

	/// TODO: Constant folding function: Constant* vector -> Constant*.

	/// UniversalBehavior - This captures the absolute mod/ref behavior without
	/// any specific context knowledge. For example, if the function is known
	/// to be readonly, this would be set to 'ref'. If known to be readnone,
	/// this is set to NoModRef.
	ModRefInfo UniversalBehavior;

	/// LocationMRInfo - This pair captures info about whether a specific
	/// location is modified or referenced by a libcall.
	struct LocationMRInfo {
	/// LocationID - ID # of the accessed location or ~0U for array end.
	unsigned LocationID;
	/// MRInfo - Mod/Ref info for this location.
	ModRefInfo MRInfo;
	};

	/// DetailsType - Indicate the sense of the LocationDetails array. This
	/// controls how the LocationDetails array is interpreted.
	enum {
	/// DoesOnly - If DetailsType is set to DoesOnly, then we know that the
	/// only mod/ref behavior of this function is captured by the
	/// LocationDetails array. If we are trying to say that 'sqrt' can only
	/// modify errno, we'd have the {errnoloc,mod} in the LocationDetails
	/// array and have DetailsType set to DoesOnly.
	DoesOnly,

	/// DoesNot - If DetailsType is set to DoesNot, then the sense of the
	/// LocationDetails array is completely inverted. This means that we *do
	/// not* know everything about the side effects of this libcall, but we do
	/// know things that the libcall cannot do. This is useful for complex
	/// functions like 'ctime' which have crazy mod/ref behavior, but are
	/// known to never read or write errno. In this case, we'd have
	/// {errnoloc,modref} in the LocationDetails array and DetailsType would
	/// be set to DoesNot, indicating that ctime does not read or write the
	/// errno location.
	DoesNot
	} DetailsType;

	/// LocationDetails - This is a pointer to an array of LocationMRInfo
	/// structs which indicates the behavior of the libcall w.r.t. specific
	/// locations. For example, if this libcall is known to only modify
	/// 'errno', it would have a LocationDetails array with the errno ID and
	/// 'mod' in it. See the DetailsType field for how this is interpreted.
	///
	/// In the "DoesOnly" case, this information is 'may' information for: there
	/// is no guarantee that the specified side effect actually does happen,
	/// just that it could. In the "DoesNot" case, this is 'must not' info.
	///
	/// If this pointer is null, no details are known.
	///
	const LocationMRInfo *LocationDetails;
	};


	/// LibCallInfo - Abstract interface to query about library call information.
	/// Instances of this class return known information about some set of
	/// libcalls.
	///
	class LibCallInfo {
	// Implementation details of this object, private.
	mutable void *Impl;
	mutable const LibCallLocationInfo *Locations;
	mutable unsigned NumLocations;
	public:
	LibCallInfo() : Impl(nullptr), Locations(nullptr), NumLocations(0) {}
	virtual ~LibCallInfo();

	//===------------------------------------------------------------------===//
	// Accessor Methods: Efficient access to contained data.
	//===------------------------------------------------------------------===//

	/// getLocationInfo - Return information about the specified LocationID.
	const LibCallLocationInfo &getLocationInfo(unsigned LocID) const;


	/// getFunctionInfo - Return the LibCallFunctionInfo object corresponding to
	/// the specified function if we have it. If not, return null.
	const LibCallFunctionInfo getFunctionInfo(const Function F) const;


	//===------------------------------------------------------------------===//
	// Implementation Methods: Subclasses should implement these.
	//===------------------------------------------------------------------===//

	/// getLocationInfo - Return descriptors for the locations referenced by
	/// this set of libcalls.
	virtual unsigned getLocationInfo(const LibCallLocationInfo *&Array) const {
	return 0;
	}

	/// getFunctionInfoArray - Return an array of descriptors that describe the
	/// set of libcalls represented by this LibCallInfo object. This array is
	/// terminated by an entry with a NULL name.
	virtual const LibCallFunctionInfo *getFunctionInfoArray() const = 0;
	};

	enum class EHPersonality {			enum class EHPersonality {
	Unknown,			Unknown,
	GNU_Ada,			GNU_Ada,
	GNU_C,			GNU_C,
	GNU_CXX,			GNU_CXX,
	GNU_ObjC,			GNU_ObjC,
	MSVC_X86SEH,			MSVC_X86SEH,
	MSVC_Win64SEH,			MSVC_Win64SEH,
	▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

include/llvm/Analysis/Passes.h

	Show All 16 Lines

	namespace llvm {			namespace llvm {
	class FunctionPass;			class FunctionPass;
	class ImmutablePass;			class ImmutablePass;
	class LoopPass;			class LoopPass;
	class ModulePass;			class ModulePass;
	class Pass;			class Pass;
	class PassInfo;			class PassInfo;
	class LibCallInfo;

	//===--------------------------------------------------------------------===//			//===--------------------------------------------------------------------===//
	//			//
	// createAAEvalPass - This pass implements a simple N^2 alias analysis			// createAAEvalPass - This pass implements a simple N^2 alias analysis
	// accuracy evaluator.			// accuracy evaluator.
	//			//
	FunctionPass *createAAEvalPass();			FunctionPass *createAAEvalPass();

	▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

include/llvm/InitializePasses.h

	Show First 20 Lines • Show All 148 Lines • ▼ Show 20 Lines
	void initializeInstCountPass(PassRegistry&);			void initializeInstCountPass(PassRegistry&);
	void initializeInstNamerPass(PassRegistry&);			void initializeInstNamerPass(PassRegistry&);
	void initializeInternalizePassPass(PassRegistry&);			void initializeInternalizePassPass(PassRegistry&);
	void initializeIntervalPartitionPass(PassRegistry&);			void initializeIntervalPartitionPass(PassRegistry&);
	void initializeJumpThreadingPass(PassRegistry&);			void initializeJumpThreadingPass(PassRegistry&);
	void initializeLCSSAPass(PassRegistry&);			void initializeLCSSAPass(PassRegistry&);
	void initializeLICMPass(PassRegistry&);			void initializeLICMPass(PassRegistry&);
	void initializeLazyValueInfoPass(PassRegistry&);			void initializeLazyValueInfoPass(PassRegistry&);
	void initializeLibCallAliasAnalysisPass(PassRegistry&);
	void initializeLintPass(PassRegistry&);			void initializeLintPass(PassRegistry&);
	void initializeLiveDebugVariablesPass(PassRegistry&);			void initializeLiveDebugVariablesPass(PassRegistry&);
	void initializeLiveIntervalsPass(PassRegistry&);			void initializeLiveIntervalsPass(PassRegistry&);
	void initializeLiveRegMatrixPass(PassRegistry&);			void initializeLiveRegMatrixPass(PassRegistry&);
	void initializeLiveStacksPass(PassRegistry&);			void initializeLiveStacksPass(PassRegistry&);
	void initializeLiveVariablesPass(PassRegistry&);			void initializeLiveVariablesPass(PassRegistry&);
	void initializeLoaderPassPass(PassRegistry&);			void initializeLoaderPassPass(PassRegistry&);
	void initializeLocalStackSlotPassPass(PassRegistry&);			void initializeLocalStackSlotPassPass(PassRegistry&);
	▲ Show 20 Lines • Show All 143 Lines • Show Last 20 Lines

include/llvm/LinkAllPasses.h

Show All 18 Lines
#include "llvm/Analysis/AliasSetTracker.h"		#include "llvm/Analysis/AliasSetTracker.h"
#include "llvm/Analysis/AliasAnalysisCounter.h"		#include "llvm/Analysis/AliasAnalysisCounter.h"
#include "llvm/Analysis/BasicAliasAnalysis.h"		#include "llvm/Analysis/BasicAliasAnalysis.h"
#include "llvm/Analysis/CFLAliasAnalysis.h"		#include "llvm/Analysis/CFLAliasAnalysis.h"
#include "llvm/Analysis/CallPrinter.h"		#include "llvm/Analysis/CallPrinter.h"
#include "llvm/Analysis/DomPrinter.h"		#include "llvm/Analysis/DomPrinter.h"
#include "llvm/Analysis/GlobalsModRef.h"		#include "llvm/Analysis/GlobalsModRef.h"
#include "llvm/Analysis/IntervalPartition.h"		#include "llvm/Analysis/IntervalPartition.h"
#include "llvm/Analysis/LibCallAliasAnalysis.h"
#include "llvm/Analysis/Lint.h"		#include "llvm/Analysis/Lint.h"
#include "llvm/Analysis/Passes.h"		#include "llvm/Analysis/Passes.h"
#include "llvm/Analysis/PostDominators.h"		#include "llvm/Analysis/PostDominators.h"
#include "llvm/Analysis/RegionPass.h"		#include "llvm/Analysis/RegionPass.h"
#include "llvm/Analysis/RegionPrinter.h"		#include "llvm/Analysis/RegionPrinter.h"
#include "llvm/Analysis/ScalarEvolution.h"		#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/ScalarEvolutionAliasAnalysis.h"		#include "llvm/Analysis/ScalarEvolutionAliasAnalysis.h"
#include "llvm/Analysis/ScopedNoAliasAA.h"		#include "llvm/Analysis/ScopedNoAliasAA.h"
Show All 23 Lines	ForcePassLinking() {

(void) llvm::createAAEvalPass();		(void) llvm::createAAEvalPass();
(void) llvm::createAggressiveDCEPass();		(void) llvm::createAggressiveDCEPass();
(void) llvm::createBitTrackingDCEPass();		(void) llvm::createBitTrackingDCEPass();
(void) llvm::createAliasAnalysisCounterPass();		(void) llvm::createAliasAnalysisCounterPass();
(void) llvm::createArgumentPromotionPass();		(void) llvm::createArgumentPromotionPass();
(void) llvm::createAlignmentFromAssumptionsPass();		(void) llvm::createAlignmentFromAssumptionsPass();
(void) llvm::createBasicAliasAnalysisPass();		(void) llvm::createBasicAliasAnalysisPass();
(void) llvm::createLibCallAliasAnalysisPass(nullptr);
(void) llvm::createScalarEvolutionAliasAnalysisPass();		(void) llvm::createScalarEvolutionAliasAnalysisPass();
(void) llvm::createTypeBasedAliasAnalysisPass();		(void) llvm::createTypeBasedAliasAnalysisPass();
(void) llvm::createScopedNoAliasAAPass();		(void) llvm::createScopedNoAliasAAPass();
(void) llvm::createBoundsCheckingPass();		(void) llvm::createBoundsCheckingPass();
(void) llvm::createBreakCriticalEdgesPass();		(void) llvm::createBreakCriticalEdgesPass();
(void) llvm::createCallGraphPrinterPass();		(void) llvm::createCallGraphPrinterPass();
(void) llvm::createCallGraphViewerPass();		(void) llvm::createCallGraphViewerPass();
(void) llvm::createCFGSimplificationPass();		(void) llvm::createCFGSimplificationPass();
▲ Show 20 Lines • Show All 126 Lines • Show Last 20 Lines

lib/Analysis/Analysis.cpp

Show First 20 Lines • Show All 44 Lines • ▼ Show 20 Lines	void llvm::initializeAnalysis(PassRegistry &Registry) {
initializeDomOnlyPrinterPass(Registry);		initializeDomOnlyPrinterPass(Registry);
initializePostDomPrinterPass(Registry);		initializePostDomPrinterPass(Registry);
initializePostDomOnlyViewerPass(Registry);		initializePostDomOnlyViewerPass(Registry);
initializePostDomOnlyPrinterPass(Registry);		initializePostDomOnlyPrinterPass(Registry);
initializeIVUsersPass(Registry);		initializeIVUsersPass(Registry);
initializeInstCountPass(Registry);		initializeInstCountPass(Registry);
initializeIntervalPartitionPass(Registry);		initializeIntervalPartitionPass(Registry);
initializeLazyValueInfoPass(Registry);		initializeLazyValueInfoPass(Registry);
initializeLibCallAliasAnalysisPass(Registry);
initializeLintPass(Registry);		initializeLintPass(Registry);
initializeLoopInfoWrapperPassPass(Registry);		initializeLoopInfoWrapperPassPass(Registry);
initializeMemDepPrinterPass(Registry);		initializeMemDepPrinterPass(Registry);
initializeMemDerefPrinterPass(Registry);		initializeMemDerefPrinterPass(Registry);
initializeMemoryDependenceAnalysisPass(Registry);		initializeMemoryDependenceAnalysisPass(Registry);
initializeModuleDebugInfoPrinterPass(Registry);		initializeModuleDebugInfoPrinterPass(Registry);
initializePostDominatorTreePass(Registry);		initializePostDominatorTreePass(Registry);
initializeRegionInfoPassPass(Registry);		initializeRegionInfoPassPass(Registry);
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

lib/Analysis/CMakeLists.txt

Show All 24 Lines	add_llvm_library(LLVMAnalysis
IVUsers.cpp		IVUsers.cpp
InstCount.cpp		InstCount.cpp
InstructionSimplify.cpp		InstructionSimplify.cpp
Interval.cpp		Interval.cpp
IntervalPartition.cpp		IntervalPartition.cpp
IteratedDominanceFrontier.cpp		IteratedDominanceFrontier.cpp
LazyCallGraph.cpp		LazyCallGraph.cpp
LazyValueInfo.cpp		LazyValueInfo.cpp
LibCallAliasAnalysis.cpp
LibCallSemantics.cpp		LibCallSemantics.cpp
Lint.cpp		Lint.cpp
Loads.cpp		Loads.cpp
LoopAccessAnalysis.cpp		LoopAccessAnalysis.cpp
LoopInfo.cpp		LoopInfo.cpp
LoopPass.cpp		LoopPass.cpp
MemDepPrinter.cpp		MemDepPrinter.cpp
MemDerefPrinter.cpp		MemDerefPrinter.cpp
Show All 32 Lines

lib/Analysis/LibCallAliasAnalysis.cpp

This file was deleted.

	//===- LibCallAliasAnalysis.cpp - Implement AliasAnalysis for libcalls ----===//
	//
	// The LLVM Compiler Infrastructure
	//
	// This file is distributed under the University of Illinois Open Source
	// License. See LICENSE.TXT for details.
	//
	//===----------------------------------------------------------------------===//
	//
	// This file implements the LibCallAliasAnalysis class.
	//
	//===----------------------------------------------------------------------===//

	#include "llvm/Analysis/LibCallAliasAnalysis.h"
	#include "llvm/Analysis/LibCallSemantics.h"
	#include "llvm/IR/Function.h"
	#include "llvm/Pass.h"
	using namespace llvm;

	char LibCallAliasAnalysis::ID = 0;
	INITIALIZE_AG_PASS(LibCallAliasAnalysis, AliasAnalysis, "libcall-aa",
	"LibCall Alias Analysis", false, true, false)

	FunctionPass llvm::createLibCallAliasAnalysisPass(LibCallInfo LCI) {
	return new LibCallAliasAnalysis(LCI);
	}

	LibCallAliasAnalysis::~LibCallAliasAnalysis() { delete LCI; }

	void LibCallAliasAnalysis::getAnalysisUsage(AnalysisUsage &AU) const {
	AliasAnalysis::getAnalysisUsage(AU);
	AU.setPreservesAll(); // Does not transform code
	}

	bool LibCallAliasAnalysis::runOnFunction(Function &F) {
	// set up super class
	InitializeAliasAnalysis(this, &F.getParent()->getDataLayout());
	return false;
	}

	/// Given a call to a function with the specified LibCallFunctionInfo, see if
	/// we can improve the mod/ref footprint of the call vs the specified
	/// pointer/size.
	ModRefInfo
	LibCallAliasAnalysis::AnalyzeLibCallDetails(const LibCallFunctionInfo *FI,
	ImmutableCallSite CS,
	const MemoryLocation &Loc) {
	// If we have a function, check to see what kind of mod/ref effects it
	// has. Start by including any info globally known about the function.
	ModRefInfo MRInfo = FI->UniversalBehavior;
	if (MRInfo == MRI_NoModRef)
	return MRInfo;

	// If that didn't tell us that the function is 'readnone', check to see
	// if we have detailed info and if 'P' is any of the locations we know
	// about.
	const LibCallFunctionInfo::LocationMRInfo *Details = FI->LocationDetails;
	if (Details == nullptr)
	return MRInfo;

	// If the details array is of the 'DoesNot' kind, we only know something if
	// the pointer is a match for one of the locations in 'Details'. If we find a
	// match, we can prove some interactions cannot happen.
	//
	if (FI->DetailsType == LibCallFunctionInfo::DoesNot) {
	// Find out if the pointer refers to a known location.
	for (unsigned i = 0; Details[i].LocationID != ~0U; ++i) {
	const LibCallLocationInfo &LocInfo =
	LCI->getLocationInfo(Details[i].LocationID);
	LibCallLocationInfo::LocResult Res = LocInfo.isLocation(CS, Loc);
	if (Res != LibCallLocationInfo::Yes)
	continue;

	// If we find a match against a location that we 'do not' interact with,
	// learn this info into MRInfo.
	return ModRefInfo(MRInfo & ~Details[i].MRInfo);
	}
	return MRInfo;
	}

	// If the details are of the 'DoesOnly' sort, we know something if the pointer
	// is a match for one of the locations in 'Details'. Also, if we can prove
	// that the pointers is not one of the locations in 'Details', we know that
	// the call is MRI_NoModRef.
	assert(FI->DetailsType == LibCallFunctionInfo::DoesOnly);

	// Find out if the pointer refers to a known location.
	bool NoneMatch = true;
	for (unsigned i = 0; Details[i].LocationID != ~0U; ++i) {
	const LibCallLocationInfo &LocInfo =
	LCI->getLocationInfo(Details[i].LocationID);
	LibCallLocationInfo::LocResult Res = LocInfo.isLocation(CS, Loc);
	if (Res == LibCallLocationInfo::No)
	continue;

	// If we don't know if this pointer points to the location, then we have to
	// assume it might alias in some case.
	if (Res == LibCallLocationInfo::Unknown) {
	NoneMatch = false;
	continue;
	}

	// If we know that this pointer definitely is pointing into the location,
	// merge in this information.
	return ModRefInfo(MRInfo & Details[i].MRInfo);
	}

	// If we found that the pointer is guaranteed to not match any of the
	// locations in our 'DoesOnly' rule, then we know that the pointer must point
	// to some other location. Since the libcall doesn't mod/ref any other
	// locations, return MRI_NoModRef.
	if (NoneMatch)
	return MRI_NoModRef;

	// Otherwise, return any other info gained so far.
	return MRInfo;
	}

	/// Check to see if the specified callsite can clobber the specified memory
	/// object.
	ModRefInfo LibCallAliasAnalysis::getModRefInfo(ImmutableCallSite CS,
	const MemoryLocation &Loc) {
	ModRefInfo MRInfo = MRI_ModRef;

	// If this is a direct call to a function that LCI knows about, get the
	// information about the runtime function.
	if (LCI) {
	if (const Function *F = CS.getCalledFunction()) {
	if (const LibCallFunctionInfo *FI = LCI->getFunctionInfo(F)) {
	MRInfo = ModRefInfo(MRInfo & AnalyzeLibCallDetails(FI, CS, Loc));
	if (MRInfo == MRI_NoModRef)
	return MRI_NoModRef;
	}
	}
	}

	// The AliasAnalysis base class has some smarts, lets use them.
	return (ModRefInfo)(MRInfo \| AliasAnalysis::getModRefInfo(CS, Loc));
	}

lib/Analysis/LibCallSemantics.cpp

	//===- LibCallSemantics.cpp - Describe library semantics ------------------===//			//===- LibCallSemantics.cpp - Describe library semantics ------------------===//
	//			//
	// The LLVM Compiler Infrastructure			// The LLVM Compiler Infrastructure
	//			//
	// This file is distributed under the University of Illinois Open Source			// This file is distributed under the University of Illinois Open Source
	// License. See LICENSE.TXT for details.			// License. See LICENSE.TXT for details.
	//			//
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//
	//			//
	// This file implements interfaces that can be used to describe language			// This file implements interfaces that can be used to describe language
	// specific runtime library interfaces (e.g. libc, libm, etc) to LLVM			// specific runtime library interfaces (e.g. libc, libm, etc) to LLVM
	// optimizers.			// optimizers.
	//			//
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//

	#include "llvm/Analysis/LibCallSemantics.h"			#include "llvm/Analysis/LibCallSemantics.h"
	#include "llvm/ADT/StringMap.h"
	#include "llvm/ADT/StringSwitch.h"			#include "llvm/ADT/StringSwitch.h"
	#include "llvm/IR/Function.h"			#include "llvm/IR/Function.h"
	using namespace llvm;			using namespace llvm;

	/// This impl pointer in ~LibCallInfo is actually a StringMap. This
	/// helper does the cast.
	static StringMap<const LibCallFunctionInfo> getMap(void *Ptr) {
	return static_cast<StringMap<const LibCallFunctionInfo> >(Ptr);
	}

	LibCallInfo::~LibCallInfo() {
	delete getMap(Impl);
	}

	const LibCallLocationInfo &LibCallInfo::getLocationInfo(unsigned LocID) const {
	// Get location info on the first call.
	if (NumLocations == 0)
	NumLocations = getLocationInfo(Locations);

	assert(LocID < NumLocations && "Invalid location ID!");
	return Locations[LocID];
	}


	/// Return the LibCallFunctionInfo object corresponding to
	/// the specified function if we have it. If not, return null.
	const LibCallFunctionInfo *
	LibCallInfo::getFunctionInfo(const Function *F) const {
	StringMap<const LibCallFunctionInfo> Map = getMap(Impl);

	/// If this is the first time we are querying for this info, lazily construct
	/// the StringMap to index it.
	if (!Map) {
	Impl = Map = new StringMap<const LibCallFunctionInfo*>();

	const LibCallFunctionInfo *Array = getFunctionInfoArray();
	if (!Array) return nullptr;

	// We now have the array of entries. Populate the StringMap.
	for (unsigned i = 0; Array[i].Name; ++i)
	(*Map)[Array[i].Name] = Array+i;
	}

	// Look up this function in the string map.
	return Map->lookup(F->getName());
	}

	/// See if the given exception handling personality function is one that we			/// See if the given exception handling personality function is one that we
	/// understand. If so, return a description of it; otherwise return Unknown.			/// understand. If so, return a description of it; otherwise return Unknown.
	EHPersonality llvm::classifyEHPersonality(const Value *Pers) {			EHPersonality llvm::classifyEHPersonality(const Value *Pers) {
	const Function *F = dyn_cast<Function>(Pers->stripPointerCasts());			const Function *F = dyn_cast<Function>(Pers->stripPointerCasts());
	if (!F)			if (!F)
	return EHPersonality::Unknown;			return EHPersonality::Unknown;
	return StringSwitch<EHPersonality>(F->getName())			return StringSwitch<EHPersonality>(F->getName())
	.Case("__gnat_eh_personality", EHPersonality::GNU_Ada)			.Case("__gnat_eh_personality", EHPersonality::GNU_Ada)
	Show All 17 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[PM/AA] Delete the LibCallAliasAnalysis and all the associated infrastructure.ClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 32141

include/llvm/Analysis/LibCallAliasAnalysis.h

include/llvm/Analysis/LibCallSemantics.h

include/llvm/Analysis/Passes.h

include/llvm/InitializePasses.h

include/llvm/LinkAllPasses.h

lib/Analysis/Analysis.cpp

lib/Analysis/CMakeLists.txt

lib/Analysis/LibCallAliasAnalysis.cpp

lib/Analysis/LibCallSemantics.cpp

[PM/AA] Delete the LibCallAliasAnalysis and all the associated infrastructure.
ClosedPublic