LLVM
15.0.0git
|
#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>
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 | |
#define DEBUG_TYPE "cfl-steens-aa" |
Definition at line 62 of file CFLSteensAliasAnalysis.cpp.
|
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 | ( | CFLSteensAAWrapperPass | , |
"cfl-steens-aa" | , | ||
"Unification-Based CFL Alias Analysis" | , | ||
false | , | ||
true | |||
) |
Definition at line 343 of file CFLSteensAliasAnalysis.cpp.