Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(474)

Side by Side Diff: runtime/vm/cha_test.cc

Issue 463103002: Fix bug with CHA dependencies by recording a set of classes for registering code. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: address remaining comments Created 6 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « runtime/vm/cha.cc ('k') | runtime/vm/class_finalizer.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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
OLDNEW
« no previous file with comments | « runtime/vm/cha.cc ('k') | runtime/vm/class_finalizer.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698