LLVM  4.0.0
Classes | Macros | Functions
CFLSteensAliasAnalysis.cpp File Reference
#include "llvm/Analysis/CFLSteensAliasAnalysis.h"
#include "CFLGraph.h"
#include "StratifiedSets.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/None.h"
#include "llvm/ADT/Optional.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Function.h"
#include "llvm/Pass.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <memory>
#include <tuple>
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 Optional< Function * > parentFunctionOfValue (Value *)
 Try to go from a Value* to a Function*. Never returns nullptr. More...
 
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

#define DEBUG_TYPE   "cfl-steens-aa"

Definition at line 60 of file CFLSteensAliasAnalysis.cpp.

Function Documentation

static bool canSkipAddingToSets ( Value Val)
static

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

Definition at line 107 of file CFLSteensAliasAnalysis.cpp.

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

Definition at line 351 of file CFLSteensAliasAnalysis.cpp.

static Optional< Function * > parentFunctionOfValue ( Value Val)
static

Try to go from a Value* to a Function*. Never returns nullptr.

Definition at line 96 of file CFLSteensAliasAnalysis.cpp.

References llvm::None.

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