src/mips/macro-assembler-mips.h

   1 // Copyright 2012 the V8 project authors. All rights reserved.
   2 // Redistribution and use in source and binary forms, with or without
   3 // modification, are permitted provided that the following conditions are
   4 // met:
   5 //
   6 //     * Redistributions of source code must retain the above copyright
   7 //       notice, this list of conditions and the following disclaimer.
   8 //     * Redistributions in binary form must reproduce the above
   9 //       copyright notice, this list of conditions and the following
  10 //       disclaimer in the documentation and/or other materials provided
  11 //       with the distribution.
  12 //     * Neither the name of Google Inc. nor the names of its
  13 //       contributors may be used to endorse or promote products derived
  14 //       from this software without specific prior written permission.
  15 //
  16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27
  28 #ifndef V8_MIPS_MACRO_ASSEMBLER_MIPS_H_
  29 #define V8_MIPS_MACRO_ASSEMBLER_MIPS_H_
  30
  31 #include "assembler.h"
  32 #include "mips/assembler-mips.h"
  33 #include "v8globals.h"
  34
  35 namespace v8 {
  36 namespace internal {
  37
  38 // Forward declaration.
  39 class JumpTarget;
  40
  41 // Reserved Register Usage Summary.
  42 //
  43 // Registers t8, t9, and at are reserved for use by the MacroAssembler.
  44 //
  45 // The programmer should know that the MacroAssembler may clobber these three,
  46 // but won't touch other registers except in special cases.
  47 //
  48 // Per the MIPS ABI, register t9 must be used for indirect function call
  49 // via 'jalr t9' or 'jr t9' instructions. This is relied upon by gcc when
  50 // trying to update gp register for position-independent-code. Whenever
  51 // MIPS generated code calls C code, it must be via t9 register.
  52
  53
  54 // Flags used for LeaveExitFrame function.
  55 enum LeaveExitFrameMode {
  56   EMIT_RETURN = true,
  57   NO_EMIT_RETURN = false
  58 };
  59
  60 // Flags used for AllocateHeapNumber
  61 enum TaggingMode {
  62   // Tag the result.
  63   TAG_RESULT,
  64   // Don't tag
  65   DONT_TAG_RESULT
  66 };
  67
  68 // Flags used for the ObjectToDoubleFPURegister function.
  69 enum ObjectToDoubleFlags {
  70   // No special flags.
  71   NO_OBJECT_TO_DOUBLE_FLAGS = 0,
  72   // Object is known to be a non smi.
  73   OBJECT_NOT_SMI = 1 << 0,
  74   // Don't load NaNs or infinities, branch to the non number case instead.
  75   AVOID_NANS_AND_INFINITIES = 1 << 1
  76 };
  77
  78 // Allow programmer to use Branch Delay Slot of Branches, Jumps, Calls.
  79 enum BranchDelaySlot {
  80   USE_DELAY_SLOT,
  81   PROTECT
  82 };
  83
  84 // Flags used for the li macro-assembler function.
  85 enum LiFlags {
  86   // If the constant value can be represented in just 16 bits, then
  87   // optimize the li to use a single instruction, rather than lui/ori pair.
  88   OPTIMIZE_SIZE = 0,
  89   // Always use 2 instructions (lui/ori pair), even if the constant could
  90   // be loaded with just one, so that this value is patchable later.
  91   CONSTANT_SIZE = 1
  92 };
  93
  94
  95 enum RememberedSetAction { EMIT_REMEMBERED_SET, OMIT_REMEMBERED_SET };
  96 enum SmiCheck { INLINE_SMI_CHECK, OMIT_SMI_CHECK };
  97 enum RAStatus { kRAHasNotBeenSaved, kRAHasBeenSaved };
  98
  99 Register GetRegisterThatIsNotOneOf(Register reg1,
 100                                    Register reg2 = no_reg,
 101                                    Register reg3 = no_reg,
 102                                    Register reg4 = no_reg,
 103                                    Register reg5 = no_reg,
 104                                    Register reg6 = no_reg);
 105
 106 bool AreAliased(Register r1, Register r2, Register r3, Register r4);
 107
 108
 109 // -----------------------------------------------------------------------------
 110 // Static helper functions.
 111
 112 inline MemOperand ContextOperand(Register context, int index) {
 113   return MemOperand(context, Context::SlotOffset(index));
 114 }
 115
 116
 117 inline MemOperand GlobalObjectOperand()  {
 118   return ContextOperand(cp, Context::GLOBAL_OBJECT_INDEX);
 119 }
 120
 121
 122 // Generate a MemOperand for loading a field from an object.
 123 inline MemOperand FieldMemOperand(Register object, int offset) {
 124   return MemOperand(object, offset - kHeapObjectTag);
 125 }
 126
 127
 128 // Generate a MemOperand for storing arguments 5..N on the stack
 129 // when calling CallCFunction().
 130 inline MemOperand CFunctionArgumentOperand(int index) {
 131   ASSERT(index > kCArgSlotCount);
 132   // Argument 5 takes the slot just past the four Arg-slots.
 133   int offset = (index - 5) * kPointerSize + kCArgsSlotsSize;
 134   return MemOperand(sp, offset);
 135 }
 136
 137
 138 // MacroAssembler implements a collection of frequently used macros.
 139 class MacroAssembler: public Assembler {
 140  public:
 141   // The isolate parameter can be NULL if the macro assembler should
 142   // not use isolate-dependent functionality. In this case, it's the
 143   // responsibility of the caller to never invoke such function on the
 144   // macro assembler.
 145   MacroAssembler(Isolate* isolate, void* buffer, int size);
 146
 147   // Arguments macros.
 148 #define COND_TYPED_ARGS Condition cond, Register r1, const Operand& r2
 149 #define COND_ARGS cond, r1, r2
 150
 151   // Cases when relocation is not needed.
 152 #define DECLARE_NORELOC_PROTOTYPE(Name, target_type) \
 153   void Name(target_type target, BranchDelaySlot bd = PROTECT); \
 154   inline void Name(BranchDelaySlot bd, target_type target) { \
 155     Name(target, bd); \
 156   } \
 157   void Name(target_type target, \
 158             COND_TYPED_ARGS, \
 159             BranchDelaySlot bd = PROTECT); \
 160   inline void Name(BranchDelaySlot bd, \
 161                    target_type target, \
 162                    COND_TYPED_ARGS) { \
 163     Name(target, COND_ARGS, bd); \
 164   }
 165
 166 #define DECLARE_BRANCH_PROTOTYPES(Name) \
 167   DECLARE_NORELOC_PROTOTYPE(Name, Label*) \
 168   DECLARE_NORELOC_PROTOTYPE(Name, int16_t)
 169
 170   DECLARE_BRANCH_PROTOTYPES(Branch)
 171   DECLARE_BRANCH_PROTOTYPES(BranchAndLink)
 172
 173 #undef DECLARE_BRANCH_PROTOTYPES
 174 #undef COND_TYPED_ARGS
 175 #undef COND_ARGS
 176
 177
 178   // Jump, Call, and Ret pseudo instructions implementing inter-working.
 179 #define COND_ARGS Condition cond = al, Register rs = zero_reg, \
 180   const Operand& rt = Operand(zero_reg), BranchDelaySlot bd = PROTECT
 181
 182   void Jump(Register target, COND_ARGS);
 183   void Jump(intptr_t target, RelocInfo::Mode rmode, COND_ARGS);
 184   void Jump(Address target, RelocInfo::Mode rmode, COND_ARGS);
 185   void Jump(Handle<Code> code, RelocInfo::Mode rmode, COND_ARGS);
 186   static int CallSize(Register target, COND_ARGS);
 187   void Call(Register target, COND_ARGS);
 188   static int CallSize(Address target, RelocInfo::Mode rmode, COND_ARGS);
 189   void Call(Address target, RelocInfo::Mode rmode, COND_ARGS);
 190   int CallSize(Handle<Code> code,
 191                RelocInfo::Mode rmode = RelocInfo::CODE_TARGET,
 192                TypeFeedbackId ast_id = TypeFeedbackId::None(),
 193                COND_ARGS);
 194   void Call(Handle<Code> code,
 195             RelocInfo::Mode rmode = RelocInfo::CODE_TARGET,
 196             TypeFeedbackId ast_id = TypeFeedbackId::None(),
 197             COND_ARGS);
 198   void Ret(COND_ARGS);
 199   inline void Ret(BranchDelaySlot bd, Condition cond = al,
 200     Register rs = zero_reg, const Operand& rt = Operand(zero_reg)) {
 201     Ret(cond, rs, rt, bd);
 202   }
 203
 204   void Branch(Label* L,
 205               Condition cond,
 206               Register rs,
 207               Heap::RootListIndex index,
 208               BranchDelaySlot bdslot = PROTECT);
 209
 210 #undef COND_ARGS
 211
 212   // Emit code to discard a non-negative number of pointer-sized elements
 213   // from the stack, clobbering only the sp register.
 214   void Drop(int count,
 215             Condition cond = cc_always,
 216             Register reg = no_reg,
 217             const Operand& op = Operand(no_reg));
 218
 219   // Trivial case of DropAndRet that utilizes the delay slot and only emits
 220   // 2 instructions.
 221   void DropAndRet(int drop);
 222
 223   void DropAndRet(int drop,
 224                   Condition cond,
 225                   Register reg,
 226                   const Operand& op);
 227
 228   // Swap two registers.  If the scratch register is omitted then a slightly
 229   // less efficient form using xor instead of mov is emitted.
 230   void Swap(Register reg1, Register reg2, Register scratch = no_reg);
 231
 232   void Call(Label* target);
 233
 234   inline void Move(Register dst, Register src) {
 235     if (!dst.is(src)) {
 236       mov(dst, src);
 237     }
 238   }
 239
 240   inline void Move(FPURegister dst, FPURegister src) {
 241     if (!dst.is(src)) {
 242       mov_d(dst, src);
 243     }
 244   }
 245
 246   inline void Move(Register dst_low, Register dst_high, FPURegister src) {
 247     mfc1(dst_low, src);
 248     mfc1(dst_high, FPURegister::from_code(src.code() + 1));
 249   }
 250
 251   inline void FmoveHigh(Register dst_high, FPURegister src) {
 252     mfc1(dst_high, FPURegister::from_code(src.code() + 1));
 253   }
 254
 255   inline void FmoveLow(Register dst_low, FPURegister src) {
 256     mfc1(dst_low, src);
 257   }
 258
 259   inline void Move(FPURegister dst, Register src_low, Register src_high) {
 260     mtc1(src_low, dst);
 261     mtc1(src_high, FPURegister::from_code(dst.code() + 1));
 262   }
 263
 264   // Conditional move.
 265   void Move(FPURegister dst, double imm);
 266   void Movz(Register rd, Register rs, Register rt);
 267   void Movn(Register rd, Register rs, Register rt);
 268   void Movt(Register rd, Register rs, uint16_t cc = 0);
 269   void Movf(Register rd, Register rs, uint16_t cc = 0);
 270
 271   void Clz(Register rd, Register rs);
 272
 273   // Jump unconditionally to given label.
 274   // We NEED a nop in the branch delay slot, as it used by v8, for example in
 275   // CodeGenerator::ProcessDeferred().
 276   // Currently the branch delay slot is filled by the MacroAssembler.
 277   // Use rather b(Label) for code generation.
 278   void jmp(Label* L) {
 279     Branch(L);
 280   }
 281
 282   void Load(Register dst, const MemOperand& src, Representation r);
 283   void Store(Register src, const MemOperand& dst, Representation r);
 284
 285   // Load an object from the root table.
 286   void LoadRoot(Register destination,
 287                 Heap::RootListIndex index);
 288   void LoadRoot(Register destination,
 289                 Heap::RootListIndex index,
 290                 Condition cond, Register src1, const Operand& src2);
 291
 292   // Store an object to the root table.
 293   void StoreRoot(Register source,
 294                  Heap::RootListIndex index);
 295   void StoreRoot(Register source,
 296                  Heap::RootListIndex index,
 297                  Condition cond, Register src1, const Operand& src2);
 298
 299   // ---------------------------------------------------------------------------
 300   // GC Support
 301
 302   void IncrementalMarkingRecordWriteHelper(Register object,
 303                                            Register value,
 304                                            Register address);
 305
 306   enum RememberedSetFinalAction {
 307     kReturnAtEnd,
 308     kFallThroughAtEnd
 309   };
 310
 311
 312   // Record in the remembered set the fact that we have a pointer to new space
 313   // at the address pointed to by the addr register.  Only works if addr is not
 314   // in new space.
 315   void RememberedSetHelper(Register object,  // Used for debug code.
 316                            Register addr,
 317                            Register scratch,
 318                            SaveFPRegsMode save_fp,
 319                            RememberedSetFinalAction and_then);
 320
 321   void CheckPageFlag(Register object,
 322                      Register scratch,
 323                      int mask,
 324                      Condition cc,
 325                      Label* condition_met);
 326
 327   void CheckMapDeprecated(Handle<Map> map,
 328                           Register scratch,
 329                           Label* if_deprecated);
 330
 331   // Check if object is in new space.  Jumps if the object is not in new space.
 332   // The register scratch can be object itself, but it will be clobbered.
 333   void JumpIfNotInNewSpace(Register object,
 334                            Register scratch,
 335                            Label* branch) {
 336     InNewSpace(object, scratch, ne, branch);
 337   }
 338
 339   // Check if object is in new space.  Jumps if the object is in new space.
 340   // The register scratch can be object itself, but scratch will be clobbered.
 341   void JumpIfInNewSpace(Register object,
 342                         Register scratch,
 343                         Label* branch) {
 344     InNewSpace(object, scratch, eq, branch);
 345   }
 346
 347   // Check if an object has a given incremental marking color.
 348   void HasColor(Register object,
 349                 Register scratch0,
 350                 Register scratch1,
 351                 Label* has_color,
 352                 int first_bit,
 353                 int second_bit);
 354
 355   void JumpIfBlack(Register object,
 356                    Register scratch0,
 357                    Register scratch1,
 358                    Label* on_black);
 359
 360   // Checks the color of an object.  If the object is already grey or black
 361   // then we just fall through, since it is already live.  If it is white and
 362   // we can determine that it doesn't need to be scanned, then we just mark it
 363   // black and fall through.  For the rest we jump to the label so the
 364   // incremental marker can fix its assumptions.
 365   void EnsureNotWhite(Register object,
 366                       Register scratch1,
 367                       Register scratch2,
 368                       Register scratch3,
 369                       Label* object_is_white_and_not_data);
 370
 371   // Detects conservatively whether an object is data-only, i.e. it does need to
 372   // be scanned by the garbage collector.
 373   void JumpIfDataObject(Register value,
 374                         Register scratch,
 375                         Label* not_data_object);
 376
 377   // Notify the garbage collector that we wrote a pointer into an object.
 378   // |object| is the object being stored into, |value| is the object being
 379   // stored.  value and scratch registers are clobbered by the operation.
 380   // The offset is the offset from the start of the object, not the offset from
 381   // the tagged HeapObject pointer.  For use with FieldOperand(reg, off).
 382   void RecordWriteField(
 383       Register object,
 384       int offset,
 385       Register value,
 386       Register scratch,
 387       RAStatus ra_status,
 388       SaveFPRegsMode save_fp,
 389       RememberedSetAction remembered_set_action = EMIT_REMEMBERED_SET,
 390       SmiCheck smi_check = INLINE_SMI_CHECK);
 391
 392   // As above, but the offset has the tag presubtracted.  For use with
 393   // MemOperand(reg, off).
 394   inline void RecordWriteContextSlot(
 395       Register context,
 396       int offset,
 397       Register value,
 398       Register scratch,
 399       RAStatus ra_status,
 400       SaveFPRegsMode save_fp,
 401       RememberedSetAction remembered_set_action = EMIT_REMEMBERED_SET,
 402       SmiCheck smi_check = INLINE_SMI_CHECK) {
 403     RecordWriteField(context,
 404                      offset + kHeapObjectTag,
 405                      value,
 406                      scratch,
 407                      ra_status,
 408                      save_fp,
 409                      remembered_set_action,
 410                      smi_check);
 411   }
 412
 413   // For a given |object| notify the garbage collector that the slot |address|
 414   // has been written.  |value| is the object being stored. The value and
 415   // address registers are clobbered by the operation.
 416   void RecordWrite(
 417       Register object,
 418       Register address,
 419       Register value,
 420       RAStatus ra_status,
 421       SaveFPRegsMode save_fp,
 422       RememberedSetAction remembered_set_action = EMIT_REMEMBERED_SET,
 423       SmiCheck smi_check = INLINE_SMI_CHECK);
 424
 425
 426   // ---------------------------------------------------------------------------
 427   // Inline caching support.
 428
 429   // Generate code for checking access rights - used for security checks
 430   // on access to global objects across environments. The holder register
 431   // is left untouched, whereas both scratch registers are clobbered.
 432   void CheckAccessGlobalProxy(Register holder_reg,
 433                               Register scratch,
 434                               Label* miss);
 435
 436   void GetNumberHash(Register reg0, Register scratch);
 437
 438   void LoadFromNumberDictionary(Label* miss,
 439                                 Register elements,
 440                                 Register key,
 441                                 Register result,
 442                                 Register reg0,
 443                                 Register reg1,
 444                                 Register reg2);
 445
 446
 447   inline void MarkCode(NopMarkerTypes type) {
 448     nop(type);
 449   }
 450
 451   // Check if the given instruction is a 'type' marker.
 452   // i.e. check if it is a sll zero_reg, zero_reg, <type> (referenced as
 453   // nop(type)). These instructions are generated to mark special location in
 454   // the code, like some special IC code.
 455   static inline bool IsMarkedCode(Instr instr, int type) {
 456     ASSERT((FIRST_IC_MARKER <= type) && (type < LAST_CODE_MARKER));
 457     return IsNop(instr, type);
 458   }
 459
 460
 461   static inline int GetCodeMarker(Instr instr) {
 462     uint32_t opcode = ((instr & kOpcodeMask));
 463     uint32_t rt = ((instr & kRtFieldMask) >> kRtShift);
 464     uint32_t rs = ((instr & kRsFieldMask) >> kRsShift);
 465     uint32_t sa = ((instr & kSaFieldMask) >> kSaShift);
 466
 467     // Return <n> if we have a sll zero_reg, zero_reg, n
 468     // else return -1.
 469     bool sllzz = (opcode == SLL &&
 470                   rt == static_cast<uint32_t>(ToNumber(zero_reg)) &&
 471                   rs == static_cast<uint32_t>(ToNumber(zero_reg)));
 472     int type =
 473         (sllzz && FIRST_IC_MARKER <= sa && sa < LAST_CODE_MARKER) ? sa : -1;
 474     ASSERT((type == -1) ||
 475            ((FIRST_IC_MARKER <= type) && (type < LAST_CODE_MARKER)));
 476     return type;
 477   }
 478
 479
 480
 481   // ---------------------------------------------------------------------------
 482   // Allocation support.
 483
 484   // Allocate an object in new space or old pointer space. The object_size is
 485   // specified either in bytes or in words if the allocation flag SIZE_IN_WORDS
 486   // is passed. If the space is exhausted control continues at the gc_required
 487   // label. The allocated object is returned in result. If the flag
 488   // tag_allocated_object is true the result is tagged as as a heap object.
 489   // All registers are clobbered also when control continues at the gc_required
 490   // label.
 491   void Allocate(int object_size,
 492                 Register result,
 493                 Register scratch1,
 494                 Register scratch2,
 495                 Label* gc_required,
 496                 AllocationFlags flags);
 497
 498   void Allocate(Register object_size,
 499                 Register result,
 500                 Register scratch1,
 501                 Register scratch2,
 502                 Label* gc_required,
 503                 AllocationFlags flags);
 504
 505   // Undo allocation in new space. The object passed and objects allocated after
 506   // it will no longer be allocated. The caller must make sure that no pointers
 507   // are left to the object(s) no longer allocated as they would be invalid when
 508   // allocation is undone.
 509   void UndoAllocationInNewSpace(Register object, Register scratch);
 510
 511
 512   void AllocateTwoByteString(Register result,
 513                              Register length,
 514                              Register scratch1,
 515                              Register scratch2,
 516                              Register scratch3,
 517                              Label* gc_required);
 518   void AllocateAsciiString(Register result,
 519                            Register length,
 520                            Register scratch1,
 521                            Register scratch2,
 522                            Register scratch3,
 523                            Label* gc_required);
 524   void AllocateTwoByteConsString(Register result,
 525                                  Register length,
 526                                  Register scratch1,
 527                                  Register scratch2,
 528                                  Label* gc_required);
 529   void AllocateAsciiConsString(Register result,
 530                                Register length,
 531                                Register scratch1,
 532                                Register scratch2,
 533                                Label* gc_required);
 534   void AllocateTwoByteSlicedString(Register result,
 535                                    Register length,
 536                                    Register scratch1,
 537                                    Register scratch2,
 538                                    Label* gc_required);
 539   void AllocateAsciiSlicedString(Register result,
 540                                  Register length,
 541                                  Register scratch1,
 542                                  Register scratch2,
 543                                  Label* gc_required);
 544
 545   // Allocates a heap number or jumps to the gc_required label if the young
 546   // space is full and a scavenge is needed. All registers are clobbered also
 547   // when control continues at the gc_required label.
 548   void AllocateHeapNumber(Register result,
 549                           Register scratch1,
 550                           Register scratch2,
 551                           Register heap_number_map,
 552                           Label* gc_required,
 553                           TaggingMode tagging_mode = TAG_RESULT);
 554   void AllocateHeapNumberWithValue(Register result,
 555                                    FPURegister value,
 556                                    Register scratch1,
 557                                    Register scratch2,
 558                                    Label* gc_required);
 559
 560   // ---------------------------------------------------------------------------
 561   // Instruction macros.
 562
 563 #define DEFINE_INSTRUCTION(instr)                                              \
 564   void instr(Register rd, Register rs, const Operand& rt);                     \
 565   void instr(Register rd, Register rs, Register rt) {                          \
 566     instr(rd, rs, Operand(rt));                                                \
 567   }                                                                            \
 568   void instr(Register rs, Register rt, int32_t j) {                            \
 569     instr(rs, rt, Operand(j));                                                 \
 570   }
 571
 572 #define DEFINE_INSTRUCTION2(instr)                                             \
 573   void instr(Register rs, const Operand& rt);                                  \
 574   void instr(Register rs, Register rt) {                                       \
 575     instr(rs, Operand(rt));                                                    \
 576   }                                                                            \
 577   void instr(Register rs, int32_t j) {                                         \
 578     instr(rs, Operand(j));                                                     \
 579   }
 580
 581   DEFINE_INSTRUCTION(Addu);
 582   DEFINE_INSTRUCTION(Subu);
 583   DEFINE_INSTRUCTION(Mul);
 584   DEFINE_INSTRUCTION2(Mult);
 585   DEFINE_INSTRUCTION2(Multu);
 586   DEFINE_INSTRUCTION2(Div);
 587   DEFINE_INSTRUCTION2(Divu);
 588
 589   DEFINE_INSTRUCTION(And);
 590   DEFINE_INSTRUCTION(Or);
 591   DEFINE_INSTRUCTION(Xor);
 592   DEFINE_INSTRUCTION(Nor);
 593   DEFINE_INSTRUCTION2(Neg);
 594
 595   DEFINE_INSTRUCTION(Slt);
 596   DEFINE_INSTRUCTION(Sltu);
 597
 598   // MIPS32 R2 instruction macro.
 599   DEFINE_INSTRUCTION(Ror);
 600
 601 #undef DEFINE_INSTRUCTION
 602 #undef DEFINE_INSTRUCTION2
 603
 604   void Pref(int32_t hint, const MemOperand& rs);
 605
 606
 607   // ---------------------------------------------------------------------------
 608   // Pseudo-instructions.
 609
 610   void mov(Register rd, Register rt) { or_(rd, rt, zero_reg); }
 611
 612   void Ulw(Register rd, const MemOperand& rs);
 613   void Usw(Register rd, const MemOperand& rs);
 614
 615   // Load int32 in the rd register.
 616   void li(Register rd, Operand j, LiFlags mode = OPTIMIZE_SIZE);
 617   inline void li(Register rd, int32_t j, LiFlags mode = OPTIMIZE_SIZE) {
 618     li(rd, Operand(j), mode);
 619   }
 620   void li(Register dst, Handle<Object> value, LiFlags mode = OPTIMIZE_SIZE);
 621
 622   // Push multiple registers on the stack.
 623   // Registers are saved in numerical order, with higher numbered registers
 624   // saved in higher memory addresses.
 625   void MultiPush(RegList regs);
 626   void MultiPushReversed(RegList regs);
 627
 628   void MultiPushFPU(RegList regs);
 629   void MultiPushReversedFPU(RegList regs);
 630
 631   void push(Register src) {
 632     Addu(sp, sp, Operand(-kPointerSize));
 633     sw(src, MemOperand(sp, 0));
 634   }
 635   void Push(Register src) { push(src); }
 636
 637   // Push a handle.
 638   void Push(Handle<Object> handle);
 639   void Push(Smi* smi) { Push(Handle<Smi>(smi, isolate())); }
 640
 641   // Push two registers. Pushes leftmost register first (to highest address).
 642   void Push(Register src1, Register src2) {
 643     Subu(sp, sp, Operand(2 * kPointerSize));
 644     sw(src1, MemOperand(sp, 1 * kPointerSize));
 645     sw(src2, MemOperand(sp, 0 * kPointerSize));
 646   }
 647
 648   // Push three registers. Pushes leftmost register first (to highest address).
 649   void Push(Register src1, Register src2, Register src3) {
 650     Subu(sp, sp, Operand(3 * kPointerSize));
 651     sw(src1, MemOperand(sp, 2 * kPointerSize));
 652     sw(src2, MemOperand(sp, 1 * kPointerSize));
 653     sw(src3, MemOperand(sp, 0 * kPointerSize));
 654   }
 655
 656   // Push four registers. Pushes leftmost register first (to highest address).
 657   void Push(Register src1, Register src2, Register src3, Register src4) {
 658     Subu(sp, sp, Operand(4 * kPointerSize));
 659     sw(src1, MemOperand(sp, 3 * kPointerSize));
 660     sw(src2, MemOperand(sp, 2 * kPointerSize));
 661     sw(src3, MemOperand(sp, 1 * kPointerSize));
 662     sw(src4, MemOperand(sp, 0 * kPointerSize));
 663   }
 664
 665   void Push(Register src, Condition cond, Register tst1, Register tst2) {
 666     // Since we don't have conditional execution we use a Branch.
 667     Branch(3, cond, tst1, Operand(tst2));
 668     Subu(sp, sp, Operand(kPointerSize));
 669     sw(src, MemOperand(sp, 0));
 670   }
 671
 672   // Pops multiple values from the stack and load them in the
 673   // registers specified in regs. Pop order is the opposite as in MultiPush.
 674   void MultiPop(RegList regs);
 675   void MultiPopReversed(RegList regs);
 676
 677   void MultiPopFPU(RegList regs);
 678   void MultiPopReversedFPU(RegList regs);
 679
 680   void pop(Register dst) {
 681     lw(dst, MemOperand(sp, 0));
 682     Addu(sp, sp, Operand(kPointerSize));
 683   }
 684   void Pop(Register dst) { pop(dst); }
 685
 686   // Pop two registers. Pops rightmost register first (from lower address).
 687   void Pop(Register src1, Register src2) {
 688     ASSERT(!src1.is(src2));
 689     lw(src2, MemOperand(sp, 0 * kPointerSize));
 690     lw(src1, MemOperand(sp, 1 * kPointerSize));
 691     Addu(sp, sp, 2 * kPointerSize);
 692   }
 693
 694   // Pop three registers. Pops rightmost register first (from lower address).
 695   void Pop(Register src1, Register src2, Register src3) {
 696     lw(src3, MemOperand(sp, 0 * kPointerSize));
 697     lw(src2, MemOperand(sp, 1 * kPointerSize));
 698     lw(src1, MemOperand(sp, 2 * kPointerSize));
 699     Addu(sp, sp, 3 * kPointerSize);
 700   }
 701
 702   void Pop(uint32_t count = 1) {
 703     Addu(sp, sp, Operand(count * kPointerSize));
 704   }
 705
 706   // Push and pop the registers that can hold pointers, as defined by the
 707   // RegList constant kSafepointSavedRegisters.
 708   void PushSafepointRegisters();
 709   void PopSafepointRegisters();
 710   void PushSafepointRegistersAndDoubles();
 711   void PopSafepointRegistersAndDoubles();
 712   // Store value in register src in the safepoint stack slot for
 713   // register dst.
 714   void StoreToSafepointRegisterSlot(Register src, Register dst);
 715   void StoreToSafepointRegistersAndDoublesSlot(Register src, Register dst);
 716   // Load the value of the src register from its safepoint stack slot
 717   // into register dst.
 718   void LoadFromSafepointRegisterSlot(Register dst, Register src);
 719
 720   // Flush the I-cache from asm code. You should use CPU::FlushICache from C.
 721   // Does not handle errors.
 722   void FlushICache(Register address, unsigned instructions);
 723
 724   // MIPS32 R2 instruction macro.
 725   void Ins(Register rt, Register rs, uint16_t pos, uint16_t size);
 726   void Ext(Register rt, Register rs, uint16_t pos, uint16_t size);
 727
 728   // ---------------------------------------------------------------------------
 729   // FPU macros. These do not handle special cases like NaN or +- inf.
 730
 731   // Convert unsigned word to double.
 732   void Cvt_d_uw(FPURegister fd, FPURegister fs, FPURegister scratch);
 733   void Cvt_d_uw(FPURegister fd, Register rs, FPURegister scratch);
 734
 735   // Convert double to unsigned word.
 736   void Trunc_uw_d(FPURegister fd, FPURegister fs, FPURegister scratch);
 737   void Trunc_uw_d(FPURegister fd, Register rs, FPURegister scratch);
 738
 739   void Trunc_w_d(FPURegister fd, FPURegister fs);
 740   void Round_w_d(FPURegister fd, FPURegister fs);
 741   void Floor_w_d(FPURegister fd, FPURegister fs);
 742   void Ceil_w_d(FPURegister fd, FPURegister fs);
 743   // Wrapper function for the different cmp/branch types.
 744   void BranchF(Label* target,
 745                Label* nan,
 746                Condition cc,
 747                FPURegister cmp1,
 748                FPURegister cmp2,
 749                BranchDelaySlot bd = PROTECT);
 750
 751   // Alternate (inline) version for better readability with USE_DELAY_SLOT.
 752   inline void BranchF(BranchDelaySlot bd,
 753                       Label* target,
 754                       Label* nan,
 755                       Condition cc,
 756                       FPURegister cmp1,
 757                       FPURegister cmp2) {
 758     BranchF(target, nan, cc, cmp1, cmp2, bd);
 759   };
 760
 761   // Truncates a double using a specific rounding mode, and writes the value
 762   // to the result register.
 763   // The except_flag will contain any exceptions caused by the instruction.
 764   // If check_inexact is kDontCheckForInexactConversion, then the inexact
 765   // exception is masked.
 766   void EmitFPUTruncate(FPURoundingMode rounding_mode,
 767                        Register result,
 768                        DoubleRegister double_input,
 769                        Register scratch,
 770                        DoubleRegister double_scratch,
 771                        Register except_flag,
 772                        CheckForInexactConversion check_inexact
 773                            = kDontCheckForInexactConversion);
 774
 775   // Performs a truncating conversion of a floating point number as used by
 776   // the JS bitwise operations. See ECMA-262 9.5: ToInt32. Goes to 'done' if it
 777   // succeeds, otherwise falls through if result is saturated. On return
 778   // 'result' either holds answer, or is clobbered on fall through.
 779   //
 780   // Only public for the test code in test-code-stubs-arm.cc.
 781   void TryInlineTruncateDoubleToI(Register result,
 782                                   DoubleRegister input,
 783                                   Label* done);
 784
 785   // Performs a truncating conversion of a floating point number as used by
 786   // the JS bitwise operations. See ECMA-262 9.5: ToInt32.
 787   // Exits with 'result' holding the answer.
 788   void TruncateDoubleToI(Register result, DoubleRegister double_input);
 789
 790   // Performs a truncating conversion of a heap number as used by
 791   // the JS bitwise operations. See ECMA-262 9.5: ToInt32. 'result' and 'input'
 792   // must be different registers. Exits with 'result' holding the answer.
 793   void TruncateHeapNumberToI(Register result, Register object);
 794
 795   // Converts the smi or heap number in object to an int32 using the rules
 796   // for ToInt32 as described in ECMAScript 9.5.: the value is truncated
 797   // and brought into the range -2^31 .. +2^31 - 1. 'result' and 'input' must be
 798   // different registers.
 799   void TruncateNumberToI(Register object,
 800                          Register result,
 801                          Register heap_number_map,
 802                          Register scratch,
 803                          Label* not_int32);
 804
 805   // Loads the number from object into dst register.
 806   // If |object| is neither smi nor heap number, |not_number| is jumped to
 807   // with |object| still intact.
 808   void LoadNumber(Register object,
 809                   FPURegister dst,
 810                   Register heap_number_map,
 811                   Register scratch,
 812                   Label* not_number);
 813
 814   // Loads the number from object into double_dst in the double format.
 815   // Control will jump to not_int32 if the value cannot be exactly represented
 816   // by a 32-bit integer.
 817   // Floating point value in the 32-bit integer range that are not exact integer
 818   // won't be loaded.
 819   void LoadNumberAsInt32Double(Register object,
 820                                DoubleRegister double_dst,
 821                                Register heap_number_map,
 822                                Register scratch1,
 823                                Register scratch2,
 824                                FPURegister double_scratch,
 825                                Label* not_int32);
 826
 827   // Loads the number from object into dst as a 32-bit integer.
 828   // Control will jump to not_int32 if the object cannot be exactly represented
 829   // by a 32-bit integer.
 830   // Floating point value in the 32-bit integer range that are not exact integer
 831   // won't be converted.
 832   void LoadNumberAsInt32(Register object,
 833                          Register dst,
 834                          Register heap_number_map,
 835                          Register scratch1,
 836                          Register scratch2,
 837                          FPURegister double_scratch0,
 838                          FPURegister double_scratch1,
 839                          Label* not_int32);
 840
 841   // Enter exit frame.
 842   // argc - argument count to be dropped by LeaveExitFrame.
 843   // save_doubles - saves FPU registers on stack, currently disabled.
 844   // stack_space - extra stack space.
 845   void EnterExitFrame(bool save_doubles,
 846                       int stack_space = 0);
 847
 848   // Leave the current exit frame.
 849   void LeaveExitFrame(bool save_doubles,
 850                       Register arg_count,
 851                       bool restore_context,
 852                       bool do_return = NO_EMIT_RETURN);
 853
 854   // Get the actual activation frame alignment for target environment.
 855   static int ActivationFrameAlignment();
 856
 857   // Make sure the stack is aligned. Only emits code in debug mode.
 858   void AssertStackIsAligned();
 859
 860   void LoadContext(Register dst, int context_chain_length);
 861
 862   // Conditionally load the cached Array transitioned map of type
 863   // transitioned_kind from the native context if the map in register
 864   // map_in_out is the cached Array map in the native context of
 865   // expected_kind.
 866   void LoadTransitionedArrayMapConditional(
 867       ElementsKind expected_kind,
 868       ElementsKind transitioned_kind,
 869       Register map_in_out,
 870       Register scratch,
 871       Label* no_map_match);
 872
 873   // Load the initial map for new Arrays from a JSFunction.
 874   void LoadInitialArrayMap(Register function_in,
 875                            Register scratch,
 876                            Register map_out,
 877                            bool can_have_holes);
 878
 879   void LoadGlobalFunction(int index, Register function);
 880   void LoadArrayFunction(Register function);
 881
 882   // Load the initial map from the global function. The registers
 883   // function and map can be the same, function is then overwritten.
 884   void LoadGlobalFunctionInitialMap(Register function,
 885                                     Register map,
 886                                     Register scratch);
 887
 888   void InitializeRootRegister() {
 889     ExternalReference roots_array_start =
 890         ExternalReference::roots_array_start(isolate());
 891     li(kRootRegister, Operand(roots_array_start));
 892   }
 893
 894   // -------------------------------------------------------------------------
 895   // JavaScript invokes.
 896
 897   // Set up call kind marking in t1. The method takes t1 as an
 898   // explicit first parameter to make the code more readable at the
 899   // call sites.
 900   void SetCallKind(Register dst, CallKind kind);
 901
 902   // Invoke the JavaScript function code by either calling or jumping.
 903   void InvokeCode(Register code,
 904                   const ParameterCount& expected,
 905                   const ParameterCount& actual,
 906                   InvokeFlag flag,
 907                   const CallWrapper& call_wrapper,
 908                   CallKind call_kind);
 909
 910   void InvokeCode(Handle<Code> code,
 911                   const ParameterCount& expected,
 912                   const ParameterCount& actual,
 913                   RelocInfo::Mode rmode,
 914                   InvokeFlag flag,
 915                   CallKind call_kind);
 916
 917   // Invoke the JavaScript function in the given register. Changes the
 918   // current context to the context in the function before invoking.
 919   void InvokeFunction(Register function,
 920                       const ParameterCount& actual,
 921                       InvokeFlag flag,
 922                       const CallWrapper& call_wrapper,
 923                       CallKind call_kind);
 924
 925   void InvokeFunction(Register function,
 926                       const ParameterCount& expected,
 927                       const ParameterCount& actual,
 928                       InvokeFlag flag,
 929                       const CallWrapper& call_wrapper,
 930                       CallKind call_kind);
 931
 932   void InvokeFunction(Handle<JSFunction> function,
 933                       const ParameterCount& expected,
 934                       const ParameterCount& actual,
 935                       InvokeFlag flag,
 936                       const CallWrapper& call_wrapper,
 937                       CallKind call_kind);
 938
 939
 940   void IsObjectJSObjectType(Register heap_object,
 941                             Register map,
 942                             Register scratch,
 943                             Label* fail);
 944
 945   void IsInstanceJSObjectType(Register map,
 946                               Register scratch,
 947                               Label* fail);
 948
 949   void IsObjectJSStringType(Register object,
 950                             Register scratch,
 951                             Label* fail);
 952
 953   void IsObjectNameType(Register object,
 954                         Register scratch,
 955                         Label* fail);
 956
 957 #ifdef ENABLE_DEBUGGER_SUPPORT
 958   // -------------------------------------------------------------------------
 959   // Debugger Support.
 960
 961   void DebugBreak();
 962 #endif
 963
 964
 965   // -------------------------------------------------------------------------
 966   // Exception handling.
 967
 968   // Push a new try handler and link into try handler chain.
 969   void PushTryHandler(StackHandler::Kind kind, int handler_index);
 970
 971   // Unlink the stack handler on top of the stack from the try handler chain.
 972   // Must preserve the result register.
 973   void PopTryHandler();
 974
 975   // Passes thrown value to the handler of top of the try handler chain.
 976   void Throw(Register value);
 977
 978   // Propagates an uncatchable exception to the top of the current JS stack's
 979   // handler chain.
 980   void ThrowUncatchable(Register value);
 981
 982   // Throw a message string as an exception.
 983   void Throw(BailoutReason reason);
 984
 985   // Throw a message string as an exception if a condition is not true.
 986   void ThrowIf(Condition cc, BailoutReason reason, Register rs, Operand rt);
 987
 988   // Copies a fixed number of fields of heap objects from src to dst.
 989   void CopyFields(Register dst, Register src, RegList temps, int field_count);
 990
 991   // Copies a number of bytes from src to dst. All registers are clobbered. On
 992   // exit src and dst will point to the place just after where the last byte was
 993   // read or written and length will be zero.
 994   void CopyBytes(Register src,
 995                  Register dst,
 996                  Register length,
 997                  Register scratch);
 998
 999   // Initialize fields with filler values.  Fields starting at |start_offset|
1000   // not including end_offset are overwritten with the value in |filler|.  At
1001   // the end the loop, |start_offset| takes the value of |end_offset|.
1002   void InitializeFieldsWithFiller(Register start_offset,
1003                                   Register end_offset,
1004                                   Register filler);
1005
1006   // -------------------------------------------------------------------------
1007   // Support functions.
1008
1009   // Try to get function prototype of a function and puts the value in
1010   // the result register. Checks that the function really is a
1011   // function and jumps to the miss label if the fast checks fail. The
1012   // function register will be untouched; the other registers may be
1013   // clobbered.
1014   void TryGetFunctionPrototype(Register function,
1015                                Register result,
1016                                Register scratch,
1017                                Label* miss,
1018                                bool miss_on_bound_function = false);
1019
1020   void GetObjectType(Register function,
1021                      Register map,
1022                      Register type_reg);
1023
1024   // Check if a map for a JSObject indicates that the object has fast elements.
1025   // Jump to the specified label if it does not.
1026   void CheckFastElements(Register map,
1027                          Register scratch,
1028                          Label* fail);
1029
1030   // Check if a map for a JSObject indicates that the object can have both smi
1031   // and HeapObject elements.  Jump to the specified label if it does not.
1032   void CheckFastObjectElements(Register map,
1033                                Register scratch,
1034                                Label* fail);
1035
1036   // Check if a map for a JSObject indicates that the object has fast smi only
1037   // elements.  Jump to the specified label if it does not.
1038   void CheckFastSmiElements(Register map,
1039                             Register scratch,
1040                             Label* fail);
1041
1042   // Check to see if maybe_number can be stored as a double in
1043   // FastDoubleElements. If it can, store it at the index specified by key in
1044   // the FastDoubleElements array elements. Otherwise jump to fail.
1045   void StoreNumberToDoubleElements(Register value_reg,
1046                                    Register key_reg,
1047                                    Register elements_reg,
1048                                    Register scratch1,
1049                                    Register scratch2,
1050                                    Register scratch3,
1051                                    Label* fail,
1052                                    int elements_offset = 0);
1053
1054   // Compare an object's map with the specified map and its transitioned
1055   // elements maps if mode is ALLOW_ELEMENT_TRANSITION_MAPS. Jumps to
1056   // "branch_to" if the result of the comparison is "cond". If multiple map
1057   // compares are required, the compare sequences branches to early_success.
1058   void CompareMapAndBranch(Register obj,
1059                            Register scratch,
1060                            Handle<Map> map,
1061                            Label* early_success,
1062                            Condition cond,
1063                            Label* branch_to);
1064
1065   // As above, but the map of the object is already loaded into the register
1066   // which is preserved by the code generated.
1067   void CompareMapAndBranch(Register obj_map,
1068                            Handle<Map> map,
1069                            Label* early_success,
1070                            Condition cond,
1071                            Label* branch_to);
1072
1073   // Check if the map of an object is equal to a specified map and branch to
1074   // label if not. Skip the smi check if not required (object is known to be a
1075   // heap object). If mode is ALLOW_ELEMENT_TRANSITION_MAPS, then also match
1076   // against maps that are ElementsKind transition maps of the specificed map.
1077   void CheckMap(Register obj,
1078                 Register scratch,
1079                 Handle<Map> map,
1080                 Label* fail,
1081                 SmiCheckType smi_check_type);
1082
1083
1084   void CheckMap(Register obj,
1085                 Register scratch,
1086                 Heap::RootListIndex index,
1087                 Label* fail,
1088                 SmiCheckType smi_check_type);
1089
1090   // Check if the map of an object is equal to a specified map and branch to a
1091   // specified target if equal. Skip the smi check if not required (object is
1092   // known to be a heap object)
1093   void DispatchMap(Register obj,
1094                    Register scratch,
1095                    Handle<Map> map,
1096                    Handle<Code> success,
1097                    SmiCheckType smi_check_type);
1098
1099   // Generates code for reporting that an illegal operation has
1100   // occurred.
1101   void IllegalOperation(int num_arguments);
1102
1103
1104   // Load and check the instance type of an object for being a string.
1105   // Loads the type into the second argument register.
1106   // Returns a condition that will be enabled if the object was a string.
1107   Condition IsObjectStringType(Register obj,
1108                                Register type,
1109                                Register result) {
1110     lw(type, FieldMemOperand(obj, HeapObject::kMapOffset));
1111     lbu(type, FieldMemOperand(type, Map::kInstanceTypeOffset));
1112     And(type, type, Operand(kIsNotStringMask));
1113     ASSERT_EQ(0, kStringTag);
1114     return eq;
1115   }
1116
1117
1118   // Picks out an array index from the hash field.
1119   // Register use:
1120   //   hash - holds the index's hash. Clobbered.
1121   //   index - holds the overwritten index on exit.
1122   void IndexFromHash(Register hash, Register index);
1123
1124   // Get the number of least significant bits from a register.
1125   void GetLeastBitsFromSmi(Register dst, Register src, int num_least_bits);
1126   void GetLeastBitsFromInt32(Register dst, Register src, int mun_least_bits);
1127
1128   // Load the value of a number object into a FPU double register. If the
1129   // object is not a number a jump to the label not_number is performed
1130   // and the FPU double register is unchanged.
1131   void ObjectToDoubleFPURegister(
1132       Register object,
1133       FPURegister value,
1134       Register scratch1,
1135       Register scratch2,
1136       Register heap_number_map,
1137       Label* not_number,
1138       ObjectToDoubleFlags flags = NO_OBJECT_TO_DOUBLE_FLAGS);
1139
1140   // Load the value of a smi object into a FPU double register. The register
1141   // scratch1 can be the same register as smi in which case smi will hold the
1142   // untagged value afterwards.
1143   void SmiToDoubleFPURegister(Register smi,
1144                               FPURegister value,
1145                               Register scratch1);
1146
1147   // -------------------------------------------------------------------------
1148   // Overflow handling functions.
1149   // Usage: first call the appropriate arithmetic function, then call one of the
1150   // jump functions with the overflow_dst register as the second parameter.
1151
1152   void AdduAndCheckForOverflow(Register dst,
1153                                Register left,
1154                                Register right,
1155                                Register overflow_dst,
1156                                Register scratch = at);
1157
1158   void SubuAndCheckForOverflow(Register dst,
1159                                Register left,
1160                                Register right,
1161                                Register overflow_dst,
1162                                Register scratch = at);
1163
1164   void BranchOnOverflow(Label* label,
1165                         Register overflow_check,
1166                         BranchDelaySlot bd = PROTECT) {
1167     Branch(label, lt, overflow_check, Operand(zero_reg), bd);
1168   }
1169
1170   void BranchOnNoOverflow(Label* label,
1171                           Register overflow_check,
1172                           BranchDelaySlot bd = PROTECT) {
1173     Branch(label, ge, overflow_check, Operand(zero_reg), bd);
1174   }
1175
1176   void RetOnOverflow(Register overflow_check, BranchDelaySlot bd = PROTECT) {
1177     Ret(lt, overflow_check, Operand(zero_reg), bd);
1178   }
1179
1180   void RetOnNoOverflow(Register overflow_check, BranchDelaySlot bd = PROTECT) {
1181     Ret(ge, overflow_check, Operand(zero_reg), bd);
1182   }
1183
1184   // -------------------------------------------------------------------------
1185   // Runtime calls.
1186
1187   // See comments at the beginning of CEntryStub::Generate.
1188   inline void PrepareCEntryArgs(int num_args) {
1189     li(s0, num_args);
1190     li(s1, (num_args - 1) * kPointerSize);
1191   }
1192
1193   inline void PrepareCEntryFunction(const ExternalReference& ref) {
1194     li(s2, Operand(ref));
1195   }
1196
1197 #define COND_ARGS Condition cond = al, Register rs = zero_reg, \
1198 const Operand& rt = Operand(zero_reg), BranchDelaySlot bd = PROTECT
1199
1200   // Call a code stub.
1201   void CallStub(CodeStub* stub,
1202                 TypeFeedbackId ast_id = TypeFeedbackId::None(),
1203                 COND_ARGS);
1204
1205   // Tail call a code stub (jump).
1206   void TailCallStub(CodeStub* stub, COND_ARGS);
1207
1208 #undef COND_ARGS
1209
1210   void CallJSExitStub(CodeStub* stub);
1211
1212   // Call a runtime routine.
1213   void CallRuntime(const Runtime::Function* f,
1214                    int num_arguments,
1215                    SaveFPRegsMode save_doubles = kDontSaveFPRegs);
1216   void CallRuntimeSaveDoubles(Runtime::FunctionId id) {
1217     const Runtime::Function* function = Runtime::FunctionForId(id);
1218     CallRuntime(function, function->nargs, kSaveFPRegs);
1219   }
1220
1221   // Convenience function: Same as above, but takes the fid instead.
1222   void CallRuntime(Runtime::FunctionId id,
1223                    int num_arguments,
1224                    SaveFPRegsMode save_doubles = kDontSaveFPRegs) {
1225     CallRuntime(Runtime::FunctionForId(id), num_arguments, save_doubles);
1226   }
1227
1228   // Convenience function: call an external reference.
1229   void CallExternalReference(const ExternalReference& ext,
1230                              int num_arguments,
1231                              BranchDelaySlot bd = PROTECT);
1232
1233   // Tail call of a runtime routine (jump).
1234   // Like JumpToExternalReference, but also takes care of passing the number
1235   // of parameters.
1236   void TailCallExternalReference(const ExternalReference& ext,
1237                                  int num_arguments,
1238                                  int result_size);
1239
1240   // Convenience function: tail call a runtime routine (jump).
1241   void TailCallRuntime(Runtime::FunctionId fid,
1242                        int num_arguments,
1243                        int result_size);
1244
1245   int CalculateStackPassedWords(int num_reg_arguments,
1246                                 int num_double_arguments);
1247
1248   // Before calling a C-function from generated code, align arguments on stack
1249   // and add space for the four mips argument slots.
1250   // After aligning the frame, non-register arguments must be stored on the
1251   // stack, after the argument-slots using helper: CFunctionArgumentOperand().
1252   // The argument count assumes all arguments are word sized.
1253   // Some compilers/platforms require the stack to be aligned when calling
1254   // C++ code.
1255   // Needs a scratch register to do some arithmetic. This register will be
1256   // trashed.
1257   void PrepareCallCFunction(int num_reg_arguments,
1258                             int num_double_registers,
1259                             Register scratch);
1260   void PrepareCallCFunction(int num_reg_arguments,
1261                             Register scratch);
1262
1263   // Arguments 1-4 are placed in registers a0 thru a3 respectively.
1264   // Arguments 5..n are stored to stack using following:
1265   //  sw(t0, CFunctionArgumentOperand(5));
1266
1267   // Calls a C function and cleans up the space for arguments allocated
1268   // by PrepareCallCFunction. The called function is not allowed to trigger a
1269   // garbage collection, since that might move the code and invalidate the
1270   // return address (unless this is somehow accounted for by the called
1271   // function).
1272   void CallCFunction(ExternalReference function, int num_arguments);
1273   void CallCFunction(Register function, int num_arguments);
1274   void CallCFunction(ExternalReference function,
1275                      int num_reg_arguments,
1276                      int num_double_arguments);
1277   void CallCFunction(Register function,
1278                      int num_reg_arguments,
1279                      int num_double_arguments);
1280   void GetCFunctionDoubleResult(const DoubleRegister dst);
1281
1282   // There are two ways of passing double arguments on MIPS, depending on
1283   // whether soft or hard floating point ABI is used. These functions
1284   // abstract parameter passing for the three different ways we call
1285   // C functions from generated code.
1286   void SetCallCDoubleArguments(DoubleRegister dreg);
1287   void SetCallCDoubleArguments(DoubleRegister dreg1, DoubleRegister dreg2);
1288   void SetCallCDoubleArguments(DoubleRegister dreg, Register reg);
1289
1290   // Calls an API function.  Allocates HandleScope, extracts returned value
1291   // from handle and propagates exceptions.  Restores context.  stack_space
1292   // - space to be unwound on exit (includes the call JS arguments space and
1293   // the additional space allocated for the fast call).
1294   void CallApiFunctionAndReturn(ExternalReference function,
1295                                 Address function_address,
1296                                 ExternalReference thunk_ref,
1297                                 Register thunk_last_arg,
1298                                 int stack_space,
1299                                 MemOperand return_value_operand,
1300                                 MemOperand* context_restore_operand);
1301
1302   // Jump to the builtin routine.
1303   void JumpToExternalReference(const ExternalReference& builtin,
1304                                BranchDelaySlot bd = PROTECT);
1305
1306   // Invoke specified builtin JavaScript function. Adds an entry to
1307   // the unresolved list if the name does not resolve.
1308   void InvokeBuiltin(Builtins::JavaScript id,
1309                      InvokeFlag flag,
1310                      const CallWrapper& call_wrapper = NullCallWrapper());
1311
1312   // Store the code object for the given builtin in the target register and
1313   // setup the function in a1.
1314   void GetBuiltinEntry(Register target, Builtins::JavaScript id);
1315
1316   // Store the function for the given builtin in the target register.
1317   void GetBuiltinFunction(Register target, Builtins::JavaScript id);
1318
1319   struct Unresolved {
1320     int pc;
1321     uint32_t flags;  // See Bootstrapper::FixupFlags decoders/encoders.
1322     const char* name;
1323   };
1324
1325   Handle<Object> CodeObject() {
1326     ASSERT(!code_object_.is_null());
1327     return code_object_;
1328   }
1329
1330   // -------------------------------------------------------------------------
1331   // StatsCounter support.
1332
1333   void SetCounter(StatsCounter* counter, int value,
1334                   Register scratch1, Register scratch2);
1335   void IncrementCounter(StatsCounter* counter, int value,
1336                         Register scratch1, Register scratch2);
1337   void DecrementCounter(StatsCounter* counter, int value,
1338                         Register scratch1, Register scratch2);
1339
1340
1341   // -------------------------------------------------------------------------
1342   // Debugging.
1343
1344   // Calls Abort(msg) if the condition cc is not satisfied.
1345   // Use --debug_code to enable.
1346   void Assert(Condition cc, BailoutReason reason, Register rs, Operand rt);
1347   void AssertFastElements(Register elements);
1348
1349   // Like Assert(), but always enabled.
1350   void Check(Condition cc, BailoutReason reason, Register rs, Operand rt);
1351
1352   // Print a message to stdout and abort execution.
1353   void Abort(BailoutReason msg);
1354
1355   // Verify restrictions about code generated in stubs.
1356   void set_generating_stub(bool value) { generating_stub_ = value; }
1357   bool generating_stub() { return generating_stub_; }
1358   void set_has_frame(bool value) { has_frame_ = value; }
1359   bool has_frame() { return has_frame_; }
1360   inline bool AllowThisStubCall(CodeStub* stub);
1361
1362   // ---------------------------------------------------------------------------
1363   // Number utilities.
1364
1365   // Check whether the value of reg is a power of two and not zero. If not
1366   // control continues at the label not_power_of_two. If reg is a power of two
1367   // the register scratch contains the value of (reg - 1) when control falls
1368   // through.
1369   void JumpIfNotPowerOfTwoOrZero(Register reg,
1370                                  Register scratch,
1371                                  Label* not_power_of_two_or_zero);
1372
1373   // -------------------------------------------------------------------------
1374   // Smi utilities.
1375
1376   void SmiTag(Register reg) {
1377     Addu(reg, reg, reg);
1378   }
1379
1380   // Test for overflow < 0: use BranchOnOverflow() or BranchOnNoOverflow().
1381   void SmiTagCheckOverflow(Register reg, Register overflow);
1382   void SmiTagCheckOverflow(Register dst, Register src, Register overflow);
1383
1384   void SmiTag(Register dst, Register src) {
1385     Addu(dst, src, src);
1386   }
1387
1388   // Try to convert int32 to smi. If the value is to large, preserve
1389   // the original value and jump to not_a_smi. Destroys scratch and
1390   // sets flags.
1391   void TrySmiTag(Register reg, Register scratch, Label* not_a_smi) {
1392     TrySmiTag(reg, reg, scratch, not_a_smi);
1393   }
1394   void TrySmiTag(Register dst,
1395                  Register src,
1396                  Register scratch,
1397                  Label* not_a_smi) {
1398     SmiTagCheckOverflow(at, src, scratch);
1399     BranchOnOverflow(not_a_smi, scratch);
1400     mov(dst, at);
1401   }
1402
1403   void SmiUntag(Register reg) {
1404     sra(reg, reg, kSmiTagSize);
1405   }
1406
1407   void SmiUntag(Register dst, Register src) {
1408     sra(dst, src, kSmiTagSize);
1409   }
1410
1411   // Test if the register contains a smi.
1412   inline void SmiTst(Register value, Register scratch) {
1413     And(scratch, value, Operand(kSmiTagMask));
1414   }
1415   inline void NonNegativeSmiTst(Register value, Register scratch) {
1416     And(scratch, value, Operand(kSmiTagMask | kSmiSignMask));
1417   }
1418
1419   // Untag the source value into destination and jump if source is a smi.
1420   // Souce and destination can be the same register.
1421   void UntagAndJumpIfSmi(Register dst, Register src, Label* smi_case);
1422
1423   // Untag the source value into destination and jump if source is not a smi.
1424   // Souce and destination can be the same register.
1425   void UntagAndJumpIfNotSmi(Register dst, Register src, Label* non_smi_case);
1426
1427   // Jump the register contains a smi.
1428   void JumpIfSmi(Register value,
1429                  Label* smi_label,
1430                  Register scratch = at,
1431                  BranchDelaySlot bd = PROTECT);
1432
1433   // Jump if the register contains a non-smi.
1434   void JumpIfNotSmi(Register value,
1435                     Label* not_smi_label,
1436                     Register scratch = at,
1437                     BranchDelaySlot bd = PROTECT);
1438
1439   // Jump if either of the registers contain a non-smi.
1440   void JumpIfNotBothSmi(Register reg1, Register reg2, Label* on_not_both_smi);
1441   // Jump if either of the registers contain a smi.
1442   void JumpIfEitherSmi(Register reg1, Register reg2, Label* on_either_smi);
1443
1444   // Abort execution if argument is a smi, enabled via --debug-code.
1445   void AssertNotSmi(Register object);
1446   void AssertSmi(Register object);
1447
1448   // Abort execution if argument is not a string, enabled via --debug-code.
1449   void AssertString(Register object);
1450
1451   // Abort execution if argument is not a name, enabled via --debug-code.
1452   void AssertName(Register object);
1453
1454   // Abort execution if reg is not the root value with the given index,
1455   // enabled via --debug-code.
1456   void AssertIsRoot(Register reg, Heap::RootListIndex index);
1457
1458   // ---------------------------------------------------------------------------
1459   // HeapNumber utilities.
1460
1461   void JumpIfNotHeapNumber(Register object,
1462                            Register heap_number_map,
1463                            Register scratch,
1464                            Label* on_not_heap_number);
1465
1466   // -------------------------------------------------------------------------
1467   // String utilities.
1468
1469   // Generate code to do a lookup in the number string cache. If the number in
1470   // the register object is found in the cache the generated code falls through
1471   // with the result in the result register. The object and the result register
1472   // can be the same. If the number is not found in the cache the code jumps to
1473   // the label not_found with only the content of register object unchanged.
1474   void LookupNumberStringCache(Register object,
1475                                Register result,
1476                                Register scratch1,
1477                                Register scratch2,
1478                                Register scratch3,
1479                                Label* not_found);
1480
1481   // Checks if both instance types are sequential ASCII strings and jumps to
1482   // label if either is not.
1483   void JumpIfBothInstanceTypesAreNotSequentialAscii(
1484       Register first_object_instance_type,
1485       Register second_object_instance_type,
1486       Register scratch1,
1487       Register scratch2,
1488       Label* failure);
1489
1490   // Check if instance type is sequential ASCII string and jump to label if
1491   // it is not.
1492   void JumpIfInstanceTypeIsNotSequentialAscii(Register type,
1493                                               Register scratch,
1494                                               Label* failure);
1495
1496   void JumpIfNotUniqueName(Register reg, Label* not_unique_name);
1497
1498   void EmitSeqStringSetCharCheck(Register string,
1499                                  Register index,
1500                                  Register value,
1501                                  Register scratch,
1502                                  uint32_t encoding_mask);
1503
1504   // Test that both first and second are sequential ASCII strings.
1505   // Assume that they are non-smis.
1506   void JumpIfNonSmisNotBothSequentialAsciiStrings(Register first,
1507                                                   Register second,
1508                                                   Register scratch1,
1509                                                   Register scratch2,
1510                                                   Label* failure);
1511
1512   // Test that both first and second are sequential ASCII strings.
1513   // Check that they are non-smis.
1514   void JumpIfNotBothSequentialAsciiStrings(Register first,
1515                                            Register second,
1516                                            Register scratch1,
1517                                            Register scratch2,
1518                                            Label* failure);
1519
1520   void ClampUint8(Register output_reg, Register input_reg);
1521
1522   void ClampDoubleToUint8(Register result_reg,
1523                           DoubleRegister input_reg,
1524                           DoubleRegister temp_double_reg);
1525
1526
1527   void LoadInstanceDescriptors(Register map, Register descriptors);
1528   void EnumLength(Register dst, Register map);
1529   void NumberOfOwnDescriptors(Register dst, Register map);
1530
1531   template<typename Field>
1532   void DecodeField(Register reg) {
1533     static const int shift = Field::kShift;
1534     static const int mask = (Field::kMask >> shift) << kSmiTagSize;
1535     srl(reg, reg, shift);
1536     And(reg, reg, Operand(mask));
1537   }
1538
1539   // Generates function and stub prologue code.
1540   void Prologue(PrologueFrameMode frame_mode);
1541
1542   // Activation support.
1543   void EnterFrame(StackFrame::Type type);
1544   void LeaveFrame(StackFrame::Type type);
1545
1546   // Patch the relocated value (lui/ori pair).
1547   void PatchRelocatedValue(Register li_location,
1548                            Register scratch,
1549                            Register new_value);
1550   // Get the relocatad value (loaded data) from the lui/ori pair.
1551   void GetRelocatedValue(Register li_location,
1552                          Register value,
1553                          Register scratch);
1554
1555   // Expects object in a0 and returns map with validated enum cache
1556   // in a0.  Assumes that any other register can be used as a scratch.
1557   void CheckEnumCache(Register null_value, Label* call_runtime);
1558
1559   // AllocationMemento support. Arrays may have an associated
1560   // AllocationMemento object that can be checked for in order to pretransition
1561   // to another type.
1562   // On entry, receiver_reg should point to the array object.
1563   // scratch_reg gets clobbered.
1564   // If allocation info is present, jump to allocation_memento_present.
1565   void TestJSArrayForAllocationMemento(
1566       Register receiver_reg,
1567       Register scratch_reg,
1568       Label* no_memento_found,
1569       Condition cond = al,
1570       Label* allocation_memento_present = NULL);
1571
1572   void JumpIfJSArrayHasAllocationMemento(Register receiver_reg,
1573                                          Register scratch_reg,
1574                                          Label* memento_found) {
1575     Label no_memento_found;
1576     TestJSArrayForAllocationMemento(receiver_reg, scratch_reg,
1577                                     &no_memento_found, eq, memento_found);
1578     bind(&no_memento_found);
1579   }
1580
1581   // Jumps to found label if a prototype map has dictionary elements.
1582   void JumpIfDictionaryInPrototypeChain(Register object, Register scratch0,
1583                                         Register scratch1, Label* found);
1584
1585  private:
1586   void CallCFunctionHelper(Register function,
1587                            int num_reg_arguments,
1588                            int num_double_arguments);
1589
1590   void BranchShort(int16_t offset, BranchDelaySlot bdslot = PROTECT);
1591   void BranchShort(int16_t offset, Condition cond, Register rs,
1592                    const Operand& rt,
1593                    BranchDelaySlot bdslot = PROTECT);
1594   void BranchShort(Label* L, BranchDelaySlot bdslot = PROTECT);
1595   void BranchShort(Label* L, Condition cond, Register rs,
1596                    const Operand& rt,
1597                    BranchDelaySlot bdslot = PROTECT);
1598   void BranchAndLinkShort(int16_t offset, BranchDelaySlot bdslot = PROTECT);
1599   void BranchAndLinkShort(int16_t offset, Condition cond, Register rs,
1600                           const Operand& rt,
1601                           BranchDelaySlot bdslot = PROTECT);
1602   void BranchAndLinkShort(Label* L, BranchDelaySlot bdslot = PROTECT);
1603   void BranchAndLinkShort(Label* L, Condition cond, Register rs,
1604                           const Operand& rt,
1605                           BranchDelaySlot bdslot = PROTECT);
1606   void J(Label* L, BranchDelaySlot bdslot);
1607   void Jr(Label* L, BranchDelaySlot bdslot);
1608   void Jalr(Label* L, BranchDelaySlot bdslot);
1609
1610   // Helper functions for generating invokes.
1611   void InvokePrologue(const ParameterCount& expected,
1612                       const ParameterCount& actual,
1613                       Handle<Code> code_constant,
1614                       Register code_reg,
1615                       Label* done,
1616                       bool* definitely_mismatches,
1617                       InvokeFlag flag,
1618                       const CallWrapper& call_wrapper,
1619                       CallKind call_kind);
1620
1621   // Get the code for the given builtin. Returns if able to resolve
1622   // the function in the 'resolved' flag.
1623   Handle<Code> ResolveBuiltin(Builtins::JavaScript id, bool* resolved);
1624
1625   void InitializeNewString(Register string,
1626                            Register length,
1627                            Heap::RootListIndex map_index,
1628                            Register scratch1,
1629                            Register scratch2);
1630
1631   // Helper for implementing JumpIfNotInNewSpace and JumpIfInNewSpace.
1632   void InNewSpace(Register object,
1633                   Register scratch,
1634                   Condition cond,  // eq for new space, ne otherwise.
1635                   Label* branch);
1636
1637   // Helper for finding the mark bits for an address.  Afterwards, the
1638   // bitmap register points at the word with the mark bits and the mask
1639   // the position of the first bit.  Leaves addr_reg unchanged.
1640   inline void GetMarkBits(Register addr_reg,
1641                           Register bitmap_reg,
1642                           Register mask_reg);
1643
1644   // Helper for throwing exceptions.  Compute a handler address and jump to
1645   // it.  See the implementation for register usage.
1646   void JumpToHandlerEntry();
1647
1648   // Compute memory operands for safepoint stack slots.
1649   static int SafepointRegisterStackIndex(int reg_code);
1650   MemOperand SafepointRegisterSlot(Register reg);
1651   MemOperand SafepointRegistersAndDoublesSlot(Register reg);
1652
1653   bool generating_stub_;
1654   bool has_frame_;
1655   // This handle will be patched with the code object on installation.
1656   Handle<Object> code_object_;
1657
1658   // Needs access to SafepointRegisterStackIndex for compiled frame
1659   // traversal.
1660   friend class StandardFrame;
1661 };
1662
1663
1664 // The code patcher is used to patch (typically) small parts of code e.g. for
1665 // debugging and other types of instrumentation. When using the code patcher
1666 // the exact number of bytes specified must be emitted. It is not legal to emit
1667 // relocation information. If any of these constraints are violated it causes
1668 // an assertion to fail.
1669 class CodePatcher {
1670  public:
1671   CodePatcher(byte* address, int instructions);
1672   virtual ~CodePatcher();
1673
1674   // Macro assembler to emit code.
1675   MacroAssembler* masm() { return &masm_; }
1676
1677   // Emit an instruction directly.
1678   void Emit(Instr instr);
1679
1680   // Emit an address directly.
1681   void Emit(Address addr);
1682
1683   // Change the condition part of an instruction leaving the rest of the current
1684   // instruction unchanged.
1685   void ChangeBranchCondition(Condition cond);
1686
1687  private:
1688   byte* address_;  // The address of the code being patched.
1689   int size_;  // Number of bytes of the expected patch size.
1690   MacroAssembler masm_;  // Macro assembler used to generate the code.
1691 };
1692
1693
1694
1695 #ifdef GENERATED_CODE_COVERAGE
1696 #define CODE_COVERAGE_STRINGIFY(x) #x
1697 #define CODE_COVERAGE_TOSTRING(x) CODE_COVERAGE_STRINGIFY(x)
1698 #define __FILE_LINE__ __FILE__ ":" CODE_COVERAGE_TOSTRING(__LINE__)
1699 #define ACCESS_MASM(masm) masm->stop(__FILE_LINE__); masm->
1700 #else
1701 #define ACCESS_MASM(masm) masm->
1702 #endif
1703
1704 } }  // namespace v8::internal
1705
1706 #endif  // V8_MIPS_MACRO_ASSEMBLER_MIPS_H_