Mercurial > hg > truffle
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()); |