blob: e95b7edf75ce157918cae03ecd69ec7c208fdecb [file] [log] [blame]
Steve Blocka7e24c12009-10-30 11:49:00 +00001// Copyright (c) 1994-2006 Sun Microsystems Inc.
2// All Rights Reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are
6// met:
7//
8// - Redistributions of source code must retain the above copyright notice,
9// this list of conditions and the following disclaimer.
10//
11// - Redistribution in binary form must reproduce the above copyright
12// notice, this list of conditions and the following disclaimer in the
13// documentation and/or other materials provided with the distribution.
14//
15// - Neither the name of Sun Microsystems or the names of contributors may
16// be used to endorse or promote products derived from this software without
17// specific prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
20// IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
21// THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
23// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
24// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
25// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
26// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
27// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
28// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
29// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30
31// The original source code covered by the above license above has been
32// modified significantly by Google Inc.
Ben Murdoch3ef787d2012-04-12 10:51:47 +010033// Copyright 2012 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +000034
35#ifndef V8_ASSEMBLER_H_
36#define V8_ASSEMBLER_H_
37
Ben Murdochb8a8cc12014-11-26 15:28:44 +000038#include "src/v8.h"
Ben Murdoch3ef787d2012-04-12 10:51:47 +010039
Ben Murdochb8a8cc12014-11-26 15:28:44 +000040#include "src/allocation.h"
41#include "src/builtins.h"
42#include "src/gdb-jit.h"
43#include "src/isolate.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -040044#include "src/runtime/runtime.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000045#include "src/token.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000046
47namespace v8 {
Ben Murdoch3ef787d2012-04-12 10:51:47 +010048
49class ApiFunction;
50
Steve Blocka7e24c12009-10-30 11:49:00 +000051namespace internal {
52
Ben Murdochb8a8cc12014-11-26 15:28:44 +000053class StatsCounter;
Steve Blocka7e24c12009-10-30 11:49:00 +000054// -----------------------------------------------------------------------------
Steve Block44f0eee2011-05-26 01:26:41 +010055// Platform independent assembler base class.
56
57class AssemblerBase: public Malloced {
58 public:
Ben Murdochb8a8cc12014-11-26 15:28:44 +000059 AssemblerBase(Isolate* isolate, void* buffer, int buffer_size);
60 virtual ~AssemblerBase();
Steve Block44f0eee2011-05-26 01:26:41 +010061
62 Isolate* isolate() const { return isolate_; }
Ben Murdochb8a8cc12014-11-26 15:28:44 +000063 int jit_cookie() const { return jit_cookie_; }
64
65 bool emit_debug_code() const { return emit_debug_code_; }
66 void set_emit_debug_code(bool value) { emit_debug_code_ = value; }
67
68 bool serializer_enabled() const { return serializer_enabled_; }
69 void enable_serializer() { serializer_enabled_ = true; }
70
71 bool predictable_code_size() const { return predictable_code_size_; }
72 void set_predictable_code_size(bool value) { predictable_code_size_ = value; }
73
74 uint64_t enabled_cpu_features() const { return enabled_cpu_features_; }
75 void set_enabled_cpu_features(uint64_t features) {
76 enabled_cpu_features_ = features;
77 }
78 bool IsEnabled(CpuFeature f) {
79 return (enabled_cpu_features_ & (static_cast<uint64_t>(1) << f)) != 0;
80 }
Steve Block44f0eee2011-05-26 01:26:41 +010081
Emily Bernierd0a1eb72015-03-24 16:35:39 -040082 bool is_ool_constant_pool_available() const {
83 if (FLAG_enable_ool_constant_pool) {
84 return ool_constant_pool_available_;
85 } else {
86 // Out-of-line constant pool not supported on this architecture.
87 UNREACHABLE();
88 return false;
89 }
90 }
91
Ben Murdochdb1b4382012-04-26 19:03:50 +010092 // Overwrite a host NaN with a quiet target NaN. Used by mksnapshot for
93 // cross-snapshotting.
94 static void QuietNaN(HeapObject* nan) { }
95
Ben Murdochb8a8cc12014-11-26 15:28:44 +000096 int pc_offset() const { return static_cast<int>(pc_ - buffer_); }
97
98 // This function is called when code generation is aborted, so that
99 // the assembler could clean up internal data structures.
100 virtual void AbortedCodeGeneration() { }
101
102 static const int kMinimalBufferSize = 4*KB;
103
104 protected:
105 // The buffer into which code and relocation info are generated. It could
106 // either be owned by the assembler or be provided externally.
107 byte* buffer_;
108 int buffer_size_;
109 bool own_buffer_;
110
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400111 void set_ool_constant_pool_available(bool available) {
112 if (FLAG_enable_ool_constant_pool) {
113 ool_constant_pool_available_ = available;
114 } else {
115 // Out-of-line constant pool not supported on this architecture.
116 UNREACHABLE();
117 }
118 }
119
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000120 // The program counter, which points into the buffer above and moves forward.
121 byte* pc_;
122
Steve Block44f0eee2011-05-26 01:26:41 +0100123 private:
124 Isolate* isolate_;
Steve Block053d10c2011-06-13 19:13:29 +0100125 int jit_cookie_;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000126 uint64_t enabled_cpu_features_;
127 bool emit_debug_code_;
128 bool predictable_code_size_;
129 bool serializer_enabled_;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400130
131 // Indicates whether the constant pool can be accessed, which is only possible
132 // if the pp register points to the current code object's constant pool.
133 bool ool_constant_pool_available_;
134
135 // Constant pool.
136 friend class FrameAndConstantPoolScope;
137 friend class ConstantPoolUnavailableScope;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000138};
139
140
141// Avoids emitting debug code during the lifetime of this scope object.
142class DontEmitDebugCodeScope BASE_EMBEDDED {
143 public:
144 explicit DontEmitDebugCodeScope(AssemblerBase* assembler)
145 : assembler_(assembler), old_value_(assembler->emit_debug_code()) {
146 assembler_->set_emit_debug_code(false);
147 }
148 ~DontEmitDebugCodeScope() {
149 assembler_->set_emit_debug_code(old_value_);
150 }
151 private:
152 AssemblerBase* assembler_;
153 bool old_value_;
154};
155
156
157// Avoids using instructions that vary in size in unpredictable ways between the
158// snapshot and the running VM.
159class PredictableCodeSizeScope {
160 public:
161 PredictableCodeSizeScope(AssemblerBase* assembler, int expected_size);
162 ~PredictableCodeSizeScope();
163
164 private:
165 AssemblerBase* assembler_;
166 int expected_size_;
167 int start_offset_;
168 bool old_value_;
169};
170
171
172// Enable a specified feature within a scope.
173class CpuFeatureScope BASE_EMBEDDED {
174 public:
175#ifdef DEBUG
176 CpuFeatureScope(AssemblerBase* assembler, CpuFeature f);
177 ~CpuFeatureScope();
178
179 private:
180 AssemblerBase* assembler_;
181 uint64_t old_enabled_;
182#else
183 CpuFeatureScope(AssemblerBase* assembler, CpuFeature f) {}
184#endif
185};
186
187
188// CpuFeatures keeps track of which features are supported by the target CPU.
189// Supported features must be enabled by a CpuFeatureScope before use.
190// Example:
191// if (assembler->IsSupported(SSE3)) {
192// CpuFeatureScope fscope(assembler, SSE3);
193// // Generate code containing SSE3 instructions.
194// } else {
195// // Generate alternative code.
196// }
197class CpuFeatures : public AllStatic {
198 public:
199 static void Probe(bool cross_compile) {
200 STATIC_ASSERT(NUMBER_OF_CPU_FEATURES <= kBitsPerInt);
201 if (initialized_) return;
202 initialized_ = true;
203 ProbeImpl(cross_compile);
204 }
205
206 static unsigned SupportedFeatures() {
207 Probe(false);
208 return supported_;
209 }
210
211 static bool IsSupported(CpuFeature f) {
212 return (supported_ & (1u << f)) != 0;
213 }
214
215 static inline bool SupportsCrankshaft();
216
217 static inline unsigned cache_line_size() {
218 DCHECK(cache_line_size_ != 0);
219 return cache_line_size_;
220 }
221
222 static void PrintTarget();
223 static void PrintFeatures();
224
225 // Flush instruction cache.
226 static void FlushICache(void* start, size_t size);
227
228 private:
229 // Platform-dependent implementation.
230 static void ProbeImpl(bool cross_compile);
231
232 static unsigned supported_;
233 static unsigned cache_line_size_;
234 static bool initialized_;
235 friend class ExternalReference;
236 DISALLOW_COPY_AND_ASSIGN(CpuFeatures);
Steve Block44f0eee2011-05-26 01:26:41 +0100237};
238
Ben Murdochb0fe1622011-05-05 13:52:32 +0100239
240// -----------------------------------------------------------------------------
Steve Blocka7e24c12009-10-30 11:49:00 +0000241// Labels represent pc locations; they are typically jump or call targets.
242// After declaration, a label can be freely used to denote known or (yet)
243// unknown pc location. Assembler::bind() is used to bind a label to the
244// current pc. A label can be bound only once.
245
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400246class Label {
Steve Blocka7e24c12009-10-30 11:49:00 +0000247 public:
Ben Murdoch257744e2011-11-30 15:57:28 +0000248 enum Distance {
249 kNear, kFar
250 };
251
252 INLINE(Label()) {
253 Unuse();
254 UnuseNear();
255 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000256
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000257 INLINE(~Label()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000258 DCHECK(!is_linked());
259 DCHECK(!is_near_linked());
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000260 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000261
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000262 INLINE(void Unuse()) { pos_ = 0; }
263 INLINE(void UnuseNear()) { near_link_pos_ = 0; }
264
265 INLINE(bool is_bound() const) { return pos_ < 0; }
266 INLINE(bool is_unused() const) { return pos_ == 0 && near_link_pos_ == 0; }
267 INLINE(bool is_linked() const) { return pos_ > 0; }
Ben Murdoch257744e2011-11-30 15:57:28 +0000268 INLINE(bool is_near_linked() const) { return near_link_pos_ > 0; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000269
270 // Returns the position of bound or linked labels. Cannot be used
271 // for unused labels.
272 int pos() const;
Ben Murdoch257744e2011-11-30 15:57:28 +0000273 int near_link_pos() const { return near_link_pos_ - 1; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000274
275 private:
276 // pos_ encodes both the binding state (via its sign)
277 // and the binding position (via its value) of a label.
278 //
279 // pos_ < 0 bound label, pos() returns the jump target position
280 // pos_ == 0 unused label
281 // pos_ > 0 linked label, pos() returns the last reference position
282 int pos_;
283
Ben Murdoch257744e2011-11-30 15:57:28 +0000284 // Behaves like |pos_| in the "> 0" case, but for near jumps to this label.
285 int near_link_pos_;
286
Steve Blocka7e24c12009-10-30 11:49:00 +0000287 void bind_to(int pos) {
288 pos_ = -pos - 1;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000289 DCHECK(is_bound());
Steve Blocka7e24c12009-10-30 11:49:00 +0000290 }
Ben Murdoch257744e2011-11-30 15:57:28 +0000291 void link_to(int pos, Distance distance = kFar) {
292 if (distance == kNear) {
293 near_link_pos_ = pos + 1;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000294 DCHECK(is_near_linked());
Ben Murdoch257744e2011-11-30 15:57:28 +0000295 } else {
296 pos_ = pos + 1;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000297 DCHECK(is_linked());
Ben Murdoch257744e2011-11-30 15:57:28 +0000298 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000299 }
300
301 friend class Assembler;
Steve Blocka7e24c12009-10-30 11:49:00 +0000302 friend class Displacement;
Steve Blocka7e24c12009-10-30 11:49:00 +0000303 friend class RegExpMacroAssemblerIrregexp;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000304
305#if V8_TARGET_ARCH_ARM64
306 // On ARM64, the Assembler keeps track of pointers to Labels to resolve
307 // branches to distant targets. Copying labels would confuse the Assembler.
308 DISALLOW_COPY_AND_ASSIGN(Label); // NOLINT
309#endif
Steve Blocka7e24c12009-10-30 11:49:00 +0000310};
311
312
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100313enum SaveFPRegsMode { kDontSaveFPRegs, kSaveFPRegs };
314
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000315// Specifies whether to perform icache flush operations on RelocInfo updates.
316// If FLUSH_ICACHE_IF_NEEDED, the icache will always be flushed if an
317// instruction was modified. If SKIP_ICACHE_FLUSH the flush will always be
318// skipped (only use this if you will flush the icache manually before it is
319// executed).
320enum ICacheFlushMode { FLUSH_ICACHE_IF_NEEDED, SKIP_ICACHE_FLUSH };
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100321
Steve Blocka7e24c12009-10-30 11:49:00 +0000322// -----------------------------------------------------------------------------
323// Relocation information
324
325
326// Relocation information consists of the address (pc) of the datum
327// to which the relocation information applies, the relocation mode
328// (rmode), and an optional data field. The relocation mode may be
329// "descriptive" and not indicate a need for relocation, but simply
330// describe a property of the datum. Such rmodes are useful for GC
331// and nice disassembly output.
332
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000333class RelocInfo {
Steve Blocka7e24c12009-10-30 11:49:00 +0000334 public:
335 // The constant kNoPosition is used with the collecting of source positions
336 // in the relocation information. Two types of source positions are collected
337 // "position" (RelocMode position) and "statement position" (RelocMode
338 // statement_position). The "position" is collected at places in the source
339 // code which are of interest when making stack traces to pin-point the source
340 // location of a stack frame as close as possible. The "statement position" is
341 // collected at the beginning at each statement, and is used to indicate
342 // possible break locations. kNoPosition is used to indicate an
343 // invalid/uninitialized position value.
344 static const int kNoPosition = -1;
345
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100346 // This string is used to add padding comments to the reloc info in cases
347 // where we are not sure to have enough space for patching in during
348 // lazy deoptimization. This is the case if we have indirect calls for which
349 // we do not normally record relocation info.
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000350 static const char* const kFillerCommentString;
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100351
352 // The minimum size of a comment is equal to three bytes for the extra tagged
353 // pc + the tag for the data, and kPointerSize for the actual pointer to the
354 // comment.
355 static const int kMinRelocCommentSize = 3 + kPointerSize;
356
357 // The maximum size for a call instruction including pc-jump.
358 static const int kMaxCallSize = 6;
359
Steve Block44f0eee2011-05-26 01:26:41 +0100360 // The maximum pc delta that will use the short encoding.
361 static const int kMaxSmallPCDelta;
362
Steve Blocka7e24c12009-10-30 11:49:00 +0000363 enum Mode {
364 // Please note the order is important (see IsCodeTarget, IsGCRelocMode).
Ben Murdoch257744e2011-11-30 15:57:28 +0000365 CODE_TARGET, // Code target which is not any of the above.
366 CODE_TARGET_WITH_ID,
Steve Blocka7e24c12009-10-30 11:49:00 +0000367 CONSTRUCT_CALL, // code target that is a call to a JavaScript constructor.
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100368 DEBUG_BREAK, // Code target for the debugger statement.
Steve Blocka7e24c12009-10-30 11:49:00 +0000369 EMBEDDED_OBJECT,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000370 CELL,
Ben Murdochb0fe1622011-05-05 13:52:32 +0100371
Steve Blocka7e24c12009-10-30 11:49:00 +0000372 // Everything after runtime_entry (inclusive) is not GC'ed.
373 RUNTIME_ENTRY,
374 JS_RETURN, // Marks start of the ExitJSFrame code.
375 COMMENT,
376 POSITION, // See comment for kNoPosition above.
377 STATEMENT_POSITION, // See comment for kNoPosition above.
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100378 DEBUG_BREAK_SLOT, // Additional code inserted for debug break slot.
Steve Blocka7e24c12009-10-30 11:49:00 +0000379 EXTERNAL_REFERENCE, // The address of an external C++ function.
380 INTERNAL_REFERENCE, // An address inside the same function.
381
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000382 // Marks constant and veneer pools. Only used on ARM and ARM64.
383 // They use a custom noncompact encoding.
384 CONST_POOL,
385 VENEER_POOL,
386
Steve Blocka7e24c12009-10-30 11:49:00 +0000387 // add more as needed
388 // Pseudo-types
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000389 NUMBER_OF_MODES, // There are at most 15 modes with noncompact encoding.
390 NONE32, // never recorded 32-bit value
391 NONE64, // never recorded 64-bit value
392 CODE_AGE_SEQUENCE, // Not stored in RelocInfo array, used explictly by
393 // code aging.
394 FIRST_REAL_RELOC_MODE = CODE_TARGET,
395 LAST_REAL_RELOC_MODE = VENEER_POOL,
396 FIRST_PSEUDO_RELOC_MODE = CODE_AGE_SEQUENCE,
397 LAST_PSEUDO_RELOC_MODE = CODE_AGE_SEQUENCE,
Ben Murdoch257744e2011-11-30 15:57:28 +0000398 LAST_CODE_ENUM = DEBUG_BREAK,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000399 LAST_GCED_ENUM = CELL,
Ben Murdoch257744e2011-11-30 15:57:28 +0000400 // Modes <= LAST_COMPACT_ENUM are guaranteed to have compact encoding.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000401 LAST_COMPACT_ENUM = CODE_TARGET_WITH_ID,
402 LAST_STANDARD_NONCOMPACT_ENUM = INTERNAL_REFERENCE
Steve Blocka7e24c12009-10-30 11:49:00 +0000403 };
404
Steve Blocka7e24c12009-10-30 11:49:00 +0000405 RelocInfo() {}
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100406
407 RelocInfo(byte* pc, Mode rmode, intptr_t data, Code* host)
408 : pc_(pc), rmode_(rmode), data_(data), host_(host) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000409 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000410 RelocInfo(byte* pc, double data64)
411 : pc_(pc), rmode_(NONE64), data64_(data64), host_(NULL) {
412 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000413
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000414 static inline bool IsRealRelocMode(Mode mode) {
415 return mode >= FIRST_REAL_RELOC_MODE &&
416 mode <= LAST_REAL_RELOC_MODE;
417 }
418 static inline bool IsPseudoRelocMode(Mode mode) {
419 DCHECK(!IsRealRelocMode(mode));
420 return mode >= FIRST_PSEUDO_RELOC_MODE &&
421 mode <= LAST_PSEUDO_RELOC_MODE;
422 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000423 static inline bool IsConstructCall(Mode mode) {
424 return mode == CONSTRUCT_CALL;
425 }
426 static inline bool IsCodeTarget(Mode mode) {
427 return mode <= LAST_CODE_ENUM;
428 }
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100429 static inline bool IsEmbeddedObject(Mode mode) {
430 return mode == EMBEDDED_OBJECT;
431 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000432 static inline bool IsRuntimeEntry(Mode mode) {
433 return mode == RUNTIME_ENTRY;
434 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000435 // Is the relocation mode affected by GC?
436 static inline bool IsGCRelocMode(Mode mode) {
437 return mode <= LAST_GCED_ENUM;
438 }
439 static inline bool IsJSReturn(Mode mode) {
440 return mode == JS_RETURN;
441 }
442 static inline bool IsComment(Mode mode) {
443 return mode == COMMENT;
444 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000445 static inline bool IsConstPool(Mode mode) {
446 return mode == CONST_POOL;
447 }
448 static inline bool IsVeneerPool(Mode mode) {
449 return mode == VENEER_POOL;
450 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000451 static inline bool IsPosition(Mode mode) {
452 return mode == POSITION || mode == STATEMENT_POSITION;
453 }
454 static inline bool IsStatementPosition(Mode mode) {
455 return mode == STATEMENT_POSITION;
456 }
457 static inline bool IsExternalReference(Mode mode) {
458 return mode == EXTERNAL_REFERENCE;
459 }
460 static inline bool IsInternalReference(Mode mode) {
461 return mode == INTERNAL_REFERENCE;
462 }
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100463 static inline bool IsDebugBreakSlot(Mode mode) {
464 return mode == DEBUG_BREAK_SLOT;
465 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000466 static inline bool IsNone(Mode mode) {
467 return mode == NONE32 || mode == NONE64;
468 }
469 static inline bool IsCodeAgeSequence(Mode mode) {
470 return mode == CODE_AGE_SEQUENCE;
471 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000472 static inline int ModeMask(Mode mode) { return 1 << mode; }
473
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000474 // Returns true if the first RelocInfo has the same mode and raw data as the
475 // second one.
476 static inline bool IsEqual(RelocInfo first, RelocInfo second) {
477 return first.rmode() == second.rmode() &&
478 (first.rmode() == RelocInfo::NONE64 ?
479 first.raw_data64() == second.raw_data64() :
480 first.data() == second.data());
481 }
482
Steve Blocka7e24c12009-10-30 11:49:00 +0000483 // Accessors
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100484 byte* pc() const { return pc_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000485 void set_pc(byte* pc) { pc_ = pc; }
486 Mode rmode() const { return rmode_; }
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100487 intptr_t data() const { return data_; }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000488 double data64() const { return data64_; }
489 uint64_t raw_data64() { return bit_cast<uint64_t>(data64_); }
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100490 Code* host() const { return host_; }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000491 void set_host(Code* host) { host_ = host; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000492
493 // Apply a relocation by delta bytes
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000494 INLINE(void apply(intptr_t delta,
495 ICacheFlushMode icache_flush_mode =
496 FLUSH_ICACHE_IF_NEEDED));
Steve Blocka7e24c12009-10-30 11:49:00 +0000497
Leon Clarkef7060e22010-06-03 12:02:55 +0100498 // Is the pointer this relocation info refers to coded like a plain pointer
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100499 // or is it strange in some way (e.g. relative or patched into a series of
Leon Clarkef7060e22010-06-03 12:02:55 +0100500 // instructions).
501 bool IsCodedSpecially();
502
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000503 // If true, the pointer this relocation info refers to is an entry in the
504 // constant pool, otherwise the pointer is embedded in the instruction stream.
505 bool IsInConstantPool();
506
Steve Blocka7e24c12009-10-30 11:49:00 +0000507 // Read/modify the code target in the branch/call instruction
508 // this relocation applies to;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000509 // can only be called if IsCodeTarget(rmode_) || IsRuntimeEntry(rmode_)
Steve Blocka7e24c12009-10-30 11:49:00 +0000510 INLINE(Address target_address());
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100511 INLINE(void set_target_address(Address target,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000512 WriteBarrierMode write_barrier_mode =
513 UPDATE_WRITE_BARRIER,
514 ICacheFlushMode icache_flush_mode =
515 FLUSH_ICACHE_IF_NEEDED));
Steve Blocka7e24c12009-10-30 11:49:00 +0000516 INLINE(Object* target_object());
Steve Block3ce2e202009-11-05 08:53:23 +0000517 INLINE(Handle<Object> target_object_handle(Assembler* origin));
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100518 INLINE(void set_target_object(Object* target,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000519 WriteBarrierMode write_barrier_mode =
520 UPDATE_WRITE_BARRIER,
521 ICacheFlushMode icache_flush_mode =
522 FLUSH_ICACHE_IF_NEEDED));
523 INLINE(Address target_runtime_entry(Assembler* origin));
524 INLINE(void set_target_runtime_entry(Address target,
525 WriteBarrierMode write_barrier_mode =
526 UPDATE_WRITE_BARRIER,
527 ICacheFlushMode icache_flush_mode =
528 FLUSH_ICACHE_IF_NEEDED));
529 INLINE(Cell* target_cell());
530 INLINE(Handle<Cell> target_cell_handle());
531 INLINE(void set_target_cell(Cell* cell,
532 WriteBarrierMode write_barrier_mode =
533 UPDATE_WRITE_BARRIER,
534 ICacheFlushMode icache_flush_mode =
535 FLUSH_ICACHE_IF_NEEDED));
536 INLINE(Handle<Object> code_age_stub_handle(Assembler* origin));
537 INLINE(Code* code_age_stub());
538 INLINE(void set_code_age_stub(Code* stub,
539 ICacheFlushMode icache_flush_mode =
540 FLUSH_ICACHE_IF_NEEDED));
Ben Murdochb0fe1622011-05-05 13:52:32 +0100541
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000542 // Returns the address of the constant pool entry where the target address
543 // is held. This should only be called if IsInConstantPool returns true.
544 INLINE(Address constant_pool_entry_address());
Steve Blocka7e24c12009-10-30 11:49:00 +0000545
Leon Clarkef7060e22010-06-03 12:02:55 +0100546 // Read the address of the word containing the target_address in an
547 // instruction stream. What this means exactly is architecture-independent.
548 // The only architecture-independent user of this function is the serializer.
549 // The serializer uses it to find out how many raw bytes of instruction to
550 // output before the next target. Architecture-independent code shouldn't
551 // dereference the pointer it gets back from this.
Steve Blocka7e24c12009-10-30 11:49:00 +0000552 INLINE(Address target_address_address());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000553
Leon Clarkef7060e22010-06-03 12:02:55 +0100554 // This indicates how much space a target takes up when deserializing a code
555 // stream. For most architectures this is just the size of a pointer. For
556 // an instruction like movw/movt where the target bits are mixed into the
557 // instruction bits the size of the target will be zero, indicating that the
558 // serializer should not step forwards in memory after a target is resolved
559 // and written. In this case the target_address_address function above
560 // should return the end of the instructions to be patched, allowing the
561 // deserializer to deserialize the instructions as raw bytes and put them in
562 // place, ready to be patched with the target.
563 INLINE(int target_address_size());
Steve Blocka7e24c12009-10-30 11:49:00 +0000564
565 // Read/modify the reference in the instruction this relocation
566 // applies to; can only be called if rmode_ is external_reference
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000567 INLINE(Address target_reference());
Steve Blocka7e24c12009-10-30 11:49:00 +0000568
569 // Read/modify the address of a call instruction. This is used to relocate
570 // the break points where straight-line code is patched with a call
571 // instruction.
572 INLINE(Address call_address());
573 INLINE(void set_call_address(Address target));
574 INLINE(Object* call_object());
Steve Blocka7e24c12009-10-30 11:49:00 +0000575 INLINE(void set_call_object(Object* target));
Ben Murdochbb769b22010-08-11 14:56:33 +0100576 INLINE(Object** call_object_address());
Steve Blocka7e24c12009-10-30 11:49:00 +0000577
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000578 // Wipe out a relocation to a fixed value, used for making snapshots
579 // reproducible.
580 INLINE(void WipeOut());
581
Steve Block44f0eee2011-05-26 01:26:41 +0100582 template<typename StaticVisitor> inline void Visit(Heap* heap);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000583 inline void Visit(Isolate* isolate, ObjectVisitor* v);
Leon Clarkef7060e22010-06-03 12:02:55 +0100584
Steve Blocka7e24c12009-10-30 11:49:00 +0000585 // Patch the code with some other code.
586 void PatchCode(byte* instructions, int instruction_count);
587
588 // Patch the code with a call.
589 void PatchCodeWithCall(Address target, int guard_bytes);
Steve Block3ce2e202009-11-05 08:53:23 +0000590
591 // Check whether this return sequence has been patched
592 // with a call to the debugger.
593 INLINE(bool IsPatchedReturnSequence());
Steve Blocka7e24c12009-10-30 11:49:00 +0000594
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100595 // Check whether this debug break slot has been patched with a call to the
596 // debugger.
597 INLINE(bool IsPatchedDebugBreakSlotSequence());
598
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000599#ifdef DEBUG
600 // Check whether the given code contains relocation information that
601 // either is position-relative or movable by the garbage collector.
602 static bool RequiresRelocation(const CodeDesc& desc);
603#endif
604
Steve Blocka7e24c12009-10-30 11:49:00 +0000605#ifdef ENABLE_DISASSEMBLER
606 // Printing
607 static const char* RelocModeName(Mode rmode);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400608 void Print(Isolate* isolate, std::ostream& os); // NOLINT
Steve Blocka7e24c12009-10-30 11:49:00 +0000609#endif // ENABLE_DISASSEMBLER
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000610#ifdef VERIFY_HEAP
611 void Verify(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000612#endif
613
614 static const int kCodeTargetMask = (1 << (LAST_CODE_ENUM + 1)) - 1;
615 static const int kPositionMask = 1 << POSITION | 1 << STATEMENT_POSITION;
Ben Murdoch257744e2011-11-30 15:57:28 +0000616 static const int kDataMask =
617 (1 << CODE_TARGET_WITH_ID) | kPositionMask | (1 << COMMENT);
Steve Blocka7e24c12009-10-30 11:49:00 +0000618 static const int kApplyMask; // Modes affected by apply. Depends on arch.
619
620 private:
621 // On ARM, note that pc_ is the address of the constant pool entry
622 // to be relocated and not the address of the instruction
623 // referencing the constant pool entry (except when rmode_ ==
624 // comment).
625 byte* pc_;
626 Mode rmode_;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000627 union {
628 intptr_t data_;
629 double data64_;
630 };
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100631 Code* host_;
Ben Murdoch257744e2011-11-30 15:57:28 +0000632 // External-reference pointers are also split across instruction-pairs
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000633 // on some platforms, but are accessed via indirect pointers. This location
Ben Murdoch257744e2011-11-30 15:57:28 +0000634 // provides a place for that pointer to exist naturally. Its address
635 // is returned by RelocInfo::target_reference_address().
636 Address reconstructed_adr_ptr_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000637 friend class RelocIterator;
638};
639
640
641// RelocInfoWriter serializes a stream of relocation info. It writes towards
642// lower addresses.
643class RelocInfoWriter BASE_EMBEDDED {
644 public:
Ben Murdoch257744e2011-11-30 15:57:28 +0000645 RelocInfoWriter() : pos_(NULL),
646 last_pc_(NULL),
647 last_id_(0),
648 last_position_(0) {}
649 RelocInfoWriter(byte* pos, byte* pc) : pos_(pos),
650 last_pc_(pc),
651 last_id_(0),
652 last_position_(0) {}
Steve Blocka7e24c12009-10-30 11:49:00 +0000653
654 byte* pos() const { return pos_; }
655 byte* last_pc() const { return last_pc_; }
656
657 void Write(const RelocInfo* rinfo);
658
659 // Update the state of the stream after reloc info buffer
660 // and/or code is moved while the stream is active.
661 void Reposition(byte* pos, byte* pc) {
662 pos_ = pos;
663 last_pc_ = pc;
664 }
665
666 // Max size (bytes) of a written RelocInfo. Longest encoding is
667 // ExtraTag, VariableLengthPCJump, ExtraTag, pc_delta, ExtraTag, data_delta.
668 // On ia32 and arm this is 1 + 4 + 1 + 1 + 1 + 4 = 12.
669 // On x64 this is 1 + 4 + 1 + 1 + 1 + 8 == 16;
670 // Here we use the maximum of the two.
671 static const int kMaxSize = 16;
672
673 private:
674 inline uint32_t WriteVariableLengthPCJump(uint32_t pc_delta);
675 inline void WriteTaggedPC(uint32_t pc_delta, int tag);
676 inline void WriteExtraTaggedPC(uint32_t pc_delta, int extra_tag);
Ben Murdoch257744e2011-11-30 15:57:28 +0000677 inline void WriteExtraTaggedIntData(int data_delta, int top_tag);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000678 inline void WriteExtraTaggedPoolData(int data, int pool_type);
Steve Blocka7e24c12009-10-30 11:49:00 +0000679 inline void WriteExtraTaggedData(intptr_t data_delta, int top_tag);
680 inline void WriteTaggedData(intptr_t data_delta, int tag);
681 inline void WriteExtraTag(int extra_tag, int top_tag);
682
683 byte* pos_;
684 byte* last_pc_;
Ben Murdoch257744e2011-11-30 15:57:28 +0000685 int last_id_;
686 int last_position_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000687 DISALLOW_COPY_AND_ASSIGN(RelocInfoWriter);
688};
689
690
691// A RelocIterator iterates over relocation information.
692// Typical use:
693//
694// for (RelocIterator it(code); !it.done(); it.next()) {
695// // do something with it.rinfo() here
696// }
697//
698// A mask can be specified to skip unwanted modes.
699class RelocIterator: public Malloced {
700 public:
701 // Create a new iterator positioned at
702 // the beginning of the reloc info.
703 // Relocation information with mode k is included in the
704 // iteration iff bit k of mode_mask is set.
705 explicit RelocIterator(Code* code, int mode_mask = -1);
706 explicit RelocIterator(const CodeDesc& desc, int mode_mask = -1);
707
708 // Iteration
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100709 bool done() const { return done_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000710 void next();
711
712 // Return pointer valid until next next().
713 RelocInfo* rinfo() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000714 DCHECK(!done());
Steve Blocka7e24c12009-10-30 11:49:00 +0000715 return &rinfo_;
716 }
717
718 private:
719 // Advance* moves the position before/after reading.
720 // *Read* reads from current byte(s) into rinfo_.
721 // *Get* just reads and returns info on current byte.
722 void Advance(int bytes = 1) { pos_ -= bytes; }
723 int AdvanceGetTag();
724 int GetExtraTag();
725 int GetTopTag();
726 void ReadTaggedPC();
727 void AdvanceReadPC();
Ben Murdoch257744e2011-11-30 15:57:28 +0000728 void AdvanceReadId();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000729 void AdvanceReadPoolData();
Ben Murdoch257744e2011-11-30 15:57:28 +0000730 void AdvanceReadPosition();
Steve Blocka7e24c12009-10-30 11:49:00 +0000731 void AdvanceReadData();
732 void AdvanceReadVariableLengthPCJump();
Ben Murdoch257744e2011-11-30 15:57:28 +0000733 int GetLocatableTypeTag();
734 void ReadTaggedId();
735 void ReadTaggedPosition();
Steve Blocka7e24c12009-10-30 11:49:00 +0000736
737 // If the given mode is wanted, set it in rinfo_ and return true.
738 // Else return false. Used for efficiently skipping unwanted modes.
739 bool SetMode(RelocInfo::Mode mode) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100740 return (mode_mask_ & (1 << mode)) ? (rinfo_.rmode_ = mode, true) : false;
Steve Blocka7e24c12009-10-30 11:49:00 +0000741 }
742
743 byte* pos_;
744 byte* end_;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000745 byte* code_age_sequence_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000746 RelocInfo rinfo_;
747 bool done_;
748 int mode_mask_;
Ben Murdoch257744e2011-11-30 15:57:28 +0000749 int last_id_;
750 int last_position_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000751 DISALLOW_COPY_AND_ASSIGN(RelocIterator);
752};
753
754
755//------------------------------------------------------------------------------
756// External function
757
758//----------------------------------------------------------------------------
759class IC_Utility;
760class SCTableReference;
Steve Blocka7e24c12009-10-30 11:49:00 +0000761class Debug_Address;
Steve Blocka7e24c12009-10-30 11:49:00 +0000762
763
Steve Blocka7e24c12009-10-30 11:49:00 +0000764// An ExternalReference represents a C++ address used in the generated
765// code. All references to C++ functions and variables must be encapsulated in
766// an ExternalReference instance. This is done in order to track the origin of
767// all external references in the code so that they can be bound to the correct
768// addresses when deserializing a heap.
769class ExternalReference BASE_EMBEDDED {
770 public:
Steve Block1e0659c2011-05-24 12:43:12 +0100771 // Used in the simulator to support different native api calls.
Steve Block1e0659c2011-05-24 12:43:12 +0100772 enum Type {
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100773 // Builtin call.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000774 // Object* f(v8::internal::Arguments).
Steve Block1e0659c2011-05-24 12:43:12 +0100775 BUILTIN_CALL, // default
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100776
Ben Murdoch257744e2011-11-30 15:57:28 +0000777 // Builtin that takes float arguments and returns an int.
778 // int f(double, double).
779 BUILTIN_COMPARE_CALL,
780
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100781 // Builtin call that returns floating point.
782 // double f(double, double).
Ben Murdoch257744e2011-11-30 15:57:28 +0000783 BUILTIN_FP_FP_CALL,
784
785 // Builtin call that returns floating point.
786 // double f(double).
787 BUILTIN_FP_CALL,
788
789 // Builtin call that returns floating point.
790 // double f(double, int).
791 BUILTIN_FP_INT_CALL,
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100792
793 // Direct call to API function callback.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000794 // void f(v8::FunctionCallbackInfo&)
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100795 DIRECT_API_CALL,
796
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000797 // Call to function callback via InvokeFunctionCallback.
798 // void f(v8::FunctionCallbackInfo&, v8::FunctionCallback)
799 PROFILING_API_CALL,
800
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100801 // Direct call to accessor getter callback.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000802 // void f(Local<Name> property, PropertyCallbackInfo& info)
803 DIRECT_GETTER_CALL,
804
805 // Call to accessor getter callback via InvokeAccessorGetterCallback.
806 // void f(Local<Name> property, PropertyCallbackInfo& info,
807 // AccessorNameGetterCallback callback)
808 PROFILING_GETTER_CALL
Steve Block1e0659c2011-05-24 12:43:12 +0100809 };
810
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000811 static void SetUp();
812 static void InitializeMathExpData();
813 static void TearDownMathExpData();
814
Steve Block1e0659c2011-05-24 12:43:12 +0100815 typedef void* ExternalReferenceRedirector(void* original, Type type);
816
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000817 ExternalReference() : address_(NULL) {}
818
Steve Block44f0eee2011-05-26 01:26:41 +0100819 ExternalReference(Builtins::CFunctionId id, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000820
Steve Block44f0eee2011-05-26 01:26:41 +0100821 ExternalReference(ApiFunction* ptr, Type type, Isolate* isolate);
Steve Blockd0582a62009-12-15 09:54:21 +0000822
Steve Block44f0eee2011-05-26 01:26:41 +0100823 ExternalReference(Builtins::Name name, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000824
Steve Block44f0eee2011-05-26 01:26:41 +0100825 ExternalReference(Runtime::FunctionId id, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000826
Steve Block44f0eee2011-05-26 01:26:41 +0100827 ExternalReference(const Runtime::Function* f, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000828
Steve Block44f0eee2011-05-26 01:26:41 +0100829 ExternalReference(const IC_Utility& ic_utility, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000830
Steve Blocka7e24c12009-10-30 11:49:00 +0000831 explicit ExternalReference(StatsCounter* counter);
832
Steve Block44f0eee2011-05-26 01:26:41 +0100833 ExternalReference(Isolate::AddressId id, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000834
835 explicit ExternalReference(const SCTableReference& table_ref);
836
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000837 // Isolate as an external reference.
838 static ExternalReference isolate_address(Isolate* isolate);
Steve Block44f0eee2011-05-26 01:26:41 +0100839
Steve Blocka7e24c12009-10-30 11:49:00 +0000840 // One-of-a-kind references. These references are not part of a general
841 // pattern. This means that they have to be added to the
842 // ExternalReferenceTable in serialize.cc manually.
843
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100844 static ExternalReference incremental_marking_record_write_function(
845 Isolate* isolate);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100846 static ExternalReference store_buffer_overflow_function(
847 Isolate* isolate);
848 static ExternalReference flush_icache_function(Isolate* isolate);
Steve Block44f0eee2011-05-26 01:26:41 +0100849 static ExternalReference delete_handle_scope_extensions(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000850
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100851 static ExternalReference get_date_field_function(Isolate* isolate);
852 static ExternalReference date_cache_stamp(Isolate* isolate);
853
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000854 static ExternalReference get_make_code_young_function(Isolate* isolate);
855 static ExternalReference get_mark_code_as_executed_function(Isolate* isolate);
856
Ben Murdochb0fe1622011-05-05 13:52:32 +0100857 // Deoptimization support.
Steve Block44f0eee2011-05-26 01:26:41 +0100858 static ExternalReference new_deoptimizer_function(Isolate* isolate);
859 static ExternalReference compute_output_frames_function(Isolate* isolate);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100860
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000861 // Log support.
862 static ExternalReference log_enter_external_function(Isolate* isolate);
863 static ExternalReference log_leave_external_function(Isolate* isolate);
864
Leon Clarkee46be812010-01-19 14:06:41 +0000865 // Static data in the keyed lookup cache.
Steve Block44f0eee2011-05-26 01:26:41 +0100866 static ExternalReference keyed_lookup_cache_keys(Isolate* isolate);
867 static ExternalReference keyed_lookup_cache_field_offsets(Isolate* isolate);
Leon Clarkee46be812010-01-19 14:06:41 +0000868
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100869 // Static variable Heap::roots_array_start()
870 static ExternalReference roots_array_start(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000871
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000872 // Static variable Heap::allocation_sites_list_address()
873 static ExternalReference allocation_sites_list_address(Isolate* isolate);
874
Steve Blocka7e24c12009-10-30 11:49:00 +0000875 // Static variable StackGuard::address_of_jslimit()
Steve Block44f0eee2011-05-26 01:26:41 +0100876 static ExternalReference address_of_stack_limit(Isolate* isolate);
Steve Blockd0582a62009-12-15 09:54:21 +0000877
878 // Static variable StackGuard::address_of_real_jslimit()
Steve Block44f0eee2011-05-26 01:26:41 +0100879 static ExternalReference address_of_real_stack_limit(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000880
881 // Static variable RegExpStack::limit_address()
Steve Block44f0eee2011-05-26 01:26:41 +0100882 static ExternalReference address_of_regexp_stack_limit(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000883
Leon Clarkee46be812010-01-19 14:06:41 +0000884 // Static variables for RegExp.
Steve Block44f0eee2011-05-26 01:26:41 +0100885 static ExternalReference address_of_static_offsets_vector(Isolate* isolate);
886 static ExternalReference address_of_regexp_stack_memory_address(
887 Isolate* isolate);
888 static ExternalReference address_of_regexp_stack_memory_size(
889 Isolate* isolate);
Leon Clarkee46be812010-01-19 14:06:41 +0000890
Steve Blocka7e24c12009-10-30 11:49:00 +0000891 // Static variable Heap::NewSpaceStart()
Steve Block44f0eee2011-05-26 01:26:41 +0100892 static ExternalReference new_space_start(Isolate* isolate);
893 static ExternalReference new_space_mask(Isolate* isolate);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100894
895 // Write barrier.
896 static ExternalReference store_buffer_top(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000897
898 // Used for fast allocation in generated code.
Steve Block44f0eee2011-05-26 01:26:41 +0100899 static ExternalReference new_space_allocation_top_address(Isolate* isolate);
900 static ExternalReference new_space_allocation_limit_address(Isolate* isolate);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000901 static ExternalReference old_pointer_space_allocation_top_address(
902 Isolate* isolate);
903 static ExternalReference old_pointer_space_allocation_limit_address(
904 Isolate* isolate);
905 static ExternalReference old_data_space_allocation_top_address(
906 Isolate* isolate);
907 static ExternalReference old_data_space_allocation_limit_address(
908 Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000909
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000910 static ExternalReference mod_two_doubles_operation(Isolate* isolate);
Steve Block44f0eee2011-05-26 01:26:41 +0100911 static ExternalReference power_double_double_function(Isolate* isolate);
912 static ExternalReference power_double_int_function(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000913
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000914 static ExternalReference handle_scope_next_address(Isolate* isolate);
915 static ExternalReference handle_scope_limit_address(Isolate* isolate);
916 static ExternalReference handle_scope_level_address(Isolate* isolate);
Steve Blockd0582a62009-12-15 09:54:21 +0000917
Steve Block44f0eee2011-05-26 01:26:41 +0100918 static ExternalReference scheduled_exception_address(Isolate* isolate);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000919 static ExternalReference address_of_pending_message_obj(Isolate* isolate);
920 static ExternalReference address_of_has_pending_message(Isolate* isolate);
921 static ExternalReference address_of_pending_message_script(Isolate* isolate);
Steve Blockd0582a62009-12-15 09:54:21 +0000922
Ben Murdochb0fe1622011-05-05 13:52:32 +0100923 // Static variables containing common double constants.
924 static ExternalReference address_of_min_int();
925 static ExternalReference address_of_one_half();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000926 static ExternalReference address_of_minus_one_half();
Ben Murdochb0fe1622011-05-05 13:52:32 +0100927 static ExternalReference address_of_negative_infinity();
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000928 static ExternalReference address_of_canonical_non_hole_nan();
929 static ExternalReference address_of_the_hole_nan();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000930 static ExternalReference address_of_uint32_bias();
Ben Murdochb0fe1622011-05-05 13:52:32 +0100931
Steve Block44f0eee2011-05-26 01:26:41 +0100932 static ExternalReference math_log_double_function(Isolate* isolate);
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100933
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000934 static ExternalReference math_exp_constants(int constant_index);
935 static ExternalReference math_exp_log_table();
Steve Blocka7e24c12009-10-30 11:49:00 +0000936
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000937 static ExternalReference page_flags(Page* page);
938
939 static ExternalReference ForDeoptEntry(Address entry);
940
941 static ExternalReference cpu_features();
942
943 static ExternalReference debug_is_active_address(Isolate* isolate);
944 static ExternalReference debug_after_break_target_address(Isolate* isolate);
945 static ExternalReference debug_restarter_frame_function_pointer_address(
946 Isolate* isolate);
947
948 static ExternalReference is_profiling_address(Isolate* isolate);
949 static ExternalReference invoke_function_callback(Isolate* isolate);
950 static ExternalReference invoke_accessor_getter_callback(Isolate* isolate);
951
952 Address address() const { return reinterpret_cast<Address>(address_); }
953
Steve Blocka7e24c12009-10-30 11:49:00 +0000954 // Function Debug::Break()
Steve Block44f0eee2011-05-26 01:26:41 +0100955 static ExternalReference debug_break(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000956
957 // Used to check if single stepping is enabled in generated code.
Steve Block44f0eee2011-05-26 01:26:41 +0100958 static ExternalReference debug_step_in_fp_address(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000959
Steve Block6ded16b2010-05-10 14:33:55 +0100960#ifndef V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +0000961 // C functions called from RegExp generated code.
962
963 // Function NativeRegExpMacroAssembler::CaseInsensitiveCompareUC16()
Steve Block44f0eee2011-05-26 01:26:41 +0100964 static ExternalReference re_case_insensitive_compare_uc16(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000965
966 // Function RegExpMacroAssembler*::CheckStackGuardState()
Steve Block44f0eee2011-05-26 01:26:41 +0100967 static ExternalReference re_check_stack_guard_state(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000968
969 // Function NativeRegExpMacroAssembler::GrowStack()
Steve Block44f0eee2011-05-26 01:26:41 +0100970 static ExternalReference re_grow_stack(Isolate* isolate);
Leon Clarkee46be812010-01-19 14:06:41 +0000971
972 // byte NativeRegExpMacroAssembler::word_character_bitmap
973 static ExternalReference re_word_character_map();
974
Steve Blocka7e24c12009-10-30 11:49:00 +0000975#endif
976
977 // This lets you register a function that rewrites all external references.
978 // Used by the ARM simulator to catch calls to external references.
Ben Murdoch257744e2011-11-30 15:57:28 +0000979 static void set_redirector(Isolate* isolate,
980 ExternalReferenceRedirector* redirector) {
Steve Block44f0eee2011-05-26 01:26:41 +0100981 // We can't stack them.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000982 DCHECK(isolate->external_reference_redirector() == NULL);
Ben Murdoch257744e2011-11-30 15:57:28 +0000983 isolate->set_external_reference_redirector(
Steve Block44f0eee2011-05-26 01:26:41 +0100984 reinterpret_cast<ExternalReferenceRedirectorPointer*>(redirector));
Steve Blocka7e24c12009-10-30 11:49:00 +0000985 }
986
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000987 static ExternalReference stress_deopt_count(Isolate* isolate);
988
Steve Blocka7e24c12009-10-30 11:49:00 +0000989 private:
990 explicit ExternalReference(void* address)
991 : address_(address) {}
992
Steve Block44f0eee2011-05-26 01:26:41 +0100993 static void* Redirect(Isolate* isolate,
Steve Block44f0eee2011-05-26 01:26:41 +0100994 Address address_arg,
Steve Block1e0659c2011-05-24 12:43:12 +0100995 Type type = ExternalReference::BUILTIN_CALL) {
Steve Block44f0eee2011-05-26 01:26:41 +0100996 ExternalReferenceRedirector* redirector =
997 reinterpret_cast<ExternalReferenceRedirector*>(
998 isolate->external_reference_redirector());
Steve Blocka7e24c12009-10-30 11:49:00 +0000999 void* address = reinterpret_cast<void*>(address_arg);
Steve Block44f0eee2011-05-26 01:26:41 +01001000 void* answer = (redirector == NULL) ?
Steve Blockd0582a62009-12-15 09:54:21 +00001001 address :
Steve Block44f0eee2011-05-26 01:26:41 +01001002 (*redirector)(address, type);
Steve Blockd0582a62009-12-15 09:54:21 +00001003 return answer;
Steve Blocka7e24c12009-10-30 11:49:00 +00001004 }
1005
1006 void* address_;
1007};
1008
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001009bool operator==(ExternalReference, ExternalReference);
1010bool operator!=(ExternalReference, ExternalReference);
1011
1012size_t hash_value(ExternalReference);
1013
1014std::ostream& operator<<(std::ostream&, ExternalReference);
1015
Steve Blocka7e24c12009-10-30 11:49:00 +00001016
1017// -----------------------------------------------------------------------------
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001018// Position recording support
1019
Ben Murdochb0fe1622011-05-05 13:52:32 +01001020struct PositionState {
1021 PositionState() : current_position(RelocInfo::kNoPosition),
1022 written_position(RelocInfo::kNoPosition),
1023 current_statement_position(RelocInfo::kNoPosition),
1024 written_statement_position(RelocInfo::kNoPosition) {}
1025
1026 int current_position;
1027 int written_position;
1028
1029 int current_statement_position;
1030 int written_statement_position;
1031};
1032
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001033
1034class PositionsRecorder BASE_EMBEDDED {
1035 public:
1036 explicit PositionsRecorder(Assembler* assembler)
Ben Murdochb8e0da22011-05-16 14:20:40 +01001037 : assembler_(assembler) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001038 jit_handler_data_ = NULL;
Ben Murdochb8e0da22011-05-16 14:20:40 +01001039 }
1040
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001041 void AttachJITHandlerData(void* user_data) {
1042 jit_handler_data_ = user_data;
Ben Murdochb8e0da22011-05-16 14:20:40 +01001043 }
1044
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001045 void* DetachJITHandlerData() {
1046 void* old_data = jit_handler_data_;
1047 jit_handler_data_ = NULL;
1048 return old_data;
Ben Murdochb8e0da22011-05-16 14:20:40 +01001049 }
Ben Murdochb0fe1622011-05-05 13:52:32 +01001050 // Set current position to pos.
1051 void RecordPosition(int pos);
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001052
1053 // Set current statement position to pos.
1054 void RecordStatementPosition(int pos);
1055
1056 // Write recorded positions to relocation information.
1057 bool WriteRecordedPositions();
1058
Ben Murdochb0fe1622011-05-05 13:52:32 +01001059 int current_position() const { return state_.current_position; }
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001060
Ben Murdochb0fe1622011-05-05 13:52:32 +01001061 int current_statement_position() const {
1062 return state_.current_statement_position;
1063 }
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001064
1065 private:
1066 Assembler* assembler_;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001067 PositionState state_;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001068
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001069 // Currently jit_handler_data_ is used to store JITHandler-specific data
1070 // over the lifetime of a PositionsRecorder
1071 void* jit_handler_data_;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001072 friend class PreservePositionScope;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001073
Ben Murdochb0fe1622011-05-05 13:52:32 +01001074 DISALLOW_COPY_AND_ASSIGN(PositionsRecorder);
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001075};
1076
1077
Ben Murdochb0fe1622011-05-05 13:52:32 +01001078class PreservePositionScope BASE_EMBEDDED {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001079 public:
Ben Murdochb0fe1622011-05-05 13:52:32 +01001080 explicit PreservePositionScope(PositionsRecorder* positions_recorder)
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001081 : positions_recorder_(positions_recorder),
Ben Murdochb0fe1622011-05-05 13:52:32 +01001082 saved_state_(positions_recorder->state_) {}
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001083
Ben Murdochb0fe1622011-05-05 13:52:32 +01001084 ~PreservePositionScope() {
1085 positions_recorder_->state_ = saved_state_;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001086 }
1087
1088 private:
1089 PositionsRecorder* positions_recorder_;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001090 const PositionState saved_state_;
1091
1092 DISALLOW_COPY_AND_ASSIGN(PreservePositionScope);
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001093};
1094
1095
1096// -----------------------------------------------------------------------------
Steve Blocka7e24c12009-10-30 11:49:00 +00001097// Utility functions
1098
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001099inline int NumberOfBitsSet(uint32_t x) {
Andrei Popescu31002712010-02-23 13:46:05 +00001100 unsigned int num_bits_set;
1101 for (num_bits_set = 0; x; x >>= 1) {
1102 num_bits_set += x & 1;
1103 }
1104 return num_bits_set;
1105}
Steve Blocka7e24c12009-10-30 11:49:00 +00001106
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001107bool EvalComparison(Token::Value op, double op1, double op2);
1108
Ben Murdochb0fe1622011-05-05 13:52:32 +01001109// Computes pow(x, y) with the special cases in the spec for Math.pow.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001110double power_helper(double x, double y);
Ben Murdochb0fe1622011-05-05 13:52:32 +01001111double power_double_int(double x, int y);
1112double power_double_double(double x, double y);
1113
Ben Murdoch257744e2011-11-30 15:57:28 +00001114// Helper class for generating code or data associated with the code
1115// right after a call instruction. As an example this can be used to
1116// generate safepoint data after calls for crankshaft.
1117class CallWrapper {
1118 public:
1119 CallWrapper() { }
1120 virtual ~CallWrapper() { }
1121 // Called just before emitting a call. Argument is the size of the generated
1122 // call code.
1123 virtual void BeforeCall(int call_size) const = 0;
1124 // Called just after emitting a call, i.e., at the return site for the call.
1125 virtual void AfterCall() const = 0;
1126};
1127
1128class NullCallWrapper : public CallWrapper {
1129 public:
1130 NullCallWrapper() { }
1131 virtual ~NullCallWrapper() { }
1132 virtual void BeforeCall(int call_size) const { }
1133 virtual void AfterCall() const { }
1134};
1135
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001136
Steve Blocka7e24c12009-10-30 11:49:00 +00001137} } // namespace v8::internal
1138
1139#endif // V8_ASSEMBLER_H_