a8e12c5a02
This was an omission in https://code.google.com/p/v8/source/detail?r=14051. R=rossberg@chromium.org Review URL: https://codereview.chromium.org/22578002 git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@16101 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
809 lines
24 KiB
C++
809 lines
24 KiB
C++
// Copyright 2012 the V8 project authors. All rights reserved.
|
|
// Redistribution and use in source and binary forms, with or without
|
|
// modification, are permitted provided that the following conditions are
|
|
// met:
|
|
//
|
|
// * Redistributions of source code must retain the above copyright
|
|
// notice, this list of conditions and the following disclaimer.
|
|
// * Redistributions in binary form must reproduce the above
|
|
// copyright notice, this list of conditions and the following
|
|
// disclaimer in the documentation and/or other materials provided
|
|
// with the distribution.
|
|
// * Neither the name of Google Inc. nor the names of its
|
|
// contributors may be used to endorse or promote products derived
|
|
// from this software without specific prior written permission.
|
|
//
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
#include "v8.h"
|
|
|
|
#include "bootstrapper.h"
|
|
#include "code-stubs.h"
|
|
#include "cpu-profiler.h"
|
|
#include "stub-cache.h"
|
|
#include "factory.h"
|
|
#include "gdb-jit.h"
|
|
#include "macro-assembler.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
|
|
|
|
CodeStubInterfaceDescriptor::CodeStubInterfaceDescriptor()
|
|
: register_param_count_(-1),
|
|
stack_parameter_count_(NULL),
|
|
hint_stack_parameter_count_(-1),
|
|
function_mode_(NOT_JS_FUNCTION_STUB_MODE),
|
|
register_params_(NULL),
|
|
deoptimization_handler_(NULL),
|
|
miss_handler_(IC_Utility(IC::kUnreachable), Isolate::Current()),
|
|
has_miss_handler_(false) { }
|
|
|
|
|
|
bool CodeStub::FindCodeInCache(Code** code_out, Isolate* isolate) {
|
|
UnseededNumberDictionary* stubs = isolate->heap()->code_stubs();
|
|
int index = stubs->FindEntry(GetKey());
|
|
if (index != UnseededNumberDictionary::kNotFound) {
|
|
*code_out = Code::cast(stubs->ValueAt(index));
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
|
|
SmartArrayPointer<const char> CodeStub::GetName() {
|
|
char buffer[100];
|
|
NoAllocationStringAllocator allocator(buffer,
|
|
static_cast<unsigned>(sizeof(buffer)));
|
|
StringStream stream(&allocator);
|
|
PrintName(&stream);
|
|
return stream.ToCString();
|
|
}
|
|
|
|
|
|
void CodeStub::RecordCodeGeneration(Code* code, Isolate* isolate) {
|
|
SmartArrayPointer<const char> name = GetName();
|
|
PROFILE(isolate, CodeCreateEvent(Logger::STUB_TAG, code, *name));
|
|
GDBJIT(AddCode(GDBJITInterface::STUB, *name, code));
|
|
Counters* counters = isolate->counters();
|
|
counters->total_stubs_code_size()->Increment(code->instruction_size());
|
|
}
|
|
|
|
|
|
Code::Kind CodeStub::GetCodeKind() const {
|
|
return Code::STUB;
|
|
}
|
|
|
|
|
|
Handle<Code> CodeStub::GetCodeCopyFromTemplate(Isolate* isolate) {
|
|
Handle<Code> ic = GetCode(isolate);
|
|
ic = isolate->factory()->CopyCode(ic);
|
|
RecordCodeGeneration(*ic, isolate);
|
|
return ic;
|
|
}
|
|
|
|
|
|
Handle<Code> PlatformCodeStub::GenerateCode() {
|
|
Isolate* isolate = Isolate::Current();
|
|
Factory* factory = isolate->factory();
|
|
|
|
// Generate the new code.
|
|
MacroAssembler masm(isolate, NULL, 256);
|
|
|
|
{
|
|
// Update the static counter each time a new code stub is generated.
|
|
isolate->counters()->code_stubs()->Increment();
|
|
|
|
// Nested stubs are not allowed for leaves.
|
|
AllowStubCallsScope allow_scope(&masm, false);
|
|
|
|
// Generate the code for the stub.
|
|
masm.set_generating_stub(true);
|
|
NoCurrentFrameScope scope(&masm);
|
|
Generate(&masm);
|
|
}
|
|
|
|
// Create the code object.
|
|
CodeDesc desc;
|
|
masm.GetCode(&desc);
|
|
|
|
// Copy the generated code into a heap object.
|
|
Code::Flags flags = Code::ComputeFlags(
|
|
GetCodeKind(),
|
|
GetICState(),
|
|
GetExtraICState(),
|
|
GetStubType(),
|
|
GetStubFlags());
|
|
Handle<Code> new_object = factory->NewCode(
|
|
desc, flags, masm.CodeObject(), NeedsImmovableCode());
|
|
return new_object;
|
|
}
|
|
|
|
|
|
Handle<Code> CodeStub::GetCode(Isolate* isolate) {
|
|
Factory* factory = isolate->factory();
|
|
Heap* heap = isolate->heap();
|
|
Code* code;
|
|
if (UseSpecialCache()
|
|
? FindCodeInSpecialCache(&code, isolate)
|
|
: FindCodeInCache(&code, isolate)) {
|
|
ASSERT(IsPregenerated() == code->is_pregenerated());
|
|
return Handle<Code>(code);
|
|
}
|
|
|
|
{
|
|
HandleScope scope(isolate);
|
|
|
|
Handle<Code> new_object = GenerateCode();
|
|
new_object->set_major_key(MajorKey());
|
|
FinishCode(new_object);
|
|
RecordCodeGeneration(*new_object, isolate);
|
|
|
|
#ifdef ENABLE_DISASSEMBLER
|
|
if (FLAG_print_code_stubs) {
|
|
new_object->Disassemble(*GetName());
|
|
PrintF("\n");
|
|
}
|
|
#endif
|
|
|
|
if (UseSpecialCache()) {
|
|
AddToSpecialCache(new_object);
|
|
} else {
|
|
// Update the dictionary and the root in Heap.
|
|
Handle<UnseededNumberDictionary> dict =
|
|
factory->DictionaryAtNumberPut(
|
|
Handle<UnseededNumberDictionary>(heap->code_stubs()),
|
|
GetKey(),
|
|
new_object);
|
|
heap->public_set_code_stubs(*dict);
|
|
}
|
|
code = *new_object;
|
|
}
|
|
|
|
Activate(code);
|
|
ASSERT(!NeedsImmovableCode() ||
|
|
heap->lo_space()->Contains(code) ||
|
|
heap->code_space()->FirstPage()->Contains(code->address()));
|
|
return Handle<Code>(code, isolate);
|
|
}
|
|
|
|
|
|
const char* CodeStub::MajorName(CodeStub::Major major_key,
|
|
bool allow_unknown_keys) {
|
|
switch (major_key) {
|
|
#define DEF_CASE(name) case name: return #name "Stub";
|
|
CODE_STUB_LIST(DEF_CASE)
|
|
#undef DEF_CASE
|
|
default:
|
|
if (!allow_unknown_keys) {
|
|
UNREACHABLE();
|
|
}
|
|
return NULL;
|
|
}
|
|
}
|
|
|
|
|
|
void CodeStub::PrintBaseName(StringStream* stream) {
|
|
stream->Add("%s", MajorName(MajorKey(), false));
|
|
}
|
|
|
|
|
|
void CodeStub::PrintName(StringStream* stream) {
|
|
PrintBaseName(stream);
|
|
PrintState(stream);
|
|
}
|
|
|
|
|
|
void BinaryOpStub::Generate(MacroAssembler* masm) {
|
|
// Explicitly allow generation of nested stubs. It is safe here because
|
|
// generation code does not use any raw pointers.
|
|
AllowStubCallsScope allow_stub_calls(masm, true);
|
|
|
|
BinaryOpIC::TypeInfo operands_type = Max(left_type_, right_type_);
|
|
if (left_type_ == BinaryOpIC::ODDBALL && right_type_ == BinaryOpIC::ODDBALL) {
|
|
// The OddballStub handles a number and an oddball, not two oddballs.
|
|
operands_type = BinaryOpIC::GENERIC;
|
|
}
|
|
switch (operands_type) {
|
|
case BinaryOpIC::UNINITIALIZED:
|
|
GenerateTypeTransition(masm);
|
|
break;
|
|
case BinaryOpIC::SMI:
|
|
GenerateSmiStub(masm);
|
|
break;
|
|
case BinaryOpIC::INT32:
|
|
GenerateInt32Stub(masm);
|
|
break;
|
|
case BinaryOpIC::NUMBER:
|
|
GenerateNumberStub(masm);
|
|
break;
|
|
case BinaryOpIC::ODDBALL:
|
|
GenerateOddballStub(masm);
|
|
break;
|
|
case BinaryOpIC::STRING:
|
|
GenerateStringStub(masm);
|
|
break;
|
|
case BinaryOpIC::GENERIC:
|
|
GenerateGeneric(masm);
|
|
break;
|
|
default:
|
|
UNREACHABLE();
|
|
}
|
|
}
|
|
|
|
|
|
#define __ ACCESS_MASM(masm)
|
|
|
|
|
|
void BinaryOpStub::GenerateCallRuntime(MacroAssembler* masm) {
|
|
switch (op_) {
|
|
case Token::ADD:
|
|
__ InvokeBuiltin(Builtins::ADD, CALL_FUNCTION);
|
|
break;
|
|
case Token::SUB:
|
|
__ InvokeBuiltin(Builtins::SUB, CALL_FUNCTION);
|
|
break;
|
|
case Token::MUL:
|
|
__ InvokeBuiltin(Builtins::MUL, CALL_FUNCTION);
|
|
break;
|
|
case Token::DIV:
|
|
__ InvokeBuiltin(Builtins::DIV, CALL_FUNCTION);
|
|
break;
|
|
case Token::MOD:
|
|
__ InvokeBuiltin(Builtins::MOD, CALL_FUNCTION);
|
|
break;
|
|
case Token::BIT_OR:
|
|
__ InvokeBuiltin(Builtins::BIT_OR, CALL_FUNCTION);
|
|
break;
|
|
case Token::BIT_AND:
|
|
__ InvokeBuiltin(Builtins::BIT_AND, CALL_FUNCTION);
|
|
break;
|
|
case Token::BIT_XOR:
|
|
__ InvokeBuiltin(Builtins::BIT_XOR, CALL_FUNCTION);
|
|
break;
|
|
case Token::SAR:
|
|
__ InvokeBuiltin(Builtins::SAR, CALL_FUNCTION);
|
|
break;
|
|
case Token::SHR:
|
|
__ InvokeBuiltin(Builtins::SHR, CALL_FUNCTION);
|
|
break;
|
|
case Token::SHL:
|
|
__ InvokeBuiltin(Builtins::SHL, CALL_FUNCTION);
|
|
break;
|
|
default:
|
|
UNREACHABLE();
|
|
}
|
|
}
|
|
|
|
|
|
#undef __
|
|
|
|
|
|
void BinaryOpStub::PrintName(StringStream* stream) {
|
|
const char* op_name = Token::Name(op_);
|
|
const char* overwrite_name;
|
|
switch (mode_) {
|
|
case NO_OVERWRITE: overwrite_name = "Alloc"; break;
|
|
case OVERWRITE_RIGHT: overwrite_name = "OverwriteRight"; break;
|
|
case OVERWRITE_LEFT: overwrite_name = "OverwriteLeft"; break;
|
|
default: overwrite_name = "UnknownOverwrite"; break;
|
|
}
|
|
stream->Add("BinaryOpStub_%s_%s_%s+%s",
|
|
op_name,
|
|
overwrite_name,
|
|
BinaryOpIC::GetName(left_type_),
|
|
BinaryOpIC::GetName(right_type_));
|
|
}
|
|
|
|
|
|
void BinaryOpStub::GenerateStringStub(MacroAssembler* masm) {
|
|
ASSERT(left_type_ == BinaryOpIC::STRING || right_type_ == BinaryOpIC::STRING);
|
|
ASSERT(op_ == Token::ADD);
|
|
if (left_type_ == BinaryOpIC::STRING && right_type_ == BinaryOpIC::STRING) {
|
|
GenerateBothStringStub(masm);
|
|
return;
|
|
}
|
|
// Try to add arguments as strings, otherwise, transition to the generic
|
|
// BinaryOpIC type.
|
|
GenerateAddStrings(masm);
|
|
GenerateTypeTransition(masm);
|
|
}
|
|
|
|
|
|
InlineCacheState ICCompareStub::GetICState() {
|
|
CompareIC::State state = Max(left_, right_);
|
|
switch (state) {
|
|
case CompareIC::UNINITIALIZED:
|
|
return ::v8::internal::UNINITIALIZED;
|
|
case CompareIC::SMI:
|
|
case CompareIC::NUMBER:
|
|
case CompareIC::INTERNALIZED_STRING:
|
|
case CompareIC::STRING:
|
|
case CompareIC::UNIQUE_NAME:
|
|
case CompareIC::OBJECT:
|
|
case CompareIC::KNOWN_OBJECT:
|
|
return MONOMORPHIC;
|
|
case CompareIC::GENERIC:
|
|
return ::v8::internal::GENERIC;
|
|
}
|
|
UNREACHABLE();
|
|
return ::v8::internal::UNINITIALIZED;
|
|
}
|
|
|
|
|
|
void ICCompareStub::AddToSpecialCache(Handle<Code> new_object) {
|
|
ASSERT(*known_map_ != NULL);
|
|
Isolate* isolate = new_object->GetIsolate();
|
|
Factory* factory = isolate->factory();
|
|
return Map::UpdateCodeCache(known_map_,
|
|
strict() ?
|
|
factory->strict_compare_ic_string() :
|
|
factory->compare_ic_string(),
|
|
new_object);
|
|
}
|
|
|
|
|
|
bool ICCompareStub::FindCodeInSpecialCache(Code** code_out, Isolate* isolate) {
|
|
Factory* factory = isolate->factory();
|
|
Code::Flags flags = Code::ComputeFlags(
|
|
GetCodeKind(),
|
|
UNINITIALIZED);
|
|
ASSERT(op_ == Token::EQ || op_ == Token::EQ_STRICT);
|
|
Handle<Object> probe(
|
|
known_map_->FindInCodeCache(
|
|
strict() ?
|
|
*factory->strict_compare_ic_string() :
|
|
*factory->compare_ic_string(),
|
|
flags),
|
|
isolate);
|
|
if (probe->IsCode()) {
|
|
*code_out = Code::cast(*probe);
|
|
#ifdef DEBUG
|
|
Token::Value cached_op;
|
|
ICCompareStub::DecodeMinorKey((*code_out)->stub_info(), NULL, NULL, NULL,
|
|
&cached_op);
|
|
ASSERT(op_ == cached_op);
|
|
#endif
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
|
|
int ICCompareStub::MinorKey() {
|
|
return OpField::encode(op_ - Token::EQ) |
|
|
LeftStateField::encode(left_) |
|
|
RightStateField::encode(right_) |
|
|
HandlerStateField::encode(state_);
|
|
}
|
|
|
|
|
|
void ICCompareStub::DecodeMinorKey(int minor_key,
|
|
CompareIC::State* left_state,
|
|
CompareIC::State* right_state,
|
|
CompareIC::State* handler_state,
|
|
Token::Value* op) {
|
|
if (left_state) {
|
|
*left_state =
|
|
static_cast<CompareIC::State>(LeftStateField::decode(minor_key));
|
|
}
|
|
if (right_state) {
|
|
*right_state =
|
|
static_cast<CompareIC::State>(RightStateField::decode(minor_key));
|
|
}
|
|
if (handler_state) {
|
|
*handler_state =
|
|
static_cast<CompareIC::State>(HandlerStateField::decode(minor_key));
|
|
}
|
|
if (op) {
|
|
*op = static_cast<Token::Value>(OpField::decode(minor_key) + Token::EQ);
|
|
}
|
|
}
|
|
|
|
|
|
void ICCompareStub::Generate(MacroAssembler* masm) {
|
|
switch (state_) {
|
|
case CompareIC::UNINITIALIZED:
|
|
GenerateMiss(masm);
|
|
break;
|
|
case CompareIC::SMI:
|
|
GenerateSmis(masm);
|
|
break;
|
|
case CompareIC::NUMBER:
|
|
GenerateNumbers(masm);
|
|
break;
|
|
case CompareIC::STRING:
|
|
GenerateStrings(masm);
|
|
break;
|
|
case CompareIC::INTERNALIZED_STRING:
|
|
GenerateInternalizedStrings(masm);
|
|
break;
|
|
case CompareIC::UNIQUE_NAME:
|
|
GenerateUniqueNames(masm);
|
|
break;
|
|
case CompareIC::OBJECT:
|
|
GenerateObjects(masm);
|
|
break;
|
|
case CompareIC::KNOWN_OBJECT:
|
|
ASSERT(*known_map_ != NULL);
|
|
GenerateKnownObjects(masm);
|
|
break;
|
|
case CompareIC::GENERIC:
|
|
GenerateGeneric(masm);
|
|
break;
|
|
}
|
|
}
|
|
|
|
|
|
void CompareNilICStub::UpdateStatus(Handle<Object> object) {
|
|
ASSERT(!state_.Contains(GENERIC));
|
|
State old_state(state_);
|
|
if (object->IsNull()) {
|
|
state_.Add(NULL_TYPE);
|
|
} else if (object->IsUndefined()) {
|
|
state_.Add(UNDEFINED);
|
|
} else if (object->IsUndetectableObject() ||
|
|
object->IsOddball() ||
|
|
!object->IsHeapObject()) {
|
|
state_.RemoveAll();
|
|
state_.Add(GENERIC);
|
|
} else if (IsMonomorphic()) {
|
|
state_.RemoveAll();
|
|
state_.Add(GENERIC);
|
|
} else {
|
|
state_.Add(MONOMORPHIC_MAP);
|
|
}
|
|
TraceTransition(old_state, state_);
|
|
}
|
|
|
|
|
|
template<class StateType>
|
|
void HydrogenCodeStub::TraceTransition(StateType from, StateType to) {
|
|
// Note: Although a no-op transition is semantically OK, it is hinting at a
|
|
// bug somewhere in our state transition machinery.
|
|
ASSERT(from != to);
|
|
#ifdef DEBUG
|
|
if (!FLAG_trace_ic) return;
|
|
char buffer[100];
|
|
NoAllocationStringAllocator allocator(buffer,
|
|
static_cast<unsigned>(sizeof(buffer)));
|
|
StringStream stream(&allocator);
|
|
stream.Add("[");
|
|
PrintBaseName(&stream);
|
|
stream.Add(": ");
|
|
from.Print(&stream);
|
|
stream.Add("=>");
|
|
to.Print(&stream);
|
|
stream.Add("]\n");
|
|
stream.OutputToStdOut();
|
|
#endif
|
|
}
|
|
|
|
|
|
void CompareNilICStub::PrintBaseName(StringStream* stream) {
|
|
CodeStub::PrintBaseName(stream);
|
|
stream->Add((nil_value_ == kNullValue) ? "(NullValue)":
|
|
"(UndefinedValue)");
|
|
}
|
|
|
|
|
|
void CompareNilICStub::PrintState(StringStream* stream) {
|
|
state_.Print(stream);
|
|
}
|
|
|
|
|
|
void CompareNilICStub::State::Print(StringStream* stream) const {
|
|
stream->Add("(");
|
|
SimpleListPrinter printer(stream);
|
|
if (IsEmpty()) printer.Add("None");
|
|
if (Contains(UNDEFINED)) printer.Add("Undefined");
|
|
if (Contains(NULL_TYPE)) printer.Add("Null");
|
|
if (Contains(MONOMORPHIC_MAP)) printer.Add("MonomorphicMap");
|
|
if (Contains(GENERIC)) printer.Add("Generic");
|
|
stream->Add(")");
|
|
}
|
|
|
|
|
|
Handle<Type> CompareNilICStub::GetType(
|
|
Isolate* isolate,
|
|
Handle<Map> map) {
|
|
if (state_.Contains(CompareNilICStub::GENERIC)) {
|
|
return handle(Type::Any(), isolate);
|
|
}
|
|
|
|
Handle<Type> result(Type::None(), isolate);
|
|
if (state_.Contains(CompareNilICStub::UNDEFINED)) {
|
|
result = handle(Type::Union(result, handle(Type::Undefined(), isolate)),
|
|
isolate);
|
|
}
|
|
if (state_.Contains(CompareNilICStub::NULL_TYPE)) {
|
|
result = handle(Type::Union(result, handle(Type::Null(), isolate)),
|
|
isolate);
|
|
}
|
|
if (state_.Contains(CompareNilICStub::MONOMORPHIC_MAP)) {
|
|
Type* type = map.is_null() ? Type::Detectable() : Type::Class(map);
|
|
result = handle(Type::Union(result, handle(type, isolate)), isolate);
|
|
}
|
|
|
|
return result;
|
|
}
|
|
|
|
|
|
Handle<Type> CompareNilICStub::GetInputType(
|
|
Isolate* isolate,
|
|
Handle<Map> map) {
|
|
Handle<Type> output_type = GetType(isolate, map);
|
|
Handle<Type> nil_type = handle(nil_value_ == kNullValue
|
|
? Type::Null() : Type::Undefined(), isolate);
|
|
return handle(Type::Union(output_type, nil_type), isolate);
|
|
}
|
|
|
|
|
|
void InstanceofStub::PrintName(StringStream* stream) {
|
|
const char* args = "";
|
|
if (HasArgsInRegisters()) {
|
|
args = "_REGS";
|
|
}
|
|
|
|
const char* inline_check = "";
|
|
if (HasCallSiteInlineCheck()) {
|
|
inline_check = "_INLINE";
|
|
}
|
|
|
|
const char* return_true_false_object = "";
|
|
if (ReturnTrueFalseObject()) {
|
|
return_true_false_object = "_TRUEFALSE";
|
|
}
|
|
|
|
stream->Add("InstanceofStub%s%s%s",
|
|
args,
|
|
inline_check,
|
|
return_true_false_object);
|
|
}
|
|
|
|
|
|
void JSEntryStub::FinishCode(Handle<Code> code) {
|
|
Handle<FixedArray> handler_table =
|
|
code->GetIsolate()->factory()->NewFixedArray(1, TENURED);
|
|
handler_table->set(0, Smi::FromInt(handler_offset_));
|
|
code->set_handler_table(*handler_table);
|
|
}
|
|
|
|
|
|
void KeyedLoadDictionaryElementStub::Generate(MacroAssembler* masm) {
|
|
KeyedLoadStubCompiler::GenerateLoadDictionaryElement(masm);
|
|
}
|
|
|
|
|
|
void CreateAllocationSiteStub::GenerateAheadOfTime(Isolate* isolate) {
|
|
CreateAllocationSiteStub stub;
|
|
stub.GetCode(isolate)->set_is_pregenerated(true);
|
|
}
|
|
|
|
|
|
void KeyedStoreElementStub::Generate(MacroAssembler* masm) {
|
|
switch (elements_kind_) {
|
|
case FAST_ELEMENTS:
|
|
case FAST_HOLEY_ELEMENTS:
|
|
case FAST_SMI_ELEMENTS:
|
|
case FAST_HOLEY_SMI_ELEMENTS: {
|
|
KeyedStoreStubCompiler::GenerateStoreFastElement(masm,
|
|
is_js_array_,
|
|
elements_kind_,
|
|
store_mode_);
|
|
}
|
|
break;
|
|
case FAST_DOUBLE_ELEMENTS:
|
|
case FAST_HOLEY_DOUBLE_ELEMENTS:
|
|
KeyedStoreStubCompiler::GenerateStoreFastDoubleElement(masm,
|
|
is_js_array_,
|
|
store_mode_);
|
|
break;
|
|
case EXTERNAL_BYTE_ELEMENTS:
|
|
case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
|
|
case EXTERNAL_SHORT_ELEMENTS:
|
|
case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
|
|
case EXTERNAL_INT_ELEMENTS:
|
|
case EXTERNAL_UNSIGNED_INT_ELEMENTS:
|
|
case EXTERNAL_FLOAT_ELEMENTS:
|
|
case EXTERNAL_DOUBLE_ELEMENTS:
|
|
case EXTERNAL_PIXEL_ELEMENTS:
|
|
KeyedStoreStubCompiler::GenerateStoreExternalArray(masm, elements_kind_);
|
|
break;
|
|
case DICTIONARY_ELEMENTS:
|
|
KeyedStoreStubCompiler::GenerateStoreDictionaryElement(masm);
|
|
break;
|
|
case NON_STRICT_ARGUMENTS_ELEMENTS:
|
|
UNREACHABLE();
|
|
break;
|
|
}
|
|
}
|
|
|
|
|
|
void ArgumentsAccessStub::PrintName(StringStream* stream) {
|
|
stream->Add("ArgumentsAccessStub_");
|
|
switch (type_) {
|
|
case READ_ELEMENT: stream->Add("ReadElement"); break;
|
|
case NEW_NON_STRICT_FAST: stream->Add("NewNonStrictFast"); break;
|
|
case NEW_NON_STRICT_SLOW: stream->Add("NewNonStrictSlow"); break;
|
|
case NEW_STRICT: stream->Add("NewStrict"); break;
|
|
}
|
|
}
|
|
|
|
|
|
void CallFunctionStub::PrintName(StringStream* stream) {
|
|
stream->Add("CallFunctionStub_Args%d", argc_);
|
|
if (ReceiverMightBeImplicit()) stream->Add("_Implicit");
|
|
if (RecordCallTarget()) stream->Add("_Recording");
|
|
}
|
|
|
|
|
|
void CallConstructStub::PrintName(StringStream* stream) {
|
|
stream->Add("CallConstructStub");
|
|
if (RecordCallTarget()) stream->Add("_Recording");
|
|
}
|
|
|
|
|
|
bool ToBooleanStub::UpdateStatus(Handle<Object> object) {
|
|
Types old_types(types_);
|
|
bool to_boolean_value = types_.UpdateStatus(object);
|
|
TraceTransition(old_types, types_);
|
|
return to_boolean_value;
|
|
}
|
|
|
|
|
|
void ToBooleanStub::PrintState(StringStream* stream) {
|
|
types_.Print(stream);
|
|
}
|
|
|
|
|
|
void ToBooleanStub::Types::Print(StringStream* stream) const {
|
|
stream->Add("(");
|
|
SimpleListPrinter printer(stream);
|
|
if (IsEmpty()) printer.Add("None");
|
|
if (Contains(UNDEFINED)) printer.Add("Undefined");
|
|
if (Contains(BOOLEAN)) printer.Add("Bool");
|
|
if (Contains(NULL_TYPE)) printer.Add("Null");
|
|
if (Contains(SMI)) printer.Add("Smi");
|
|
if (Contains(SPEC_OBJECT)) printer.Add("SpecObject");
|
|
if (Contains(STRING)) printer.Add("String");
|
|
if (Contains(SYMBOL)) printer.Add("Symbol");
|
|
if (Contains(HEAP_NUMBER)) printer.Add("HeapNumber");
|
|
stream->Add(")");
|
|
}
|
|
|
|
|
|
bool ToBooleanStub::Types::UpdateStatus(Handle<Object> object) {
|
|
if (object->IsUndefined()) {
|
|
Add(UNDEFINED);
|
|
return false;
|
|
} else if (object->IsBoolean()) {
|
|
Add(BOOLEAN);
|
|
return object->IsTrue();
|
|
} else if (object->IsNull()) {
|
|
Add(NULL_TYPE);
|
|
return false;
|
|
} else if (object->IsSmi()) {
|
|
Add(SMI);
|
|
return Smi::cast(*object)->value() != 0;
|
|
} else if (object->IsSpecObject()) {
|
|
Add(SPEC_OBJECT);
|
|
return !object->IsUndetectableObject();
|
|
} else if (object->IsString()) {
|
|
Add(STRING);
|
|
return !object->IsUndetectableObject() &&
|
|
String::cast(*object)->length() != 0;
|
|
} else if (object->IsSymbol()) {
|
|
Add(SYMBOL);
|
|
return true;
|
|
} else if (object->IsHeapNumber()) {
|
|
ASSERT(!object->IsUndetectableObject());
|
|
Add(HEAP_NUMBER);
|
|
double value = HeapNumber::cast(*object)->value();
|
|
return value != 0 && !std::isnan(value);
|
|
} else {
|
|
// We should never see an internal object at runtime here!
|
|
UNREACHABLE();
|
|
return true;
|
|
}
|
|
}
|
|
|
|
|
|
bool ToBooleanStub::Types::NeedsMap() const {
|
|
return Contains(ToBooleanStub::SPEC_OBJECT)
|
|
|| Contains(ToBooleanStub::STRING)
|
|
|| Contains(ToBooleanStub::SYMBOL)
|
|
|| Contains(ToBooleanStub::HEAP_NUMBER);
|
|
}
|
|
|
|
|
|
bool ToBooleanStub::Types::CanBeUndetectable() const {
|
|
return Contains(ToBooleanStub::SPEC_OBJECT)
|
|
|| Contains(ToBooleanStub::STRING);
|
|
}
|
|
|
|
|
|
void StubFailureTrampolineStub::GenerateAheadOfTime(Isolate* isolate) {
|
|
StubFailureTrampolineStub stub1(NOT_JS_FUNCTION_STUB_MODE);
|
|
StubFailureTrampolineStub stub2(JS_FUNCTION_STUB_MODE);
|
|
stub1.GetCode(isolate)->set_is_pregenerated(true);
|
|
stub2.GetCode(isolate)->set_is_pregenerated(true);
|
|
}
|
|
|
|
|
|
void ProfileEntryHookStub::EntryHookTrampoline(intptr_t function,
|
|
intptr_t stack_pointer) {
|
|
FunctionEntryHook entry_hook = Isolate::Current()->function_entry_hook();
|
|
ASSERT(entry_hook != NULL);
|
|
entry_hook(function, stack_pointer);
|
|
}
|
|
|
|
|
|
static void InstallDescriptor(Isolate* isolate, HydrogenCodeStub* stub) {
|
|
int major_key = stub->MajorKey();
|
|
CodeStubInterfaceDescriptor* descriptor =
|
|
isolate->code_stub_interface_descriptor(major_key);
|
|
if (!descriptor->initialized()) {
|
|
stub->InitializeInterfaceDescriptor(isolate, descriptor);
|
|
}
|
|
}
|
|
|
|
|
|
void ArrayConstructorStubBase::InstallDescriptors(Isolate* isolate) {
|
|
ArrayNoArgumentConstructorStub stub1(GetInitialFastElementsKind());
|
|
InstallDescriptor(isolate, &stub1);
|
|
ArraySingleArgumentConstructorStub stub2(GetInitialFastElementsKind());
|
|
InstallDescriptor(isolate, &stub2);
|
|
ArrayNArgumentsConstructorStub stub3(GetInitialFastElementsKind());
|
|
InstallDescriptor(isolate, &stub3);
|
|
}
|
|
|
|
|
|
ArrayConstructorStub::ArrayConstructorStub(Isolate* isolate)
|
|
: argument_count_(ANY) {
|
|
ArrayConstructorStubBase::GenerateStubsAheadOfTime(isolate);
|
|
}
|
|
|
|
|
|
ArrayConstructorStub::ArrayConstructorStub(Isolate* isolate,
|
|
int argument_count) {
|
|
if (argument_count == 0) {
|
|
argument_count_ = NONE;
|
|
} else if (argument_count == 1) {
|
|
argument_count_ = ONE;
|
|
} else if (argument_count >= 2) {
|
|
argument_count_ = MORE_THAN_ONE;
|
|
} else {
|
|
UNREACHABLE();
|
|
}
|
|
ArrayConstructorStubBase::GenerateStubsAheadOfTime(isolate);
|
|
}
|
|
|
|
|
|
void InternalArrayConstructorStubBase::InstallDescriptors(Isolate* isolate) {
|
|
InternalArrayNoArgumentConstructorStub stub1(FAST_ELEMENTS);
|
|
InstallDescriptor(isolate, &stub1);
|
|
InternalArraySingleArgumentConstructorStub stub2(FAST_ELEMENTS);
|
|
InstallDescriptor(isolate, &stub2);
|
|
InternalArrayNArgumentsConstructorStub stub3(FAST_ELEMENTS);
|
|
InstallDescriptor(isolate, &stub3);
|
|
}
|
|
|
|
InternalArrayConstructorStub::InternalArrayConstructorStub(
|
|
Isolate* isolate) {
|
|
InternalArrayConstructorStubBase::GenerateStubsAheadOfTime(isolate);
|
|
}
|
|
|
|
|
|
} } // namespace v8::internal
|