LLVM  6.0.0svn
Classes | Macros | Functions
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/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 94 of file CFLSteensAliasAnalysis.cpp.

Referenced by llvm::CFLSteensAAResult::FunctionInfo::FunctionInfo().

◆ INITIALIZE_PASS()

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

Definition at line 338 of file CFLSteensAliasAnalysis.cpp.