blob: 8c6e5bd944ff1d9ace296d54917993263788122a [file] [log] [blame]
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001// Copyright 2012 the V8 project authors. All rights reserved.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
Andrei Popescu31002712010-02-23 13:46:05 +00004
5#ifndef V8_MIPS_MACRO_ASSEMBLER_MIPS_H_
6#define V8_MIPS_MACRO_ASSEMBLER_MIPS_H_
7
Ben Murdochb8a8cc12014-11-26 15:28:44 +00008#include "src/assembler.h"
9#include "src/globals.h"
10#include "src/mips/assembler-mips.h"
Andrei Popescu31002712010-02-23 13:46:05 +000011
12namespace v8 {
13namespace internal {
14
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000015// Give alias names to registers for calling conventions.
16const Register kReturnRegister0 = {Register::kCode_v0};
17const Register kReturnRegister1 = {Register::kCode_v1};
Ben Murdoch097c5b22016-05-18 11:27:45 +010018const Register kReturnRegister2 = {Register::kCode_a0};
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000019const Register kJSFunctionRegister = {Register::kCode_a1};
20const Register kContextRegister = {Register::kCpRegister};
Ben Murdochc5610432016-08-08 18:44:38 +010021const Register kAllocateSizeRegister = {Register::kCode_a0};
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000022const Register kInterpreterAccumulatorRegister = {Register::kCode_v0};
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000023const Register kInterpreterBytecodeOffsetRegister = {Register::kCode_t4};
24const Register kInterpreterBytecodeArrayRegister = {Register::kCode_t5};
25const Register kInterpreterDispatchTableRegister = {Register::kCode_t6};
26const Register kJavaScriptCallArgCountRegister = {Register::kCode_a0};
27const Register kJavaScriptCallNewTargetRegister = {Register::kCode_a3};
28const Register kRuntimeCallFunctionRegister = {Register::kCode_a1};
29const Register kRuntimeCallArgCountRegister = {Register::kCode_a0};
30
Andrei Popescu31002712010-02-23 13:46:05 +000031// Forward declaration.
32class JumpTarget;
33
Steve Block44f0eee2011-05-26 01:26:41 +010034// Reserved Register Usage Summary.
35//
36// Registers t8, t9, and at are reserved for use by the MacroAssembler.
37//
38// The programmer should know that the MacroAssembler may clobber these three,
39// but won't touch other registers except in special cases.
40//
41// Per the MIPS ABI, register t9 must be used for indirect function call
42// via 'jalr t9' or 'jr t9' instructions. This is relied upon by gcc when
43// trying to update gp register for position-independent-code. Whenever
44// MIPS generated code calls C code, it must be via t9 register.
Andrei Popescu31002712010-02-23 13:46:05 +000045
Ben Murdoch592a9fc2012-03-05 11:04:45 +000046
Ben Murdochb8a8cc12014-11-26 15:28:44 +000047// Flags used for LeaveExitFrame function.
48enum LeaveExitFrameMode {
49 EMIT_RETURN = true,
50 NO_EMIT_RETURN = false
51};
52
53// Flags used for AllocateHeapNumber
54enum TaggingMode {
55 // Tag the result.
56 TAG_RESULT,
57 // Don't tag
58 DONT_TAG_RESULT
Steve Block44f0eee2011-05-26 01:26:41 +010059};
60
61// Flags used for the ObjectToDoubleFPURegister function.
62enum ObjectToDoubleFlags {
63 // No special flags.
64 NO_OBJECT_TO_DOUBLE_FLAGS = 0,
65 // Object is known to be a non smi.
66 OBJECT_NOT_SMI = 1 << 0,
67 // Don't load NaNs or infinities, branch to the non number case instead.
68 AVOID_NANS_AND_INFINITIES = 1 << 1
69};
70
71// Allow programmer to use Branch Delay Slot of Branches, Jumps, Calls.
72enum BranchDelaySlot {
73 USE_DELAY_SLOT,
74 PROTECT
75};
76
Ben Murdoch3ef787d2012-04-12 10:51:47 +010077// Flags used for the li macro-assembler function.
78enum LiFlags {
79 // If the constant value can be represented in just 16 bits, then
80 // optimize the li to use a single instruction, rather than lui/ori pair.
81 OPTIMIZE_SIZE = 0,
82 // Always use 2 instructions (lui/ori pair), even if the constant could
83 // be loaded with just one, so that this value is patchable later.
84 CONSTANT_SIZE = 1
85};
86
87
88enum RememberedSetAction { EMIT_REMEMBERED_SET, OMIT_REMEMBERED_SET };
89enum SmiCheck { INLINE_SMI_CHECK, OMIT_SMI_CHECK };
Ben Murdochb8a8cc12014-11-26 15:28:44 +000090enum PointersToHereCheck {
91 kPointersToHereMaybeInteresting,
92 kPointersToHereAreAlwaysInteresting
93};
Ben Murdoch3ef787d2012-04-12 10:51:47 +010094enum RAStatus { kRAHasNotBeenSaved, kRAHasBeenSaved };
95
Ben Murdochb8a8cc12014-11-26 15:28:44 +000096Register GetRegisterThatIsNotOneOf(Register reg1,
97 Register reg2 = no_reg,
98 Register reg3 = no_reg,
99 Register reg4 = no_reg,
100 Register reg5 = no_reg,
101 Register reg6 = no_reg);
102
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000103bool AreAliased(Register reg1, Register reg2, Register reg3 = no_reg,
104 Register reg4 = no_reg, Register reg5 = no_reg,
105 Register reg6 = no_reg, Register reg7 = no_reg,
106 Register reg8 = no_reg, Register reg9 = no_reg,
107 Register reg10 = no_reg);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100108
109
110// -----------------------------------------------------------------------------
111// Static helper functions.
112
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000113inline MemOperand ContextMemOperand(Register context, int index) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100114 return MemOperand(context, Context::SlotOffset(index));
115}
116
117
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000118inline MemOperand NativeContextMemOperand() {
119 return ContextMemOperand(cp, Context::NATIVE_CONTEXT_INDEX);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100120}
121
122
123// Generate a MemOperand for loading a field from an object.
124inline MemOperand FieldMemOperand(Register object, int offset) {
125 return MemOperand(object, offset - kHeapObjectTag);
126}
127
128
129// Generate a MemOperand for storing arguments 5..N on the stack
130// when calling CallCFunction().
131inline MemOperand CFunctionArgumentOperand(int index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000132 DCHECK(index > kCArgSlotCount);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100133 // Argument 5 takes the slot just past the four Arg-slots.
134 int offset = (index - 5) * kPointerSize + kCArgsSlotsSize;
135 return MemOperand(sp, offset);
136}
137
138
Andrei Popescu31002712010-02-23 13:46:05 +0000139// MacroAssembler implements a collection of frequently used macros.
140class MacroAssembler: public Assembler {
141 public:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000142 MacroAssembler(Isolate* isolate, void* buffer, int size,
143 CodeObjectRequired create_code_object);
Andrei Popescu31002712010-02-23 13:46:05 +0000144
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000145 // Arguments macros.
Steve Block44f0eee2011-05-26 01:26:41 +0100146#define COND_TYPED_ARGS Condition cond, Register r1, const Operand& r2
147#define COND_ARGS cond, r1, r2
148
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000149 // Cases when relocation is not needed.
Steve Block44f0eee2011-05-26 01:26:41 +0100150#define DECLARE_NORELOC_PROTOTYPE(Name, target_type) \
151 void Name(target_type target, BranchDelaySlot bd = PROTECT); \
152 inline void Name(BranchDelaySlot bd, target_type target) { \
153 Name(target, bd); \
154 } \
155 void Name(target_type target, \
156 COND_TYPED_ARGS, \
157 BranchDelaySlot bd = PROTECT); \
158 inline void Name(BranchDelaySlot bd, \
159 target_type target, \
160 COND_TYPED_ARGS) { \
161 Name(target, COND_ARGS, bd); \
162 }
163
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000164#define DECLARE_BRANCH_PROTOTYPES(Name) \
Steve Block44f0eee2011-05-26 01:26:41 +0100165 DECLARE_NORELOC_PROTOTYPE(Name, Label*) \
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000166 DECLARE_NORELOC_PROTOTYPE(Name, int32_t)
Steve Block44f0eee2011-05-26 01:26:41 +0100167
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000168 DECLARE_BRANCH_PROTOTYPES(Branch)
169 DECLARE_BRANCH_PROTOTYPES(BranchAndLink)
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000170 DECLARE_BRANCH_PROTOTYPES(BranchShort)
Steve Block44f0eee2011-05-26 01:26:41 +0100171
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000172#undef DECLARE_BRANCH_PROTOTYPES
Steve Block44f0eee2011-05-26 01:26:41 +0100173#undef COND_TYPED_ARGS
174#undef COND_ARGS
Andrei Popescu31002712010-02-23 13:46:05 +0000175
Ben Murdoch257744e2011-11-30 15:57:28 +0000176
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000177 // Jump, Call, and Ret pseudo instructions implementing inter-working.
178#define COND_ARGS Condition cond = al, Register rs = zero_reg, \
179 const Operand& rt = Operand(zero_reg), BranchDelaySlot bd = PROTECT
180
181 void Jump(Register target, COND_ARGS);
182 void Jump(intptr_t target, RelocInfo::Mode rmode, COND_ARGS);
183 void Jump(Address target, RelocInfo::Mode rmode, COND_ARGS);
184 void Jump(Handle<Code> code, RelocInfo::Mode rmode, COND_ARGS);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100185 static int CallSize(Register target, COND_ARGS);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000186 void Call(Register target, COND_ARGS);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100187 static int CallSize(Address target, RelocInfo::Mode rmode, COND_ARGS);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000188 void Call(Address target, RelocInfo::Mode rmode, COND_ARGS);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000189 int CallSize(Handle<Code> code,
190 RelocInfo::Mode rmode = RelocInfo::CODE_TARGET,
191 TypeFeedbackId ast_id = TypeFeedbackId::None(),
192 COND_ARGS);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000193 void Call(Handle<Code> code,
194 RelocInfo::Mode rmode = RelocInfo::CODE_TARGET,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000195 TypeFeedbackId ast_id = TypeFeedbackId::None(),
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000196 COND_ARGS);
197 void Ret(COND_ARGS);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100198 inline void Ret(BranchDelaySlot bd, Condition cond = al,
199 Register rs = zero_reg, const Operand& rt = Operand(zero_reg)) {
200 Ret(cond, rs, rt, bd);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000201 }
202
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000203 bool IsNear(Label* L, Condition cond, int rs_reg);
204
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100205 void Branch(Label* L,
206 Condition cond,
207 Register rs,
208 Heap::RootListIndex index,
209 BranchDelaySlot bdslot = PROTECT);
210
Ben Murdoch097c5b22016-05-18 11:27:45 +0100211 // GetLabelFunction must be lambda '[](size_t index) -> Label*' or a
212 // functor/function with 'Label *func(size_t index)' declaration.
213 template <typename Func>
214 void GenerateSwitchTable(Register index, size_t case_count,
215 Func GetLabelFunction);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000216#undef COND_ARGS
Ben Murdoch257744e2011-11-30 15:57:28 +0000217
Andrei Popescu31002712010-02-23 13:46:05 +0000218 // Emit code to discard a non-negative number of pointer-sized elements
219 // from the stack, clobbering only the sp register.
Steve Block44f0eee2011-05-26 01:26:41 +0100220 void Drop(int count,
221 Condition cond = cc_always,
222 Register reg = no_reg,
223 const Operand& op = Operand(no_reg));
224
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100225 // Trivial case of DropAndRet that utilizes the delay slot and only emits
226 // 2 instructions.
227 void DropAndRet(int drop);
228
229 void DropAndRet(int drop,
230 Condition cond,
231 Register reg,
232 const Operand& op);
Steve Block44f0eee2011-05-26 01:26:41 +0100233
234 // Swap two registers. If the scratch register is omitted then a slightly
235 // less efficient form using xor instead of mov is emitted.
236 void Swap(Register reg1, Register reg2, Register scratch = no_reg);
Andrei Popescu31002712010-02-23 13:46:05 +0000237
238 void Call(Label* target);
Steve Block44f0eee2011-05-26 01:26:41 +0100239
Ben Murdochda12d292016-06-02 14:46:10 +0100240 inline void Move(Register dst, Handle<Object> handle) { li(dst, handle); }
241 inline void Move(Register dst, Smi* smi) { li(dst, Operand(smi)); }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000242
Ben Murdoch257744e2011-11-30 15:57:28 +0000243 inline void Move(Register dst, Register src) {
244 if (!dst.is(src)) {
245 mov(dst, src);
246 }
247 }
248
Ben Murdochda12d292016-06-02 14:46:10 +0100249 inline void Move_d(FPURegister dst, FPURegister src) {
Ben Murdoch257744e2011-11-30 15:57:28 +0000250 if (!dst.is(src)) {
251 mov_d(dst, src);
252 }
253 }
254
Ben Murdochda12d292016-06-02 14:46:10 +0100255 inline void Move_s(FPURegister dst, FPURegister src) {
256 if (!dst.is(src)) {
257 mov_s(dst, src);
258 }
259 }
260
261 inline void Move(FPURegister dst, FPURegister src) { Move_d(dst, src); }
262
Ben Murdoch257744e2011-11-30 15:57:28 +0000263 inline void Move(Register dst_low, Register dst_high, FPURegister src) {
264 mfc1(dst_low, src);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000265 Mfhc1(dst_high, src);
266 }
267
268 inline void FmoveHigh(Register dst_high, FPURegister src) {
269 Mfhc1(dst_high, src);
270 }
271
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000272 inline void FmoveHigh(FPURegister dst, Register src_high) {
273 Mthc1(src_high, dst);
274 }
275
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000276 inline void FmoveLow(Register dst_low, FPURegister src) {
277 mfc1(dst_low, src);
Ben Murdoch257744e2011-11-30 15:57:28 +0000278 }
279
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000280 void FmoveLow(FPURegister dst, Register src_low);
281
Ben Murdoch257744e2011-11-30 15:57:28 +0000282 inline void Move(FPURegister dst, Register src_low, Register src_high) {
283 mtc1(src_low, dst);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000284 Mthc1(src_high, dst);
Ben Murdoch257744e2011-11-30 15:57:28 +0000285 }
Andrei Popescu31002712010-02-23 13:46:05 +0000286
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400287 void Move(FPURegister dst, float imm);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100288 void Move(FPURegister dst, double imm);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400289
290 // Conditional move.
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100291 void Movz(Register rd, Register rs, Register rt);
292 void Movn(Register rd, Register rs, Register rt);
293 void Movt(Register rd, Register rs, uint16_t cc = 0);
294 void Movf(Register rd, Register rs, uint16_t cc = 0);
295
Ben Murdochda12d292016-06-02 14:46:10 +0100296 // Min, Max macros.
297 // On pre-r6 these functions may modify at and t8 registers.
298 void MinNaNCheck_d(FPURegister dst, FPURegister src1, FPURegister src2,
299 Label* nan = nullptr);
300 void MaxNaNCheck_d(FPURegister dst, FPURegister src1, FPURegister src2,
301 Label* nan = nullptr);
302 void MinNaNCheck_s(FPURegister dst, FPURegister src1, FPURegister src2,
303 Label* nan = nullptr);
304 void MaxNaNCheck_s(FPURegister dst, FPURegister src1, FPURegister src2,
305 Label* nan = nullptr);
306
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100307 void Clz(Register rd, Register rs);
308
Andrei Popescu31002712010-02-23 13:46:05 +0000309 // Jump unconditionally to given label.
310 // We NEED a nop in the branch delay slot, as it used by v8, for example in
311 // CodeGenerator::ProcessDeferred().
Steve Block6ded16b2010-05-10 14:33:55 +0100312 // Currently the branch delay slot is filled by the MacroAssembler.
Andrei Popescu31002712010-02-23 13:46:05 +0000313 // Use rather b(Label) for code generation.
314 void jmp(Label* L) {
Steve Block44f0eee2011-05-26 01:26:41 +0100315 Branch(L);
Andrei Popescu31002712010-02-23 13:46:05 +0000316 }
317
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000318 void Load(Register dst, const MemOperand& src, Representation r);
319 void Store(Register src, const MemOperand& dst, Representation r);
320
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000321 void PushRoot(Heap::RootListIndex index) {
322 LoadRoot(at, index);
323 Push(at);
324 }
325
326 // Compare the object in a register to a value and jump if they are equal.
327 void JumpIfRoot(Register with, Heap::RootListIndex index, Label* if_equal) {
328 LoadRoot(at, index);
329 Branch(if_equal, eq, with, Operand(at));
330 }
331
332 // Compare the object in a register to a value and jump if they are not equal.
333 void JumpIfNotRoot(Register with, Heap::RootListIndex index,
334 Label* if_not_equal) {
335 LoadRoot(at, index);
336 Branch(if_not_equal, ne, with, Operand(at));
337 }
338
Andrei Popescu31002712010-02-23 13:46:05 +0000339 // Load an object from the root table.
340 void LoadRoot(Register destination,
341 Heap::RootListIndex index);
342 void LoadRoot(Register destination,
343 Heap::RootListIndex index,
344 Condition cond, Register src1, const Operand& src2);
345
Steve Block44f0eee2011-05-26 01:26:41 +0100346 // Store an object to the root table.
347 void StoreRoot(Register source,
348 Heap::RootListIndex index);
349 void StoreRoot(Register source,
350 Heap::RootListIndex index,
351 Condition cond, Register src1, const Operand& src2);
352
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100353 // ---------------------------------------------------------------------------
354 // GC Support
355
356 void IncrementalMarkingRecordWriteHelper(Register object,
357 Register value,
358 Register address);
359
360 enum RememberedSetFinalAction {
361 kReturnAtEnd,
362 kFallThroughAtEnd
363 };
Steve Block44f0eee2011-05-26 01:26:41 +0100364
365
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100366 // Record in the remembered set the fact that we have a pointer to new space
367 // at the address pointed to by the addr register. Only works if addr is not
368 // in new space.
369 void RememberedSetHelper(Register object, // Used for debug code.
370 Register addr,
371 Register scratch,
372 SaveFPRegsMode save_fp,
373 RememberedSetFinalAction and_then);
Steve Block44f0eee2011-05-26 01:26:41 +0100374
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100375 void CheckPageFlag(Register object,
376 Register scratch,
377 int mask,
378 Condition cc,
379 Label* condition_met);
380
381 // Check if object is in new space. Jumps if the object is not in new space.
382 // The register scratch can be object itself, but it will be clobbered.
383 void JumpIfNotInNewSpace(Register object,
384 Register scratch,
385 Label* branch) {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100386 InNewSpace(object, scratch, eq, branch);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100387 }
388
389 // Check if object is in new space. Jumps if the object is in new space.
390 // The register scratch can be object itself, but scratch will be clobbered.
391 void JumpIfInNewSpace(Register object,
392 Register scratch,
393 Label* branch) {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100394 InNewSpace(object, scratch, ne, branch);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100395 }
396
397 // Check if an object has a given incremental marking color.
398 void HasColor(Register object,
399 Register scratch0,
400 Register scratch1,
401 Label* has_color,
402 int first_bit,
403 int second_bit);
404
405 void JumpIfBlack(Register object,
Steve Block44f0eee2011-05-26 01:26:41 +0100406 Register scratch0,
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100407 Register scratch1,
408 Label* on_black);
Steve Block44f0eee2011-05-26 01:26:41 +0100409
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000410 // Checks the color of an object. If the object is white we jump to the
411 // incremental marker.
412 void JumpIfWhite(Register value, Register scratch1, Register scratch2,
413 Register scratch3, Label* value_is_white);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100414
415 // Notify the garbage collector that we wrote a pointer into an object.
416 // |object| is the object being stored into, |value| is the object being
417 // stored. value and scratch registers are clobbered by the operation.
418 // The offset is the offset from the start of the object, not the offset from
419 // the tagged HeapObject pointer. For use with FieldOperand(reg, off).
420 void RecordWriteField(
421 Register object,
422 int offset,
423 Register value,
424 Register scratch,
425 RAStatus ra_status,
426 SaveFPRegsMode save_fp,
427 RememberedSetAction remembered_set_action = EMIT_REMEMBERED_SET,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000428 SmiCheck smi_check = INLINE_SMI_CHECK,
429 PointersToHereCheck pointers_to_here_check_for_value =
430 kPointersToHereMaybeInteresting);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100431
432 // As above, but the offset has the tag presubtracted. For use with
433 // MemOperand(reg, off).
434 inline void RecordWriteContextSlot(
435 Register context,
436 int offset,
437 Register value,
438 Register scratch,
439 RAStatus ra_status,
440 SaveFPRegsMode save_fp,
441 RememberedSetAction remembered_set_action = EMIT_REMEMBERED_SET,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000442 SmiCheck smi_check = INLINE_SMI_CHECK,
443 PointersToHereCheck pointers_to_here_check_for_value =
444 kPointersToHereMaybeInteresting) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100445 RecordWriteField(context,
446 offset + kHeapObjectTag,
447 value,
448 scratch,
449 ra_status,
450 save_fp,
451 remembered_set_action,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000452 smi_check,
453 pointers_to_here_check_for_value);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100454 }
455
Ben Murdoch097c5b22016-05-18 11:27:45 +0100456 // Notify the garbage collector that we wrote a code entry into a
457 // JSFunction. Only scratch is clobbered by the operation.
458 void RecordWriteCodeEntryField(Register js_function, Register code_entry,
459 Register scratch);
460
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000461 void RecordWriteForMap(
462 Register object,
463 Register map,
464 Register dst,
465 RAStatus ra_status,
466 SaveFPRegsMode save_fp);
467
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100468 // For a given |object| notify the garbage collector that the slot |address|
469 // has been written. |value| is the object being stored. The value and
470 // address registers are clobbered by the operation.
471 void RecordWrite(
472 Register object,
473 Register address,
474 Register value,
475 RAStatus ra_status,
476 SaveFPRegsMode save_fp,
477 RememberedSetAction remembered_set_action = EMIT_REMEMBERED_SET,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000478 SmiCheck smi_check = INLINE_SMI_CHECK,
479 PointersToHereCheck pointers_to_here_check_for_value =
480 kPointersToHereMaybeInteresting);
Steve Block44f0eee2011-05-26 01:26:41 +0100481
482
483 // ---------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +0000484 // Inline caching support.
Steve Block44f0eee2011-05-26 01:26:41 +0100485
486 // Generate code for checking access rights - used for security checks
487 // on access to global objects across environments. The holder register
488 // is left untouched, whereas both scratch registers are clobbered.
489 void CheckAccessGlobalProxy(Register holder_reg,
490 Register scratch,
491 Label* miss);
492
Ben Murdochc7cc0282012-03-05 14:35:55 +0000493 void GetNumberHash(Register reg0, Register scratch);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000494
495 void LoadFromNumberDictionary(Label* miss,
496 Register elements,
497 Register key,
498 Register result,
499 Register reg0,
500 Register reg1,
501 Register reg2);
502
503
Steve Block44f0eee2011-05-26 01:26:41 +0100504 inline void MarkCode(NopMarkerTypes type) {
505 nop(type);
Steve Block6ded16b2010-05-10 14:33:55 +0100506 }
507
Steve Block44f0eee2011-05-26 01:26:41 +0100508 // Check if the given instruction is a 'type' marker.
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100509 // i.e. check if it is a sll zero_reg, zero_reg, <type> (referenced as
Steve Block44f0eee2011-05-26 01:26:41 +0100510 // nop(type)). These instructions are generated to mark special location in
511 // the code, like some special IC code.
512 static inline bool IsMarkedCode(Instr instr, int type) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000513 DCHECK((FIRST_IC_MARKER <= type) && (type < LAST_CODE_MARKER));
Steve Block44f0eee2011-05-26 01:26:41 +0100514 return IsNop(instr, type);
515 }
Andrei Popescu31002712010-02-23 13:46:05 +0000516
517
Steve Block44f0eee2011-05-26 01:26:41 +0100518 static inline int GetCodeMarker(Instr instr) {
519 uint32_t opcode = ((instr & kOpcodeMask));
520 uint32_t rt = ((instr & kRtFieldMask) >> kRtShift);
521 uint32_t rs = ((instr & kRsFieldMask) >> kRsShift);
522 uint32_t sa = ((instr & kSaFieldMask) >> kSaShift);
523
524 // Return <n> if we have a sll zero_reg, zero_reg, n
525 // else return -1.
526 bool sllzz = (opcode == SLL &&
527 rt == static_cast<uint32_t>(ToNumber(zero_reg)) &&
528 rs == static_cast<uint32_t>(ToNumber(zero_reg)));
529 int type =
530 (sllzz && FIRST_IC_MARKER <= sa && sa < LAST_CODE_MARKER) ? sa : -1;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000531 DCHECK((type == -1) ||
Steve Block44f0eee2011-05-26 01:26:41 +0100532 ((FIRST_IC_MARKER <= type) && (type < LAST_CODE_MARKER)));
533 return type;
534 }
535
536
537
538 // ---------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +0000539 // Allocation support.
Steve Block44f0eee2011-05-26 01:26:41 +0100540
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000541 // Allocate an object in new space or old space. The object_size is
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000542 // specified either in bytes or in words if the allocation flag SIZE_IN_WORDS
543 // is passed. If the space is exhausted control continues at the gc_required
544 // label. The allocated object is returned in result. If the flag
545 // tag_allocated_object is true the result is tagged as as a heap object.
546 // All registers are clobbered also when control continues at the gc_required
547 // label.
548 void Allocate(int object_size,
549 Register result,
550 Register scratch1,
551 Register scratch2,
552 Label* gc_required,
553 AllocationFlags flags);
554
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000555 void Allocate(Register object_size, Register result, Register result_new,
556 Register scratch, Label* gc_required, AllocationFlags flags);
Steve Block44f0eee2011-05-26 01:26:41 +0100557
Ben Murdochc5610432016-08-08 18:44:38 +0100558 // FastAllocate is right now only used for folded allocations. It just
559 // increments the top pointer without checking against limit. This can only
560 // be done if it was proved earlier that the allocation will succeed.
561 void FastAllocate(int object_size, Register result, Register scratch1,
562 Register scratch2, AllocationFlags flags);
563
564 void FastAllocate(Register object_size, Register result, Register result_new,
565 Register scratch, AllocationFlags flags);
566
Steve Block44f0eee2011-05-26 01:26:41 +0100567 void AllocateTwoByteString(Register result,
568 Register length,
569 Register scratch1,
570 Register scratch2,
571 Register scratch3,
572 Label* gc_required);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000573 void AllocateOneByteString(Register result, Register length,
574 Register scratch1, Register scratch2,
575 Register scratch3, Label* gc_required);
Steve Block44f0eee2011-05-26 01:26:41 +0100576 void AllocateTwoByteConsString(Register result,
577 Register length,
578 Register scratch1,
579 Register scratch2,
580 Label* gc_required);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000581 void AllocateOneByteConsString(Register result, Register length,
582 Register scratch1, Register scratch2,
583 Label* gc_required);
Ben Murdoch589d6972011-11-30 16:04:58 +0000584 void AllocateTwoByteSlicedString(Register result,
585 Register length,
586 Register scratch1,
587 Register scratch2,
588 Label* gc_required);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000589 void AllocateOneByteSlicedString(Register result, Register length,
590 Register scratch1, Register scratch2,
591 Label* gc_required);
Steve Block44f0eee2011-05-26 01:26:41 +0100592
593 // Allocates a heap number or jumps to the gc_required label if the young
594 // space is full and a scavenge is needed. All registers are clobbered also
595 // when control continues at the gc_required label.
596 void AllocateHeapNumber(Register result,
597 Register scratch1,
598 Register scratch2,
599 Register heap_number_map,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000600 Label* gc_required,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000601 MutableMode mode = IMMUTABLE);
Steve Block44f0eee2011-05-26 01:26:41 +0100602 void AllocateHeapNumberWithValue(Register result,
603 FPURegister value,
604 Register scratch1,
605 Register scratch2,
606 Label* gc_required);
607
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000608 // Allocate and initialize a JSValue wrapper with the specified {constructor}
609 // and {value}.
610 void AllocateJSValue(Register result, Register constructor, Register value,
611 Register scratch1, Register scratch2,
612 Label* gc_required);
613
Andrei Popescu31002712010-02-23 13:46:05 +0000614 // ---------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +0000615 // Instruction macros.
Andrei Popescu31002712010-02-23 13:46:05 +0000616
Steve Block44f0eee2011-05-26 01:26:41 +0100617#define DEFINE_INSTRUCTION(instr) \
Andrei Popescu31002712010-02-23 13:46:05 +0000618 void instr(Register rd, Register rs, const Operand& rt); \
619 void instr(Register rd, Register rs, Register rt) { \
620 instr(rd, rs, Operand(rt)); \
621 } \
622 void instr(Register rs, Register rt, int32_t j) { \
623 instr(rs, rt, Operand(j)); \
624 }
625
Steve Block44f0eee2011-05-26 01:26:41 +0100626#define DEFINE_INSTRUCTION2(instr) \
Andrei Popescu31002712010-02-23 13:46:05 +0000627 void instr(Register rs, const Operand& rt); \
628 void instr(Register rs, Register rt) { \
629 instr(rs, Operand(rt)); \
630 } \
631 void instr(Register rs, int32_t j) { \
632 instr(rs, Operand(j)); \
633 }
634
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000635#define DEFINE_INSTRUCTION3(instr) \
636 void instr(Register rd_hi, Register rd_lo, Register rs, const Operand& rt); \
637 void instr(Register rd_hi, Register rd_lo, Register rs, Register rt) { \
638 instr(rd_hi, rd_lo, rs, Operand(rt)); \
639 } \
640 void instr(Register rd_hi, Register rd_lo, Register rs, int32_t j) { \
641 instr(rd_hi, rd_lo, rs, Operand(j)); \
642 }
643
Andrei Popescu31002712010-02-23 13:46:05 +0000644 DEFINE_INSTRUCTION(Addu);
Steve Block44f0eee2011-05-26 01:26:41 +0100645 DEFINE_INSTRUCTION(Subu);
Andrei Popescu31002712010-02-23 13:46:05 +0000646 DEFINE_INSTRUCTION(Mul);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400647 DEFINE_INSTRUCTION(Div);
648 DEFINE_INSTRUCTION(Divu);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000649 DEFINE_INSTRUCTION(Mod);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400650 DEFINE_INSTRUCTION(Modu);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000651 DEFINE_INSTRUCTION(Mulh);
Andrei Popescu31002712010-02-23 13:46:05 +0000652 DEFINE_INSTRUCTION2(Mult);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400653 DEFINE_INSTRUCTION(Mulhu);
Andrei Popescu31002712010-02-23 13:46:05 +0000654 DEFINE_INSTRUCTION2(Multu);
655 DEFINE_INSTRUCTION2(Div);
656 DEFINE_INSTRUCTION2(Divu);
657
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000658 DEFINE_INSTRUCTION3(Div);
659 DEFINE_INSTRUCTION3(Mul);
Ben Murdochda12d292016-06-02 14:46:10 +0100660 DEFINE_INSTRUCTION3(Mulu);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000661
Andrei Popescu31002712010-02-23 13:46:05 +0000662 DEFINE_INSTRUCTION(And);
663 DEFINE_INSTRUCTION(Or);
664 DEFINE_INSTRUCTION(Xor);
665 DEFINE_INSTRUCTION(Nor);
Ben Murdoch257744e2011-11-30 15:57:28 +0000666 DEFINE_INSTRUCTION2(Neg);
Andrei Popescu31002712010-02-23 13:46:05 +0000667
668 DEFINE_INSTRUCTION(Slt);
669 DEFINE_INSTRUCTION(Sltu);
670
Steve Block44f0eee2011-05-26 01:26:41 +0100671 // MIPS32 R2 instruction macro.
672 DEFINE_INSTRUCTION(Ror);
673
Andrei Popescu31002712010-02-23 13:46:05 +0000674#undef DEFINE_INSTRUCTION
675#undef DEFINE_INSTRUCTION2
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000676#undef DEFINE_INSTRUCTION3
Andrei Popescu31002712010-02-23 13:46:05 +0000677
Ben Murdochda12d292016-06-02 14:46:10 +0100678 // Load Scaled Address instructions. Parameter sa (shift argument) must be
679 // between [1, 31] (inclusive). On pre-r6 architectures the scratch register
680 // may be clobbered.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000681 void Lsa(Register rd, Register rs, Register rt, uint8_t sa,
682 Register scratch = at);
Ben Murdochda12d292016-06-02 14:46:10 +0100683
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000684 void Pref(int32_t hint, const MemOperand& rs);
685
Andrei Popescu31002712010-02-23 13:46:05 +0000686
Ben Murdoch257744e2011-11-30 15:57:28 +0000687 // ---------------------------------------------------------------------------
688 // Pseudo-instructions.
Andrei Popescu31002712010-02-23 13:46:05 +0000689
Ben Murdoch61f157c2016-09-16 13:49:30 +0100690 // Change endianness
691 void ByteSwapSigned(Register reg, int operand_size);
692 void ByteSwapUnsigned(Register reg, int operand_size);
693
Andrei Popescu31002712010-02-23 13:46:05 +0000694 void mov(Register rd, Register rt) { or_(rd, rt, zero_reg); }
Andrei Popescu31002712010-02-23 13:46:05 +0000695
Ben Murdochc5610432016-08-08 18:44:38 +0100696 void Ulh(Register rd, const MemOperand& rs);
697 void Ulhu(Register rd, const MemOperand& rs);
698 void Ush(Register rd, const MemOperand& rs, Register scratch);
699
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000700 void Ulw(Register rd, const MemOperand& rs);
701 void Usw(Register rd, const MemOperand& rs);
702
Ben Murdochc5610432016-08-08 18:44:38 +0100703 void Ulwc1(FPURegister fd, const MemOperand& rs, Register scratch);
704 void Uswc1(FPURegister fd, const MemOperand& rs, Register scratch);
705
706 void Uldc1(FPURegister fd, const MemOperand& rs, Register scratch);
707 void Usdc1(FPURegister fd, const MemOperand& rs, Register scratch);
708
Ben Murdoch257744e2011-11-30 15:57:28 +0000709 // Load int32 in the rd register.
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100710 void li(Register rd, Operand j, LiFlags mode = OPTIMIZE_SIZE);
711 inline void li(Register rd, int32_t j, LiFlags mode = OPTIMIZE_SIZE) {
712 li(rd, Operand(j), mode);
Andrei Popescu31002712010-02-23 13:46:05 +0000713 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000714 void li(Register dst, Handle<Object> value, LiFlags mode = OPTIMIZE_SIZE);
Andrei Popescu31002712010-02-23 13:46:05 +0000715
Andrei Popescu31002712010-02-23 13:46:05 +0000716 // Push multiple registers on the stack.
Steve Block6ded16b2010-05-10 14:33:55 +0100717 // Registers are saved in numerical order, with higher numbered registers
Ben Murdoch257744e2011-11-30 15:57:28 +0000718 // saved in higher memory addresses.
Andrei Popescu31002712010-02-23 13:46:05 +0000719 void MultiPush(RegList regs);
720 void MultiPushReversed(RegList regs);
Steve Block44f0eee2011-05-26 01:26:41 +0100721
Ben Murdoch589d6972011-11-30 16:04:58 +0000722 void MultiPushFPU(RegList regs);
723 void MultiPushReversedFPU(RegList regs);
724
Ben Murdoch257744e2011-11-30 15:57:28 +0000725 void push(Register src) {
Andrei Popescu31002712010-02-23 13:46:05 +0000726 Addu(sp, sp, Operand(-kPointerSize));
727 sw(src, MemOperand(sp, 0));
728 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000729 void Push(Register src) { push(src); }
Steve Block44f0eee2011-05-26 01:26:41 +0100730
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000731 // Push a handle.
732 void Push(Handle<Object> handle);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000733 void Push(Smi* smi) { Push(Handle<Smi>(smi, isolate())); }
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000734
Ben Murdoch257744e2011-11-30 15:57:28 +0000735 // Push two registers. Pushes leftmost register first (to highest address).
736 void Push(Register src1, Register src2) {
Steve Block44f0eee2011-05-26 01:26:41 +0100737 Subu(sp, sp, Operand(2 * kPointerSize));
738 sw(src1, MemOperand(sp, 1 * kPointerSize));
739 sw(src2, MemOperand(sp, 0 * kPointerSize));
740 }
741
Ben Murdoch257744e2011-11-30 15:57:28 +0000742 // Push three registers. Pushes leftmost register first (to highest address).
743 void Push(Register src1, Register src2, Register src3) {
744 Subu(sp, sp, Operand(3 * kPointerSize));
Steve Block44f0eee2011-05-26 01:26:41 +0100745 sw(src1, MemOperand(sp, 2 * kPointerSize));
746 sw(src2, MemOperand(sp, 1 * kPointerSize));
747 sw(src3, MemOperand(sp, 0 * kPointerSize));
748 }
749
Ben Murdoch257744e2011-11-30 15:57:28 +0000750 // Push four registers. Pushes leftmost register first (to highest address).
751 void Push(Register src1, Register src2, Register src3, Register src4) {
752 Subu(sp, sp, Operand(4 * kPointerSize));
Steve Block44f0eee2011-05-26 01:26:41 +0100753 sw(src1, MemOperand(sp, 3 * kPointerSize));
754 sw(src2, MemOperand(sp, 2 * kPointerSize));
755 sw(src3, MemOperand(sp, 1 * kPointerSize));
756 sw(src4, MemOperand(sp, 0 * kPointerSize));
757 }
758
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000759 // Push five registers. Pushes leftmost register first (to highest address).
760 void Push(Register src1, Register src2, Register src3, Register src4,
761 Register src5) {
762 Subu(sp, sp, Operand(5 * kPointerSize));
763 sw(src1, MemOperand(sp, 4 * kPointerSize));
764 sw(src2, MemOperand(sp, 3 * kPointerSize));
765 sw(src3, MemOperand(sp, 2 * kPointerSize));
766 sw(src4, MemOperand(sp, 1 * kPointerSize));
767 sw(src5, MemOperand(sp, 0 * kPointerSize));
768 }
769
Andrei Popescu31002712010-02-23 13:46:05 +0000770 void Push(Register src, Condition cond, Register tst1, Register tst2) {
Ben Murdoch257744e2011-11-30 15:57:28 +0000771 // Since we don't have conditional execution we use a Branch.
Steve Block44f0eee2011-05-26 01:26:41 +0100772 Branch(3, cond, tst1, Operand(tst2));
Ben Murdoch257744e2011-11-30 15:57:28 +0000773 Subu(sp, sp, Operand(kPointerSize));
Andrei Popescu31002712010-02-23 13:46:05 +0000774 sw(src, MemOperand(sp, 0));
775 }
776
777 // Pops multiple values from the stack and load them in the
778 // registers specified in regs. Pop order is the opposite as in MultiPush.
779 void MultiPop(RegList regs);
780 void MultiPopReversed(RegList regs);
Ben Murdoch257744e2011-11-30 15:57:28 +0000781
Ben Murdoch589d6972011-11-30 16:04:58 +0000782 void MultiPopFPU(RegList regs);
783 void MultiPopReversedFPU(RegList regs);
784
Ben Murdoch257744e2011-11-30 15:57:28 +0000785 void pop(Register dst) {
Andrei Popescu31002712010-02-23 13:46:05 +0000786 lw(dst, MemOperand(sp, 0));
787 Addu(sp, sp, Operand(kPointerSize));
788 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000789 void Pop(Register dst) { pop(dst); }
Ben Murdoch257744e2011-11-30 15:57:28 +0000790
791 // Pop two registers. Pops rightmost register first (from lower address).
792 void Pop(Register src1, Register src2) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000793 DCHECK(!src1.is(src2));
Ben Murdoch257744e2011-11-30 15:57:28 +0000794 lw(src2, MemOperand(sp, 0 * kPointerSize));
795 lw(src1, MemOperand(sp, 1 * kPointerSize));
796 Addu(sp, sp, 2 * kPointerSize);
797 }
798
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100799 // Pop three registers. Pops rightmost register first (from lower address).
800 void Pop(Register src1, Register src2, Register src3) {
801 lw(src3, MemOperand(sp, 0 * kPointerSize));
802 lw(src2, MemOperand(sp, 1 * kPointerSize));
803 lw(src1, MemOperand(sp, 2 * kPointerSize));
804 Addu(sp, sp, 3 * kPointerSize);
805 }
806
Steve Block44f0eee2011-05-26 01:26:41 +0100807 void Pop(uint32_t count = 1) {
808 Addu(sp, sp, Operand(count * kPointerSize));
Andrei Popescu31002712010-02-23 13:46:05 +0000809 }
810
Ben Murdochda12d292016-06-02 14:46:10 +0100811 // Push a fixed frame, consisting of ra, fp.
812 void PushCommonFrame(Register marker_reg = no_reg);
813
814 // Push a standard frame, consisting of ra, fp, context and JS function.
815 void PushStandardFrame(Register function_reg);
816
817 void PopCommonFrame(Register marker_reg = no_reg);
818
Steve Block44f0eee2011-05-26 01:26:41 +0100819 // Push and pop the registers that can hold pointers, as defined by the
820 // RegList constant kSafepointSavedRegisters.
Ben Murdoch257744e2011-11-30 15:57:28 +0000821 void PushSafepointRegisters();
822 void PopSafepointRegisters();
Ben Murdoch257744e2011-11-30 15:57:28 +0000823 // Store value in register src in the safepoint stack slot for
824 // register dst.
825 void StoreToSafepointRegisterSlot(Register src, Register dst);
Ben Murdoch257744e2011-11-30 15:57:28 +0000826 // Load the value of the src register from its safepoint stack slot
827 // into register dst.
828 void LoadFromSafepointRegisterSlot(Register dst, Register src);
Steve Block44f0eee2011-05-26 01:26:41 +0100829
830 // MIPS32 R2 instruction macro.
831 void Ins(Register rt, Register rs, uint16_t pos, uint16_t size);
832 void Ext(Register rt, Register rs, uint16_t pos, uint16_t size);
833
Ben Murdochc5610432016-08-08 18:44:38 +0100834 // Int64Lowering instructions
835 void AddPair(Register dst_low, Register dst_high, Register left_low,
836 Register left_high, Register right_low, Register right_high);
837
838 void SubPair(Register dst_low, Register dst_high, Register left_low,
839 Register left_high, Register right_low, Register right_high);
840
841 void ShlPair(Register dst_low, Register dst_high, Register src_low,
842 Register src_high, Register shift);
843
844 void ShlPair(Register dst_low, Register dst_high, Register src_low,
845 Register src_high, uint32_t shift);
846
847 void ShrPair(Register dst_low, Register dst_high, Register src_low,
848 Register src_high, Register shift);
849
850 void ShrPair(Register dst_low, Register dst_high, Register src_low,
851 Register src_high, uint32_t shift);
852
853 void SarPair(Register dst_low, Register dst_high, Register src_low,
854 Register src_high, Register shift);
855
856 void SarPair(Register dst_low, Register dst_high, Register src_low,
857 Register src_high, uint32_t shift);
858
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100859 // ---------------------------------------------------------------------------
860 // FPU macros. These do not handle special cases like NaN or +- inf.
861
Steve Block44f0eee2011-05-26 01:26:41 +0100862 // Convert unsigned word to double.
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000863 void Cvt_d_uw(FPURegister fd, Register rs, FPURegister scratch);
Steve Block44f0eee2011-05-26 01:26:41 +0100864
Ben Murdoch097c5b22016-05-18 11:27:45 +0100865 // Convert single to unsigned word.
866 void Trunc_uw_s(FPURegister fd, FPURegister fs, FPURegister scratch);
867 void Trunc_uw_s(FPURegister fd, Register rs, FPURegister scratch);
868
Steve Block44f0eee2011-05-26 01:26:41 +0100869 // Convert double to unsigned word.
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000870 void Trunc_uw_d(FPURegister fd, FPURegister fs, FPURegister scratch);
871 void Trunc_uw_d(FPURegister fd, Register rs, FPURegister scratch);
Steve Block44f0eee2011-05-26 01:26:41 +0100872
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100873 void Trunc_w_d(FPURegister fd, FPURegister fs);
874 void Round_w_d(FPURegister fd, FPURegister fs);
875 void Floor_w_d(FPURegister fd, FPURegister fs);
876 void Ceil_w_d(FPURegister fd, FPURegister fs);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000877
Ben Murdoch61f157c2016-09-16 13:49:30 +0100878 // Preserve value of a NaN operand
879 void SubNanPreservePayloadAndSign_s(FPURegister fd, FPURegister fs,
880 FPURegister ft);
881 void SubNanPreservePayloadAndSign_d(FPURegister fd, FPURegister fs,
882 FPURegister ft);
883
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000884 // FP32 mode: Move the general purpose register into
885 // the high part of the double-register pair.
886 // FP64 mode: Move the general-purpose register into
887 // the higher 32 bits of the 64-bit coprocessor register,
888 // while leaving the low bits unchanged.
889 void Mthc1(Register rt, FPURegister fs);
890
891 // FP32 mode: move the high part of the double-register pair into
892 // general purpose register.
893 // FP64 mode: Move the higher 32 bits of the 64-bit coprocessor register into
894 // general-purpose register.
895 void Mfhc1(Register rt, FPURegister fs);
896
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000897 // Wrapper functions for the different cmp/branch types.
898 inline void BranchF32(Label* target, Label* nan, Condition cc,
899 FPURegister cmp1, FPURegister cmp2,
900 BranchDelaySlot bd = PROTECT) {
901 BranchFCommon(S, target, nan, cc, cmp1, cmp2, bd);
902 }
903
904 inline void BranchF64(Label* target, Label* nan, Condition cc,
905 FPURegister cmp1, FPURegister cmp2,
906 BranchDelaySlot bd = PROTECT) {
907 BranchFCommon(D, target, nan, cc, cmp1, cmp2, bd);
908 }
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100909
910 // Alternate (inline) version for better readability with USE_DELAY_SLOT.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000911 inline void BranchF64(BranchDelaySlot bd, Label* target, Label* nan,
912 Condition cc, FPURegister cmp1, FPURegister cmp2) {
913 BranchF64(target, nan, cc, cmp1, cmp2, bd);
914 }
915
916 inline void BranchF32(BranchDelaySlot bd, Label* target, Label* nan,
917 Condition cc, FPURegister cmp1, FPURegister cmp2) {
918 BranchF32(target, nan, cc, cmp1, cmp2, bd);
919 }
920
921 // Alias functions for backward compatibility.
922 inline void BranchF(Label* target, Label* nan, Condition cc, FPURegister cmp1,
923 FPURegister cmp2, BranchDelaySlot bd = PROTECT) {
924 BranchF64(target, nan, cc, cmp1, cmp2, bd);
925 }
926
927 inline void BranchF(BranchDelaySlot bd, Label* target, Label* nan,
928 Condition cc, FPURegister cmp1, FPURegister cmp2) {
929 BranchF64(bd, target, nan, cc, cmp1, cmp2);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000930 }
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100931
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000932 // Truncates a double using a specific rounding mode, and writes the value
933 // to the result register.
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100934 // The except_flag will contain any exceptions caused by the instruction.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000935 // If check_inexact is kDontCheckForInexactConversion, then the inexact
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100936 // exception is masked.
937 void EmitFPUTruncate(FPURoundingMode rounding_mode,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000938 Register result,
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100939 DoubleRegister double_input,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000940 Register scratch,
941 DoubleRegister double_scratch,
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100942 Register except_flag,
943 CheckForInexactConversion check_inexact
944 = kDontCheckForInexactConversion);
945
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000946 // Performs a truncating conversion of a floating point number as used by
947 // the JS bitwise operations. See ECMA-262 9.5: ToInt32. Goes to 'done' if it
948 // succeeds, otherwise falls through if result is saturated. On return
949 // 'result' either holds answer, or is clobbered on fall through.
950 //
951 // Only public for the test code in test-code-stubs-arm.cc.
952 void TryInlineTruncateDoubleToI(Register result,
953 DoubleRegister input,
954 Label* done);
Ben Murdoch257744e2011-11-30 15:57:28 +0000955
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000956 // Performs a truncating conversion of a floating point number as used by
957 // the JS bitwise operations. See ECMA-262 9.5: ToInt32.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000958 // Exits with 'result' holding the answer.
959 void TruncateDoubleToI(Register result, DoubleRegister double_input);
960
961 // Performs a truncating conversion of a heap number as used by
962 // the JS bitwise operations. See ECMA-262 9.5: ToInt32. 'result' and 'input'
963 // must be different registers. Exits with 'result' holding the answer.
964 void TruncateHeapNumberToI(Register result, Register object);
965
966 // Converts the smi or heap number in object to an int32 using the rules
967 // for ToInt32 as described in ECMAScript 9.5.: the value is truncated
968 // and brought into the range -2^31 .. +2^31 - 1. 'result' and 'input' must be
969 // different registers.
970 void TruncateNumberToI(Register object,
971 Register result,
972 Register heap_number_map,
973 Register scratch,
974 Label* not_int32);
975
976 // Loads the number from object into dst register.
977 // If |object| is neither smi nor heap number, |not_number| is jumped to
978 // with |object| still intact.
979 void LoadNumber(Register object,
980 FPURegister dst,
981 Register heap_number_map,
982 Register scratch,
983 Label* not_number);
984
985 // Loads the number from object into double_dst in the double format.
986 // Control will jump to not_int32 if the value cannot be exactly represented
987 // by a 32-bit integer.
988 // Floating point value in the 32-bit integer range that are not exact integer
989 // won't be loaded.
990 void LoadNumberAsInt32Double(Register object,
991 DoubleRegister double_dst,
992 Register heap_number_map,
993 Register scratch1,
994 Register scratch2,
995 FPURegister double_scratch,
996 Label* not_int32);
997
998 // Loads the number from object into dst as a 32-bit integer.
999 // Control will jump to not_int32 if the object cannot be exactly represented
1000 // by a 32-bit integer.
1001 // Floating point value in the 32-bit integer range that are not exact integer
1002 // won't be converted.
1003 void LoadNumberAsInt32(Register object,
1004 Register dst,
1005 Register heap_number_map,
1006 Register scratch1,
1007 Register scratch2,
1008 FPURegister double_scratch0,
1009 FPURegister double_scratch1,
1010 Label* not_int32);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001011
Steve Block44f0eee2011-05-26 01:26:41 +01001012 // Enter exit frame.
Ben Murdoch257744e2011-11-30 15:57:28 +00001013 // argc - argument count to be dropped by LeaveExitFrame.
1014 // save_doubles - saves FPU registers on stack, currently disabled.
1015 // stack_space - extra stack space.
1016 void EnterExitFrame(bool save_doubles,
1017 int stack_space = 0);
Steve Block6ded16b2010-05-10 14:33:55 +01001018
Ben Murdoch257744e2011-11-30 15:57:28 +00001019 // Leave the current exit frame.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001020 void LeaveExitFrame(bool save_doubles, Register arg_count,
1021 bool restore_context, bool do_return = NO_EMIT_RETURN,
1022 bool argument_count_is_length = false);
Steve Block6ded16b2010-05-10 14:33:55 +01001023
Steve Block44f0eee2011-05-26 01:26:41 +01001024 // Get the actual activation frame alignment for target environment.
1025 static int ActivationFrameAlignment();
Steve Block6ded16b2010-05-10 14:33:55 +01001026
Ben Murdoch257744e2011-11-30 15:57:28 +00001027 // Make sure the stack is aligned. Only emits code in debug mode.
1028 void AssertStackIsAligned();
1029
Steve Block44f0eee2011-05-26 01:26:41 +01001030 void LoadContext(Register dst, int context_chain_length);
Steve Block6ded16b2010-05-10 14:33:55 +01001031
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001032 // Load the global object from the current context.
1033 void LoadGlobalObject(Register dst) {
1034 LoadNativeContextSlot(Context::EXTENSION_INDEX, dst);
1035 }
1036
1037 // Load the global proxy from the current context.
1038 void LoadGlobalProxy(Register dst) {
1039 LoadNativeContextSlot(Context::GLOBAL_PROXY_INDEX, dst);
1040 }
1041
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001042 // Conditionally load the cached Array transitioned map of type
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001043 // transitioned_kind from the native context if the map in register
1044 // map_in_out is the cached Array map in the native context of
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001045 // expected_kind.
1046 void LoadTransitionedArrayMapConditional(
1047 ElementsKind expected_kind,
1048 ElementsKind transitioned_kind,
1049 Register map_in_out,
1050 Register scratch,
1051 Label* no_map_match);
1052
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001053 void LoadNativeContextSlot(int index, Register dst);
Steve Block44f0eee2011-05-26 01:26:41 +01001054
1055 // Load the initial map from the global function. The registers
1056 // function and map can be the same, function is then overwritten.
1057 void LoadGlobalFunctionInitialMap(Register function,
1058 Register map,
1059 Register scratch);
1060
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001061 void InitializeRootRegister() {
1062 ExternalReference roots_array_start =
1063 ExternalReference::roots_array_start(isolate());
1064 li(kRootRegister, Operand(roots_array_start));
1065 }
1066
Steve Block44f0eee2011-05-26 01:26:41 +01001067 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001068 // JavaScript invokes.
1069
Ben Murdochda12d292016-06-02 14:46:10 +01001070 // Removes current frame and its arguments from the stack preserving
1071 // the arguments and a return address pushed to the stack for the next call.
1072 // Both |callee_args_count| and |caller_args_count_reg| do not include
1073 // receiver. |callee_args_count| is not modified, |caller_args_count_reg|
1074 // is trashed.
1075 void PrepareForTailCall(const ParameterCount& callee_args_count,
1076 Register caller_args_count_reg, Register scratch0,
1077 Register scratch1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001078
Ben Murdochda12d292016-06-02 14:46:10 +01001079 // Invoke the JavaScript function code by either calling or jumping.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001080 void InvokeFunctionCode(Register function, Register new_target,
1081 const ParameterCount& expected,
1082 const ParameterCount& actual, InvokeFlag flag,
1083 const CallWrapper& call_wrapper);
1084
1085 void FloodFunctionIfStepping(Register fun, Register new_target,
1086 const ParameterCount& expected,
1087 const ParameterCount& actual);
Steve Block6ded16b2010-05-10 14:33:55 +01001088
1089 // Invoke the JavaScript function in the given register. Changes the
1090 // current context to the context in the function before invoking.
1091 void InvokeFunction(Register function,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001092 Register new_target,
Steve Block6ded16b2010-05-10 14:33:55 +01001093 const ParameterCount& actual,
Steve Block44f0eee2011-05-26 01:26:41 +01001094 InvokeFlag flag,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001095 const CallWrapper& call_wrapper);
Steve Block44f0eee2011-05-26 01:26:41 +01001096
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001097 void InvokeFunction(Register function,
1098 const ParameterCount& expected,
Steve Block44f0eee2011-05-26 01:26:41 +01001099 const ParameterCount& actual,
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001100 InvokeFlag flag,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001101 const CallWrapper& call_wrapper);
1102
1103 void InvokeFunction(Handle<JSFunction> function,
1104 const ParameterCount& expected,
1105 const ParameterCount& actual,
1106 InvokeFlag flag,
1107 const CallWrapper& call_wrapper);
Steve Block6ded16b2010-05-10 14:33:55 +01001108
Steve Block44f0eee2011-05-26 01:26:41 +01001109 void IsObjectJSStringType(Register object,
1110 Register scratch,
1111 Label* fail);
1112
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001113 void IsObjectNameType(Register object,
1114 Register scratch,
1115 Label* fail);
1116
Steve Block44f0eee2011-05-26 01:26:41 +01001117 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001118 // Debugger Support.
Steve Block6ded16b2010-05-10 14:33:55 +01001119
Steve Block6ded16b2010-05-10 14:33:55 +01001120 void DebugBreak();
Steve Block6ded16b2010-05-10 14:33:55 +01001121
Steve Block44f0eee2011-05-26 01:26:41 +01001122 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001123 // Exception handling.
Andrei Popescu31002712010-02-23 13:46:05 +00001124
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001125 // Push a new stack handler and link into stack handler chain.
1126 void PushStackHandler();
Andrei Popescu31002712010-02-23 13:46:05 +00001127
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001128 // Unlink the stack handler on top of the stack from the stack handler chain.
Andrei Popescu31002712010-02-23 13:46:05 +00001129 // Must preserve the result register.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001130 void PopStackHandler();
Andrei Popescu31002712010-02-23 13:46:05 +00001131
Ben Murdoch257744e2011-11-30 15:57:28 +00001132 // Copies a number of bytes from src to dst. All registers are clobbered. On
1133 // exit src and dst will point to the place just after where the last byte was
1134 // read or written and length will be zero.
1135 void CopyBytes(Register src,
1136 Register dst,
1137 Register length,
1138 Register scratch);
1139
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001140 // Initialize fields with filler values. Fields starting at |current_address|
1141 // not including |end_address| are overwritten with the value in |filler|. At
1142 // the end the loop, |current_address| takes the value of |end_address|.
1143 void InitializeFieldsWithFiller(Register current_address,
1144 Register end_address, Register filler);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001145
Steve Block44f0eee2011-05-26 01:26:41 +01001146 // -------------------------------------------------------------------------
Andrei Popescu31002712010-02-23 13:46:05 +00001147 // Support functions.
1148
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001149 // Machine code version of Map::GetConstructor().
1150 // |temp| holds |result|'s map when done, and |temp2| its instance type.
1151 void GetMapConstructor(Register result, Register map, Register temp,
1152 Register temp2);
1153
Steve Block44f0eee2011-05-26 01:26:41 +01001154 // Try to get function prototype of a function and puts the value in
1155 // the result register. Checks that the function really is a
1156 // function and jumps to the miss label if the fast checks fail. The
1157 // function register will be untouched; the other registers may be
1158 // clobbered.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001159 void TryGetFunctionPrototype(Register function, Register result,
1160 Register scratch, Label* miss);
Steve Block44f0eee2011-05-26 01:26:41 +01001161
Steve Block6ded16b2010-05-10 14:33:55 +01001162 void GetObjectType(Register function,
1163 Register map,
1164 Register type_reg);
1165
Ben Murdoch097c5b22016-05-18 11:27:45 +01001166 void GetInstanceType(Register object_map, Register object_instance_type) {
1167 lbu(object_instance_type,
1168 FieldMemOperand(object_map, Map::kInstanceTypeOffset));
1169 }
1170
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001171 // Check if a map for a JSObject indicates that the object has fast elements.
1172 // Jump to the specified label if it does not.
1173 void CheckFastElements(Register map,
1174 Register scratch,
1175 Label* fail);
1176
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001177 // Check if a map for a JSObject indicates that the object can have both smi
1178 // and HeapObject elements. Jump to the specified label if it does not.
1179 void CheckFastObjectElements(Register map,
1180 Register scratch,
1181 Label* fail);
1182
1183 // Check if a map for a JSObject indicates that the object has fast smi only
1184 // elements. Jump to the specified label if it does not.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001185 void CheckFastSmiElements(Register map,
1186 Register scratch,
1187 Label* fail);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001188
1189 // Check to see if maybe_number can be stored as a double in
1190 // FastDoubleElements. If it can, store it at the index specified by key in
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001191 // the FastDoubleElements array elements. Otherwise jump to fail.
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001192 void StoreNumberToDoubleElements(Register value_reg,
1193 Register key_reg,
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001194 Register elements_reg,
1195 Register scratch1,
1196 Register scratch2,
1197 Register scratch3,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001198 Label* fail,
1199 int elements_offset = 0);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001200
1201 // Compare an object's map with the specified map and its transitioned
1202 // elements maps if mode is ALLOW_ELEMENT_TRANSITION_MAPS. Jumps to
1203 // "branch_to" if the result of the comparison is "cond". If multiple map
1204 // compares are required, the compare sequences branches to early_success.
1205 void CompareMapAndBranch(Register obj,
1206 Register scratch,
1207 Handle<Map> map,
1208 Label* early_success,
1209 Condition cond,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001210 Label* branch_to);
1211
1212 // As above, but the map of the object is already loaded into the register
1213 // which is preserved by the code generated.
1214 void CompareMapAndBranch(Register obj_map,
1215 Handle<Map> map,
1216 Label* early_success,
1217 Condition cond,
1218 Label* branch_to);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001219
1220 // Check if the map of an object is equal to a specified map and branch to
1221 // label if not. Skip the smi check if not required (object is known to be a
1222 // heap object). If mode is ALLOW_ELEMENT_TRANSITION_MAPS, then also match
1223 // against maps that are ElementsKind transition maps of the specificed map.
Steve Block44f0eee2011-05-26 01:26:41 +01001224 void CheckMap(Register obj,
1225 Register scratch,
1226 Handle<Map> map,
1227 Label* fail,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001228 SmiCheckType smi_check_type);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001229
Andrei Popescu31002712010-02-23 13:46:05 +00001230
Steve Block44f0eee2011-05-26 01:26:41 +01001231 void CheckMap(Register obj,
1232 Register scratch,
1233 Heap::RootListIndex index,
1234 Label* fail,
Ben Murdoch257744e2011-11-30 15:57:28 +00001235 SmiCheckType smi_check_type);
1236
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001237 // Check if the map of an object is equal to a specified weak map and branch
1238 // to a specified target if equal. Skip the smi check if not required
1239 // (object is known to be a heap object)
1240 void DispatchWeakMap(Register obj, Register scratch1, Register scratch2,
1241 Handle<WeakCell> cell, Handle<Code> success,
1242 SmiCheckType smi_check_type);
Steve Block6ded16b2010-05-10 14:33:55 +01001243
Ben Murdoch61f157c2016-09-16 13:49:30 +01001244 // If the value is a NaN, canonicalize the value else, do nothing.
1245 void FPUCanonicalizeNaN(const DoubleRegister dst, const DoubleRegister src);
1246
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001247 // Get value of the weak cell.
1248 void GetWeakValue(Register value, Handle<WeakCell> cell);
1249
1250 // Load the value of the weak cell in the value register. Branch to the
1251 // given miss label is the weak cell was cleared.
1252 void LoadWeakValue(Register value, Handle<WeakCell> cell, Label* miss);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001253
1254 // Load and check the instance type of an object for being a string.
1255 // Loads the type into the second argument register.
1256 // Returns a condition that will be enabled if the object was a string.
1257 Condition IsObjectStringType(Register obj,
1258 Register type,
1259 Register result) {
1260 lw(type, FieldMemOperand(obj, HeapObject::kMapOffset));
1261 lbu(type, FieldMemOperand(type, Map::kInstanceTypeOffset));
1262 And(type, type, Operand(kIsNotStringMask));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001263 DCHECK_EQ(0u, kStringTag);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001264 return eq;
1265 }
1266
1267
Steve Block44f0eee2011-05-26 01:26:41 +01001268 // Picks out an array index from the hash field.
1269 // Register use:
1270 // hash - holds the index's hash. Clobbered.
1271 // index - holds the overwritten index on exit.
1272 void IndexFromHash(Register hash, Register index);
Andrei Popescu31002712010-02-23 13:46:05 +00001273
Ben Murdoch257744e2011-11-30 15:57:28 +00001274 // Get the number of least significant bits from a register.
1275 void GetLeastBitsFromSmi(Register dst, Register src, int num_least_bits);
1276 void GetLeastBitsFromInt32(Register dst, Register src, int mun_least_bits);
1277
Steve Block44f0eee2011-05-26 01:26:41 +01001278 // Load the value of a number object into a FPU double register. If the
1279 // object is not a number a jump to the label not_number is performed
1280 // and the FPU double register is unchanged.
1281 void ObjectToDoubleFPURegister(
1282 Register object,
1283 FPURegister value,
1284 Register scratch1,
1285 Register scratch2,
1286 Register heap_number_map,
1287 Label* not_number,
1288 ObjectToDoubleFlags flags = NO_OBJECT_TO_DOUBLE_FLAGS);
1289
1290 // Load the value of a smi object into a FPU double register. The register
1291 // scratch1 can be the same register as smi in which case smi will hold the
1292 // untagged value afterwards.
1293 void SmiToDoubleFPURegister(Register smi,
1294 FPURegister value,
1295 Register scratch1);
1296
1297 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001298 // Overflow handling functions.
1299 // Usage: first call the appropriate arithmetic function, then call one of the
1300 // jump functions with the overflow_dst register as the second parameter.
1301
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001302 inline void AddBranchOvf(Register dst, Register left, const Operand& right,
1303 Label* overflow_label, Register scratch = at) {
1304 AddBranchOvf(dst, left, right, overflow_label, nullptr, scratch);
Ben Murdoch257744e2011-11-30 15:57:28 +00001305 }
1306
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001307 inline void AddBranchNoOvf(Register dst, Register left, const Operand& right,
1308 Label* no_overflow_label, Register scratch = at) {
1309 AddBranchOvf(dst, left, right, nullptr, no_overflow_label, scratch);
Ben Murdoch257744e2011-11-30 15:57:28 +00001310 }
1311
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001312 void AddBranchOvf(Register dst, Register left, const Operand& right,
1313 Label* overflow_label, Label* no_overflow_label,
1314 Register scratch = at);
1315
1316 void AddBranchOvf(Register dst, Register left, Register right,
1317 Label* overflow_label, Label* no_overflow_label,
1318 Register scratch = at);
1319
1320
1321 inline void SubBranchOvf(Register dst, Register left, const Operand& right,
1322 Label* overflow_label, Register scratch = at) {
1323 SubBranchOvf(dst, left, right, overflow_label, nullptr, scratch);
Ben Murdoch257744e2011-11-30 15:57:28 +00001324 }
1325
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001326 inline void SubBranchNoOvf(Register dst, Register left, const Operand& right,
1327 Label* no_overflow_label, Register scratch = at) {
1328 SubBranchOvf(dst, left, right, nullptr, no_overflow_label, scratch);
Ben Murdoch257744e2011-11-30 15:57:28 +00001329 }
1330
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001331 void SubBranchOvf(Register dst, Register left, const Operand& right,
1332 Label* overflow_label, Label* no_overflow_label,
1333 Register scratch = at);
1334
1335 void SubBranchOvf(Register dst, Register left, Register right,
1336 Label* overflow_label, Label* no_overflow_label,
1337 Register scratch = at);
1338
Ben Murdoch257744e2011-11-30 15:57:28 +00001339 // -------------------------------------------------------------------------
1340 // Runtime calls.
Andrei Popescu31002712010-02-23 13:46:05 +00001341
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001342 // See comments at the beginning of CEntryStub::Generate.
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001343 inline void PrepareCEntryArgs(int num_args) { li(a0, num_args); }
Ben Murdoch85b71792012-04-11 18:30:58 +01001344
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001345 inline void PrepareCEntryFunction(const ExternalReference& ref) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001346 li(a1, Operand(ref));
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001347 }
1348
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001349#define COND_ARGS Condition cond = al, Register rs = zero_reg, \
1350const Operand& rt = Operand(zero_reg), BranchDelaySlot bd = PROTECT
1351
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001352 // Call a code stub.
1353 void CallStub(CodeStub* stub,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001354 TypeFeedbackId ast_id = TypeFeedbackId::None(),
1355 COND_ARGS);
Steve Block44f0eee2011-05-26 01:26:41 +01001356
1357 // Tail call a code stub (jump).
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001358 void TailCallStub(CodeStub* stub, COND_ARGS);
1359
1360#undef COND_ARGS
Steve Block44f0eee2011-05-26 01:26:41 +01001361
Andrei Popescu31002712010-02-23 13:46:05 +00001362 void CallJSExitStub(CodeStub* stub);
1363
Andrei Popescu31002712010-02-23 13:46:05 +00001364 // Call a runtime routine.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001365 void CallRuntime(const Runtime::Function* f, int num_arguments,
1366 SaveFPRegsMode save_doubles = kDontSaveFPRegs,
1367 BranchDelaySlot bd = PROTECT);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001368 void CallRuntimeSaveDoubles(Runtime::FunctionId id) {
1369 const Runtime::Function* function = Runtime::FunctionForId(id);
1370 CallRuntime(function, function->nargs, kSaveFPRegs);
1371 }
Andrei Popescu31002712010-02-23 13:46:05 +00001372
1373 // Convenience function: Same as above, but takes the fid instead.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001374 void CallRuntime(Runtime::FunctionId fid,
1375 SaveFPRegsMode save_doubles = kDontSaveFPRegs,
1376 BranchDelaySlot bd = PROTECT) {
1377 const Runtime::Function* function = Runtime::FunctionForId(fid);
1378 CallRuntime(function, function->nargs, save_doubles, bd);
1379 }
1380
1381 // Convenience function: Same as above, but takes the fid instead.
1382 void CallRuntime(Runtime::FunctionId id, int num_arguments,
1383 SaveFPRegsMode save_doubles = kDontSaveFPRegs,
1384 BranchDelaySlot bd = PROTECT) {
1385 CallRuntime(Runtime::FunctionForId(id), num_arguments, save_doubles, bd);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001386 }
Andrei Popescu31002712010-02-23 13:46:05 +00001387
Steve Block44f0eee2011-05-26 01:26:41 +01001388 // Convenience function: call an external reference.
1389 void CallExternalReference(const ExternalReference& ext,
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001390 int num_arguments,
1391 BranchDelaySlot bd = PROTECT);
Steve Block44f0eee2011-05-26 01:26:41 +01001392
Steve Block6ded16b2010-05-10 14:33:55 +01001393
1394 // Convenience function: tail call a runtime routine (jump).
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001395 void TailCallRuntime(Runtime::FunctionId fid);
Andrei Popescu31002712010-02-23 13:46:05 +00001396
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001397 int CalculateStackPassedWords(int num_reg_arguments,
1398 int num_double_arguments);
1399
Steve Block44f0eee2011-05-26 01:26:41 +01001400 // Before calling a C-function from generated code, align arguments on stack
1401 // and add space for the four mips argument slots.
1402 // After aligning the frame, non-register arguments must be stored on the
1403 // stack, after the argument-slots using helper: CFunctionArgumentOperand().
1404 // The argument count assumes all arguments are word sized.
1405 // Some compilers/platforms require the stack to be aligned when calling
1406 // C++ code.
1407 // Needs a scratch register to do some arithmetic. This register will be
1408 // trashed.
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001409 void PrepareCallCFunction(int num_reg_arguments,
1410 int num_double_registers,
1411 Register scratch);
1412 void PrepareCallCFunction(int num_reg_arguments,
1413 Register scratch);
Steve Block44f0eee2011-05-26 01:26:41 +01001414
1415 // Arguments 1-4 are placed in registers a0 thru a3 respectively.
1416 // Arguments 5..n are stored to stack using following:
1417 // sw(t0, CFunctionArgumentOperand(5));
1418
1419 // Calls a C function and cleans up the space for arguments allocated
1420 // by PrepareCallCFunction. The called function is not allowed to trigger a
1421 // garbage collection, since that might move the code and invalidate the
1422 // return address (unless this is somehow accounted for by the called
1423 // function).
1424 void CallCFunction(ExternalReference function, int num_arguments);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001425 void CallCFunction(Register function, int num_arguments);
1426 void CallCFunction(ExternalReference function,
1427 int num_reg_arguments,
1428 int num_double_arguments);
1429 void CallCFunction(Register function,
1430 int num_reg_arguments,
1431 int num_double_arguments);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001432 void MovFromFloatResult(DoubleRegister dst);
1433 void MovFromFloatParameter(DoubleRegister dst);
Ben Murdoch257744e2011-11-30 15:57:28 +00001434
1435 // There are two ways of passing double arguments on MIPS, depending on
1436 // whether soft or hard floating point ABI is used. These functions
1437 // abstract parameter passing for the three different ways we call
1438 // C functions from generated code.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001439 void MovToFloatParameter(DoubleRegister src);
1440 void MovToFloatParameters(DoubleRegister src1, DoubleRegister src2);
1441 void MovToFloatResult(DoubleRegister src);
Ben Murdoch257744e2011-11-30 15:57:28 +00001442
Andrei Popescu31002712010-02-23 13:46:05 +00001443 // Jump to the builtin routine.
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001444 void JumpToExternalReference(const ExternalReference& builtin,
1445 BranchDelaySlot bd = PROTECT);
Andrei Popescu31002712010-02-23 13:46:05 +00001446
Andrei Popescu31002712010-02-23 13:46:05 +00001447 struct Unresolved {
1448 int pc;
Ben Murdoch257744e2011-11-30 15:57:28 +00001449 uint32_t flags; // See Bootstrapper::FixupFlags decoders/encoders.
Andrei Popescu31002712010-02-23 13:46:05 +00001450 const char* name;
1451 };
Andrei Popescu31002712010-02-23 13:46:05 +00001452
Ben Murdoch257744e2011-11-30 15:57:28 +00001453 Handle<Object> CodeObject() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001454 DCHECK(!code_object_.is_null());
Ben Murdoch257744e2011-11-30 15:57:28 +00001455 return code_object_;
1456 }
Andrei Popescu31002712010-02-23 13:46:05 +00001457
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001458 // Emit code for a truncating division by a constant. The dividend register is
1459 // unchanged and at gets clobbered. Dividend and result must be different.
1460 void TruncatingDiv(Register result, Register dividend, int32_t divisor);
1461
Steve Block44f0eee2011-05-26 01:26:41 +01001462 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001463 // StatsCounter support.
Andrei Popescu31002712010-02-23 13:46:05 +00001464
1465 void SetCounter(StatsCounter* counter, int value,
1466 Register scratch1, Register scratch2);
1467 void IncrementCounter(StatsCounter* counter, int value,
1468 Register scratch1, Register scratch2);
1469 void DecrementCounter(StatsCounter* counter, int value,
1470 Register scratch1, Register scratch2);
1471
1472
Steve Block44f0eee2011-05-26 01:26:41 +01001473 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001474 // Debugging.
Andrei Popescu31002712010-02-23 13:46:05 +00001475
1476 // Calls Abort(msg) if the condition cc is not satisfied.
1477 // Use --debug_code to enable.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001478 void Assert(Condition cc, BailoutReason reason, Register rs, Operand rt);
Steve Block44f0eee2011-05-26 01:26:41 +01001479 void AssertFastElements(Register elements);
Andrei Popescu31002712010-02-23 13:46:05 +00001480
1481 // Like Assert(), but always enabled.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001482 void Check(Condition cc, BailoutReason reason, Register rs, Operand rt);
Andrei Popescu31002712010-02-23 13:46:05 +00001483
1484 // Print a message to stdout and abort execution.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001485 void Abort(BailoutReason msg);
Andrei Popescu31002712010-02-23 13:46:05 +00001486
1487 // Verify restrictions about code generated in stubs.
1488 void set_generating_stub(bool value) { generating_stub_ = value; }
1489 bool generating_stub() { return generating_stub_; }
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001490 void set_has_frame(bool value) { has_frame_ = value; }
1491 bool has_frame() { return has_frame_; }
1492 inline bool AllowThisStubCall(CodeStub* stub);
Andrei Popescu31002712010-02-23 13:46:05 +00001493
Steve Block44f0eee2011-05-26 01:26:41 +01001494 // ---------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001495 // Number utilities.
Steve Block6ded16b2010-05-10 14:33:55 +01001496
Steve Block44f0eee2011-05-26 01:26:41 +01001497 // Check whether the value of reg is a power of two and not zero. If not
1498 // control continues at the label not_power_of_two. If reg is a power of two
1499 // the register scratch contains the value of (reg - 1) when control falls
1500 // through.
1501 void JumpIfNotPowerOfTwoOrZero(Register reg,
1502 Register scratch,
1503 Label* not_power_of_two_or_zero);
1504
1505 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001506 // Smi utilities.
Steve Block44f0eee2011-05-26 01:26:41 +01001507
Steve Block44f0eee2011-05-26 01:26:41 +01001508 void SmiTag(Register reg) {
1509 Addu(reg, reg, reg);
1510 }
1511
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001512 void SmiTag(Register dst, Register src) { Addu(dst, src, src); }
1513
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001514 // Test for overflow < 0: use BranchOnOverflow() or BranchOnNoOverflow().
1515 void SmiTagCheckOverflow(Register reg, Register overflow);
1516 void SmiTagCheckOverflow(Register dst, Register src, Register overflow);
1517
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001518 void BranchOnOverflow(Label* label, Register overflow_check,
1519 BranchDelaySlot bd = PROTECT) {
1520 Branch(label, lt, overflow_check, Operand(zero_reg), bd);
Steve Block44f0eee2011-05-26 01:26:41 +01001521 }
1522
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001523 void BranchOnNoOverflow(Label* label, Register overflow_check,
1524 BranchDelaySlot bd = PROTECT) {
1525 Branch(label, ge, overflow_check, Operand(zero_reg), bd);
1526 }
1527
1528
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001529 // Try to convert int32 to smi. If the value is to large, preserve
1530 // the original value and jump to not_a_smi. Destroys scratch and
1531 // sets flags.
1532 void TrySmiTag(Register reg, Register scratch, Label* not_a_smi) {
1533 TrySmiTag(reg, reg, scratch, not_a_smi);
1534 }
1535 void TrySmiTag(Register dst,
1536 Register src,
1537 Register scratch,
1538 Label* not_a_smi) {
1539 SmiTagCheckOverflow(at, src, scratch);
1540 BranchOnOverflow(not_a_smi, scratch);
1541 mov(dst, at);
1542 }
1543
Steve Block44f0eee2011-05-26 01:26:41 +01001544 void SmiUntag(Register reg) {
1545 sra(reg, reg, kSmiTagSize);
1546 }
1547
1548 void SmiUntag(Register dst, Register src) {
1549 sra(dst, src, kSmiTagSize);
1550 }
1551
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001552 // Test if the register contains a smi.
1553 inline void SmiTst(Register value, Register scratch) {
1554 And(scratch, value, Operand(kSmiTagMask));
1555 }
1556 inline void NonNegativeSmiTst(Register value, Register scratch) {
1557 And(scratch, value, Operand(kSmiTagMask | kSmiSignMask));
1558 }
1559
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001560 // Untag the source value into destination and jump if source is a smi.
1561 // Souce and destination can be the same register.
1562 void UntagAndJumpIfSmi(Register dst, Register src, Label* smi_case);
1563
1564 // Untag the source value into destination and jump if source is not a smi.
1565 // Souce and destination can be the same register.
1566 void UntagAndJumpIfNotSmi(Register dst, Register src, Label* non_smi_case);
1567
Steve Block44f0eee2011-05-26 01:26:41 +01001568 // Jump the register contains a smi.
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001569 void JumpIfSmi(Register value,
1570 Label* smi_label,
1571 Register scratch = at,
1572 BranchDelaySlot bd = PROTECT);
Steve Block44f0eee2011-05-26 01:26:41 +01001573
1574 // Jump if the register contains a non-smi.
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001575 void JumpIfNotSmi(Register value,
1576 Label* not_smi_label,
1577 Register scratch = at,
1578 BranchDelaySlot bd = PROTECT);
Steve Block44f0eee2011-05-26 01:26:41 +01001579
1580 // Jump if either of the registers contain a non-smi.
1581 void JumpIfNotBothSmi(Register reg1, Register reg2, Label* on_not_both_smi);
1582 // Jump if either of the registers contain a smi.
1583 void JumpIfEitherSmi(Register reg1, Register reg2, Label* on_either_smi);
1584
Ben Murdochda12d292016-06-02 14:46:10 +01001585 // Abort execution if argument is a number, enabled via --debug-code.
1586 void AssertNotNumber(Register object);
1587
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001588 // Abort execution if argument is a smi, enabled via --debug-code.
1589 void AssertNotSmi(Register object);
1590 void AssertSmi(Register object);
Steve Block44f0eee2011-05-26 01:26:41 +01001591
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001592 // Abort execution if argument is not a string, enabled via --debug-code.
1593 void AssertString(Register object);
Ben Murdoch257744e2011-11-30 15:57:28 +00001594
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001595 // Abort execution if argument is not a name, enabled via --debug-code.
1596 void AssertName(Register object);
1597
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001598 // Abort execution if argument is not a JSFunction, enabled via --debug-code.
1599 void AssertFunction(Register object);
1600
1601 // Abort execution if argument is not a JSBoundFunction,
1602 // enabled via --debug-code.
1603 void AssertBoundFunction(Register object);
1604
Ben Murdochc5610432016-08-08 18:44:38 +01001605 // Abort execution if argument is not a JSGeneratorObject,
1606 // enabled via --debug-code.
1607 void AssertGeneratorObject(Register object);
1608
Ben Murdoch097c5b22016-05-18 11:27:45 +01001609 // Abort execution if argument is not a JSReceiver, enabled via --debug-code.
1610 void AssertReceiver(Register object);
1611
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001612 // Abort execution if argument is not undefined or an AllocationSite, enabled
1613 // via --debug-code.
1614 void AssertUndefinedOrAllocationSite(Register object, Register scratch);
1615
1616 // Abort execution if reg is not the root value with the given index,
1617 // enabled via --debug-code.
1618 void AssertIsRoot(Register reg, Heap::RootListIndex index);
Steve Block44f0eee2011-05-26 01:26:41 +01001619
1620 // ---------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001621 // HeapNumber utilities.
Steve Block44f0eee2011-05-26 01:26:41 +01001622
1623 void JumpIfNotHeapNumber(Register object,
1624 Register heap_number_map,
1625 Register scratch,
1626 Label* on_not_heap_number);
1627
1628 // -------------------------------------------------------------------------
Ben Murdoch257744e2011-11-30 15:57:28 +00001629 // String utilities.
Steve Block44f0eee2011-05-26 01:26:41 +01001630
1631 // Checks if both instance types are sequential ASCII strings and jumps to
1632 // label if either is not.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001633 void JumpIfBothInstanceTypesAreNotSequentialOneByte(
1634 Register first_object_instance_type, Register second_object_instance_type,
1635 Register scratch1, Register scratch2, Label* failure);
Steve Block44f0eee2011-05-26 01:26:41 +01001636
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001637 // Check if instance type is sequential one-byte string and jump to label if
Steve Block44f0eee2011-05-26 01:26:41 +01001638 // it is not.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001639 void JumpIfInstanceTypeIsNotSequentialOneByte(Register type, Register scratch,
1640 Label* failure);
Steve Block44f0eee2011-05-26 01:26:41 +01001641
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001642 void JumpIfNotUniqueNameInstanceType(Register reg, Label* not_unique_name);
Steve Block44f0eee2011-05-26 01:26:41 +01001643
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001644 void EmitSeqStringSetCharCheck(Register string,
1645 Register index,
1646 Register value,
1647 Register scratch,
1648 uint32_t encoding_mask);
1649
1650 // Checks if both objects are sequential one-byte strings and jumps to label
1651 // if either is not. Assumes that neither object is a smi.
1652 void JumpIfNonSmisNotBothSequentialOneByteStrings(Register first,
1653 Register second,
1654 Register scratch1,
1655 Register scratch2,
1656 Label* failure);
1657
1658 // Checks if both objects are sequential one-byte strings and jumps to label
1659 // if either is not.
1660 void JumpIfNotBothSequentialOneByteStrings(Register first, Register second,
1661 Register scratch1,
1662 Register scratch2,
1663 Label* not_flat_one_byte_strings);
Steve Block44f0eee2011-05-26 01:26:41 +01001664
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001665 void ClampUint8(Register output_reg, Register input_reg);
1666
1667 void ClampDoubleToUint8(Register result_reg,
1668 DoubleRegister input_reg,
1669 DoubleRegister temp_double_reg);
1670
1671
Ben Murdoch257744e2011-11-30 15:57:28 +00001672 void LoadInstanceDescriptors(Register map, Register descriptors);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001673 void EnumLength(Register dst, Register map);
1674 void NumberOfOwnDescriptors(Register dst, Register map);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001675 void LoadAccessor(Register dst, Register holder, int accessor_index,
1676 AccessorComponent accessor);
Ben Murdoch257744e2011-11-30 15:57:28 +00001677
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001678 template<typename Field>
1679 void DecodeField(Register dst, Register src) {
1680 Ext(dst, src, Field::kShift, Field::kSize);
1681 }
1682
1683 template<typename Field>
1684 void DecodeField(Register reg) {
1685 DecodeField<Field>(reg, reg);
1686 }
1687
1688 template<typename Field>
1689 void DecodeFieldToSmi(Register dst, Register src) {
1690 static const int shift = Field::kShift;
1691 static const int mask = Field::kMask >> shift << kSmiTagSize;
1692 STATIC_ASSERT((mask & (0x80000000u >> (kSmiTagSize - 1))) == 0);
1693 STATIC_ASSERT(kSmiTag == 0);
1694 if (shift < kSmiTagSize) {
1695 sll(dst, src, kSmiTagSize - shift);
1696 And(dst, dst, Operand(mask));
1697 } else if (shift > kSmiTagSize) {
1698 srl(dst, src, shift - kSmiTagSize);
1699 And(dst, dst, Operand(mask));
1700 } else {
1701 And(dst, src, Operand(mask));
1702 }
1703 }
1704
1705 template<typename Field>
1706 void DecodeFieldToSmi(Register reg) {
1707 DecodeField<Field>(reg, reg);
1708 }
1709
1710 // Generates function and stub prologue code.
Ben Murdochda12d292016-06-02 14:46:10 +01001711 void StubPrologue(StackFrame::Type type);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001712 void Prologue(bool code_pre_aging);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001713
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001714 // Load the type feedback vector from a JavaScript frame.
1715 void EmitLoadTypeFeedbackVector(Register vector);
1716
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001717 // Activation support.
1718 void EnterFrame(StackFrame::Type type);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001719 void EnterFrame(StackFrame::Type type, bool load_constant_pool_pointer_reg);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001720 void LeaveFrame(StackFrame::Type type);
1721
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001722 // Expects object in a0 and returns map with validated enum cache
1723 // in a0. Assumes that any other register can be used as a scratch.
Ben Murdoch097c5b22016-05-18 11:27:45 +01001724 void CheckEnumCache(Label* call_runtime);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001725
Ben Murdochda12d292016-06-02 14:46:10 +01001726 // AllocationMemento support. Arrays may have an associated AllocationMemento
1727 // object that can be checked for in order to pretransition to another type.
1728 // On entry, receiver_reg should point to the array object. scratch_reg gets
1729 // clobbered. If no info is present jump to no_memento_found, otherwise fall
1730 // through.
1731 void TestJSArrayForAllocationMemento(Register receiver_reg,
1732 Register scratch_reg,
1733 Label* no_memento_found);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001734
1735 void JumpIfJSArrayHasAllocationMemento(Register receiver_reg,
1736 Register scratch_reg,
1737 Label* memento_found) {
1738 Label no_memento_found;
1739 TestJSArrayForAllocationMemento(receiver_reg, scratch_reg,
Ben Murdochda12d292016-06-02 14:46:10 +01001740 &no_memento_found);
1741 Branch(memento_found);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001742 bind(&no_memento_found);
1743 }
1744
1745 // Jumps to found label if a prototype map has dictionary elements.
1746 void JumpIfDictionaryInPrototypeChain(Register object, Register scratch0,
1747 Register scratch1, Label* found);
1748
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001749 bool IsDoubleZeroRegSet() { return has_double_zero_reg_set_; }
1750
Steve Block44f0eee2011-05-26 01:26:41 +01001751 private:
1752 void CallCFunctionHelper(Register function,
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001753 int num_reg_arguments,
1754 int num_double_arguments);
Steve Block44f0eee2011-05-26 01:26:41 +01001755
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001756 inline Register GetRtAsRegisterHelper(const Operand& rt, Register scratch);
1757 inline int32_t GetOffset(int32_t offset, Label* L, OffsetSize bits);
1758 void BranchShortHelperR6(int32_t offset, Label* L);
1759 void BranchShortHelper(int16_t offset, Label* L, BranchDelaySlot bdslot);
1760 bool BranchShortHelperR6(int32_t offset, Label* L, Condition cond,
1761 Register rs, const Operand& rt);
1762 bool BranchShortHelper(int16_t offset, Label* L, Condition cond, Register rs,
1763 const Operand& rt, BranchDelaySlot bdslot);
1764 bool BranchShortCheck(int32_t offset, Label* L, Condition cond, Register rs,
1765 const Operand& rt, BranchDelaySlot bdslot);
1766
1767 void BranchAndLinkShortHelperR6(int32_t offset, Label* L);
1768 void BranchAndLinkShortHelper(int16_t offset, Label* L,
1769 BranchDelaySlot bdslot);
1770 void BranchAndLinkShort(int32_t offset, BranchDelaySlot bdslot = PROTECT);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001771 void BranchAndLinkShort(Label* L, BranchDelaySlot bdslot = PROTECT);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001772 bool BranchAndLinkShortHelperR6(int32_t offset, Label* L, Condition cond,
1773 Register rs, const Operand& rt);
1774 bool BranchAndLinkShortHelper(int16_t offset, Label* L, Condition cond,
1775 Register rs, const Operand& rt,
1776 BranchDelaySlot bdslot);
1777 bool BranchAndLinkShortCheck(int32_t offset, Label* L, Condition cond,
1778 Register rs, const Operand& rt,
1779 BranchDelaySlot bdslot);
1780 void BranchLong(Label* L, BranchDelaySlot bdslot);
1781 void BranchAndLinkLong(Label* L, BranchDelaySlot bdslot);
1782
1783 // Common implementation of BranchF functions for the different formats.
1784 void BranchFCommon(SecondaryField sizeField, Label* target, Label* nan,
1785 Condition cc, FPURegister cmp1, FPURegister cmp2,
1786 BranchDelaySlot bd = PROTECT);
1787
1788 void BranchShortF(SecondaryField sizeField, Label* target, Condition cc,
1789 FPURegister cmp1, FPURegister cmp2,
1790 BranchDelaySlot bd = PROTECT);
Steve Block6ded16b2010-05-10 14:33:55 +01001791
1792 // Helper functions for generating invokes.
1793 void InvokePrologue(const ParameterCount& expected,
1794 const ParameterCount& actual,
Steve Block6ded16b2010-05-10 14:33:55 +01001795 Label* done,
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001796 bool* definitely_mismatches,
Steve Block44f0eee2011-05-26 01:26:41 +01001797 InvokeFlag flag,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001798 const CallWrapper& call_wrapper);
Steve Block6ded16b2010-05-10 14:33:55 +01001799
Steve Block44f0eee2011-05-26 01:26:41 +01001800 void InitializeNewString(Register string,
1801 Register length,
1802 Heap::RootListIndex map_index,
1803 Register scratch1,
1804 Register scratch2);
1805
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001806 // Helper for implementing JumpIfNotInNewSpace and JumpIfInNewSpace.
Ben Murdoch097c5b22016-05-18 11:27:45 +01001807 void InNewSpace(Register object, Register scratch,
1808 Condition cond, // ne for new space, eq otherwise.
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001809 Label* branch);
1810
1811 // Helper for finding the mark bits for an address. Afterwards, the
1812 // bitmap register points at the word with the mark bits and the mask
1813 // the position of the first bit. Leaves addr_reg unchanged.
1814 inline void GetMarkBits(Register addr_reg,
1815 Register bitmap_reg,
1816 Register mask_reg);
1817
Ben Murdoch257744e2011-11-30 15:57:28 +00001818 // Compute memory operands for safepoint stack slots.
1819 static int SafepointRegisterStackIndex(int reg_code);
1820 MemOperand SafepointRegisterSlot(Register reg);
1821 MemOperand SafepointRegistersAndDoublesSlot(Register reg);
Steve Block44f0eee2011-05-26 01:26:41 +01001822
1823 bool generating_stub_;
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001824 bool has_frame_;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001825 bool has_double_zero_reg_set_;
Steve Block44f0eee2011-05-26 01:26:41 +01001826 // This handle will be patched with the code object on installation.
1827 Handle<Object> code_object_;
Ben Murdoch257744e2011-11-30 15:57:28 +00001828
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001829 // Needs access to SafepointRegisterStackIndex for compiled frame
Ben Murdoch257744e2011-11-30 15:57:28 +00001830 // traversal.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001831 friend class StandardFrame;
Steve Block44f0eee2011-05-26 01:26:41 +01001832};
1833
1834
Steve Block44f0eee2011-05-26 01:26:41 +01001835// The code patcher is used to patch (typically) small parts of code e.g. for
1836// debugging and other types of instrumentation. When using the code patcher
1837// the exact number of bytes specified must be emitted. It is not legal to emit
1838// relocation information. If any of these constraints are violated it causes
1839// an assertion to fail.
1840class CodePatcher {
1841 public:
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001842 enum FlushICache {
1843 FLUSH,
1844 DONT_FLUSH
1845 };
1846
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001847 CodePatcher(Isolate* isolate, byte* address, int instructions,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001848 FlushICache flush_cache = FLUSH);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001849 ~CodePatcher();
Steve Block44f0eee2011-05-26 01:26:41 +01001850
1851 // Macro assembler to emit code.
1852 MacroAssembler* masm() { return &masm_; }
1853
1854 // Emit an instruction directly.
Ben Murdoch257744e2011-11-30 15:57:28 +00001855 void Emit(Instr instr);
Steve Block44f0eee2011-05-26 01:26:41 +01001856
1857 // Emit an address directly.
1858 void Emit(Address addr);
1859
Ben Murdoch257744e2011-11-30 15:57:28 +00001860 // Change the condition part of an instruction leaving the rest of the current
1861 // instruction unchanged.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001862 void ChangeBranchCondition(Instr current_instr, uint32_t new_opcode);
Ben Murdoch257744e2011-11-30 15:57:28 +00001863
Steve Block44f0eee2011-05-26 01:26:41 +01001864 private:
1865 byte* address_; // The address of the code being patched.
Steve Block44f0eee2011-05-26 01:26:41 +01001866 int size_; // Number of bytes of the expected patch size.
1867 MacroAssembler masm_; // Macro assembler used to generate the code.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001868 FlushICache flush_cache_; // Whether to flush the I cache after patching.
Steve Block44f0eee2011-05-26 01:26:41 +01001869};
Andrei Popescu31002712010-02-23 13:46:05 +00001870
Ben Murdoch097c5b22016-05-18 11:27:45 +01001871template <typename Func>
1872void MacroAssembler::GenerateSwitchTable(Register index, size_t case_count,
1873 Func GetLabelFunction) {
1874 if (kArchVariant >= kMips32r6) {
1875 BlockTrampolinePoolFor(case_count + 5);
1876 addiupc(at, 5);
Ben Murdochda12d292016-06-02 14:46:10 +01001877 Lsa(at, at, index, kPointerSizeLog2);
Ben Murdoch097c5b22016-05-18 11:27:45 +01001878 lw(at, MemOperand(at));
1879 } else {
1880 Label here;
Ben Murdochda12d292016-06-02 14:46:10 +01001881 BlockTrampolinePoolFor(case_count + 10);
1882 push(ra);
Ben Murdoch097c5b22016-05-18 11:27:45 +01001883 bal(&here);
1884 sll(at, index, kPointerSizeLog2); // Branch delay slot.
1885 bind(&here);
1886 addu(at, at, ra);
Ben Murdochda12d292016-06-02 14:46:10 +01001887 pop(ra);
1888 lw(at, MemOperand(at, 6 * v8::internal::Assembler::kInstrSize));
Ben Murdoch097c5b22016-05-18 11:27:45 +01001889 }
1890 jr(at);
1891 nop(); // Branch delay slot nop.
1892 for (size_t index = 0; index < case_count; ++index) {
1893 dd(GetLabelFunction(index));
1894 }
1895}
Andrei Popescu31002712010-02-23 13:46:05 +00001896
1897#ifdef GENERATED_CODE_COVERAGE
1898#define CODE_COVERAGE_STRINGIFY(x) #x
1899#define CODE_COVERAGE_TOSTRING(x) CODE_COVERAGE_STRINGIFY(x)
1900#define __FILE_LINE__ __FILE__ ":" CODE_COVERAGE_TOSTRING(__LINE__)
1901#define ACCESS_MASM(masm) masm->stop(__FILE_LINE__); masm->
1902#else
1903#define ACCESS_MASM(masm) masm->
1904#endif
1905
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001906} // namespace internal
1907} // namespace v8
Andrei Popescu31002712010-02-23 13:46:05 +00001908
1909#endif // V8_MIPS_MACRO_ASSEMBLER_MIPS_H_