blob: ba7df802fa6cfd29428abe9aaef2361fa8d32957 [file] [log] [blame]
Ben Murdoch257744e2011-11-30 15:57:28 +00001// Copyright 2011 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#include "v8.h"
29
30#include "bootstrapper.h"
31#include "code-stubs.h"
Ben Murdoch257744e2011-11-30 15:57:28 +000032#include "stub-cache.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000033#include "factory.h"
Ben Murdochb8e0da22011-05-16 14:20:40 +010034#include "gdb-jit.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000035#include "macro-assembler.h"
36
37namespace v8 {
38namespace internal {
39
Leon Clarkee46be812010-01-19 14:06:41 +000040bool CodeStub::FindCodeInCache(Code** code_out) {
Steve Block44f0eee2011-05-26 01:26:41 +010041 Heap* heap = Isolate::Current()->heap();
42 int index = heap->code_stubs()->FindEntry(GetKey());
Ben Murdoch592a9fc2012-03-05 11:04:45 +000043 if (index != NumberDictionary::kNotFound) {
Steve Block44f0eee2011-05-26 01:26:41 +010044 *code_out = Code::cast(heap->code_stubs()->ValueAt(index));
Leon Clarkee46be812010-01-19 14:06:41 +000045 return true;
Steve Blockd0582a62009-12-15 09:54:21 +000046 }
Leon Clarkee46be812010-01-19 14:06:41 +000047 return false;
48}
Steve Blockd0582a62009-12-15 09:54:21 +000049
Leon Clarkee46be812010-01-19 14:06:41 +000050
51void CodeStub::GenerateCode(MacroAssembler* masm) {
52 // Update the static counter each time a new code stub is generated.
Steve Block44f0eee2011-05-26 01:26:41 +010053 masm->isolate()->counters()->code_stubs()->Increment();
Ben Murdoch086aeea2011-05-13 15:57:08 +010054
Ben Murdoch592a9fc2012-03-05 11:04:45 +000055 // Nested stubs are not allowed for leaves.
56 AllowStubCallsScope allow_scope(masm, false);
Ben Murdoch086aeea2011-05-13 15:57:08 +010057
Leon Clarkee46be812010-01-19 14:06:41 +000058 // Generate the code for the stub.
59 masm->set_generating_stub(true);
Ben Murdoch592a9fc2012-03-05 11:04:45 +000060 NoCurrentFrameScope scope(masm);
Leon Clarkee46be812010-01-19 14:06:41 +000061 Generate(masm);
62}
63
64
Ben Murdoch589d6972011-11-30 16:04:58 +000065SmartArrayPointer<const char> CodeStub::GetName() {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000066 char buffer[100];
67 NoAllocationStringAllocator allocator(buffer,
68 static_cast<unsigned>(sizeof(buffer)));
69 StringStream stream(&allocator);
70 PrintName(&stream);
71 return stream.ToCString();
72}
73
74
Leon Clarkee46be812010-01-19 14:06:41 +000075void CodeStub::RecordCodeGeneration(Code* code, MacroAssembler* masm) {
76 code->set_major_key(MajorKey());
77
Steve Block44f0eee2011-05-26 01:26:41 +010078 Isolate* isolate = masm->isolate();
Ben Murdoch589d6972011-11-30 16:04:58 +000079 SmartArrayPointer<const char> name = GetName();
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000080 PROFILE(isolate, CodeCreateEvent(Logger::STUB_TAG, code, *name));
81 GDBJIT(AddCode(GDBJITInterface::STUB, *name, code));
Steve Block44f0eee2011-05-26 01:26:41 +010082 Counters* counters = isolate->counters();
83 counters->total_stubs_code_size()->Increment(code->instruction_size());
Leon Clarkee46be812010-01-19 14:06:41 +000084
85#ifdef ENABLE_DISASSEMBLER
86 if (FLAG_print_code_stubs) {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000087 code->Disassemble(*name);
Leon Clarkee46be812010-01-19 14:06:41 +000088 PrintF("\n");
89 }
90#endif
91}
92
93
Steve Block6ded16b2010-05-10 14:33:55 +010094int CodeStub::GetCodeKind() {
95 return Code::STUB;
96}
97
98
Leon Clarkee46be812010-01-19 14:06:41 +000099Handle<Code> CodeStub::GetCode() {
Steve Block44f0eee2011-05-26 01:26:41 +0100100 Isolate* isolate = Isolate::Current();
101 Factory* factory = isolate->factory();
102 Heap* heap = isolate->heap();
Leon Clarkee46be812010-01-19 14:06:41 +0000103 Code* code;
104 if (!FindCodeInCache(&code)) {
Steve Block44f0eee2011-05-26 01:26:41 +0100105 HandleScope scope(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000106
Steve Blocka7e24c12009-10-30 11:49:00 +0000107 // Generate the new code.
Ben Murdoch8b112d22011-06-08 16:22:53 +0100108 MacroAssembler masm(isolate, NULL, 256);
Leon Clarkee46be812010-01-19 14:06:41 +0000109 GenerateCode(&masm);
Steve Blocka7e24c12009-10-30 11:49:00 +0000110
111 // Create the code object.
112 CodeDesc desc;
113 masm.GetCode(&desc);
114
Leon Clarkee46be812010-01-19 14:06:41 +0000115 // Copy the generated code into a heap object.
Steve Block6ded16b2010-05-10 14:33:55 +0100116 Code::Flags flags = Code::ComputeFlags(
117 static_cast<Code::Kind>(GetCodeKind()),
Steve Block6ded16b2010-05-10 14:33:55 +0100118 GetICState());
Steve Block44f0eee2011-05-26 01:26:41 +0100119 Handle<Code> new_object = factory->NewCode(
120 desc, flags, masm.CodeObject(), NeedsImmovableCode());
Leon Clarkee46be812010-01-19 14:06:41 +0000121 RecordCodeGeneration(*new_object, &masm);
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000122 FinishCode(new_object);
Steve Blocka7e24c12009-10-30 11:49:00 +0000123
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -0800124 // Update the dictionary and the root in Heap.
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000125 Handle<NumberDictionary> dict =
Steve Block44f0eee2011-05-26 01:26:41 +0100126 factory->DictionaryAtNumberPut(
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000127 Handle<NumberDictionary>(heap->code_stubs()),
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -0800128 GetKey(),
129 new_object);
Steve Block44f0eee2011-05-26 01:26:41 +0100130 heap->public_set_code_stubs(*dict);
Leon Clarkee46be812010-01-19 14:06:41 +0000131 code = *new_object;
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000132 Activate(code);
133 } else {
134 CHECK(IsPregenerated() == code->is_pregenerated());
Steve Blocka7e24c12009-10-30 11:49:00 +0000135 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000136
Steve Block44f0eee2011-05-26 01:26:41 +0100137 ASSERT(!NeedsImmovableCode() || heap->lo_space()->Contains(code));
138 return Handle<Code>(code, isolate);
Leon Clarkee46be812010-01-19 14:06:41 +0000139}
140
141
Andrei Popescu31002712010-02-23 13:46:05 +0000142const char* CodeStub::MajorName(CodeStub::Major major_key,
143 bool allow_unknown_keys) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000144 switch (major_key) {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000145#define DEF_CASE(name) case name: return #name "Stub";
Steve Blockd0582a62009-12-15 09:54:21 +0000146 CODE_STUB_LIST(DEF_CASE)
147#undef DEF_CASE
Steve Blocka7e24c12009-10-30 11:49:00 +0000148 default:
Andrei Popescu31002712010-02-23 13:46:05 +0000149 if (!allow_unknown_keys) {
150 UNREACHABLE();
151 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000152 return NULL;
153 }
154}
155
156
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000157void CodeStub::PrintName(StringStream* stream) {
158 stream->Add("%s", MajorName(MajorKey(), false));
159}
160
161
Ben Murdochb0fe1622011-05-05 13:52:32 +0100162int ICCompareStub::MinorKey() {
163 return OpField::encode(op_ - Token::EQ) | StateField::encode(state_);
164}
165
166
167void ICCompareStub::Generate(MacroAssembler* masm) {
168 switch (state_) {
169 case CompareIC::UNINITIALIZED:
170 GenerateMiss(masm);
171 break;
172 case CompareIC::SMIS:
173 GenerateSmis(masm);
174 break;
175 case CompareIC::HEAP_NUMBERS:
176 GenerateHeapNumbers(masm);
177 break;
Ben Murdoch257744e2011-11-30 15:57:28 +0000178 case CompareIC::STRINGS:
179 GenerateStrings(masm);
180 break;
181 case CompareIC::SYMBOLS:
182 GenerateSymbols(masm);
183 break;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100184 case CompareIC::OBJECTS:
185 GenerateObjects(masm);
186 break;
187 default:
188 UNREACHABLE();
189 }
190}
191
192
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000193void InstanceofStub::PrintName(StringStream* stream) {
Ben Murdoch086aeea2011-05-13 15:57:08 +0100194 const char* args = "";
195 if (HasArgsInRegisters()) {
196 args = "_REGS";
197 }
198
199 const char* inline_check = "";
200 if (HasCallSiteInlineCheck()) {
201 inline_check = "_INLINE";
202 }
203
204 const char* return_true_false_object = "";
205 if (ReturnTrueFalseObject()) {
206 return_true_false_object = "_TRUEFALSE";
207 }
208
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000209 stream->Add("InstanceofStub%s%s%s",
210 args,
211 inline_check,
212 return_true_false_object);
Ben Murdoch086aeea2011-05-13 15:57:08 +0100213}
214
215
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000216void JSEntryStub::FinishCode(Handle<Code> code) {
217 Handle<FixedArray> handler_table =
218 code->GetIsolate()->factory()->NewFixedArray(1, TENURED);
219 handler_table->set(0, Smi::FromInt(handler_offset_));
220 code->set_handler_table(*handler_table);
221}
222
223
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000224void KeyedLoadElementStub::Generate(MacroAssembler* masm) {
225 switch (elements_kind_) {
Ben Murdoch589d6972011-11-30 16:04:58 +0000226 case FAST_ELEMENTS:
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000227 case FAST_SMI_ONLY_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000228 KeyedLoadStubCompiler::GenerateLoadFastElement(masm);
229 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000230 case FAST_DOUBLE_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000231 KeyedLoadStubCompiler::GenerateLoadFastDoubleElement(masm);
232 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000233 case EXTERNAL_BYTE_ELEMENTS:
234 case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
235 case EXTERNAL_SHORT_ELEMENTS:
236 case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
237 case EXTERNAL_INT_ELEMENTS:
238 case EXTERNAL_UNSIGNED_INT_ELEMENTS:
239 case EXTERNAL_FLOAT_ELEMENTS:
240 case EXTERNAL_DOUBLE_ELEMENTS:
241 case EXTERNAL_PIXEL_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000242 KeyedLoadStubCompiler::GenerateLoadExternalArray(masm, elements_kind_);
243 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000244 case DICTIONARY_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000245 KeyedLoadStubCompiler::GenerateLoadDictionaryElement(masm);
246 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000247 case NON_STRICT_ARGUMENTS_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000248 UNREACHABLE();
249 break;
250 }
Ben Murdoch257744e2011-11-30 15:57:28 +0000251}
252
253
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000254void KeyedStoreElementStub::Generate(MacroAssembler* masm) {
255 switch (elements_kind_) {
Ben Murdoch589d6972011-11-30 16:04:58 +0000256 case FAST_ELEMENTS:
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000257 case FAST_SMI_ONLY_ELEMENTS: {
258 KeyedStoreStubCompiler::GenerateStoreFastElement(masm,
259 is_js_array_,
260 elements_kind_);
261 }
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000262 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000263 case FAST_DOUBLE_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000264 KeyedStoreStubCompiler::GenerateStoreFastDoubleElement(masm,
265 is_js_array_);
266 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000267 case EXTERNAL_BYTE_ELEMENTS:
268 case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
269 case EXTERNAL_SHORT_ELEMENTS:
270 case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
271 case EXTERNAL_INT_ELEMENTS:
272 case EXTERNAL_UNSIGNED_INT_ELEMENTS:
273 case EXTERNAL_FLOAT_ELEMENTS:
274 case EXTERNAL_DOUBLE_ELEMENTS:
275 case EXTERNAL_PIXEL_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000276 KeyedStoreStubCompiler::GenerateStoreExternalArray(masm, elements_kind_);
277 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000278 case DICTIONARY_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000279 KeyedStoreStubCompiler::GenerateStoreDictionaryElement(masm);
280 break;
Ben Murdoch589d6972011-11-30 16:04:58 +0000281 case NON_STRICT_ARGUMENTS_ELEMENTS:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000282 UNREACHABLE();
283 break;
284 }
Ben Murdoch257744e2011-11-30 15:57:28 +0000285}
286
287
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000288void ArgumentsAccessStub::PrintName(StringStream* stream) {
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000289 stream->Add("ArgumentsAccessStub_");
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000290 switch (type_) {
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000291 case READ_ELEMENT: stream->Add("ReadElement"); break;
292 case NEW_NON_STRICT_FAST: stream->Add("NewNonStrictFast"); break;
293 case NEW_NON_STRICT_SLOW: stream->Add("NewNonStrictSlow"); break;
294 case NEW_STRICT: stream->Add("NewStrict"); break;
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000295 }
Ben Murdoch257744e2011-11-30 15:57:28 +0000296}
297
298
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000299void CallFunctionStub::PrintName(StringStream* stream) {
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000300 stream->Add("CallFunctionStub_Args%d", argc_);
301 if (ReceiverMightBeImplicit()) stream->Add("_Implicit");
302 if (RecordCallTarget()) stream->Add("_Recording");
Ben Murdoch257744e2011-11-30 15:57:28 +0000303}
304
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000305
306void ToBooleanStub::PrintName(StringStream* stream) {
307 stream->Add("ToBooleanStub_");
308 types_.Print(stream);
309}
310
311
312void ToBooleanStub::Types::Print(StringStream* stream) const {
313 if (IsEmpty()) stream->Add("None");
314 if (Contains(UNDEFINED)) stream->Add("Undefined");
315 if (Contains(BOOLEAN)) stream->Add("Bool");
316 if (Contains(NULL_TYPE)) stream->Add("Null");
317 if (Contains(SMI)) stream->Add("Smi");
318 if (Contains(SPEC_OBJECT)) stream->Add("SpecObject");
319 if (Contains(STRING)) stream->Add("String");
320 if (Contains(HEAP_NUMBER)) stream->Add("HeapNumber");
321}
322
323
324void ToBooleanStub::Types::TraceTransition(Types to) const {
325 if (!FLAG_trace_ic) return;
326 char buffer[100];
327 NoAllocationStringAllocator allocator(buffer,
328 static_cast<unsigned>(sizeof(buffer)));
329 StringStream stream(&allocator);
330 stream.Add("[ToBooleanIC (");
331 Print(&stream);
332 stream.Add("->");
333 to.Print(&stream);
334 stream.Add(")]\n");
335 stream.OutputToStdOut();
336}
337
338
339bool ToBooleanStub::Types::Record(Handle<Object> object) {
340 if (object->IsUndefined()) {
341 Add(UNDEFINED);
342 return false;
343 } else if (object->IsBoolean()) {
344 Add(BOOLEAN);
345 return object->IsTrue();
346 } else if (object->IsNull()) {
347 Add(NULL_TYPE);
348 return false;
349 } else if (object->IsSmi()) {
350 Add(SMI);
351 return Smi::cast(*object)->value() != 0;
352 } else if (object->IsSpecObject()) {
353 Add(SPEC_OBJECT);
354 return !object->IsUndetectableObject();
355 } else if (object->IsString()) {
356 Add(STRING);
357 return !object->IsUndetectableObject() &&
358 String::cast(*object)->length() != 0;
359 } else if (object->IsHeapNumber()) {
360 ASSERT(!object->IsUndetectableObject());
361 Add(HEAP_NUMBER);
362 double value = HeapNumber::cast(*object)->value();
363 return value != 0 && !isnan(value);
364 } else {
365 // We should never see an internal object at runtime here!
366 UNREACHABLE();
367 return true;
368 }
369}
370
371
372bool ToBooleanStub::Types::NeedsMap() const {
373 return Contains(ToBooleanStub::SPEC_OBJECT)
374 || Contains(ToBooleanStub::STRING)
375 || Contains(ToBooleanStub::HEAP_NUMBER);
376}
377
378
379bool ToBooleanStub::Types::CanBeUndetectable() const {
380 return Contains(ToBooleanStub::SPEC_OBJECT)
381 || Contains(ToBooleanStub::STRING);
382}
383
384
Ben Murdoch592a9fc2012-03-05 11:04:45 +0000385void ElementsTransitionAndStoreStub::Generate(MacroAssembler* masm) {
386 Label fail;
387 if (!FLAG_trace_elements_transitions) {
388 if (to_ == FAST_ELEMENTS) {
389 if (from_ == FAST_SMI_ONLY_ELEMENTS) {
390 ElementsTransitionGenerator::GenerateSmiOnlyToObject(masm);
391 } else if (from_ == FAST_DOUBLE_ELEMENTS) {
392 ElementsTransitionGenerator::GenerateDoubleToObject(masm, &fail);
393 } else {
394 UNREACHABLE();
395 }
396 KeyedStoreStubCompiler::GenerateStoreFastElement(masm,
397 is_jsarray_,
398 FAST_ELEMENTS);
399 } else if (from_ == FAST_SMI_ONLY_ELEMENTS && to_ == FAST_DOUBLE_ELEMENTS) {
400 ElementsTransitionGenerator::GenerateSmiOnlyToDouble(masm, &fail);
401 KeyedStoreStubCompiler::GenerateStoreFastDoubleElement(masm, is_jsarray_);
402 } else {
403 UNREACHABLE();
404 }
405 }
406 masm->bind(&fail);
407 KeyedStoreIC::GenerateRuntimeSetProperty(masm, strict_mode_);
408}
409
Steve Blocka7e24c12009-10-30 11:49:00 +0000410} } // namespace v8::internal