blob: e34b13a5678ccb7757a54eb4362e43ff73f588da [file] [log] [blame]
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +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.
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000033// Copyright 2012 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000034
35#ifndef V8_ASSEMBLER_H_
36#define V8_ASSEMBLER_H_
37
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000038#include "v8.h"
39
lrn@chromium.org1c092762011-05-09 09:42:16 +000040#include "allocation.h"
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000041#include "builtins.h"
erik.corry@gmail.com0511e242011-01-19 11:11:08 +000042#include "gdb-jit.h"
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000043#include "isolate.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000044#include "runtime.h"
ager@chromium.org65dad4b2009-04-23 08:48:43 +000045#include "token.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000046
kasperl@chromium.org71affb52009-05-26 05:44:31 +000047namespace v8 {
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000048
49class ApiFunction;
50
kasperl@chromium.org71affb52009-05-26 05:44:31 +000051namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000052
danno@chromium.orgca29dd82013-04-26 11:59:48 +000053class StatsCounter;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000054// -----------------------------------------------------------------------------
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000055// Platform independent assembler base class.
56
57class AssemblerBase: public Malloced {
58 public:
ulan@chromium.org8e8d8822012-11-23 14:36:46 +000059 AssemblerBase(Isolate* isolate, void* buffer, int buffer_size);
60 virtual ~AssemblerBase();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000061
62 Isolate* isolate() const { return isolate_; }
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +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 predictable_code_size() const { return predictable_code_size_; }
69 void set_predictable_code_size(bool value) { predictable_code_size_ = value; }
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000070
ulan@chromium.org750145a2013-03-07 15:14:13 +000071 uint64_t enabled_cpu_features() const { return enabled_cpu_features_; }
72 void set_enabled_cpu_features(uint64_t features) {
73 enabled_cpu_features_ = features;
74 }
75 bool IsEnabled(CpuFeature f) {
76 return (enabled_cpu_features_ & (static_cast<uint64_t>(1) << f)) != 0;
77 }
78
jkummerow@chromium.org28faa982012-04-13 09:58:30 +000079 // Overwrite a host NaN with a quiet target NaN. Used by mksnapshot for
80 // cross-snapshotting.
81 static void QuietNaN(HeapObject* nan) { }
82
ulan@chromium.org8e8d8822012-11-23 14:36:46 +000083 int pc_offset() const { return static_cast<int>(pc_ - buffer_); }
84
85 static const int kMinimalBufferSize = 4*KB;
86
87 protected:
88 // The buffer into which code and relocation info are generated. It could
89 // either be owned by the assembler or be provided externally.
90 byte* buffer_;
91 int buffer_size_;
92 bool own_buffer_;
93
94 // The program counter, which points into the buffer above and moves forward.
95 byte* pc_;
96
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000097 private:
98 Isolate* isolate_;
vegorov@chromium.org7304bca2011-05-16 12:14:13 +000099 int jit_cookie_;
ulan@chromium.org750145a2013-03-07 15:14:13 +0000100 uint64_t enabled_cpu_features_;
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000101 bool emit_debug_code_;
102 bool predictable_code_size_;
103};
104
105
106// Avoids using instructions that vary in size in unpredictable ways between the
107// snapshot and the running VM.
108class PredictableCodeSizeScope {
109 public:
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000110 PredictableCodeSizeScope(AssemblerBase* assembler, int expected_size);
111 ~PredictableCodeSizeScope();
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000112
113 private:
114 AssemblerBase* assembler_;
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000115 int expected_size_;
116 int start_offset_;
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000117 bool old_value_;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000118};
119
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000120
ulan@chromium.org750145a2013-03-07 15:14:13 +0000121// Enable a specified feature within a scope.
122class CpuFeatureScope BASE_EMBEDDED {
123 public:
124#ifdef DEBUG
125 CpuFeatureScope(AssemblerBase* assembler, CpuFeature f);
126 ~CpuFeatureScope();
127
128 private:
129 AssemblerBase* assembler_;
130 uint64_t old_enabled_;
131#else
132 CpuFeatureScope(AssemblerBase* assembler, CpuFeature f) {}
133#endif
134};
135
136
machenbach@chromium.org528ce022013-09-23 14:09:36 +0000137// Enable a unsupported feature within a scope for cross-compiling for a
138// different CPU.
139class PlatformFeatureScope BASE_EMBEDDED {
140 public:
141 explicit PlatformFeatureScope(CpuFeature f);
142 ~PlatformFeatureScope();
143
144 private:
mvstanton@chromium.org63ea3d22013-10-10 09:24:12 +0000145 uint64_t old_cross_compile_;
machenbach@chromium.org528ce022013-09-23 14:09:36 +0000146};
147
148
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000149// -----------------------------------------------------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000150// Labels represent pc locations; they are typically jump or call targets.
151// After declaration, a label can be freely used to denote known or (yet)
152// unknown pc location. Assembler::bind() is used to bind a label to the
153// current pc. A label can be bound only once.
154
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000155class Label BASE_EMBEDDED {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000156 public:
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000157 enum Distance {
158 kNear, kFar
159 };
160
161 INLINE(Label()) {
162 Unuse();
163 UnuseNear();
164 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000165
whesse@chromium.org7b260152011-06-20 15:33:18 +0000166 INLINE(~Label()) {
167 ASSERT(!is_linked());
168 ASSERT(!is_near_linked());
169 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000170
whesse@chromium.org7b260152011-06-20 15:33:18 +0000171 INLINE(void Unuse()) { pos_ = 0; }
172 INLINE(void UnuseNear()) { near_link_pos_ = 0; }
173
174 INLINE(bool is_bound() const) { return pos_ < 0; }
175 INLINE(bool is_unused() const) { return pos_ == 0 && near_link_pos_ == 0; }
176 INLINE(bool is_linked() const) { return pos_ > 0; }
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000177 INLINE(bool is_near_linked() const) { return near_link_pos_ > 0; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000178
179 // Returns the position of bound or linked labels. Cannot be used
180 // for unused labels.
181 int pos() const;
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000182 int near_link_pos() const { return near_link_pos_ - 1; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000183
184 private:
185 // pos_ encodes both the binding state (via its sign)
186 // and the binding position (via its value) of a label.
187 //
188 // pos_ < 0 bound label, pos() returns the jump target position
189 // pos_ == 0 unused label
190 // pos_ > 0 linked label, pos() returns the last reference position
191 int pos_;
192
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000193 // Behaves like |pos_| in the "> 0" case, but for near jumps to this label.
194 int near_link_pos_;
195
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000196 void bind_to(int pos) {
197 pos_ = -pos - 1;
198 ASSERT(is_bound());
199 }
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000200 void link_to(int pos, Distance distance = kFar) {
201 if (distance == kNear) {
202 near_link_pos_ = pos + 1;
203 ASSERT(is_near_linked());
204 } else {
205 pos_ = pos + 1;
206 ASSERT(is_linked());
207 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000208 }
209
210 friend class Assembler;
211 friend class Displacement;
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000212 friend class RegExpMacroAssemblerIrregexp;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000213};
214
215
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000216enum SaveFPRegsMode { kDontSaveFPRegs, kSaveFPRegs };
217
218
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000219// -----------------------------------------------------------------------------
220// Relocation information
221
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000222
223// Relocation information consists of the address (pc) of the datum
224// to which the relocation information applies, the relocation mode
225// (rmode), and an optional data field. The relocation mode may be
226// "descriptive" and not indicate a need for relocation, but simply
227// describe a property of the datum. Such rmodes are useful for GC
228// and nice disassembly output.
229
230class RelocInfo BASE_EMBEDDED {
231 public:
ager@chromium.org236ad962008-09-25 09:45:57 +0000232 // The constant kNoPosition is used with the collecting of source positions
233 // in the relocation information. Two types of source positions are collected
234 // "position" (RelocMode position) and "statement position" (RelocMode
235 // statement_position). The "position" is collected at places in the source
236 // code which are of interest when making stack traces to pin-point the source
237 // location of a stack frame as close as possible. The "statement position" is
238 // collected at the beginning at each statement, and is used to indicate
239 // possible break locations. kNoPosition is used to indicate an
240 // invalid/uninitialized position value.
241 static const int kNoPosition = -1;
242
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000243 // This string is used to add padding comments to the reloc info in cases
244 // where we are not sure to have enough space for patching in during
245 // lazy deoptimization. This is the case if we have indirect calls for which
246 // we do not normally record relocation info.
kmillikin@chromium.org7c2628c2011-08-10 11:27:35 +0000247 static const char* const kFillerCommentString;
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000248
ricow@chromium.org22334512011-02-25 07:28:50 +0000249 // The minimum size of a comment is equal to three bytes for the extra tagged
250 // pc + the tag for the data, and kPointerSize for the actual pointer to the
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000251 // comment.
ricow@chromium.org22334512011-02-25 07:28:50 +0000252 static const int kMinRelocCommentSize = 3 + kPointerSize;
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000253
254 // The maximum size for a call instruction including pc-jump.
255 static const int kMaxCallSize = 6;
256
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000257 // The maximum pc delta that will use the short encoding.
258 static const int kMaxSmallPCDelta;
259
ager@chromium.org236ad962008-09-25 09:45:57 +0000260 enum Mode {
261 // Please note the order is important (see IsCodeTarget, IsGCRelocMode).
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000262 CODE_TARGET, // Code target which is not any of the above.
263 CODE_TARGET_WITH_ID,
ager@chromium.org236ad962008-09-25 09:45:57 +0000264 CONSTRUCT_CALL, // code target that is a call to a JavaScript constructor.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000265 CODE_TARGET_CONTEXT, // Code target used for contextual loads and stores.
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000266 DEBUG_BREAK, // Code target for the debugger statement.
ager@chromium.org236ad962008-09-25 09:45:57 +0000267 EMBEDDED_OBJECT,
danno@chromium.org41728482013-06-12 22:31:22 +0000268 CELL,
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000269
ager@chromium.org236ad962008-09-25 09:45:57 +0000270 // Everything after runtime_entry (inclusive) is not GC'ed.
271 RUNTIME_ENTRY,
272 JS_RETURN, // Marks start of the ExitJSFrame code.
273 COMMENT,
274 POSITION, // See comment for kNoPosition above.
275 STATEMENT_POSITION, // See comment for kNoPosition above.
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000276 DEBUG_BREAK_SLOT, // Additional code inserted for debug break slot.
ager@chromium.org236ad962008-09-25 09:45:57 +0000277 EXTERNAL_REFERENCE, // The address of an external C++ function.
278 INTERNAL_REFERENCE, // An address inside the same function.
279
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000280 // Marks a constant pool. Only used on ARM.
281 // It uses a custom noncompact encoding.
282 CONST_POOL,
283
ager@chromium.org236ad962008-09-25 09:45:57 +0000284 // add more as needed
285 // Pseudo-types
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000286 NUMBER_OF_MODES, // There are at most 15 modes with noncompact encoding.
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000287 NONE32, // never recorded 32-bit value
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000288 NONE64, // never recorded 64-bit value
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000289 CODE_AGE_SEQUENCE, // Not stored in RelocInfo array, used explictly by
290 // code aging.
291 FIRST_REAL_RELOC_MODE = CODE_TARGET,
292 LAST_REAL_RELOC_MODE = CONST_POOL,
293 FIRST_PSEUDO_RELOC_MODE = CODE_AGE_SEQUENCE,
294 LAST_PSEUDO_RELOC_MODE = CODE_AGE_SEQUENCE,
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000295 LAST_CODE_ENUM = DEBUG_BREAK,
danno@chromium.org41728482013-06-12 22:31:22 +0000296 LAST_GCED_ENUM = CELL,
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000297 // Modes <= LAST_COMPACT_ENUM are guaranteed to have compact encoding.
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000298 LAST_COMPACT_ENUM = CODE_TARGET_WITH_ID,
299 LAST_STANDARD_NONCOMPACT_ENUM = INTERNAL_REFERENCE
ager@chromium.org236ad962008-09-25 09:45:57 +0000300 };
301
302
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000303 RelocInfo() {}
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000304
305 RelocInfo(byte* pc, Mode rmode, intptr_t data, Code* host)
306 : pc_(pc), rmode_(rmode), data_(data), host_(host) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000307 }
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000308 RelocInfo(byte* pc, double data64)
309 : pc_(pc), rmode_(NONE64), data64_(data64), host_(NULL) {
310 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000311
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000312 static inline bool IsRealRelocMode(Mode mode) {
313 return mode >= FIRST_REAL_RELOC_MODE &&
314 mode <= LAST_REAL_RELOC_MODE;
315 }
316 static inline bool IsPseudoRelocMode(Mode mode) {
317 ASSERT(!IsRealRelocMode(mode));
318 return mode >= FIRST_PSEUDO_RELOC_MODE &&
319 mode <= LAST_PSEUDO_RELOC_MODE;
320 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000321 static inline bool IsConstructCall(Mode mode) {
322 return mode == CONSTRUCT_CALL;
323 }
324 static inline bool IsCodeTarget(Mode mode) {
325 return mode <= LAST_CODE_ENUM;
326 }
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +0000327 static inline bool IsEmbeddedObject(Mode mode) {
328 return mode == EMBEDDED_OBJECT;
329 }
ulan@chromium.org6e196bf2013-03-13 09:38:22 +0000330 static inline bool IsRuntimeEntry(Mode mode) {
331 return mode == RUNTIME_ENTRY;
332 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000333 // Is the relocation mode affected by GC?
334 static inline bool IsGCRelocMode(Mode mode) {
335 return mode <= LAST_GCED_ENUM;
336 }
337 static inline bool IsJSReturn(Mode mode) {
338 return mode == JS_RETURN;
339 }
340 static inline bool IsComment(Mode mode) {
341 return mode == COMMENT;
342 }
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000343 static inline bool IsConstPool(Mode mode) {
344 return mode == CONST_POOL;
345 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000346 static inline bool IsPosition(Mode mode) {
347 return mode == POSITION || mode == STATEMENT_POSITION;
348 }
349 static inline bool IsStatementPosition(Mode mode) {
350 return mode == STATEMENT_POSITION;
351 }
352 static inline bool IsExternalReference(Mode mode) {
353 return mode == EXTERNAL_REFERENCE;
354 }
355 static inline bool IsInternalReference(Mode mode) {
356 return mode == INTERNAL_REFERENCE;
357 }
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000358 static inline bool IsDebugBreakSlot(Mode mode) {
359 return mode == DEBUG_BREAK_SLOT;
360 }
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000361 static inline bool IsNone(Mode mode) {
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000362 return mode == NONE32 || mode == NONE64;
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000363 }
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000364 static inline bool IsCodeAgeSequence(Mode mode) {
365 return mode == CODE_AGE_SEQUENCE;
366 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000367 static inline int ModeMask(Mode mode) { return 1 << mode; }
368
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000369 // Accessors
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +0000370 byte* pc() const { return pc_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000371 void set_pc(byte* pc) { pc_ = pc; }
ager@chromium.org236ad962008-09-25 09:45:57 +0000372 Mode rmode() const { return rmode_; }
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +0000373 intptr_t data() const { return data_; }
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000374 double data64() const { return data64_; }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000375 Code* host() const { return host_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000376
377 // Apply a relocation by delta bytes
ager@chromium.org3e875802009-06-29 08:26:34 +0000378 INLINE(void apply(intptr_t delta));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000379
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +0000380 // Is the pointer this relocation info refers to coded like a plain pointer
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000381 // or is it strange in some way (e.g. relative or patched into a series of
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +0000382 // instructions).
383 bool IsCodedSpecially();
384
ager@chromium.org32912102009-01-16 10:38:43 +0000385 // Read/modify the code target in the branch/call instruction
386 // this relocation applies to;
svenpanne@chromium.org2bda5432013-03-15 12:39:50 +0000387 // can only be called if IsCodeTarget(rmode_) || IsRuntimeEntry(rmode_)
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000388 INLINE(Address target_address());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000389 INLINE(void set_target_address(Address target,
390 WriteBarrierMode mode = UPDATE_WRITE_BARRIER));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000391 INLINE(Object* target_object());
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000392 INLINE(Handle<Object> target_object_handle(Assembler* origin));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000393 INLINE(Object** target_object_address());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000394 INLINE(void set_target_object(Object* target,
395 WriteBarrierMode mode = UPDATE_WRITE_BARRIER));
ulan@chromium.org6e196bf2013-03-13 09:38:22 +0000396 INLINE(Address target_runtime_entry(Assembler* origin));
397 INLINE(void set_target_runtime_entry(Address target,
398 WriteBarrierMode mode =
399 UPDATE_WRITE_BARRIER));
danno@chromium.org41728482013-06-12 22:31:22 +0000400 INLINE(Cell* target_cell());
401 INLINE(Handle<Cell> target_cell_handle());
402 INLINE(void set_target_cell(Cell* cell,
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000403 WriteBarrierMode mode = UPDATE_WRITE_BARRIER));
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000404 INLINE(Code* code_age_stub());
405 INLINE(void set_code_age_stub(Code* stub));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000406
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000407 // Read the address of the word containing the target_address in an
408 // instruction stream. What this means exactly is architecture-independent.
409 // The only architecture-independent user of this function is the serializer.
410 // The serializer uses it to find out how many raw bytes of instruction to
411 // output before the next target. Architecture-independent code shouldn't
412 // dereference the pointer it gets back from this.
ager@chromium.org32912102009-01-16 10:38:43 +0000413 INLINE(Address target_address_address());
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000414 // This indicates how much space a target takes up when deserializing a code
415 // stream. For most architectures this is just the size of a pointer. For
416 // an instruction like movw/movt where the target bits are mixed into the
417 // instruction bits the size of the target will be zero, indicating that the
418 // serializer should not step forwards in memory after a target is resolved
419 // and written. In this case the target_address_address function above
420 // should return the end of the instructions to be patched, allowing the
421 // deserializer to deserialize the instructions as raw bytes and put them in
422 // place, ready to be patched with the target.
423 INLINE(int target_address_size());
ager@chromium.org32912102009-01-16 10:38:43 +0000424
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000425 // Read/modify the reference in the instruction this relocation
426 // applies to; can only be called if rmode_ is external_reference
427 INLINE(Address* target_reference_address());
428
429 // Read/modify the address of a call instruction. This is used to relocate
430 // the break points where straight-line code is patched with a call
431 // instruction.
432 INLINE(Address call_address());
433 INLINE(void set_call_address(Address target));
434 INLINE(Object* call_object());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000435 INLINE(void set_call_object(Object* target));
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000436 INLINE(Object** call_object_address());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000437
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000438 template<typename StaticVisitor> inline void Visit(Heap* heap);
dslomov@chromium.orge97852d2013-09-12 09:02:59 +0000439 inline void Visit(Isolate* isolate, ObjectVisitor* v);
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000440
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000441 // Patch the code with some other code.
iposva@chromium.org245aa852009-02-10 00:49:54 +0000442 void PatchCode(byte* instructions, int instruction_count);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000443
444 // Patch the code with a call.
iposva@chromium.org245aa852009-02-10 00:49:54 +0000445 void PatchCodeWithCall(Address target, int guard_bytes);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000446
447 // Check whether this return sequence has been patched
448 // with a call to the debugger.
449 INLINE(bool IsPatchedReturnSequence());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000450
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000451 // Check whether this debug break slot has been patched with a call to the
452 // debugger.
453 INLINE(bool IsPatchedDebugBreakSlotSequence());
454
ulan@chromium.org2e04b582013-02-21 14:06:02 +0000455#ifdef DEBUG
456 // Check whether the given code contains relocation information that
457 // either is position-relative or movable by the garbage collector.
458 static bool RequiresRelocation(const CodeDesc& desc);
459#endif
460
mads.s.ager@gmail.com769cc962008-08-06 10:02:49 +0000461#ifdef ENABLE_DISASSEMBLER
462 // Printing
ager@chromium.org236ad962008-09-25 09:45:57 +0000463 static const char* RelocModeName(Mode rmode);
svenpanne@chromium.org876cca82013-03-18 14:43:20 +0000464 void Print(Isolate* isolate, FILE* out);
mads.s.ager@gmail.com769cc962008-08-06 10:02:49 +0000465#endif // ENABLE_DISASSEMBLER
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000466#ifdef VERIFY_HEAP
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000467 void Verify();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000468#endif
469
ager@chromium.org236ad962008-09-25 09:45:57 +0000470 static const int kCodeTargetMask = (1 << (LAST_CODE_ENUM + 1)) - 1;
471 static const int kPositionMask = 1 << POSITION | 1 << STATEMENT_POSITION;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000472 static const int kDataMask =
473 (1 << CODE_TARGET_WITH_ID) | kPositionMask | (1 << COMMENT);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000474 static const int kApplyMask; // Modes affected by apply. Depends on arch.
475
476 private:
477 // On ARM, note that pc_ is the address of the constant pool entry
478 // to be relocated and not the address of the instruction
479 // referencing the constant pool entry (except when rmode_ ==
480 // comment).
481 byte* pc_;
ager@chromium.org236ad962008-09-25 09:45:57 +0000482 Mode rmode_;
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000483 union {
484 intptr_t data_;
485 double data64_;
486 };
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000487 Code* host_;
rossberg@chromium.org89e18f52012-10-22 13:09:53 +0000488 // Code and Embedded Object pointers on some platforms are stored split
danno@chromium.org40cb8782011-05-25 07:58:50 +0000489 // across two consecutive 32-bit instructions. Heap management
490 // routines expect to access these pointers indirectly. The following
rossberg@chromium.org89e18f52012-10-22 13:09:53 +0000491 // location provides a place for these pointers to exist naturally
danno@chromium.org40cb8782011-05-25 07:58:50 +0000492 // when accessed via the Iterator.
erik.corry@gmail.comf2038fb2012-01-16 11:42:08 +0000493 Object* reconstructed_obj_ptr_;
danno@chromium.org40cb8782011-05-25 07:58:50 +0000494 // External-reference pointers are also split across instruction-pairs
rossberg@chromium.org89e18f52012-10-22 13:09:53 +0000495 // on some platforms, but are accessed via indirect pointers. This location
danno@chromium.org40cb8782011-05-25 07:58:50 +0000496 // provides a place for that pointer to exist naturally. Its address
497 // is returned by RelocInfo::target_reference_address().
498 Address reconstructed_adr_ptr_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000499 friend class RelocIterator;
500};
501
502
503// RelocInfoWriter serializes a stream of relocation info. It writes towards
504// lower addresses.
505class RelocInfoWriter BASE_EMBEDDED {
506 public:
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000507 RelocInfoWriter() : pos_(NULL),
508 last_pc_(NULL),
509 last_id_(0),
510 last_position_(0) {}
511 RelocInfoWriter(byte* pos, byte* pc) : pos_(pos),
512 last_pc_(pc),
513 last_id_(0),
514 last_position_(0) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000515
516 byte* pos() const { return pos_; }
517 byte* last_pc() const { return last_pc_; }
518
519 void Write(const RelocInfo* rinfo);
520
521 // Update the state of the stream after reloc info buffer
522 // and/or code is moved while the stream is active.
523 void Reposition(byte* pos, byte* pc) {
524 pos_ = pos;
525 last_pc_ = pc;
526 }
527
ager@chromium.org3e875802009-06-29 08:26:34 +0000528 // Max size (bytes) of a written RelocInfo. Longest encoding is
529 // ExtraTag, VariableLengthPCJump, ExtraTag, pc_delta, ExtraTag, data_delta.
530 // On ia32 and arm this is 1 + 4 + 1 + 1 + 1 + 4 = 12.
531 // On x64 this is 1 + 4 + 1 + 1 + 1 + 8 == 16;
532 // Here we use the maximum of the two.
533 static const int kMaxSize = 16;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000534
535 private:
536 inline uint32_t WriteVariableLengthPCJump(uint32_t pc_delta);
537 inline void WriteTaggedPC(uint32_t pc_delta, int tag);
538 inline void WriteExtraTaggedPC(uint32_t pc_delta, int extra_tag);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000539 inline void WriteExtraTaggedIntData(int data_delta, int top_tag);
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000540 inline void WriteExtraTaggedConstPoolData(int data);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000541 inline void WriteExtraTaggedData(intptr_t data_delta, int top_tag);
542 inline void WriteTaggedData(intptr_t data_delta, int tag);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000543 inline void WriteExtraTag(int extra_tag, int top_tag);
544
545 byte* pos_;
546 byte* last_pc_;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000547 int last_id_;
548 int last_position_;
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +0000549 DISALLOW_COPY_AND_ASSIGN(RelocInfoWriter);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000550};
551
552
553// A RelocIterator iterates over relocation information.
554// Typical use:
555//
556// for (RelocIterator it(code); !it.done(); it.next()) {
557// // do something with it.rinfo() here
558// }
559//
560// A mask can be specified to skip unwanted modes.
561class RelocIterator: public Malloced {
562 public:
563 // Create a new iterator positioned at
564 // the beginning of the reloc info.
565 // Relocation information with mode k is included in the
566 // iteration iff bit k of mode_mask is set.
567 explicit RelocIterator(Code* code, int mode_mask = -1);
568 explicit RelocIterator(const CodeDesc& desc, int mode_mask = -1);
569
570 // Iteration
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +0000571 bool done() const { return done_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000572 void next();
573
574 // Return pointer valid until next next().
575 RelocInfo* rinfo() {
576 ASSERT(!done());
577 return &rinfo_;
578 }
579
580 private:
581 // Advance* moves the position before/after reading.
582 // *Read* reads from current byte(s) into rinfo_.
583 // *Get* just reads and returns info on current byte.
584 void Advance(int bytes = 1) { pos_ -= bytes; }
585 int AdvanceGetTag();
586 int GetExtraTag();
587 int GetTopTag();
588 void ReadTaggedPC();
589 void AdvanceReadPC();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000590 void AdvanceReadId();
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000591 void AdvanceReadConstPoolData();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000592 void AdvanceReadPosition();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000593 void AdvanceReadData();
594 void AdvanceReadVariableLengthPCJump();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000595 int GetLocatableTypeTag();
596 void ReadTaggedId();
597 void ReadTaggedPosition();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000598
599 // If the given mode is wanted, set it in rinfo_ and return true.
600 // Else return false. Used for efficiently skipping unwanted modes.
ager@chromium.org236ad962008-09-25 09:45:57 +0000601 bool SetMode(RelocInfo::Mode mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000602 return (mode_mask_ & (1 << mode)) ? (rinfo_.rmode_ = mode, true) : false;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000603 }
604
605 byte* pos_;
606 byte* end_;
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000607 byte* code_age_sequence_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000608 RelocInfo rinfo_;
609 bool done_;
610 int mode_mask_;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000611 int last_id_;
612 int last_position_;
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +0000613 DISALLOW_COPY_AND_ASSIGN(RelocIterator);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000614};
615
616
617//------------------------------------------------------------------------------
618// External function
619
620//----------------------------------------------------------------------------
621class IC_Utility;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000622class SCTableReference;
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000623#ifdef ENABLE_DEBUGGER_SUPPORT
624class Debug_Address;
625#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000626
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000627
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000628// An ExternalReference represents a C++ address used in the generated
629// code. All references to C++ functions and variables must be encapsulated in
630// an ExternalReference instance. This is done in order to track the origin of
631// all external references in the code so that they can be bound to the correct
632// addresses when deserializing a heap.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000633class ExternalReference BASE_EMBEDDED {
634 public:
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000635 // Used in the simulator to support different native api calls.
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000636 enum Type {
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +0000637 // Builtin call.
638 // MaybeObject* f(v8::internal::Arguments).
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000639 BUILTIN_CALL, // default
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +0000640
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000641 // Builtin that takes float arguments and returns an int.
642 // int f(double, double).
643 BUILTIN_COMPARE_CALL,
644
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +0000645 // Builtin call that returns floating point.
646 // double f(double, double).
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000647 BUILTIN_FP_FP_CALL,
648
649 // Builtin call that returns floating point.
650 // double f(double).
651 BUILTIN_FP_CALL,
652
653 // Builtin call that returns floating point.
654 // double f(double, int).
655 BUILTIN_FP_INT_CALL,
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +0000656
657 // Direct call to API function callback.
verwaest@chromium.org662436e2013-08-28 08:41:27 +0000658 // void f(v8::FunctionCallbackInfo&)
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +0000659 DIRECT_API_CALL,
660
verwaest@chromium.org662436e2013-08-28 08:41:27 +0000661 // Call to function callback via InvokeFunctionCallback.
662 // void f(v8::FunctionCallbackInfo&, v8::FunctionCallback)
dslomov@chromium.orgb752d402013-06-18 11:54:54 +0000663 PROFILING_API_CALL,
664
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +0000665 // Direct call to accessor getter callback.
verwaest@chromium.org662436e2013-08-28 08:41:27 +0000666 // void f(Local<String> property, PropertyCallbackInfo& info)
ulan@chromium.orgbf9432e2013-05-22 14:05:23 +0000667 DIRECT_GETTER_CALL,
668
dslomov@chromium.orgb752d402013-06-18 11:54:54 +0000669 // Call to accessor getter callback via InvokeAccessorGetterCallback.
verwaest@chromium.org662436e2013-08-28 08:41:27 +0000670 // void f(Local<String> property, PropertyCallbackInfo& info,
dslomov@chromium.orgb752d402013-06-18 11:54:54 +0000671 // AccessorGetterCallback callback)
verwaest@chromium.org662436e2013-08-28 08:41:27 +0000672 PROFILING_GETTER_CALL
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000673 };
674
fschneider@chromium.org7d10be52012-04-10 12:30:14 +0000675 static void SetUp();
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000676 static void InitializeMathExpData();
677 static void TearDownMathExpData();
fschneider@chromium.org7d10be52012-04-10 12:30:14 +0000678
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000679 typedef void* ExternalReferenceRedirector(void* original, Type type);
680
danno@chromium.orgd3c42102013-08-01 16:58:23 +0000681 ExternalReference() : address_(NULL) {}
682
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000683 ExternalReference(Builtins::CFunctionId id, Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000684
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000685 ExternalReference(ApiFunction* ptr, Type type, Isolate* isolate);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000686
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000687 ExternalReference(Builtins::Name name, Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000688
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000689 ExternalReference(Runtime::FunctionId id, Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000690
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000691 ExternalReference(const Runtime::Function* f, Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000692
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000693 ExternalReference(const IC_Utility& ic_utility, Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000694
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000695#ifdef ENABLE_DEBUGGER_SUPPORT
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000696 ExternalReference(const Debug_Address& debug_address, Isolate* isolate);
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000697#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000698
699 explicit ExternalReference(StatsCounter* counter);
700
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000701 ExternalReference(Isolate::AddressId id, Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000702
703 explicit ExternalReference(const SCTableReference& table_ref);
704
jkummerow@chromium.org8fa5bd92013-09-02 11:45:09 +0000705 // Isolate as an external reference.
ulan@chromium.org32d7dba2013-04-24 10:59:06 +0000706 static ExternalReference isolate_address(Isolate* isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000707
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000708 // One-of-a-kind references. These references are not part of a general
709 // pattern. This means that they have to be added to the
710 // ExternalReferenceTable in serialize.cc manually.
711
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000712 static ExternalReference incremental_marking_record_write_function(
713 Isolate* isolate);
714 static ExternalReference incremental_evacuation_record_write_function(
715 Isolate* isolate);
716 static ExternalReference store_buffer_overflow_function(
717 Isolate* isolate);
718 static ExternalReference flush_icache_function(Isolate* isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000719 static ExternalReference perform_gc_function(Isolate* isolate);
720 static ExternalReference fill_heap_number_with_random_function(
721 Isolate* isolate);
722 static ExternalReference random_uint32_function(Isolate* isolate);
723 static ExternalReference transcendental_cache_array_address(Isolate* isolate);
724 static ExternalReference delete_handle_scope_extensions(Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000725
svenpanne@chromium.org4efbdb12012-03-12 08:18:42 +0000726 static ExternalReference get_date_field_function(Isolate* isolate);
727 static ExternalReference date_cache_stamp(Isolate* isolate);
728
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000729 static ExternalReference get_make_code_young_function(Isolate* isolate);
730
mstarzinger@chromium.orga2e1a402013-10-15 08:25:05 +0000731 // New heap objects tracking support.
732 static ExternalReference record_object_allocation_function(Isolate* isolate);
733
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000734 // Deoptimization support.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000735 static ExternalReference new_deoptimizer_function(Isolate* isolate);
736 static ExternalReference compute_output_frames_function(Isolate* isolate);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000737
svenpanne@chromium.org83130cf2012-11-30 10:13:25 +0000738 // Log support.
739 static ExternalReference log_enter_external_function(Isolate* isolate);
740 static ExternalReference log_leave_external_function(Isolate* isolate);
741
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000742 // Static data in the keyed lookup cache.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000743 static ExternalReference keyed_lookup_cache_keys(Isolate* isolate);
744 static ExternalReference keyed_lookup_cache_field_offsets(Isolate* isolate);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000745
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000746 // Static variable Heap::roots_array_start()
747 static ExternalReference roots_array_start(Isolate* isolate);
ager@chromium.orgab99eea2009-08-25 07:05:41 +0000748
jkummerow@chromium.orgba72ec82013-07-22 09:21:20 +0000749 // Static variable Heap::allocation_sites_list_address()
750 static ExternalReference allocation_sites_list_address(Isolate* isolate);
751
ager@chromium.org6f10e412009-02-13 10:11:16 +0000752 // Static variable StackGuard::address_of_jslimit()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000753 static ExternalReference address_of_stack_limit(Isolate* isolate);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000754
755 // Static variable StackGuard::address_of_real_jslimit()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000756 static ExternalReference address_of_real_stack_limit(Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000757
ager@chromium.org32912102009-01-16 10:38:43 +0000758 // Static variable RegExpStack::limit_address()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000759 static ExternalReference address_of_regexp_stack_limit(Isolate* isolate);
ager@chromium.org32912102009-01-16 10:38:43 +0000760
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000761 // Static variables for RegExp.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000762 static ExternalReference address_of_static_offsets_vector(Isolate* isolate);
763 static ExternalReference address_of_regexp_stack_memory_address(
764 Isolate* isolate);
765 static ExternalReference address_of_regexp_stack_memory_size(
766 Isolate* isolate);
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000767
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000768 // Static variable Heap::NewSpaceStart()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000769 static ExternalReference new_space_start(Isolate* isolate);
770 static ExternalReference new_space_mask(Isolate* isolate);
771 static ExternalReference heap_always_allocate_scope_depth(Isolate* isolate);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000772 static ExternalReference new_space_mark_bits(Isolate* isolate);
773
774 // Write barrier.
775 static ExternalReference store_buffer_top(Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000776
777 // Used for fast allocation in generated code.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000778 static ExternalReference new_space_allocation_top_address(Isolate* isolate);
779 static ExternalReference new_space_allocation_limit_address(Isolate* isolate);
svenpanne@chromium.org2bda5432013-03-15 12:39:50 +0000780 static ExternalReference old_pointer_space_allocation_top_address(
781 Isolate* isolate);
782 static ExternalReference old_pointer_space_allocation_limit_address(
783 Isolate* isolate);
mstarzinger@chromium.orge27d6172013-04-17 11:51:44 +0000784 static ExternalReference old_data_space_allocation_top_address(
785 Isolate* isolate);
786 static ExternalReference old_data_space_allocation_limit_address(
787 Isolate* isolate);
ulan@chromium.org57ff8812013-05-10 08:16:55 +0000788 static ExternalReference new_space_high_promotion_mode_active_address(
789 Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000790
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000791 static ExternalReference double_fp_operation(Token::Value operation,
792 Isolate* isolate);
793 static ExternalReference compare_doubles(Isolate* isolate);
794 static ExternalReference power_double_double_function(Isolate* isolate);
795 static ExternalReference power_double_int_function(Isolate* isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000796
ulan@chromium.org09d7ab52013-02-25 15:50:35 +0000797 static ExternalReference handle_scope_next_address(Isolate* isolate);
798 static ExternalReference handle_scope_limit_address(Isolate* isolate);
799 static ExternalReference handle_scope_level_address(Isolate* isolate);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000800
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000801 static ExternalReference scheduled_exception_address(Isolate* isolate);
mmassi@chromium.org7028c052012-06-13 11:51:58 +0000802 static ExternalReference address_of_pending_message_obj(Isolate* isolate);
803 static ExternalReference address_of_has_pending_message(Isolate* isolate);
804 static ExternalReference address_of_pending_message_script(Isolate* isolate);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000805
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000806 // Static variables containing common double constants.
807 static ExternalReference address_of_min_int();
808 static ExternalReference address_of_one_half();
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000809 static ExternalReference address_of_minus_one_half();
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000810 static ExternalReference address_of_minus_zero();
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +0000811 static ExternalReference address_of_zero();
812 static ExternalReference address_of_uint8_max_value();
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000813 static ExternalReference address_of_negative_infinity();
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +0000814 static ExternalReference address_of_canonical_non_hole_nan();
815 static ExternalReference address_of_the_hole_nan();
mstarzinger@chromium.orgb4968be2013-10-16 09:00:56 +0000816 static ExternalReference address_of_uint32_bias();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000817
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000818 static ExternalReference math_sin_double_function(Isolate* isolate);
819 static ExternalReference math_cos_double_function(Isolate* isolate);
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +0000820 static ExternalReference math_tan_double_function(Isolate* isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000821 static ExternalReference math_log_double_function(Isolate* isolate);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +0000822
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000823 static ExternalReference math_exp_constants(int constant_index);
824 static ExternalReference math_exp_log_table();
825
mmassi@chromium.org7028c052012-06-13 11:51:58 +0000826 static ExternalReference page_flags(Page* page);
827
yangguo@chromium.orga6bbcc82012-12-21 12:35:02 +0000828 static ExternalReference ForDeoptEntry(Address entry);
829
yangguo@chromium.org003650e2013-01-24 16:31:08 +0000830 static ExternalReference cpu_features();
831
danno@chromium.orgd3c42102013-08-01 16:58:23 +0000832 Address address() const { return reinterpret_cast<Address>(address_); }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000833
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000834#ifdef ENABLE_DEBUGGER_SUPPORT
835 // Function Debug::Break()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000836 static ExternalReference debug_break(Isolate* isolate);
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000837
838 // Used to check if single stepping is enabled in generated code.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000839 static ExternalReference debug_step_in_fp_address(Isolate* isolate);
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000840#endif
841
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000842#ifndef V8_INTERPRETED_REGEXP
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000843 // C functions called from RegExp generated code.
844
845 // Function NativeRegExpMacroAssembler::CaseInsensitiveCompareUC16()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000846 static ExternalReference re_case_insensitive_compare_uc16(Isolate* isolate);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000847
848 // Function RegExpMacroAssembler*::CheckStackGuardState()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000849 static ExternalReference re_check_stack_guard_state(Isolate* isolate);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000850
851 // Function NativeRegExpMacroAssembler::GrowStack()
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000852 static ExternalReference re_grow_stack(Isolate* isolate);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000853
854 // byte NativeRegExpMacroAssembler::word_character_bitmap
855 static ExternalReference re_word_character_map();
856
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000857#endif
858
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000859 // This lets you register a function that rewrites all external references.
860 // Used by the ARM simulator to catch calls to external references.
lrn@chromium.org1c092762011-05-09 09:42:16 +0000861 static void set_redirector(Isolate* isolate,
862 ExternalReferenceRedirector* redirector) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000863 // We can't stack them.
lrn@chromium.org1c092762011-05-09 09:42:16 +0000864 ASSERT(isolate->external_reference_redirector() == NULL);
865 isolate->set_external_reference_redirector(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000866 reinterpret_cast<ExternalReferenceRedirectorPointer*>(redirector));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000867 }
868
jkummerow@chromium.orgba72ec82013-07-22 09:21:20 +0000869 static ExternalReference stress_deopt_count(Isolate* isolate);
870
danno@chromium.orgd3c42102013-08-01 16:58:23 +0000871 bool operator==(const ExternalReference& other) const {
872 return address_ == other.address_;
873 }
874
875 bool operator!=(const ExternalReference& other) const {
876 return !(*this == other);
877 }
878
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000879 private:
880 explicit ExternalReference(void* address)
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000881 : address_(address) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000882
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000883 static void* Redirect(Isolate* isolate,
884 void* address,
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000885 Type type = ExternalReference::BUILTIN_CALL) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000886 ExternalReferenceRedirector* redirector =
887 reinterpret_cast<ExternalReferenceRedirector*>(
888 isolate->external_reference_redirector());
889 if (redirector == NULL) return address;
890 void* answer = (*redirector)(address, type);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000891 return answer;
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000892 }
893
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000894 static void* Redirect(Isolate* isolate,
895 Address address_arg,
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000896 Type type = ExternalReference::BUILTIN_CALL) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000897 ExternalReferenceRedirector* redirector =
898 reinterpret_cast<ExternalReferenceRedirector*>(
899 isolate->external_reference_redirector());
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000900 void* address = reinterpret_cast<void*>(address_arg);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000901 void* answer = (redirector == NULL) ?
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000902 address :
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000903 (*redirector)(address, type);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000904 return answer;
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000905 }
906
907 void* address_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000908};
909
910
911// -----------------------------------------------------------------------------
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000912// Position recording support
913
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000914struct PositionState {
915 PositionState() : current_position(RelocInfo::kNoPosition),
916 written_position(RelocInfo::kNoPosition),
917 current_statement_position(RelocInfo::kNoPosition),
918 written_statement_position(RelocInfo::kNoPosition) {}
919
920 int current_position;
921 int written_position;
922
923 int current_statement_position;
924 int written_statement_position;
925};
926
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000927
928class PositionsRecorder BASE_EMBEDDED {
929 public:
930 explicit PositionsRecorder(Assembler* assembler)
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000931 : assembler_(assembler) {
932#ifdef ENABLE_GDB_JIT_INTERFACE
933 gdbjit_lineinfo_ = NULL;
934#endif
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000935 jit_handler_data_ = NULL;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000936 }
937
938#ifdef ENABLE_GDB_JIT_INTERFACE
939 ~PositionsRecorder() {
940 delete gdbjit_lineinfo_;
941 }
942
943 void StartGDBJITLineInfoRecording() {
944 if (FLAG_gdbjit) {
945 gdbjit_lineinfo_ = new GDBJITLineInfo();
946 }
947 }
948
949 GDBJITLineInfo* DetachGDBJITLineInfo() {
950 GDBJITLineInfo* lineinfo = gdbjit_lineinfo_;
951 gdbjit_lineinfo_ = NULL; // To prevent deallocation in destructor.
952 return lineinfo;
953 }
954#endif
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000955 void AttachJITHandlerData(void* user_data) {
956 jit_handler_data_ = user_data;
957 }
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000958
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000959 void* DetachJITHandlerData() {
960 void* old_data = jit_handler_data_;
961 jit_handler_data_ = NULL;
962 return old_data;
963 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000964 // Set current position to pos.
965 void RecordPosition(int pos);
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000966
967 // Set current statement position to pos.
968 void RecordStatementPosition(int pos);
969
970 // Write recorded positions to relocation information.
971 bool WriteRecordedPositions();
972
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000973 int current_position() const { return state_.current_position; }
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000974
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000975 int current_statement_position() const {
976 return state_.current_statement_position;
977 }
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000978
979 private:
980 Assembler* assembler_;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000981 PositionState state_;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000982#ifdef ENABLE_GDB_JIT_INTERFACE
983 GDBJITLineInfo* gdbjit_lineinfo_;
984#endif
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000985
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000986 // Currently jit_handler_data_ is used to store JITHandler-specific data
987 // over the lifetime of a PositionsRecorder
988 void* jit_handler_data_;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000989 friend class PreservePositionScope;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000990
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000991 DISALLOW_COPY_AND_ASSIGN(PositionsRecorder);
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000992};
993
994
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000995class PreservePositionScope BASE_EMBEDDED {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000996 public:
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000997 explicit PreservePositionScope(PositionsRecorder* positions_recorder)
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000998 : positions_recorder_(positions_recorder),
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000999 saved_state_(positions_recorder->state_) {}
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001000
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001001 ~PreservePositionScope() {
1002 positions_recorder_->state_ = saved_state_;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001003 }
1004
1005 private:
1006 PositionsRecorder* positions_recorder_;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001007 const PositionState saved_state_;
1008
1009 DISALLOW_COPY_AND_ASSIGN(PreservePositionScope);
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001010};
1011
1012
1013// -----------------------------------------------------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001014// Utility functions
1015
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +00001016inline bool is_intn(int x, int n) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001017 return -(1 << (n-1)) <= x && x < (1 << (n-1));
1018}
1019
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +00001020inline bool is_int8(int x) { return is_intn(x, 8); }
1021inline bool is_int16(int x) { return is_intn(x, 16); }
1022inline bool is_int18(int x) { return is_intn(x, 18); }
1023inline bool is_int24(int x) { return is_intn(x, 24); }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001024
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +00001025inline bool is_uintn(int x, int n) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001026 return (x & -(1 << n)) == 0;
1027}
1028
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +00001029inline bool is_uint2(int x) { return is_uintn(x, 2); }
1030inline bool is_uint3(int x) { return is_uintn(x, 3); }
1031inline bool is_uint4(int x) { return is_uintn(x, 4); }
1032inline bool is_uint5(int x) { return is_uintn(x, 5); }
1033inline bool is_uint6(int x) { return is_uintn(x, 6); }
1034inline bool is_uint8(int x) { return is_uintn(x, 8); }
1035inline bool is_uint10(int x) { return is_uintn(x, 10); }
1036inline bool is_uint12(int x) { return is_uintn(x, 12); }
1037inline bool is_uint16(int x) { return is_uintn(x, 16); }
1038inline bool is_uint24(int x) { return is_uintn(x, 24); }
1039inline bool is_uint26(int x) { return is_uintn(x, 26); }
1040inline bool is_uint28(int x) { return is_uintn(x, 28); }
ager@chromium.org5c838252010-02-19 08:53:10 +00001041
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +00001042inline int NumberOfBitsSet(uint32_t x) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001043 unsigned int num_bits_set;
1044 for (num_bits_set = 0; x; x >>= 1) {
1045 num_bits_set += x & 1;
1046 }
1047 return num_bits_set;
1048}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001049
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001050bool EvalComparison(Token::Value op, double op1, double op2);
1051
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001052// Computes pow(x, y) with the special cases in the spec for Math.pow.
ulan@chromium.org2e04b582013-02-21 14:06:02 +00001053double power_helper(double x, double y);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001054double power_double_int(double x, int y);
1055double power_double_double(double x, double y);
1056
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001057// Helper class for generating code or data associated with the code
1058// right after a call instruction. As an example this can be used to
1059// generate safepoint data after calls for crankshaft.
1060class CallWrapper {
1061 public:
1062 CallWrapper() { }
1063 virtual ~CallWrapper() { }
1064 // Called just before emitting a call. Argument is the size of the generated
1065 // call code.
1066 virtual void BeforeCall(int call_size) const = 0;
1067 // Called just after emitting a call, i.e., at the return site for the call.
1068 virtual void AfterCall() const = 0;
1069};
1070
1071class NullCallWrapper : public CallWrapper {
1072 public:
1073 NullCallWrapper() { }
1074 virtual ~NullCallWrapper() { }
1075 virtual void BeforeCall(int call_size) const { }
1076 virtual void AfterCall() const { }
1077};
1078
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001079} } // namespace v8::internal
1080
1081#endif // V8_ASSEMBLER_H_