Skip to content
This repository has been archived by the owner on Sep 2, 2022. It is now read-only.
/ jdk17 Public archive

Commit

Permalink
8271272: C2: assert(!had_error) failed: bad dominance
Browse files Browse the repository at this point in the history
Reviewed-by: kvn, thartmann, chagedorn
  • Loading branch information
rwestrel committed Jul 30, 2021
1 parent 6180cf1 commit e351de3
Show file tree
Hide file tree
Showing 2 changed files with 58 additions and 1 deletion.
2 changes: 1 addition & 1 deletion src/hotspot/share/opto/loopnode.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2045,7 +2045,7 @@ Node* CountedLoopNode::match_incr_with_optional_truncation(Node* expr, Node** tr
}

LoopNode* CountedLoopNode::skip_strip_mined(int expect_skeleton) {
if (is_strip_mined() && is_valid_counted_loop(T_INT)) {
if (is_strip_mined() && in(EntryControl) != NULL && in(EntryControl)->is_OuterStripMinedLoop()) {
verify_strip_mined(expect_skeleton);
return in(EntryControl)->as_Loop();
}
Expand Down
57 changes: 57 additions & 0 deletions test/hotspot/jtreg/compiler/loopopts/TestMainNeverExecuted.java
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
/*
* Copyright (c) 2021, Red Hat, Inc. 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 8271272
* @summary C2: assert(!had_error) failed: bad dominance
*
* @run main/othervm -Xcomp -XX:-TieredCompilation -XX:CompileOnly=TestMainNeverExecuted TestMainNeverExecuted
*
*/

public class TestMainNeverExecuted {
public static long y;
static int iArrFld[] = new int[400];
static long x = 0;

public static void main(String[] strArr) {
for (int i1 = 0; i1 < 100; i1++)
vMeth(3, 5);
}
static void vMeth(int f, int g) {
int i3 = 23;
int i11 = 2, i12 = 12, i13 = 32901, i14 = 43741;
for (i11 = 7; i11 < 325; ++i11) {
i13 = 1;
while ((i13 += 3) < 5) {
iArrFld[i13 - 1] = 906;
for (i14 = i13; i14 < 5; i14 += 2) {
y += i14;
i3 += i14;
}
}
}
x += i11 + i12 + i13 + i14;
}
}

1 comment on commit e351de3

@openjdk-notifier
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please sign in to comment.