<div dir="ltr">Hi Roland,<div><br></div><div>Thanks for taking a look at the problem.</div><div><br></div><div>I filed <a href="https://bugs.openjdk.org/browse/JDK-8326369">https://bugs.openjdk.org/browse/JDK-8326369</a> to track it.</div><div><br></div><div>Best regards,</div><div>Filipp.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 20 Feb 2024 at 12:10, Roland Westrelin <<a href="mailto:rwestrel@redhat.com">rwestrel@redhat.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><br>
> The question is if such a behavior is intentional (I didn't find an issue<br>
> suggesting the opposite)<br>
> and if it is, what differs it from scenarios where a call site is always<br>
> bimorphic and where the C2<br>
> successfully performs inlining (or where the C1 simply can't inline a<br>
> monomorphic vcall initially)?<br>
<br>
Thanks for all the details.<br>
I don't think it is intentional. It looks like a bug to me. This:<br>
<br>
diff --git a/src/hotspot/share/c1/c1_LIR.hpp b/src/hotspot/share/c1/c1_LIR.hpp<br>
index 6f527135fbe..4ea5b9ebb73 100644<br>
--- a/src/hotspot/share/c1/c1_LIR.hpp<br>
+++ b/src/hotspot/share/c1/c1_LIR.hpp<br>
@@ -2031,7 +2031,7 @@ class LIR_OpProfileCall : public LIR_Op {<br>
   bool should_profile_receiver_type() const {<br>
     bool callee_is_static = _profiled_callee->is_loaded() && _profiled_callee->is_static();<br>
     Bytecodes::Code bc = _profiled_method->java_code_at_bci(_profiled_bci);<br>
-    bool call_is_virtual = (bc == Bytecodes::_invokevirtual && !_profiled_callee->can_be_statically_bound()) || bc == Bytecodes::_invokeinterface;<br>
+    bool call_is_virtual = (bc == Bytecodes::_invokevirtual/* && !_profiled_callee->can_be_statically_bound()*/) || bc == Bytecodes::_invokeinterface;<br>
     return C1ProfileVirtualCalls && call_is_virtual && !callee_is_static;<br>
   }<br>
 };<br>
<br>
makes both cases perform the same (that change is likely not the actual<br>
fix).<br>
<br>
Can you file a bug?<br>
<br>
Roland.<br>
<br>
</blockquote></div>