lib/Analysis/BasicAliasAnalysis.cpp

528     /// In addition to pointer equivalence of \p V1 and \p V2 this checks
533     bool isValueEqualInPotentialCycles(const Value *V1, const Value *V2);
546                          const Value *V2, uint64_t V2Size,
554                          const Value *V2, uint64_t V2Size,
560                             const Value *V2, uint64_t V2Size,
565                            const Value *V2, uint64_t V2Size,
880 /// anything about V2.  UnderlyingV1 is GetUnderlyingObject(GEP1, TD),
881 /// UnderlyingV2 is the same for V2.
886                              const Value *V2, uint64_t V2Size,
896   if (const GEPOperator *GEP2 = dyn_cast<GEPOperator>(V2)) {
970                                V2, V2Size, V2TBAAInfo);
972       // If V2 may alias GEP base pointer, conservatively returns MayAlias.
973       // If V2 is known not to alias GEP base pointer, then the two values
995   // In the other case, if we have getelementptr <ptr>, 0, 0, 0, 0, ... and V2
1017       // GEP1             V2
1073                                 const Value *V2, uint64_t V2Size,
1077   if (const SelectInst *SI2 = dyn_cast<SelectInst>(V2))
1090   // If both arms of the Select node NoAlias or MustAlias V2, then returns
1093     aliasCheck(V2, V2Size, V2TBAAInfo, SI->getTrueValue(), SISize, SITBAAInfo);
1098     aliasCheck(V2, V2Size, V2TBAAInfo, SI->getFalseValue(), SISize, SITBAAInfo);
1107                              const Value *V2, uint64_t V2Size,
1116   if (const PHINode *PN2 = dyn_cast<PHINode>(V2))
1119                    Location(V2, V2Size, V2TBAAInfo));
1120       if (PN > V2)
1166   AliasResult Alias = aliasCheck(V2, V2Size, V2TBAAInfo,
1168   // Early exit if the check of the first PHI source against V2 is MayAlias.
1173   // If all sources of the PHI node NoAlias or MustAlias V2, then returns
1178     AliasResult ThisAlias = aliasCheck(V2, V2Size, V2TBAAInfo,
1194                                const Value *V2, uint64_t V2Size,
1203   V2 = V2->stripPointerCasts();
1211   if (isValueEqualInPotentialCycles(V1, V2))
1214   if (!V1->getType()->isPointerTy() || !V2->getType()->isPointerTy())
1219   const Value *O2 = GetUnderlyingObject(V2, TD);
1231     // If V1/V2 point to two different objects we know that we have no alias.
1276                Location(V2, V2Size, V2TBAAInfo));
1277   if (V1 > V2)
1286   if (!isa<GEPOperator>(V1) && isa<GEPOperator>(V2)) {
1287     std::swap(V1, V2);
1293     AliasResult Result = aliasGEP(GV1, V1Size, V1TBAAInfo, V2, V2Size, V2TBAAInfo, O1, O2);
1297   if (isa<PHINode>(V2) && !isa<PHINode>(V1)) {
1298     std::swap(V1, V2);
1304                                   V2, V2Size, V2TBAAInfo);
1308   if (isa<SelectInst>(V2) && !isa<SelectInst>(V1)) {
1309     std::swap(V1, V2);
1315                                      V2, V2Size, V2TBAAInfo);
1329                          Location(V2, V2Size, V2TBAAInfo));
1334                                                        const Value *V2) {
1335   if (V != V2)