|
|
@ -29,12 +29,445 @@ |
|
|
|
|
|
|
|
|
#include "codegen-inl.h" |
|
|
#include "codegen-inl.h" |
|
|
#include "fast-codegen.h" |
|
|
#include "fast-codegen.h" |
|
|
|
|
|
#include "data-flow.h" |
|
|
|
|
|
#include "scopes.h" |
|
|
|
|
|
|
|
|
namespace v8 { |
|
|
namespace v8 { |
|
|
namespace internal { |
|
|
namespace internal { |
|
|
|
|
|
|
|
|
|
|
|
#define BAILOUT(reason) \ |
|
|
|
|
|
do { \ |
|
|
|
|
|
if (FLAG_trace_bailout) { \ |
|
|
|
|
|
PrintF("%s\n", reason); \ |
|
|
|
|
|
} \ |
|
|
|
|
|
has_supported_syntax_ = false; \ |
|
|
|
|
|
return; \ |
|
|
|
|
|
} while (false) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#define CHECK_BAILOUT \ |
|
|
|
|
|
do { \ |
|
|
|
|
|
if (!has_supported_syntax_) return; \ |
|
|
|
|
|
} while (false) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::Check(CompilationInfo* info) { |
|
|
|
|
|
info_ = info; |
|
|
|
|
|
|
|
|
|
|
|
// We do not specialize if we do not have a receiver or if it is not a
|
|
|
|
|
|
// JS object with fast mode properties.
|
|
|
|
|
|
if (!info->has_receiver()) BAILOUT("No receiver"); |
|
|
|
|
|
if (!info->receiver()->IsJSObject()) BAILOUT("Receiver is not an object"); |
|
|
|
|
|
Handle<JSObject> object = Handle<JSObject>::cast(info->receiver()); |
|
|
|
|
|
if (!object->HasFastProperties()) BAILOUT("Receiver is in dictionary mode"); |
|
|
|
|
|
|
|
|
|
|
|
// We do not support stack or heap slots (both of which require
|
|
|
|
|
|
// allocation).
|
|
|
|
|
|
Scope* scope = info->scope(); |
|
|
|
|
|
if (scope->num_stack_slots() > 0) { |
|
|
|
|
|
BAILOUT("Function has stack-allocated locals"); |
|
|
|
|
|
} |
|
|
|
|
|
if (scope->num_heap_slots() > 0) { |
|
|
|
|
|
BAILOUT("Function has context-allocated locals"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
VisitDeclarations(scope->declarations()); |
|
|
|
|
|
CHECK_BAILOUT; |
|
|
|
|
|
|
|
|
|
|
|
// We do not support empty function bodies.
|
|
|
|
|
|
if (info->function()->body()->is_empty()) { |
|
|
|
|
|
BAILOUT("Function has an empty body"); |
|
|
|
|
|
} |
|
|
|
|
|
VisitStatements(info->function()->body()); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitDeclarations( |
|
|
|
|
|
ZoneList<Declaration*>* decls) { |
|
|
|
|
|
if (!decls->is_empty()) BAILOUT("Function has declarations"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitStatements(ZoneList<Statement*>* stmts) { |
|
|
|
|
|
if (stmts->length() != 1) { |
|
|
|
|
|
BAILOUT("Function body is not a singleton statement."); |
|
|
|
|
|
} |
|
|
|
|
|
Visit(stmts->at(0)); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitDeclaration(Declaration* decl) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitBlock(Block* stmt) { |
|
|
|
|
|
VisitStatements(stmt->statements()); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitExpressionStatement( |
|
|
|
|
|
ExpressionStatement* stmt) { |
|
|
|
|
|
Visit(stmt->expression()); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitEmptyStatement(EmptyStatement* stmt) { |
|
|
|
|
|
// Supported.
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitIfStatement(IfStatement* stmt) { |
|
|
|
|
|
BAILOUT("IfStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitContinueStatement(ContinueStatement* stmt) { |
|
|
|
|
|
BAILOUT("Continuestatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitBreakStatement(BreakStatement* stmt) { |
|
|
|
|
|
BAILOUT("BreakStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitReturnStatement(ReturnStatement* stmt) { |
|
|
|
|
|
BAILOUT("ReturnStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitWithEnterStatement( |
|
|
|
|
|
WithEnterStatement* stmt) { |
|
|
|
|
|
BAILOUT("WithEnterStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitWithExitStatement(WithExitStatement* stmt) { |
|
|
|
|
|
BAILOUT("WithExitStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitSwitchStatement(SwitchStatement* stmt) { |
|
|
|
|
|
BAILOUT("SwitchStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitDoWhileStatement(DoWhileStatement* stmt) { |
|
|
|
|
|
BAILOUT("DoWhileStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitWhileStatement(WhileStatement* stmt) { |
|
|
|
|
|
BAILOUT("WhileStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitForStatement(ForStatement* stmt) { |
|
|
|
|
|
BAILOUT("ForStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitForInStatement(ForInStatement* stmt) { |
|
|
|
|
|
BAILOUT("ForInStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitTryCatchStatement(TryCatchStatement* stmt) { |
|
|
|
|
|
BAILOUT("TryCatchStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitTryFinallyStatement( |
|
|
|
|
|
TryFinallyStatement* stmt) { |
|
|
|
|
|
BAILOUT("TryFinallyStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitDebuggerStatement( |
|
|
|
|
|
DebuggerStatement* stmt) { |
|
|
|
|
|
BAILOUT("DebuggerStatement"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitFunctionLiteral(FunctionLiteral* expr) { |
|
|
|
|
|
BAILOUT("FunctionLiteral"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitFunctionBoilerplateLiteral( |
|
|
|
|
|
FunctionBoilerplateLiteral* expr) { |
|
|
|
|
|
BAILOUT("FunctionBoilerplateLiteral"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitConditional(Conditional* expr) { |
|
|
|
|
|
BAILOUT("Conditional"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitSlot(Slot* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitVariableProxy(VariableProxy* expr) { |
|
|
|
|
|
// Only global variable references are supported.
|
|
|
|
|
|
Variable* var = expr->var(); |
|
|
|
|
|
if (!var->is_global() || var->is_this()) BAILOUT("Non-global variable"); |
|
|
|
|
|
|
|
|
|
|
|
// Check if the global variable is existing and non-deletable.
|
|
|
|
|
|
if (info()->has_global_object()) { |
|
|
|
|
|
LookupResult lookup; |
|
|
|
|
|
info()->global_object()->Lookup(*expr->name(), &lookup); |
|
|
|
|
|
if (!lookup.IsProperty()) { |
|
|
|
|
|
BAILOUT("Non-existing global variable"); |
|
|
|
|
|
} |
|
|
|
|
|
// We do not handle global variables with accessors or interceptors.
|
|
|
|
|
|
if (lookup.type() != NORMAL) { |
|
|
|
|
|
BAILOUT("Global variable with accessors or interceptors."); |
|
|
|
|
|
} |
|
|
|
|
|
// We do not handle deletable global variables.
|
|
|
|
|
|
if (!lookup.IsDontDelete()) { |
|
|
|
|
|
BAILOUT("Deletable global variable"); |
|
|
|
|
|
} |
|
|
|
|
|
} |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitLiteral(Literal* expr) { |
|
|
|
|
|
BAILOUT("Literal"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitRegExpLiteral(RegExpLiteral* expr) { |
|
|
|
|
|
BAILOUT("RegExpLiteral"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitObjectLiteral(ObjectLiteral* expr) { |
|
|
|
|
|
BAILOUT("ObjectLiteral"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitArrayLiteral(ArrayLiteral* expr) { |
|
|
|
|
|
BAILOUT("ArrayLiteral"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitCatchExtensionObject( |
|
|
|
|
|
CatchExtensionObject* expr) { |
|
|
|
|
|
BAILOUT("CatchExtensionObject"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitAssignment(Assignment* expr) { |
|
|
|
|
|
// Simple assignments to (named) this properties are supported.
|
|
|
|
|
|
if (expr->op() != Token::ASSIGN) BAILOUT("Non-simple assignment"); |
|
|
|
|
|
|
|
|
|
|
|
Property* prop = expr->target()->AsProperty(); |
|
|
|
|
|
if (prop == NULL) BAILOUT("Non-property assignment"); |
|
|
|
|
|
VariableProxy* proxy = prop->obj()->AsVariableProxy(); |
|
|
|
|
|
if (proxy == NULL || !proxy->var()->is_this()) { |
|
|
|
|
|
BAILOUT("Non-this-property assignment"); |
|
|
|
|
|
} |
|
|
|
|
|
if (!prop->key()->IsPropertyName()) { |
|
|
|
|
|
BAILOUT("Non-named-property assignment"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
// We will only specialize for fields on the object itself.
|
|
|
|
|
|
// Expression::IsPropertyName implies that the name is a literal
|
|
|
|
|
|
// symbol but we do not assume that.
|
|
|
|
|
|
Literal* key = prop->key()->AsLiteral(); |
|
|
|
|
|
if (key != NULL && key->handle()->IsString()) { |
|
|
|
|
|
Handle<Object> receiver = info()->receiver(); |
|
|
|
|
|
Handle<String> name = Handle<String>::cast(key->handle()); |
|
|
|
|
|
LookupResult lookup; |
|
|
|
|
|
receiver->Lookup(*name, &lookup); |
|
|
|
|
|
if (!lookup.IsProperty()) { |
|
|
|
|
|
BAILOUT("Assigned property not found at compile time"); |
|
|
|
|
|
} |
|
|
|
|
|
if (lookup.holder() != *receiver) BAILOUT("Non-own property assignment"); |
|
|
|
|
|
if (!lookup.type() == FIELD) BAILOUT("Non-field property assignment"); |
|
|
|
|
|
} else { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
BAILOUT("Unexpected non-string-literal property key"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
Visit(expr->value()); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitThrow(Throw* expr) { |
|
|
|
|
|
BAILOUT("Throw"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitProperty(Property* expr) { |
|
|
|
|
|
// We support named this property references.
|
|
|
|
|
|
VariableProxy* proxy = expr->obj()->AsVariableProxy(); |
|
|
|
|
|
if (proxy == NULL || !proxy->var()->is_this()) { |
|
|
|
|
|
BAILOUT("Non-this-property reference"); |
|
|
|
|
|
} |
|
|
|
|
|
if (!expr->key()->IsPropertyName()) { |
|
|
|
|
|
BAILOUT("Non-named-property reference"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
// We will only specialize for fields on the object itself.
|
|
|
|
|
|
// Expression::IsPropertyName implies that the name is a literal
|
|
|
|
|
|
// symbol but we do not assume that.
|
|
|
|
|
|
Literal* key = expr->key()->AsLiteral(); |
|
|
|
|
|
if (key != NULL && key->handle()->IsString()) { |
|
|
|
|
|
Handle<Object> receiver = info()->receiver(); |
|
|
|
|
|
Handle<String> name = Handle<String>::cast(key->handle()); |
|
|
|
|
|
LookupResult lookup; |
|
|
|
|
|
receiver->Lookup(*name, &lookup); |
|
|
|
|
|
if (!lookup.IsProperty()) { |
|
|
|
|
|
BAILOUT("Referenced property not found at compile time"); |
|
|
|
|
|
} |
|
|
|
|
|
if (lookup.holder() != *receiver) BAILOUT("Non-own property reference"); |
|
|
|
|
|
if (!lookup.type() == FIELD) BAILOUT("Non-field property reference"); |
|
|
|
|
|
} else { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
BAILOUT("Unexpected non-string-literal property key"); |
|
|
|
|
|
} |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitCall(Call* expr) { |
|
|
|
|
|
BAILOUT("Call"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitCallNew(CallNew* expr) { |
|
|
|
|
|
BAILOUT("CallNew"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitCallRuntime(CallRuntime* expr) { |
|
|
|
|
|
BAILOUT("CallRuntime"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitUnaryOperation(UnaryOperation* expr) { |
|
|
|
|
|
BAILOUT("UnaryOperation"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitCountOperation(CountOperation* expr) { |
|
|
|
|
|
BAILOUT("CountOperation"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitBinaryOperation(BinaryOperation* expr) { |
|
|
|
|
|
// We support bitwise OR.
|
|
|
|
|
|
switch (expr->op()) { |
|
|
|
|
|
case Token::COMMA: |
|
|
|
|
|
BAILOUT("BinaryOperation COMMA"); |
|
|
|
|
|
case Token::OR: |
|
|
|
|
|
BAILOUT("BinaryOperation OR"); |
|
|
|
|
|
case Token::AND: |
|
|
|
|
|
BAILOUT("BinaryOperation AND"); |
|
|
|
|
|
|
|
|
|
|
|
case Token::BIT_OR: |
|
|
|
|
|
// We support expressions nested on the left because they only require
|
|
|
|
|
|
// a pair of registers to keep all intermediate values in registers
|
|
|
|
|
|
// (i.e., the expression stack has height no more than two).
|
|
|
|
|
|
if (!expr->right()->IsLeaf()) BAILOUT("expression nested on right"); |
|
|
|
|
|
|
|
|
|
|
|
// We do not allow subexpressions with side effects because we
|
|
|
|
|
|
// (currently) bail out to the beginning of the full function. The
|
|
|
|
|
|
// only expressions with side effects that we would otherwise handle
|
|
|
|
|
|
// are assignments.
|
|
|
|
|
|
if (expr->left()->AsAssignment() != NULL || |
|
|
|
|
|
expr->right()->AsAssignment() != NULL) { |
|
|
|
|
|
BAILOUT("subexpression of binary operation has side effects"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
Visit(expr->left()); |
|
|
|
|
|
CHECK_BAILOUT; |
|
|
|
|
|
Visit(expr->right()); |
|
|
|
|
|
break; |
|
|
|
|
|
|
|
|
|
|
|
case Token::BIT_XOR: |
|
|
|
|
|
BAILOUT("BinaryOperation BIT_XOR"); |
|
|
|
|
|
case Token::BIT_AND: |
|
|
|
|
|
BAILOUT("BinaryOperation BIT_AND"); |
|
|
|
|
|
case Token::SHL: |
|
|
|
|
|
BAILOUT("BinaryOperation SHL"); |
|
|
|
|
|
case Token::SAR: |
|
|
|
|
|
BAILOUT("BinaryOperation SAR"); |
|
|
|
|
|
case Token::SHR: |
|
|
|
|
|
BAILOUT("BinaryOperation SHR"); |
|
|
|
|
|
case Token::ADD: |
|
|
|
|
|
BAILOUT("BinaryOperation ADD"); |
|
|
|
|
|
case Token::SUB: |
|
|
|
|
|
BAILOUT("BinaryOperation SUB"); |
|
|
|
|
|
case Token::MUL: |
|
|
|
|
|
BAILOUT("BinaryOperation MUL"); |
|
|
|
|
|
case Token::DIV: |
|
|
|
|
|
BAILOUT("BinaryOperation DIV"); |
|
|
|
|
|
case Token::MOD: |
|
|
|
|
|
BAILOUT("BinaryOperation MOD"); |
|
|
|
|
|
default: |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitCompareOperation(CompareOperation* expr) { |
|
|
|
|
|
BAILOUT("CompareOperation"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenSyntaxChecker::VisitThisFunction(ThisFunction* expr) { |
|
|
|
|
|
BAILOUT("ThisFunction"); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
#undef BAILOUT |
|
|
|
|
|
#undef CHECK_BAILOUT |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#define __ ACCESS_MASM(masm()) |
|
|
#define __ ACCESS_MASM(masm()) |
|
|
|
|
|
|
|
|
|
|
|
Handle<Code> FastCodeGenerator::MakeCode(CompilationInfo* info) { |
|
|
|
|
|
// Label the AST before calling MakeCodePrologue, so AST node numbers are
|
|
|
|
|
|
// printed with the AST.
|
|
|
|
|
|
AstLabeler labeler; |
|
|
|
|
|
labeler.Label(info); |
|
|
|
|
|
|
|
|
|
|
|
LivenessAnalyzer analyzer; |
|
|
|
|
|
analyzer.Analyze(info->function()); |
|
|
|
|
|
|
|
|
|
|
|
CodeGenerator::MakeCodePrologue(info); |
|
|
|
|
|
|
|
|
|
|
|
const int kInitialBufferSize = 4 * KB; |
|
|
|
|
|
MacroAssembler masm(NULL, kInitialBufferSize); |
|
|
|
|
|
|
|
|
|
|
|
// Generate the fast-path code.
|
|
|
|
|
|
FastCodeGenerator fast_cgen(&masm); |
|
|
|
|
|
fast_cgen.Generate(info); |
|
|
|
|
|
if (fast_cgen.HasStackOverflow()) { |
|
|
|
|
|
ASSERT(!Top::has_pending_exception()); |
|
|
|
|
|
return Handle<Code>::null(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
// Generate the full code for the function in bailout mode, using the same
|
|
|
|
|
|
// macro assembler.
|
|
|
|
|
|
CodeGenerator cgen(&masm); |
|
|
|
|
|
CodeGeneratorScope scope(&cgen); |
|
|
|
|
|
info->set_mode(CompilationInfo::SECONDARY); |
|
|
|
|
|
cgen.Generate(info); |
|
|
|
|
|
if (cgen.HasStackOverflow()) { |
|
|
|
|
|
ASSERT(!Top::has_pending_exception()); |
|
|
|
|
|
return Handle<Code>::null(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
Code::Flags flags = Code::ComputeFlags(Code::FUNCTION, NOT_IN_LOOP); |
|
|
|
|
|
return CodeGenerator::MakeCodeEpilogue(&masm, flags, info); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Register FastCodeGenerator::accumulator0() { return eax; } |
|
|
Register FastCodeGenerator::accumulator0() { return eax; } |
|
|
Register FastCodeGenerator::accumulator1() { return edx; } |
|
|
Register FastCodeGenerator::accumulator1() { return edx; } |
|
|
Register FastCodeGenerator::scratch0() { return ecx; } |
|
|
Register FastCodeGenerator::scratch0() { return ecx; } |
|
|
@ -155,20 +588,27 @@ void FastCodeGenerator::EmitBitOr() { |
|
|
// commutative.
|
|
|
// commutative.
|
|
|
__ or_(destination(), Operand(other_accumulator(destination()))); |
|
|
__ or_(destination(), Operand(other_accumulator(destination()))); |
|
|
} |
|
|
} |
|
|
} else if (destination().is(no_reg)) { |
|
|
|
|
|
// Result is not needed but do not clobber the operands in case of
|
|
|
|
|
|
// bailout.
|
|
|
|
|
|
__ mov(scratch0(), accumulator1()); |
|
|
|
|
|
__ or_(scratch0(), Operand(accumulator0())); |
|
|
|
|
|
__ test(scratch0(), Immediate(kSmiTagMask)); |
|
|
|
|
|
__ j(not_zero, bailout(), not_taken); |
|
|
|
|
|
} else { |
|
|
} else { |
|
|
// Preserve the destination operand in a scratch register in case of
|
|
|
// Left is in accumulator1, right in accumulator0.
|
|
|
// bailout.
|
|
|
Label* bailout = NULL; |
|
|
__ mov(scratch0(), destination()); |
|
|
if (destination().is(accumulator0())) { |
|
|
__ or_(destination(), Operand(other_accumulator(destination()))); |
|
|
__ mov(scratch0(), accumulator0()); |
|
|
__ test(destination(), Immediate(kSmiTagMask)); |
|
|
__ or_(destination(), Operand(accumulator1())); // Or is commutative.
|
|
|
__ j(not_zero, bailout(), not_taken); |
|
|
__ test(destination(), Immediate(kSmiTagMask)); |
|
|
|
|
|
bailout = info()->AddBailout(accumulator1(), scratch0()); // Left, right.
|
|
|
|
|
|
} else if (destination().is(accumulator1())) { |
|
|
|
|
|
__ mov(scratch0(), accumulator1()); |
|
|
|
|
|
__ or_(destination(), Operand(accumulator0())); |
|
|
|
|
|
__ test(destination(), Immediate(kSmiTagMask)); |
|
|
|
|
|
bailout = info()->AddBailout(scratch0(), accumulator0()); |
|
|
|
|
|
} else { |
|
|
|
|
|
ASSERT(destination().is(no_reg)); |
|
|
|
|
|
__ mov(scratch0(), accumulator1()); |
|
|
|
|
|
__ or_(scratch0(), Operand(accumulator0())); |
|
|
|
|
|
__ test(scratch0(), Immediate(kSmiTagMask)); |
|
|
|
|
|
bailout = info()->AddBailout(accumulator1(), accumulator0()); |
|
|
|
|
|
} |
|
|
|
|
|
__ j(not_zero, bailout, not_taken); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
// If we didn't bailout, the result (in fact, both inputs too) is known to
|
|
|
// If we didn't bailout, the result (in fact, both inputs too) is known to
|
|
|
@ -191,6 +631,7 @@ void FastCodeGenerator::Generate(CompilationInfo* compilation_info) { |
|
|
// Note that we keep a live register reference to esi (context) at this
|
|
|
// Note that we keep a live register reference to esi (context) at this
|
|
|
// point.
|
|
|
// point.
|
|
|
|
|
|
|
|
|
|
|
|
Label* bailout_to_beginning = info()->AddBailout(); |
|
|
// Receiver (this) is allocated to a fixed register.
|
|
|
// Receiver (this) is allocated to a fixed register.
|
|
|
if (info()->has_this_properties()) { |
|
|
if (info()->has_this_properties()) { |
|
|
Comment cmnt(masm(), ";; MapCheck(this)"); |
|
|
Comment cmnt(masm(), ";; MapCheck(this)"); |
|
|
@ -201,7 +642,7 @@ void FastCodeGenerator::Generate(CompilationInfo* compilation_info) { |
|
|
Handle<HeapObject> object = Handle<HeapObject>::cast(info()->receiver()); |
|
|
Handle<HeapObject> object = Handle<HeapObject>::cast(info()->receiver()); |
|
|
Handle<Map> map(object->map()); |
|
|
Handle<Map> map(object->map()); |
|
|
EmitLoadReceiver(); |
|
|
EmitLoadReceiver(); |
|
|
__ CheckMap(receiver_reg(), map, bailout(), false); |
|
|
__ CheckMap(receiver_reg(), map, bailout_to_beginning, false); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
// If there is a global variable access check if the global object is the
|
|
|
// If there is a global variable access check if the global object is the
|
|
|
@ -214,7 +655,7 @@ void FastCodeGenerator::Generate(CompilationInfo* compilation_info) { |
|
|
ASSERT(info()->has_global_object()); |
|
|
ASSERT(info()->has_global_object()); |
|
|
Handle<Map> map(info()->global_object()->map()); |
|
|
Handle<Map> map(info()->global_object()->map()); |
|
|
__ mov(scratch0(), CodeGenerator::GlobalObject()); |
|
|
__ mov(scratch0(), CodeGenerator::GlobalObject()); |
|
|
__ CheckMap(scratch0(), map, bailout(), true); |
|
|
__ CheckMap(scratch0(), map, bailout_to_beginning, true); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
VisitStatements(function()->body()); |
|
|
VisitStatements(function()->body()); |
|
|
@ -227,11 +668,286 @@ void FastCodeGenerator::Generate(CompilationInfo* compilation_info) { |
|
|
__ mov(esp, ebp); |
|
|
__ mov(esp, ebp); |
|
|
__ pop(ebp); |
|
|
__ pop(ebp); |
|
|
__ ret((scope()->num_parameters() + 1) * kPointerSize); |
|
|
__ ret((scope()->num_parameters() + 1) * kPointerSize); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitDeclaration(Declaration* decl) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitBlock(Block* stmt) { |
|
|
|
|
|
VisitStatements(stmt->statements()); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitExpressionStatement(ExpressionStatement* stmt) { |
|
|
|
|
|
Visit(stmt->expression()); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitEmptyStatement(EmptyStatement* stmt) { |
|
|
|
|
|
// Nothing to do.
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitIfStatement(IfStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitContinueStatement(ContinueStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitBreakStatement(BreakStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitReturnStatement(ReturnStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitWithEnterStatement(WithEnterStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitWithExitStatement(WithExitStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitSwitchStatement(SwitchStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitDoWhileStatement(DoWhileStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitWhileStatement(WhileStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitForStatement(ForStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitForInStatement(ForInStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitTryCatchStatement(TryCatchStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitTryFinallyStatement(TryFinallyStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitDebuggerStatement(DebuggerStatement* stmt) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitFunctionLiteral(FunctionLiteral* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
__ bind(&bailout_); |
|
|
void FastCodeGenerator::VisitFunctionBoilerplateLiteral( |
|
|
|
|
|
FunctionBoilerplateLiteral* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitConditional(Conditional* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitSlot(Slot* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitVariableProxy(VariableProxy* expr) { |
|
|
|
|
|
ASSERT(expr->var()->is_global() && !expr->var()->is_this()); |
|
|
|
|
|
// Check if we can compile a global variable load directly from the cell.
|
|
|
|
|
|
ASSERT(info()->has_global_object()); |
|
|
|
|
|
LookupResult lookup; |
|
|
|
|
|
info()->global_object()->Lookup(*expr->name(), &lookup); |
|
|
|
|
|
// We only support normal (non-accessor/interceptor) DontDelete properties
|
|
|
|
|
|
// for now.
|
|
|
|
|
|
ASSERT(lookup.IsProperty()); |
|
|
|
|
|
ASSERT_EQ(NORMAL, lookup.type()); |
|
|
|
|
|
ASSERT(lookup.IsDontDelete()); |
|
|
|
|
|
Handle<Object> cell(info()->global_object()->GetPropertyCell(&lookup)); |
|
|
|
|
|
|
|
|
|
|
|
// Global variable lookups do not have side effects, so we do not need to
|
|
|
|
|
|
// emit code if we are in an effect context.
|
|
|
|
|
|
if (!destination().is(no_reg)) { |
|
|
|
|
|
Comment cmnt(masm(), ";; Global"); |
|
|
|
|
|
if (FLAG_print_ir) { |
|
|
|
|
|
SmartPointer<char> name = expr->name()->ToCString(); |
|
|
|
|
|
PrintF("%d: t%d = Global(%s) // last_use = %d\n", expr->num(), |
|
|
|
|
|
expr->num(), *name, expr->var_def()->last_use()->num()); |
|
|
|
|
|
} |
|
|
|
|
|
EmitGlobalVariableLoad(cell); |
|
|
|
|
|
} |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitLiteral(Literal* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitRegExpLiteral(RegExpLiteral* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitArrayLiteral(ArrayLiteral* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitCatchExtensionObject(CatchExtensionObject* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitAssignment(Assignment* expr) { |
|
|
|
|
|
// Known to be a simple this property assignment. Effectively a unary
|
|
|
|
|
|
// operation.
|
|
|
|
|
|
{ Register my_destination = destination(); |
|
|
|
|
|
set_destination(accumulator0()); |
|
|
|
|
|
Visit(expr->value()); |
|
|
|
|
|
set_destination(my_destination); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
Property* prop = expr->target()->AsProperty(); |
|
|
|
|
|
ASSERT_NOT_NULL(prop); |
|
|
|
|
|
ASSERT_NOT_NULL(prop->obj()->AsVariableProxy()); |
|
|
|
|
|
ASSERT(prop->obj()->AsVariableProxy()->var()->is_this()); |
|
|
|
|
|
ASSERT(prop->key()->IsPropertyName()); |
|
|
|
|
|
Handle<String> name = |
|
|
|
|
|
Handle<String>::cast(prop->key()->AsLiteral()->handle()); |
|
|
|
|
|
|
|
|
|
|
|
Comment cmnt(masm(), ";; Store to this"); |
|
|
|
|
|
if (FLAG_print_ir) { |
|
|
|
|
|
SmartPointer<char> name_string = name->ToCString(); |
|
|
|
|
|
PrintF("%d: ", expr->num()); |
|
|
|
|
|
if (!destination().is(no_reg)) PrintF("t%d = ", expr->num()); |
|
|
|
|
|
PrintF("Store(this, \"%s\", t%d) // last_use(this) = %d\n", *name_string, |
|
|
|
|
|
expr->value()->num(), |
|
|
|
|
|
expr->var_def()->last_use()->num()); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
EmitThisPropertyStore(name); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitThrow(Throw* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitProperty(Property* expr) { |
|
|
|
|
|
ASSERT_NOT_NULL(expr->obj()->AsVariableProxy()); |
|
|
|
|
|
ASSERT(expr->obj()->AsVariableProxy()->var()->is_this()); |
|
|
|
|
|
ASSERT(expr->key()->IsPropertyName()); |
|
|
|
|
|
if (!destination().is(no_reg)) { |
|
|
|
|
|
Handle<String> name = |
|
|
|
|
|
Handle<String>::cast(expr->key()->AsLiteral()->handle()); |
|
|
|
|
|
|
|
|
|
|
|
Comment cmnt(masm(), ";; Load from this"); |
|
|
|
|
|
if (FLAG_print_ir) { |
|
|
|
|
|
SmartPointer<char> name_string = name->ToCString(); |
|
|
|
|
|
PrintF("%d: t%d = Load(this, \"%s\") // last_use(this) = %d\n", |
|
|
|
|
|
expr->num(), expr->num(), *name_string, |
|
|
|
|
|
expr->var_def()->last_use()->num()); |
|
|
|
|
|
} |
|
|
|
|
|
EmitThisPropertyLoad(name); |
|
|
|
|
|
} |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitCall(Call* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitCallNew(CallNew* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitCallRuntime(CallRuntime* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitUnaryOperation(UnaryOperation* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitCountOperation(CountOperation* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitBinaryOperation(BinaryOperation* expr) { |
|
|
|
|
|
// We support limited binary operations: bitwise OR only allowed to be
|
|
|
|
|
|
// nested on the left.
|
|
|
|
|
|
ASSERT(expr->op() == Token::BIT_OR); |
|
|
|
|
|
ASSERT(expr->right()->IsLeaf()); |
|
|
|
|
|
|
|
|
|
|
|
{ Register my_destination = destination(); |
|
|
|
|
|
set_destination(accumulator1()); |
|
|
|
|
|
Visit(expr->left()); |
|
|
|
|
|
set_destination(accumulator0()); |
|
|
|
|
|
Visit(expr->right()); |
|
|
|
|
|
set_destination(my_destination); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
Comment cmnt(masm(), ";; BIT_OR"); |
|
|
|
|
|
if (FLAG_print_ir) { |
|
|
|
|
|
PrintF("%d: ", expr->num()); |
|
|
|
|
|
if (!destination().is(no_reg)) PrintF("t%d = ", expr->num()); |
|
|
|
|
|
PrintF("BIT_OR(t%d, t%d)\n", expr->left()->num(), expr->right()->num()); |
|
|
|
|
|
} |
|
|
|
|
|
EmitBitOr(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitCompareOperation(CompareOperation* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void FastCodeGenerator::VisitThisFunction(ThisFunction* expr) { |
|
|
|
|
|
UNREACHABLE(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
#undef __ |
|
|
#undef __ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ryan Dahl
15 years ago