diff options
| author | Dan Gohman <gohman@apple.com> | 2010-04-30 19:22:39 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-04-30 19:22:39 +0000 |
| commit | 8833c32108b026e803a4d1ddd6ab1badd3f9dbbc (patch) | |
| tree | d475aa600406bb2e262c7a786c4dc570878b095c /lib/Analysis/ScalarEvolution.cpp | |
| parent | b6fd0b481c265449ffcd10c66fb1415cf9000a79 (diff) | |
Set isSigned to true when creating an all-ones integer constant, even
for unsigned purposes, so >64-bit integer values get a full all-ones
value.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102739 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index d6b4f3fff4..2e7209a482 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -3948,22 +3948,22 @@ ScalarEvolution::ComputeBackedgeTakenCountFromExitCondICmp(const Loop *L, break; case ICmpInst::ICMP_ULE: if (!getUnsignedRange(RHS).getUnsignedMax().isMaxValue()) { - RHS = getAddExpr(getConstant(RHS->getType(), 1, false), RHS, + RHS = getAddExpr(getConstant(RHS->getType(), 1, true), RHS, /*HasNUW=*/true, /*HasNSW=*/false); Cond = ICmpInst::ICMP_ULT; } else if (!getUnsignedRange(LHS).getUnsignedMin().isMinValue()) { - LHS = getAddExpr(getConstant(RHS->getType(), (uint64_t)-1, false), LHS, + LHS = getAddExpr(getConstant(RHS->getType(), (uint64_t)-1, true), LHS, /*HasNUW=*/true, /*HasNSW=*/false); Cond = ICmpInst::ICMP_ULT; } break; case ICmpInst::ICMP_UGE: if (!getUnsignedRange(RHS).getUnsignedMin().isMinValue()) { - RHS = getAddExpr(getConstant(RHS->getType(), (uint64_t)-1, false), RHS, + RHS = getAddExpr(getConstant(RHS->getType(), (uint64_t)-1, true), RHS, /*HasNUW=*/true, /*HasNSW=*/false); Cond = ICmpInst::ICMP_UGT; } else if (!getUnsignedRange(LHS).getUnsignedMax().isMaxValue()) { - LHS = getAddExpr(getConstant(RHS->getType(), 1, false), LHS, + LHS = getAddExpr(getConstant(RHS->getType(), 1, true), LHS, /*HasNUW=*/true, /*HasNSW=*/false); Cond = ICmpInst::ICMP_UGT; } |