Lines Matching defs:Var0
1340 const VariableGEPIndex &Var0 = DecompGEP1.VarIndices[0];
1342 if (Var0.hasNegatedScaleOf(Var1) && Var0.Val.TruncBits == 0 &&
1343 Var0.Val.hasSameCastsAs(Var1.Val) && !AAQI.MayBeCrossIteration &&
1344 isKnownNonEqual(Var0.Val.V, Var1.Val.V, DL, &AC, /* CxtI */ nullptr,
1346 MinAbsVarIndex = Var0.Scale.abs();
1893 const VariableGEPIndex &Var0 = GEP.VarIndices[0], &Var1 = GEP.VarIndices[1];
1895 if (Var0.Val.TruncBits != 0 || !Var0.Val.hasSameCastsAs(Var1.Val) ||
1896 !Var0.hasNegatedScaleOf(Var1) ||
1897 Var0.Val.V->getType() != Var1.Val.V->getType())
1900 // We'll strip off the Extensions of Var0 and Var1 and do another round
1901 // of GetLinearExpression decomposition. In the example above, if Var0
1905 GetLinearExpression(CastedValue(Var0.Val.V), DL, 0, AC, DT);
1912 // We have a hit - Var0 and Var1 only differ by a constant offset!
1914 // If we've been sext'ed then zext'd the maximum difference between Var0 and
1922 MinDiff.zextOrTrunc(Var0.Scale.getBitWidth()) * Var0.Scale.abs();