| 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 "platform/assert.h" | 5 #include "platform/assert.h" |
| 6 #include "vm/cha.h" | 6 #include "vm/cha.h" |
| 7 #include "vm/class_finalizer.h" | 7 #include "vm/class_finalizer.h" |
| 8 #include "vm/globals.h" | 8 #include "vm/globals.h" |
| 9 #include "vm/symbols.h" | 9 #include "vm/symbols.h" |
| 10 #include "vm/unit_test.h" | 10 #include "vm/unit_test.h" |
| 11 | 11 |
| 12 namespace dart { | 12 namespace dart { |
| 13 | 13 |
| 14 static bool ContainsCid(const GrowableArray<Class*>& classes, intptr_t cid) { |
| 15 for (intptr_t i = 0; i < classes.length(); ++i) { |
| 16 if (classes[i]->id() == cid) return true; |
| 17 } |
| 18 return false; |
| 19 } |
| 20 |
| 21 |
| 14 TEST_CASE(ClassHierarchyAnalysis) { | 22 TEST_CASE(ClassHierarchyAnalysis) { |
| 15 const char* kScriptChars = | 23 const char* kScriptChars = |
| 16 "class A {" | 24 "class A {" |
| 17 " foo() { }" | 25 " foo() { }" |
| 18 " bar() { }" | 26 " bar() { }" |
| 19 "}\n" | 27 "}\n" |
| 20 "class B extends A {" | 28 "class B extends A {" |
| 21 "}\n" | 29 "}\n" |
| 22 "class C extends B {" | 30 "class C extends B {" |
| 23 " foo() { }" | 31 " foo() { }" |
| 24 "}\n" | 32 "}\n" |
| 25 "class D extends A {" | 33 "class D extends A {" |
| 26 " foo() { }" | 34 " foo() { }" |
| 27 " bar() { }" | 35 " bar() { }" |
| 28 "}\n"; | 36 "}\n"; |
| 29 | 37 |
| 30 TestCase::LoadTestScript(kScriptChars, NULL); | 38 TestCase::LoadTestScript(kScriptChars, NULL); |
| 31 EXPECT(ClassFinalizer::ProcessPendingClasses()); | 39 EXPECT(ClassFinalizer::ProcessPendingClasses()); |
| 32 const String& name = String::Handle(String::New(TestCase::url())); | 40 const String& name = String::Handle(String::New(TestCase::url())); |
| 33 const Library& lib = Library::Handle(Library::LookupLibrary(name)); | 41 const Library& lib = Library::Handle(Library::LookupLibrary(name)); |
| 34 EXPECT(!lib.IsNull()); | 42 EXPECT(!lib.IsNull()); |
| 35 | 43 |
| 36 const Class& class_a = Class::Handle( | 44 const Class& class_a = Class::Handle( |
| 37 lib.LookupClass(String::Handle(Symbols::New("A")))); | 45 lib.LookupClass(String::Handle(Symbols::New("A")))); |
| 38 EXPECT(!class_a.IsNull()); | 46 EXPECT(!class_a.IsNull()); |
| 39 const intptr_t class_a_id = class_a.id(); | |
| 40 | 47 |
| 41 const Class& class_b = Class::Handle( | 48 const Class& class_b = Class::Handle( |
| 42 lib.LookupClass(String::Handle(Symbols::New("B")))); | 49 lib.LookupClass(String::Handle(Symbols::New("B")))); |
| 43 EXPECT(!class_b.IsNull()); | 50 EXPECT(!class_b.IsNull()); |
| 44 const intptr_t class_b_id = class_b.id(); | |
| 45 | 51 |
| 46 const Class& class_c = Class::Handle( | 52 const Class& class_c = Class::Handle( |
| 47 lib.LookupClass(String::Handle(Symbols::New("C")))); | 53 lib.LookupClass(String::Handle(Symbols::New("C")))); |
| 48 EXPECT(!class_c.IsNull()); | 54 EXPECT(!class_c.IsNull()); |
| 49 const intptr_t class_c_id = class_c.id(); | |
| 50 | 55 |
| 51 const Class& class_d = Class::Handle( | 56 const Class& class_d = Class::Handle( |
| 52 lib.LookupClass(String::Handle(Symbols::New("D")))); | 57 lib.LookupClass(String::Handle(Symbols::New("D")))); |
| 53 EXPECT(!class_d.IsNull()); | 58 EXPECT(!class_d.IsNull()); |
| 54 const intptr_t class_d_id = class_d.id(); | |
| 55 | 59 |
| 56 const String& function_foo_name = String::Handle(String::New("foo")); | 60 const String& function_foo_name = String::Handle(String::New("foo")); |
| 57 const String& function_bar_name = String::Handle(String::New("bar")); | 61 const String& function_bar_name = String::Handle(String::New("bar")); |
| 58 | 62 |
| 59 const Function& class_a_foo = | 63 const Function& class_a_foo = |
| 60 Function::Handle(class_a.LookupDynamicFunction(function_foo_name)); | 64 Function::Handle(class_a.LookupDynamicFunction(function_foo_name)); |
| 61 EXPECT(!class_a_foo.IsNull()); | 65 EXPECT(!class_a_foo.IsNull()); |
| 62 | 66 |
| 63 const Function& class_a_bar = | 67 const Function& class_a_bar = |
| 64 Function::Handle(class_a.LookupDynamicFunction(function_bar_name)); | 68 Function::Handle(class_a.LookupDynamicFunction(function_bar_name)); |
| 65 EXPECT(!class_a_bar.IsNull()); | 69 EXPECT(!class_a_bar.IsNull()); |
| 66 | 70 |
| 67 const Function& class_c_foo = | 71 const Function& class_c_foo = |
| 68 Function::Handle(class_c.LookupDynamicFunction(function_foo_name)); | 72 Function::Handle(class_c.LookupDynamicFunction(function_foo_name)); |
| 69 EXPECT(!class_c_foo.IsNull()); | 73 EXPECT(!class_c_foo.IsNull()); |
| 70 | 74 |
| 71 const Function& class_d_foo = | 75 const Function& class_d_foo = |
| 72 Function::Handle(class_d.LookupDynamicFunction(function_foo_name)); | 76 Function::Handle(class_d.LookupDynamicFunction(function_foo_name)); |
| 73 EXPECT(!class_d_foo.IsNull()); | 77 EXPECT(!class_d_foo.IsNull()); |
| 74 | 78 |
| 75 const Function& class_d_bar = | 79 const Function& class_d_bar = |
| 76 Function::Handle(class_d.LookupDynamicFunction(function_bar_name)); | 80 Function::Handle(class_d.LookupDynamicFunction(function_bar_name)); |
| 77 EXPECT(!class_d_bar.IsNull()); | 81 EXPECT(!class_d_bar.IsNull()); |
| 78 | 82 |
| 79 ZoneGrowableArray<intptr_t>* a_subclass_ids = | 83 CHA cha(Isolate::Current()); |
| 80 CHA::GetSubclassIdsOf(class_a_id); | |
| 81 EXPECT_EQ(3, a_subclass_ids->length()); | |
| 82 EXPECT_EQ(class_b_id, (*a_subclass_ids)[0]); | |
| 83 EXPECT_EQ(class_c_id, (*a_subclass_ids)[1]); | |
| 84 EXPECT_EQ(class_d_id, (*a_subclass_ids)[2]); | |
| 85 ZoneGrowableArray<intptr_t>* b_subclass_ids = | |
| 86 CHA::GetSubclassIdsOf(class_b_id); | |
| 87 EXPECT_EQ(1, b_subclass_ids->length()); | |
| 88 EXPECT_EQ(class_c_id, (*b_subclass_ids)[0]); | |
| 89 ZoneGrowableArray<intptr_t>* c_subclass_ids = | |
| 90 CHA::GetSubclassIdsOf(class_c_id); | |
| 91 EXPECT_EQ(0, c_subclass_ids->length()); | |
| 92 ZoneGrowableArray<intptr_t>* d_subclass_ids = | |
| 93 CHA::GetSubclassIdsOf(class_d_id); | |
| 94 EXPECT_EQ(0, d_subclass_ids->length()); | |
| 95 | 84 |
| 96 ZoneGrowableArray<Function*>* foos = | 85 EXPECT(cha.HasSubclasses(kInstanceCid)); |
| 97 CHA::GetNamedInstanceFunctionsOf(*a_subclass_ids, function_foo_name); | 86 EXPECT(!cha.HasSubclasses(kSmiCid)); |
| 98 EXPECT_EQ(2, foos->length()); | 87 EXPECT(!cha.HasSubclasses(kNullCid)); |
| 99 EXPECT_EQ(class_c_foo.raw(), (*foos)[0]->raw()); | |
| 100 EXPECT_EQ(class_d_foo.raw(), (*foos)[1]->raw()); | |
| 101 | 88 |
| 102 ZoneGrowableArray<Function*>* class_a_foo_overrides = | 89 EXPECT(cha.HasSubclasses(class_a)); |
| 103 CHA::GetOverridesOf(class_a_foo); | 90 EXPECT(cha.HasSubclasses(class_b)); |
| 104 EXPECT_EQ(2, class_a_foo_overrides->length()); | 91 EXPECT(!cha.HasSubclasses(class_c)); |
| 105 EXPECT_EQ(class_c_foo.raw(), (*class_a_foo_overrides)[0]->raw()); | 92 EXPECT(!cha.HasSubclasses(class_d)); |
| 106 EXPECT_EQ(class_d_foo.raw(), (*class_a_foo_overrides)[1]->raw()); | |
| 107 | 93 |
| 108 ZoneGrowableArray<Function*>* bars = | 94 EXPECT(!ContainsCid(cha.leaf_classes(), class_a.id())); |
| 109 CHA::GetNamedInstanceFunctionsOf(*a_subclass_ids, function_bar_name); | 95 EXPECT(!ContainsCid(cha.leaf_classes(), class_b.id())); |
| 110 EXPECT_EQ(1, bars->length()); | 96 EXPECT(ContainsCid(cha.leaf_classes(), class_c.id())); |
| 111 EXPECT_EQ(class_d_bar.raw(), (*bars)[0]->raw()); | 97 EXPECT(ContainsCid(cha.leaf_classes(), class_d.id())); |
| 112 | |
| 113 ZoneGrowableArray<Function*>* class_a_bar_overrides = | |
| 114 CHA::GetOverridesOf(class_a_bar); | |
| 115 EXPECT_EQ(1, class_a_bar_overrides->length()); | |
| 116 EXPECT_EQ(class_d_bar.raw(), (*class_a_bar_overrides)[0]->raw()); | |
| 117 | |
| 118 EXPECT(CHA::HasSubclasses(kInstanceCid)); | |
| 119 EXPECT(!CHA::HasSubclasses(kSmiCid)); | |
| 120 EXPECT(!CHA::HasSubclasses(kNullCid)); | |
| 121 EXPECT(!CHA::HasSubclasses(kDynamicCid)); | |
| 122 EXPECT(!CHA::HasSubclasses(kVoidCid)); | |
| 123 EXPECT(CHA::HasSubclasses(class_a_id)); | |
| 124 EXPECT(CHA::HasSubclasses(class_b_id)); | |
| 125 EXPECT(!CHA::HasSubclasses(class_c_id)); | |
| 126 EXPECT(!CHA::HasSubclasses(class_d_id)); | |
| 127 | 98 |
| 128 class Class& function_impl_class = | 99 class Class& function_impl_class = |
| 129 Class::Handle(Type::Handle(Isolate::Current()->object_store()-> | 100 Class::Handle(Type::Handle(Isolate::Current()->object_store()-> |
| 130 function_impl_type()).type_class()); | 101 function_impl_type()).type_class()); |
| 131 EXPECT(CHA::HasSubclasses(function_impl_class.id())); | 102 EXPECT(cha.HasSubclasses(function_impl_class.id())); |
| 132 } | 103 } |
| 133 | 104 |
| 134 } // namespace dart | 105 } // namespace dart |
| OLD | NEW |