lib/Analysis/BasicAliasAnalysis.cpp

544     AliasResult aliasGEP(const GEPOperator *V1, uint64_t V1Size,
563     AliasResult aliasCheck(const Value *V1, uint64_t V1Size,
884 BasicAliasAnalysis::aliasGEP(const GEPOperator *GEP1, uint64_t V1Size,
903     if ((BaseAlias == MayAlias) && V1Size == V2Size) {
905       AliasResult PreciseBaseAlias = aliasCheck(UnderlyingV1, V1Size,
966     if (V1Size == UnknownSize && V2Size == UnknownSize)
1016       // |-->V1Size       |-------> V2Size
1020       if (V1Size != UnknownSize && V2Size != UnknownSize) {
1021         if (-(uint64_t)GEP1BaseOffset < V1Size)
1040     if (V1Size != UnknownSize && V2Size != UnknownSize &&
1041         ModOffset >= V2Size && V1Size <= Modulo - ModOffset)
1192 BasicAliasAnalysis::aliasCheck(const Value *V1, uint64_t V1Size,
1198   if (V1Size == 0 || V2Size == 0)
1269     if ((V1Size != UnknownSize && isObjectSmallerThan(O2, V1Size, *TD, *TLI)) ||
1275   LocPair Locs(Location(V1, V1Size, V1TBAAInfo),
1288     std::swap(V1Size, V2Size);
1293     AliasResult Result = aliasGEP(GV1, V1Size, V1TBAAInfo, V2, V2Size, V2TBAAInfo, O1, O2);
1299     std::swap(V1Size, V2Size);
1303     AliasResult Result = aliasPHI(PN, V1Size, V1TBAAInfo,
1310     std::swap(V1Size, V2Size);
1314     AliasResult Result = aliasSelect(S1, V1Size, V1TBAAInfo,
1323     if ((V1Size != UnknownSize && isObjectSize(O1, V1Size, *TD, *TLI)) ||
1328     AliasAnalysis::alias(Location(V1, V1Size, V1TBAAInfo),