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

Side by Side Diff: src/ic.cc

Issue 23647011: Unify computation of load stubs in stub cache. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Addressed comments by Toon Verwaest. Created 7 years, 3 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 | « no previous file | src/stub-cache.h » ('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 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 1300 matching lines...) Expand 10 before | Expand all | Expand 10 after
1311 if (!lookup->IsProperty()) { 1311 if (!lookup->IsProperty()) {
1312 // Nonexistent property. The result is undefined. 1312 // Nonexistent property. The result is undefined.
1313 return isolate()->stub_cache()->ComputeLoadNonexistent(name, receiver); 1313 return isolate()->stub_cache()->ComputeLoadNonexistent(name, receiver);
1314 } 1314 }
1315 1315
1316 // Compute monomorphic stub. 1316 // Compute monomorphic stub.
1317 Handle<JSObject> holder(lookup->holder()); 1317 Handle<JSObject> holder(lookup->holder());
1318 switch (lookup->type()) { 1318 switch (lookup->type()) {
1319 case FIELD: 1319 case FIELD:
1320 return isolate()->stub_cache()->ComputeLoadField( 1320 return isolate()->stub_cache()->ComputeLoadField(
1321 name, receiver, holder, 1321 name, receiver, holder, Code::LOAD_IC,
1322 lookup->GetFieldIndex(), lookup->representation()); 1322 lookup->GetFieldIndex(), lookup->representation());
1323 case CONSTANT: { 1323 case CONSTANT: {
1324 Handle<Object> constant(lookup->GetConstant(), isolate()); 1324 Handle<Object> constant(lookup->GetConstant(), isolate());
1325 // TODO(2803): Don't compute a stub for cons strings because they cannot 1325 // TODO(2803): Don't compute a stub for cons strings because they cannot
1326 // be embedded into code. 1326 // be embedded into code.
1327 if (constant->IsConsString()) return Handle<Code>::null(); 1327 if (constant->IsConsString()) return Handle<Code>::null();
1328 return isolate()->stub_cache()->ComputeLoadConstant( 1328 return isolate()->stub_cache()->ComputeLoadConstant(
1329 name, receiver, holder, constant); 1329 name, receiver, holder, Code::LOAD_IC, constant);
1330 } 1330 }
1331 case NORMAL: 1331 case NORMAL:
1332 if (holder->IsGlobalObject()) { 1332 if (holder->IsGlobalObject()) {
1333 Handle<GlobalObject> global = Handle<GlobalObject>::cast(holder); 1333 Handle<GlobalObject> global = Handle<GlobalObject>::cast(holder);
1334 Handle<PropertyCell> cell( 1334 Handle<PropertyCell> cell(
1335 global->GetPropertyCell(lookup), isolate()); 1335 global->GetPropertyCell(lookup), isolate());
1336 return isolate()->stub_cache()->ComputeLoadGlobal( 1336 return isolate()->stub_cache()->ComputeLoadGlobal(
1337 name, receiver, global, cell, lookup->IsDontDelete()); 1337 name, receiver, global, cell, lookup->IsDontDelete());
1338 } 1338 }
1339 // There is only one shared stub for loading normalized 1339 // There is only one shared stub for loading normalized
1340 // properties. It does not traverse the prototype chain, so the 1340 // properties. It does not traverse the prototype chain, so the
1341 // property must be found in the receiver for the stub to be 1341 // property must be found in the receiver for the stub to be
1342 // applicable. 1342 // applicable.
1343 if (!holder.is_identical_to(receiver)) break; 1343 if (!holder.is_identical_to(receiver)) break;
1344 return isolate()->stub_cache()->ComputeLoadNormal(name, receiver); 1344 return isolate()->stub_cache()->ComputeLoadNormal(name, receiver);
1345 case CALLBACKS: { 1345 case CALLBACKS: {
1346 Handle<Object> callback(lookup->GetCallbackObject(), isolate()); 1346 Handle<Object> callback(lookup->GetCallbackObject(), isolate());
1347 if (callback->IsExecutableAccessorInfo()) { 1347 if (callback->IsExecutableAccessorInfo()) {
1348 Handle<ExecutableAccessorInfo> info = 1348 Handle<ExecutableAccessorInfo> info =
1349 Handle<ExecutableAccessorInfo>::cast(callback); 1349 Handle<ExecutableAccessorInfo>::cast(callback);
1350 if (v8::ToCData<Address>(info->getter()) == 0) break; 1350 if (v8::ToCData<Address>(info->getter()) == 0) break;
1351 if (!info->IsCompatibleReceiver(*receiver)) break; 1351 if (!info->IsCompatibleReceiver(*receiver)) break;
1352 return isolate()->stub_cache()->ComputeLoadCallback( 1352 return isolate()->stub_cache()->ComputeLoadCallback(
1353 name, receiver, holder, info); 1353 name, receiver, holder, Code::LOAD_IC, info);
1354 } else if (callback->IsAccessorPair()) { 1354 } else if (callback->IsAccessorPair()) {
1355 Handle<Object> getter(Handle<AccessorPair>::cast(callback)->getter(), 1355 Handle<Object> getter(Handle<AccessorPair>::cast(callback)->getter(),
1356 isolate()); 1356 isolate());
1357 if (!getter->IsJSFunction()) break; 1357 if (!getter->IsJSFunction()) break;
1358 if (holder->IsGlobalObject()) break; 1358 if (holder->IsGlobalObject()) break;
1359 if (!holder->HasFastProperties()) break; 1359 if (!holder->HasFastProperties()) break;
1360 Handle<JSFunction> function = Handle<JSFunction>::cast(getter); 1360 Handle<JSFunction> function = Handle<JSFunction>::cast(getter);
1361 CallOptimization call_optimization(function); 1361 CallOptimization call_optimization(function);
1362 if (call_optimization.is_simple_api_call() && 1362 if (call_optimization.is_simple_api_call() &&
1363 call_optimization.IsCompatibleReceiver(*receiver)) { 1363 call_optimization.IsCompatibleReceiver(*receiver)) {
1364 return isolate()->stub_cache()->ComputeLoadCallback( 1364 return isolate()->stub_cache()->ComputeLoadCallback(
1365 name, receiver, holder, call_optimization); 1365 name, receiver, holder, Code::LOAD_IC, call_optimization);
1366 } 1366 }
1367 return isolate()->stub_cache()->ComputeLoadViaGetter( 1367 return isolate()->stub_cache()->ComputeLoadViaGetter(
1368 name, receiver, holder, function); 1368 name, receiver, holder, function);
1369 } else if (receiver->IsJSArray() && 1369 } else if (receiver->IsJSArray() &&
1370 name->Equals(isolate()->heap()->length_string())) { 1370 name->Equals(isolate()->heap()->length_string())) {
1371 PropertyIndex lengthIndex = 1371 PropertyIndex lengthIndex =
1372 PropertyIndex::NewHeaderIndex(JSArray::kLengthOffset / kPointerSize); 1372 PropertyIndex::NewHeaderIndex(JSArray::kLengthOffset / kPointerSize);
1373 return isolate()->stub_cache()->ComputeLoadField( 1373 return isolate()->stub_cache()->ComputeLoadField(
1374 name, receiver, holder, lengthIndex, Representation::Tagged()); 1374 name, receiver, holder, Code::LOAD_IC,
1375 lengthIndex, Representation::Tagged());
1375 } 1376 }
1376 // TODO(dcarney): Handle correctly. 1377 // TODO(dcarney): Handle correctly.
1377 if (callback->IsDeclaredAccessorInfo()) break; 1378 if (callback->IsDeclaredAccessorInfo()) break;
1378 ASSERT(callback->IsForeign()); 1379 ASSERT(callback->IsForeign());
1379 // No IC support for old-style native accessors. 1380 // No IC support for old-style native accessors.
1380 break; 1381 break;
1381 } 1382 }
1382 case INTERCEPTOR: 1383 case INTERCEPTOR:
1383 ASSERT(HasInterceptorGetter(*holder)); 1384 ASSERT(HasInterceptorGetter(*holder));
1384 return isolate()->stub_cache()->ComputeLoadInterceptor( 1385 return isolate()->stub_cache()->ComputeLoadInterceptor(
1385 name, receiver, holder); 1386 name, receiver, holder, Code::LOAD_IC);
1386 default: 1387 default:
1387 break; 1388 break;
1388 } 1389 }
1389 return Handle<Code>::null(); 1390 return Handle<Code>::null();
1390 } 1391 }
1391 1392
1392 1393
1393 static Handle<Object> TryConvertKey(Handle<Object> key, Isolate* isolate) { 1394 static Handle<Object> TryConvertKey(Handle<Object> key, Isolate* isolate) {
1394 // This helper implements a few common fast cases for converting 1395 // This helper implements a few common fast cases for converting
1395 // non-smi keys of keyed loads/stores to a smi or a string. 1396 // non-smi keys of keyed loads/stores to a smi or a string.
(...skipping 134 matching lines...) Expand 10 before | Expand all | Expand 10 after
1530 Handle<Code> KeyedLoadIC::ComputeLoadHandler(LookupResult* lookup, 1531 Handle<Code> KeyedLoadIC::ComputeLoadHandler(LookupResult* lookup,
1531 Handle<JSObject> receiver, 1532 Handle<JSObject> receiver,
1532 Handle<String> name) { 1533 Handle<String> name) {
1533 // Bail out if we didn't find a result. 1534 // Bail out if we didn't find a result.
1534 if (!lookup->IsProperty()) return Handle<Code>::null(); 1535 if (!lookup->IsProperty()) return Handle<Code>::null();
1535 1536
1536 // Compute a monomorphic stub. 1537 // Compute a monomorphic stub.
1537 Handle<JSObject> holder(lookup->holder(), isolate()); 1538 Handle<JSObject> holder(lookup->holder(), isolate());
1538 switch (lookup->type()) { 1539 switch (lookup->type()) {
1539 case FIELD: 1540 case FIELD:
1540 return isolate()->stub_cache()->ComputeKeyedLoadField( 1541 return isolate()->stub_cache()->ComputeLoadField(
1541 name, receiver, holder, 1542 name, receiver, holder, Code::KEYED_LOAD_IC,
1542 lookup->GetFieldIndex(), lookup->representation()); 1543 lookup->GetFieldIndex(), lookup->representation());
1543 case CONSTANT: { 1544 case CONSTANT: {
1544 Handle<Object> constant(lookup->GetConstant(), isolate()); 1545 Handle<Object> constant(lookup->GetConstant(), isolate());
1545 // TODO(2803): Don't compute a stub for cons strings because they cannot 1546 // TODO(2803): Don't compute a stub for cons strings because they cannot
1546 // be embedded into code. 1547 // be embedded into code.
1547 if (constant->IsConsString()) return Handle<Code>::null(); 1548 if (constant->IsConsString()) return Handle<Code>::null();
1548 return isolate()->stub_cache()->ComputeKeyedLoadConstant( 1549 return isolate()->stub_cache()->ComputeLoadConstant(
1549 name, receiver, holder, constant); 1550 name, receiver, holder, Code::KEYED_LOAD_IC, constant);
1550 } 1551 }
1551 case CALLBACKS: { 1552 case CALLBACKS: {
1552 Handle<Object> callback_object(lookup->GetCallbackObject(), isolate()); 1553 Handle<Object> callback_object(lookup->GetCallbackObject(), isolate());
1553 // TODO(dcarney): Handle DeclaredAccessorInfo correctly. 1554 // TODO(dcarney): Handle DeclaredAccessorInfo correctly.
1554 if (callback_object->IsExecutableAccessorInfo()) { 1555 if (callback_object->IsExecutableAccessorInfo()) {
1555 Handle<ExecutableAccessorInfo> callback = 1556 Handle<ExecutableAccessorInfo> callback =
1556 Handle<ExecutableAccessorInfo>::cast(callback_object); 1557 Handle<ExecutableAccessorInfo>::cast(callback_object);
1557 if (v8::ToCData<Address>(callback->getter()) == 0) break; 1558 if (v8::ToCData<Address>(callback->getter()) == 0) break;
1558 if (!callback->IsCompatibleReceiver(*receiver)) break; 1559 if (!callback->IsCompatibleReceiver(*receiver)) break;
1559 return isolate()->stub_cache()->ComputeKeyedLoadCallback( 1560 return isolate()->stub_cache()->ComputeLoadCallback(
1560 name, receiver, holder, callback); 1561 name, receiver, holder, Code::KEYED_LOAD_IC, callback);
1561 } else if (callback_object->IsAccessorPair()) { 1562 } else if (callback_object->IsAccessorPair()) {
1562 Handle<Object> getter( 1563 Handle<Object> getter(
1563 Handle<AccessorPair>::cast(callback_object)->getter(), 1564 Handle<AccessorPair>::cast(callback_object)->getter(),
1564 isolate()); 1565 isolate());
1565 if (!getter->IsJSFunction()) break; 1566 if (!getter->IsJSFunction()) break;
1566 if (holder->IsGlobalObject()) break; 1567 if (holder->IsGlobalObject()) break;
1567 if (!holder->HasFastProperties()) break; 1568 if (!holder->HasFastProperties()) break;
1568 Handle<JSFunction> function = Handle<JSFunction>::cast(getter); 1569 Handle<JSFunction> function = Handle<JSFunction>::cast(getter);
1569 CallOptimization call_optimization(function); 1570 CallOptimization call_optimization(function);
1570 if (call_optimization.is_simple_api_call() && 1571 if (call_optimization.is_simple_api_call() &&
1571 call_optimization.IsCompatibleReceiver(*receiver)) { 1572 call_optimization.IsCompatibleReceiver(*receiver)) {
1572 return isolate()->stub_cache()->ComputeKeyedLoadCallback( 1573 return isolate()->stub_cache()->ComputeLoadCallback(
1573 name, receiver, holder, call_optimization); 1574 name, receiver, holder, Code::KEYED_LOAD_IC, call_optimization);
1574 } 1575 }
1575 } 1576 }
1576 break; 1577 break;
1577 } 1578 }
1578 case INTERCEPTOR: 1579 case INTERCEPTOR:
1579 ASSERT(HasInterceptorGetter(lookup->holder())); 1580 ASSERT(HasInterceptorGetter(lookup->holder()));
1580 return isolate()->stub_cache()->ComputeKeyedLoadInterceptor( 1581 return isolate()->stub_cache()->ComputeLoadInterceptor(
1581 name, receiver, holder); 1582 name, receiver, holder, Code::KEYED_LOAD_IC);
1582 default: 1583 default:
1583 // Always rewrite to the generic case so that we do not 1584 // Always rewrite to the generic case so that we do not
1584 // repeatedly try to rewrite. 1585 // repeatedly try to rewrite.
1585 return generic_stub(); 1586 return generic_stub();
1586 } 1587 }
1587 return Handle<Code>::null(); 1588 return Handle<Code>::null();
1588 } 1589 }
1589 1590
1590 1591
1591 static bool LookupForWrite(Handle<JSObject> receiver, 1592 static bool LookupForWrite(Handle<JSObject> receiver,
(...skipping 1537 matching lines...) Expand 10 before | Expand all | Expand 10 after
3129 #undef ADDR 3130 #undef ADDR
3130 }; 3131 };
3131 3132
3132 3133
3133 Address IC::AddressFromUtilityId(IC::UtilityId id) { 3134 Address IC::AddressFromUtilityId(IC::UtilityId id) {
3134 return IC_utilities[id]; 3135 return IC_utilities[id];
3135 } 3136 }
3136 3137
3137 3138
3138 } } // namespace v8::internal 3139 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « no previous file | src/stub-cache.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698