2008-09-09 20:08:45 +00:00
|
|
|
// Copyright 2007-2008 the V8 project authors. All rights reserved.
|
2008-07-03 15:10:15 +00:00
|
|
|
// 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"
|
|
|
|
|
2008-10-10 00:00:52 +00:00
|
|
|
#include "bootstrapper.h"
|
2008-07-03 15:10:15 +00:00
|
|
|
#include "codegen-inl.h"
|
|
|
|
#include "debug.h"
|
2008-10-10 00:00:52 +00:00
|
|
|
#include "prettyprinter.h"
|
2009-03-20 12:58:14 +00:00
|
|
|
#include "register-allocator-inl.h"
|
2008-07-03 15:10:15 +00:00
|
|
|
#include "runtime.h"
|
2009-03-20 09:35:31 +00:00
|
|
|
#include "scopeinfo.h"
|
2008-07-03 15:10:15 +00:00
|
|
|
#include "stub-cache.h"
|
|
|
|
|
|
|
|
namespace v8 { namespace internal {
|
|
|
|
|
|
|
|
DeferredCode::DeferredCode(CodeGenerator* generator)
|
2009-02-27 13:00:32 +00:00
|
|
|
: generator_(generator),
|
|
|
|
masm_(generator->masm()),
|
|
|
|
enter_(generator),
|
|
|
|
exit_(generator, JumpTarget::BIDIRECTIONAL),
|
2008-12-17 08:45:42 +00:00
|
|
|
statement_position_(masm_->current_statement_position()),
|
|
|
|
position_(masm_->current_position()) {
|
2008-07-03 15:10:15 +00:00
|
|
|
generator->AddDeferred(this);
|
2008-12-17 08:45:42 +00:00
|
|
|
ASSERT(statement_position_ != RelocInfo::kNoPosition);
|
|
|
|
ASSERT(position_ != RelocInfo::kNoPosition);
|
2008-07-03 15:10:15 +00:00
|
|
|
#ifdef DEBUG
|
|
|
|
comment_ = "";
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-03-11 10:25:48 +00:00
|
|
|
void CodeGenerator::ClearDeferred() {
|
|
|
|
for (int i = 0; i < deferred_.length(); i++) {
|
|
|
|
deferred_[i]->Clear();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
void CodeGenerator::ProcessDeferred() {
|
|
|
|
while (!deferred_.is_empty()) {
|
|
|
|
DeferredCode* code = deferred_.RemoveLast();
|
|
|
|
MacroAssembler* masm = code->masm();
|
|
|
|
// Record position of deferred code stub.
|
2008-12-17 08:45:42 +00:00
|
|
|
masm->RecordStatementPosition(code->statement_position());
|
2008-09-22 13:57:03 +00:00
|
|
|
if (code->position() != RelocInfo::kNoPosition) {
|
2008-07-03 15:10:15 +00:00
|
|
|
masm->RecordPosition(code->position());
|
|
|
|
}
|
2009-02-27 13:00:32 +00:00
|
|
|
// Generate the code.
|
2008-07-03 15:10:15 +00:00
|
|
|
Comment cmnt(masm, code->comment());
|
|
|
|
code->Generate();
|
2009-02-27 13:00:32 +00:00
|
|
|
ASSERT(code->enter()->is_bound());
|
2009-03-11 10:25:48 +00:00
|
|
|
code->Clear();
|
2009-02-27 13:00:32 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void CodeGenerator::SetFrame(VirtualFrame* new_frame,
|
|
|
|
RegisterFile* non_frame_registers) {
|
|
|
|
RegisterFile saved_counts;
|
|
|
|
if (has_valid_frame()) {
|
|
|
|
frame_->DetachFromCodeGenerator();
|
|
|
|
// The remaining register reference counts are the non-frame ones.
|
|
|
|
allocator_->SaveTo(&saved_counts);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (new_frame != NULL) {
|
|
|
|
// Restore the non-frame register references that go with the new frame.
|
|
|
|
allocator_->RestoreFrom(non_frame_registers);
|
|
|
|
new_frame->AttachToCodeGenerator();
|
|
|
|
}
|
|
|
|
|
|
|
|
frame_ = new_frame;
|
|
|
|
saved_counts.CopyTo(non_frame_registers);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void CodeGenerator::DeleteFrame() {
|
|
|
|
if (has_valid_frame()) {
|
|
|
|
frame_->DetachFromCodeGenerator();
|
|
|
|
delete frame_;
|
|
|
|
frame_ = NULL;
|
2008-07-03 15:10:15 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-10-10 00:00:52 +00:00
|
|
|
// Generate the code. Takes a function literal, generates code for it, assemble
|
|
|
|
// all the pieces into a Code object. This function is only to be called by
|
|
|
|
// the compiler.cc code.
|
|
|
|
Handle<Code> CodeGenerator::MakeCode(FunctionLiteral* flit,
|
|
|
|
Handle<Script> script,
|
|
|
|
bool is_eval) {
|
|
|
|
#ifdef ENABLE_DISASSEMBLER
|
2008-12-04 08:26:08 +00:00
|
|
|
bool print_code = Bootstrapper::IsActive()
|
|
|
|
? FLAG_print_builtin_code
|
|
|
|
: FLAG_print_code;
|
2008-10-10 00:00:52 +00:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
|
|
|
bool print_source = false;
|
|
|
|
bool print_ast = false;
|
|
|
|
const char* ftype;
|
|
|
|
|
|
|
|
if (Bootstrapper::IsActive()) {
|
|
|
|
print_source = FLAG_print_builtin_source;
|
|
|
|
print_ast = FLAG_print_builtin_ast;
|
|
|
|
ftype = "builtin";
|
|
|
|
} else {
|
|
|
|
print_source = FLAG_print_source;
|
|
|
|
print_ast = FLAG_print_ast;
|
|
|
|
ftype = "user-defined";
|
|
|
|
}
|
|
|
|
|
|
|
|
if (FLAG_trace_codegen || print_source || print_ast) {
|
|
|
|
PrintF("*** Generate code for %s function: ", ftype);
|
|
|
|
flit->name()->ShortPrint();
|
|
|
|
PrintF(" ***\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
if (print_source) {
|
|
|
|
PrintF("--- Source from AST ---\n%s\n", PrettyPrinter().PrintProgram(flit));
|
|
|
|
}
|
|
|
|
|
|
|
|
if (print_ast) {
|
|
|
|
PrintF("--- AST ---\n%s\n", AstPrinter().PrintProgram(flit));
|
|
|
|
}
|
|
|
|
#endif // DEBUG
|
|
|
|
|
|
|
|
// Generate code.
|
|
|
|
const int initial_buffer_size = 4 * KB;
|
|
|
|
CodeGenerator cgen(initial_buffer_size, script, is_eval);
|
|
|
|
cgen.GenCode(flit);
|
|
|
|
if (cgen.HasStackOverflow()) {
|
|
|
|
ASSERT(!Top::has_pending_exception());
|
|
|
|
return Handle<Code>::null();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Allocate and install the code.
|
|
|
|
CodeDesc desc;
|
|
|
|
cgen.masm()->GetCode(&desc);
|
|
|
|
ScopeInfo<> sinfo(flit->scope());
|
|
|
|
Code::Flags flags = Code::ComputeFlags(Code::FUNCTION);
|
2009-02-25 16:52:15 +00:00
|
|
|
Handle<Code> code = Factory::NewCode(desc,
|
|
|
|
&sinfo,
|
|
|
|
flags,
|
|
|
|
cgen.masm()->CodeObject());
|
2008-10-10 00:00:52 +00:00
|
|
|
|
|
|
|
// Add unresolved entries in the code to the fixup list.
|
|
|
|
Bootstrapper::AddFixup(*code, cgen.masm());
|
|
|
|
|
|
|
|
#ifdef ENABLE_DISASSEMBLER
|
|
|
|
if (print_code) {
|
|
|
|
// Print the source code if available.
|
|
|
|
if (!script->IsUndefined() && !script->source()->IsUndefined()) {
|
|
|
|
PrintF("--- Raw source ---\n");
|
|
|
|
StringInputBuffer stream(String::cast(script->source()));
|
|
|
|
stream.Seek(flit->start_position());
|
|
|
|
// flit->end_position() points to the last character in the stream. We
|
|
|
|
// need to compensate by adding one to calculate the length.
|
|
|
|
int source_len = flit->end_position() - flit->start_position() + 1;
|
|
|
|
for (int i = 0; i < source_len; i++) {
|
|
|
|
if (stream.has_more()) PrintF("%c", stream.GetNext());
|
|
|
|
}
|
|
|
|
PrintF("\n\n");
|
|
|
|
}
|
|
|
|
PrintF("--- Code ---\n");
|
2009-03-04 06:14:34 +00:00
|
|
|
code->Disassemble(*flit->name()->ToCString());
|
2008-10-10 00:00:52 +00:00
|
|
|
}
|
|
|
|
#endif // ENABLE_DISASSEMBLER
|
|
|
|
|
|
|
|
if (!code.is_null()) {
|
|
|
|
Counters::total_compiled_code_size.Increment(code->instruction_size());
|
|
|
|
}
|
|
|
|
|
|
|
|
return code;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-01-07 14:24:08 +00:00
|
|
|
#ifdef ENABLE_LOGGING_AND_PROFILING
|
|
|
|
|
2009-01-06 13:24:52 +00:00
|
|
|
bool CodeGenerator::ShouldGenerateLog(Expression* type) {
|
|
|
|
ASSERT(type != NULL);
|
|
|
|
if (!Logger::is_enabled()) return false;
|
|
|
|
Handle<String> name = Handle<String>::cast(type->AsLiteral()->handle());
|
|
|
|
if (FLAG_log_regexp) {
|
|
|
|
static Vector<const char> kRegexp = CStrVector("regexp");
|
|
|
|
if (name->IsEqualTo(kRegexp))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2009-01-07 14:24:08 +00:00
|
|
|
#endif
|
|
|
|
|
2009-01-06 13:24:52 +00:00
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
// Sets the function info on a function.
|
|
|
|
// The start_position points to the first '(' character after the function name
|
|
|
|
// in the full script source. When counting characters in the script source the
|
|
|
|
// the first character is number 0 (not 1).
|
|
|
|
void CodeGenerator::SetFunctionInfo(Handle<JSFunction> fun,
|
|
|
|
int length,
|
|
|
|
int function_token_position,
|
|
|
|
int start_position,
|
|
|
|
int end_position,
|
|
|
|
bool is_expression,
|
|
|
|
bool is_toplevel,
|
|
|
|
Handle<Script> script) {
|
|
|
|
fun->shared()->set_length(length);
|
|
|
|
fun->shared()->set_formal_parameter_count(length);
|
|
|
|
fun->shared()->set_script(*script);
|
|
|
|
fun->shared()->set_function_token_position(function_token_position);
|
|
|
|
fun->shared()->set_start_position(start_position);
|
|
|
|
fun->shared()->set_end_position(end_position);
|
|
|
|
fun->shared()->set_is_expression(is_expression);
|
|
|
|
fun->shared()->set_is_toplevel(is_toplevel);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static Handle<Code> ComputeLazyCompile(int argc) {
|
|
|
|
CALL_HEAP_FUNCTION(StubCache::ComputeLazyCompile(argc), Code);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Handle<JSFunction> CodeGenerator::BuildBoilerplate(FunctionLiteral* node) {
|
2009-03-09 14:48:34 +00:00
|
|
|
#ifdef DEBUG
|
|
|
|
// We should not try to compile the same function literal more than
|
|
|
|
// once.
|
|
|
|
node->mark_as_compiled();
|
|
|
|
#endif
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
// Determine if the function can be lazily compiled. This is
|
|
|
|
// necessary to allow some of our builtin JS files to be lazily
|
|
|
|
// compiled. These builtins cannot be handled lazily by the parser,
|
|
|
|
// since we have to know if a function uses the special natives
|
|
|
|
// syntax, which is something the parser records.
|
|
|
|
bool allow_lazy = node->AllowsLazyCompilation();
|
|
|
|
|
|
|
|
// Generate code
|
|
|
|
Handle<Code> code;
|
|
|
|
if (FLAG_lazy && allow_lazy) {
|
|
|
|
code = ComputeLazyCompile(node->num_parameters());
|
|
|
|
} else {
|
|
|
|
code = MakeCode(node, script_, false);
|
|
|
|
|
2008-07-16 07:07:30 +00:00
|
|
|
// Check for stack-overflow exception.
|
|
|
|
if (code.is_null()) {
|
|
|
|
SetStackOverflow();
|
|
|
|
return Handle<JSFunction>::null();
|
|
|
|
}
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
// Function compilation complete.
|
|
|
|
LOG(CodeCreateEvent("Function", *code, *node->name()));
|
|
|
|
}
|
|
|
|
|
|
|
|
// Create a boilerplate function.
|
|
|
|
Handle<JSFunction> function =
|
|
|
|
Factory::NewFunctionBoilerplate(node->name(),
|
|
|
|
node->materialized_literal_count(),
|
2008-08-22 13:33:59 +00:00
|
|
|
node->contains_array_literal(),
|
2008-07-03 15:10:15 +00:00
|
|
|
code);
|
|
|
|
CodeGenerator::SetFunctionInfo(function, node->num_parameters(),
|
|
|
|
node->function_token_position(),
|
|
|
|
node->start_position(), node->end_position(),
|
|
|
|
node->is_expression(), false, script_);
|
|
|
|
|
|
|
|
// Notify debugger that a new function has been added.
|
|
|
|
Debugger::OnNewFunction(function);
|
|
|
|
|
|
|
|
// Set the expected number of properties for instances and return
|
|
|
|
// the resulting function.
|
|
|
|
SetExpectedNofPropertiesFromEstimate(function,
|
|
|
|
node->expected_property_count());
|
|
|
|
return function;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Handle<Code> CodeGenerator::ComputeCallInitialize(int argc) {
|
|
|
|
CALL_HEAP_FUNCTION(StubCache::ComputeCallInitialize(argc), Code);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-11-17 05:50:52 +00:00
|
|
|
Handle<Code> CodeGenerator::ComputeCallInitializeInLoop(int argc) {
|
|
|
|
// Force the creation of the corresponding stub outside loops,
|
|
|
|
// because it will be used when clearing the ICs later - when we
|
|
|
|
// don't know if we're inside a loop or not.
|
|
|
|
ComputeCallInitialize(argc);
|
|
|
|
CALL_HEAP_FUNCTION(StubCache::ComputeCallInitializeInLoop(argc), Code);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
void CodeGenerator::ProcessDeclarations(ZoneList<Declaration*>* declarations) {
|
|
|
|
int length = declarations->length();
|
|
|
|
int globals = 0;
|
|
|
|
for (int i = 0; i < length; i++) {
|
|
|
|
Declaration* node = declarations->at(i);
|
|
|
|
Variable* var = node->proxy()->var();
|
|
|
|
Slot* slot = var->slot();
|
|
|
|
|
|
|
|
// If it was not possible to allocate the variable at compile
|
|
|
|
// time, we need to "declare" it at runtime to make sure it
|
|
|
|
// actually exists in the local context.
|
|
|
|
if ((slot != NULL && slot->type() == Slot::LOOKUP) || !var->is_global()) {
|
|
|
|
VisitDeclaration(node);
|
|
|
|
} else {
|
|
|
|
// Count global variables and functions for later processing
|
|
|
|
globals++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return in case of no declared global functions or variables.
|
|
|
|
if (globals == 0) return;
|
|
|
|
|
|
|
|
// Compute array of global variable and function declarations.
|
|
|
|
Handle<FixedArray> array = Factory::NewFixedArray(2 * globals, TENURED);
|
|
|
|
for (int j = 0, i = 0; i < length; i++) {
|
|
|
|
Declaration* node = declarations->at(i);
|
|
|
|
Variable* var = node->proxy()->var();
|
|
|
|
Slot* slot = var->slot();
|
|
|
|
|
|
|
|
if ((slot != NULL && slot->type() == Slot::LOOKUP) || !var->is_global()) {
|
|
|
|
// Skip - already processed.
|
|
|
|
} else {
|
|
|
|
array->set(j++, *(var->name()));
|
|
|
|
if (node->fun() == NULL) {
|
|
|
|
if (var->mode() == Variable::CONST) {
|
|
|
|
// In case this is const property use the hole.
|
|
|
|
array->set_the_hole(j++);
|
|
|
|
} else {
|
|
|
|
array->set_undefined(j++);
|
|
|
|
}
|
|
|
|
} else {
|
2008-07-16 07:07:30 +00:00
|
|
|
Handle<JSFunction> function = BuildBoilerplate(node->fun());
|
|
|
|
// Check for stack-overflow exception.
|
|
|
|
if (HasStackOverflow()) return;
|
|
|
|
array->set(j++, *function);
|
2008-07-03 15:10:15 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Invoke the platform-dependent code generator to do the actual
|
|
|
|
// declaration the global variables and functions.
|
|
|
|
DeclareGlobals(array);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
struct InlineRuntimeLUT {
|
|
|
|
void (CodeGenerator::*method)(ZoneList<Expression*>*);
|
|
|
|
const char* name;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
bool CodeGenerator::CheckForInlineRuntimeCall(CallRuntime* node) {
|
|
|
|
ZoneList<Expression*>* args = node->arguments();
|
|
|
|
// Special cases: These 'runtime calls' manipulate the current
|
|
|
|
// frame and are only used 1 or two places, so we generate them
|
|
|
|
// inline instead of generating calls to them. They are used
|
|
|
|
// for implementing Function.prototype.call() and
|
|
|
|
// Function.prototype.apply().
|
|
|
|
static const InlineRuntimeLUT kInlineRuntimeLUT[] = {
|
|
|
|
{&v8::internal::CodeGenerator::GenerateIsSmi,
|
|
|
|
"_IsSmi"},
|
2008-09-03 07:34:21 +00:00
|
|
|
{&v8::internal::CodeGenerator::GenerateIsNonNegativeSmi,
|
|
|
|
"_IsNonNegativeSmi"},
|
2008-07-03 15:10:15 +00:00
|
|
|
{&v8::internal::CodeGenerator::GenerateIsArray,
|
|
|
|
"_IsArray"},
|
|
|
|
{&v8::internal::CodeGenerator::GenerateArgumentsLength,
|
|
|
|
"_ArgumentsLength"},
|
|
|
|
{&v8::internal::CodeGenerator::GenerateArgumentsAccess,
|
|
|
|
"_Arguments"},
|
|
|
|
{&v8::internal::CodeGenerator::GenerateValueOf,
|
|
|
|
"_ValueOf"},
|
|
|
|
{&v8::internal::CodeGenerator::GenerateSetValueOf,
|
2008-07-30 08:49:36 +00:00
|
|
|
"_SetValueOf"},
|
|
|
|
{&v8::internal::CodeGenerator::GenerateFastCharCodeAt,
|
2008-09-08 06:17:38 +00:00
|
|
|
"_FastCharCodeAt"},
|
|
|
|
{&v8::internal::CodeGenerator::GenerateObjectEquals,
|
2009-01-06 13:24:52 +00:00
|
|
|
"_ObjectEquals"},
|
|
|
|
{&v8::internal::CodeGenerator::GenerateLog,
|
|
|
|
"_Log"}
|
2008-07-03 15:10:15 +00:00
|
|
|
};
|
2008-11-03 10:16:05 +00:00
|
|
|
Handle<String> name = node->name();
|
2009-03-17 09:33:06 +00:00
|
|
|
if (name->length() > 0 && name->Get(0) == '_') {
|
2008-07-03 15:10:15 +00:00
|
|
|
for (unsigned i = 0;
|
|
|
|
i < sizeof(kInlineRuntimeLUT) / sizeof(InlineRuntimeLUT);
|
|
|
|
i++) {
|
|
|
|
const InlineRuntimeLUT* entry = kInlineRuntimeLUT + i;
|
2008-11-03 10:16:05 +00:00
|
|
|
if (name->IsEqualTo(CStrVector(entry->name))) {
|
2008-07-03 15:10:15 +00:00
|
|
|
((*this).*(entry->method))(args);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-10-17 09:54:34 +00:00
|
|
|
void CodeGenerator::GenerateFastCaseSwitchStatement(SwitchStatement* node,
|
|
|
|
int min_index,
|
|
|
|
int range,
|
|
|
|
int default_index) {
|
2008-10-03 12:04:59 +00:00
|
|
|
ZoneList<CaseClause*>* cases = node->cases();
|
|
|
|
int length = cases->length();
|
|
|
|
|
2009-02-27 13:00:32 +00:00
|
|
|
// Label pointer per number in range.
|
2008-10-03 12:04:59 +00:00
|
|
|
SmartPointer<Label*> case_targets(NewArray<Label*>(range));
|
|
|
|
|
2009-02-27 13:00:32 +00:00
|
|
|
// Label per switch case.
|
2008-10-03 12:04:59 +00:00
|
|
|
SmartPointer<Label> case_labels(NewArray<Label>(length));
|
|
|
|
|
2009-02-27 13:00:32 +00:00
|
|
|
Label* fail_label =
|
|
|
|
default_index >= 0 ? &(case_labels[default_index]) : NULL;
|
2008-10-03 12:04:59 +00:00
|
|
|
|
|
|
|
// Populate array of label pointers for each number in the range.
|
|
|
|
// Initally put the failure label everywhere.
|
|
|
|
for (int i = 0; i < range; i++) {
|
|
|
|
case_targets[i] = fail_label;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Overwrite with label of a case for the number value of that case.
|
|
|
|
// (In reverse order, so that if the same label occurs twice, the
|
|
|
|
// first one wins).
|
2009-02-27 13:00:32 +00:00
|
|
|
for (int i = length - 1; i >= 0 ; i--) {
|
2008-10-03 12:04:59 +00:00
|
|
|
CaseClause* clause = cases->at(i);
|
|
|
|
if (!clause->is_default()) {
|
|
|
|
Object* label_value = *(clause->label()->AsLiteral()->handle());
|
|
|
|
int case_value = Smi::cast(label_value)->value();
|
|
|
|
case_targets[case_value - min_index] = &(case_labels[i]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-10-23 07:28:21 +00:00
|
|
|
GenerateFastCaseSwitchJumpTable(node,
|
|
|
|
min_index,
|
|
|
|
range,
|
|
|
|
fail_label,
|
|
|
|
Vector<Label*>(*case_targets, range),
|
|
|
|
Vector<Label>(*case_labels, length));
|
2008-10-03 12:04:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-10-17 09:54:34 +00:00
|
|
|
void CodeGenerator::GenerateFastCaseSwitchCases(
|
|
|
|
SwitchStatement* node,
|
2009-02-27 13:00:32 +00:00
|
|
|
Vector<Label> case_labels,
|
|
|
|
VirtualFrame* start_frame) {
|
2008-10-03 12:04:59 +00:00
|
|
|
ZoneList<CaseClause*>* cases = node->cases();
|
|
|
|
int length = cases->length();
|
|
|
|
|
|
|
|
for (int i = 0; i < length; i++) {
|
2008-10-17 09:54:34 +00:00
|
|
|
Comment cmnt(masm(), "[ Case clause");
|
2009-02-27 13:00:32 +00:00
|
|
|
|
|
|
|
// We may not have a virtual frame if control flow did not fall
|
|
|
|
// off the end of the previous case. In that case, use the start
|
|
|
|
// frame. Otherwise, we have to merge the existing one to the
|
|
|
|
// start frame as part of the previous case.
|
|
|
|
if (!has_valid_frame()) {
|
|
|
|
RegisterFile non_frame_registers = RegisterAllocator::Reserved();
|
|
|
|
SetFrame(new VirtualFrame(start_frame), &non_frame_registers);
|
|
|
|
} else {
|
|
|
|
frame_->MergeTo(start_frame);
|
|
|
|
}
|
|
|
|
masm()->bind(&case_labels[i]);
|
2008-10-03 12:04:59 +00:00
|
|
|
VisitStatements(cases->at(i)->statements());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool CodeGenerator::TryGenerateFastCaseSwitchStatement(SwitchStatement* node) {
|
2009-02-27 13:00:32 +00:00
|
|
|
// TODO(238): Due to issue 238, fast case switches can crash on ARM
|
|
|
|
// and possibly IA32. They are disabled for now.
|
|
|
|
// See http://code.google.com/p/v8/issues/detail?id=238
|
|
|
|
return false;
|
|
|
|
|
2008-10-03 12:04:59 +00:00
|
|
|
ZoneList<CaseClause*>* cases = node->cases();
|
|
|
|
int length = cases->length();
|
|
|
|
|
|
|
|
if (length < FastCaseSwitchMinCaseCount()) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Test whether fast-case should be used.
|
|
|
|
int default_index = -1;
|
|
|
|
int min_index = Smi::kMaxValue;
|
|
|
|
int max_index = Smi::kMinValue;
|
|
|
|
for (int i = 0; i < length; i++) {
|
|
|
|
CaseClause* clause = cases->at(i);
|
|
|
|
if (clause->is_default()) {
|
|
|
|
if (default_index >= 0) {
|
2009-02-27 13:00:32 +00:00
|
|
|
// There is more than one default label. Defer to the normal case
|
|
|
|
// for error.
|
|
|
|
return false;
|
|
|
|
}
|
2008-10-03 12:04:59 +00:00
|
|
|
default_index = i;
|
|
|
|
} else {
|
|
|
|
Expression* label = clause->label();
|
|
|
|
Literal* literal = label->AsLiteral();
|
|
|
|
if (literal == NULL) {
|
|
|
|
return false; // fail fast case
|
|
|
|
}
|
|
|
|
Object* value = *(literal->handle());
|
|
|
|
if (!value->IsSmi()) {
|
|
|
|
return false;
|
|
|
|
}
|
2009-02-27 13:00:32 +00:00
|
|
|
int int_value = Smi::cast(value)->value();
|
|
|
|
min_index = Min(int_value, min_index);
|
|
|
|
max_index = Max(int_value, max_index);
|
2008-10-03 12:04:59 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// All labels are known to be Smis.
|
|
|
|
int range = max_index - min_index + 1; // |min..max| inclusive
|
|
|
|
if (range / FastCaseSwitchMaxOverheadFactor() > length) {
|
|
|
|
return false; // range of labels is too sparse
|
|
|
|
}
|
|
|
|
|
|
|
|
// Optimization accepted, generate code.
|
|
|
|
GenerateFastCaseSwitchStatement(node, min_index, range, default_index);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-02-27 13:00:32 +00:00
|
|
|
void CodeGenerator::CodeForFunctionPosition(FunctionLiteral* fun) {
|
|
|
|
if (FLAG_debug_info) {
|
|
|
|
int pos = fun->start_position();
|
|
|
|
if (pos != RelocInfo::kNoPosition) {
|
|
|
|
masm()->RecordStatementPosition(pos);
|
|
|
|
masm()->RecordPosition(pos);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void CodeGenerator::CodeForStatementPosition(Node* node) {
|
2008-12-17 08:45:42 +00:00
|
|
|
if (FLAG_debug_info) {
|
|
|
|
int pos = node->statement_pos();
|
|
|
|
if (pos != RelocInfo::kNoPosition) {
|
|
|
|
masm()->RecordStatementPosition(pos);
|
|
|
|
CodeForSourcePosition(pos);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void CodeGenerator::CodeForSourcePosition(int pos) {
|
|
|
|
if (FLAG_debug_info) {
|
|
|
|
if (pos != RelocInfo::kNoPosition) {
|
|
|
|
masm()->RecordPosition(pos);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
const char* RuntimeStub::GetName() {
|
|
|
|
return Runtime::FunctionForId(id_)->stub_name;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void RuntimeStub::Generate(MacroAssembler* masm) {
|
2008-08-13 09:32:07 +00:00
|
|
|
masm->TailCallRuntime(ExternalReference(id_), num_arguments_);
|
2008-07-03 15:10:15 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-10-06 11:04:03 +00:00
|
|
|
void ArgumentsAccessStub::Generate(MacroAssembler* masm) {
|
|
|
|
switch (type_) {
|
|
|
|
case READ_LENGTH: GenerateReadLength(masm); break;
|
|
|
|
case READ_ELEMENT: GenerateReadElement(masm); break;
|
|
|
|
case NEW_OBJECT: GenerateNewObject(masm); break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
} } // namespace v8::internal
|