Andersens.cpp File Reference

#include "llvm/Constants.h"
#include "llvm/DerivedTypes.h"
#include "llvm/Instructions.h"
#include "llvm/Module.h"
#include "llvm/Pass.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/InstIterator.h"
#include "llvm/Support/InstVisitor.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/Passes.h"
#include "llvm/Support/Debug.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/SparseBitVector.h"
#include "llvm/ADT/DenseSet.h"
#include <algorithm>
#include <set>
#include <list>
#include <map>
#include <stack>
#include <vector>
#include <queue>

Include dependency graph for Andersens.cpp:

Go to the source code of this file.

Classes

struct BitmapKeyInfo

class Andersens

struct Andersens::Constraint

struct Andersens::PairKeyInfo

struct Andersens::ConstraintKeyInfo

struct Andersens::Node

struct Andersens::WorkListElement

class Andersens::WorkList

Defines

#define DEBUG_TYPE   "anders-aa"

#define FULL_UNIVERSAL   0

#define DEBUG_TYPE   "anders-aa-constraints"

#define DEBUG_TYPE   "anders-aa"

#define DEBUG_TYPE   "anders-aa-renumber"

#define DEBUG_TYPE   "anders-aa"

#define DEBUG_TYPE   "anders-aa-labels"

#define DEBUG_TYPE   "anders-aa"

#define DEBUG_TYPE   "anders-aa-labels"

#define DEBUG_TYPE   "anders-aa"

#define DEBUG_TYPE   "anders-aa-constraints"

#define DEBUG_TYPE   "anders-aa"

Enumerations

enum ConstraintType

Functions

STATISTIC (NumIters,"Number of iterations to reach convergence")

STATISTIC (NumConstraints,"Number of constraints")

STATISTIC (NumNodes,"Number of nodes")

STATISTIC (NumUnified,"Number of variables unified")

STATISTIC (NumErased,"Number of redundant constraints erased")

void dumpToDOUT (SparseBitVector<> *bitmap)

Variables

const unsigned SelfRep = (unsigned)-1

const unsigned Unvisited = (unsigned)-1

const unsigned CallReturnPos = 1

const unsigned CallFirstArgPos = 2

RegisterPass< Andersens > X ("anders-aa","Andersen's Interprocedural Alias Analysis", false, true)

RegisterAnalysisGroup< AliasAnalysis > Y (X)