Loading...

Type: Bug
Resolution: Fixed
Priority: P3
Fix Version/s: 16
Affects Version/s: 8, 11, 12, 13, 14, 15, 16
Component/s: hotspot
Labels:

Subcomponent:
compiler
Resolved In Build:
b20

Issue	Fix Version	Assignee	Priority	Status	Resolution	Resolved In Build
JDK-8256132	11.0.11-oracle	Dukebot	P3	Resolved	Fixed	b01
JDK-8257593	11.0.11	Tobias Hartmann	P3	Resolved	Fixed	b01

The attached fuzzer test fails with the following assertion.

To reproduce:
$ java -Xmx1G -Xcomp -Xbatch -XX:-TieredCompilation -XX:CompileOnly=Test Test.java

# A fatal error has been detected by the Java Runtime Environment:
#
# Internal Error (/home/christian/jdk/open/src/hotspot/share/opto/node.cpp:89), pid=4863, tid=4904
# assert(C->live_nodes() <= C->max_node_limit()) failed: Live Node limit exceeded limit
#
# JRE version: Java(TM) SE Runtime Environment (16.0) (slowdebug build 16-internal+0-2020-09-01-1328362.christian...)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (slowdebug 16-internal+0-2020-09-01-1328362.christian..., compiled mode, compressed oops, g1 gc, linux-amd64)
# Problematic frame:
# V [libjvm.so+0xe68f56] Node::verify_construction()+0x17c
..........
Command Line: -Xmx1G -Xcomp -Xbatch -XX:-TieredCompilation -XX:CompileOnly=Test --add-modules=ALL-DEFAULT jdk.compiler/com.sun.tools.javac.launcher.Main Test.java
..........
Current thread (0x00007f2b6833f3c0): JavaThread "C2 CompilerThread0" daemon [_thread_in_native, id=4904, stack(0x00007f2b51cfd000,0x00007f2b51dfe000)]

Current CompileTask:
C2: 12460 122 b Test::vMeth (243 bytes)

Stack: [0x00007f2b51cfd000,0x00007f2b51dfe000], sp=0x00007f2b51df58d0, free space=994k
Native frames: (J=compiled Java code, A=aot compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0xe68f56] Node::verify_construction()+0x17c
V [libjvm.so+0xe69d08] Node::Node(unsigned int)+0xb8
V [libjvm.so+0x41a754] TypeNode::TypeNode(Type const*, unsigned int)+0x24
V [libjvm.so+0x6e4da0] ConvI2LNode::ConvI2LNode(Node*, TypeLong const*)+0x2c
V [libjvm.so+0x6dfdbc] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x108
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x7202de] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x826
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf14810] PhaseIterGVN::transform(Node*)+0x9e
V [libjvm.so+0x6dfdc9] Compile::constrained_convI2L(PhaseGVN*, Node*, TypeInt const*, Node*)+0x115
V [libjvm.so+0x720263] ConvI2LNode::Ideal(PhaseGVN*, bool)+0x7ab
V [libjvm.so+0xf131f1] PhaseGVN::apply_ideal(Node*, bool)+0x6f
V [libjvm.so+0xf14919] PhaseIterGVN::transform_old(Node*)+0x105
V [libjvm.so+0xf146a2] PhaseIterGVN::optimize()+0x148
V [libjvm.so+0xd218b7] PhaseIdealLoop::build_and_optimize(LoopOptsMode)+0x1879
...<more frames>...

- - Sort By Name
  - Sort By Date
  - Ascending
  - Descending
  - Thumbnails
  - List
  - Download All

TestReduced.java
0.5 kB
2020-10-05 06:23
Test.java
9 kB
2020-09-21 01:12
replay_pid4863.log
178 kB
2020-09-21 01:12
hs_err_pid4863.log
90 kB
2020-09-21 01:12

backported by

JDK-8256132 C2: assert(C->live_nodes() <= C->max_node_limit()) failed: Live Node limit exceeded limit

Resolved

JDK-8257593 C2: assert(C->live_nodes() <= C->max_node_limit()) failed: Live Node limit exceeded limit

Resolved

relates to

JDK-8237950 C2 compilation fails with "Live Node limit exceeded limit" during ConvI2L::Ideal optimization

Resolved

JDK-8254317 C2: Resource consumption of ConvI2LNode::Ideal() grows exponentially

Resolved

links to

Commit openjdk/jdk/a191c586

Review openjdk/jdk/540

(1 links to)

Details

Backports

Description

Attachments

Attachments

Issue Links

Activity

People

Dates