| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "vm/cha.h" | 5 #include "vm/cha.h" |
| 6 #include "vm/class_table.h" | 6 #include "vm/class_table.h" |
| 7 #include "vm/flags.h" | 7 #include "vm/flags.h" |
| 8 #include "vm/freelist.h" | 8 #include "vm/freelist.h" |
| 9 #include "vm/object.h" | 9 #include "vm/object.h" |
| 10 #include "vm/raw_object.h" | 10 #include "vm/raw_object.h" |
| (...skipping 19 matching lines...) Expand all Loading... |
| 30 // TODO(fschneider): Enable tracking of CHA dependent code for VM heap | 30 // TODO(fschneider): Enable tracking of CHA dependent code for VM heap |
| 31 // classes. | 31 // classes. |
| 32 if (cls.InVMHeap()) return true; | 32 if (cls.InVMHeap()) return true; |
| 33 | 33 |
| 34 if (cls.IsObjectClass()) { | 34 if (cls.IsObjectClass()) { |
| 35 // Class Object has subclasses, although we do not keep track of them. | 35 // Class Object has subclasses, although we do not keep track of them. |
| 36 return true; | 36 return true; |
| 37 } | 37 } |
| 38 const GrowableObjectArray& direct_subclasses = | 38 const GrowableObjectArray& direct_subclasses = |
| 39 GrowableObjectArray::Handle(thread_->zone(), cls.direct_subclasses()); | 39 GrowableObjectArray::Handle(thread_->zone(), cls.direct_subclasses()); |
| 40 bool result = | 40 return !direct_subclasses.IsNull() && (direct_subclasses.Length() > 0); |
| 41 !direct_subclasses.IsNull() && (direct_subclasses.Length() > 0); | |
| 42 if (!result) { | |
| 43 AddToLeafClasses(cls); | |
| 44 } | |
| 45 return result; | |
| 46 } | 41 } |
| 47 | 42 |
| 48 | 43 |
| 49 bool CHA::HasSubclasses(intptr_t cid) { | 44 bool CHA::HasSubclasses(intptr_t cid) { |
| 50 const ClassTable& class_table = *thread_->isolate()->class_table(); | 45 const ClassTable& class_table = *thread_->isolate()->class_table(); |
| 51 Class& cls = Class::Handle(thread_->zone(), class_table.At(cid)); | 46 Class& cls = Class::Handle(thread_->zone(), class_table.At(cid)); |
| 52 return HasSubclasses(cls); | 47 return HasSubclasses(cls); |
| 53 } | 48 } |
| 54 | 49 |
| 55 | 50 |
| 56 bool CHA::IsImplemented(const Class& cls) { | 51 bool CHA::IsImplemented(const Class& cls) { |
| 57 // Signature classes have different type checking rules. | 52 // Signature classes have different type checking rules. |
| 58 ASSERT(!cls.IsSignatureClass()); | 53 ASSERT(!cls.IsSignatureClass()); |
| 59 // Can't track dependencies for classes on the VM heap since those are | 54 // Can't track dependencies for classes on the VM heap since those are |
| 60 // read-only. | 55 // read-only. |
| 61 // TODO(fschneider): Enable tracking of CHA dependent code for VM heap | 56 // TODO(fschneider): Enable tracking of CHA dependent code for VM heap |
| 62 // classes. | 57 // classes. |
| 63 if (cls.InVMHeap()) return true; | 58 if (cls.InVMHeap()) return true; |
| 64 | 59 |
| 65 bool result = cls.is_implemented(); | 60 return cls.is_implemented(); |
| 66 if (!result) { | |
| 67 AddToLeafClasses(cls); | |
| 68 } | |
| 69 return result; | |
| 70 } | 61 } |
| 71 | 62 |
| 72 | 63 |
| 73 bool CHA::HasOverride(const Class& cls, const String& function_name) { | 64 bool CHA::HasOverride(const Class& cls, const String& function_name) { |
| 74 const GrowableObjectArray& cls_direct_subclasses = | 65 const GrowableObjectArray& cls_direct_subclasses = |
| 75 GrowableObjectArray::Handle(thread_->zone(), cls.direct_subclasses()); | 66 GrowableObjectArray::Handle(thread_->zone(), cls.direct_subclasses()); |
| 76 // Subclasses of Object are not tracked by CHA. Safely assume that overrides | 67 // Subclasses of Object are not tracked by CHA. Safely assume that overrides |
| 77 // exist. | 68 // exist. |
| 78 if (cls.IsObjectClass()) { | 69 if (cls.IsObjectClass()) { |
| 79 return true; | 70 return true; |
| 80 } | 71 } |
| 81 | 72 |
| 82 if (cls_direct_subclasses.IsNull()) { | 73 if (cls_direct_subclasses.IsNull()) { |
| 83 AddToLeafClasses(cls); | |
| 84 return false; | 74 return false; |
| 85 } | 75 } |
| 86 Class& direct_subclass = Class::Handle(thread_->zone()); | 76 Class& direct_subclass = Class::Handle(thread_->zone()); |
| 87 for (intptr_t i = 0; i < cls_direct_subclasses.Length(); i++) { | 77 for (intptr_t i = 0; i < cls_direct_subclasses.Length(); i++) { |
| 88 direct_subclass ^= cls_direct_subclasses.At(i); | 78 direct_subclass ^= cls_direct_subclasses.At(i); |
| 89 // Unfinalized classes are treated as non-existent for CHA purposes, | 79 // Unfinalized classes are treated as non-existent for CHA purposes, |
| 90 // as that means that no instance of that class exists at runtime. | 80 // as that means that no instance of that class exists at runtime. |
| 91 if (direct_subclass.is_finalized() && | 81 if (direct_subclass.is_finalized() && |
| 92 (direct_subclass.LookupDynamicFunction(function_name) != | 82 (direct_subclass.LookupDynamicFunction(function_name) != |
| 93 Function::null())) { | 83 Function::null())) { |
| 94 return true; | 84 return true; |
| 95 } | 85 } |
| 96 if (HasOverride(direct_subclass, function_name)) { | 86 if (HasOverride(direct_subclass, function_name)) { |
| 97 return true; | 87 return true; |
| 98 } | 88 } |
| 99 } | 89 } |
| 100 AddToLeafClasses(cls); | |
| 101 return false; | 90 return false; |
| 102 } | 91 } |
| 103 | 92 |
| 104 } // namespace dart | 93 } // namespace dart |
| OLD | NEW |