src/share/vm/opto/loopTransform.cpp

*** 1308,1319 ****
            assert(has_ctrl(opaq), "should have it");
            Node* opaq_ctrl = get_ctrl(opaq);
            limit = new (C) Opaque2Node( C, limit );
            register_new_node( limit, opaq_ctrl );
          }
!         if (stride_con > 0 && ((limit_type->_lo - stride_con) < limit_type->_lo) ||
!                    stride_con < 0 && ((limit_type->_hi - stride_con) > limit_type->_hi)) {
            // No underflow.
            new_limit = new (C) SubINode(limit, stride);
          } else {
            // (limit - stride) may underflow.
            // Clamp the adjustment value with MININT or MAXINT:
--- 1308,1319 ----
            assert(has_ctrl(opaq), "should have it");
            Node* opaq_ctrl = get_ctrl(opaq);
            limit = new (C) Opaque2Node( C, limit );
            register_new_node( limit, opaq_ctrl );
          }
!         if (stride_con > 0 && (java_subtract(limit_type->_lo, stride_con) < limit_type->_lo) ||
!             stride_con < 0 && (java_subtract(limit_type->_hi, stride_con) > limit_type->_hi)) {
            // No underflow.
            new_limit = new (C) SubINode(limit, stride);
          } else {
            // (limit - stride) may underflow.
            // Clamp the adjustment value with MININT or MAXINT: