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 |