Lines Matching defs:V2Size
1081 const Value *V2, LocationSize V2Size,
1083 if (!V1Size.hasValue() && !V2Size.hasValue()) {
1115 V2Size.hasValue() && !V2Size.isScalable() &&
1116 DecompGEP1.Offset.sge(V2Size.getValue()) &&
1133 MemoryLocation(DecompGEP2.Base, V2Size), AAQI);
1158 LocationSize VLeftSize = V2Size;
1167 // |-->V1Size |-------> V2Size
1216 LocationSize VLeftSize = Scale.isNegative() ? V1Size : V2Size;
1237 if (V1Size.isScalable() || V2Size.isScalable())
1241 if (!V1Size.hasValue() || !V2Size.hasValue())
1283 // 2. 0 with size V2Size
1285 // [ModOffset..ModOffset+V1Size) and [0..V2Size). If the first access fits
1286 // into the range [V2Size..GCD), then we know they cannot overlap.
1290 if (ModOffset.uge(V2Size.getValue()) &&
1300 ConstantRange(APInt(BW, 0), APInt(BW, V2Size.getValue()));
1355 OffsetHi.isNonNegative() && OffsetHi.uge(V2Size.getValue()))
1359 if (constantOffsetHeuristic(DecompGEP1, V1Size, V2Size, &AC, DT, AAQI))
1384 const Value *V2, LocationSize V2Size,
1393 MemoryLocation(SI2->getTrueValue(), V2Size), AAQI);
1398 MemoryLocation(SI2->getFalseValue(), V2Size), AAQI);
1405 MemoryLocation(V2, V2Size), AAQI);
1411 MemoryLocation(V2, V2Size), AAQI);
1418 const Value *V2, LocationSize V2Size,
1432 PN2->getIncomingValueForBlock(PN->getIncomingBlock(i)), V2Size),
1507 MemoryLocation(V2, V2Size), AAQI);
1524 MemoryLocation(V, PNSize), MemoryLocation(V2, V2Size), AAQI);
1536 const Value *V2, LocationSize V2Size,
1541 if (V1Size.isZero() || V2Size.isZero())
1613 O1, getMinimalExtentFrom(*V2, V2Size, DL, NullIsValidLocation), DL,
1669 if (V1Size.mayBeBeforePointer() || V2Size.mayBeBeforePointer()) {
1671 V2Size = LocationSize::afterPointer();
1686 {V2, V2Size, AAQI.MayBeCrossIteration});
1711 aliasCheckRecursive(V1, V1Size, V2, V2Size, AAQI, O1, O2);
1764 const Value *V2, LocationSize V2Size,
1767 AliasResult Result = aliasGEP(GV1, V1Size, V2, V2Size, O1, O2, AAQI);
1771 AliasResult Result = aliasGEP(GV2, V2Size, V1, V1Size, O2, O1, AAQI);
1778 AliasResult Result = aliasPHI(PN, V1Size, V2, V2Size, AAQI);
1782 AliasResult Result = aliasPHI(PN, V2Size, V1, V1Size, AAQI);
1789 AliasResult Result = aliasSelect(S1, V1Size, V2, V2Size, AAQI);
1793 AliasResult Result = aliasSelect(S2, V2Size, V1, V1Size, AAQI);
1803 if (V1Size.isPrecise() && V2Size.isPrecise() &&
1805 isObjectSize(O2, V2Size.getValue(), DL, TLI, NullIsValidLocation)))
1891 const uint64_t V2Size = MaybeV2Size.getValue();
1927 // V2Size can fit in the MinDiffBytes gap.
1929 MinDiffBytes.uge(V2Size + GEP.Offset.abs());