ProvenanceAnalysisEvaluator.cpp Source File (original) (raw)

17using namespace llvm;

22 if (Name.starts_with("\1"))

23 return Name.substr(1);

25}

28 if (!V->hasName())

29 return;

31}

36 for (auto &Arg : F.args())

42 for (auto &Op : I.operands())

44 }

49 for (Value *V1 : Values) {

51 for (Value *V2 : Values) {

53 if (NameV1 >= NameV2)

54 continue;

55 errs() << NameV1 << " and " << NameV2;

57 errs() << " are related.\n";

58 else

59 errs() << " are not related.\n";

60 }

61 }

64}

Expand Atomic instructions

static void insertIfNamed(SetVector< Value * > &Values, Value *V)

static StringRef getName(Value *V)

This file declares a special form of Alias Analysis called Provenance Analysis''.

This file implements a set that has insertion order iteration characteristics.

A manager for alias analyses.

A container for analyses that lazily runs them and caches their results.

PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)

Get the result of an analysis pass for a given IR unit.

This class represents an Operation in the Expression.

A set of analyses that are preserved following a run of a transformation pass.

static PreservedAnalyses all()

Construct a special preserved set that preserves all passes.

A vector that has set insertion semantics.

bool insert(const value_type &X)

Insert a new element into the SetVector.

StringRef - Represent a constant reference to a string, i.e.

LLVM Value Representation.

This is similar to BasicAliasAnalysis, and it uses many of the same techniques, except it uses specia...

bool related(const Value *A, const Value *B)

void setAA(AAResults *aa)

This is an optimization pass for GlobalISel generic memory operations.

raw_fd_ostream & errs()

This returns a reference to a raw_ostream for standard error.

PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)