Lines Matching defs:V1Size
1080 const GEPOperator *GEP1, LocationSize V1Size,
1083 if (!V1Size.hasValue() && !V2Size.hasValue()) {
1123 V1Size.hasValue() && !V1Size.isScalable() &&
1124 DecompGEP1.Offset.sle(-V1Size.getValue()) &&
1132 return AAQI.AAR.alias(MemoryLocation(DecompGEP1.Base, V1Size),
1159 LocationSize VRightSize = V1Size;
1167 // |-->V1Size |-------> V2Size
1216 LocationSize VLeftSize = Scale.isNegative() ? V1Size : V2Size;
1237 if (V1Size.isScalable() || V2Size.isScalable())
1241 if (!V1Size.hasValue() || !V2Size.hasValue())
1282 // 1. (...)*GCD + DecompGEP1.Offset with size V1Size
1285 // [ModOffset..ModOffset+V1Size) and [0..V2Size). If the first access fits
1291 (GCD - ModOffset).uge(V1Size.getValue()))
1298 ConstantRange(APInt(BW, 0), APInt(BW, V1Size.getValue())));
1354 if (OffsetLo.isNegative() && (-OffsetLo).uge(V1Size.getValue()) &&
1359 if (constantOffsetHeuristic(DecompGEP1, V1Size, V2Size, &AC, DT, AAQI))
1535 AliasResult BasicAAResult::aliasCheck(const Value *V1, LocationSize V1Size,
1541 if (V1Size.isZero() || V2Size.isZero())
1610 O2, getMinimalExtentFrom(*V1, V1Size, DL, NullIsValidLocation), DL,
1669 if (V1Size.mayBeBeforePointer() || V2Size.mayBeBeforePointer()) {
1670 V1Size = LocationSize::afterPointer();
1685 AAQueryInfo::LocPair Locs({V1, V1Size, AAQI.MayBeCrossIteration},
1711 aliasCheckRecursive(V1, V1Size, V2, V2Size, AAQI, O1, O2);
1763 const Value *V1, LocationSize V1Size,
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() &&
1804 (isObjectSize(O1, V1Size.getValue(), DL, TLI, NullIsValidLocation) ||
1890 const uint64_t V1Size = MaybeV1Size.getValue();
1926 // values GEP1 > V2). We'll therefore only declare NoAlias if both V1Size and
1928 return MinDiffBytes.uge(V1Size + GEP.Offset.abs()) &&