--- old/src/hotspot/share/opto/compile.cpp 2018-12-17 21:15:34.351632854 +0530 +++ new/src/hotspot/share/opto/compile.cpp 2018-12-17 21:15:34.139632240 +0530 @@ -3469,8 +3469,7 @@ } case Op_CmpUL: { if (!Matcher::has_match_rule(Op_CmpUL)) { - // We don't support unsigned long comparisons. Set 'max_idx_expr' - // to max_julong if < 0 to make the signed comparison fail. + // No support for unsigned long comparisons ConINode* sign_pos = new ConINode(TypeInt::make(BitsPerLong - 1)); Node* sign_bit_mask = new RShiftLNode(n->in(1), sign_pos); Node* orl = new OrLNode(n->in(1), sign_bit_mask); --- old/src/hotspot/share/opto/loopTransform.cpp 2018-12-17 21:15:34.843634282 +0530 +++ new/src/hotspot/share/opto/loopTransform.cpp 2018-12-17 21:15:34.631633666 +0530 @@ -2289,9 +2289,9 @@ register_new_node(opaque_bol, predicate_proj); IfNode* new_iff = NULL; if (overflow) { - new_iff = new IfNode(predicate_proj, bol, PROB_MAX, COUNT_UNKNOWN); + new_iff = new IfNode(predicate_proj, opaque_bol, PROB_MAX, COUNT_UNKNOWN); } else { - new_iff = new RangeCheckNode(predicate_proj, bol, PROB_MAX, COUNT_UNKNOWN); + new_iff = new RangeCheckNode(predicate_proj, opaque_bol, PROB_MAX, COUNT_UNKNOWN); } register_control(new_iff, loop->_parent, predicate_proj); Node* iffalse = new IfFalseNode(new_iff); --- old/src/hotspot/share/opto/loopnode.hpp 2018-12-17 21:15:35.375635824 +0530 +++ new/src/hotspot/share/opto/loopnode.hpp 2018-12-17 21:15:35.111635059 +0530 @@ -302,7 +302,7 @@ void set_slp_max_unroll(int unroll_factor) { _slp_maximum_unroll_factor = unroll_factor; } int slp_max_unroll() const { return _slp_maximum_unroll_factor; } - virtual LoopNode* skip_strip_mined(int expect_opaq = 1); + virtual LoopNode* skip_strip_mined(int expect_skeleton = 1); OuterStripMinedLoopNode* outer_loop() const; virtual IfTrueNode* outer_loop_tail() const; virtual OuterStripMinedLoopEndNode* outer_loop_end() const; --- old/src/hotspot/share/opto/node.cpp 2018-12-17 21:15:35.839637170 +0530 +++ new/src/hotspot/share/opto/node.cpp 2018-12-17 21:15:35.623636544 +0530 @@ -1367,7 +1367,7 @@ igvn->C->remove_range_check_cast(cast); } if (dead->Opcode() == Op_Opaque4) { - igvn->C->remove_range_check_cast(dead); + igvn->C->remove_opaque4_node(dead); } BarrierSetC2* bs = BarrierSet::barrier_set()->barrier_set_c2(); bs->unregister_potential_barrier_node(dead); --- /dev/null 2018-12-11 18:30:06.534110278 +0530 +++ new/test/hotspot/jtreg/compiler/loopopts/Test8211698.java 2018-12-17 21:15:36.103637936 +0530 @@ -0,0 +1,57 @@ +/* + * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ + +/* + * @test + * @bug 8211698 + * @summary Crash in C2 compiled code during execution of double array heavy processing code + * + * @run main/othervm -XX:CompileOnly=Test8211698.test Test8211698 + * + */ + +public class Test8211698 { + + public static void main(String[] args) { + Test8211698 issue = new Test8211698(); + for (int i = 0; i < 10000; i++) { + issue.test(); + } + } + + public void test() { + int[] iarr1 = new int[888]; + for (int i = 5; i > 0; i--) { + for (int j = 0; j <= i - 1; j++) { + int istep = 2 * j - i; + int iadj = 0; + if (istep < 0) { + iadj = iarr1[-istep]; + } else { + iadj = iarr1[istep]; + } + } + } + } +} +