src/compiler/x64/code-generator-x64.cc

   1 // Copyright 2013 the V8 project authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 #include "src/compiler/code-generator.h"
   6
   7 #include "src/compiler/code-generator-impl.h"
   8 #include "src/compiler/gap-resolver.h"
   9 #include "src/compiler/node-matchers.h"
  10 #include "src/compiler/node-properties-inl.h"
  11 #include "src/scopes.h"
  12 #include "src/x64/assembler-x64.h"
  13 #include "src/x64/macro-assembler-x64.h"
  14
  15 namespace v8 {
  16 namespace internal {
  17 namespace compiler {
  18
  19 #define __ masm()->
  20
  21
  22 // Adds X64 specific methods for decoding operands.
  23 class X64OperandConverter : public InstructionOperandConverter {
  24  public:
  25   X64OperandConverter(CodeGenerator* gen, Instruction* instr)
  26       : InstructionOperandConverter(gen, instr) {}
  27
  28   Immediate InputImmediate(int index) {
  29     return ToImmediate(instr_->InputAt(index));
  30   }
  31
  32   Operand InputOperand(int index) { return ToOperand(instr_->InputAt(index)); }
  33
  34   Operand OutputOperand() { return ToOperand(instr_->Output()); }
  35
  36   Immediate ToImmediate(InstructionOperand* operand) {
  37     return Immediate(ToConstant(operand).ToInt32());
  38   }
  39
  40   Operand ToOperand(InstructionOperand* op, int extra = 0) {
  41     DCHECK(op->IsStackSlot() || op->IsDoubleStackSlot());
  42     // The linkage computes where all spill slots are located.
  43     FrameOffset offset = linkage()->GetFrameOffset(op->index(), frame(), extra);
  44     return Operand(offset.from_stack_pointer() ? rsp : rbp, offset.offset());
  45   }
  46
  47   static int NextOffset(int* offset) {
  48     int i = *offset;
  49     (*offset)++;
  50     return i;
  51   }
  52
  53   static ScaleFactor ScaleFor(AddressingMode one, AddressingMode mode) {
  54     STATIC_ASSERT(0 == static_cast<int>(times_1));
  55     STATIC_ASSERT(1 == static_cast<int>(times_2));
  56     STATIC_ASSERT(2 == static_cast<int>(times_4));
  57     STATIC_ASSERT(3 == static_cast<int>(times_8));
  58     int scale = static_cast<int>(mode - one);
  59     DCHECK(scale >= 0 && scale < 4);
  60     return static_cast<ScaleFactor>(scale);
  61   }
  62
  63   Operand MemoryOperand(int* offset) {
  64     AddressingMode mode = AddressingModeField::decode(instr_->opcode());
  65     switch (mode) {
  66       case kMode_MR: {
  67         Register base = InputRegister(NextOffset(offset));
  68         int32_t disp = 0;
  69         return Operand(base, disp);
  70       }
  71       case kMode_MRI: {
  72         Register base = InputRegister(NextOffset(offset));
  73         int32_t disp = InputInt32(NextOffset(offset));
  74         return Operand(base, disp);
  75       }
  76       case kMode_MR1:
  77       case kMode_MR2:
  78       case kMode_MR4:
  79       case kMode_MR8: {
  80         Register base = InputRegister(NextOffset(offset));
  81         Register index = InputRegister(NextOffset(offset));
  82         ScaleFactor scale = ScaleFor(kMode_MR1, mode);
  83         int32_t disp = 0;
  84         return Operand(base, index, scale, disp);
  85       }
  86       case kMode_MR1I:
  87       case kMode_MR2I:
  88       case kMode_MR4I:
  89       case kMode_MR8I: {
  90         Register base = InputRegister(NextOffset(offset));
  91         Register index = InputRegister(NextOffset(offset));
  92         ScaleFactor scale = ScaleFor(kMode_MR1I, mode);
  93         int32_t disp = InputInt32(NextOffset(offset));
  94         return Operand(base, index, scale, disp);
  95       }
  96       case kMode_M1:
  97       case kMode_M2:
  98       case kMode_M4:
  99       case kMode_M8: {
 100         Register index = InputRegister(NextOffset(offset));
 101         ScaleFactor scale = ScaleFor(kMode_M1, mode);
 102         int32_t disp = 0;
 103         return Operand(index, scale, disp);
 104       }
 105       case kMode_M1I:
 106       case kMode_M2I:
 107       case kMode_M4I:
 108       case kMode_M8I: {
 109         Register index = InputRegister(NextOffset(offset));
 110         ScaleFactor scale = ScaleFor(kMode_M1I, mode);
 111         int32_t disp = InputInt32(NextOffset(offset));
 112         return Operand(index, scale, disp);
 113       }
 114       case kMode_None:
 115         UNREACHABLE();
 116         return Operand(no_reg, 0);
 117     }
 118     UNREACHABLE();
 119     return Operand(no_reg, 0);
 120   }
 121
 122   Operand MemoryOperand() {
 123     int first_input = 0;
 124     return MemoryOperand(&first_input);
 125   }
 126 };
 127
 128
 129 static bool HasImmediateInput(Instruction* instr, int index) {
 130   return instr->InputAt(index)->IsImmediate();
 131 }
 132
 133
 134 #define ASSEMBLE_UNOP(asm_instr)         \
 135   do {                                   \
 136     if (instr->Output()->IsRegister()) { \
 137       __ asm_instr(i.OutputRegister());  \
 138     } else {                             \
 139       __ asm_instr(i.OutputOperand());   \
 140     }                                    \
 141   } while (0)
 142
 143
 144 #define ASSEMBLE_BINOP(asm_instr)                              \
 145   do {                                                         \
 146     if (HasImmediateInput(instr, 1)) {                         \
 147       if (instr->InputAt(0)->IsRegister()) {                   \
 148         __ asm_instr(i.InputRegister(0), i.InputImmediate(1)); \
 149       } else {                                                 \
 150         __ asm_instr(i.InputOperand(0), i.InputImmediate(1));  \
 151       }                                                        \
 152     } else {                                                   \
 153       if (instr->InputAt(1)->IsRegister()) {                   \
 154         __ asm_instr(i.InputRegister(0), i.InputRegister(1));  \
 155       } else {                                                 \
 156         __ asm_instr(i.InputRegister(0), i.InputOperand(1));   \
 157       }                                                        \
 158     }                                                          \
 159   } while (0)
 160
 161
 162 #define ASSEMBLE_MULT(asm_instr)                              \
 163   do {                                                        \
 164     if (HasImmediateInput(instr, 1)) {                        \
 165       if (instr->InputAt(0)->IsRegister()) {                  \
 166         __ asm_instr(i.OutputRegister(), i.InputRegister(0),  \
 167                      i.InputImmediate(1));                    \
 168       } else {                                                \
 169         __ asm_instr(i.OutputRegister(), i.InputOperand(0),   \
 170                      i.InputImmediate(1));                    \
 171       }                                                       \
 172     } else {                                                  \
 173       if (instr->InputAt(1)->IsRegister()) {                  \
 174         __ asm_instr(i.OutputRegister(), i.InputRegister(1)); \
 175       } else {                                                \
 176         __ asm_instr(i.OutputRegister(), i.InputOperand(1));  \
 177       }                                                       \
 178     }                                                         \
 179   } while (0)
 180
 181
 182 #define ASSEMBLE_SHIFT(asm_instr, width)                                   \
 183   do {                                                                     \
 184     if (HasImmediateInput(instr, 1)) {                                     \
 185       if (instr->Output()->IsRegister()) {                                 \
 186         __ asm_instr(i.OutputRegister(), Immediate(i.InputInt##width(1))); \
 187       } else {                                                             \
 188         __ asm_instr(i.OutputOperand(), Immediate(i.InputInt##width(1)));  \
 189       }                                                                    \
 190     } else {                                                               \
 191       if (instr->Output()->IsRegister()) {                                 \
 192         __ asm_instr##_cl(i.OutputRegister());                             \
 193       } else {                                                             \
 194         __ asm_instr##_cl(i.OutputOperand());                              \
 195       }                                                                    \
 196     }                                                                      \
 197   } while (0)
 198
 199
 200 #define ASSEMBLE_DOUBLE_BINOP(asm_instr)                                \
 201   do {                                                                  \
 202     if (instr->InputAt(1)->IsDoubleRegister()) {                        \
 203       __ asm_instr(i.InputDoubleRegister(0), i.InputDoubleRegister(1)); \
 204     } else {                                                            \
 205       __ asm_instr(i.InputDoubleRegister(0), i.InputOperand(1));        \
 206     }                                                                   \
 207   } while (0)
 208
 209
 210 // Assembles an instruction after register allocation, producing machine code.
 211 void CodeGenerator::AssembleArchInstruction(Instruction* instr) {
 212   X64OperandConverter i(this, instr);
 213
 214   switch (ArchOpcodeField::decode(instr->opcode())) {
 215     case kArchCallCodeObject: {
 216       EnsureSpaceForLazyDeopt();
 217       if (HasImmediateInput(instr, 0)) {
 218         Handle<Code> code = Handle<Code>::cast(i.InputHeapObject(0));
 219         __ Call(code, RelocInfo::CODE_TARGET);
 220       } else {
 221         Register reg = i.InputRegister(0);
 222         int entry = Code::kHeaderSize - kHeapObjectTag;
 223         __ Call(Operand(reg, entry));
 224       }
 225       AddSafepointAndDeopt(instr);
 226       break;
 227     }
 228     case kArchCallJSFunction: {
 229       EnsureSpaceForLazyDeopt();
 230       Register func = i.InputRegister(0);
 231       if (FLAG_debug_code) {
 232         // Check the function's context matches the context argument.
 233         __ cmpp(rsi, FieldOperand(func, JSFunction::kContextOffset));
 234         __ Assert(equal, kWrongFunctionContext);
 235       }
 236       __ Call(FieldOperand(func, JSFunction::kCodeEntryOffset));
 237       AddSafepointAndDeopt(instr);
 238       break;
 239     }
 240     case kArchJmp:
 241       __ jmp(GetLabel(i.InputRpo(0)));
 242       break;
 243     case kArchNop:
 244       // don't emit code for nops.
 245       break;
 246     case kArchRet:
 247       AssembleReturn();
 248       break;
 249     case kArchStackPointer:
 250       __ movq(i.OutputRegister(), rsp);
 251       break;
 252     case kArchTruncateDoubleToI:
 253       __ TruncateDoubleToI(i.OutputRegister(), i.InputDoubleRegister(0));
 254       break;
 255     case kX64Add32:
 256       ASSEMBLE_BINOP(addl);
 257       break;
 258     case kX64Add:
 259       ASSEMBLE_BINOP(addq);
 260       break;
 261     case kX64Sub32:
 262       ASSEMBLE_BINOP(subl);
 263       break;
 264     case kX64Sub:
 265       ASSEMBLE_BINOP(subq);
 266       break;
 267     case kX64And32:
 268       ASSEMBLE_BINOP(andl);
 269       break;
 270     case kX64And:
 271       ASSEMBLE_BINOP(andq);
 272       break;
 273     case kX64Cmp32:
 274       ASSEMBLE_BINOP(cmpl);
 275       break;
 276     case kX64Cmp:
 277       ASSEMBLE_BINOP(cmpq);
 278       break;
 279     case kX64Test32:
 280       ASSEMBLE_BINOP(testl);
 281       break;
 282     case kX64Test:
 283       ASSEMBLE_BINOP(testq);
 284       break;
 285     case kX64Imul32:
 286       ASSEMBLE_MULT(imull);
 287       break;
 288     case kX64Imul:
 289       ASSEMBLE_MULT(imulq);
 290       break;
 291     case kX64ImulHigh32:
 292       if (instr->InputAt(1)->IsRegister()) {
 293         __ imull(i.InputRegister(1));
 294       } else {
 295         __ imull(i.InputOperand(1));
 296       }
 297       break;
 298     case kX64UmulHigh32:
 299       if (instr->InputAt(1)->IsRegister()) {
 300         __ mull(i.InputRegister(1));
 301       } else {
 302         __ mull(i.InputOperand(1));
 303       }
 304       break;
 305     case kX64Idiv32:
 306       __ cdq();
 307       __ idivl(i.InputRegister(1));
 308       break;
 309     case kX64Idiv:
 310       __ cqo();
 311       __ idivq(i.InputRegister(1));
 312       break;
 313     case kX64Udiv32:
 314       __ xorl(rdx, rdx);
 315       __ divl(i.InputRegister(1));
 316       break;
 317     case kX64Udiv:
 318       __ xorq(rdx, rdx);
 319       __ divq(i.InputRegister(1));
 320       break;
 321     case kX64Not:
 322       ASSEMBLE_UNOP(notq);
 323       break;
 324     case kX64Not32:
 325       ASSEMBLE_UNOP(notl);
 326       break;
 327     case kX64Neg:
 328       ASSEMBLE_UNOP(negq);
 329       break;
 330     case kX64Neg32:
 331       ASSEMBLE_UNOP(negl);
 332       break;
 333     case kX64Or32:
 334       ASSEMBLE_BINOP(orl);
 335       break;
 336     case kX64Or:
 337       ASSEMBLE_BINOP(orq);
 338       break;
 339     case kX64Xor32:
 340       ASSEMBLE_BINOP(xorl);
 341       break;
 342     case kX64Xor:
 343       ASSEMBLE_BINOP(xorq);
 344       break;
 345     case kX64Shl32:
 346       ASSEMBLE_SHIFT(shll, 5);
 347       break;
 348     case kX64Shl:
 349       ASSEMBLE_SHIFT(shlq, 6);
 350       break;
 351     case kX64Shr32:
 352       ASSEMBLE_SHIFT(shrl, 5);
 353       break;
 354     case kX64Shr:
 355       ASSEMBLE_SHIFT(shrq, 6);
 356       break;
 357     case kX64Sar32:
 358       ASSEMBLE_SHIFT(sarl, 5);
 359       break;
 360     case kX64Sar:
 361       ASSEMBLE_SHIFT(sarq, 6);
 362       break;
 363     case kX64Ror32:
 364       ASSEMBLE_SHIFT(rorl, 5);
 365       break;
 366     case kX64Ror:
 367       ASSEMBLE_SHIFT(rorq, 6);
 368       break;
 369     case kSSEFloat64Cmp:
 370       ASSEMBLE_DOUBLE_BINOP(ucomisd);
 371       break;
 372     case kSSEFloat64Add:
 373       ASSEMBLE_DOUBLE_BINOP(addsd);
 374       break;
 375     case kSSEFloat64Sub:
 376       ASSEMBLE_DOUBLE_BINOP(subsd);
 377       break;
 378     case kSSEFloat64Mul:
 379       ASSEMBLE_DOUBLE_BINOP(mulsd);
 380       break;
 381     case kSSEFloat64Div:
 382       ASSEMBLE_DOUBLE_BINOP(divsd);
 383       break;
 384     case kSSEFloat64Mod: {
 385       __ subq(rsp, Immediate(kDoubleSize));
 386       // Move values to st(0) and st(1).
 387       __ movsd(Operand(rsp, 0), i.InputDoubleRegister(1));
 388       __ fld_d(Operand(rsp, 0));
 389       __ movsd(Operand(rsp, 0), i.InputDoubleRegister(0));
 390       __ fld_d(Operand(rsp, 0));
 391       // Loop while fprem isn't done.
 392       Label mod_loop;
 393       __ bind(&mod_loop);
 394       // This instructions traps on all kinds inputs, but we are assuming the
 395       // floating point control word is set to ignore them all.
 396       __ fprem();
 397       // The following 2 instruction implicitly use rax.
 398       __ fnstsw_ax();
 399       if (CpuFeatures::IsSupported(SAHF) && masm()->IsEnabled(SAHF)) {
 400         __ sahf();
 401       } else {
 402         __ shrl(rax, Immediate(8));
 403         __ andl(rax, Immediate(0xFF));
 404         __ pushq(rax);
 405         __ popfq();
 406       }
 407       __ j(parity_even, &mod_loop);
 408       // Move output to stack and clean up.
 409       __ fstp(1);
 410       __ fstp_d(Operand(rsp, 0));
 411       __ movsd(i.OutputDoubleRegister(), Operand(rsp, 0));
 412       __ addq(rsp, Immediate(kDoubleSize));
 413       break;
 414     }
 415     case kSSEFloat64Sqrt:
 416       if (instr->InputAt(0)->IsDoubleRegister()) {
 417         __ sqrtsd(i.OutputDoubleRegister(), i.InputDoubleRegister(0));
 418       } else {
 419         __ sqrtsd(i.OutputDoubleRegister(), i.InputOperand(0));
 420       }
 421       break;
 422     case kSSEFloat64Floor: {
 423       CpuFeatureScope sse_scope(masm(), SSE4_1);
 424       __ roundsd(i.OutputDoubleRegister(), i.InputDoubleRegister(0),
 425                  v8::internal::Assembler::kRoundDown);
 426       break;
 427     }
 428     case kSSEFloat64Ceil: {
 429       CpuFeatureScope sse_scope(masm(), SSE4_1);
 430       __ roundsd(i.OutputDoubleRegister(), i.InputDoubleRegister(0),
 431                  v8::internal::Assembler::kRoundUp);
 432       break;
 433     }
 434     case kSSEFloat64RoundTruncate: {
 435       CpuFeatureScope sse_scope(masm(), SSE4_1);
 436       __ roundsd(i.OutputDoubleRegister(), i.InputDoubleRegister(0),
 437                  v8::internal::Assembler::kRoundToZero);
 438       break;
 439     }
 440     case kSSECvtss2sd:
 441       if (instr->InputAt(0)->IsDoubleRegister()) {
 442         __ cvtss2sd(i.OutputDoubleRegister(), i.InputDoubleRegister(0));
 443       } else {
 444         __ cvtss2sd(i.OutputDoubleRegister(), i.InputOperand(0));
 445       }
 446       break;
 447     case kSSECvtsd2ss:
 448       if (instr->InputAt(0)->IsDoubleRegister()) {
 449         __ cvtsd2ss(i.OutputDoubleRegister(), i.InputDoubleRegister(0));
 450       } else {
 451         __ cvtsd2ss(i.OutputDoubleRegister(), i.InputOperand(0));
 452       }
 453       break;
 454     case kSSEFloat64ToInt32:
 455       if (instr->InputAt(0)->IsDoubleRegister()) {
 456         __ cvttsd2si(i.OutputRegister(), i.InputDoubleRegister(0));
 457       } else {
 458         __ cvttsd2si(i.OutputRegister(), i.InputOperand(0));
 459       }
 460       break;
 461     case kSSEFloat64ToUint32: {
 462       if (instr->InputAt(0)->IsDoubleRegister()) {
 463         __ cvttsd2siq(i.OutputRegister(), i.InputDoubleRegister(0));
 464       } else {
 465         __ cvttsd2siq(i.OutputRegister(), i.InputOperand(0));
 466       }
 467       __ AssertZeroExtended(i.OutputRegister());
 468       break;
 469     }
 470     case kSSEInt32ToFloat64:
 471       if (instr->InputAt(0)->IsRegister()) {
 472         __ cvtlsi2sd(i.OutputDoubleRegister(), i.InputRegister(0));
 473       } else {
 474         __ cvtlsi2sd(i.OutputDoubleRegister(), i.InputOperand(0));
 475       }
 476       break;
 477     case kSSEUint32ToFloat64:
 478       if (instr->InputAt(0)->IsRegister()) {
 479         __ movl(kScratchRegister, i.InputRegister(0));
 480       } else {
 481         __ movl(kScratchRegister, i.InputOperand(0));
 482       }
 483       __ cvtqsi2sd(i.OutputDoubleRegister(), kScratchRegister);
 484       break;
 485     case kX64Movsxbl:
 486       __ movsxbl(i.OutputRegister(), i.MemoryOperand());
 487       __ AssertZeroExtended(i.OutputRegister());
 488       break;
 489     case kX64Movzxbl:
 490       __ movzxbl(i.OutputRegister(), i.MemoryOperand());
 491       break;
 492     case kX64Movb: {
 493       int index = 0;
 494       Operand operand = i.MemoryOperand(&index);
 495       if (HasImmediateInput(instr, index)) {
 496         __ movb(operand, Immediate(i.InputInt8(index)));
 497       } else {
 498         __ movb(operand, i.InputRegister(index));
 499       }
 500       break;
 501     }
 502     case kX64Movsxwl:
 503       if (instr->addressing_mode() != kMode_None) {
 504         __ movsxwl(i.OutputRegister(), i.MemoryOperand());
 505       } else if (instr->InputAt(0)->IsRegister()) {
 506         __ movsxwl(i.OutputRegister(), i.InputRegister(0));
 507       } else {
 508         __ movsxwl(i.OutputRegister(), i.InputOperand(0));
 509       }
 510       __ AssertZeroExtended(i.OutputRegister());
 511       break;
 512     case kX64Movzxwl:
 513       __ movzxwl(i.OutputRegister(), i.MemoryOperand());
 514       __ AssertZeroExtended(i.OutputRegister());
 515       break;
 516     case kX64Movw: {
 517       int index = 0;
 518       Operand operand = i.MemoryOperand(&index);
 519       if (HasImmediateInput(instr, index)) {
 520         __ movw(operand, Immediate(i.InputInt16(index)));
 521       } else {
 522         __ movw(operand, i.InputRegister(index));
 523       }
 524       break;
 525     }
 526     case kX64Movl:
 527       if (instr->HasOutput()) {
 528         if (instr->addressing_mode() == kMode_None) {
 529           if (instr->InputAt(0)->IsRegister()) {
 530             __ movl(i.OutputRegister(), i.InputRegister(0));
 531           } else {
 532             __ movl(i.OutputRegister(), i.InputOperand(0));
 533           }
 534         } else {
 535           __ movl(i.OutputRegister(), i.MemoryOperand());
 536         }
 537         __ AssertZeroExtended(i.OutputRegister());
 538       } else {
 539         int index = 0;
 540         Operand operand = i.MemoryOperand(&index);
 541         if (HasImmediateInput(instr, index)) {
 542           __ movl(operand, i.InputImmediate(index));
 543         } else {
 544           __ movl(operand, i.InputRegister(index));
 545         }
 546       }
 547       break;
 548     case kX64Movsxlq: {
 549       if (instr->InputAt(0)->IsRegister()) {
 550         __ movsxlq(i.OutputRegister(), i.InputRegister(0));
 551       } else {
 552         __ movsxlq(i.OutputRegister(), i.InputOperand(0));
 553       }
 554       break;
 555     }
 556     case kX64Movq:
 557       if (instr->HasOutput()) {
 558         __ movq(i.OutputRegister(), i.MemoryOperand());
 559       } else {
 560         int index = 0;
 561         Operand operand = i.MemoryOperand(&index);
 562         if (HasImmediateInput(instr, index)) {
 563           __ movq(operand, i.InputImmediate(index));
 564         } else {
 565           __ movq(operand, i.InputRegister(index));
 566         }
 567       }
 568       break;
 569     case kX64Movss:
 570       if (instr->HasOutput()) {
 571         __ movss(i.OutputDoubleRegister(), i.MemoryOperand());
 572       } else {
 573         int index = 0;
 574         Operand operand = i.MemoryOperand(&index);
 575         __ movss(operand, i.InputDoubleRegister(index));
 576       }
 577       break;
 578     case kX64Movsd:
 579       if (instr->HasOutput()) {
 580         __ movsd(i.OutputDoubleRegister(), i.MemoryOperand());
 581       } else {
 582         int index = 0;
 583         Operand operand = i.MemoryOperand(&index);
 584         __ movsd(operand, i.InputDoubleRegister(index));
 585       }
 586       break;
 587     case kX64Lea32:
 588       __ leal(i.OutputRegister(), i.MemoryOperand());
 589       __ AssertZeroExtended(i.OutputRegister());
 590       break;
 591     case kX64Lea:
 592       __ leaq(i.OutputRegister(), i.MemoryOperand());
 593       break;
 594     case kX64Push:
 595       if (HasImmediateInput(instr, 0)) {
 596         __ pushq(i.InputImmediate(0));
 597       } else {
 598         if (instr->InputAt(0)->IsRegister()) {
 599           __ pushq(i.InputRegister(0));
 600         } else {
 601           __ pushq(i.InputOperand(0));
 602         }
 603       }
 604       break;
 605     case kX64StoreWriteBarrier: {
 606       Register object = i.InputRegister(0);
 607       Register index = i.InputRegister(1);
 608       Register value = i.InputRegister(2);
 609       __ movsxlq(index, index);
 610       __ movq(Operand(object, index, times_1, 0), value);
 611       __ leaq(index, Operand(object, index, times_1, 0));
 612       SaveFPRegsMode mode =
 613           frame()->DidAllocateDoubleRegisters() ? kSaveFPRegs : kDontSaveFPRegs;
 614       __ RecordWrite(object, index, value, mode);
 615       break;
 616     }
 617   }
 618 }
 619
 620
 621 // Assembles branches after this instruction.
 622 void CodeGenerator::AssembleArchBranch(Instruction* instr,
 623                                        FlagsCondition condition) {
 624   X64OperandConverter i(this, instr);
 625   Label done;
 626
 627   // Emit a branch. The true and false targets are always the last two inputs
 628   // to the instruction.
 629   BasicBlock::RpoNumber tblock =
 630       i.InputRpo(static_cast<int>(instr->InputCount()) - 2);
 631   BasicBlock::RpoNumber fblock =
 632       i.InputRpo(static_cast<int>(instr->InputCount()) - 1);
 633   bool fallthru = IsNextInAssemblyOrder(fblock);
 634   Label* tlabel = GetLabel(tblock);
 635   Label* flabel = fallthru ? &done : GetLabel(fblock);
 636   Label::Distance flabel_distance = fallthru ? Label::kNear : Label::kFar;
 637   switch (condition) {
 638     case kUnorderedEqual:
 639       __ j(parity_even, flabel, flabel_distance);
 640     // Fall through.
 641     case kEqual:
 642       __ j(equal, tlabel);
 643       break;
 644     case kUnorderedNotEqual:
 645       __ j(parity_even, tlabel);
 646     // Fall through.
 647     case kNotEqual:
 648       __ j(not_equal, tlabel);
 649       break;
 650     case kSignedLessThan:
 651       __ j(less, tlabel);
 652       break;
 653     case kSignedGreaterThanOrEqual:
 654       __ j(greater_equal, tlabel);
 655       break;
 656     case kSignedLessThanOrEqual:
 657       __ j(less_equal, tlabel);
 658       break;
 659     case kSignedGreaterThan:
 660       __ j(greater, tlabel);
 661       break;
 662     case kUnorderedLessThan:
 663       __ j(parity_even, flabel, flabel_distance);
 664     // Fall through.
 665     case kUnsignedLessThan:
 666       __ j(below, tlabel);
 667       break;
 668     case kUnorderedGreaterThanOrEqual:
 669       __ j(parity_even, tlabel);
 670     // Fall through.
 671     case kUnsignedGreaterThanOrEqual:
 672       __ j(above_equal, tlabel);
 673       break;
 674     case kUnorderedLessThanOrEqual:
 675       __ j(parity_even, flabel, flabel_distance);
 676     // Fall through.
 677     case kUnsignedLessThanOrEqual:
 678       __ j(below_equal, tlabel);
 679       break;
 680     case kUnorderedGreaterThan:
 681       __ j(parity_even, tlabel);
 682     // Fall through.
 683     case kUnsignedGreaterThan:
 684       __ j(above, tlabel);
 685       break;
 686     case kOverflow:
 687       __ j(overflow, tlabel);
 688       break;
 689     case kNotOverflow:
 690       __ j(no_overflow, tlabel);
 691       break;
 692   }
 693   if (!fallthru) __ jmp(flabel, flabel_distance);  // no fallthru to flabel.
 694   __ bind(&done);
 695 }
 696
 697
 698 // Assembles boolean materializations after this instruction.
 699 void CodeGenerator::AssembleArchBoolean(Instruction* instr,
 700                                         FlagsCondition condition) {
 701   X64OperandConverter i(this, instr);
 702   Label done;
 703
 704   // Materialize a full 64-bit 1 or 0 value. The result register is always the
 705   // last output of the instruction.
 706   Label check;
 707   DCHECK_NE(0, static_cast<int>(instr->OutputCount()));
 708   Register reg = i.OutputRegister(static_cast<int>(instr->OutputCount() - 1));
 709   Condition cc = no_condition;
 710   switch (condition) {
 711     case kUnorderedEqual:
 712       __ j(parity_odd, &check, Label::kNear);
 713       __ movl(reg, Immediate(0));
 714       __ jmp(&done, Label::kNear);
 715     // Fall through.
 716     case kEqual:
 717       cc = equal;
 718       break;
 719     case kUnorderedNotEqual:
 720       __ j(parity_odd, &check, Label::kNear);
 721       __ movl(reg, Immediate(1));
 722       __ jmp(&done, Label::kNear);
 723     // Fall through.
 724     case kNotEqual:
 725       cc = not_equal;
 726       break;
 727     case kSignedLessThan:
 728       cc = less;
 729       break;
 730     case kSignedGreaterThanOrEqual:
 731       cc = greater_equal;
 732       break;
 733     case kSignedLessThanOrEqual:
 734       cc = less_equal;
 735       break;
 736     case kSignedGreaterThan:
 737       cc = greater;
 738       break;
 739     case kUnorderedLessThan:
 740       __ j(parity_odd, &check, Label::kNear);
 741       __ movl(reg, Immediate(0));
 742       __ jmp(&done, Label::kNear);
 743     // Fall through.
 744     case kUnsignedLessThan:
 745       cc = below;
 746       break;
 747     case kUnorderedGreaterThanOrEqual:
 748       __ j(parity_odd, &check, Label::kNear);
 749       __ movl(reg, Immediate(1));
 750       __ jmp(&done, Label::kNear);
 751     // Fall through.
 752     case kUnsignedGreaterThanOrEqual:
 753       cc = above_equal;
 754       break;
 755     case kUnorderedLessThanOrEqual:
 756       __ j(parity_odd, &check, Label::kNear);
 757       __ movl(reg, Immediate(0));
 758       __ jmp(&done, Label::kNear);
 759     // Fall through.
 760     case kUnsignedLessThanOrEqual:
 761       cc = below_equal;
 762       break;
 763     case kUnorderedGreaterThan:
 764       __ j(parity_odd, &check, Label::kNear);
 765       __ movl(reg, Immediate(1));
 766       __ jmp(&done, Label::kNear);
 767     // Fall through.
 768     case kUnsignedGreaterThan:
 769       cc = above;
 770       break;
 771     case kOverflow:
 772       cc = overflow;
 773       break;
 774     case kNotOverflow:
 775       cc = no_overflow;
 776       break;
 777   }
 778   __ bind(&check);
 779   __ setcc(cc, reg);
 780   __ movzxbl(reg, reg);
 781   __ bind(&done);
 782 }
 783
 784
 785 void CodeGenerator::AssembleDeoptimizerCall(int deoptimization_id) {
 786   Address deopt_entry = Deoptimizer::GetDeoptimizationEntry(
 787       isolate(), deoptimization_id, Deoptimizer::LAZY);
 788   __ call(deopt_entry, RelocInfo::RUNTIME_ENTRY);
 789 }
 790
 791
 792 void CodeGenerator::AssemblePrologue() {
 793   CallDescriptor* descriptor = linkage()->GetIncomingDescriptor();
 794   int stack_slots = frame()->GetSpillSlotCount();
 795   if (descriptor->kind() == CallDescriptor::kCallAddress) {
 796     __ pushq(rbp);
 797     __ movq(rbp, rsp);
 798     const RegList saves = descriptor->CalleeSavedRegisters();
 799     if (saves != 0) {  // Save callee-saved registers.
 800       int register_save_area_size = 0;
 801       for (int i = Register::kNumRegisters - 1; i >= 0; i--) {
 802         if (!((1 << i) & saves)) continue;
 803         __ pushq(Register::from_code(i));
 804         register_save_area_size += kPointerSize;
 805       }
 806       frame()->SetRegisterSaveAreaSize(register_save_area_size);
 807     }
 808   } else if (descriptor->IsJSFunctionCall()) {
 809     CompilationInfo* info = this->info();
 810     __ Prologue(info->IsCodePreAgingActive());
 811     frame()->SetRegisterSaveAreaSize(
 812         StandardFrameConstants::kFixedFrameSizeFromFp);
 813   } else {
 814     __ StubPrologue();
 815     frame()->SetRegisterSaveAreaSize(
 816         StandardFrameConstants::kFixedFrameSizeFromFp);
 817   }
 818   if (stack_slots > 0) {
 819     __ subq(rsp, Immediate(stack_slots * kPointerSize));
 820   }
 821 }
 822
 823
 824 void CodeGenerator::AssembleReturn() {
 825   CallDescriptor* descriptor = linkage()->GetIncomingDescriptor();
 826   if (descriptor->kind() == CallDescriptor::kCallAddress) {
 827     if (frame()->GetRegisterSaveAreaSize() > 0) {
 828       // Remove this frame's spill slots first.
 829       int stack_slots = frame()->GetSpillSlotCount();
 830       if (stack_slots > 0) {
 831         __ addq(rsp, Immediate(stack_slots * kPointerSize));
 832       }
 833       const RegList saves = descriptor->CalleeSavedRegisters();
 834       // Restore registers.
 835       if (saves != 0) {
 836         for (int i = 0; i < Register::kNumRegisters; i++) {
 837           if (!((1 << i) & saves)) continue;
 838           __ popq(Register::from_code(i));
 839         }
 840       }
 841       __ popq(rbp);  // Pop caller's frame pointer.
 842       __ ret(0);
 843     } else {
 844       // No saved registers.
 845       __ movq(rsp, rbp);  // Move stack pointer back to frame pointer.
 846       __ popq(rbp);       // Pop caller's frame pointer.
 847       __ ret(0);
 848     }
 849   } else {
 850     __ movq(rsp, rbp);  // Move stack pointer back to frame pointer.
 851     __ popq(rbp);       // Pop caller's frame pointer.
 852     int pop_count = descriptor->IsJSFunctionCall()
 853                         ? static_cast<int>(descriptor->JSParameterCount())
 854                         : 0;
 855     __ ret(pop_count * kPointerSize);
 856   }
 857 }
 858
 859
 860 void CodeGenerator::AssembleMove(InstructionOperand* source,
 861                                  InstructionOperand* destination) {
 862   X64OperandConverter g(this, NULL);
 863   // Dispatch on the source and destination operand kinds.  Not all
 864   // combinations are possible.
 865   if (source->IsRegister()) {
 866     DCHECK(destination->IsRegister() || destination->IsStackSlot());
 867     Register src = g.ToRegister(source);
 868     if (destination->IsRegister()) {
 869       __ movq(g.ToRegister(destination), src);
 870     } else {
 871       __ movq(g.ToOperand(destination), src);
 872     }
 873   } else if (source->IsStackSlot()) {
 874     DCHECK(destination->IsRegister() || destination->IsStackSlot());
 875     Operand src = g.ToOperand(source);
 876     if (destination->IsRegister()) {
 877       Register dst = g.ToRegister(destination);
 878       __ movq(dst, src);
 879     } else {
 880       // Spill on demand to use a temporary register for memory-to-memory
 881       // moves.
 882       Register tmp = kScratchRegister;
 883       Operand dst = g.ToOperand(destination);
 884       __ movq(tmp, src);
 885       __ movq(dst, tmp);
 886     }
 887   } else if (source->IsConstant()) {
 888     ConstantOperand* constant_source = ConstantOperand::cast(source);
 889     Constant src = g.ToConstant(constant_source);
 890     if (destination->IsRegister() || destination->IsStackSlot()) {
 891       Register dst = destination->IsRegister() ? g.ToRegister(destination)
 892                                                : kScratchRegister;
 893       switch (src.type()) {
 894         case Constant::kInt32:
 895           // TODO(dcarney): don't need scratch in this case.
 896           __ Set(dst, src.ToInt32());
 897           break;
 898         case Constant::kInt64:
 899           __ Set(dst, src.ToInt64());
 900           break;
 901         case Constant::kFloat32:
 902           __ Move(dst,
 903                   isolate()->factory()->NewNumber(src.ToFloat32(), TENURED));
 904           break;
 905         case Constant::kFloat64:
 906           __ Move(dst,
 907                   isolate()->factory()->NewNumber(src.ToFloat64(), TENURED));
 908           break;
 909         case Constant::kExternalReference:
 910           __ Move(dst, src.ToExternalReference());
 911           break;
 912         case Constant::kHeapObject:
 913           __ Move(dst, src.ToHeapObject());
 914           break;
 915       }
 916       if (destination->IsStackSlot()) {
 917         __ movq(g.ToOperand(destination), kScratchRegister);
 918       }
 919     } else if (src.type() == Constant::kFloat32) {
 920       // TODO(turbofan): Can we do better here?
 921       uint32_t src_const = bit_cast<uint32_t>(src.ToFloat32());
 922       if (destination->IsDoubleRegister()) {
 923         __ Move(g.ToDoubleRegister(destination), src_const);
 924       } else {
 925         DCHECK(destination->IsDoubleStackSlot());
 926         Operand dst = g.ToOperand(destination);
 927         __ movl(dst, Immediate(src_const));
 928       }
 929     } else {
 930       DCHECK_EQ(Constant::kFloat64, src.type());
 931       uint64_t src_const = bit_cast<uint64_t>(src.ToFloat64());
 932       if (destination->IsDoubleRegister()) {
 933         __ Move(g.ToDoubleRegister(destination), src_const);
 934       } else {
 935         DCHECK(destination->IsDoubleStackSlot());
 936         __ movq(kScratchRegister, src_const);
 937         __ movq(g.ToOperand(destination), kScratchRegister);
 938       }
 939     }
 940   } else if (source->IsDoubleRegister()) {
 941     XMMRegister src = g.ToDoubleRegister(source);
 942     if (destination->IsDoubleRegister()) {
 943       XMMRegister dst = g.ToDoubleRegister(destination);
 944       __ movsd(dst, src);
 945     } else {
 946       DCHECK(destination->IsDoubleStackSlot());
 947       Operand dst = g.ToOperand(destination);
 948       __ movsd(dst, src);
 949     }
 950   } else if (source->IsDoubleStackSlot()) {
 951     DCHECK(destination->IsDoubleRegister() || destination->IsDoubleStackSlot());
 952     Operand src = g.ToOperand(source);
 953     if (destination->IsDoubleRegister()) {
 954       XMMRegister dst = g.ToDoubleRegister(destination);
 955       __ movsd(dst, src);
 956     } else {
 957       // We rely on having xmm0 available as a fixed scratch register.
 958       Operand dst = g.ToOperand(destination);
 959       __ movsd(xmm0, src);
 960       __ movsd(dst, xmm0);
 961     }
 962   } else {
 963     UNREACHABLE();
 964   }
 965 }
 966
 967
 968 void CodeGenerator::AssembleSwap(InstructionOperand* source,
 969                                  InstructionOperand* destination) {
 970   X64OperandConverter g(this, NULL);
 971   // Dispatch on the source and destination operand kinds.  Not all
 972   // combinations are possible.
 973   if (source->IsRegister() && destination->IsRegister()) {
 974     // Register-register.
 975     __ xchgq(g.ToRegister(source), g.ToRegister(destination));
 976   } else if (source->IsRegister() && destination->IsStackSlot()) {
 977     Register src = g.ToRegister(source);
 978     Operand dst = g.ToOperand(destination);
 979     __ xchgq(src, dst);
 980   } else if ((source->IsStackSlot() && destination->IsStackSlot()) ||
 981              (source->IsDoubleStackSlot() &&
 982               destination->IsDoubleStackSlot())) {
 983     // Memory-memory.
 984     Register tmp = kScratchRegister;
 985     Operand src = g.ToOperand(source);
 986     Operand dst = g.ToOperand(destination);
 987     __ movq(tmp, dst);
 988     __ xchgq(tmp, src);
 989     __ movq(dst, tmp);
 990   } else if (source->IsDoubleRegister() && destination->IsDoubleRegister()) {
 991     // XMM register-register swap. We rely on having xmm0
 992     // available as a fixed scratch register.
 993     XMMRegister src = g.ToDoubleRegister(source);
 994     XMMRegister dst = g.ToDoubleRegister(destination);
 995     __ movsd(xmm0, src);
 996     __ movsd(src, dst);
 997     __ movsd(dst, xmm0);
 998   } else if (source->IsDoubleRegister() && destination->IsDoubleRegister()) {
 999     // XMM register-memory swap.  We rely on having xmm0
1000     // available as a fixed scratch register.
1001     XMMRegister src = g.ToDoubleRegister(source);
1002     Operand dst = g.ToOperand(destination);
1003     __ movsd(xmm0, src);
1004     __ movsd(src, dst);
1005     __ movsd(dst, xmm0);
1006   } else {
1007     // No other combinations are possible.
1008     UNREACHABLE();
1009   }
1010 }
1011
1012
1013 void CodeGenerator::AddNopForSmiCodeInlining() { __ nop(); }
1014
1015
1016 void CodeGenerator::EnsureSpaceForLazyDeopt() {
1017   int space_needed = Deoptimizer::patch_size();
1018   if (!info()->IsStub()) {
1019     // Ensure that we have enough space after the previous lazy-bailout
1020     // instruction for patching the code here.
1021     int current_pc = masm()->pc_offset();
1022     if (current_pc < last_lazy_deopt_pc_ + space_needed) {
1023       int padding_size = last_lazy_deopt_pc_ + space_needed - current_pc;
1024       __ Nop(padding_size);
1025     }
1026   }
1027   MarkLazyDeoptSite();
1028 }
1029
1030 #undef __
1031
1032 }  // namespace internal
1033 }  // namespace compiler
1034 }  // namespace v8