mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-25 16:29:20 +00:00
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
This commit is contained in:
parent
b6fd0b481c
commit
8833c32108
@ -3948,22 +3948,22 @@ ScalarEvolution::ComputeBackedgeTakenCountFromExitCondICmp(const Loop *L,
|
|||||||
break;
|
break;
|
||||||
case ICmpInst::ICMP_ULE:
|
case ICmpInst::ICMP_ULE:
|
||||||
if (!getUnsignedRange(RHS).getUnsignedMax().isMaxValue()) {
|
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);
|
/*HasNUW=*/true, /*HasNSW=*/false);
|
||||||
Cond = ICmpInst::ICMP_ULT;
|
Cond = ICmpInst::ICMP_ULT;
|
||||||
} else if (!getUnsignedRange(LHS).getUnsignedMin().isMinValue()) {
|
} 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);
|
/*HasNUW=*/true, /*HasNSW=*/false);
|
||||||
Cond = ICmpInst::ICMP_ULT;
|
Cond = ICmpInst::ICMP_ULT;
|
||||||
}
|
}
|
||||||
break;
|
break;
|
||||||
case ICmpInst::ICMP_UGE:
|
case ICmpInst::ICMP_UGE:
|
||||||
if (!getUnsignedRange(RHS).getUnsignedMin().isMinValue()) {
|
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);
|
/*HasNUW=*/true, /*HasNSW=*/false);
|
||||||
Cond = ICmpInst::ICMP_UGT;
|
Cond = ICmpInst::ICMP_UGT;
|
||||||
} else if (!getUnsignedRange(LHS).getUnsignedMax().isMaxValue()) {
|
} 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);
|
/*HasNUW=*/true, /*HasNSW=*/false);
|
||||||
Cond = ICmpInst::ICMP_UGT;
|
Cond = ICmpInst::ICMP_UGT;
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user