CFLSteensAliasAnalysis.cpp File Reference

#include "llvm/Analysis/CFLSteensAliasAnalysis.h"
#include "AliasAnalysisSummary.h"
#include "CFLGraph.h"
#include "StratifiedSets.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <limits>
#include <memory>
#include <utility>

Include dependency graph for CFLSteensAliasAnalysis.cpp:

Go to the source code of this file.

Classes
class	llvm::CFLSteensAAResult::FunctionInfo
	Information we have about a function and would like to keep around. More...

Macros
#define	DEBUG_TYPE   "cfl-steens-aa"

Functions
static bool	canSkipAddingToSets (Value *Val)
	Determines whether it would be pointless to add the given Value to our sets. More...
	INITIALIZE_PASS (CFLSteensAAWrapperPass, "cfl-steens-aa", "Unification-Based CFL Alias Analysis", false, true) ImmutablePass *llvm

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "cfl-steens-aa"

Definition at line 62 of file CFLSteensAliasAnalysis.cpp.

Function Documentation

canSkipAddingToSets()

static bool canSkipAddingToSets ( Value *  Val )

static

Determines whether it would be pointless to add the given Value to our sets.

Definition at line 95 of file CFLSteensAliasAnalysis.cpp.

INITIALIZE_PASS()

INITIALIZE_PASS	(	CFLSteensAAWrapperPass	,
		"cfl-steens-aa"	,
		"Unification-Based CFL Alias Analysis"	,
		false	,
		true
	)

Definition at line 343 of file CFLSteensAliasAnalysis.cpp.