diff options
author | Dan Gohman <gohman@apple.com> | 2009-06-20 00:32:22 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-06-20 00:32:22 +0000 |
commit | 92369c323af91c5d7ffd1db40239b3e3bf6e7cda (patch) | |
tree | dd6a747cae25f0252d6a44c5e14af27a42089d27 /lib/Analysis | |
parent | a0c9f01bd4939a58c158f632bf800be2568a7316 (diff) | |
download | external_llvm-92369c323af91c5d7ffd1db40239b3e3bf6e7cda.zip external_llvm-92369c323af91c5d7ffd1db40239b3e3bf6e7cda.tar.gz external_llvm-92369c323af91c5d7ffd1db40239b3e3bf6e7cda.tar.bz2 |
Use ScalarEvolution's new GetMinSignBits and GetMinLeadingZeros
in the loop backedge-taken count computation of the maximum
possible trip count.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73805 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis')
-rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 2dab2f3..465807e 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -3836,9 +3836,12 @@ HowManyLessThans(const SCEV *LHS, const SCEV *RHS, : getUMaxExpr(RHS, Start); // Determine the maximum constant end value. - SCEVHandle MaxEnd = isa<SCEVConstant>(End) ? End : - getConstant(isSigned ? APInt::getSignedMaxValue(BitWidth) : - APInt::getMaxValue(BitWidth)); + SCEVHandle MaxEnd = + isa<SCEVConstant>(End) ? End : + getConstant(isSigned ? APInt::getSignedMaxValue(BitWidth) + .ashr(GetMinSignBits(End) - 1) : + APInt::getMaxValue(BitWidth) + .lshr(GetMinLeadingZeros(End))); // Finally, we subtract these two values and divide, rounding up, to get // the number of times the backedge is executed. |