Skip to content

Commit 8fccd4d

Browse files
committed
[GR-59871] Expose overflow API.
PullRequest: graal/19344
2 parents 015a8f7 + 422f244 commit 8fccd4d

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/loop/CountedLoopInfo.java

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -615,7 +615,11 @@ public boolean counterNeverOverflows() {
615615
if (loop.loopBegin().canNeverOverflow()) {
616616
return true;
617617
}
618-
if (!isLimitIncluded && getLimitCheckedIV().isConstantStride() && Loop.absStrideIsOne(getLimitCheckedIV())) {
618+
return ivCanNeverOverflow(getLimitCheckedIV());
619+
}
620+
621+
public boolean ivCanNeverOverflow(InductionVariable iv) {
622+
if (!isLimitIncluded && iv.isConstantStride() && Loop.absStrideIsOne(iv)) {
619623
return true;
620624
}
621625
if (loop.loopBegin().isProtectedNonOverflowingUnsigned()) {
@@ -670,7 +674,7 @@ public boolean counterNeverOverflows() {
670674
*/
671675
// @formatter:on
672676
IntegerStamp endStamp = (IntegerStamp) getTripCountLimit().stamp(NodeView.DEFAULT);
673-
ValueNode strideNode = getLimitCheckedIV().strideNode();
677+
ValueNode strideNode = iv.strideNode();
674678
IntegerStamp strideStamp = (IntegerStamp) strideNode.stamp(NodeView.DEFAULT);
675679
IntegerHelper integerHelper = getCounterIntegerHelper();
676680
if (getDirection() == InductionVariable.Direction.Up) {

0 commit comments

Comments
 (0)