|
LLVM
4.0.0
|
#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>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 | |
| #define DEBUG_TYPE "cfl-steens-aa" |
Definition at line 60 of file CFLSteensAliasAnalysis.cpp.
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.
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().
1.8.6