Mercurial > hg > truffle

changeset 17618:f834ae379225

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
8028064: tiered may collect wrong receiver type at virtual call Summary: when unique callee is known at compile time, recorded class may be wrong Reviewed-by: kvn, iveresov
author roland
date Tue, 07 Jan 2014 14:36:34 +0100
parents 29463147336b
children 5231c2210388
files src/share/vm/c1/c1_GraphBuilder.cpp
diffstat 1 files changed, 8 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/share/vm/c1/c1_GraphBuilder.cpp	Tue Jan 07 12:38:22 2014 +0100
+++ b/src/share/vm/c1/c1_GraphBuilder.cpp	Tue Jan 07 14:36:34 2014 +0100
@@ -4338,11 +4338,15 @@
 #endif // PRODUCT
 
 void GraphBuilder::profile_call(ciMethod* callee, Value recv, ciKlass* known_holder, Values* obj_args, bool inlined) {
-  // A default method's holder is an interface
-  if (known_holder != NULL && known_holder->is_interface()) {
-    assert(known_holder->is_instance_klass() && ((ciInstanceKlass*)known_holder)->has_default_methods(), "should be default method");
-    known_holder = NULL;
+  assert(known_holder == NULL || (known_holder->is_instance_klass() &&
+                                  (!known_holder->is_interface() ||
+                                   ((ciInstanceKlass*)known_holder)->has_default_methods())), "should be default method");
+  if (known_holder != NULL) {
+    if (known_holder->exact_klass() == NULL) {
+      known_holder = compilation()->cha_exact_type(known_holder);
+    }
   }
+
   append(new ProfileCall(method(), bci(), callee, recv, known_holder, obj_args, inlined));
 }