OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
2 // | 2 // |
3 // Redistribution and use in source and binary forms, with or without | 3 // Redistribution and use in source and binary forms, with or without |
4 // modification, are permitted provided that the following conditions are | 4 // modification, are permitted provided that the following conditions are |
5 // met: | 5 // met: |
6 // | 6 // |
7 // * Redistributions of source code must retain the above copyright | 7 // * Redistributions of source code must retain the above copyright |
8 // notice, this list of conditions and the following disclaimer. | 8 // notice, this list of conditions and the following disclaimer. |
9 // * Redistributions in binary form must reproduce the above | 9 // * Redistributions in binary form must reproduce the above |
10 // copyright notice, this list of conditions and the following | 10 // copyright notice, this list of conditions and the following |
(...skipping 438 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
449 | 449 |
450 | 450 |
451 void Assembler::bind(Label* label) { | 451 void Assembler::bind(Label* label) { |
452 // Bind label to the address at pc_. All instructions (most likely branches) | 452 // Bind label to the address at pc_. All instructions (most likely branches) |
453 // that are linked to this label will be updated to point to the newly-bound | 453 // that are linked to this label will be updated to point to the newly-bound |
454 // label. | 454 // label. |
455 | 455 |
456 ASSERT(!label->is_near_linked()); | 456 ASSERT(!label->is_near_linked()); |
457 ASSERT(!label->is_bound()); | 457 ASSERT(!label->is_bound()); |
458 | 458 |
| 459 DeleteUnresolvedBranchInfoForLabel(label); |
| 460 |
459 // If the label is linked, the link chain looks something like this: | 461 // If the label is linked, the link chain looks something like this: |
460 // | 462 // |
461 // |--I----I-------I-------L | 463 // |--I----I-------I-------L |
462 // |---------------------->| pc_offset | 464 // |---------------------->| pc_offset |
463 // |-------------->| linkoffset = label->pos() | 465 // |-------------->| linkoffset = label->pos() |
464 // |<------| link->ImmPCOffset() | 466 // |<------| link->ImmPCOffset() |
465 // |------>| prevlinkoffset = linkoffset + link->ImmPCOffset() | 467 // |------>| prevlinkoffset = linkoffset + link->ImmPCOffset() |
466 // | 468 // |
467 // On each iteration, the last link is updated and then removed from the | 469 // On each iteration, the last link is updated and then removed from the |
468 // chain until only one remains. At that point, the label is bound. | 470 // chain until only one remains. At that point, the label is bound. |
(...skipping 21 matching lines...) Expand all Loading... |
490 label->Unuse(); | 492 label->Unuse(); |
491 } else { | 493 } else { |
492 // Update the label for the next iteration. | 494 // Update the label for the next iteration. |
493 label->link_to(prevlinkoffset); | 495 label->link_to(prevlinkoffset); |
494 } | 496 } |
495 } | 497 } |
496 label->bind_to(pc_offset()); | 498 label->bind_to(pc_offset()); |
497 | 499 |
498 ASSERT(label->is_bound()); | 500 ASSERT(label->is_bound()); |
499 ASSERT(!label->is_linked()); | 501 ASSERT(!label->is_linked()); |
500 | |
501 DeleteUnresolvedBranchInfoForLabel(label); | |
502 } | 502 } |
503 | 503 |
504 | 504 |
505 int Assembler::LinkAndGetByteOffsetTo(Label* label) { | 505 int Assembler::LinkAndGetByteOffsetTo(Label* label) { |
506 ASSERT(sizeof(*pc_) == 1); | 506 ASSERT(sizeof(*pc_) == 1); |
507 CheckLabelLinkChain(label); | 507 CheckLabelLinkChain(label); |
508 | 508 |
509 int offset; | 509 int offset; |
510 if (label->is_bound()) { | 510 if (label->is_bound()) { |
511 // The label is bound, so it does not need to be updated. Referring | 511 // The label is bound, so it does not need to be updated. Referring |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
544 return offset; | 544 return offset; |
545 } | 545 } |
546 | 546 |
547 | 547 |
548 void Assembler::DeleteUnresolvedBranchInfoForLabel(Label* label) { | 548 void Assembler::DeleteUnresolvedBranchInfoForLabel(Label* label) { |
549 if (unresolved_branches_.empty()) { | 549 if (unresolved_branches_.empty()) { |
550 ASSERT(next_veneer_pool_check_ == kMaxInt); | 550 ASSERT(next_veneer_pool_check_ == kMaxInt); |
551 return; | 551 return; |
552 } | 552 } |
553 | 553 |
554 // Branches to this label will be resolved when the label is bound below. | 554 if (label->is_linked()) { |
555 std::multimap<int, FarBranchInfo>::iterator it_tmp, it; | 555 // Branches to this label will be resolved when the label is bound below. |
556 it = unresolved_branches_.begin(); | 556 std::multimap<int, FarBranchInfo>::iterator it_tmp, it; |
557 while (it != unresolved_branches_.end()) { | 557 it = unresolved_branches_.begin(); |
558 it_tmp = it++; | 558 while (it != unresolved_branches_.end()) { |
559 if (it_tmp->second.label_ == label) { | 559 it_tmp = it++; |
560 CHECK(it_tmp->first >= pc_offset()); | 560 if (it_tmp->second.label_ == label) { |
561 unresolved_branches_.erase(it_tmp); | 561 CHECK(it_tmp->first >= pc_offset()); |
| 562 unresolved_branches_.erase(it_tmp); |
| 563 } |
562 } | 564 } |
563 } | 565 } |
564 if (unresolved_branches_.empty()) { | 566 if (unresolved_branches_.empty()) { |
565 next_veneer_pool_check_ = kMaxInt; | 567 next_veneer_pool_check_ = kMaxInt; |
566 } else { | 568 } else { |
567 next_veneer_pool_check_ = | 569 next_veneer_pool_check_ = |
568 unresolved_branches_first_limit() - kVeneerDistanceCheckMargin; | 570 unresolved_branches_first_limit() - kVeneerDistanceCheckMargin; |
569 } | 571 } |
570 } | 572 } |
571 | 573 |
(...skipping 2232 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2804 | 2806 |
2805 void Assembler::PopulateConstantPool(ConstantPoolArray* constant_pool) { | 2807 void Assembler::PopulateConstantPool(ConstantPoolArray* constant_pool) { |
2806 // No out-of-line constant pool support. | 2808 // No out-of-line constant pool support. |
2807 UNREACHABLE(); | 2809 UNREACHABLE(); |
2808 } | 2810 } |
2809 | 2811 |
2810 | 2812 |
2811 } } // namespace v8::internal | 2813 } } // namespace v8::internal |
2812 | 2814 |
2813 #endif // V8_TARGET_ARCH_ARM64 | 2815 #endif // V8_TARGET_ARCH_ARM64 |
OLD | NEW |