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

Side by Side Diff: src/ic/ic.cc

Issue 602773003: Eliminate special keyed load string stub in favor of uniform handlers. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: REBASE and ports. Created 6 years, 2 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 | « src/ic/ic.h ('k') | src/ic/ic-compiler.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 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/v8.h" 5 #include "src/v8.h"
6 6
7 #include "src/accessors.h" 7 #include "src/accessors.h"
8 #include "src/api.h" 8 #include "src/api.h"
9 #include "src/arguments.h" 9 #include "src/arguments.h"
10 #include "src/base/bits.h" 10 #include "src/base/bits.h"
(...skipping 494 matching lines...) Expand 10 before | Expand all | Expand 10 after
505 default: 505 default:
506 UNREACHABLE(); 506 UNREACHABLE();
507 } 507 }
508 } 508 }
509 509
510 510
511 void KeyedLoadIC::Clear(Isolate* isolate, Address address, Code* target, 511 void KeyedLoadIC::Clear(Isolate* isolate, Address address, Code* target,
512 ConstantPoolArray* constant_pool) { 512 ConstantPoolArray* constant_pool) {
513 if (IsCleared(target)) return; 513 if (IsCleared(target)) return;
514 514
515 // If the target is the string_stub, then don't clear it. It is the 515 // Make sure to also clear the map used in inline fast cases. If we
516 // perfect stub if we continue to see strings. Holding this 516 // do not clear these maps, cached code can keep objects alive
517 // state is not preventing learning new information. 517 // through the embedded maps.
518 if (target != *isolate->builtins()->KeyedLoadIC_String()) { 518 SetTargetAtAddress(address, *pre_monomorphic_stub(isolate), constant_pool);
519 // Make sure to also clear the map used in inline fast cases. If we
520 // do not clear these maps, cached code can keep objects alive
521 // through the embedded maps.
522 SetTargetAtAddress(address, *pre_monomorphic_stub(isolate), constant_pool);
523 }
524 } 519 }
525 520
526 521
527 void CallIC::Clear(Isolate* isolate, Address address, Code* target, 522 void CallIC::Clear(Isolate* isolate, Address address, Code* target,
528 ConstantPoolArray* constant_pool) { 523 ConstantPoolArray* constant_pool) {
529 // Currently, CallIC doesn't have state changes. 524 // Currently, CallIC doesn't have state changes.
530 } 525 }
531 526
532 527
533 void LoadIC::Clear(Isolate* isolate, Address address, Code* target, 528 void LoadIC::Clear(Isolate* isolate, Address address, Code* target,
(...skipping 586 matching lines...) Expand 10 before | Expand all | Expand 10 after
1120 key = Handle<Smi>(Smi::FromInt(int_value), isolate); 1115 key = Handle<Smi>(Smi::FromInt(int_value), isolate);
1121 } 1116 }
1122 } 1117 }
1123 } else if (key->IsUndefined()) { 1118 } else if (key->IsUndefined()) {
1124 key = isolate->factory()->undefined_string(); 1119 key = isolate->factory()->undefined_string();
1125 } 1120 }
1126 return key; 1121 return key;
1127 } 1122 }
1128 1123
1129 1124
1130 Handle<Code> KeyedLoadIC::LoadElementStub(Handle<JSObject> receiver) { 1125 Handle<Code> KeyedLoadIC::LoadElementStub(Handle<HeapObject> receiver) {
1131 Handle<Map> receiver_map(receiver->map(), isolate()); 1126 Handle<Map> receiver_map(receiver->map(), isolate());
1132 MapHandleList target_receiver_maps; 1127 MapHandleList target_receiver_maps;
1133 if (target().is_identical_to(string_stub())) { 1128 TargetMaps(&target_receiver_maps);
1134 target_receiver_maps.Add(isolate()->factory()->string_map()); 1129
1135 } else {
1136 TargetMaps(&target_receiver_maps);
1137 }
1138 if (target_receiver_maps.length() == 0) { 1130 if (target_receiver_maps.length() == 0) {
1139 return PropertyICCompiler::ComputeKeyedLoadMonomorphic(receiver_map); 1131 return PropertyICCompiler::ComputeKeyedLoadMonomorphic(receiver_map);
1140 } 1132 }
1141 1133
1142 // The first time a receiver is seen that is a transitioned version of the 1134 // The first time a receiver is seen that is a transitioned version of the
1143 // previous monomorphic receiver type, assume the new ElementsKind is the 1135 // previous monomorphic receiver type, assume the new ElementsKind is the
1144 // monomorphic type. This benefits global arrays that only transition 1136 // monomorphic type. This benefits global arrays that only transition
1145 // once, and all call sites accessing them are faster if they remain 1137 // once, and all call sites accessing them are faster if they remain
1146 // monomorphic. If this optimistic assumption is not true, the IC will 1138 // monomorphic. If this optimistic assumption is not true, the IC will
1147 // miss again and it will become polymorphic and support both the 1139 // miss again and it will become polymorphic and support both the
1148 // untransitioned and transitioned maps. 1140 // untransitioned and transitioned maps.
1149 if (state() == MONOMORPHIC && IsMoreGeneralElementsKindTransition( 1141 if (state() == MONOMORPHIC && !receiver->IsString() &&
1150 target_receiver_maps.at(0)->elements_kind(), 1142 IsMoreGeneralElementsKindTransition(
1151 receiver->GetElementsKind())) { 1143 target_receiver_maps.at(0)->elements_kind(),
1144 Handle<JSObject>::cast(receiver)->GetElementsKind())) {
1152 return PropertyICCompiler::ComputeKeyedLoadMonomorphic(receiver_map); 1145 return PropertyICCompiler::ComputeKeyedLoadMonomorphic(receiver_map);
1153 } 1146 }
1154 1147
1155 DCHECK(state() != GENERIC); 1148 DCHECK(state() != GENERIC);
1156 1149
1157 // Determine the list of receiver maps that this call site has seen, 1150 // Determine the list of receiver maps that this call site has seen,
1158 // adding the map that was just encountered. 1151 // adding the map that was just encountered.
1159 if (!AddOneReceiverMapIfMissing(&target_receiver_maps, receiver_map)) { 1152 if (!AddOneReceiverMapIfMissing(&target_receiver_maps, receiver_map)) {
1160 // If the miss wasn't due to an unseen map, a polymorphic stub 1153 // If the miss wasn't due to an unseen map, a polymorphic stub
1161 // won't help, use the generic stub. 1154 // won't help, use the generic stub.
(...skipping 27 matching lines...) Expand all
1189 1182
1190 // Check for non-string values that can be converted into an 1183 // Check for non-string values that can be converted into an
1191 // internalized string directly or is representable as a smi. 1184 // internalized string directly or is representable as a smi.
1192 key = TryConvertKey(key, isolate()); 1185 key = TryConvertKey(key, isolate());
1193 1186
1194 if (key->IsInternalizedString() || key->IsSymbol()) { 1187 if (key->IsInternalizedString() || key->IsSymbol()) {
1195 ASSIGN_RETURN_ON_EXCEPTION(isolate(), load_handle, 1188 ASSIGN_RETURN_ON_EXCEPTION(isolate(), load_handle,
1196 LoadIC::Load(object, Handle<Name>::cast(key)), 1189 LoadIC::Load(object, Handle<Name>::cast(key)),
1197 Object); 1190 Object);
1198 } else if (FLAG_use_ic && !object->IsAccessCheckNeeded()) { 1191 } else if (FLAG_use_ic && !object->IsAccessCheckNeeded()) {
1199 if (object->IsString() && key->IsNumber()) { 1192 if (object->IsJSObject() || (object->IsString() && key->IsNumber())) {
1200 if (state() == UNINITIALIZED) stub = string_stub(); 1193 Handle<HeapObject> receiver = Handle<HeapObject>::cast(object);
1201 } else if (object->IsJSObject()) { 1194 if (object->IsString() || !Object::ToSmi(isolate(), key).is_null()) {
1202 Handle<JSObject> receiver = Handle<JSObject>::cast(object);
1203 if (!Object::ToSmi(isolate(), key).is_null()) {
1204 stub = LoadElementStub(receiver); 1195 stub = LoadElementStub(receiver);
1205 } 1196 }
1206 } 1197 }
1207 } 1198 }
1208 1199
1209 if (!is_target_set()) { 1200 if (!is_target_set()) {
1210 Code* generic = *generic_stub(); 1201 Code* generic = *generic_stub();
1211 if (*stub == generic) { 1202 if (*stub == generic) {
1212 TRACE_GENERIC_IC(isolate(), "KeyedLoadIC", "set generic"); 1203 TRACE_GENERIC_IC(isolate(), "KeyedLoadIC", "set generic");
1213 } 1204 }
(...skipping 1448 matching lines...) Expand 10 before | Expand all | Expand 10 after
2662 static const Address IC_utilities[] = { 2653 static const Address IC_utilities[] = {
2663 #define ADDR(name) FUNCTION_ADDR(name), 2654 #define ADDR(name) FUNCTION_ADDR(name),
2664 IC_UTIL_LIST(ADDR) NULL 2655 IC_UTIL_LIST(ADDR) NULL
2665 #undef ADDR 2656 #undef ADDR
2666 }; 2657 };
2667 2658
2668 2659
2669 Address IC::AddressFromUtilityId(IC::UtilityId id) { return IC_utilities[id]; } 2660 Address IC::AddressFromUtilityId(IC::UtilityId id) { return IC_utilities[id]; }
2670 } 2661 }
2671 } // namespace v8::internal 2662 } // namespace v8::internal
OLDNEW
« no previous file with comments | « src/ic/ic.h ('k') | src/ic/ic-compiler.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698