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

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

Issue 150923002: Mark optimized code that used CHA for optimization so that lazy class 'finalization' does not inval… (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 6 years, 10 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
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 "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"
11 #include "vm/visitor.h" 11 #include "vm/visitor.h"
12 12
13 namespace dart { 13 namespace dart {
14 14
15 bool CHA::HasSubclasses(intptr_t cid) { 15 bool CHA::HasSubclasses(intptr_t cid) {
16 Isolate* isolate = Isolate::Current();
17 const bool has_subclasses = HasSubclassesSafe(cid);
18 if (!has_subclasses) {
19 isolate->set_cha_used(true);
20 }
21 return has_subclasses;
22 }
23
24
25 bool CHA::HasSubclassesSafe(intptr_t cid) {
16 ASSERT(cid >= kInstanceCid); 26 ASSERT(cid >= kInstanceCid);
17 const ClassTable& class_table = *Isolate::Current()->class_table(); 27 Isolate* isolate = Isolate::Current();
18 const Class& cls = Class::Handle(class_table.At(cid)); 28 const ClassTable& class_table = *isolate->class_table();
29 const Class& cls = Class::Handle(isolate, class_table.At(cid));
19 ASSERT(!cls.IsNull()); 30 ASSERT(!cls.IsNull());
20 if (cls.IsObjectClass()) { 31 if (cls.IsObjectClass()) {
21 // Class Object has subclasses, although we do not keep track of them. 32 // Class Object has subclasses, although we do not keep track of them.
22 return true; 33 return true;
23 } 34 }
24 const GrowableObjectArray& cls_direct_subclasses = 35 const GrowableObjectArray& cls_direct_subclasses =
25 GrowableObjectArray::Handle(cls.direct_subclasses()); 36 GrowableObjectArray::Handle(isolate, cls.direct_subclasses());
26 return 37 return
27 !cls_direct_subclasses.IsNull() && (cls_direct_subclasses.Length() > 0); 38 !cls_direct_subclasses.IsNull() && (cls_direct_subclasses.Length() > 0);
28 } 39 }
29 40
30 41
31 // Returns true if the given array of cids contains the given cid. 42 // Returns true if the given array of cids contains the given cid.
32 static bool ContainsCid(ZoneGrowableArray<intptr_t>* cids, intptr_t cid) { 43 static bool ContainsCid(ZoneGrowableArray<intptr_t>* cids, intptr_t cid) {
33 for (intptr_t i = 0; i < cids->length(); i++) { 44 for (intptr_t i = 0; i < cids->length(); i++) {
34 if ((*cids)[i] == cid) { 45 if ((*cids)[i] == cid) {
35 return true; 46 return true;
(...skipping 18 matching lines...) Expand all
54 if (!ContainsCid(cids, direct_subclass_id)) { 65 if (!ContainsCid(cids, direct_subclass_id)) {
55 cids->Add(direct_subclass_id); 66 cids->Add(direct_subclass_id);
56 CollectSubclassIds(cids, direct_subclass); 67 CollectSubclassIds(cids, direct_subclass);
57 } 68 }
58 } 69 }
59 } 70 }
60 71
61 72
62 ZoneGrowableArray<intptr_t>* CHA::GetSubclassIdsOf(intptr_t cid) { 73 ZoneGrowableArray<intptr_t>* CHA::GetSubclassIdsOf(intptr_t cid) {
63 ASSERT(cid > kInstanceCid); 74 ASSERT(cid > kInstanceCid);
64 const ClassTable& class_table = *Isolate::Current()->class_table(); 75 Isolate* isolate = Isolate::Current();
65 const Class& cls = Class::Handle(class_table.At(cid)); 76 const ClassTable& class_table = *isolate->class_table();
77 const Class& cls = Class::Handle(isolate, class_table.At(cid));
66 ASSERT(!cls.IsNull()); 78 ASSERT(!cls.IsNull());
67 ZoneGrowableArray<intptr_t>* ids = new ZoneGrowableArray<intptr_t>(); 79 ZoneGrowableArray<intptr_t>* ids = new ZoneGrowableArray<intptr_t>();
68 CollectSubclassIds(ids, cls); 80 CollectSubclassIds(ids, cls);
81 isolate->set_cha_used(true);
69 return ids; 82 return ids;
70 } 83 }
71 84
72 85
73 bool CHA::HasOverride(const Class& cls, const String& function_name) { 86 bool CHA::HasOverride(const Class& cls, const String& function_name) {
87 Isolate* isolate = Isolate::Current();
74 const GrowableObjectArray& cls_direct_subclasses = 88 const GrowableObjectArray& cls_direct_subclasses =
75 GrowableObjectArray::Handle(cls.direct_subclasses()); 89 GrowableObjectArray::Handle(isolate, cls.direct_subclasses());
76 // Subclasses of Object are not tracked by CHA. Safely assume that overrides 90 // Subclasses of Object are not tracked by CHA. Safely assume that overrides
77 // exist. 91 // exist.
78 if (cls.IsObjectClass()) return true; 92 if (cls.IsObjectClass()) {
93 return true;
94 }
79 95
80 if (cls_direct_subclasses.IsNull()) { 96 if (cls_direct_subclasses.IsNull()) {
97 isolate->set_cha_used(true);
81 return false; 98 return false;
82 } 99 }
83 Class& direct_subclass = Class::Handle(); 100 Class& direct_subclass = Class::Handle(isolate);
84 for (intptr_t i = 0; i < cls_direct_subclasses.Length(); i++) { 101 for (intptr_t i = 0; i < cls_direct_subclasses.Length(); i++) {
85 direct_subclass ^= cls_direct_subclasses.At(i); 102 direct_subclass ^= cls_direct_subclasses.At(i);
86 // Unfinalized classes are treated as non-existent for CHA purposes, 103 // Unfinalized classes are treated as non-existent for CHA purposes,
87 // as that means that no instance of that class exists at runtime. 104 // as that means that no instance of that class exists at runtime.
88 if (direct_subclass.is_finalized() && 105 if (direct_subclass.is_finalized() &&
89 (direct_subclass.LookupDynamicFunction(function_name) != 106 (direct_subclass.LookupDynamicFunction(function_name) !=
90 Function::null())) { 107 Function::null())) {
91 return true; 108 return true;
92 } 109 }
93 if (HasOverride(direct_subclass, function_name)) { 110 if (HasOverride(direct_subclass, function_name)) {
94 return true; 111 return true;
95 } 112 }
96 } 113 }
114 isolate->set_cha_used(true);
97 return false; 115 return false;
98 } 116 }
99 117
100 118
101 ZoneGrowableArray<Function*>* CHA::GetNamedInstanceFunctionsOf( 119 ZoneGrowableArray<Function*>* CHA::GetNamedInstanceFunctionsOf(
102 const ZoneGrowableArray<intptr_t>& cids, 120 const ZoneGrowableArray<intptr_t>& cids,
103 const String& function_name) { 121 const String& function_name) {
122 Isolate* isolate = Isolate::Current();
104 ASSERT(!function_name.IsNull()); 123 ASSERT(!function_name.IsNull());
105 const ClassTable& class_table = *Isolate::Current()->class_table(); 124 const ClassTable& class_table = *isolate->class_table();
106 ZoneGrowableArray<Function*>* functions = new ZoneGrowableArray<Function*>(); 125 ZoneGrowableArray<Function*>* functions = new ZoneGrowableArray<Function*>();
107 Class& cls = Class::Handle(); 126 Class& cls = Class::Handle(isolate);
108 Function& cls_function = Function::Handle(); 127 Function& cls_function = Function::Handle(isolate);
109 for (intptr_t i = 0; i < cids.length(); i++) { 128 for (intptr_t i = 0; i < cids.length(); i++) {
110 const intptr_t cid = cids[i]; 129 const intptr_t cid = cids[i];
111 ASSERT(cid > kInstanceCid); 130 ASSERT(cid > kInstanceCid);
112 cls = class_table.At(cid); 131 cls = class_table.At(cid);
113 cls_function = cls.LookupDynamicFunction(function_name); 132 cls_function = cls.LookupDynamicFunction(function_name);
114 if (!cls_function.IsNull()) { 133 if (!cls_function.IsNull()) {
115 functions->Add(&Function::ZoneHandle(cls_function.raw())); 134 functions->Add(&Function::ZoneHandle(isolate, cls_function.raw()));
116 } 135 }
117 } 136 }
137 isolate->set_cha_used(true);
118 return functions; 138 return functions;
119 } 139 }
120 140
121 141
122 ZoneGrowableArray<Function*>* CHA::GetOverridesOf(const Function& function) { 142 ZoneGrowableArray<Function*>* CHA::GetOverridesOf(const Function& function) {
123 ASSERT(!function.IsNull()); 143 ASSERT(!function.IsNull());
124 ASSERT(function.IsDynamicFunction()); 144 ASSERT(function.IsDynamicFunction());
125 const Class& function_owner = Class::Handle(function.Owner()); 145 Isolate* isolate = Isolate::Current();
126 const String& function_name = String::Handle(function.name()); 146 const Class& function_owner = Class::Handle(isolate, function.Owner());
147 const String& function_name = String::Handle(isolate, function.name());
127 ZoneGrowableArray<intptr_t>* cids = new ZoneGrowableArray<intptr_t>(); 148 ZoneGrowableArray<intptr_t>* cids = new ZoneGrowableArray<intptr_t>();
128 CollectSubclassIds(cids, function_owner); 149 CollectSubclassIds(cids, function_owner);
150 isolate->set_cha_used(true);
129 return GetNamedInstanceFunctionsOf(*cids, function_name); 151 return GetNamedInstanceFunctionsOf(*cids, function_name);
130 } 152 }
131 153
132 } // namespace dart 154 } // namespace dart
OLDNEW
« no previous file with comments | « runtime/vm/cha.h ('k') | runtime/vm/class_finalizer.cc » ('j') | runtime/vm/isolate.h » ('J')

Powered by Google App Engine
This is Rietveld 408576698