AliasAnalysis.cpp File Reference

#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/BasicAliasAnalysis.h"
#include "llvm/Analysis/CaptureTracking.h"
#include "llvm/Analysis/GlobalsModRef.h"
#include "llvm/Analysis/MemoryLocation.h"
#include "llvm/Analysis/ScalarEvolutionAliasAnalysis.h"
#include "llvm/Analysis/ScopedNoAliasAA.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/Analysis/TypeBasedAliasAnalysis.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Argument.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/AtomicOrdering.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include <cassert>
#include <functional>
#include <iterator>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "aa"

Functions
	STATISTIC (NumNoAlias, "Number of NoAlias results")
	STATISTIC (NumMayAlias, "Number of MayAlias results")
	STATISTIC (NumMustAlias, "Number of MustAlias results")
	INITIALIZE_PASS (ExternalAAWrapperPass, "external-aa", "External Alias Analysis", false, true) ImmutablePass *llvm
	INITIALIZE_PASS_BEGIN (AAResultsWrapperPass, "aa", "Function Alias Analysis Results", false, true) INITIALIZE_PASS_END(AAResultsWrapperPass
static bool	isNoAliasOrByValArgument (const Value *V)

Variables
static cl::opt< bool >	DisableBasicAA ("disable-basic-aa", cl::Hidden, cl::init(false))
	Allow disabling BasicAA from the AA results.
static cl::opt< bool >	EnableAATrace ("aa-trace", cl::Hidden, cl::init(false))
	Print a trace of alias analysis queries and their results.
	aa
Function Alias Analysis	Results
Function Alias Analysis	false

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "aa"

Definition at line 53 of file AliasAnalysis.cpp.

Function Documentation

INITIALIZE_PASS()

INITIALIZE_PASS	(	ExternalAAWrapperPass	,
		"external-aa"	,
		"External Alias Analysis"	,
		false	,
		true	)

Definition at line 713 of file AliasAnalysis.cpp.

References llvm::createExternalAAWrapperPass().

INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	AAResultsWrapperPass	,
		"aa"	,
		"Function Alias Analysis Results"	,
		false	,
		true	)

References INITIALIZE_PASS_DEPENDENCY.

isNoAliasOrByValArgument()

bool isNoAliasOrByValArgument ( const Value * V )

static

Definition at line 831 of file AliasAnalysis.cpp.

References A(), and llvm::dyn_cast().

Referenced by llvm::isIdentifiedFunctionLocal(), and llvm::isIdentifiedObject().

STATISTIC() [1/3]

STATISTIC	(	NumMayAlias	,
		"Number of MayAlias results"	)

STATISTIC() [2/3]

STATISTIC	(	NumMustAlias	,
		"Number of MustAlias results"	)

STATISTIC() [3/3]

STATISTIC	(	NumNoAlias	,
		"Number of NoAlias results"	)

Variable Documentation

aa

aa

Definition at line 733 of file AliasAnalysis.cpp.

Referenced by llvm::SelectionDAGBuilder::init(), ProvenanceAnalysis::setAA(), and llvm::VLIWPacketizerList::VLIWPacketizerList().

DisableBasicAA

cl::opt< bool > DisableBasicAA("disable-basic-aa", cl::Hidden, cl::init(false)) ( "disable-basic-aa" , cl::Hidden , cl::init(false)  )

static

Allow disabling BasicAA from the AA results.

This is particularly useful when testing to isolate a single AA implementation.

Referenced by llvm::AAResultsWrapperPass::runOnFunction().

EnableAATrace

cl::opt< bool > EnableAATrace("aa-trace", cl::Hidden, cl::init(false)) ( "aa-trace" , cl::Hidden , cl::init(false)  )

static

Print a trace of alias analysis queries and their results.

Referenced by llvm::AAResults::alias().

false

hexagon widen Hexagon Store false hexagon widen Hexagon Load false

Definition at line 734 of file AliasAnalysis.cpp.

Results

Function Alias Analysis Results

Definition at line 734 of file AliasAnalysis.cpp.

Referenced by llvm::MachineIRBuilder::buildIntrinsic(), llvm::MachineIRBuilder::buildIntrinsic(), combineVectorCompare(), llvm::computeSignatureVTs(), createTblForTrunc(), CustomNonLegalBITCASTResults(), emitConstantSizeRepmov(), emitConstantSizeRepstos(), llvm::WebAssemblyAsmPrinter::emitDecls(), emitErrorAndReplaceIntrinsicResults(), expandIntrinsicWChainHelper(), llvm::SelectionDAG::expandMultipleResultFPLibCall(), ExpandREAD_REGISTER(), llvm::gsym::MergedFunctionsInfo::getFuncsDataExtractors(), getReadTimeStampCounter(), llvm::R600TargetLowering::getSubtarget(), initializeUniqueCases(), llvm::isOverflowIntrinsicNoWrap(), llvm::ARMLegalizerInfo::legalizeCustom(), llvm::gsym::GsymReader::lookupAll(), lowerFixedVectorSegLoadIntrinsics(), LowerINTRINSIC_W_CHAIN(), llvm::HexagonTargetLowering::LowerOperationWrapper(), llvm::SystemZTargetLowering::LowerOperationWrapper(), llvm::TargetLowering::LowerOperationWrapper(), LowerREADCYCLECOUNTER(), llvm::AMDGPUTargetLowering::LowerSTORE(), llvm::AMDGPUTargetLowering::LowerUDIVREM(), llvm::AMDGPUTargetLowering::LowerUDIVREM64(), llvm::MachO::DylibReader::readFile(), ReplaceAddWithADDP(), ReplaceATOMIC_LOAD_128Results(), replaceAtomicSwap128(), ReplaceBITCAST(), replaceBoolVectorBitcast(), ReplaceCMP_SWAP_128Results(), ReplaceCMP_SWAP_64Results(), replaceCMP_XCHG_128Results(), ReplaceCopyFromReg_128(), ReplaceINTRINSIC_W_CHAIN(), replaceINTRINSIC_WO_CHAINResults(), replaceLoadVector(), ReplaceLongIntrinsic(), llvm::AMDGPUTargetLowering::ReplaceNodeResults(), llvm::ARMTargetLowering::ReplaceNodeResults(), llvm::AVRTargetLowering::ReplaceNodeResults(), llvm::HexagonTargetLowering::ReplaceNodeResults(), llvm::LoongArchTargetLowering::ReplaceNodeResults(), llvm::MipsTargetLowering::ReplaceNodeResults(), llvm::PPCTargetLowering::ReplaceNodeResults(), llvm::R600TargetLowering::ReplaceNodeResults(), llvm::RISCVTargetLowering::ReplaceNodeResults(), llvm::SITargetLowering::ReplaceNodeResults(), llvm::SparcTargetLowering::ReplaceNodeResults(), llvm::SystemZTargetLowering::ReplaceNodeResults(), llvm::VETargetLowering::ReplaceNodeResults(), llvm::X86TargetLowering::ReplaceNodeResults(), llvm::XCoreTargetLowering::ReplaceNodeResults(), replaceProxyReg(), ReplaceREADCYCLECOUNTER(), ReplaceReductionResults(), replaceVecCondBranchResults(), replaceVPICKVE2GRResults(), llvm::DebugAssignmentTrackingAnalysis::run(), llvm::HvxSelector::selectShuffle(), llvm::signatureFromMVTs(), and simplifySwitchLookup().