From 557b601b0862dc55cf94defe1ecd5e4732b9a385 Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Sat, 24 Oct 2015 11:38:01 +0000 Subject: [BasicAliasAnalysis] Simplify expression, no functional change. (-1) - x + 1 is the same as -x. llvm-svn: 251185 --- llvm/lib/Analysis/BasicAliasAnalysis.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp') diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index 59b2953..bdefc1f 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -1538,11 +1538,10 @@ bool BasicAAResult::constantOffsetHeuristic( // If we've been sext'ed then zext'd the maximum difference between Var0 and // Var1 is possible to calculate, but we're just interested in the absolute - // minumum difference between the two. The minimum distance may occur due to + // minimum difference between the two. The minimum distance may occur due to // wrapping; consider "add i3 %i, 5": if %i == 7 then 7 + 5 mod 8 == 4, and so // the minimum distance between %i and %i + 5 is 3. - APInt MinDiff = V0Offset - V1Offset, - Wrapped = APInt::getMaxValue(Width) - MinDiff + APInt(Width, 1); + APInt MinDiff = V0Offset - V1Offset, Wrapped = -MinDiff; MinDiff = APIntOps::umin(MinDiff, Wrapped); uint64_t MinDiffBytes = MinDiff.getZExtValue() * std::abs(Var0.Scale); -- cgit v1.1