JDK-8257211 : C2: Enable call devirtualization during post-parse phase
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 16
  • Priority: P3
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2020-11-27
  • Updated: 2022-03-07
  • Resolved: 2020-12-07
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 16
16 b28Fixed
Related Reports
Relates :  
JDK-8260279 - JVM crashes in LateInlineVirtualCallGenerator::do_late_inline when using -XX:+PrintOptoInlining
Relates :  
JDK-8273409 - Receiver type narrowed by CCP does not always trigger post-parse call devirtualization
Relates :  
JDK-8260580 - Merge LateInlineVirtualCallGenerator codes from upstream
Relates :  
JDK-8263587 - C2: JVMS not cloned when needs_clone_jvms() is true
Relates :  
JDK-8244675 - assert(IncrementalInline || (_late_inlines.length() == 0 && !has_mh_late_inlines()))
Relates :  
JDK-8257624 - C2: PhaseMacroExpand::eliminate_macro_nodes() crashes on out-of-bounds access into macro node array
Relates :  
JDK-8273165 - GraphKit::combine_exception_states fails with "matching stack sizes" assert
Relates :  
JDK-8257631 - C2: Assertion failure in ArrayCopyNode::get_count() during late inlining
Relates :  
JDK-8257632 - C2: Late inlining attempt on a call with a dead memory crashes
Relates :  
JDK-8264320 - ShouldNotReachHere in Compile::print_inlining_move_to()
Relates :  
JDK-8277055 - Assert "missing inlining msg" with -XX:+PrintIntrinsics
Relates :  
JDK-8271276 - C2: Wrong JVM state used for receiver null check
Relates :  
JDK-8257630 - C2: ReplacedNodes doesn't handle non-CFG multi nodes
Description
Call devirtualization happens only during parsing.
If devirtualization fails, virtual call is issued and it stays the same irrespective of receiver type changes (later optimization passes can improve the type so devirtualization becomes possible).
With the introduction of post-parse inlining, it becomes possible to inline through virtual calls as well if there's enough type information available.
Comments
Changeset: 62c7788b Author: Vladimir Ivanov <vlivanov@openjdk.org> Date: 2020-12-07 22:50:38 +0000 URL: https://git.openjdk.java.net/jdk/commit/62c7788b
07-12-2020