blob: d71a35a4a54dc3c891a200237686b756abda0c73 [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.
ager@chromium.orgeadaf222009-06-16 09:43:10 +000033// Copyright 2006-2009 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000034
35#include "v8.h"
36
37#include "arguments.h"
kasperl@chromium.orga5551262010-12-07 12:49:48 +000038#include "deoptimizer.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000039#include "execution.h"
40#include "ic-inl.h"
41#include "factory.h"
42#include "runtime.h"
kasperl@chromium.orga5551262010-12-07 12:49:48 +000043#include "runtime-profiler.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000044#include "serialize.h"
45#include "stub-cache.h"
ager@chromium.org32912102009-01-16 10:38:43 +000046#include "regexp-stack.h"
ager@chromium.org18ad94b2009-09-02 08:22:29 +000047#include "ast.h"
48#include "regexp-macro-assembler.h"
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +000049#include "platform.h"
ager@chromium.org18ad94b2009-09-02 08:22:29 +000050// Include native regexp-macro-assembler.
ricow@chromium.orgc9c80822010-04-21 08:22:37 +000051#ifndef V8_INTERPRETED_REGEXP
ager@chromium.org18ad94b2009-09-02 08:22:29 +000052#if V8_TARGET_ARCH_IA32
53#include "ia32/regexp-macro-assembler-ia32.h"
54#elif V8_TARGET_ARCH_X64
55#include "x64/regexp-macro-assembler-x64.h"
56#elif V8_TARGET_ARCH_ARM
57#include "arm/regexp-macro-assembler-arm.h"
58#else // Unknown architecture.
59#error "Unknown architecture."
60#endif // Target architecture.
ricow@chromium.orgc9c80822010-04-21 08:22:37 +000061#endif // V8_INTERPRETED_REGEXP
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000062
kasperl@chromium.org71affb52009-05-26 05:44:31 +000063namespace v8 {
64namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000065
66
kasperl@chromium.orga5551262010-12-07 12:49:48 +000067const double DoubleConstant::min_int = kMinInt;
68const double DoubleConstant::one_half = 0.5;
69
70
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000071// -----------------------------------------------------------------------------
72// Implementation of Label
73
74int Label::pos() const {
75 if (pos_ < 0) return -pos_ - 1;
76 if (pos_ > 0) return pos_ - 1;
77 UNREACHABLE();
78 return 0;
79}
80
81
82// -----------------------------------------------------------------------------
83// Implementation of RelocInfoWriter and RelocIterator
84//
85// Encoding
86//
87// The most common modes are given single-byte encodings. Also, it is
88// easy to identify the type of reloc info and skip unwanted modes in
89// an iteration.
90//
91// The encoding relies on the fact that there are less than 14
92// different relocation modes.
93//
94// embedded_object: [6 bits pc delta] 00
95//
96// code_taget: [6 bits pc delta] 01
97//
98// position: [6 bits pc delta] 10,
99// [7 bits signed data delta] 0
100//
101// statement_position: [6 bits pc delta] 10,
102// [7 bits signed data delta] 1
103//
ager@chromium.org236ad962008-09-25 09:45:57 +0000104// any nondata mode: 00 [4 bits rmode] 11, // rmode: 0..13 only
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000105// 00 [6 bits pc delta]
106//
107// pc-jump: 00 1111 11,
108// 00 [6 bits pc delta]
109//
110// pc-jump: 01 1111 11,
111// (variable length) 7 - 26 bit pc delta, written in chunks of 7
112// bits, the lowest 7 bits written first.
113//
114// data-jump + pos: 00 1110 11,
ager@chromium.orge2902be2009-06-08 12:21:35 +0000115// signed intptr_t, lowest byte written first
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000116//
117// data-jump + st.pos: 01 1110 11,
ager@chromium.orge2902be2009-06-08 12:21:35 +0000118// signed intptr_t, lowest byte written first
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000119//
120// data-jump + comm.: 10 1110 11,
ager@chromium.orge2902be2009-06-08 12:21:35 +0000121// signed intptr_t, lowest byte written first
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000122//
123const int kMaxRelocModes = 14;
124
125const int kTagBits = 2;
126const int kTagMask = (1 << kTagBits) - 1;
127const int kExtraTagBits = 4;
128const int kPositionTypeTagBits = 1;
129const int kSmallDataBits = kBitsPerByte - kPositionTypeTagBits;
130
131const int kEmbeddedObjectTag = 0;
132const int kCodeTargetTag = 1;
133const int kPositionTag = 2;
134const int kDefaultTag = 3;
135
136const int kPCJumpTag = (1 << kExtraTagBits) - 1;
137
138const int kSmallPCDeltaBits = kBitsPerByte - kTagBits;
139const int kSmallPCDeltaMask = (1 << kSmallPCDeltaBits) - 1;
140
141const int kVariableLengthPCJumpTopTag = 1;
142const int kChunkBits = 7;
143const int kChunkMask = (1 << kChunkBits) - 1;
144const int kLastChunkTagBits = 1;
145const int kLastChunkTagMask = 1;
146const int kLastChunkTag = 1;
147
148
149const int kDataJumpTag = kPCJumpTag - 1;
150
151const int kNonstatementPositionTag = 0;
152const int kStatementPositionTag = 1;
153const int kCommentTag = 2;
154
155
156uint32_t RelocInfoWriter::WriteVariableLengthPCJump(uint32_t pc_delta) {
157 // Return if the pc_delta can fit in kSmallPCDeltaBits bits.
158 // Otherwise write a variable length PC jump for the bits that do
159 // not fit in the kSmallPCDeltaBits bits.
160 if (is_uintn(pc_delta, kSmallPCDeltaBits)) return pc_delta;
161 WriteExtraTag(kPCJumpTag, kVariableLengthPCJumpTopTag);
162 uint32_t pc_jump = pc_delta >> kSmallPCDeltaBits;
163 ASSERT(pc_jump > 0);
164 // Write kChunkBits size chunks of the pc_jump.
165 for (; pc_jump > 0; pc_jump = pc_jump >> kChunkBits) {
166 byte b = pc_jump & kChunkMask;
167 *--pos_ = b << kLastChunkTagBits;
168 }
169 // Tag the last chunk so it can be identified.
170 *pos_ = *pos_ | kLastChunkTag;
171 // Return the remaining kSmallPCDeltaBits of the pc_delta.
172 return pc_delta & kSmallPCDeltaMask;
173}
174
175
176void RelocInfoWriter::WriteTaggedPC(uint32_t pc_delta, int tag) {
177 // Write a byte of tagged pc-delta, possibly preceded by var. length pc-jump.
178 pc_delta = WriteVariableLengthPCJump(pc_delta);
179 *--pos_ = pc_delta << kTagBits | tag;
180}
181
182
ager@chromium.orge2902be2009-06-08 12:21:35 +0000183void RelocInfoWriter::WriteTaggedData(intptr_t data_delta, int tag) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000184 *--pos_ = static_cast<byte>(data_delta << kPositionTypeTagBits | tag);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000185}
186
187
188void RelocInfoWriter::WriteExtraTag(int extra_tag, int top_tag) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000189 *--pos_ = static_cast<int>(top_tag << (kTagBits + kExtraTagBits) |
190 extra_tag << kTagBits |
191 kDefaultTag);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000192}
193
194
195void RelocInfoWriter::WriteExtraTaggedPC(uint32_t pc_delta, int extra_tag) {
196 // Write two-byte tagged pc-delta, possibly preceded by var. length pc-jump.
197 pc_delta = WriteVariableLengthPCJump(pc_delta);
198 WriteExtraTag(extra_tag, 0);
199 *--pos_ = pc_delta;
200}
201
202
ager@chromium.orge2902be2009-06-08 12:21:35 +0000203void RelocInfoWriter::WriteExtraTaggedData(intptr_t data_delta, int top_tag) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000204 WriteExtraTag(kDataJumpTag, top_tag);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000205 for (int i = 0; i < kIntptrSize; i++) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000206 *--pos_ = static_cast<byte>(data_delta);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000207 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
208 data_delta = data_delta >> kBitsPerByte;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000209 }
210}
211
212
213void RelocInfoWriter::Write(const RelocInfo* rinfo) {
214#ifdef DEBUG
215 byte* begin_pos = pos_;
216#endif
217 Counters::reloc_info_count.Increment();
218 ASSERT(rinfo->pc() - last_pc_ >= 0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000219 ASSERT(RelocInfo::NUMBER_OF_MODES <= kMaxRelocModes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000220 // Use unsigned delta-encoding for pc.
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000221 uint32_t pc_delta = static_cast<uint32_t>(rinfo->pc() - last_pc_);
ager@chromium.org236ad962008-09-25 09:45:57 +0000222 RelocInfo::Mode rmode = rinfo->rmode();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000223
224 // The two most common modes are given small tags, and usually fit in a byte.
ager@chromium.org236ad962008-09-25 09:45:57 +0000225 if (rmode == RelocInfo::EMBEDDED_OBJECT) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000226 WriteTaggedPC(pc_delta, kEmbeddedObjectTag);
ager@chromium.org236ad962008-09-25 09:45:57 +0000227 } else if (rmode == RelocInfo::CODE_TARGET) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000228 WriteTaggedPC(pc_delta, kCodeTargetTag);
ager@chromium.org236ad962008-09-25 09:45:57 +0000229 } else if (RelocInfo::IsPosition(rmode)) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000230 // Use signed delta-encoding for data.
ager@chromium.orge2902be2009-06-08 12:21:35 +0000231 intptr_t data_delta = rinfo->data() - last_data_;
ager@chromium.org236ad962008-09-25 09:45:57 +0000232 int pos_type_tag = rmode == RelocInfo::POSITION ? kNonstatementPositionTag
233 : kStatementPositionTag;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000234 // Check if data is small enough to fit in a tagged byte.
ager@chromium.orge2902be2009-06-08 12:21:35 +0000235 // We cannot use is_intn because data_delta is not an int32_t.
236 if (data_delta >= -(1 << (kSmallDataBits-1)) &&
237 data_delta < 1 << (kSmallDataBits-1)) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000238 WriteTaggedPC(pc_delta, kPositionTag);
239 WriteTaggedData(data_delta, pos_type_tag);
240 last_data_ = rinfo->data();
241 } else {
242 // Otherwise, use costly encoding.
243 WriteExtraTaggedPC(pc_delta, kPCJumpTag);
244 WriteExtraTaggedData(data_delta, pos_type_tag);
245 last_data_ = rinfo->data();
246 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000247 } else if (RelocInfo::IsComment(rmode)) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000248 // Comments are normally not generated, so we use the costly encoding.
249 WriteExtraTaggedPC(pc_delta, kPCJumpTag);
250 WriteExtraTaggedData(rinfo->data() - last_data_, kCommentTag);
251 last_data_ = rinfo->data();
252 } else {
253 // For all other modes we simply use the mode as the extra tag.
254 // None of these modes need a data component.
255 ASSERT(rmode < kPCJumpTag && rmode < kDataJumpTag);
256 WriteExtraTaggedPC(pc_delta, rmode);
257 }
258 last_pc_ = rinfo->pc();
259#ifdef DEBUG
260 ASSERT(begin_pos - pos_ <= kMaxSize);
261#endif
262}
263
264
265inline int RelocIterator::AdvanceGetTag() {
266 return *--pos_ & kTagMask;
267}
268
269
270inline int RelocIterator::GetExtraTag() {
271 return (*pos_ >> kTagBits) & ((1 << kExtraTagBits) - 1);
272}
273
274
275inline int RelocIterator::GetTopTag() {
276 return *pos_ >> (kTagBits + kExtraTagBits);
277}
278
279
280inline void RelocIterator::ReadTaggedPC() {
281 rinfo_.pc_ += *pos_ >> kTagBits;
282}
283
284
285inline void RelocIterator::AdvanceReadPC() {
286 rinfo_.pc_ += *--pos_;
287}
288
289
290void RelocIterator::AdvanceReadData() {
ager@chromium.orge2902be2009-06-08 12:21:35 +0000291 intptr_t x = 0;
292 for (int i = 0; i < kIntptrSize; i++) {
293 x |= static_cast<intptr_t>(*--pos_) << i * kBitsPerByte;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000294 }
295 rinfo_.data_ += x;
296}
297
298
299void RelocIterator::AdvanceReadVariableLengthPCJump() {
300 // Read the 32-kSmallPCDeltaBits most significant bits of the
301 // pc jump in kChunkBits bit chunks and shift them into place.
302 // Stop when the last chunk is encountered.
303 uint32_t pc_jump = 0;
304 for (int i = 0; i < kIntSize; i++) {
305 byte pc_jump_part = *--pos_;
306 pc_jump |= (pc_jump_part >> kLastChunkTagBits) << i * kChunkBits;
307 if ((pc_jump_part & kLastChunkTagMask) == 1) break;
308 }
309 // The least significant kSmallPCDeltaBits bits will be added
310 // later.
311 rinfo_.pc_ += pc_jump << kSmallPCDeltaBits;
312}
313
314
315inline int RelocIterator::GetPositionTypeTag() {
316 return *pos_ & ((1 << kPositionTypeTagBits) - 1);
317}
318
319
320inline void RelocIterator::ReadTaggedData() {
321 int8_t signed_b = *pos_;
ager@chromium.orge2902be2009-06-08 12:21:35 +0000322 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
323 rinfo_.data_ += signed_b >> kPositionTypeTagBits;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000324}
325
326
ager@chromium.org236ad962008-09-25 09:45:57 +0000327inline RelocInfo::Mode RelocIterator::DebugInfoModeFromTag(int tag) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000328 if (tag == kStatementPositionTag) {
ager@chromium.org236ad962008-09-25 09:45:57 +0000329 return RelocInfo::STATEMENT_POSITION;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000330 } else if (tag == kNonstatementPositionTag) {
ager@chromium.org236ad962008-09-25 09:45:57 +0000331 return RelocInfo::POSITION;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000332 } else {
333 ASSERT(tag == kCommentTag);
ager@chromium.org236ad962008-09-25 09:45:57 +0000334 return RelocInfo::COMMENT;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000335 }
336}
337
338
339void RelocIterator::next() {
340 ASSERT(!done());
341 // Basically, do the opposite of RelocInfoWriter::Write.
342 // Reading of data is as far as possible avoided for unwanted modes,
343 // but we must always update the pc.
344 //
345 // We exit this loop by returning when we find a mode we want.
346 while (pos_ > end_) {
347 int tag = AdvanceGetTag();
348 if (tag == kEmbeddedObjectTag) {
349 ReadTaggedPC();
ager@chromium.org236ad962008-09-25 09:45:57 +0000350 if (SetMode(RelocInfo::EMBEDDED_OBJECT)) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000351 } else if (tag == kCodeTargetTag) {
352 ReadTaggedPC();
ager@chromium.org236ad962008-09-25 09:45:57 +0000353 if (SetMode(RelocInfo::CODE_TARGET)) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000354 } else if (tag == kPositionTag) {
355 ReadTaggedPC();
356 Advance();
357 // Check if we want source positions.
358 if (mode_mask_ & RelocInfo::kPositionMask) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000359 ReadTaggedData();
360 if (SetMode(DebugInfoModeFromTag(GetPositionTypeTag()))) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000361 }
362 } else {
363 ASSERT(tag == kDefaultTag);
364 int extra_tag = GetExtraTag();
365 if (extra_tag == kPCJumpTag) {
366 int top_tag = GetTopTag();
367 if (top_tag == kVariableLengthPCJumpTopTag) {
368 AdvanceReadVariableLengthPCJump();
369 } else {
370 AdvanceReadPC();
371 }
372 } else if (extra_tag == kDataJumpTag) {
373 // Check if we want debug modes (the only ones with data).
374 if (mode_mask_ & RelocInfo::kDebugMask) {
375 int top_tag = GetTopTag();
376 AdvanceReadData();
377 if (SetMode(DebugInfoModeFromTag(top_tag))) return;
378 } else {
379 // Otherwise, just skip over the data.
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000380 Advance(kIntptrSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000381 }
382 } else {
383 AdvanceReadPC();
ager@chromium.org236ad962008-09-25 09:45:57 +0000384 if (SetMode(static_cast<RelocInfo::Mode>(extra_tag))) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000385 }
386 }
387 }
388 done_ = true;
389}
390
391
392RelocIterator::RelocIterator(Code* code, int mode_mask) {
393 rinfo_.pc_ = code->instruction_start();
394 rinfo_.data_ = 0;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000395 // Relocation info is read backwards.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000396 pos_ = code->relocation_start() + code->relocation_size();
397 end_ = code->relocation_start();
398 done_ = false;
399 mode_mask_ = mode_mask;
400 if (mode_mask_ == 0) pos_ = end_;
401 next();
402}
403
404
405RelocIterator::RelocIterator(const CodeDesc& desc, int mode_mask) {
406 rinfo_.pc_ = desc.buffer;
407 rinfo_.data_ = 0;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000408 // Relocation info is read backwards.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000409 pos_ = desc.buffer + desc.buffer_size;
410 end_ = pos_ - desc.reloc_size;
411 done_ = false;
412 mode_mask_ = mode_mask;
413 if (mode_mask_ == 0) pos_ = end_;
414 next();
415}
416
417
418// -----------------------------------------------------------------------------
419// Implementation of RelocInfo
420
421
mads.s.ager@gmail.com769cc962008-08-06 10:02:49 +0000422#ifdef ENABLE_DISASSEMBLER
ager@chromium.org236ad962008-09-25 09:45:57 +0000423const char* RelocInfo::RelocModeName(RelocInfo::Mode rmode) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000424 switch (rmode) {
ager@chromium.org236ad962008-09-25 09:45:57 +0000425 case RelocInfo::NONE:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000426 return "no reloc";
ager@chromium.org236ad962008-09-25 09:45:57 +0000427 case RelocInfo::EMBEDDED_OBJECT:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000428 return "embedded object";
ager@chromium.org236ad962008-09-25 09:45:57 +0000429 case RelocInfo::CONSTRUCT_CALL:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000430 return "code target (js construct call)";
ager@chromium.org236ad962008-09-25 09:45:57 +0000431 case RelocInfo::CODE_TARGET_CONTEXT:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000432 return "code target (context)";
ager@chromium.org5c838252010-02-19 08:53:10 +0000433 case RelocInfo::DEBUG_BREAK:
434#ifndef ENABLE_DEBUGGER_SUPPORT
435 UNREACHABLE();
436#endif
437 return "debug break";
ager@chromium.org236ad962008-09-25 09:45:57 +0000438 case RelocInfo::CODE_TARGET:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000439 return "code target";
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000440 case RelocInfo::GLOBAL_PROPERTY_CELL:
441 return "global property cell";
ager@chromium.org236ad962008-09-25 09:45:57 +0000442 case RelocInfo::RUNTIME_ENTRY:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000443 return "runtime entry";
ager@chromium.org236ad962008-09-25 09:45:57 +0000444 case RelocInfo::JS_RETURN:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000445 return "js return";
ager@chromium.org236ad962008-09-25 09:45:57 +0000446 case RelocInfo::COMMENT:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000447 return "comment";
ager@chromium.org236ad962008-09-25 09:45:57 +0000448 case RelocInfo::POSITION:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000449 return "position";
ager@chromium.org236ad962008-09-25 09:45:57 +0000450 case RelocInfo::STATEMENT_POSITION:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000451 return "statement position";
ager@chromium.org236ad962008-09-25 09:45:57 +0000452 case RelocInfo::EXTERNAL_REFERENCE:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000453 return "external reference";
ager@chromium.org236ad962008-09-25 09:45:57 +0000454 case RelocInfo::INTERNAL_REFERENCE:
455 return "internal reference";
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000456 case RelocInfo::DEBUG_BREAK_SLOT:
457#ifndef ENABLE_DEBUGGER_SUPPORT
458 UNREACHABLE();
459#endif
460 return "debug break slot";
ager@chromium.org236ad962008-09-25 09:45:57 +0000461 case RelocInfo::NUMBER_OF_MODES:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000462 UNREACHABLE();
ager@chromium.org236ad962008-09-25 09:45:57 +0000463 return "number_of_modes";
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000464 }
465 return "unknown relocation type";
466}
467
468
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000469void RelocInfo::Print() {
470 PrintF("%p %s", pc_, RelocModeName(rmode_));
ager@chromium.org236ad962008-09-25 09:45:57 +0000471 if (IsComment(rmode_)) {
kmillikin@chromium.orgf05f2912010-09-30 10:07:24 +0000472 PrintF(" (%s)", reinterpret_cast<char*>(data_));
ager@chromium.org236ad962008-09-25 09:45:57 +0000473 } else if (rmode_ == EMBEDDED_OBJECT) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000474 PrintF(" (");
475 target_object()->ShortPrint();
476 PrintF(")");
ager@chromium.org236ad962008-09-25 09:45:57 +0000477 } else if (rmode_ == EXTERNAL_REFERENCE) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000478 ExternalReferenceEncoder ref_encoder;
479 PrintF(" (%s) (%p)",
480 ref_encoder.NameOfAddress(*target_reference_address()),
481 *target_reference_address());
ager@chromium.org236ad962008-09-25 09:45:57 +0000482 } else if (IsCodeTarget(rmode_)) {
ager@chromium.org8bb60582008-12-11 12:02:20 +0000483 Code* code = Code::GetCodeFromTargetAddress(target_address());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000484 PrintF(" (%s) (%p)", Code::Kind2String(code->kind()), target_address());
ager@chromium.org236ad962008-09-25 09:45:57 +0000485 } else if (IsPosition(rmode_)) {
kmillikin@chromium.orgf05f2912010-09-30 10:07:24 +0000486 PrintF(" (%" V8_PTR_PREFIX "d)", data());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000487 } else if (rmode_ == RelocInfo::RUNTIME_ENTRY) {
488 // Depotimization bailouts are stored as runtime entries.
489 int id = Deoptimizer::GetDeoptimizationId(
490 target_address(), Deoptimizer::EAGER);
491 if (id != Deoptimizer::kNotDeoptimizationEntry) {
492 PrintF(" (deoptimization bailout %d)", id);
493 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000494 }
495
496 PrintF("\n");
497}
mads.s.ager31e71382008-08-13 09:32:07 +0000498#endif // ENABLE_DISASSEMBLER
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000499
500
mads.s.ager31e71382008-08-13 09:32:07 +0000501#ifdef DEBUG
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000502void RelocInfo::Verify() {
503 switch (rmode_) {
ager@chromium.org236ad962008-09-25 09:45:57 +0000504 case EMBEDDED_OBJECT:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000505 Object::VerifyPointer(target_object());
506 break;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000507 case GLOBAL_PROPERTY_CELL:
508 Object::VerifyPointer(target_cell());
509 break;
ager@chromium.org5c838252010-02-19 08:53:10 +0000510 case DEBUG_BREAK:
511#ifndef ENABLE_DEBUGGER_SUPPORT
512 UNREACHABLE();
513 break;
514#endif
ager@chromium.org236ad962008-09-25 09:45:57 +0000515 case CONSTRUCT_CALL:
516 case CODE_TARGET_CONTEXT:
517 case CODE_TARGET: {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000518 // convert inline target address to code object
519 Address addr = target_address();
520 ASSERT(addr != NULL);
521 // Check that we can find the right code object.
ager@chromium.org4af710e2009-09-15 12:20:11 +0000522 Code* code = Code::GetCodeFromTargetAddress(addr);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000523 Object* found = Heap::FindCodeObject(addr);
524 ASSERT(found->IsCode());
525 ASSERT(code->address() == HeapObject::cast(found)->address());
526 break;
527 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000528 case RUNTIME_ENTRY:
529 case JS_RETURN:
530 case COMMENT:
531 case POSITION:
532 case STATEMENT_POSITION:
533 case EXTERNAL_REFERENCE:
534 case INTERNAL_REFERENCE:
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000535 case DEBUG_BREAK_SLOT:
ager@chromium.org236ad962008-09-25 09:45:57 +0000536 case NONE:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000537 break;
ager@chromium.org236ad962008-09-25 09:45:57 +0000538 case NUMBER_OF_MODES:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000539 UNREACHABLE();
540 break;
541 }
542}
543#endif // DEBUG
544
545
546// -----------------------------------------------------------------------------
547// Implementation of ExternalReference
548
549ExternalReference::ExternalReference(Builtins::CFunctionId id)
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000550 : address_(Redirect(Builtins::c_function_address(id))) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000551
552
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000553ExternalReference::ExternalReference(ApiFunction* fun)
554 : address_(Redirect(fun->address())) {}
555
556
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000557ExternalReference::ExternalReference(Builtins::Name name)
558 : address_(Builtins::builtin_address(name)) {}
559
560
561ExternalReference::ExternalReference(Runtime::FunctionId id)
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000562 : address_(Redirect(Runtime::FunctionForId(id)->entry)) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000563
564
565ExternalReference::ExternalReference(Runtime::Function* f)
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000566 : address_(Redirect(f->entry)) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000567
568
569ExternalReference::ExternalReference(const IC_Utility& ic_utility)
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000570 : address_(Redirect(ic_utility.address())) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000571
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000572#ifdef ENABLE_DEBUGGER_SUPPORT
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000573ExternalReference::ExternalReference(const Debug_Address& debug_address)
574 : address_(debug_address.address()) {}
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000575#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000576
577ExternalReference::ExternalReference(StatsCounter* counter)
578 : address_(reinterpret_cast<Address>(counter->GetInternalPointer())) {}
579
580
581ExternalReference::ExternalReference(Top::AddressId id)
582 : address_(Top::get_address_from_id(id)) {}
583
584
585ExternalReference::ExternalReference(const SCTableReference& table_ref)
586 : address_(table_ref.address()) {}
587
588
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000589ExternalReference ExternalReference::perform_gc_function() {
590 return ExternalReference(Redirect(FUNCTION_ADDR(Runtime::PerformGC)));
591}
592
593
ager@chromium.org357bf652010-04-12 11:30:10 +0000594ExternalReference ExternalReference::fill_heap_number_with_random_function() {
595 return
596 ExternalReference(Redirect(FUNCTION_ADDR(V8::FillHeapNumberWithRandom)));
597}
598
599
lrn@chromium.org303ada72010-10-27 09:33:13 +0000600ExternalReference ExternalReference::delete_handle_scope_extensions() {
601 return ExternalReference(Redirect(FUNCTION_ADDR(
602 HandleScope::DeleteExtensions)));
603}
604
605
ager@chromium.org357bf652010-04-12 11:30:10 +0000606ExternalReference ExternalReference::random_uint32_function() {
607 return ExternalReference(Redirect(FUNCTION_ADDR(V8::Random)));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000608}
609
610
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000611ExternalReference ExternalReference::transcendental_cache_array_address() {
612 return ExternalReference(TranscendentalCache::cache_array_address());
613}
614
615
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000616ExternalReference ExternalReference::new_deoptimizer_function() {
617 return ExternalReference(
618 Redirect(FUNCTION_ADDR(Deoptimizer::New)));
619}
620
621
622ExternalReference ExternalReference::compute_output_frames_function() {
623 return ExternalReference(
624 Redirect(FUNCTION_ADDR(Deoptimizer::ComputeOutputFrames)));
625}
626
627
628ExternalReference ExternalReference::global_contexts_list() {
629 return ExternalReference(Heap::global_contexts_list_address());
630}
631
632
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000633ExternalReference ExternalReference::keyed_lookup_cache_keys() {
634 return ExternalReference(KeyedLookupCache::keys_address());
635}
636
637
638ExternalReference ExternalReference::keyed_lookup_cache_field_offsets() {
639 return ExternalReference(KeyedLookupCache::field_offsets_address());
640}
641
642
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000643ExternalReference ExternalReference::the_hole_value_location() {
644 return ExternalReference(Factory::the_hole_value().location());
645}
646
647
ager@chromium.orgab99eea2009-08-25 07:05:41 +0000648ExternalReference ExternalReference::roots_address() {
649 return ExternalReference(Heap::roots_address());
650}
651
652
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000653ExternalReference ExternalReference::address_of_stack_limit() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000654 return ExternalReference(StackGuard::address_of_jslimit());
655}
656
657
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000658ExternalReference ExternalReference::address_of_real_stack_limit() {
659 return ExternalReference(StackGuard::address_of_real_jslimit());
660}
661
662
ager@chromium.org32912102009-01-16 10:38:43 +0000663ExternalReference ExternalReference::address_of_regexp_stack_limit() {
664 return ExternalReference(RegExpStack::limit_address());
665}
666
667
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000668ExternalReference ExternalReference::new_space_start() {
669 return ExternalReference(Heap::NewSpaceStart());
670}
671
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000672
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000673ExternalReference ExternalReference::new_space_mask() {
674 return ExternalReference(reinterpret_cast<Address>(Heap::NewSpaceMask()));
675}
676
677
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000678ExternalReference ExternalReference::new_space_allocation_top_address() {
679 return ExternalReference(Heap::NewSpaceAllocationTopAddress());
680}
681
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000682
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000683ExternalReference ExternalReference::heap_always_allocate_scope_depth() {
684 return ExternalReference(Heap::always_allocate_scope_depth_address());
685}
686
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000687
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000688ExternalReference ExternalReference::new_space_allocation_limit_address() {
689 return ExternalReference(Heap::NewSpaceAllocationLimitAddress());
690}
691
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000692
lrn@chromium.org303ada72010-10-27 09:33:13 +0000693ExternalReference ExternalReference::handle_scope_level_address() {
694 return ExternalReference(HandleScope::current_level_address());
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000695}
696
697
698ExternalReference ExternalReference::handle_scope_next_address() {
699 return ExternalReference(HandleScope::current_next_address());
700}
701
702
703ExternalReference ExternalReference::handle_scope_limit_address() {
704 return ExternalReference(HandleScope::current_limit_address());
705}
706
707
708ExternalReference ExternalReference::scheduled_exception_address() {
709 return ExternalReference(Top::scheduled_exception_address());
710}
711
712
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000713ExternalReference ExternalReference::address_of_min_int() {
714 return ExternalReference(reinterpret_cast<void*>(
715 const_cast<double*>(&DoubleConstant::min_int)));
716}
717
718
719ExternalReference ExternalReference::address_of_one_half() {
720 return ExternalReference(reinterpret_cast<void*>(
721 const_cast<double*>(&DoubleConstant::one_half)));
722}
723
724
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000725#ifndef V8_INTERPRETED_REGEXP
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000726
727ExternalReference ExternalReference::re_check_stack_guard_state() {
728 Address function;
729#ifdef V8_TARGET_ARCH_X64
730 function = FUNCTION_ADDR(RegExpMacroAssemblerX64::CheckStackGuardState);
731#elif V8_TARGET_ARCH_IA32
732 function = FUNCTION_ADDR(RegExpMacroAssemblerIA32::CheckStackGuardState);
733#elif V8_TARGET_ARCH_ARM
734 function = FUNCTION_ADDR(RegExpMacroAssemblerARM::CheckStackGuardState);
735#else
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000736 UNREACHABLE();
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000737#endif
738 return ExternalReference(Redirect(function));
739}
740
741ExternalReference ExternalReference::re_grow_stack() {
742 return ExternalReference(
743 Redirect(FUNCTION_ADDR(NativeRegExpMacroAssembler::GrowStack)));
744}
745
746ExternalReference ExternalReference::re_case_insensitive_compare_uc16() {
747 return ExternalReference(Redirect(
748 FUNCTION_ADDR(NativeRegExpMacroAssembler::CaseInsensitiveCompareUC16)));
749}
750
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000751ExternalReference ExternalReference::re_word_character_map() {
752 return ExternalReference(
753 NativeRegExpMacroAssembler::word_character_map_address());
754}
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000755
756ExternalReference ExternalReference::address_of_static_offsets_vector() {
757 return ExternalReference(OffsetsVector::static_offsets_vector_address());
758}
759
760ExternalReference ExternalReference::address_of_regexp_stack_memory_address() {
761 return ExternalReference(RegExpStack::memory_address());
762}
763
764ExternalReference ExternalReference::address_of_regexp_stack_memory_size() {
765 return ExternalReference(RegExpStack::memory_size_address());
766}
767
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000768#endif // V8_INTERPRETED_REGEXP
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000769
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000770
771static double add_two_doubles(double x, double y) {
772 return x + y;
773}
774
775
776static double sub_two_doubles(double x, double y) {
777 return x - y;
778}
779
780
781static double mul_two_doubles(double x, double y) {
782 return x * y;
783}
784
785
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000786static double div_two_doubles(double x, double y) {
787 return x / y;
788}
789
790
791static double mod_two_doubles(double x, double y) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000792 return modulo(x, y);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000793}
794
795
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000796static int native_compare_doubles(double y, double x) {
797 if (x == y) return EQUAL;
798 return x < y ? LESS : GREATER;
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000799}
800
801
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000802ExternalReference ExternalReference::double_fp_operation(
803 Token::Value operation) {
804 typedef double BinaryFPOperation(double x, double y);
805 BinaryFPOperation* function = NULL;
806 switch (operation) {
807 case Token::ADD:
808 function = &add_two_doubles;
809 break;
810 case Token::SUB:
811 function = &sub_two_doubles;
812 break;
813 case Token::MUL:
814 function = &mul_two_doubles;
815 break;
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000816 case Token::DIV:
817 function = &div_two_doubles;
818 break;
819 case Token::MOD:
820 function = &mod_two_doubles;
821 break;
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000822 default:
823 UNREACHABLE();
824 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000825 // Passing true as 2nd parameter indicates that they return an fp value.
826 return ExternalReference(Redirect(FUNCTION_ADDR(function), true));
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000827}
828
829
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000830ExternalReference ExternalReference::compare_doubles() {
831 return ExternalReference(Redirect(FUNCTION_ADDR(native_compare_doubles),
832 false));
833}
834
835
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000836ExternalReferenceRedirector* ExternalReference::redirector_ = NULL;
837
838
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000839#ifdef ENABLE_DEBUGGER_SUPPORT
840ExternalReference ExternalReference::debug_break() {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000841 return ExternalReference(Redirect(FUNCTION_ADDR(Debug::Break)));
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000842}
843
844
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000845ExternalReference ExternalReference::debug_step_in_fp_address() {
846 return ExternalReference(Debug::step_in_fp_addr());
847}
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000848#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000849
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000850
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000851void PositionsRecorder::RecordPosition(int pos) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000852 ASSERT(pos != RelocInfo::kNoPosition);
853 ASSERT(pos >= 0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000854 state_.current_position = pos;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000855}
856
857
858void PositionsRecorder::RecordStatementPosition(int pos) {
859 ASSERT(pos != RelocInfo::kNoPosition);
860 ASSERT(pos >= 0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000861 state_.current_statement_position = pos;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000862}
863
864
865bool PositionsRecorder::WriteRecordedPositions() {
866 bool written = false;
867
868 // Write the statement position if it is different from what was written last
869 // time.
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000870 if (state_.current_statement_position != state_.written_statement_position) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000871 EnsureSpace ensure_space(assembler_);
872 assembler_->RecordRelocInfo(RelocInfo::STATEMENT_POSITION,
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000873 state_.current_statement_position);
874 state_.written_statement_position = state_.current_statement_position;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000875 written = true;
876 }
877
878 // Write the position if it is different from what was written last time and
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000879 // also different from the written statement position.
880 if (state_.current_position != state_.written_position &&
881 state_.current_position != state_.written_statement_position) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000882 EnsureSpace ensure_space(assembler_);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000883 assembler_->RecordRelocInfo(RelocInfo::POSITION, state_.current_position);
884 state_.written_position = state_.current_position;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000885 written = true;
886 }
887
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000888 // Return whether something was written.
889 return written;
890}
891
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000892} } // namespace v8::internal