Lines Matching defs:V1Size

1063     const GEPOperator *GEP1, LocationSize V1Size,
1074   if (!V1Size.hasValue() && !V2Size.hasValue()) {
1100     std::swap(V1Size, V2Size);
1121       V1Size.hasValue() && !V1Size.isScalable() &&
1122       DecompGEP1.Offset.sle(-V1Size.getValue()) &&
1129     return AAQI.AAR.alias(MemoryLocation(DecompGEP1.Base, V1Size),
1154     LocationSize VRightSize = V1Size;
1162       // |-->V1Size       |-------> V2Size
1210     LocationSize VLeftSize = Scale.isNegative() ? V1Size : V2Size;
1237   //    |-->V2Size       |                     |-------> V1Size
1245   if (V1Size.isScalable() || V2Size.isScalable())
1249   if (!V1Size.hasValue() || !V2Size.hasValue())
1290   //  1. (...)*GCD + DecompGEP1.Offset with size V1Size
1293   // [ModOffset..ModOffset+V1Size) and [0..V2Size). If the first access fits
1299       (GCD - ModOffset).uge(V1Size.getValue()))
1306       ConstantRange(APInt(BW, 0), APInt(BW, V1Size.getValue())));
1362     if (OffsetLo.isNegative() && (-OffsetLo).uge(V1Size.getValue()) &&
1367   if (constantOffsetHeuristic(DecompGEP1, V1Size, V2Size, &AC, DT, AAQI))
1544 AliasResult BasicAAResult::aliasCheck(const Value *V1, LocationSize V1Size,
1550   if (V1Size.isZero() || V2Size.isZero())
1619           O2, getMinimalExtentFrom(*V1, V1Size, DL, NullIsValidLocation), DL,
1678   if (V1Size.mayBeBeforePointer() || V2Size.mayBeBeforePointer()) {
1679     V1Size = LocationSize::afterPointer();
1694   AAQueryInfo::LocPair Locs({V1, V1Size, AAQI.MayBeCrossIteration},
1720       aliasCheckRecursive(V1, V1Size, V2, V2Size, AAQI, O1, O2);
1772     const Value *V1, LocationSize V1Size,
1776     AliasResult Result = aliasGEP(GV1, V1Size, V2, V2Size, O1, O2, AAQI);
1780     AliasResult Result = aliasGEP(GV2, V2Size, V1, V1Size, O2, O1, AAQI);
1787     AliasResult Result = aliasPHI(PN, V1Size, V2, V2Size, AAQI);
1791     AliasResult Result = aliasPHI(PN, V2Size, V1, V1Size, AAQI);
1798     AliasResult Result = aliasSelect(S1, V1Size, V2, V2Size, AAQI);
1802     AliasResult Result = aliasSelect(S2, V2Size, V1, V1Size, AAQI);
1812     if (V1Size.isPrecise() && V2Size.isPrecise() &&
1813         (isObjectSize(O1, V1Size.getValue(), DL, TLI, NullIsValidLocation) ||
1912   const uint64_t V1Size = MaybeV1Size.getValue();
1948   // values GEP1 > V2). We'll therefore only declare NoAlias if both V1Size and
1950   return MinDiffBytes.uge(V1Size + GEP.Offset.abs()) &&