blob: ef2094f63a44bb79496ea4d00dd0265c29934e58 [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;
71
72
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);
231 } else if (RelocInfo::IsPosition(rmode)) {
232 // Use signed delta-encoding for data.
233 intptr_t data_delta = rinfo->data() - last_data_;
234 int pos_type_tag = rmode == RelocInfo::POSITION ? kNonstatementPositionTag
235 : kStatementPositionTag;
236 // Check if data is small enough to fit in a tagged byte.
237 // We cannot use is_intn because data_delta is not an int32_t.
238 if (data_delta >= -(1 << (kSmallDataBits-1)) &&
239 data_delta < 1 << (kSmallDataBits-1)) {
240 WriteTaggedPC(pc_delta, kPositionTag);
241 WriteTaggedData(data_delta, pos_type_tag);
242 last_data_ = rinfo->data();
243 } else {
244 // Otherwise, use costly encoding.
245 WriteExtraTaggedPC(pc_delta, kPCJumpTag);
246 WriteExtraTaggedData(data_delta, pos_type_tag);
247 last_data_ = rinfo->data();
248 }
249 } else if (RelocInfo::IsComment(rmode)) {
250 // Comments are normally not generated, so we use the costly encoding.
251 WriteExtraTaggedPC(pc_delta, kPCJumpTag);
252 WriteExtraTaggedData(rinfo->data() - last_data_, kCommentTag);
253 last_data_ = rinfo->data();
254 } else {
255 // For all other modes we simply use the mode as the extra tag.
256 // None of these modes need a data component.
257 ASSERT(rmode < kPCJumpTag && rmode < kDataJumpTag);
258 WriteExtraTaggedPC(pc_delta, rmode);
259 }
260 last_pc_ = rinfo->pc();
261#ifdef DEBUG
262 ASSERT(begin_pos - pos_ <= kMaxSize);
263#endif
264}
265
266
267inline int RelocIterator::AdvanceGetTag() {
268 return *--pos_ & kTagMask;
269}
270
271
272inline int RelocIterator::GetExtraTag() {
273 return (*pos_ >> kTagBits) & ((1 << kExtraTagBits) - 1);
274}
275
276
277inline int RelocIterator::GetTopTag() {
278 return *pos_ >> (kTagBits + kExtraTagBits);
279}
280
281
282inline void RelocIterator::ReadTaggedPC() {
283 rinfo_.pc_ += *pos_ >> kTagBits;
284}
285
286
287inline void RelocIterator::AdvanceReadPC() {
288 rinfo_.pc_ += *--pos_;
289}
290
291
292void RelocIterator::AdvanceReadData() {
293 intptr_t x = 0;
294 for (int i = 0; i < kIntptrSize; i++) {
295 x |= static_cast<intptr_t>(*--pos_) << i * kBitsPerByte;
296 }
297 rinfo_.data_ += x;
298}
299
300
301void RelocIterator::AdvanceReadVariableLengthPCJump() {
302 // Read the 32-kSmallPCDeltaBits most significant bits of the
303 // pc jump in kChunkBits bit chunks and shift them into place.
304 // Stop when the last chunk is encountered.
305 uint32_t pc_jump = 0;
306 for (int i = 0; i < kIntSize; i++) {
307 byte pc_jump_part = *--pos_;
308 pc_jump |= (pc_jump_part >> kLastChunkTagBits) << i * kChunkBits;
309 if ((pc_jump_part & kLastChunkTagMask) == 1) break;
310 }
311 // The least significant kSmallPCDeltaBits bits will be added
312 // later.
313 rinfo_.pc_ += pc_jump << kSmallPCDeltaBits;
314}
315
316
317inline int RelocIterator::GetPositionTypeTag() {
318 return *pos_ & ((1 << kPositionTypeTagBits) - 1);
319}
320
321
322inline void RelocIterator::ReadTaggedData() {
323 int8_t signed_b = *pos_;
324 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
325 rinfo_.data_ += signed_b >> kPositionTypeTagBits;
326}
327
328
329inline RelocInfo::Mode RelocIterator::DebugInfoModeFromTag(int tag) {
330 if (tag == kStatementPositionTag) {
331 return RelocInfo::STATEMENT_POSITION;
332 } else if (tag == kNonstatementPositionTag) {
333 return RelocInfo::POSITION;
334 } else {
335 ASSERT(tag == kCommentTag);
336 return RelocInfo::COMMENT;
337 }
338}
339
340
341void RelocIterator::next() {
342 ASSERT(!done());
343 // Basically, do the opposite of RelocInfoWriter::Write.
344 // Reading of data is as far as possible avoided for unwanted modes,
345 // but we must always update the pc.
346 //
347 // We exit this loop by returning when we find a mode we want.
348 while (pos_ > end_) {
349 int tag = AdvanceGetTag();
350 if (tag == kEmbeddedObjectTag) {
351 ReadTaggedPC();
352 if (SetMode(RelocInfo::EMBEDDED_OBJECT)) return;
353 } else if (tag == kCodeTargetTag) {
354 ReadTaggedPC();
Steve Blocka7e24c12009-10-30 11:49:00 +0000355 if (SetMode(RelocInfo::CODE_TARGET)) return;
356 } else if (tag == kPositionTag) {
357 ReadTaggedPC();
358 Advance();
359 // Check if we want source positions.
360 if (mode_mask_ & RelocInfo::kPositionMask) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100361 ReadTaggedData();
362 if (SetMode(DebugInfoModeFromTag(GetPositionTypeTag()))) return;
Steve Blocka7e24c12009-10-30 11:49:00 +0000363 }
364 } else {
365 ASSERT(tag == kDefaultTag);
366 int extra_tag = GetExtraTag();
367 if (extra_tag == kPCJumpTag) {
368 int top_tag = GetTopTag();
369 if (top_tag == kVariableLengthPCJumpTopTag) {
370 AdvanceReadVariableLengthPCJump();
371 } else {
372 AdvanceReadPC();
373 }
374 } else if (extra_tag == kDataJumpTag) {
375 // Check if we want debug modes (the only ones with data).
376 if (mode_mask_ & RelocInfo::kDebugMask) {
377 int top_tag = GetTopTag();
378 AdvanceReadData();
379 if (SetMode(DebugInfoModeFromTag(top_tag))) return;
380 } else {
381 // Otherwise, just skip over the data.
382 Advance(kIntptrSize);
383 }
384 } else {
385 AdvanceReadPC();
386 if (SetMode(static_cast<RelocInfo::Mode>(extra_tag))) return;
387 }
388 }
389 }
390 done_ = true;
391}
392
393
394RelocIterator::RelocIterator(Code* code, int mode_mask) {
395 rinfo_.pc_ = code->instruction_start();
396 rinfo_.data_ = 0;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100397 // Relocation info is read backwards.
Steve Blocka7e24c12009-10-30 11:49:00 +0000398 pos_ = code->relocation_start() + code->relocation_size();
399 end_ = code->relocation_start();
400 done_ = false;
401 mode_mask_ = mode_mask;
402 if (mode_mask_ == 0) pos_ = end_;
403 next();
404}
405
406
407RelocIterator::RelocIterator(const CodeDesc& desc, int mode_mask) {
408 rinfo_.pc_ = desc.buffer;
409 rinfo_.data_ = 0;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100410 // Relocation info is read backwards.
Steve Blocka7e24c12009-10-30 11:49:00 +0000411 pos_ = desc.buffer + desc.buffer_size;
412 end_ = pos_ - desc.reloc_size;
413 done_ = false;
414 mode_mask_ = mode_mask;
415 if (mode_mask_ == 0) pos_ = end_;
416 next();
417}
418
419
420// -----------------------------------------------------------------------------
421// Implementation of RelocInfo
422
423
424#ifdef ENABLE_DISASSEMBLER
425const char* RelocInfo::RelocModeName(RelocInfo::Mode rmode) {
426 switch (rmode) {
427 case RelocInfo::NONE:
428 return "no reloc";
429 case RelocInfo::EMBEDDED_OBJECT:
430 return "embedded object";
Steve Blocka7e24c12009-10-30 11:49:00 +0000431 case RelocInfo::CONSTRUCT_CALL:
432 return "code target (js construct call)";
433 case RelocInfo::CODE_TARGET_CONTEXT:
434 return "code target (context)";
Andrei Popescu402d9372010-02-26 13:31:12 +0000435 case RelocInfo::DEBUG_BREAK:
436#ifndef ENABLE_DEBUGGER_SUPPORT
437 UNREACHABLE();
438#endif
439 return "debug break";
Steve Blocka7e24c12009-10-30 11:49:00 +0000440 case RelocInfo::CODE_TARGET:
441 return "code target";
Ben Murdochb0fe1622011-05-05 13:52:32 +0100442 case RelocInfo::GLOBAL_PROPERTY_CELL:
443 return "global property cell";
Steve Blocka7e24c12009-10-30 11:49:00 +0000444 case RelocInfo::RUNTIME_ENTRY:
445 return "runtime entry";
446 case RelocInfo::JS_RETURN:
447 return "js return";
448 case RelocInfo::COMMENT:
449 return "comment";
450 case RelocInfo::POSITION:
451 return "position";
452 case RelocInfo::STATEMENT_POSITION:
453 return "statement position";
454 case RelocInfo::EXTERNAL_REFERENCE:
455 return "external reference";
456 case RelocInfo::INTERNAL_REFERENCE:
457 return "internal reference";
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100458 case RelocInfo::DEBUG_BREAK_SLOT:
459#ifndef ENABLE_DEBUGGER_SUPPORT
460 UNREACHABLE();
461#endif
462 return "debug break slot";
Steve Blocka7e24c12009-10-30 11:49:00 +0000463 case RelocInfo::NUMBER_OF_MODES:
464 UNREACHABLE();
465 return "number_of_modes";
466 }
467 return "unknown relocation type";
468}
469
470
Ben Murdochb0fe1622011-05-05 13:52:32 +0100471void RelocInfo::Print(FILE* out) {
472 PrintF(out, "%p %s", pc_, RelocModeName(rmode_));
Steve Blocka7e24c12009-10-30 11:49:00 +0000473 if (IsComment(rmode_)) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100474 PrintF(out, " (%s)", reinterpret_cast<char*>(data_));
Steve Blocka7e24c12009-10-30 11:49:00 +0000475 } else if (rmode_ == EMBEDDED_OBJECT) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100476 PrintF(out, " (");
477 target_object()->ShortPrint(out);
478 PrintF(out, ")");
Steve Blocka7e24c12009-10-30 11:49:00 +0000479 } else if (rmode_ == EXTERNAL_REFERENCE) {
480 ExternalReferenceEncoder ref_encoder;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100481 PrintF(out, " (%s) (%p)",
Steve Blocka7e24c12009-10-30 11:49:00 +0000482 ref_encoder.NameOfAddress(*target_reference_address()),
483 *target_reference_address());
484 } else if (IsCodeTarget(rmode_)) {
485 Code* code = Code::GetCodeFromTargetAddress(target_address());
Ben Murdochb0fe1622011-05-05 13:52:32 +0100486 PrintF(out, " (%s) (%p)", Code::Kind2String(code->kind()),
487 target_address());
Steve Blocka7e24c12009-10-30 11:49:00 +0000488 } else if (IsPosition(rmode_)) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100489 PrintF(out, " (%" V8_PTR_PREFIX "d)", data());
490 } else if (rmode_ == RelocInfo::RUNTIME_ENTRY) {
491 // Depotimization bailouts are stored as runtime entries.
492 int id = Deoptimizer::GetDeoptimizationId(
493 target_address(), Deoptimizer::EAGER);
494 if (id != Deoptimizer::kNotDeoptimizationEntry) {
495 PrintF(out, " (deoptimization bailout %d)", id);
496 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000497 }
498
Ben Murdochb0fe1622011-05-05 13:52:32 +0100499 PrintF(out, "\n");
Steve Blocka7e24c12009-10-30 11:49:00 +0000500}
501#endif // ENABLE_DISASSEMBLER
502
503
504#ifdef DEBUG
505void RelocInfo::Verify() {
506 switch (rmode_) {
507 case EMBEDDED_OBJECT:
508 Object::VerifyPointer(target_object());
509 break;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100510 case GLOBAL_PROPERTY_CELL:
511 Object::VerifyPointer(target_cell());
512 break;
Andrei Popescu402d9372010-02-26 13:31:12 +0000513 case DEBUG_BREAK:
514#ifndef ENABLE_DEBUGGER_SUPPORT
515 UNREACHABLE();
516 break;
517#endif
Steve Blocka7e24c12009-10-30 11:49:00 +0000518 case CONSTRUCT_CALL:
519 case CODE_TARGET_CONTEXT:
520 case CODE_TARGET: {
521 // convert inline target address to code object
522 Address addr = target_address();
523 ASSERT(addr != NULL);
524 // Check that we can find the right code object.
525 Code* code = Code::GetCodeFromTargetAddress(addr);
526 Object* found = Heap::FindCodeObject(addr);
527 ASSERT(found->IsCode());
528 ASSERT(code->address() == HeapObject::cast(found)->address());
529 break;
530 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000531 case RUNTIME_ENTRY:
532 case JS_RETURN:
533 case COMMENT:
534 case POSITION:
535 case STATEMENT_POSITION:
536 case EXTERNAL_REFERENCE:
537 case INTERNAL_REFERENCE:
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100538 case DEBUG_BREAK_SLOT:
Steve Blocka7e24c12009-10-30 11:49:00 +0000539 case NONE:
540 break;
541 case NUMBER_OF_MODES:
542 UNREACHABLE();
543 break;
544 }
545}
546#endif // DEBUG
547
548
549// -----------------------------------------------------------------------------
550// Implementation of ExternalReference
551
552ExternalReference::ExternalReference(Builtins::CFunctionId id)
553 : address_(Redirect(Builtins::c_function_address(id))) {}
554
555
Steve Block1e0659c2011-05-24 12:43:12 +0100556ExternalReference::ExternalReference(
557 ApiFunction* fun, Type type = ExternalReference::BUILTIN_CALL)
558 : address_(Redirect(fun->address(), type)) {}
Steve Blockd0582a62009-12-15 09:54:21 +0000559
560
Steve Blocka7e24c12009-10-30 11:49:00 +0000561ExternalReference::ExternalReference(Builtins::Name name)
562 : address_(Builtins::builtin_address(name)) {}
563
564
565ExternalReference::ExternalReference(Runtime::FunctionId id)
566 : address_(Redirect(Runtime::FunctionForId(id)->entry)) {}
567
568
569ExternalReference::ExternalReference(Runtime::Function* f)
570 : address_(Redirect(f->entry)) {}
571
572
573ExternalReference::ExternalReference(const IC_Utility& ic_utility)
574 : address_(Redirect(ic_utility.address())) {}
575
576#ifdef ENABLE_DEBUGGER_SUPPORT
577ExternalReference::ExternalReference(const Debug_Address& debug_address)
578 : address_(debug_address.address()) {}
579#endif
580
581ExternalReference::ExternalReference(StatsCounter* counter)
582 : address_(reinterpret_cast<Address>(counter->GetInternalPointer())) {}
583
584
585ExternalReference::ExternalReference(Top::AddressId id)
586 : address_(Top::get_address_from_id(id)) {}
587
588
589ExternalReference::ExternalReference(const SCTableReference& table_ref)
590 : address_(table_ref.address()) {}
591
592
593ExternalReference ExternalReference::perform_gc_function() {
594 return ExternalReference(Redirect(FUNCTION_ADDR(Runtime::PerformGC)));
595}
596
597
Steve Block6ded16b2010-05-10 14:33:55 +0100598ExternalReference ExternalReference::fill_heap_number_with_random_function() {
599 return
600 ExternalReference(Redirect(FUNCTION_ADDR(V8::FillHeapNumberWithRandom)));
601}
602
603
John Reck59135872010-11-02 12:39:01 -0700604ExternalReference ExternalReference::delete_handle_scope_extensions() {
605 return ExternalReference(Redirect(FUNCTION_ADDR(
606 HandleScope::DeleteExtensions)));
607}
608
609
Steve Block6ded16b2010-05-10 14:33:55 +0100610ExternalReference ExternalReference::random_uint32_function() {
611 return ExternalReference(Redirect(FUNCTION_ADDR(V8::Random)));
Steve Blocka7e24c12009-10-30 11:49:00 +0000612}
613
614
Andrei Popescu402d9372010-02-26 13:31:12 +0000615ExternalReference ExternalReference::transcendental_cache_array_address() {
616 return ExternalReference(TranscendentalCache::cache_array_address());
617}
618
619
Ben Murdochb0fe1622011-05-05 13:52:32 +0100620ExternalReference ExternalReference::new_deoptimizer_function() {
621 return ExternalReference(
622 Redirect(FUNCTION_ADDR(Deoptimizer::New)));
623}
624
625
626ExternalReference ExternalReference::compute_output_frames_function() {
627 return ExternalReference(
628 Redirect(FUNCTION_ADDR(Deoptimizer::ComputeOutputFrames)));
629}
630
631
632ExternalReference ExternalReference::global_contexts_list() {
633 return ExternalReference(Heap::global_contexts_list_address());
634}
635
636
Leon Clarkee46be812010-01-19 14:06:41 +0000637ExternalReference ExternalReference::keyed_lookup_cache_keys() {
638 return ExternalReference(KeyedLookupCache::keys_address());
639}
640
641
642ExternalReference ExternalReference::keyed_lookup_cache_field_offsets() {
643 return ExternalReference(KeyedLookupCache::field_offsets_address());
Steve Blocka7e24c12009-10-30 11:49:00 +0000644}
645
646
647ExternalReference ExternalReference::the_hole_value_location() {
648 return ExternalReference(Factory::the_hole_value().location());
649}
650
651
Ben Murdoch086aeea2011-05-13 15:57:08 +0100652ExternalReference ExternalReference::arguments_marker_location() {
653 return ExternalReference(Factory::arguments_marker().location());
654}
655
656
Steve Blocka7e24c12009-10-30 11:49:00 +0000657ExternalReference ExternalReference::roots_address() {
658 return ExternalReference(Heap::roots_address());
659}
660
661
Steve Blockd0582a62009-12-15 09:54:21 +0000662ExternalReference ExternalReference::address_of_stack_limit() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000663 return ExternalReference(StackGuard::address_of_jslimit());
664}
665
666
Steve Blockd0582a62009-12-15 09:54:21 +0000667ExternalReference ExternalReference::address_of_real_stack_limit() {
668 return ExternalReference(StackGuard::address_of_real_jslimit());
669}
670
671
Steve Blocka7e24c12009-10-30 11:49:00 +0000672ExternalReference ExternalReference::address_of_regexp_stack_limit() {
673 return ExternalReference(RegExpStack::limit_address());
674}
675
676
677ExternalReference ExternalReference::new_space_start() {
678 return ExternalReference(Heap::NewSpaceStart());
679}
680
681
Andrei Popescu402d9372010-02-26 13:31:12 +0000682ExternalReference ExternalReference::new_space_mask() {
683 return ExternalReference(reinterpret_cast<Address>(Heap::NewSpaceMask()));
684}
685
686
Steve Blocka7e24c12009-10-30 11:49:00 +0000687ExternalReference ExternalReference::new_space_allocation_top_address() {
688 return ExternalReference(Heap::NewSpaceAllocationTopAddress());
689}
690
691
692ExternalReference ExternalReference::heap_always_allocate_scope_depth() {
693 return ExternalReference(Heap::always_allocate_scope_depth_address());
694}
695
696
697ExternalReference ExternalReference::new_space_allocation_limit_address() {
698 return ExternalReference(Heap::NewSpaceAllocationLimitAddress());
699}
700
Steve Blockd0582a62009-12-15 09:54:21 +0000701
John Reck59135872010-11-02 12:39:01 -0700702ExternalReference ExternalReference::handle_scope_level_address() {
703 return ExternalReference(HandleScope::current_level_address());
Steve Blockd0582a62009-12-15 09:54:21 +0000704}
705
706
707ExternalReference ExternalReference::handle_scope_next_address() {
708 return ExternalReference(HandleScope::current_next_address());
709}
710
711
712ExternalReference ExternalReference::handle_scope_limit_address() {
713 return ExternalReference(HandleScope::current_limit_address());
714}
715
716
717ExternalReference ExternalReference::scheduled_exception_address() {
718 return ExternalReference(Top::scheduled_exception_address());
719}
720
721
Ben Murdochb0fe1622011-05-05 13:52:32 +0100722ExternalReference ExternalReference::address_of_min_int() {
723 return ExternalReference(reinterpret_cast<void*>(
724 const_cast<double*>(&DoubleConstant::min_int)));
725}
726
727
728ExternalReference ExternalReference::address_of_one_half() {
729 return ExternalReference(reinterpret_cast<void*>(
730 const_cast<double*>(&DoubleConstant::one_half)));
731}
732
733
Ben Murdochb8e0da22011-05-16 14:20:40 +0100734ExternalReference ExternalReference::address_of_minus_zero() {
735 return ExternalReference(reinterpret_cast<void*>(
736 const_cast<double*>(&DoubleConstant::minus_zero)));
737}
738
739
Ben Murdochb0fe1622011-05-05 13:52:32 +0100740ExternalReference ExternalReference::address_of_negative_infinity() {
741 return ExternalReference(reinterpret_cast<void*>(
742 const_cast<double*>(&DoubleConstant::negative_infinity)));
743}
744
745
Steve Block6ded16b2010-05-10 14:33:55 +0100746#ifndef V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +0000747
748ExternalReference ExternalReference::re_check_stack_guard_state() {
749 Address function;
750#ifdef V8_TARGET_ARCH_X64
751 function = FUNCTION_ADDR(RegExpMacroAssemblerX64::CheckStackGuardState);
752#elif V8_TARGET_ARCH_IA32
753 function = FUNCTION_ADDR(RegExpMacroAssemblerIA32::CheckStackGuardState);
754#elif V8_TARGET_ARCH_ARM
755 function = FUNCTION_ADDR(RegExpMacroAssemblerARM::CheckStackGuardState);
756#else
Leon Clarke4515c472010-02-03 11:58:03 +0000757 UNREACHABLE();
Steve Blocka7e24c12009-10-30 11:49:00 +0000758#endif
759 return ExternalReference(Redirect(function));
760}
761
762ExternalReference ExternalReference::re_grow_stack() {
763 return ExternalReference(
764 Redirect(FUNCTION_ADDR(NativeRegExpMacroAssembler::GrowStack)));
765}
766
767ExternalReference ExternalReference::re_case_insensitive_compare_uc16() {
768 return ExternalReference(Redirect(
769 FUNCTION_ADDR(NativeRegExpMacroAssembler::CaseInsensitiveCompareUC16)));
770}
771
Leon Clarkee46be812010-01-19 14:06:41 +0000772ExternalReference ExternalReference::re_word_character_map() {
773 return ExternalReference(
774 NativeRegExpMacroAssembler::word_character_map_address());
775}
776
777ExternalReference ExternalReference::address_of_static_offsets_vector() {
778 return ExternalReference(OffsetsVector::static_offsets_vector_address());
779}
780
781ExternalReference ExternalReference::address_of_regexp_stack_memory_address() {
782 return ExternalReference(RegExpStack::memory_address());
783}
784
785ExternalReference ExternalReference::address_of_regexp_stack_memory_size() {
786 return ExternalReference(RegExpStack::memory_size_address());
787}
788
Steve Block6ded16b2010-05-10 14:33:55 +0100789#endif // V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +0000790
791
792static double add_two_doubles(double x, double y) {
793 return x + y;
794}
795
796
797static double sub_two_doubles(double x, double y) {
798 return x - y;
799}
800
801
802static double mul_two_doubles(double x, double y) {
803 return x * y;
804}
805
806
807static double div_two_doubles(double x, double y) {
808 return x / y;
809}
810
811
812static double mod_two_doubles(double x, double y) {
Leon Clarkee46be812010-01-19 14:06:41 +0000813 return modulo(x, y);
Steve Blocka7e24c12009-10-30 11:49:00 +0000814}
815
816
Ben Murdochb0fe1622011-05-05 13:52:32 +0100817// Helper function to compute x^y, where y is known to be an
818// integer. Uses binary decomposition to limit the number of
819// multiplications; see the discussion in "Hacker's Delight" by Henry
820// S. Warren, Jr., figure 11-6, page 213.
821double power_double_int(double x, int y) {
822 double m = (y < 0) ? 1 / x : x;
823 unsigned n = (y < 0) ? -y : y;
824 double p = 1;
825 while (n != 0) {
826 if ((n & 1) != 0) p *= m;
827 m *= m;
828 if ((n & 2) != 0) p *= m;
829 m *= m;
830 n >>= 2;
831 }
832 return p;
833}
834
835
836double power_double_double(double x, double y) {
837 int y_int = static_cast<int>(y);
838 if (y == y_int) {
839 return power_double_int(x, y_int); // Returns 1.0 for exponent 0.
840 }
841 if (!isinf(x)) {
Steve Block1e0659c2011-05-24 12:43:12 +0100842 if (y == 0.5) return sqrt(x + 0.0); // -0 must be converted to +0.
843 if (y == -0.5) return 1.0 / sqrt(x + 0.0);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100844 }
845 if (isnan(y) || ((x == 1 || x == -1) && isinf(y))) {
846 return OS::nan_value();
847 }
848 return pow(x, y);
849}
850
851
852ExternalReference ExternalReference::power_double_double_function() {
853 return ExternalReference(Redirect(FUNCTION_ADDR(power_double_double)));
854}
855
856
857ExternalReference ExternalReference::power_double_int_function() {
858 return ExternalReference(Redirect(FUNCTION_ADDR(power_double_int)));
859}
860
861
Leon Clarkee46be812010-01-19 14:06:41 +0000862static int native_compare_doubles(double y, double x) {
863 if (x == y) return EQUAL;
864 return x < y ? LESS : GREATER;
Steve Blocka7e24c12009-10-30 11:49:00 +0000865}
866
867
868ExternalReference ExternalReference::double_fp_operation(
869 Token::Value operation) {
870 typedef double BinaryFPOperation(double x, double y);
871 BinaryFPOperation* function = NULL;
872 switch (operation) {
873 case Token::ADD:
874 function = &add_two_doubles;
875 break;
876 case Token::SUB:
877 function = &sub_two_doubles;
878 break;
879 case Token::MUL:
880 function = &mul_two_doubles;
881 break;
882 case Token::DIV:
883 function = &div_two_doubles;
884 break;
885 case Token::MOD:
886 function = &mod_two_doubles;
887 break;
888 default:
889 UNREACHABLE();
890 }
891 // Passing true as 2nd parameter indicates that they return an fp value.
Steve Block1e0659c2011-05-24 12:43:12 +0100892 return ExternalReference(Redirect(FUNCTION_ADDR(function), FP_RETURN_CALL));
Steve Blocka7e24c12009-10-30 11:49:00 +0000893}
894
895
896ExternalReference ExternalReference::compare_doubles() {
897 return ExternalReference(Redirect(FUNCTION_ADDR(native_compare_doubles),
Steve Block1e0659c2011-05-24 12:43:12 +0100898 BUILTIN_CALL));
Steve Blocka7e24c12009-10-30 11:49:00 +0000899}
900
901
Steve Block1e0659c2011-05-24 12:43:12 +0100902ExternalReference::ExternalReferenceRedirector*
903 ExternalReference::redirector_ = NULL;
Steve Blocka7e24c12009-10-30 11:49:00 +0000904
905
906#ifdef ENABLE_DEBUGGER_SUPPORT
907ExternalReference ExternalReference::debug_break() {
908 return ExternalReference(Redirect(FUNCTION_ADDR(Debug::Break)));
909}
910
911
912ExternalReference ExternalReference::debug_step_in_fp_address() {
913 return ExternalReference(Debug::step_in_fp_addr());
914}
915#endif
916
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800917
Ben Murdochb0fe1622011-05-05 13:52:32 +0100918void PositionsRecorder::RecordPosition(int pos) {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800919 ASSERT(pos != RelocInfo::kNoPosition);
920 ASSERT(pos >= 0);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100921 state_.current_position = pos;
Ben Murdochb8e0da22011-05-16 14:20:40 +0100922#ifdef ENABLE_GDB_JIT_INTERFACE
923 if (gdbjit_lineinfo_ != NULL) {
924 gdbjit_lineinfo_->SetPosition(assembler_->pc_offset(), pos, false);
925 }
926#endif
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800927}
928
929
930void PositionsRecorder::RecordStatementPosition(int pos) {
931 ASSERT(pos != RelocInfo::kNoPosition);
932 ASSERT(pos >= 0);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100933 state_.current_statement_position = pos;
Ben Murdochb8e0da22011-05-16 14:20:40 +0100934#ifdef ENABLE_GDB_JIT_INTERFACE
935 if (gdbjit_lineinfo_ != NULL) {
936 gdbjit_lineinfo_->SetPosition(assembler_->pc_offset(), pos, true);
937 }
938#endif
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800939}
940
941
942bool PositionsRecorder::WriteRecordedPositions() {
943 bool written = false;
944
945 // Write the statement position if it is different from what was written last
946 // time.
Ben Murdochb0fe1622011-05-05 13:52:32 +0100947 if (state_.current_statement_position != state_.written_statement_position) {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800948 EnsureSpace ensure_space(assembler_);
949 assembler_->RecordRelocInfo(RelocInfo::STATEMENT_POSITION,
Ben Murdochb0fe1622011-05-05 13:52:32 +0100950 state_.current_statement_position);
951 state_.written_statement_position = state_.current_statement_position;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800952 written = true;
953 }
954
955 // Write the position if it is different from what was written last time and
Ben Murdochb0fe1622011-05-05 13:52:32 +0100956 // also different from the written statement position.
957 if (state_.current_position != state_.written_position &&
958 state_.current_position != state_.written_statement_position) {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800959 EnsureSpace ensure_space(assembler_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100960 assembler_->RecordRelocInfo(RelocInfo::POSITION, state_.current_position);
961 state_.written_position = state_.current_position;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800962 written = true;
963 }
964
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800965 // Return whether something was written.
966 return written;
967}
968
Steve Blocka7e24c12009-10-30 11:49:00 +0000969} } // namespace v8::internal