8290822: C2: assert in PhaseIdealLoop::do_unroll() is subject to unde…

…fined behavior Backport-of: cd77fcfb5f9156e5f0909fa15a842dde6c25c66a
openjdk · Apr 27, 2023 · 241c066 · 241c066 · openjdk-notifier · Apr 27, 2023
1 parent 48632e5
commit 241c066
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/hotspot/share/opto/loopTransform.cpp b/src/hotspot/share/opto/loopTransform.cpp
@@ -2149,8 +2149,8 @@ void PhaseIdealLoop::do_unroll(IdealLoopTree *loop, Node_List &old_new, bool adj
 
     // Verify that policy_unroll result is still valid.
     const TypeInt* limit_type = _igvn.type(limit)->is_int();
-    assert(stride_con > 0 && ((limit_type->_hi - stride_con) < limit_type->_hi) ||
-           stride_con < 0 && ((limit_type->_lo - stride_con) > limit_type->_lo),
+    assert((stride_con > 0 && ((min_jint + stride_con) <= limit_type->_hi)) ||
+           (stride_con < 0 && ((max_jint + stride_con) >= limit_type->_lo)),
            "sanity");
 
     if (limit->is_Con()) {