blob: 0117fc5734d43b7eac8229a3dcfccb86341f4d57 [file] [log] [blame]
danno@chromium.orge78f9fc2011-12-21 08:29:34 +00001// Copyright (c) 1994-2006 Sun Microsystems Inc.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// All Rights Reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are
6// met:
7//
8// - Redistributions of source code must retain the above copyright notice,
9// this list of conditions and the following disclaimer.
10//
11// - Redistribution in binary form must reproduce the above copyright
12// notice, this list of conditions and the following disclaimer in the
13// documentation and/or other materials provided with the distribution.
14//
15// - Neither the name of Sun Microsystems or the names of contributors may
16// be used to endorse or promote products derived from this software without
17// specific prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
20// IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
21// THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
23// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
24// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
25// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
26// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
27// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
28// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
29// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30
31// The original source code covered by the above license above has been
32// modified significantly by Google Inc.
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000033// Copyright 2012 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000034
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000035#include "assembler.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036
ulan@chromium.org77ca49a2013-04-22 09:43:56 +000037#include <cmath>
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000038#include "api.h"
39#include "builtins.h"
40#include "counters.h"
41#include "cpu.h"
42#include "debug.h"
kasperl@chromium.orga5551262010-12-07 12:49:48 +000043#include "deoptimizer.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000044#include "execution.h"
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000045#include "ic.h"
hpayer@chromium.orgc5d49712013-09-11 08:25:48 +000046#include "isolate-inl.h"
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000047#include "jsregexp.h"
jkummerow@chromium.org1456e702012-03-30 08:38:13 +000048#include "lazy-instance.h"
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +000049#include "platform.h"
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000050#include "regexp-macro-assembler.h"
51#include "regexp-stack.h"
52#include "runtime.h"
53#include "serialize.h"
54#include "store-buffer-inl.h"
55#include "stub-cache.h"
56#include "token.h"
57
58#if V8_TARGET_ARCH_IA32
59#include "ia32/assembler-ia32-inl.h"
60#elif V8_TARGET_ARCH_X64
61#include "x64/assembler-x64-inl.h"
titzer@chromium.orgf5a24542014-03-04 09:06:17 +000062#elif V8_TARGET_ARCH_A64
63#include "a64/assembler-a64-inl.h"
yangguo@chromium.org659ceec2012-01-26 07:37:54 +000064#elif V8_TARGET_ARCH_ARM
65#include "arm/assembler-arm-inl.h"
66#elif V8_TARGET_ARCH_MIPS
67#include "mips/assembler-mips-inl.h"
68#else
69#error "Unknown architecture."
70#endif
71
ager@chromium.org18ad94b2009-09-02 08:22:29 +000072// Include native regexp-macro-assembler.
ricow@chromium.orgc9c80822010-04-21 08:22:37 +000073#ifndef V8_INTERPRETED_REGEXP
ager@chromium.org18ad94b2009-09-02 08:22:29 +000074#if V8_TARGET_ARCH_IA32
75#include "ia32/regexp-macro-assembler-ia32.h"
76#elif V8_TARGET_ARCH_X64
77#include "x64/regexp-macro-assembler-x64.h"
titzer@chromium.orgf5a24542014-03-04 09:06:17 +000078#elif V8_TARGET_ARCH_A64
79#include "a64/regexp-macro-assembler-a64.h"
ager@chromium.org18ad94b2009-09-02 08:22:29 +000080#elif V8_TARGET_ARCH_ARM
81#include "arm/regexp-macro-assembler-arm.h"
lrn@chromium.org7516f052011-03-30 08:52:27 +000082#elif V8_TARGET_ARCH_MIPS
83#include "mips/regexp-macro-assembler-mips.h"
ager@chromium.org18ad94b2009-09-02 08:22:29 +000084#else // Unknown architecture.
85#error "Unknown architecture."
86#endif // Target architecture.
ricow@chromium.orgc9c80822010-04-21 08:22:37 +000087#endif // V8_INTERPRETED_REGEXP
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000088
kasperl@chromium.org71affb52009-05-26 05:44:31 +000089namespace v8 {
90namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000091
jkummerow@chromium.org1456e702012-03-30 08:38:13 +000092// -----------------------------------------------------------------------------
93// Common double constants.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000094
jkummerow@chromium.org1456e702012-03-30 08:38:13 +000095struct DoubleConstant BASE_EMBEDDED {
96 double min_int;
97 double one_half;
hpayer@chromium.org8432c912013-02-28 15:55:26 +000098 double minus_one_half;
jkummerow@chromium.org1456e702012-03-30 08:38:13 +000099 double minus_zero;
100 double zero;
101 double uint8_max_value;
102 double negative_infinity;
103 double canonical_non_hole_nan;
104 double the_hole_nan;
mstarzinger@chromium.orgb4968be2013-10-16 09:00:56 +0000105 double uint32_bias;
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000106};
107
fschneider@chromium.org7d10be52012-04-10 12:30:14 +0000108static DoubleConstant double_constants;
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000109
kmillikin@chromium.org7c2628c2011-08-10 11:27:35 +0000110const char* const RelocInfo::kFillerCommentString = "DEOPTIMIZATION PADDING";
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000111
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000112static bool math_exp_data_initialized = false;
113static Mutex* math_exp_data_mutex = NULL;
114static double* math_exp_constants_array = NULL;
115static double* math_exp_log_table_array = NULL;
116
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000117// -----------------------------------------------------------------------------
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000118// Implementation of AssemblerBase
119
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000120AssemblerBase::AssemblerBase(Isolate* isolate, void* buffer, int buffer_size)
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000121 : isolate_(isolate),
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000122 jit_cookie_(0),
ulan@chromium.org750145a2013-03-07 15:14:13 +0000123 enabled_cpu_features_(0),
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000124 emit_debug_code_(FLAG_debug_code),
125 predictable_code_size_(false) {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000126 if (FLAG_mask_constants_with_cookie && isolate != NULL) {
hpayer@chromium.orgc5d49712013-09-11 08:25:48 +0000127 jit_cookie_ = isolate->random_number_generator()->NextInt();
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000128 }
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000129 if (buffer == NULL) {
130 // Do our own buffer management.
131 if (buffer_size <= kMinimalBufferSize) {
132 buffer_size = kMinimalBufferSize;
133 if (isolate->assembler_spare_buffer() != NULL) {
134 buffer = isolate->assembler_spare_buffer();
135 isolate->set_assembler_spare_buffer(NULL);
136 }
137 }
138 if (buffer == NULL) buffer = NewArray<byte>(buffer_size);
139 own_buffer_ = true;
140 } else {
141 // Use externally provided buffer instead.
142 ASSERT(buffer_size > 0);
143 own_buffer_ = false;
144 }
145 buffer_ = static_cast<byte*>(buffer);
146 buffer_size_ = buffer_size;
147
148 pc_ = buffer_;
149}
150
151
152AssemblerBase::~AssemblerBase() {
153 if (own_buffer_) {
154 if (isolate() != NULL &&
155 isolate()->assembler_spare_buffer() == NULL &&
156 buffer_size_ == kMinimalBufferSize) {
157 isolate()->set_assembler_spare_buffer(buffer_);
158 } else {
159 DeleteArray(buffer_);
160 }
161 }
162}
163
164
165// -----------------------------------------------------------------------------
166// Implementation of PredictableCodeSizeScope
167
168PredictableCodeSizeScope::PredictableCodeSizeScope(AssemblerBase* assembler,
169 int expected_size)
170 : assembler_(assembler),
171 expected_size_(expected_size),
172 start_offset_(assembler->pc_offset()),
173 old_value_(assembler->predictable_code_size()) {
174 assembler_->set_predictable_code_size(true);
175}
176
177
178PredictableCodeSizeScope::~PredictableCodeSizeScope() {
179 // TODO(svenpanne) Remove the 'if' when everything works.
180 if (expected_size_ >= 0) {
181 CHECK_EQ(expected_size_, assembler_->pc_offset() - start_offset_);
182 }
183 assembler_->set_predictable_code_size(old_value_);
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000184}
185
186
187// -----------------------------------------------------------------------------
ulan@chromium.org750145a2013-03-07 15:14:13 +0000188// Implementation of CpuFeatureScope
189
190#ifdef DEBUG
191CpuFeatureScope::CpuFeatureScope(AssemblerBase* assembler, CpuFeature f)
192 : assembler_(assembler) {
193 ASSERT(CpuFeatures::IsSafeForSnapshot(f));
194 old_enabled_ = assembler_->enabled_cpu_features();
195 uint64_t mask = static_cast<uint64_t>(1) << f;
196 // TODO(svenpanne) This special case below doesn't belong here!
197#if V8_TARGET_ARCH_ARM
mstarzinger@chromium.orge27d6172013-04-17 11:51:44 +0000198 // ARMv7 is implied by VFP3.
ulan@chromium.org750145a2013-03-07 15:14:13 +0000199 if (f == VFP3) {
mstarzinger@chromium.orge27d6172013-04-17 11:51:44 +0000200 mask |= static_cast<uint64_t>(1) << ARMv7;
ulan@chromium.org750145a2013-03-07 15:14:13 +0000201 }
202#endif
203 assembler_->set_enabled_cpu_features(old_enabled_ | mask);
204}
205
206
207CpuFeatureScope::~CpuFeatureScope() {
208 assembler_->set_enabled_cpu_features(old_enabled_);
209}
210#endif
211
212
213// -----------------------------------------------------------------------------
machenbach@chromium.org528ce022013-09-23 14:09:36 +0000214// Implementation of PlatformFeatureScope
215
216PlatformFeatureScope::PlatformFeatureScope(CpuFeature f)
mvstanton@chromium.org63ea3d22013-10-10 09:24:12 +0000217 : old_cross_compile_(CpuFeatures::cross_compile_) {
mvstanton@chromium.org182d2db2013-10-10 11:03:05 +0000218 // CpuFeatures is a global singleton, therefore this is only safe in
219 // single threaded code.
220 ASSERT(Serializer::enabled());
machenbach@chromium.org528ce022013-09-23 14:09:36 +0000221 uint64_t mask = static_cast<uint64_t>(1) << f;
mvstanton@chromium.org63ea3d22013-10-10 09:24:12 +0000222 CpuFeatures::cross_compile_ |= mask;
machenbach@chromium.org528ce022013-09-23 14:09:36 +0000223}
224
225
226PlatformFeatureScope::~PlatformFeatureScope() {
mvstanton@chromium.org63ea3d22013-10-10 09:24:12 +0000227 CpuFeatures::cross_compile_ = old_cross_compile_;
machenbach@chromium.org528ce022013-09-23 14:09:36 +0000228}
229
230
231// -----------------------------------------------------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000232// Implementation of Label
233
234int Label::pos() const {
235 if (pos_ < 0) return -pos_ - 1;
236 if (pos_ > 0) return pos_ - 1;
237 UNREACHABLE();
238 return 0;
239}
240
241
242// -----------------------------------------------------------------------------
243// Implementation of RelocInfoWriter and RelocIterator
244//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000245// Relocation information is written backwards in memory, from high addresses
246// towards low addresses, byte by byte. Therefore, in the encodings listed
247// below, the first byte listed it at the highest address, and successive
248// bytes in the record are at progressively lower addresses.
249//
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000250// Encoding
251//
252// The most common modes are given single-byte encodings. Also, it is
253// easy to identify the type of reloc info and skip unwanted modes in
254// an iteration.
255//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000256// The encoding relies on the fact that there are fewer than 14
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000257// different relocation modes using standard non-compact encoding.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000258//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000259// The first byte of a relocation record has a tag in its low 2 bits:
260// Here are the record schemes, depending on the low tag and optional higher
261// tags.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000262//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000263// Low tag:
264// 00: embedded_object: [6-bit pc delta] 00
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000265//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000266// 01: code_target: [6-bit pc delta] 01
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000267//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000268// 10: short_data_record: [6-bit pc delta] 10 followed by
269// [6-bit data delta] [2-bit data type tag]
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000270//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000271// 11: long_record [2-bit high tag][4 bit middle_tag] 11
272// followed by variable data depending on type.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000273//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000274// 2-bit data type tags, used in short_data_record and data_jump long_record:
275// code_target_with_id: 00
276// position: 01
277// statement_position: 10
278// comment: 11 (not used in short_data_record)
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000279//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000280// Long record format:
281// 4-bit middle_tag:
282// 0000 - 1100 : Short record for RelocInfo::Mode middle_tag + 2
283// (The middle_tag encodes rmode - RelocInfo::LAST_COMPACT_ENUM,
284// and is between 0000 and 1100)
285// The format is:
286// 00 [4 bit middle_tag] 11 followed by
287// 00 [6 bit pc delta]
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000288//
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000289// 1101: constant pool. Used on ARM only for now.
290// The format is: 11 1101 11
291// signed int (size of the constant pool).
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000292// 1110: long_data_record
293// The format is: [2-bit data_type_tag] 1110 11
294// signed intptr_t, lowest byte written first
295// (except data_type code_target_with_id, which
296// is followed by a signed int, not intptr_t.)
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000297//
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000298// 1111: long_pc_jump
299// The format is:
300// pc-jump: 00 1111 11,
301// 00 [6 bits pc delta]
302// or
303// pc-jump (variable length):
304// 01 1111 11,
305// [7 bits data] 0
306// ...
307// [7 bits data] 1
308// (Bits 6..31 of pc delta, with leading zeroes
309// dropped, and last non-zero chunk tagged with 1.)
310
311
machenbach@chromium.orgafbdadc2013-12-09 16:12:18 +0000312#ifdef DEBUG
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000313const int kMaxStandardNonCompactModes = 14;
machenbach@chromium.orgafbdadc2013-12-09 16:12:18 +0000314#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000315
316const int kTagBits = 2;
317const int kTagMask = (1 << kTagBits) - 1;
318const int kExtraTagBits = 4;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000319const int kLocatableTypeTagBits = 2;
320const int kSmallDataBits = kBitsPerByte - kLocatableTypeTagBits;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000321
322const int kEmbeddedObjectTag = 0;
323const int kCodeTargetTag = 1;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000324const int kLocatableTag = 2;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000325const int kDefaultTag = 3;
326
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000327const int kPCJumpExtraTag = (1 << kExtraTagBits) - 1;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000328
329const int kSmallPCDeltaBits = kBitsPerByte - kTagBits;
330const int kSmallPCDeltaMask = (1 << kSmallPCDeltaBits) - 1;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000331const int RelocInfo::kMaxSmallPCDelta = kSmallPCDeltaMask;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000332
333const int kVariableLengthPCJumpTopTag = 1;
334const int kChunkBits = 7;
335const int kChunkMask = (1 << kChunkBits) - 1;
336const int kLastChunkTagBits = 1;
337const int kLastChunkTagMask = 1;
338const int kLastChunkTag = 1;
339
340
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000341const int kDataJumpExtraTag = kPCJumpExtraTag - 1;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000342
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000343const int kCodeWithIdTag = 0;
344const int kNonstatementPositionTag = 1;
345const int kStatementPositionTag = 2;
346const int kCommentTag = 3;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000347
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000348const int kConstPoolExtraTag = kPCJumpExtraTag - 2;
349const int kConstPoolTag = 3;
350
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000351
352uint32_t RelocInfoWriter::WriteVariableLengthPCJump(uint32_t pc_delta) {
353 // Return if the pc_delta can fit in kSmallPCDeltaBits bits.
354 // Otherwise write a variable length PC jump for the bits that do
355 // not fit in the kSmallPCDeltaBits bits.
356 if (is_uintn(pc_delta, kSmallPCDeltaBits)) return pc_delta;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000357 WriteExtraTag(kPCJumpExtraTag, kVariableLengthPCJumpTopTag);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000358 uint32_t pc_jump = pc_delta >> kSmallPCDeltaBits;
359 ASSERT(pc_jump > 0);
360 // Write kChunkBits size chunks of the pc_jump.
361 for (; pc_jump > 0; pc_jump = pc_jump >> kChunkBits) {
362 byte b = pc_jump & kChunkMask;
363 *--pos_ = b << kLastChunkTagBits;
364 }
365 // Tag the last chunk so it can be identified.
366 *pos_ = *pos_ | kLastChunkTag;
367 // Return the remaining kSmallPCDeltaBits of the pc_delta.
368 return pc_delta & kSmallPCDeltaMask;
369}
370
371
372void RelocInfoWriter::WriteTaggedPC(uint32_t pc_delta, int tag) {
373 // Write a byte of tagged pc-delta, possibly preceded by var. length pc-jump.
374 pc_delta = WriteVariableLengthPCJump(pc_delta);
375 *--pos_ = pc_delta << kTagBits | tag;
376}
377
378
ager@chromium.orge2902be2009-06-08 12:21:35 +0000379void RelocInfoWriter::WriteTaggedData(intptr_t data_delta, int tag) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000380 *--pos_ = static_cast<byte>(data_delta << kLocatableTypeTagBits | tag);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000381}
382
383
384void RelocInfoWriter::WriteExtraTag(int extra_tag, int top_tag) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000385 *--pos_ = static_cast<int>(top_tag << (kTagBits + kExtraTagBits) |
386 extra_tag << kTagBits |
387 kDefaultTag);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000388}
389
390
391void RelocInfoWriter::WriteExtraTaggedPC(uint32_t pc_delta, int extra_tag) {
392 // Write two-byte tagged pc-delta, possibly preceded by var. length pc-jump.
393 pc_delta = WriteVariableLengthPCJump(pc_delta);
394 WriteExtraTag(extra_tag, 0);
395 *--pos_ = pc_delta;
396}
397
398
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000399void RelocInfoWriter::WriteExtraTaggedIntData(int data_delta, int top_tag) {
400 WriteExtraTag(kDataJumpExtraTag, top_tag);
401 for (int i = 0; i < kIntSize; i++) {
402 *--pos_ = static_cast<byte>(data_delta);
403 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
404 data_delta = data_delta >> kBitsPerByte;
405 }
406}
407
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +0000408
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000409void RelocInfoWriter::WriteExtraTaggedConstPoolData(int data) {
410 WriteExtraTag(kConstPoolExtraTag, kConstPoolTag);
411 for (int i = 0; i < kIntSize; i++) {
412 *--pos_ = static_cast<byte>(data);
413 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
414 data = data >> kBitsPerByte;
415 }
416}
417
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +0000418
ager@chromium.orge2902be2009-06-08 12:21:35 +0000419void RelocInfoWriter::WriteExtraTaggedData(intptr_t data_delta, int top_tag) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000420 WriteExtraTag(kDataJumpExtraTag, top_tag);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000421 for (int i = 0; i < kIntptrSize; i++) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000422 *--pos_ = static_cast<byte>(data_delta);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000423 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
ager@chromium.orge2902be2009-06-08 12:21:35 +0000424 data_delta = data_delta >> kBitsPerByte;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000425 }
426}
427
428
429void RelocInfoWriter::Write(const RelocInfo* rinfo) {
430#ifdef DEBUG
431 byte* begin_pos = pos_;
432#endif
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000433 ASSERT(rinfo->rmode() < RelocInfo::NUMBER_OF_MODES);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000434 ASSERT(rinfo->pc() - last_pc_ >= 0);
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000435 ASSERT(RelocInfo::LAST_STANDARD_NONCOMPACT_ENUM - RelocInfo::LAST_COMPACT_ENUM
436 <= kMaxStandardNonCompactModes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000437 // Use unsigned delta-encoding for pc.
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000438 uint32_t pc_delta = static_cast<uint32_t>(rinfo->pc() - last_pc_);
ager@chromium.org236ad962008-09-25 09:45:57 +0000439 RelocInfo::Mode rmode = rinfo->rmode();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000440
441 // The two most common modes are given small tags, and usually fit in a byte.
ager@chromium.org236ad962008-09-25 09:45:57 +0000442 if (rmode == RelocInfo::EMBEDDED_OBJECT) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000443 WriteTaggedPC(pc_delta, kEmbeddedObjectTag);
ager@chromium.org236ad962008-09-25 09:45:57 +0000444 } else if (rmode == RelocInfo::CODE_TARGET) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000445 WriteTaggedPC(pc_delta, kCodeTargetTag);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000446 ASSERT(begin_pos - pos_ <= RelocInfo::kMaxCallSize);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000447 } else if (rmode == RelocInfo::CODE_TARGET_WITH_ID) {
448 // Use signed delta-encoding for id.
449 ASSERT(static_cast<int>(rinfo->data()) == rinfo->data());
450 int id_delta = static_cast<int>(rinfo->data()) - last_id_;
451 // Check if delta is small enough to fit in a tagged byte.
452 if (is_intn(id_delta, kSmallDataBits)) {
453 WriteTaggedPC(pc_delta, kLocatableTag);
454 WriteTaggedData(id_delta, kCodeWithIdTag);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000455 } else {
456 // Otherwise, use costly encoding.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000457 WriteExtraTaggedPC(pc_delta, kPCJumpExtraTag);
458 WriteExtraTaggedIntData(id_delta, kCodeWithIdTag);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000459 }
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000460 last_id_ = static_cast<int>(rinfo->data());
461 } else if (RelocInfo::IsPosition(rmode)) {
462 // Use signed delta-encoding for position.
463 ASSERT(static_cast<int>(rinfo->data()) == rinfo->data());
464 int pos_delta = static_cast<int>(rinfo->data()) - last_position_;
465 int pos_type_tag = (rmode == RelocInfo::POSITION) ? kNonstatementPositionTag
466 : kStatementPositionTag;
467 // Check if delta is small enough to fit in a tagged byte.
468 if (is_intn(pos_delta, kSmallDataBits)) {
469 WriteTaggedPC(pc_delta, kLocatableTag);
470 WriteTaggedData(pos_delta, pos_type_tag);
471 } else {
472 // Otherwise, use costly encoding.
473 WriteExtraTaggedPC(pc_delta, kPCJumpExtraTag);
474 WriteExtraTaggedIntData(pos_delta, pos_type_tag);
475 }
476 last_position_ = static_cast<int>(rinfo->data());
ager@chromium.org236ad962008-09-25 09:45:57 +0000477 } else if (RelocInfo::IsComment(rmode)) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000478 // Comments are normally not generated, so we use the costly encoding.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000479 WriteExtraTaggedPC(pc_delta, kPCJumpExtraTag);
480 WriteExtraTaggedData(rinfo->data(), kCommentTag);
ricow@chromium.org22334512011-02-25 07:28:50 +0000481 ASSERT(begin_pos - pos_ >= RelocInfo::kMinRelocCommentSize);
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000482 } else if (RelocInfo::IsConstPool(rmode)) {
483 WriteExtraTaggedPC(pc_delta, kPCJumpExtraTag);
484 WriteExtraTaggedConstPoolData(static_cast<int>(rinfo->data()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000485 } else {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000486 ASSERT(rmode > RelocInfo::LAST_COMPACT_ENUM);
487 int saved_mode = rmode - RelocInfo::LAST_COMPACT_ENUM;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000488 // For all other modes we simply use the mode as the extra tag.
489 // None of these modes need a data component.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000490 ASSERT(saved_mode < kPCJumpExtraTag && saved_mode < kDataJumpExtraTag);
491 WriteExtraTaggedPC(pc_delta, saved_mode);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000492 }
493 last_pc_ = rinfo->pc();
494#ifdef DEBUG
495 ASSERT(begin_pos - pos_ <= kMaxSize);
496#endif
497}
498
499
500inline int RelocIterator::AdvanceGetTag() {
501 return *--pos_ & kTagMask;
502}
503
504
505inline int RelocIterator::GetExtraTag() {
506 return (*pos_ >> kTagBits) & ((1 << kExtraTagBits) - 1);
507}
508
509
510inline int RelocIterator::GetTopTag() {
511 return *pos_ >> (kTagBits + kExtraTagBits);
512}
513
514
515inline void RelocIterator::ReadTaggedPC() {
516 rinfo_.pc_ += *pos_ >> kTagBits;
517}
518
519
520inline void RelocIterator::AdvanceReadPC() {
521 rinfo_.pc_ += *--pos_;
522}
523
524
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000525void RelocIterator::AdvanceReadId() {
526 int x = 0;
527 for (int i = 0; i < kIntSize; i++) {
528 x |= static_cast<int>(*--pos_) << i * kBitsPerByte;
529 }
530 last_id_ += x;
531 rinfo_.data_ = last_id_;
532}
533
534
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000535void RelocIterator::AdvanceReadConstPoolData() {
536 int x = 0;
537 for (int i = 0; i < kIntSize; i++) {
538 x |= static_cast<int>(*--pos_) << i * kBitsPerByte;
539 }
540 rinfo_.data_ = x;
541}
542
543
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000544void RelocIterator::AdvanceReadPosition() {
545 int x = 0;
546 for (int i = 0; i < kIntSize; i++) {
547 x |= static_cast<int>(*--pos_) << i * kBitsPerByte;
548 }
549 last_position_ += x;
550 rinfo_.data_ = last_position_;
551}
552
553
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000554void RelocIterator::AdvanceReadData() {
ager@chromium.orge2902be2009-06-08 12:21:35 +0000555 intptr_t x = 0;
556 for (int i = 0; i < kIntptrSize; i++) {
557 x |= static_cast<intptr_t>(*--pos_) << i * kBitsPerByte;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000558 }
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000559 rinfo_.data_ = x;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000560}
561
562
563void RelocIterator::AdvanceReadVariableLengthPCJump() {
564 // Read the 32-kSmallPCDeltaBits most significant bits of the
565 // pc jump in kChunkBits bit chunks and shift them into place.
566 // Stop when the last chunk is encountered.
567 uint32_t pc_jump = 0;
568 for (int i = 0; i < kIntSize; i++) {
569 byte pc_jump_part = *--pos_;
570 pc_jump |= (pc_jump_part >> kLastChunkTagBits) << i * kChunkBits;
571 if ((pc_jump_part & kLastChunkTagMask) == 1) break;
572 }
573 // The least significant kSmallPCDeltaBits bits will be added
574 // later.
575 rinfo_.pc_ += pc_jump << kSmallPCDeltaBits;
576}
577
578
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000579inline int RelocIterator::GetLocatableTypeTag() {
580 return *pos_ & ((1 << kLocatableTypeTagBits) - 1);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000581}
582
583
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000584inline void RelocIterator::ReadTaggedId() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000585 int8_t signed_b = *pos_;
ager@chromium.orge2902be2009-06-08 12:21:35 +0000586 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000587 last_id_ += signed_b >> kLocatableTypeTagBits;
588 rinfo_.data_ = last_id_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000589}
590
591
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000592inline void RelocIterator::ReadTaggedPosition() {
593 int8_t signed_b = *pos_;
594 // Signed right shift is arithmetic shift. Tested in test-utils.cc.
595 last_position_ += signed_b >> kLocatableTypeTagBits;
596 rinfo_.data_ = last_position_;
597}
598
599
600static inline RelocInfo::Mode GetPositionModeFromTag(int tag) {
601 ASSERT(tag == kNonstatementPositionTag ||
602 tag == kStatementPositionTag);
603 return (tag == kNonstatementPositionTag) ?
604 RelocInfo::POSITION :
605 RelocInfo::STATEMENT_POSITION;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000606}
607
608
609void RelocIterator::next() {
610 ASSERT(!done());
611 // Basically, do the opposite of RelocInfoWriter::Write.
612 // Reading of data is as far as possible avoided for unwanted modes,
613 // but we must always update the pc.
614 //
615 // We exit this loop by returning when we find a mode we want.
616 while (pos_ > end_) {
617 int tag = AdvanceGetTag();
618 if (tag == kEmbeddedObjectTag) {
619 ReadTaggedPC();
ager@chromium.org236ad962008-09-25 09:45:57 +0000620 if (SetMode(RelocInfo::EMBEDDED_OBJECT)) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000621 } else if (tag == kCodeTargetTag) {
622 ReadTaggedPC();
ager@chromium.org236ad962008-09-25 09:45:57 +0000623 if (SetMode(RelocInfo::CODE_TARGET)) return;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000624 } else if (tag == kLocatableTag) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000625 ReadTaggedPC();
626 Advance();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000627 int locatable_tag = GetLocatableTypeTag();
628 if (locatable_tag == kCodeWithIdTag) {
629 if (SetMode(RelocInfo::CODE_TARGET_WITH_ID)) {
630 ReadTaggedId();
631 return;
632 }
633 } else {
634 // Compact encoding is never used for comments,
635 // so it must be a position.
636 ASSERT(locatable_tag == kNonstatementPositionTag ||
637 locatable_tag == kStatementPositionTag);
638 if (mode_mask_ & RelocInfo::kPositionMask) {
639 ReadTaggedPosition();
640 if (SetMode(GetPositionModeFromTag(locatable_tag))) return;
641 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000642 }
643 } else {
644 ASSERT(tag == kDefaultTag);
645 int extra_tag = GetExtraTag();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000646 if (extra_tag == kPCJumpExtraTag) {
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000647 if (GetTopTag() == kVariableLengthPCJumpTopTag) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000648 AdvanceReadVariableLengthPCJump();
649 } else {
650 AdvanceReadPC();
651 }
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000652 } else if (extra_tag == kDataJumpExtraTag) {
653 int locatable_tag = GetTopTag();
654 if (locatable_tag == kCodeWithIdTag) {
655 if (SetMode(RelocInfo::CODE_TARGET_WITH_ID)) {
656 AdvanceReadId();
657 return;
658 }
659 Advance(kIntSize);
660 } else if (locatable_tag != kCommentTag) {
661 ASSERT(locatable_tag == kNonstatementPositionTag ||
662 locatable_tag == kStatementPositionTag);
663 if (mode_mask_ & RelocInfo::kPositionMask) {
664 AdvanceReadPosition();
665 if (SetMode(GetPositionModeFromTag(locatable_tag))) return;
666 } else {
667 Advance(kIntSize);
668 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000669 } else {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000670 ASSERT(locatable_tag == kCommentTag);
671 if (SetMode(RelocInfo::COMMENT)) {
672 AdvanceReadData();
673 return;
674 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000675 Advance(kIntptrSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000676 }
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000677 } else if ((extra_tag == kConstPoolExtraTag) &&
678 (GetTopTag() == kConstPoolTag)) {
679 if (SetMode(RelocInfo::CONST_POOL)) {
680 AdvanceReadConstPoolData();
681 return;
682 }
683 Advance(kIntSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000684 } else {
685 AdvanceReadPC();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000686 int rmode = extra_tag + RelocInfo::LAST_COMPACT_ENUM;
687 if (SetMode(static_cast<RelocInfo::Mode>(rmode))) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000688 }
689 }
690 }
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000691 if (code_age_sequence_ != NULL) {
692 byte* old_code_age_sequence = code_age_sequence_;
693 code_age_sequence_ = NULL;
694 if (SetMode(RelocInfo::CODE_AGE_SEQUENCE)) {
695 rinfo_.data_ = 0;
696 rinfo_.pc_ = old_code_age_sequence;
697 return;
698 }
699 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000700 done_ = true;
701}
702
703
704RelocIterator::RelocIterator(Code* code, int mode_mask) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000705 rinfo_.host_ = code;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000706 rinfo_.pc_ = code->instruction_start();
707 rinfo_.data_ = 0;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000708 // Relocation info is read backwards.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000709 pos_ = code->relocation_start() + code->relocation_size();
710 end_ = code->relocation_start();
711 done_ = false;
712 mode_mask_ = mode_mask;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000713 last_id_ = 0;
714 last_position_ = 0;
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000715 byte* sequence = code->FindCodeAgeSequence();
716 if (sequence != NULL && !Code::IsYoungSequence(sequence)) {
717 code_age_sequence_ = sequence;
718 } else {
719 code_age_sequence_ = NULL;
720 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000721 if (mode_mask_ == 0) pos_ = end_;
722 next();
723}
724
725
726RelocIterator::RelocIterator(const CodeDesc& desc, int mode_mask) {
727 rinfo_.pc_ = desc.buffer;
728 rinfo_.data_ = 0;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000729 // Relocation info is read backwards.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000730 pos_ = desc.buffer + desc.buffer_size;
731 end_ = pos_ - desc.reloc_size;
732 done_ = false;
733 mode_mask_ = mode_mask;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000734 last_id_ = 0;
735 last_position_ = 0;
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000736 code_age_sequence_ = NULL;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000737 if (mode_mask_ == 0) pos_ = end_;
738 next();
739}
740
741
742// -----------------------------------------------------------------------------
743// Implementation of RelocInfo
744
745
ulan@chromium.org2e04b582013-02-21 14:06:02 +0000746#ifdef DEBUG
747bool RelocInfo::RequiresRelocation(const CodeDesc& desc) {
748 // Ensure there are no code targets or embedded objects present in the
749 // deoptimization entries, they would require relocation after code
750 // generation.
751 int mode_mask = RelocInfo::kCodeTargetMask |
752 RelocInfo::ModeMask(RelocInfo::EMBEDDED_OBJECT) |
danno@chromium.org41728482013-06-12 22:31:22 +0000753 RelocInfo::ModeMask(RelocInfo::CELL) |
ulan@chromium.org2e04b582013-02-21 14:06:02 +0000754 RelocInfo::kApplyMask;
755 RelocIterator it(desc, mode_mask);
756 return !it.done();
757}
758#endif
759
760
mads.s.ager@gmail.com769cc962008-08-06 10:02:49 +0000761#ifdef ENABLE_DISASSEMBLER
ager@chromium.org236ad962008-09-25 09:45:57 +0000762const char* RelocInfo::RelocModeName(RelocInfo::Mode rmode) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000763 switch (rmode) {
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000764 case RelocInfo::NONE32:
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000765 return "no reloc 32";
766 case RelocInfo::NONE64:
767 return "no reloc 64";
ager@chromium.org236ad962008-09-25 09:45:57 +0000768 case RelocInfo::EMBEDDED_OBJECT:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000769 return "embedded object";
ager@chromium.org236ad962008-09-25 09:45:57 +0000770 case RelocInfo::CONSTRUCT_CALL:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000771 return "code target (js construct call)";
ager@chromium.org5c838252010-02-19 08:53:10 +0000772 case RelocInfo::DEBUG_BREAK:
773#ifndef ENABLE_DEBUGGER_SUPPORT
774 UNREACHABLE();
775#endif
776 return "debug break";
ager@chromium.org236ad962008-09-25 09:45:57 +0000777 case RelocInfo::CODE_TARGET:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000778 return "code target";
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000779 case RelocInfo::CODE_TARGET_WITH_ID:
780 return "code target with id";
danno@chromium.org41728482013-06-12 22:31:22 +0000781 case RelocInfo::CELL:
782 return "property cell";
ager@chromium.org236ad962008-09-25 09:45:57 +0000783 case RelocInfo::RUNTIME_ENTRY:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000784 return "runtime entry";
ager@chromium.org236ad962008-09-25 09:45:57 +0000785 case RelocInfo::JS_RETURN:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000786 return "js return";
ager@chromium.org236ad962008-09-25 09:45:57 +0000787 case RelocInfo::COMMENT:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000788 return "comment";
ager@chromium.org236ad962008-09-25 09:45:57 +0000789 case RelocInfo::POSITION:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000790 return "position";
ager@chromium.org236ad962008-09-25 09:45:57 +0000791 case RelocInfo::STATEMENT_POSITION:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000792 return "statement position";
ager@chromium.org236ad962008-09-25 09:45:57 +0000793 case RelocInfo::EXTERNAL_REFERENCE:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000794 return "external reference";
ager@chromium.org236ad962008-09-25 09:45:57 +0000795 case RelocInfo::INTERNAL_REFERENCE:
796 return "internal reference";
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000797 case RelocInfo::CONST_POOL:
798 return "constant pool";
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000799 case RelocInfo::DEBUG_BREAK_SLOT:
800#ifndef ENABLE_DEBUGGER_SUPPORT
801 UNREACHABLE();
802#endif
803 return "debug break slot";
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000804 case RelocInfo::CODE_AGE_SEQUENCE:
805 return "code_age_sequence";
ager@chromium.org236ad962008-09-25 09:45:57 +0000806 case RelocInfo::NUMBER_OF_MODES:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000807 UNREACHABLE();
ager@chromium.org236ad962008-09-25 09:45:57 +0000808 return "number_of_modes";
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000809 }
810 return "unknown relocation type";
811}
812
813
svenpanne@chromium.org876cca82013-03-18 14:43:20 +0000814void RelocInfo::Print(Isolate* isolate, FILE* out) {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000815 PrintF(out, "%p %s", pc_, RelocModeName(rmode_));
ager@chromium.org236ad962008-09-25 09:45:57 +0000816 if (IsComment(rmode_)) {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000817 PrintF(out, " (%s)", reinterpret_cast<char*>(data_));
ager@chromium.org236ad962008-09-25 09:45:57 +0000818 } else if (rmode_ == EMBEDDED_OBJECT) {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000819 PrintF(out, " (");
820 target_object()->ShortPrint(out);
821 PrintF(out, ")");
ager@chromium.org236ad962008-09-25 09:45:57 +0000822 } else if (rmode_ == EXTERNAL_REFERENCE) {
jkummerow@chromium.org3d00d0a2013-09-04 13:57:32 +0000823 ExternalReferenceEncoder ref_encoder(isolate);
whesse@chromium.org023421e2010-12-21 12:19:12 +0000824 PrintF(out, " (%s) (%p)",
verwaest@chromium.org057bd502013-11-06 12:03:29 +0000825 ref_encoder.NameOfAddress(target_reference()),
826 target_reference());
ager@chromium.org236ad962008-09-25 09:45:57 +0000827 } else if (IsCodeTarget(rmode_)) {
ager@chromium.org8bb60582008-12-11 12:02:20 +0000828 Code* code = Code::GetCodeFromTargetAddress(target_address());
whesse@chromium.org023421e2010-12-21 12:19:12 +0000829 PrintF(out, " (%s) (%p)", Code::Kind2String(code->kind()),
830 target_address());
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000831 if (rmode_ == CODE_TARGET_WITH_ID) {
machenbach@chromium.orge8412be2013-11-08 10:23:52 +0000832 PrintF(out, " (id=%d)", static_cast<int>(data_));
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000833 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000834 } else if (IsPosition(rmode_)) {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000835 PrintF(out, " (%" V8_PTR_PREFIX "d)", data());
svenpanne@chromium.org2bda5432013-03-15 12:39:50 +0000836 } else if (IsRuntimeEntry(rmode_) &&
svenpanne@chromium.org876cca82013-03-18 14:43:20 +0000837 isolate->deoptimizer_data() != NULL) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000838 // Depotimization bailouts are stored as runtime entries.
839 int id = Deoptimizer::GetDeoptimizationId(
svenpanne@chromium.org876cca82013-03-18 14:43:20 +0000840 isolate, target_address(), Deoptimizer::EAGER);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000841 if (id != Deoptimizer::kNotDeoptimizationEntry) {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000842 PrintF(out, " (deoptimization bailout %d)", id);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000843 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000844 }
845
whesse@chromium.org023421e2010-12-21 12:19:12 +0000846 PrintF(out, "\n");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000847}
mads.s.ager31e71382008-08-13 09:32:07 +0000848#endif // ENABLE_DISASSEMBLER
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000849
850
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000851#ifdef VERIFY_HEAP
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000852void RelocInfo::Verify() {
853 switch (rmode_) {
ager@chromium.org236ad962008-09-25 09:45:57 +0000854 case EMBEDDED_OBJECT:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000855 Object::VerifyPointer(target_object());
856 break;
danno@chromium.org41728482013-06-12 22:31:22 +0000857 case CELL:
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000858 Object::VerifyPointer(target_cell());
859 break;
ager@chromium.org5c838252010-02-19 08:53:10 +0000860 case DEBUG_BREAK:
861#ifndef ENABLE_DEBUGGER_SUPPORT
862 UNREACHABLE();
863 break;
864#endif
ager@chromium.org236ad962008-09-25 09:45:57 +0000865 case CONSTRUCT_CALL:
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000866 case CODE_TARGET_WITH_ID:
ager@chromium.org236ad962008-09-25 09:45:57 +0000867 case CODE_TARGET: {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000868 // convert inline target address to code object
869 Address addr = target_address();
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000870 CHECK(addr != NULL);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000871 // Check that we can find the right code object.
ager@chromium.org4af710e2009-09-15 12:20:11 +0000872 Code* code = Code::GetCodeFromTargetAddress(addr);
jkummerow@chromium.orgba72ec82013-07-22 09:21:20 +0000873 Object* found = code->GetIsolate()->FindCodeObject(addr);
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000874 CHECK(found->IsCode());
875 CHECK(code->address() == HeapObject::cast(found)->address());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000876 break;
877 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000878 case RUNTIME_ENTRY:
879 case JS_RETURN:
880 case COMMENT:
881 case POSITION:
882 case STATEMENT_POSITION:
883 case EXTERNAL_REFERENCE:
884 case INTERNAL_REFERENCE:
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +0000885 case CONST_POOL:
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000886 case DEBUG_BREAK_SLOT:
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000887 case NONE32:
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000888 case NONE64:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000889 break;
ager@chromium.org236ad962008-09-25 09:45:57 +0000890 case NUMBER_OF_MODES:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000891 UNREACHABLE();
892 break;
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000893 case CODE_AGE_SEQUENCE:
894 ASSERT(Code::IsYoungSequence(pc_) || code_age_stub()->IsCode());
895 break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000896 }
897}
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000898#endif // VERIFY_HEAP
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000899
900
901// -----------------------------------------------------------------------------
902// Implementation of ExternalReference
903
fschneider@chromium.org7d10be52012-04-10 12:30:14 +0000904void ExternalReference::SetUp() {
905 double_constants.min_int = kMinInt;
906 double_constants.one_half = 0.5;
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000907 double_constants.minus_one_half = -0.5;
fschneider@chromium.org7d10be52012-04-10 12:30:14 +0000908 double_constants.minus_zero = -0.0;
909 double_constants.uint8_max_value = 255;
910 double_constants.zero = 0.0;
911 double_constants.canonical_non_hole_nan = OS::nan_value();
912 double_constants.the_hole_nan = BitCast<double>(kHoleNanInt64);
913 double_constants.negative_infinity = -V8_INFINITY;
mstarzinger@chromium.orgb4968be2013-10-16 09:00:56 +0000914 double_constants.uint32_bias =
915 static_cast<double>(static_cast<uint32_t>(0xFFFFFFFF)) + 1;
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000916
jkummerow@chromium.orgdc94e192013-08-30 11:35:42 +0000917 math_exp_data_mutex = new Mutex();
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000918}
919
920
921void ExternalReference::InitializeMathExpData() {
922 // Early return?
923 if (math_exp_data_initialized) return;
924
jkummerow@chromium.orgdc94e192013-08-30 11:35:42 +0000925 LockGuard<Mutex> lock_guard(math_exp_data_mutex);
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000926 if (!math_exp_data_initialized) {
927 // If this is changed, generated code must be adapted too.
928 const int kTableSizeBits = 11;
929 const int kTableSize = 1 << kTableSizeBits;
930 const double kTableSizeDouble = static_cast<double>(kTableSize);
931
932 math_exp_constants_array = new double[9];
933 // Input values smaller than this always return 0.
934 math_exp_constants_array[0] = -708.39641853226408;
935 // Input values larger than this always return +Infinity.
936 math_exp_constants_array[1] = 709.78271289338397;
937 math_exp_constants_array[2] = V8_INFINITY;
938 // The rest is black magic. Do not attempt to understand it. It is
939 // loosely based on the "expd" function published at:
940 // http://herumi.blogspot.com/2011/08/fast-double-precision-exponential.html
machenbach@chromium.orge31286d2014-01-15 10:29:52 +0000941 const double constant3 = (1 << kTableSizeBits) / std::log(2.0);
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000942 math_exp_constants_array[3] = constant3;
943 math_exp_constants_array[4] =
944 static_cast<double>(static_cast<int64_t>(3) << 51);
945 math_exp_constants_array[5] = 1 / constant3;
946 math_exp_constants_array[6] = 3.0000000027955394;
947 math_exp_constants_array[7] = 0.16666666685227835;
948 math_exp_constants_array[8] = 1;
949
950 math_exp_log_table_array = new double[kTableSize];
951 for (int i = 0; i < kTableSize; i++) {
machenbach@chromium.orge31286d2014-01-15 10:29:52 +0000952 double value = std::pow(2, i / kTableSizeDouble);
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000953 uint64_t bits = BitCast<uint64_t, double>(value);
954 bits &= (static_cast<uint64_t>(1) << 52) - 1;
955 double mantissa = BitCast<double, uint64_t>(bits);
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000956 math_exp_log_table_array[i] = mantissa;
957 }
958
959 math_exp_data_initialized = true;
960 }
danno@chromium.org1f34ad32012-11-26 14:53:56 +0000961}
962
963
964void ExternalReference::TearDownMathExpData() {
965 delete[] math_exp_constants_array;
966 delete[] math_exp_log_table_array;
967 delete math_exp_data_mutex;
fschneider@chromium.org7d10be52012-04-10 12:30:14 +0000968}
969
970
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000971ExternalReference::ExternalReference(Builtins::CFunctionId id, Isolate* isolate)
972 : address_(Redirect(isolate, Builtins::c_function_address(id))) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000973
974
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000975ExternalReference::ExternalReference(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000976 ApiFunction* fun,
977 Type type = ExternalReference::BUILTIN_CALL,
978 Isolate* isolate = NULL)
979 : address_(Redirect(isolate, fun->address(), type)) {}
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000980
981
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000982ExternalReference::ExternalReference(Builtins::Name name, Isolate* isolate)
983 : address_(isolate->builtins()->builtin_address(name)) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000984
985
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000986ExternalReference::ExternalReference(Runtime::FunctionId id,
987 Isolate* isolate)
988 : address_(Redirect(isolate, Runtime::FunctionForId(id)->entry)) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000989
990
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000991ExternalReference::ExternalReference(const Runtime::Function* f,
992 Isolate* isolate)
993 : address_(Redirect(isolate, f->entry)) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000994
995
ulan@chromium.org32d7dba2013-04-24 10:59:06 +0000996ExternalReference ExternalReference::isolate_address(Isolate* isolate) {
997 return ExternalReference(isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000998}
999
1000
1001ExternalReference::ExternalReference(const IC_Utility& ic_utility,
1002 Isolate* isolate)
1003 : address_(Redirect(isolate, ic_utility.address())) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001004
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001005#ifdef ENABLE_DEBUGGER_SUPPORT
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001006ExternalReference::ExternalReference(const Debug_Address& debug_address,
1007 Isolate* isolate)
1008 : address_(debug_address.address(isolate)) {}
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001009#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001010
1011ExternalReference::ExternalReference(StatsCounter* counter)
1012 : address_(reinterpret_cast<Address>(counter->GetInternalPointer())) {}
1013
1014
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001015ExternalReference::ExternalReference(Isolate::AddressId id, Isolate* isolate)
1016 : address_(isolate->get_address_from_id(id)) {}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001017
1018
1019ExternalReference::ExternalReference(const SCTableReference& table_ref)
1020 : address_(table_ref.address()) {}
1021
1022
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001023ExternalReference ExternalReference::
1024 incremental_marking_record_write_function(Isolate* isolate) {
1025 return ExternalReference(Redirect(
1026 isolate,
1027 FUNCTION_ADDR(IncrementalMarking::RecordWriteFromCode)));
1028}
1029
1030
1031ExternalReference ExternalReference::
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001032 store_buffer_overflow_function(Isolate* isolate) {
1033 return ExternalReference(Redirect(
1034 isolate,
1035 FUNCTION_ADDR(StoreBuffer::StoreBufferOverflow)));
1036}
1037
1038
1039ExternalReference ExternalReference::flush_icache_function(Isolate* isolate) {
1040 return ExternalReference(Redirect(isolate, FUNCTION_ADDR(CPU::FlushICache)));
1041}
1042
1043
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001044ExternalReference ExternalReference::perform_gc_function(Isolate* isolate) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001045 return
1046 ExternalReference(Redirect(isolate, FUNCTION_ADDR(Runtime::PerformGC)));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001047}
1048
1049
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001050ExternalReference ExternalReference::delete_handle_scope_extensions(
1051 Isolate* isolate) {
1052 return ExternalReference(Redirect(
1053 isolate,
1054 FUNCTION_ADDR(HandleScope::DeleteExtensions)));
lrn@chromium.org303ada72010-10-27 09:33:13 +00001055}
1056
1057
svenpanne@chromium.org4efbdb12012-03-12 08:18:42 +00001058ExternalReference ExternalReference::get_date_field_function(
1059 Isolate* isolate) {
1060 return ExternalReference(Redirect(isolate, FUNCTION_ADDR(JSDate::GetField)));
1061}
1062
1063
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +00001064ExternalReference ExternalReference::get_make_code_young_function(
1065 Isolate* isolate) {
1066 return ExternalReference(Redirect(
1067 isolate, FUNCTION_ADDR(Code::MakeCodeAgeSequenceYoung)));
1068}
1069
1070
bmeurer@chromium.orgc9913f02013-10-24 06:31:36 +00001071ExternalReference ExternalReference::get_mark_code_as_executed_function(
1072 Isolate* isolate) {
1073 return ExternalReference(Redirect(
1074 isolate, FUNCTION_ADDR(Code::MarkCodeAsExecuted)));
1075}
1076
1077
svenpanne@chromium.org4efbdb12012-03-12 08:18:42 +00001078ExternalReference ExternalReference::date_cache_stamp(Isolate* isolate) {
1079 return ExternalReference(isolate->date_cache()->stamp_address());
1080}
1081
1082
jkummerow@chromium.orgba72ec82013-07-22 09:21:20 +00001083ExternalReference ExternalReference::stress_deopt_count(Isolate* isolate) {
1084 return ExternalReference(isolate->stress_deopt_count_address());
1085}
1086
1087
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001088ExternalReference ExternalReference::new_deoptimizer_function(
1089 Isolate* isolate) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001090 return ExternalReference(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001091 Redirect(isolate, FUNCTION_ADDR(Deoptimizer::New)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001092}
1093
1094
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001095ExternalReference ExternalReference::compute_output_frames_function(
1096 Isolate* isolate) {
1097 return ExternalReference(
1098 Redirect(isolate, FUNCTION_ADDR(Deoptimizer::ComputeOutputFrames)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001099}
1100
1101
svenpanne@chromium.org83130cf2012-11-30 10:13:25 +00001102ExternalReference ExternalReference::log_enter_external_function(
1103 Isolate* isolate) {
1104 return ExternalReference(
1105 Redirect(isolate, FUNCTION_ADDR(Logger::EnterExternal)));
1106}
1107
1108
1109ExternalReference ExternalReference::log_leave_external_function(
1110 Isolate* isolate) {
1111 return ExternalReference(
1112 Redirect(isolate, FUNCTION_ADDR(Logger::LeaveExternal)));
1113}
1114
1115
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001116ExternalReference ExternalReference::keyed_lookup_cache_keys(Isolate* isolate) {
1117 return ExternalReference(isolate->keyed_lookup_cache()->keys_address());
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001118}
1119
1120
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001121ExternalReference ExternalReference::keyed_lookup_cache_field_offsets(
1122 Isolate* isolate) {
1123 return ExternalReference(
1124 isolate->keyed_lookup_cache()->field_offsets_address());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001125}
1126
1127
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001128ExternalReference ExternalReference::roots_array_start(Isolate* isolate) {
1129 return ExternalReference(isolate->heap()->roots_array_start());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001130}
1131
1132
jkummerow@chromium.orgba72ec82013-07-22 09:21:20 +00001133ExternalReference ExternalReference::allocation_sites_list_address(
1134 Isolate* isolate) {
1135 return ExternalReference(isolate->heap()->allocation_sites_list_address());
1136}
1137
1138
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001139ExternalReference ExternalReference::address_of_stack_limit(Isolate* isolate) {
1140 return ExternalReference(isolate->stack_guard()->address_of_jslimit());
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001141}
1142
1143
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001144ExternalReference ExternalReference::address_of_real_stack_limit(
1145 Isolate* isolate) {
1146 return ExternalReference(isolate->stack_guard()->address_of_real_jslimit());
ager@chromium.org32912102009-01-16 10:38:43 +00001147}
1148
1149
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001150ExternalReference ExternalReference::address_of_regexp_stack_limit(
1151 Isolate* isolate) {
1152 return ExternalReference(isolate->regexp_stack()->limit_address());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001153}
1154
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001155
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001156ExternalReference ExternalReference::new_space_start(Isolate* isolate) {
1157 return ExternalReference(isolate->heap()->NewSpaceStart());
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001158}
1159
1160
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001161ExternalReference ExternalReference::store_buffer_top(Isolate* isolate) {
1162 return ExternalReference(isolate->heap()->store_buffer()->TopAddress());
1163}
1164
1165
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001166ExternalReference ExternalReference::new_space_mask(Isolate* isolate) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001167 return ExternalReference(reinterpret_cast<Address>(
1168 isolate->heap()->NewSpaceMask()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001169}
1170
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001171
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001172ExternalReference ExternalReference::new_space_allocation_top_address(
1173 Isolate* isolate) {
1174 return ExternalReference(isolate->heap()->NewSpaceAllocationTopAddress());
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +00001175}
1176
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001177
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001178ExternalReference ExternalReference::heap_always_allocate_scope_depth(
1179 Isolate* isolate) {
1180 Heap* heap = isolate->heap();
1181 return ExternalReference(heap->always_allocate_scope_depth_address());
1182}
1183
1184
1185ExternalReference ExternalReference::new_space_allocation_limit_address(
1186 Isolate* isolate) {
1187 return ExternalReference(isolate->heap()->NewSpaceAllocationLimitAddress());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001188}
1189
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001190
svenpanne@chromium.org2bda5432013-03-15 12:39:50 +00001191ExternalReference ExternalReference::old_pointer_space_allocation_top_address(
1192 Isolate* isolate) {
1193 return ExternalReference(
1194 isolate->heap()->OldPointerSpaceAllocationTopAddress());
1195}
1196
1197
1198ExternalReference ExternalReference::old_pointer_space_allocation_limit_address(
1199 Isolate* isolate) {
1200 return ExternalReference(
1201 isolate->heap()->OldPointerSpaceAllocationLimitAddress());
1202}
1203
1204
mstarzinger@chromium.orge27d6172013-04-17 11:51:44 +00001205ExternalReference ExternalReference::old_data_space_allocation_top_address(
1206 Isolate* isolate) {
1207 return ExternalReference(
1208 isolate->heap()->OldDataSpaceAllocationTopAddress());
1209}
1210
1211
1212ExternalReference ExternalReference::old_data_space_allocation_limit_address(
1213 Isolate* isolate) {
1214 return ExternalReference(
1215 isolate->heap()->OldDataSpaceAllocationLimitAddress());
1216}
1217
1218
ulan@chromium.org57ff8812013-05-10 08:16:55 +00001219ExternalReference ExternalReference::
1220 new_space_high_promotion_mode_active_address(Isolate* isolate) {
1221 return ExternalReference(
1222 isolate->heap()->NewSpaceHighPromotionModeActiveAddress());
1223}
1224
1225
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001226ExternalReference ExternalReference::handle_scope_level_address(
1227 Isolate* isolate) {
1228 return ExternalReference(HandleScope::current_level_address(isolate));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001229}
1230
1231
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001232ExternalReference ExternalReference::handle_scope_next_address(
1233 Isolate* isolate) {
1234 return ExternalReference(HandleScope::current_next_address(isolate));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001235}
1236
1237
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001238ExternalReference ExternalReference::handle_scope_limit_address(
1239 Isolate* isolate) {
1240 return ExternalReference(HandleScope::current_limit_address(isolate));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001241}
1242
1243
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001244ExternalReference ExternalReference::scheduled_exception_address(
1245 Isolate* isolate) {
1246 return ExternalReference(isolate->scheduled_exception_address());
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001247}
1248
1249
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001250ExternalReference ExternalReference::address_of_pending_message_obj(
1251 Isolate* isolate) {
1252 return ExternalReference(isolate->pending_message_obj_address());
1253}
1254
1255
1256ExternalReference ExternalReference::address_of_has_pending_message(
1257 Isolate* isolate) {
1258 return ExternalReference(isolate->has_pending_message_address());
1259}
1260
1261
1262ExternalReference ExternalReference::address_of_pending_message_script(
1263 Isolate* isolate) {
1264 return ExternalReference(isolate->pending_message_script_address());
1265}
1266
1267
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001268ExternalReference ExternalReference::address_of_min_int() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001269 return ExternalReference(reinterpret_cast<void*>(&double_constants.min_int));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001270}
1271
1272
1273ExternalReference ExternalReference::address_of_one_half() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001274 return ExternalReference(reinterpret_cast<void*>(&double_constants.one_half));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001275}
1276
1277
hpayer@chromium.org8432c912013-02-28 15:55:26 +00001278ExternalReference ExternalReference::address_of_minus_one_half() {
1279 return ExternalReference(
1280 reinterpret_cast<void*>(&double_constants.minus_one_half));
1281}
1282
1283
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00001284ExternalReference ExternalReference::address_of_minus_zero() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001285 return ExternalReference(
1286 reinterpret_cast<void*>(&double_constants.minus_zero));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00001287}
1288
1289
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00001290ExternalReference ExternalReference::address_of_zero() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001291 return ExternalReference(reinterpret_cast<void*>(&double_constants.zero));
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00001292}
1293
1294
1295ExternalReference ExternalReference::address_of_uint8_max_value() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001296 return ExternalReference(
1297 reinterpret_cast<void*>(&double_constants.uint8_max_value));
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00001298}
1299
1300
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001301ExternalReference ExternalReference::address_of_negative_infinity() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001302 return ExternalReference(
1303 reinterpret_cast<void*>(&double_constants.negative_infinity));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001304}
1305
1306
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00001307ExternalReference ExternalReference::address_of_canonical_non_hole_nan() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001308 return ExternalReference(
1309 reinterpret_cast<void*>(&double_constants.canonical_non_hole_nan));
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00001310}
1311
1312
1313ExternalReference ExternalReference::address_of_the_hole_nan() {
fschneider@chromium.org7d10be52012-04-10 12:30:14 +00001314 return ExternalReference(
1315 reinterpret_cast<void*>(&double_constants.the_hole_nan));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001316}
1317
1318
mstarzinger@chromium.orgb4968be2013-10-16 09:00:56 +00001319ExternalReference ExternalReference::address_of_uint32_bias() {
1320 return ExternalReference(
1321 reinterpret_cast<void*>(&double_constants.uint32_bias));
1322}
1323
1324
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001325#ifndef V8_INTERPRETED_REGEXP
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001326
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001327ExternalReference ExternalReference::re_check_stack_guard_state(
1328 Isolate* isolate) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001329 Address function;
jkummerow@chromium.org93a47f42013-07-02 14:43:41 +00001330#if V8_TARGET_ARCH_X64
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001331 function = FUNCTION_ADDR(RegExpMacroAssemblerX64::CheckStackGuardState);
1332#elif V8_TARGET_ARCH_IA32
1333 function = FUNCTION_ADDR(RegExpMacroAssemblerIA32::CheckStackGuardState);
titzer@chromium.orgf5a24542014-03-04 09:06:17 +00001334#elif V8_TARGET_ARCH_A64
1335 function = FUNCTION_ADDR(RegExpMacroAssemblerA64::CheckStackGuardState);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001336#elif V8_TARGET_ARCH_ARM
1337 function = FUNCTION_ADDR(RegExpMacroAssemblerARM::CheckStackGuardState);
lrn@chromium.org7516f052011-03-30 08:52:27 +00001338#elif V8_TARGET_ARCH_MIPS
1339 function = FUNCTION_ADDR(RegExpMacroAssemblerMIPS::CheckStackGuardState);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001340#else
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001341 UNREACHABLE();
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001342#endif
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001343 return ExternalReference(Redirect(isolate, function));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001344}
1345
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001346
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001347ExternalReference ExternalReference::re_grow_stack(Isolate* isolate) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001348 return ExternalReference(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001349 Redirect(isolate, FUNCTION_ADDR(NativeRegExpMacroAssembler::GrowStack)));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001350}
1351
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001352ExternalReference ExternalReference::re_case_insensitive_compare_uc16(
1353 Isolate* isolate) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001354 return ExternalReference(Redirect(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001355 isolate,
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001356 FUNCTION_ADDR(NativeRegExpMacroAssembler::CaseInsensitiveCompareUC16)));
1357}
1358
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001359
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001360ExternalReference ExternalReference::re_word_character_map() {
1361 return ExternalReference(
1362 NativeRegExpMacroAssembler::word_character_map_address());
1363}
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001364
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001365ExternalReference ExternalReference::address_of_static_offsets_vector(
1366 Isolate* isolate) {
1367 return ExternalReference(
yangguo@chromium.org355cfd12012-08-29 15:32:24 +00001368 reinterpret_cast<Address>(isolate->jsregexp_static_offsets_vector()));
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001369}
1370
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001371ExternalReference ExternalReference::address_of_regexp_stack_memory_address(
1372 Isolate* isolate) {
1373 return ExternalReference(
1374 isolate->regexp_stack()->memory_address());
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001375}
1376
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001377ExternalReference ExternalReference::address_of_regexp_stack_memory_size(
1378 Isolate* isolate) {
1379 return ExternalReference(isolate->regexp_stack()->memory_size_address());
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001380}
1381
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001382#endif // V8_INTERPRETED_REGEXP
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001383
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001384
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001385ExternalReference ExternalReference::math_log_double_function(
1386 Isolate* isolate) {
hpayer@chromium.org4f99be92013-12-18 16:23:55 +00001387 typedef double (*d2d)(double x);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001388 return ExternalReference(Redirect(isolate,
machenbach@chromium.orge31286d2014-01-15 10:29:52 +00001389 FUNCTION_ADDR(static_cast<d2d>(std::log)),
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001390 BUILTIN_FP_CALL));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001391}
1392
1393
danno@chromium.org1f34ad32012-11-26 14:53:56 +00001394ExternalReference ExternalReference::math_exp_constants(int constant_index) {
1395 ASSERT(math_exp_data_initialized);
1396 return ExternalReference(
1397 reinterpret_cast<void*>(math_exp_constants_array + constant_index));
1398}
1399
1400
1401ExternalReference ExternalReference::math_exp_log_table() {
1402 ASSERT(math_exp_data_initialized);
1403 return ExternalReference(reinterpret_cast<void*>(math_exp_log_table_array));
1404}
1405
1406
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001407ExternalReference ExternalReference::page_flags(Page* page) {
1408 return ExternalReference(reinterpret_cast<Address>(page) +
1409 MemoryChunk::kFlagsOffset);
1410}
1411
1412
yangguo@chromium.orga6bbcc82012-12-21 12:35:02 +00001413ExternalReference ExternalReference::ForDeoptEntry(Address entry) {
1414 return ExternalReference(entry);
1415}
1416
1417
ulan@chromium.org2e04b582013-02-21 14:06:02 +00001418double power_helper(double x, double y) {
1419 int y_int = static_cast<int>(y);
1420 if (y == y_int) {
1421 return power_double_int(x, y_int); // Returns 1 if exponent is 0.
1422 }
1423 if (y == 0.5) {
ulan@chromium.org77ca49a2013-04-22 09:43:56 +00001424 return (std::isinf(x)) ? V8_INFINITY
1425 : fast_sqrt(x + 0.0); // Convert -0 to +0.
ulan@chromium.org2e04b582013-02-21 14:06:02 +00001426 }
1427 if (y == -0.5) {
ulan@chromium.org77ca49a2013-04-22 09:43:56 +00001428 return (std::isinf(x)) ? 0 : 1.0 / fast_sqrt(x + 0.0); // Convert -0 to +0.
ulan@chromium.org2e04b582013-02-21 14:06:02 +00001429 }
1430 return power_double_double(x, y);
1431}
1432
1433
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001434// Helper function to compute x^y, where y is known to be an
1435// integer. Uses binary decomposition to limit the number of
1436// multiplications; see the discussion in "Hacker's Delight" by Henry
1437// S. Warren, Jr., figure 11-6, page 213.
1438double power_double_int(double x, int y) {
1439 double m = (y < 0) ? 1 / x : x;
1440 unsigned n = (y < 0) ? -y : y;
1441 double p = 1;
1442 while (n != 0) {
1443 if ((n & 1) != 0) p *= m;
1444 m *= m;
1445 if ((n & 2) != 0) p *= m;
1446 m *= m;
1447 n >>= 2;
1448 }
1449 return p;
1450}
1451
1452
1453double power_double_double(double x, double y) {
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001454#if defined(__MINGW64_VERSION_MAJOR) && \
1455 (!defined(__MINGW64_VERSION_RC) || __MINGW64_VERSION_RC < 1)
svenpanne@chromium.orgfb046332012-04-19 12:02:44 +00001456 // MinGW64 has a custom implementation for pow. This handles certain
1457 // special cases that are different.
ulan@chromium.org77ca49a2013-04-22 09:43:56 +00001458 if ((x == 0.0 || std::isinf(x)) && std::isfinite(y)) {
svenpanne@chromium.orgfb046332012-04-19 12:02:44 +00001459 double f;
machenbach@chromium.orge31286d2014-01-15 10:29:52 +00001460 if (std::modf(y, &f) != 0.0) {
1461 return ((x == 0.0) ^ (y > 0)) ? V8_INFINITY : 0;
1462 }
svenpanne@chromium.orgfb046332012-04-19 12:02:44 +00001463 }
1464
1465 if (x == 2.0) {
1466 int y_int = static_cast<int>(y);
machenbach@chromium.orge31286d2014-01-15 10:29:52 +00001467 if (y == y_int) {
1468 return std::ldexp(1.0, y_int);
1469 }
svenpanne@chromium.orgfb046332012-04-19 12:02:44 +00001470 }
1471#endif
1472
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00001473 // The checks for special cases can be dropped in ia32 because it has already
1474 // been done in generated code before bailing out here.
ulan@chromium.org77ca49a2013-04-22 09:43:56 +00001475 if (std::isnan(y) || ((x == 1 || x == -1) && std::isinf(y))) {
1476 return OS::nan_value();
1477 }
machenbach@chromium.orge31286d2014-01-15 10:29:52 +00001478 return std::pow(x, y);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001479}
1480
1481
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001482ExternalReference ExternalReference::power_double_double_function(
1483 Isolate* isolate) {
1484 return ExternalReference(Redirect(isolate,
1485 FUNCTION_ADDR(power_double_double),
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001486 BUILTIN_FP_FP_CALL));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001487}
1488
1489
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001490ExternalReference ExternalReference::power_double_int_function(
1491 Isolate* isolate) {
1492 return ExternalReference(Redirect(isolate,
1493 FUNCTION_ADDR(power_double_int),
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001494 BUILTIN_FP_INT_CALL));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001495}
1496
1497
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001498bool EvalComparison(Token::Value op, double op1, double op2) {
1499 ASSERT(Token::IsCompareOp(op));
1500 switch (op) {
1501 case Token::EQ:
1502 case Token::EQ_STRICT: return (op1 == op2);
1503 case Token::NE: return (op1 != op2);
1504 case Token::LT: return (op1 < op2);
1505 case Token::GT: return (op1 > op2);
1506 case Token::LTE: return (op1 <= op2);
1507 case Token::GTE: return (op1 >= op2);
1508 default:
1509 UNREACHABLE();
1510 return false;
1511 }
1512}
1513
1514
hpayer@chromium.org4f99be92013-12-18 16:23:55 +00001515ExternalReference ExternalReference::mod_two_doubles_operation(
1516 Isolate* isolate) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001517 return ExternalReference(Redirect(isolate,
hpayer@chromium.org4f99be92013-12-18 16:23:55 +00001518 FUNCTION_ADDR(modulo),
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001519 BUILTIN_FP_FP_CALL));
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001520}
1521
1522
1523#ifdef ENABLE_DEBUGGER_SUPPORT
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001524ExternalReference ExternalReference::debug_break(Isolate* isolate) {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001525 return ExternalReference(Redirect(isolate, FUNCTION_ADDR(Debug_Break)));
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001526}
1527
1528
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001529ExternalReference ExternalReference::debug_step_in_fp_address(
1530 Isolate* isolate) {
1531 return ExternalReference(isolate->debug()->step_in_fp_addr());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001532}
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001533#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001534
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001535
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001536void PositionsRecorder::RecordPosition(int pos) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001537 ASSERT(pos != RelocInfo::kNoPosition);
1538 ASSERT(pos >= 0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001539 state_.current_position = pos;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001540#ifdef ENABLE_GDB_JIT_INTERFACE
1541 if (gdbjit_lineinfo_ != NULL) {
1542 gdbjit_lineinfo_->SetPosition(assembler_->pc_offset(), pos, false);
1543 }
1544#endif
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001545 LOG_CODE_EVENT(assembler_->isolate(),
1546 CodeLinePosInfoAddPositionEvent(jit_handler_data_,
1547 assembler_->pc_offset(),
1548 pos));
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001549}
1550
1551
1552void PositionsRecorder::RecordStatementPosition(int pos) {
1553 ASSERT(pos != RelocInfo::kNoPosition);
1554 ASSERT(pos >= 0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001555 state_.current_statement_position = pos;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001556#ifdef ENABLE_GDB_JIT_INTERFACE
1557 if (gdbjit_lineinfo_ != NULL) {
1558 gdbjit_lineinfo_->SetPosition(assembler_->pc_offset(), pos, true);
1559 }
1560#endif
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001561 LOG_CODE_EVENT(assembler_->isolate(),
1562 CodeLinePosInfoAddStatementPositionEvent(
1563 jit_handler_data_,
1564 assembler_->pc_offset(),
1565 pos));
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001566}
1567
1568
1569bool PositionsRecorder::WriteRecordedPositions() {
1570 bool written = false;
1571
1572 // Write the statement position if it is different from what was written last
1573 // time.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001574 if (state_.current_statement_position != state_.written_statement_position) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001575 EnsureSpace ensure_space(assembler_);
1576 assembler_->RecordRelocInfo(RelocInfo::STATEMENT_POSITION,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001577 state_.current_statement_position);
1578 state_.written_statement_position = state_.current_statement_position;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001579 written = true;
1580 }
1581
1582 // Write the position if it is different from what was written last time and
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001583 // also different from the written statement position.
1584 if (state_.current_position != state_.written_position &&
1585 state_.current_position != state_.written_statement_position) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001586 EnsureSpace ensure_space(assembler_);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001587 assembler_->RecordRelocInfo(RelocInfo::POSITION, state_.current_position);
1588 state_.written_position = state_.current_position;
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001589 written = true;
1590 }
1591
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +00001592 // Return whether something was written.
1593 return written;
1594}
1595
machenbach@chromium.orgbcc36722014-03-11 07:52:26 +00001596
1597MultiplierAndShift::MultiplierAndShift(int32_t d) {
1598 ASSERT(d <= -2 || 2 <= d);
1599 const uint32_t two31 = 0x80000000;
1600 uint32_t ad = Abs(d);
1601 uint32_t t = two31 + (uint32_t(d) >> 31);
1602 uint32_t anc = t - 1 - t % ad; // Absolute value of nc.
1603 int32_t p = 31; // Init. p.
1604 uint32_t q1 = two31 / anc; // Init. q1 = 2**p/|nc|.
1605 uint32_t r1 = two31 - q1 * anc; // Init. r1 = rem(2**p, |nc|).
1606 uint32_t q2 = two31 / ad; // Init. q2 = 2**p/|d|.
1607 uint32_t r2 = two31 - q2 * ad; // Init. r2 = rem(2**p, |d|).
1608 uint32_t delta;
1609 do {
1610 p++;
1611 q1 *= 2; // Update q1 = 2**p/|nc|.
1612 r1 *= 2; // Update r1 = rem(2**p, |nc|).
1613 if (r1 >= anc) { // Must be an unsigned comparison here.
1614 q1++;
1615 r1 = r1 - anc;
1616 }
1617 q2 *= 2; // Update q2 = 2**p/|d|.
1618 r2 *= 2; // Update r2 = rem(2**p, |d|).
1619 if (r2 >= ad) { // Must be an unsigned comparison here.
1620 q2++;
1621 r2 = r2 - ad;
1622 }
1623 delta = ad - r2;
1624 } while (q1 < delta || (q1 == delta && r1 == 0));
1625 int32_t mul = static_cast<int32_t>(q2 + 1);
1626 multiplier_ = (d < 0) ? -mul : mul;
1627 shift_ = p - 32;
1628}
1629
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001630} } // namespace v8::internal