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

Side by Side Diff: src/ic/arm64/handler-compiler-arm64.cc

Issue 908213002: Use Cells to check prototype chain validity (disabled by default). (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: rebased onto dropped prototype_object Created 5 years, 8 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
OLDNEW
1 // Copyright 2014 the V8 project authors. All rights reserved. 1 // Copyright 2014 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 #if V8_TARGET_ARCH_ARM64 7 #if V8_TARGET_ARCH_ARM64
8 8
9 #include "src/ic/call-optimization.h" 9 #include "src/ic/call-optimization.h"
10 #include "src/ic/handler-compiler.h" 10 #include "src/ic/handler-compiler.h"
(...skipping 321 matching lines...) Expand 10 before | Expand all | Expand 10 after
332 #undef __ 332 #undef __
333 #define __ ACCESS_MASM(masm()) 333 #define __ ACCESS_MASM(masm())
334 334
335 335
336 Handle<Code> NamedLoadHandlerCompiler::CompileLoadGlobal( 336 Handle<Code> NamedLoadHandlerCompiler::CompileLoadGlobal(
337 Handle<PropertyCell> cell, Handle<Name> name, bool is_configurable) { 337 Handle<PropertyCell> cell, Handle<Name> name, bool is_configurable) {
338 Label miss; 338 Label miss;
339 if (IC::ICUseVector(kind())) { 339 if (IC::ICUseVector(kind())) {
340 PushVectorAndSlot(); 340 PushVectorAndSlot();
341 } 341 }
342 FrontendHeader(receiver(), name, &miss); 342 FrontendHeader(receiver(), name, &miss, DONT_RETURN_ANYTHING);
343 343
344 // Get the value from the cell. 344 // Get the value from the cell.
345 Register result = StoreDescriptor::ValueRegister(); 345 Register result = StoreDescriptor::ValueRegister();
346 Handle<WeakCell> weak_cell = factory()->NewWeakCell(cell); 346 Handle<WeakCell> weak_cell = factory()->NewWeakCell(cell);
347 __ LoadWeakValue(result, weak_cell, &miss); 347 __ LoadWeakValue(result, weak_cell, &miss);
348 __ Ldr(result, FieldMemOperand(result, PropertyCell::kValueOffset)); 348 __ Ldr(result, FieldMemOperand(result, PropertyCell::kValueOffset));
349 349
350 // Check for deleted property if property can actually be deleted. 350 // Check for deleted property if property can actually be deleted.
351 if (is_configurable) { 351 if (is_configurable) {
352 __ JumpIfRoot(result, Heap::kTheHoleValueRootIndex, &miss); 352 __ JumpIfRoot(result, Heap::kTheHoleValueRootIndex, &miss);
(...skipping 101 matching lines...) Expand 10 before | Expand all | Expand 10 after
454 } 454 }
455 __ B(eq, &do_store); 455 __ B(eq, &do_store);
456 } 456 }
457 __ Bind(&do_store); 457 __ Bind(&do_store);
458 } 458 }
459 } 459 }
460 460
461 461
462 Register PropertyHandlerCompiler::CheckPrototypes( 462 Register PropertyHandlerCompiler::CheckPrototypes(
463 Register object_reg, Register holder_reg, Register scratch1, 463 Register object_reg, Register holder_reg, Register scratch1,
464 Register scratch2, Handle<Name> name, Label* miss, 464 Register scratch2, Handle<Name> name, Label* miss, PrototypeCheckType check,
465 PrototypeCheckType check) { 465 ReturnHolder return_what) {
466 Handle<Map> receiver_map = map(); 466 Handle<Map> receiver_map = map();
467 467
468 // object_reg and holder_reg registers can alias. 468 // object_reg and holder_reg registers can alias.
469 DCHECK(!AreAliased(object_reg, scratch1, scratch2)); 469 DCHECK(!AreAliased(object_reg, scratch1, scratch2));
470 DCHECK(!AreAliased(holder_reg, scratch1, scratch2)); 470 DCHECK(!AreAliased(holder_reg, scratch1, scratch2));
471 471
472 if (FLAG_eliminate_prototype_chain_checks) {
473 Handle<Cell> validity_cell =
474 Map::GetOrCreatePrototypeChainValidityCell(receiver_map, isolate());
475 if (!validity_cell.is_null()) {
476 DCHECK(validity_cell->value() == Smi::FromInt(Map::kPrototypeChainValid));
477 __ Mov(scratch1, Operand(validity_cell));
478 __ Ldr(scratch1, FieldMemOperand(scratch1, Cell::kValueOffset));
479 __ Cmp(scratch1, Operand(Smi::FromInt(Map::kPrototypeChainValid)));
480 __ B(ne, miss);
481 }
482
483 // The prototype chain of primitives (and their JSValue wrappers) depends
484 // on the native context, which can't be guarded by validity cells.
485 // |object_reg| holds the native context specific prototype in this case;
486 // we need to check its map.
487 if (check == CHECK_ALL_MAPS) {
488 __ Ldr(scratch1, FieldMemOperand(object_reg, HeapObject::kMapOffset));
489 Handle<WeakCell> cell = Map::WeakCellForMap(receiver_map);
490 __ CmpWeakValue(scratch1, cell, scratch2);
491 __ B(ne, miss);
492 }
493 }
494
472 // Keep track of the current object in register reg. 495 // Keep track of the current object in register reg.
473 Register reg = object_reg; 496 Register reg = object_reg;
474 int depth = 0; 497 int depth = 0;
475 498
476 Handle<JSObject> current = Handle<JSObject>::null(); 499 Handle<JSObject> current = Handle<JSObject>::null();
477 if (receiver_map->IsJSGlobalObjectMap()) { 500 if (receiver_map->IsJSGlobalObjectMap()) {
478 current = isolate()->global_object(); 501 current = isolate()->global_object();
479 } 502 }
480 503
481 // Check access rights to the global object. This has to happen after 504 // Check access rights to the global object. This has to happen after
(...skipping 24 matching lines...) Expand all
506 if (current_map->is_dictionary_map() && 529 if (current_map->is_dictionary_map() &&
507 !current_map->IsJSGlobalObjectMap()) { 530 !current_map->IsJSGlobalObjectMap()) {
508 DCHECK(!current_map->IsJSGlobalProxyMap()); // Proxy maps are fast. 531 DCHECK(!current_map->IsJSGlobalProxyMap()); // Proxy maps are fast.
509 if (!name->IsUniqueName()) { 532 if (!name->IsUniqueName()) {
510 DCHECK(name->IsString()); 533 DCHECK(name->IsString());
511 name = factory()->InternalizeString(Handle<String>::cast(name)); 534 name = factory()->InternalizeString(Handle<String>::cast(name));
512 } 535 }
513 DCHECK(current.is_null() || (current->property_dictionary()->FindEntry( 536 DCHECK(current.is_null() || (current->property_dictionary()->FindEntry(
514 name) == NameDictionary::kNotFound)); 537 name) == NameDictionary::kNotFound));
515 538
539 if (FLAG_eliminate_prototype_chain_checks && depth > 1) {
540 // TODO(jkummerow): Cache and re-use weak cell.
541 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
542 }
516 GenerateDictionaryNegativeLookup(masm(), miss, reg, name, scratch1, 543 GenerateDictionaryNegativeLookup(masm(), miss, reg, name, scratch1,
517 scratch2); 544 scratch2);
518 545
519 __ Ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset)); 546 if (!FLAG_eliminate_prototype_chain_checks) {
520 reg = holder_reg; // From now on the object will be in holder_reg. 547 __ Ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
521 __ Ldr(reg, FieldMemOperand(scratch1, Map::kPrototypeOffset)); 548 __ Ldr(holder_reg, FieldMemOperand(scratch1, Map::kPrototypeOffset));
549 }
522 } else { 550 } else {
523 Register map_reg = scratch1; 551 Register map_reg = scratch1;
524 __ Ldr(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset)); 552 if (!FLAG_eliminate_prototype_chain_checks) {
525 553 __ Ldr(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset));
554 }
526 if (current_map->IsJSGlobalObjectMap()) { 555 if (current_map->IsJSGlobalObjectMap()) {
527 GenerateCheckPropertyCell(masm(), Handle<JSGlobalObject>::cast(current), 556 GenerateCheckPropertyCell(masm(), Handle<JSGlobalObject>::cast(current),
528 name, scratch2, miss); 557 name, scratch2, miss);
529 } else if (depth != 1 || check == CHECK_ALL_MAPS) { 558 } else if (!FLAG_eliminate_prototype_chain_checks &&
559 (depth != 1 || check == CHECK_ALL_MAPS)) {
530 Handle<WeakCell> cell = Map::WeakCellForMap(current_map); 560 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
531 __ CmpWeakValue(map_reg, cell, scratch2); 561 __ CmpWeakValue(map_reg, cell, scratch2);
532 __ B(ne, miss); 562 __ B(ne, miss);
533 } 563 }
534 564 if (!FLAG_eliminate_prototype_chain_checks) {
535 reg = holder_reg; // From now on the object will be in holder_reg. 565 __ Ldr(reg, FieldMemOperand(map_reg, Map::kPrototypeOffset));
536 566 }
537 __ Ldr(reg, FieldMemOperand(map_reg, Map::kPrototypeOffset));
538 } 567 }
539 568
569 reg = holder_reg; // From now on the object will be in holder_reg.
540 // Go to the next object in the prototype chain. 570 // Go to the next object in the prototype chain.
541 current = prototype; 571 current = prototype;
542 current_map = handle(current->map()); 572 current_map = handle(current->map());
543 } 573 }
544 574
545 DCHECK(!current_map->IsJSGlobalProxyMap()); 575 DCHECK(!current_map->IsJSGlobalProxyMap());
546 576
547 // Log the check depth. 577 // Log the check depth.
548 LOG(isolate(), IntEvent("check-maps-depth", depth + 1)); 578 LOG(isolate(), IntEvent("check-maps-depth", depth + 1));
549 579
550 // Check the holder map. 580 if (!FLAG_eliminate_prototype_chain_checks &&
551 if (depth != 0 || check == CHECK_ALL_MAPS) { 581 (depth != 0 || check == CHECK_ALL_MAPS)) {
552 // Check the holder map. 582 // Check the holder map.
553 __ Ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset)); 583 __ Ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
554 Handle<WeakCell> cell = Map::WeakCellForMap(current_map); 584 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
555 __ CmpWeakValue(scratch1, cell, scratch2); 585 __ CmpWeakValue(scratch1, cell, scratch2);
556 __ B(ne, miss); 586 __ B(ne, miss);
557 } 587 }
558 588
589 bool return_holder = return_what == RETURN_HOLDER;
590 if (FLAG_eliminate_prototype_chain_checks && return_holder && depth != 0) {
591 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
592 }
593
559 // Return the register containing the holder. 594 // Return the register containing the holder.
560 return reg; 595 return return_holder ? reg : no_reg;
561 } 596 }
562 597
563 598
564 void NamedLoadHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) { 599 void NamedLoadHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
565 if (!miss->is_unused()) { 600 if (!miss->is_unused()) {
566 Label success; 601 Label success;
567 __ B(&success); 602 __ B(&success);
568 603
569 __ Bind(miss); 604 __ Bind(miss);
570 if (IC::ICUseVector(kind())) { 605 if (IC::ICUseVector(kind())) {
(...skipping 190 matching lines...) Expand 10 before | Expand all | Expand 10 after
761 // Return the generated code. 796 // Return the generated code.
762 return GetCode(kind(), Code::FAST, name); 797 return GetCode(kind(), Code::FAST, name);
763 } 798 }
764 799
765 800
766 #undef __ 801 #undef __
767 } 802 }
768 } // namespace v8::internal 803 } // namespace v8::internal
769 804
770 #endif // V8_TARGET_ARCH_IA32 805 #endif // V8_TARGET_ARCH_IA32
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698