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

Side by Side Diff: src/compiler/mips64/code-generator-mips64.cc

Issue 742243003: MIPS: [turbofan] Clean up and factor out branch generation logic. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 6 years, 1 month 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
« no previous file with comments | « src/compiler/mips/code-generator-mips.cc ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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/compiler/code-generator.h" 5 #include "src/compiler/code-generator.h"
6 #include "src/compiler/code-generator-impl.h" 6 #include "src/compiler/code-generator-impl.h"
7 #include "src/compiler/gap-resolver.h" 7 #include "src/compiler/gap-resolver.h"
8 #include "src/compiler/node-matchers.h" 8 #include "src/compiler/node-matchers.h"
9 #include "src/compiler/node-properties-inl.h" 9 #include "src/compiler/node-properties-inl.h"
10 #include "src/mips/macro-assembler-mips.h" 10 #include "src/mips/macro-assembler-mips.h"
(...skipping 459 matching lines...) Expand 10 before | Expand all | Expand 10 after
470 } 470 }
471 } 471 }
472 472
473 473
474 #define UNSUPPORTED_COND(opcode, condition) \ 474 #define UNSUPPORTED_COND(opcode, condition) \
475 OFStream out(stdout); \ 475 OFStream out(stdout); \
476 out << "Unsupported " << #opcode << " condition: \"" << condition << "\""; \ 476 out << "Unsupported " << #opcode << " condition: \"" << condition << "\""; \
477 UNIMPLEMENTED(); 477 UNIMPLEMENTED();
478 478
479 // Assembles branches after an instruction. 479 // Assembles branches after an instruction.
480 void CodeGenerator::AssembleArchBranch(Instruction* instr, 480 void CodeGenerator::AssembleArchBranch(Instruction* instr, BranchInfo* branch) {
481 FlagsCondition condition) {
482 MipsOperandConverter i(this, instr); 481 MipsOperandConverter i(this, instr);
483 Label* tlabel = branch->true_label; 482 Label* tlabel = branch->true_label;
484 Label* flabel = branch->false_label; 483 Label* flabel = branch->false_label;
485 Condition cc = kNoCondition; 484 Condition cc = kNoCondition;
486 485
487 // MIPS does not have condition code flags, so compare and branch are 486 // MIPS does not have condition code flags, so compare and branch are
488 // implemented differently than on the other arch's. The compare operations 487 // implemented differently than on the other arch's. The compare operations
489 // emit mips psuedo-instructions, which are handled here by branch 488 // emit mips psuedo-instructions, which are handled here by branch
490 // instructions that do the actual comparison. Essential that the input 489 // instructions that do the actual comparison. Essential that the input
491 // registers to compare psuedo-op are not modified before this branch op, as 490 // registers to compare psuedo-op are not modified before this branch op, as
(...skipping 84 matching lines...) Expand 10 before | Expand all | Expand 10 after
576 case kUnsignedGreaterThan: 575 case kUnsignedGreaterThan:
577 cc = hi; 576 cc = hi;
578 break; 577 break;
579 default: 578 default:
580 UNSUPPORTED_COND(kMips64Cmp, branch->condition); 579 UNSUPPORTED_COND(kMips64Cmp, branch->condition);
581 break; 580 break;
582 } 581 }
583 __ Branch(tlabel, cc, i.InputRegister(0), i.InputOperand(1)); 582 __ Branch(tlabel, cc, i.InputRegister(0), i.InputOperand(1));
584 583
585 if (!branch->fallthru) __ Branch(flabel); // no fallthru to flabel. 584 if (!branch->fallthru) __ Branch(flabel); // no fallthru to flabel.
586 __ bind(&done);
587 585
588 } else if (instr->arch_opcode() == kMips64Cmp32) { 586 } else if (instr->arch_opcode() == kMips64Cmp32) {
589 switch (branch->condition) { 587 switch (branch->condition) {
590 case kEqual: 588 case kEqual:
591 cc = eq; 589 cc = eq;
592 break; 590 break;
593 case kNotEqual: 591 case kNotEqual:
594 cc = ne; 592 cc = ne;
595 break; 593 break;
596 case kSignedLessThan: 594 case kSignedLessThan:
(...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after
647 __ Dext(i.InputRegister(1), i.InputRegister(1), 0, 32); 645 __ Dext(i.InputRegister(1), i.InputRegister(1), 0, 32);
648 } 646 }
649 break; 647 break;
650 default: 648 default:
651 UNSUPPORTED_COND(kMips64Cmp, branch->condition); 649 UNSUPPORTED_COND(kMips64Cmp, branch->condition);
652 break; 650 break;
653 } 651 }
654 __ Branch(tlabel, cc, i.InputRegister(0), i.InputOperand(1)); 652 __ Branch(tlabel, cc, i.InputRegister(0), i.InputOperand(1));
655 653
656 if (!branch->fallthru) __ Branch(flabel); // no fallthru to flabel. 654 if (!branch->fallthru) __ Branch(flabel); // no fallthru to flabel.
657 __ bind(&done);
658 } else if (instr->arch_opcode() == kMips64CmpD) { 655 } else if (instr->arch_opcode() == kMips64CmpD) {
659 // TODO(dusmil) optimize unordered checks to use less instructions 656 // TODO(dusmil) optimize unordered checks to use less instructions
660 // even if we have to unfold BranchF macro. 657 // even if we have to unfold BranchF macro.
661 Label* nan = flabel; 658 Label* nan = flabel;
662 switch (branch->condition) { 659 switch (branch->condition) {
663 case kUnorderedEqual: 660 case kUnorderedEqual:
664 cc = eq; 661 cc = eq;
665 break; 662 break;
666 case kUnorderedNotEqual: 663 case kUnorderedNotEqual:
667 cc = ne; 664 cc = ne;
(...skipping 14 matching lines...) Expand all
682 nan = tlabel; 679 nan = tlabel;
683 break; 680 break;
684 default: 681 default:
685 UNSUPPORTED_COND(kMips64CmpD, branch->condition); 682 UNSUPPORTED_COND(kMips64CmpD, branch->condition);
686 break; 683 break;
687 } 684 }
688 __ BranchF(tlabel, nan, cc, i.InputDoubleRegister(0), 685 __ BranchF(tlabel, nan, cc, i.InputDoubleRegister(0),
689 i.InputDoubleRegister(1)); 686 i.InputDoubleRegister(1));
690 687
691 if (!branch->fallthru) __ Branch(flabel); // no fallthru to flabel. 688 if (!branch->fallthru) __ Branch(flabel); // no fallthru to flabel.
692 __ bind(&done);
693
694 } else { 689 } else {
695 PrintF("AssembleArchBranch Unimplemented arch_opcode: %d\n", 690 PrintF("AssembleArchBranch Unimplemented arch_opcode: %d\n",
696 instr->arch_opcode()); 691 instr->arch_opcode());
697 UNIMPLEMENTED(); 692 UNIMPLEMENTED();
698 } 693 }
699 } 694 }
700 695
701 696
702 void CodeGenerator::AssembleArchJump(BasicBlock::RpoNumber target) { 697 void CodeGenerator::AssembleArchJump(BasicBlock::RpoNumber target) {
703 if (!IsNextInAssemblyOrder(target)) __ Branch(GetLabel(target)); 698 if (!IsNextInAssemblyOrder(target)) __ Branch(GetLabel(target));
(...skipping 512 matching lines...) Expand 10 before | Expand all | Expand 10 after
1216 } 1211 }
1217 } 1212 }
1218 MarkLazyDeoptSite(); 1213 MarkLazyDeoptSite();
1219 } 1214 }
1220 1215
1221 #undef __ 1216 #undef __
1222 1217
1223 } // namespace compiler 1218 } // namespace compiler
1224 } // namespace internal 1219 } // namespace internal
1225 } // namespace v8 1220 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/mips/code-generator-mips.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698