Home | History | Annotate | Download | only in Analysis

Lines Matching refs:AliasAnalysis

15 #include "llvm/Analysis/AliasAnalysis.h"
44 AliasAnalysis &AA = AST.getAliasAnalysis();
49 if (AA.alias(AliasAnalysis::Location(L->getValue(),
52 AliasAnalysis::Location(R->getValue(),
55 != AliasAnalysis::MustAlias)
103 AliasAnalysis &AA = AST.getAliasAnalysis();
104 AliasAnalysis::AliasResult Result =
105 AA.alias(AliasAnalysis::Location(P->getValue(), P->getSize(),
107 AliasAnalysis::Location(Entry.getValue(), Size, TBAAInfo));
108 if (Result != AliasAnalysis::MustAlias)
112 assert(Result != AliasAnalysis::NoAlias && "Cannot be part of must set!");
126 void AliasSet::addUnknownInst(Instruction *I, AliasAnalysis &AA) {
145 AliasAnalysis &AA) const {
153 return AA.alias(AliasAnalysis::Location(SomePtr->getValue(),
156 AliasAnalysis::Location(Ptr, Size, TBAAInfo));
162 if (AA.alias(AliasAnalysis::Location(Ptr, Size, TBAAInfo),
163 AliasAnalysis::Location(I.getPointer(), I.getSize(),
171 AliasAnalysis::Location(Ptr, Size, TBAAInfo)) !=
172 AliasAnalysis::NoModRef)
179 bool AliasSet::aliasesUnknownInst(Instruction *Inst, AliasAnalysis &AA) const {
186 AA.getModRefInfo(C1, C2) != AliasAnalysis::NoModRef ||
187 AA.getModRefInfo(C2, C1) != AliasAnalysis::NoModRef)
192 if (AA.getModRefInfo(Inst, AliasAnalysis::Location(I.getPointer(),
195 AliasAnalysis::NoModRef)
328 addPointer(VAAI->getOperand(0), AliasAnalysis::UnknownSize,
452 AliasAnalysis::UnknownSize,
633 AU.addRequired<AliasAnalysis>();
637 Tracker = new AliasSetTracker(getAnalysis<AliasAnalysis>());
651 INITIALIZE_AG_DEPENDENCY(AliasAnalysis)