comparison src/share/vm/graal/graalCodeInstaller.cpp @ 19731:d0b4f9771622

ConcreteSubtype always implies leaf
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Mon, 09 Mar 2015 12:46:01 -0700
parents b6beb2161e7a
children 6a3832494e24
comparison
equal deleted inserted replaced
19730:6f7cb87ac0fa 19731:d0b4f9771622
658 Klass* subtype = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(subtype_handle)); 658 Klass* subtype = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(subtype_handle));
659 659
660 if (context != subtype) { 660 if (context != subtype) {
661 assert(context->is_abstract(), ""); 661 assert(context->is_abstract(), "");
662 _dependencies->assert_abstract_with_unique_concrete_subtype(context, subtype); 662 _dependencies->assert_abstract_with_unique_concrete_subtype(context, subtype);
663 } else { 663 }
664 _dependencies->assert_leaf_type(subtype); 664 _dependencies->assert_leaf_type(subtype);
665 }
666 } 665 }
667 666
668 void CodeInstaller::assumption_ConcreteMethod(Handle assumption) { 667 void CodeInstaller::assumption_ConcreteMethod(Handle assumption) {
669 Handle impl_handle = Assumptions_ConcreteMethod::impl(assumption()); 668 Handle impl_handle = Assumptions_ConcreteMethod::impl(assumption());
670 Handle context_handle = Assumptions_ConcreteMethod::context(assumption()); 669 Handle context_handle = Assumptions_ConcreteMethod::context(assumption());