comparison src/share/vm/graal/graalCodeInstaller.cpp @ 15728:22f56c3eadb7

CodeInstalled not need to assert_leaf_type when asserting abstract_with_unique_concrete_subtype
author Gilles Duboscq <duboscq@ssw.jku.at>
date Sat, 17 May 2014 14:56:13 +0200
parents 063ec2920d21
children 39be5bc00046
comparison
equal deleted inserted replaced
15727:fa66540676ce 15728:22f56c3eadb7
603 Handle context_handle = Assumptions_ConcreteSubtype::context(assumption()); 603 Handle context_handle = Assumptions_ConcreteSubtype::context(assumption());
604 Handle subtype_handle = Assumptions_ConcreteSubtype::subtype(assumption()); 604 Handle subtype_handle = Assumptions_ConcreteSubtype::subtype(assumption());
605 Klass* context = java_lang_Class::as_Klass(HotSpotResolvedObjectType::javaClass(context_handle)); 605 Klass* context = java_lang_Class::as_Klass(HotSpotResolvedObjectType::javaClass(context_handle));
606 Klass* subtype = java_lang_Class::as_Klass(HotSpotResolvedObjectType::javaClass(subtype_handle)); 606 Klass* subtype = java_lang_Class::as_Klass(HotSpotResolvedObjectType::javaClass(subtype_handle));
607 607
608 _dependencies->assert_leaf_type(subtype);
609 if (context != subtype) { 608 if (context != subtype) {
610 assert(context->is_abstract(), ""); 609 assert(context->is_abstract(), "");
611 _dependencies->assert_abstract_with_unique_concrete_subtype(context, subtype); 610 _dependencies->assert_abstract_with_unique_concrete_subtype(context, subtype);
611 } else {
612 _dependencies->assert_leaf_type(subtype);
612 } 613 }
613 } 614 }
614 615
615 void CodeInstaller::assumption_ConcreteMethod(Handle assumption) { 616 void CodeInstaller::assumption_ConcreteMethod(Handle assumption) {
616 Handle impl_handle = Assumptions_ConcreteMethod::impl(assumption()); 617 Handle impl_handle = Assumptions_ConcreteMethod::impl(assumption());