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

…fined behavior Backport-of: cd77fcfb5f9156e5f0909fa15a842dde6c25c66a
openjdk · Apr 4, 2023 · db88ed0 · db88ed0 · openjdk-notifier · Apr 4, 2023
1 parent 17dfaaf
commit db88ed0
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
@@ -2276,8 +2276,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()) {