blob: b0b44fd980e0721bc7e32f7f4ec6bacccf7dc911 [file] [log] [blame]
Steve Blocka7e24c12009-10-30 11:49:00 +00001// Copyright (c) 1994-2006 Sun Microsystems Inc.
2// All Rights Reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are
6// met:
7//
8// - Redistributions of source code must retain the above copyright notice,
9// this list of conditions and the following disclaimer.
10//
11// - Redistribution in binary form must reproduce the above copyright
12// notice, this list of conditions and the following disclaimer in the
13// documentation and/or other materials provided with the distribution.
14//
15// - Neither the name of Sun Microsystems or the names of contributors may
16// be used to endorse or promote products derived from this software without
17// specific prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
20// IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
21// THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
23// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
24// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
25// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
26// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
27// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
28// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
29// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30
31// The original source code covered by the above license above has been
32// modified significantly by Google Inc.
33// Copyright 2006-2009 the V8 project authors. All rights reserved.
34
35#include "v8.h"
36
37#include "arguments.h"
Ben Murdochb0fe1622011-05-05 13:52:32 +010038#include "deoptimizer.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000039#include "execution.h"
40#include "ic-inl.h"
41#include "factory.h"
42#include "runtime.h"
Ben Murdochb0fe1622011-05-05 13:52:32 +010043#include "runtime-profiler.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000044#include "serialize.h"
45#include "stub-cache.h"
46#include "regexp-stack.h"
47#include "ast.h"
48#include "regexp-macro-assembler.h"
Leon Clarkee46be812010-01-19 14:06:41 +000049#include "platform.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000050// Include native regexp-macro-assembler.
Steve Block6ded16b2010-05-10 14:33:55 +010051#ifndef V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +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.
Steve Block6ded16b2010-05-10 14:33:55 +010061#endif // V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +000062
63namespace v8 {
64namespace internal {
65
66
Ben Murdochb0fe1622011-05-05 13:52:32 +010067const double DoubleConstant::min_int = kMinInt;
68const double DoubleConstant::one_half = 0.5;
Ben Murdochb8e0da22011-05-16 14:20:40 +010069const double DoubleConstant::minus_zero = -0.0;
Ben Murdochb0fe1622011-05-05 13:52:32 +010070const double DoubleConstant::negative_infinity = -V8_INFINITY;
Ben Murdoche0cee9b2011-05-25 10:26:03 +010071const char* RelocInfo::kFillerCommentString = "DEOPTIMIZATION PADDING";
Ben Murdochb0fe1622011-05-05 13:52:32 +010072
Steve Blocka7e24c12009-10-30 11:49:00 +000073// -----------------------------------------------------------------------------
74// Implementation of Label
75
76int Label::pos() const {
77 if (pos_ < 0) return -pos_ - 1;
78 if (pos_ > 0) return pos_ - 1;
79 UNREACHABLE();
80 return 0;
81}
82
83
84// -----------------------------------------------------------------------------
85// Implementation of RelocInfoWriter and RelocIterator
86//
87// Encoding
88//
89// The most common modes are given single-byte encodings. Also, it is
90// easy to identify the type of reloc info and skip unwanted modes in
91// an iteration.
92//
93// The encoding relies on the fact that there are less than 14
94// different relocation modes.
95//
96// embedded_object: [6 bits pc delta] 00
97//
98// code_taget: [6 bits pc delta] 01
99//
100// position: [6 bits pc delta] 10,
101// [7 bits signed data delta] 0
102//
103// statement_position: [6 bits pc delta] 10,
104// [7 bits signed data delta] 1
105//
106// any nondata mode: 00 [4 bits rmode] 11, // rmode: 0..13 only
107// 00 [6 bits pc delta]
108//
109// pc-jump: 00 1111 11,
110// 00 [6 bits pc delta]
111//
112// pc-jump: 01 1111 11,
113// (variable length) 7 - 26 bit pc delta, written in chunks of 7
114// bits, the lowest 7 bits written first.
115//
116// data-jump + pos: 00 1110 11,
117// signed intptr_t, lowest byte written first
118//
119// data-jump + st.pos: 01 1110 11,
120// signed intptr_t, lowest byte written first
121//
122// data-jump + comm.: 10 1110 11,
123// signed intptr_t, lowest byte written first
124//
125const int kMaxRelocModes = 14;
126
127const int kTagBits = 2;
128const int kTagMask = (1 << kTagBits) - 1;
129const int kExtraTagBits = 4;
130const int kPositionTypeTagBits = 1;
131const int kSmallDataBits = kBitsPerByte - kPositionTypeTagBits;
132
133const int kEmbeddedObjectTag = 0;
134const int kCodeTargetTag = 1;
135const int kPositionTag = 2;
136const int kDefaultTag = 3;
137
138const int kPCJumpTag = (1 << kExtraTagBits) - 1;
139
140const int kSmallPCDeltaBits = kBitsPerByte - kTagBits;
141const int kSmallPCDeltaMask = (1 << kSmallPCDeltaBits) - 1;
142
143const int kVariableLengthPCJumpTopTag = 1;
144const int kChunkBits = 7;
145const int kChunkMask = (1 << kChunkBits) - 1;
146const int kLastChunkTagBits = 1;
147const int kLastChunkTagMask = 1;
148const int kLastChunkTag = 1;
149
150
151const int kDataJumpTag = kPCJumpTag - 1;
152
153const int kNonstatementPositionTag = 0;
154const int kStatementPositionTag = 1;
155const int kCommentTag = 2;
156
157
158uint32_t RelocInfoWriter::WriteVariableLengthPCJump(uint32_t pc_delta) {
159 // Return if the pc_delta can fit in kSmallPCDeltaBits bits.
160 // Otherwise write a variable length PC jump for the bits that do
161 // not fit in the kSmallPCDeltaBits bits.
162 if (is_uintn(pc_delta, kSmallPCDeltaBits)) return pc_delta;
163 WriteExtraTag(kPCJumpTag, kVariableLengthPCJumpTopTag);
164 uint32_t pc_jump = pc_delta >> kSmallPCDeltaBits;
165 ASSERT(pc_jump > 0);
166 // Write kChunkBits size chunks of the pc_jump.
167 for (; pc_jump > 0; pc_jump = pc_jump >> kChunkBits) {
168 byte b = pc_jump & kChunkMask;
169 *--pos_ = b << kLastChunkTagBits;
170 }
171 // Tag the last chunk so it can be identified.
172 *pos_ = *pos_ | kLastChunkTag;
173 // Return the remaining kSmallPCDeltaBits of the pc_delta.
174 return pc_delta & kSmallPCDeltaMask;
175}
176
177
178void RelocInfoWriter::WriteTaggedPC(uint32_t pc_delta, int tag) {
179 // Write a byte of tagged pc-delta, possibly preceded by var. length pc-jump.
180 pc_delta = WriteVariableLengthPCJump(pc_delta);
181 *--pos_ = pc_delta << kTagBits | tag;
182}
183
184
185void RelocInfoWriter::WriteTaggedData(intptr_t data_delta, int tag) {
Steve Blockd0582a62009-12-15 09:54:21 +0000186 *--pos_ = static_cast<byte>(data_delta << kPositionTypeTagBits | tag);
Steve Blocka7e24c12009-10-30 11:49:00 +0000187}
188
189
190void RelocInfoWriter::WriteExtraTag(int extra_tag, int top_tag) {
Steve Blockd0582a62009-12-15 09:54:21 +0000191 *--pos_ = static_cast<int>(top_tag << (kTagBits + kExtraTagBits) |
192 extra_tag << kTagBits |
193 kDefaultTag);
Steve Blocka7e24c12009-10-30 11:49:00 +0000194}
195
196
197void RelocInfoWriter::WriteExtraTaggedPC(uint32_t pc_delta, int extra_tag) {
198 // Write two-byte tagged pc-delta, possibly preceded by var. length pc-jump.
199 pc_delta = WriteVariableLengthPCJump(pc_delta);
200 WriteExtraTag(extra_tag, 0);
201 *--pos_ = pc_delta;
202}
203
204
205void RelocInfoWriter::WriteExtraTaggedData(intptr_t data_delta, int top_tag) {
206 WriteExtraTag(kDataJumpTag, top_tag);
207 for (int i = 0; i < kIntptrSize; i++) {
Steve Blockd0582a62009-12-15 09:54:21 +0000208 *--pos_ = static_cast<byte>(data_delta);
Steve Blocka7e24c12009-10-30 11:49:00 +0000209 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
210 data_delta = data_delta >> kBitsPerByte;
211 }
212}
213
214
215void RelocInfoWriter::Write(const RelocInfo* rinfo) {
216#ifdef DEBUG
217 byte* begin_pos = pos_;
218#endif
219 Counters::reloc_info_count.Increment();
220 ASSERT(rinfo->pc() - last_pc_ >= 0);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100221 ASSERT(RelocInfo::NUMBER_OF_MODES <= kMaxRelocModes);
Steve Blocka7e24c12009-10-30 11:49:00 +0000222 // Use unsigned delta-encoding for pc.
Steve Blockd0582a62009-12-15 09:54:21 +0000223 uint32_t pc_delta = static_cast<uint32_t>(rinfo->pc() - last_pc_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000224 RelocInfo::Mode rmode = rinfo->rmode();
225
226 // The two most common modes are given small tags, and usually fit in a byte.
227 if (rmode == RelocInfo::EMBEDDED_OBJECT) {
228 WriteTaggedPC(pc_delta, kEmbeddedObjectTag);
229 } else if (rmode == RelocInfo::CODE_TARGET) {
230 WriteTaggedPC(pc_delta, kCodeTargetTag);
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100231 ASSERT(begin_pos - pos_ <= RelocInfo::kMaxCallSize);
Steve Blocka7e24c12009-10-30 11:49:00 +0000232 } else if (RelocInfo::IsPosition(rmode)) {
233 // Use signed delta-encoding for data.
234 intptr_t data_delta = rinfo->data() - last_data_;
235 int pos_type_tag = rmode == RelocInfo::POSITION ? kNonstatementPositionTag
236 : kStatementPositionTag;
237 // Check if data is small enough to fit in a tagged byte.
238 // We cannot use is_intn because data_delta is not an int32_t.
239 if (data_delta >= -(1 << (kSmallDataBits-1)) &&
240 data_delta < 1 << (kSmallDataBits-1)) {
241 WriteTaggedPC(pc_delta, kPositionTag);
242 WriteTaggedData(data_delta, pos_type_tag);
243 last_data_ = rinfo->data();
244 } else {
245 // Otherwise, use costly encoding.
246 WriteExtraTaggedPC(pc_delta, kPCJumpTag);
247 WriteExtraTaggedData(data_delta, pos_type_tag);
248 last_data_ = rinfo->data();
249 }
250 } else if (RelocInfo::IsComment(rmode)) {
251 // Comments are normally not generated, so we use the costly encoding.
252 WriteExtraTaggedPC(pc_delta, kPCJumpTag);
253 WriteExtraTaggedData(rinfo->data() - last_data_, kCommentTag);
254 last_data_ = rinfo->data();
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100255 ASSERT(begin_pos - pos_ >= RelocInfo::kMinRelocCommentSize);
Steve Blocka7e24c12009-10-30 11:49:00 +0000256 } else {
257 // For all other modes we simply use the mode as the extra tag.
258 // None of these modes need a data component.
259 ASSERT(rmode < kPCJumpTag && rmode < kDataJumpTag);
260 WriteExtraTaggedPC(pc_delta, rmode);
261 }
262 last_pc_ = rinfo->pc();
263#ifdef DEBUG
264 ASSERT(begin_pos - pos_ <= kMaxSize);
265#endif
266}
267
268
269inline int RelocIterator::AdvanceGetTag() {
270 return *--pos_ & kTagMask;
271}
272
273
274inline int RelocIterator::GetExtraTag() {
275 return (*pos_ >> kTagBits) & ((1 << kExtraTagBits) - 1);
276}
277
278
279inline int RelocIterator::GetTopTag() {
280 return *pos_ >> (kTagBits + kExtraTagBits);
281}
282
283
284inline void RelocIterator::ReadTaggedPC() {
285 rinfo_.pc_ += *pos_ >> kTagBits;
286}
287
288
289inline void RelocIterator::AdvanceReadPC() {
290 rinfo_.pc_ += *--pos_;
291}
292
293
294void RelocIterator::AdvanceReadData() {
295 intptr_t x = 0;
296 for (int i = 0; i < kIntptrSize; i++) {
297 x |= static_cast<intptr_t>(*--pos_) << i * kBitsPerByte;
298 }
299 rinfo_.data_ += x;
300}
301
302
303void RelocIterator::AdvanceReadVariableLengthPCJump() {
304 // Read the 32-kSmallPCDeltaBits most significant bits of the
305 // pc jump in kChunkBits bit chunks and shift them into place.
306 // Stop when the last chunk is encountered.
307 uint32_t pc_jump = 0;
308 for (int i = 0; i < kIntSize; i++) {
309 byte pc_jump_part = *--pos_;
310 pc_jump |= (pc_jump_part >> kLastChunkTagBits) << i * kChunkBits;
311 if ((pc_jump_part & kLastChunkTagMask) == 1) break;
312 }
313 // The least significant kSmallPCDeltaBits bits will be added
314 // later.
315 rinfo_.pc_ += pc_jump << kSmallPCDeltaBits;
316}
317
318
319inline int RelocIterator::GetPositionTypeTag() {
320 return *pos_ & ((1 << kPositionTypeTagBits) - 1);
321}
322
323
324inline void RelocIterator::ReadTaggedData() {
325 int8_t signed_b = *pos_;
326 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
327 rinfo_.data_ += signed_b >> kPositionTypeTagBits;
328}
329
330
331inline RelocInfo::Mode RelocIterator::DebugInfoModeFromTag(int tag) {
332 if (tag == kStatementPositionTag) {
333 return RelocInfo::STATEMENT_POSITION;
334 } else if (tag == kNonstatementPositionTag) {
335 return RelocInfo::POSITION;
336 } else {
337 ASSERT(tag == kCommentTag);
338 return RelocInfo::COMMENT;
339 }
340}
341
342
343void RelocIterator::next() {
344 ASSERT(!done());
345 // Basically, do the opposite of RelocInfoWriter::Write.
346 // Reading of data is as far as possible avoided for unwanted modes,
347 // but we must always update the pc.
348 //
349 // We exit this loop by returning when we find a mode we want.
350 while (pos_ > end_) {
351 int tag = AdvanceGetTag();
352 if (tag == kEmbeddedObjectTag) {
353 ReadTaggedPC();
354 if (SetMode(RelocInfo::EMBEDDED_OBJECT)) return;
355 } else if (tag == kCodeTargetTag) {
356 ReadTaggedPC();
Steve Blocka7e24c12009-10-30 11:49:00 +0000357 if (SetMode(RelocInfo::CODE_TARGET)) return;
358 } else if (tag == kPositionTag) {
359 ReadTaggedPC();
360 Advance();
361 // Check if we want source positions.
362 if (mode_mask_ & RelocInfo::kPositionMask) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100363 ReadTaggedData();
364 if (SetMode(DebugInfoModeFromTag(GetPositionTypeTag()))) return;
Steve Blocka7e24c12009-10-30 11:49:00 +0000365 }
366 } else {
367 ASSERT(tag == kDefaultTag);
368 int extra_tag = GetExtraTag();
369 if (extra_tag == kPCJumpTag) {
370 int top_tag = GetTopTag();
371 if (top_tag == kVariableLengthPCJumpTopTag) {
372 AdvanceReadVariableLengthPCJump();
373 } else {
374 AdvanceReadPC();
375 }
376 } else if (extra_tag == kDataJumpTag) {
377 // Check if we want debug modes (the only ones with data).
378 if (mode_mask_ & RelocInfo::kDebugMask) {
379 int top_tag = GetTopTag();
380 AdvanceReadData();
381 if (SetMode(DebugInfoModeFromTag(top_tag))) return;
382 } else {
383 // Otherwise, just skip over the data.
384 Advance(kIntptrSize);
385 }
386 } else {
387 AdvanceReadPC();
388 if (SetMode(static_cast<RelocInfo::Mode>(extra_tag))) return;
389 }
390 }
391 }
392 done_ = true;
393}
394
395
396RelocIterator::RelocIterator(Code* code, int mode_mask) {
397 rinfo_.pc_ = code->instruction_start();
398 rinfo_.data_ = 0;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100399 // Relocation info is read backwards.
Steve Blocka7e24c12009-10-30 11:49:00 +0000400 pos_ = code->relocation_start() + code->relocation_size();
401 end_ = code->relocation_start();
402 done_ = false;
403 mode_mask_ = mode_mask;
404 if (mode_mask_ == 0) pos_ = end_;
405 next();
406}
407
408
409RelocIterator::RelocIterator(const CodeDesc& desc, int mode_mask) {
410 rinfo_.pc_ = desc.buffer;
411 rinfo_.data_ = 0;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100412 // Relocation info is read backwards.
Steve Blocka7e24c12009-10-30 11:49:00 +0000413 pos_ = desc.buffer + desc.buffer_size;
414 end_ = pos_ - desc.reloc_size;
415 done_ = false;
416 mode_mask_ = mode_mask;
417 if (mode_mask_ == 0) pos_ = end_;
418 next();
419}
420
421
422// -----------------------------------------------------------------------------
423// Implementation of RelocInfo
424
425
426#ifdef ENABLE_DISASSEMBLER
427const char* RelocInfo::RelocModeName(RelocInfo::Mode rmode) {
428 switch (rmode) {
429 case RelocInfo::NONE:
430 return "no reloc";
431 case RelocInfo::EMBEDDED_OBJECT:
432 return "embedded object";
Steve Blocka7e24c12009-10-30 11:49:00 +0000433 case RelocInfo::CONSTRUCT_CALL:
434 return "code target (js construct call)";
435 case RelocInfo::CODE_TARGET_CONTEXT:
436 return "code target (context)";
Andrei Popescu402d9372010-02-26 13:31:12 +0000437 case RelocInfo::DEBUG_BREAK:
438#ifndef ENABLE_DEBUGGER_SUPPORT
439 UNREACHABLE();
440#endif
441 return "debug break";
Steve Blocka7e24c12009-10-30 11:49:00 +0000442 case RelocInfo::CODE_TARGET:
443 return "code target";
Ben Murdochb0fe1622011-05-05 13:52:32 +0100444 case RelocInfo::GLOBAL_PROPERTY_CELL:
445 return "global property cell";
Steve Blocka7e24c12009-10-30 11:49:00 +0000446 case RelocInfo::RUNTIME_ENTRY:
447 return "runtime entry";
448 case RelocInfo::JS_RETURN:
449 return "js return";
450 case RelocInfo::COMMENT:
451 return "comment";
452 case RelocInfo::POSITION:
453 return "position";
454 case RelocInfo::STATEMENT_POSITION:
455 return "statement position";
456 case RelocInfo::EXTERNAL_REFERENCE:
457 return "external reference";
458 case RelocInfo::INTERNAL_REFERENCE:
459 return "internal reference";
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100460 case RelocInfo::DEBUG_BREAK_SLOT:
461#ifndef ENABLE_DEBUGGER_SUPPORT
462 UNREACHABLE();
463#endif
464 return "debug break slot";
Steve Blocka7e24c12009-10-30 11:49:00 +0000465 case RelocInfo::NUMBER_OF_MODES:
466 UNREACHABLE();
467 return "number_of_modes";
468 }
469 return "unknown relocation type";
470}
471
472
Ben Murdochb0fe1622011-05-05 13:52:32 +0100473void RelocInfo::Print(FILE* out) {
474 PrintF(out, "%p %s", pc_, RelocModeName(rmode_));
Steve Blocka7e24c12009-10-30 11:49:00 +0000475 if (IsComment(rmode_)) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100476 PrintF(out, " (%s)", reinterpret_cast<char*>(data_));
Steve Blocka7e24c12009-10-30 11:49:00 +0000477 } else if (rmode_ == EMBEDDED_OBJECT) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100478 PrintF(out, " (");
479 target_object()->ShortPrint(out);
480 PrintF(out, ")");
Steve Blocka7e24c12009-10-30 11:49:00 +0000481 } else if (rmode_ == EXTERNAL_REFERENCE) {
482 ExternalReferenceEncoder ref_encoder;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100483 PrintF(out, " (%s) (%p)",
Steve Blocka7e24c12009-10-30 11:49:00 +0000484 ref_encoder.NameOfAddress(*target_reference_address()),
485 *target_reference_address());
486 } else if (IsCodeTarget(rmode_)) {
487 Code* code = Code::GetCodeFromTargetAddress(target_address());
Ben Murdochb0fe1622011-05-05 13:52:32 +0100488 PrintF(out, " (%s) (%p)", Code::Kind2String(code->kind()),
489 target_address());
Steve Blocka7e24c12009-10-30 11:49:00 +0000490 } else if (IsPosition(rmode_)) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100491 PrintF(out, " (%" V8_PTR_PREFIX "d)", data());
492 } else if (rmode_ == RelocInfo::RUNTIME_ENTRY) {
493 // Depotimization bailouts are stored as runtime entries.
494 int id = Deoptimizer::GetDeoptimizationId(
495 target_address(), Deoptimizer::EAGER);
496 if (id != Deoptimizer::kNotDeoptimizationEntry) {
497 PrintF(out, " (deoptimization bailout %d)", id);
498 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000499 }
500
Ben Murdochb0fe1622011-05-05 13:52:32 +0100501 PrintF(out, "\n");
Steve Blocka7e24c12009-10-30 11:49:00 +0000502}
503#endif // ENABLE_DISASSEMBLER
504
505
506#ifdef DEBUG
507void RelocInfo::Verify() {
508 switch (rmode_) {
509 case EMBEDDED_OBJECT:
510 Object::VerifyPointer(target_object());
511 break;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100512 case GLOBAL_PROPERTY_CELL:
513 Object::VerifyPointer(target_cell());
514 break;
Andrei Popescu402d9372010-02-26 13:31:12 +0000515 case DEBUG_BREAK:
516#ifndef ENABLE_DEBUGGER_SUPPORT
517 UNREACHABLE();
518 break;
519#endif
Steve Blocka7e24c12009-10-30 11:49:00 +0000520 case CONSTRUCT_CALL:
521 case CODE_TARGET_CONTEXT:
522 case CODE_TARGET: {
523 // convert inline target address to code object
524 Address addr = target_address();
525 ASSERT(addr != NULL);
526 // Check that we can find the right code object.
527 Code* code = Code::GetCodeFromTargetAddress(addr);
528 Object* found = Heap::FindCodeObject(addr);
529 ASSERT(found->IsCode());
530 ASSERT(code->address() == HeapObject::cast(found)->address());
531 break;
532 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000533 case RUNTIME_ENTRY:
534 case JS_RETURN:
535 case COMMENT:
536 case POSITION:
537 case STATEMENT_POSITION:
538 case EXTERNAL_REFERENCE:
539 case INTERNAL_REFERENCE:
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100540 case DEBUG_BREAK_SLOT:
Steve Blocka7e24c12009-10-30 11:49:00 +0000541 case NONE:
542 break;
543 case NUMBER_OF_MODES:
544 UNREACHABLE();
545 break;
546 }
547}
548#endif // DEBUG
549
550
551// -----------------------------------------------------------------------------
552// Implementation of ExternalReference
553
554ExternalReference::ExternalReference(Builtins::CFunctionId id)
555 : address_(Redirect(Builtins::c_function_address(id))) {}
556
557
Steve Block1e0659c2011-05-24 12:43:12 +0100558ExternalReference::ExternalReference(
559 ApiFunction* fun, Type type = ExternalReference::BUILTIN_CALL)
560 : address_(Redirect(fun->address(), type)) {}
Steve Blockd0582a62009-12-15 09:54:21 +0000561
562
Steve Blocka7e24c12009-10-30 11:49:00 +0000563ExternalReference::ExternalReference(Builtins::Name name)
564 : address_(Builtins::builtin_address(name)) {}
565
566
567ExternalReference::ExternalReference(Runtime::FunctionId id)
568 : address_(Redirect(Runtime::FunctionForId(id)->entry)) {}
569
570
571ExternalReference::ExternalReference(Runtime::Function* f)
572 : address_(Redirect(f->entry)) {}
573
574
575ExternalReference::ExternalReference(const IC_Utility& ic_utility)
576 : address_(Redirect(ic_utility.address())) {}
577
578#ifdef ENABLE_DEBUGGER_SUPPORT
579ExternalReference::ExternalReference(const Debug_Address& debug_address)
580 : address_(debug_address.address()) {}
581#endif
582
583ExternalReference::ExternalReference(StatsCounter* counter)
584 : address_(reinterpret_cast<Address>(counter->GetInternalPointer())) {}
585
586
587ExternalReference::ExternalReference(Top::AddressId id)
588 : address_(Top::get_address_from_id(id)) {}
589
590
591ExternalReference::ExternalReference(const SCTableReference& table_ref)
592 : address_(table_ref.address()) {}
593
594
595ExternalReference ExternalReference::perform_gc_function() {
596 return ExternalReference(Redirect(FUNCTION_ADDR(Runtime::PerformGC)));
597}
598
599
Steve Block6ded16b2010-05-10 14:33:55 +0100600ExternalReference ExternalReference::fill_heap_number_with_random_function() {
601 return
602 ExternalReference(Redirect(FUNCTION_ADDR(V8::FillHeapNumberWithRandom)));
603}
604
605
John Reck59135872010-11-02 12:39:01 -0700606ExternalReference ExternalReference::delete_handle_scope_extensions() {
607 return ExternalReference(Redirect(FUNCTION_ADDR(
608 HandleScope::DeleteExtensions)));
609}
610
611
Steve Block6ded16b2010-05-10 14:33:55 +0100612ExternalReference ExternalReference::random_uint32_function() {
613 return ExternalReference(Redirect(FUNCTION_ADDR(V8::Random)));
Steve Blocka7e24c12009-10-30 11:49:00 +0000614}
615
616
Andrei Popescu402d9372010-02-26 13:31:12 +0000617ExternalReference ExternalReference::transcendental_cache_array_address() {
618 return ExternalReference(TranscendentalCache::cache_array_address());
619}
620
621
Ben Murdochb0fe1622011-05-05 13:52:32 +0100622ExternalReference ExternalReference::new_deoptimizer_function() {
623 return ExternalReference(
624 Redirect(FUNCTION_ADDR(Deoptimizer::New)));
625}
626
627
628ExternalReference ExternalReference::compute_output_frames_function() {
629 return ExternalReference(
630 Redirect(FUNCTION_ADDR(Deoptimizer::ComputeOutputFrames)));
631}
632
633
634ExternalReference ExternalReference::global_contexts_list() {
635 return ExternalReference(Heap::global_contexts_list_address());
636}
637
638
Leon Clarkee46be812010-01-19 14:06:41 +0000639ExternalReference ExternalReference::keyed_lookup_cache_keys() {
640 return ExternalReference(KeyedLookupCache::keys_address());
641}
642
643
644ExternalReference ExternalReference::keyed_lookup_cache_field_offsets() {
645 return ExternalReference(KeyedLookupCache::field_offsets_address());
Steve Blocka7e24c12009-10-30 11:49:00 +0000646}
647
648
649ExternalReference ExternalReference::the_hole_value_location() {
650 return ExternalReference(Factory::the_hole_value().location());
651}
652
653
Ben Murdoch086aeea2011-05-13 15:57:08 +0100654ExternalReference ExternalReference::arguments_marker_location() {
655 return ExternalReference(Factory::arguments_marker().location());
656}
657
658
Steve Blocka7e24c12009-10-30 11:49:00 +0000659ExternalReference ExternalReference::roots_address() {
660 return ExternalReference(Heap::roots_address());
661}
662
663
Steve Blockd0582a62009-12-15 09:54:21 +0000664ExternalReference ExternalReference::address_of_stack_limit() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000665 return ExternalReference(StackGuard::address_of_jslimit());
666}
667
668
Steve Blockd0582a62009-12-15 09:54:21 +0000669ExternalReference ExternalReference::address_of_real_stack_limit() {
670 return ExternalReference(StackGuard::address_of_real_jslimit());
671}
672
673
Steve Blocka7e24c12009-10-30 11:49:00 +0000674ExternalReference ExternalReference::address_of_regexp_stack_limit() {
675 return ExternalReference(RegExpStack::limit_address());
676}
677
678
679ExternalReference ExternalReference::new_space_start() {
680 return ExternalReference(Heap::NewSpaceStart());
681}
682
683
Andrei Popescu402d9372010-02-26 13:31:12 +0000684ExternalReference ExternalReference::new_space_mask() {
685 return ExternalReference(reinterpret_cast<Address>(Heap::NewSpaceMask()));
686}
687
688
Steve Blocka7e24c12009-10-30 11:49:00 +0000689ExternalReference ExternalReference::new_space_allocation_top_address() {
690 return ExternalReference(Heap::NewSpaceAllocationTopAddress());
691}
692
693
694ExternalReference ExternalReference::heap_always_allocate_scope_depth() {
695 return ExternalReference(Heap::always_allocate_scope_depth_address());
696}
697
698
699ExternalReference ExternalReference::new_space_allocation_limit_address() {
700 return ExternalReference(Heap::NewSpaceAllocationLimitAddress());
701}
702
Steve Blockd0582a62009-12-15 09:54:21 +0000703
John Reck59135872010-11-02 12:39:01 -0700704ExternalReference ExternalReference::handle_scope_level_address() {
705 return ExternalReference(HandleScope::current_level_address());
Steve Blockd0582a62009-12-15 09:54:21 +0000706}
707
708
709ExternalReference ExternalReference::handle_scope_next_address() {
710 return ExternalReference(HandleScope::current_next_address());
711}
712
713
714ExternalReference ExternalReference::handle_scope_limit_address() {
715 return ExternalReference(HandleScope::current_limit_address());
716}
717
718
719ExternalReference ExternalReference::scheduled_exception_address() {
720 return ExternalReference(Top::scheduled_exception_address());
721}
722
723
Ben Murdochb0fe1622011-05-05 13:52:32 +0100724ExternalReference ExternalReference::address_of_min_int() {
725 return ExternalReference(reinterpret_cast<void*>(
726 const_cast<double*>(&DoubleConstant::min_int)));
727}
728
729
730ExternalReference ExternalReference::address_of_one_half() {
731 return ExternalReference(reinterpret_cast<void*>(
732 const_cast<double*>(&DoubleConstant::one_half)));
733}
734
735
Ben Murdochb8e0da22011-05-16 14:20:40 +0100736ExternalReference ExternalReference::address_of_minus_zero() {
737 return ExternalReference(reinterpret_cast<void*>(
738 const_cast<double*>(&DoubleConstant::minus_zero)));
739}
740
741
Ben Murdochb0fe1622011-05-05 13:52:32 +0100742ExternalReference ExternalReference::address_of_negative_infinity() {
743 return ExternalReference(reinterpret_cast<void*>(
744 const_cast<double*>(&DoubleConstant::negative_infinity)));
745}
746
747
Steve Block6ded16b2010-05-10 14:33:55 +0100748#ifndef V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +0000749
750ExternalReference ExternalReference::re_check_stack_guard_state() {
751 Address function;
752#ifdef V8_TARGET_ARCH_X64
753 function = FUNCTION_ADDR(RegExpMacroAssemblerX64::CheckStackGuardState);
754#elif V8_TARGET_ARCH_IA32
755 function = FUNCTION_ADDR(RegExpMacroAssemblerIA32::CheckStackGuardState);
756#elif V8_TARGET_ARCH_ARM
757 function = FUNCTION_ADDR(RegExpMacroAssemblerARM::CheckStackGuardState);
758#else
Leon Clarke4515c472010-02-03 11:58:03 +0000759 UNREACHABLE();
Steve Blocka7e24c12009-10-30 11:49:00 +0000760#endif
761 return ExternalReference(Redirect(function));
762}
763
764ExternalReference ExternalReference::re_grow_stack() {
765 return ExternalReference(
766 Redirect(FUNCTION_ADDR(NativeRegExpMacroAssembler::GrowStack)));
767}
768
769ExternalReference ExternalReference::re_case_insensitive_compare_uc16() {
770 return ExternalReference(Redirect(
771 FUNCTION_ADDR(NativeRegExpMacroAssembler::CaseInsensitiveCompareUC16)));
772}
773
Leon Clarkee46be812010-01-19 14:06:41 +0000774ExternalReference ExternalReference::re_word_character_map() {
775 return ExternalReference(
776 NativeRegExpMacroAssembler::word_character_map_address());
777}
778
779ExternalReference ExternalReference::address_of_static_offsets_vector() {
780 return ExternalReference(OffsetsVector::static_offsets_vector_address());
781}
782
783ExternalReference ExternalReference::address_of_regexp_stack_memory_address() {
784 return ExternalReference(RegExpStack::memory_address());
785}
786
787ExternalReference ExternalReference::address_of_regexp_stack_memory_size() {
788 return ExternalReference(RegExpStack::memory_size_address());
789}
790
Steve Block6ded16b2010-05-10 14:33:55 +0100791#endif // V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +0000792
793
794static double add_two_doubles(double x, double y) {
795 return x + y;
796}
797
798
799static double sub_two_doubles(double x, double y) {
800 return x - y;
801}
802
803
804static double mul_two_doubles(double x, double y) {
805 return x * y;
806}
807
808
809static double div_two_doubles(double x, double y) {
810 return x / y;
811}
812
813
814static double mod_two_doubles(double x, double y) {
Leon Clarkee46be812010-01-19 14:06:41 +0000815 return modulo(x, y);
Steve Blocka7e24c12009-10-30 11:49:00 +0000816}
817
818
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100819static double math_sin_double(double x) {
820 return sin(x);
821}
822
823
824static double math_cos_double(double x) {
825 return cos(x);
826}
827
828
829static double math_log_double(double x) {
830 return log(x);
831}
832
833
834ExternalReference ExternalReference::math_sin_double_function() {
835 return ExternalReference(Redirect(FUNCTION_ADDR(math_sin_double),
836 FP_RETURN_CALL));
837}
838
839
840ExternalReference ExternalReference::math_cos_double_function() {
841 return ExternalReference(Redirect(FUNCTION_ADDR(math_cos_double),
842 FP_RETURN_CALL));
843}
844
845
846ExternalReference ExternalReference::math_log_double_function() {
847 return ExternalReference(Redirect(FUNCTION_ADDR(math_log_double),
848 FP_RETURN_CALL));
849}
850
851
Ben Murdochb0fe1622011-05-05 13:52:32 +0100852// Helper function to compute x^y, where y is known to be an
853// integer. Uses binary decomposition to limit the number of
854// multiplications; see the discussion in "Hacker's Delight" by Henry
855// S. Warren, Jr., figure 11-6, page 213.
856double power_double_int(double x, int y) {
857 double m = (y < 0) ? 1 / x : x;
858 unsigned n = (y < 0) ? -y : y;
859 double p = 1;
860 while (n != 0) {
861 if ((n & 1) != 0) p *= m;
862 m *= m;
863 if ((n & 2) != 0) p *= m;
864 m *= m;
865 n >>= 2;
866 }
867 return p;
868}
869
870
871double power_double_double(double x, double y) {
872 int y_int = static_cast<int>(y);
873 if (y == y_int) {
874 return power_double_int(x, y_int); // Returns 1.0 for exponent 0.
875 }
876 if (!isinf(x)) {
Steve Block1e0659c2011-05-24 12:43:12 +0100877 if (y == 0.5) return sqrt(x + 0.0); // -0 must be converted to +0.
878 if (y == -0.5) return 1.0 / sqrt(x + 0.0);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100879 }
880 if (isnan(y) || ((x == 1 || x == -1) && isinf(y))) {
881 return OS::nan_value();
882 }
883 return pow(x, y);
884}
885
886
887ExternalReference ExternalReference::power_double_double_function() {
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100888 return ExternalReference(Redirect(FUNCTION_ADDR(power_double_double),
889 FP_RETURN_CALL));
Ben Murdochb0fe1622011-05-05 13:52:32 +0100890}
891
892
893ExternalReference ExternalReference::power_double_int_function() {
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100894 return ExternalReference(Redirect(FUNCTION_ADDR(power_double_int),
895 FP_RETURN_CALL));
Ben Murdochb0fe1622011-05-05 13:52:32 +0100896}
897
898
Leon Clarkee46be812010-01-19 14:06:41 +0000899static int native_compare_doubles(double y, double x) {
900 if (x == y) return EQUAL;
901 return x < y ? LESS : GREATER;
Steve Blocka7e24c12009-10-30 11:49:00 +0000902}
903
904
905ExternalReference ExternalReference::double_fp_operation(
906 Token::Value operation) {
907 typedef double BinaryFPOperation(double x, double y);
908 BinaryFPOperation* function = NULL;
909 switch (operation) {
910 case Token::ADD:
911 function = &add_two_doubles;
912 break;
913 case Token::SUB:
914 function = &sub_two_doubles;
915 break;
916 case Token::MUL:
917 function = &mul_two_doubles;
918 break;
919 case Token::DIV:
920 function = &div_two_doubles;
921 break;
922 case Token::MOD:
923 function = &mod_two_doubles;
924 break;
925 default:
926 UNREACHABLE();
927 }
928 // Passing true as 2nd parameter indicates that they return an fp value.
Steve Block1e0659c2011-05-24 12:43:12 +0100929 return ExternalReference(Redirect(FUNCTION_ADDR(function), FP_RETURN_CALL));
Steve Blocka7e24c12009-10-30 11:49:00 +0000930}
931
932
933ExternalReference ExternalReference::compare_doubles() {
934 return ExternalReference(Redirect(FUNCTION_ADDR(native_compare_doubles),
Steve Block1e0659c2011-05-24 12:43:12 +0100935 BUILTIN_CALL));
Steve Blocka7e24c12009-10-30 11:49:00 +0000936}
937
938
Steve Block1e0659c2011-05-24 12:43:12 +0100939ExternalReference::ExternalReferenceRedirector*
940 ExternalReference::redirector_ = NULL;
Steve Blocka7e24c12009-10-30 11:49:00 +0000941
942
943#ifdef ENABLE_DEBUGGER_SUPPORT
944ExternalReference ExternalReference::debug_break() {
945 return ExternalReference(Redirect(FUNCTION_ADDR(Debug::Break)));
946}
947
948
949ExternalReference ExternalReference::debug_step_in_fp_address() {
950 return ExternalReference(Debug::step_in_fp_addr());
951}
952#endif
953
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800954
Ben Murdochb0fe1622011-05-05 13:52:32 +0100955void PositionsRecorder::RecordPosition(int pos) {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800956 ASSERT(pos != RelocInfo::kNoPosition);
957 ASSERT(pos >= 0);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100958 state_.current_position = pos;
Ben Murdochb8e0da22011-05-16 14:20:40 +0100959#ifdef ENABLE_GDB_JIT_INTERFACE
960 if (gdbjit_lineinfo_ != NULL) {
961 gdbjit_lineinfo_->SetPosition(assembler_->pc_offset(), pos, false);
962 }
963#endif
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800964}
965
966
967void PositionsRecorder::RecordStatementPosition(int pos) {
968 ASSERT(pos != RelocInfo::kNoPosition);
969 ASSERT(pos >= 0);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100970 state_.current_statement_position = pos;
Ben Murdochb8e0da22011-05-16 14:20:40 +0100971#ifdef ENABLE_GDB_JIT_INTERFACE
972 if (gdbjit_lineinfo_ != NULL) {
973 gdbjit_lineinfo_->SetPosition(assembler_->pc_offset(), pos, true);
974 }
975#endif
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800976}
977
978
979bool PositionsRecorder::WriteRecordedPositions() {
980 bool written = false;
981
982 // Write the statement position if it is different from what was written last
983 // time.
Ben Murdochb0fe1622011-05-05 13:52:32 +0100984 if (state_.current_statement_position != state_.written_statement_position) {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800985 EnsureSpace ensure_space(assembler_);
986 assembler_->RecordRelocInfo(RelocInfo::STATEMENT_POSITION,
Ben Murdochb0fe1622011-05-05 13:52:32 +0100987 state_.current_statement_position);
988 state_.written_statement_position = state_.current_statement_position;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800989 written = true;
990 }
991
992 // Write the position if it is different from what was written last time and
Ben Murdochb0fe1622011-05-05 13:52:32 +0100993 // also different from the written statement position.
994 if (state_.current_position != state_.written_position &&
995 state_.current_position != state_.written_statement_position) {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800996 EnsureSpace ensure_space(assembler_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100997 assembler_->RecordRelocInfo(RelocInfo::POSITION, state_.current_position);
998 state_.written_position = state_.current_position;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800999 written = true;
1000 }
1001
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001002 // Return whether something was written.
1003 return written;
1004}
1005
Steve Blocka7e24c12009-10-30 11:49:00 +00001006} } // namespace v8::internal