| OLD | NEW |
| 1 // Copyright 2009 the V8 project authors. All rights reserved. | 1 // Copyright 2009 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 44 // formal parameter count expected by the function. | 44 // formal parameter count expected by the function. |
| 45 // | 45 // |
| 46 // The live registers are: | 46 // The live registers are: |
| 47 // o edi: the JS function object being called (ie, ourselves) | 47 // o edi: the JS function object being called (ie, ourselves) |
| 48 // o esi: our context | 48 // o esi: our context |
| 49 // o ebp: our caller's frame pointer | 49 // o ebp: our caller's frame pointer |
| 50 // o esp: stack pointer (pointing to return address) | 50 // o esp: stack pointer (pointing to return address) |
| 51 // | 51 // |
| 52 // The function builds a JS frame. Please see JavaScriptFrameConstants in | 52 // The function builds a JS frame. Please see JavaScriptFrameConstants in |
| 53 // frames-ia32.h for its layout. | 53 // frames-ia32.h for its layout. |
| 54 void FullCodeGenerator::Generate(FunctionLiteral* fun, Mode mode) { | 54 void FullCodeGenerator::Generate(CompilationInfo* info, Mode mode) { |
| 55 function_ = fun; | 55 ASSERT(info_ == NULL); |
| 56 SetFunctionPosition(fun); | 56 info_ = info; |
| 57 SetFunctionPosition(function()); |
| 57 | 58 |
| 58 if (mode == PRIMARY) { | 59 if (mode == PRIMARY) { |
| 59 __ push(ebp); // Caller's frame pointer. | 60 __ push(ebp); // Caller's frame pointer. |
| 60 __ mov(ebp, esp); | 61 __ mov(ebp, esp); |
| 61 __ push(esi); // Callee's context. | 62 __ push(esi); // Callee's context. |
| 62 __ push(edi); // Callee's JS Function. | 63 __ push(edi); // Callee's JS Function. |
| 63 | 64 |
| 64 { Comment cmnt(masm_, "[ Allocate locals"); | 65 { Comment cmnt(masm_, "[ Allocate locals"); |
| 65 int locals_count = fun->scope()->num_stack_slots(); | 66 int locals_count = scope()->num_stack_slots(); |
| 66 if (locals_count == 1) { | 67 if (locals_count == 1) { |
| 67 __ push(Immediate(Factory::undefined_value())); | 68 __ push(Immediate(Factory::undefined_value())); |
| 68 } else if (locals_count > 1) { | 69 } else if (locals_count > 1) { |
| 69 __ mov(eax, Immediate(Factory::undefined_value())); | 70 __ mov(eax, Immediate(Factory::undefined_value())); |
| 70 for (int i = 0; i < locals_count; i++) { | 71 for (int i = 0; i < locals_count; i++) { |
| 71 __ push(eax); | 72 __ push(eax); |
| 72 } | 73 } |
| 73 } | 74 } |
| 74 } | 75 } |
| 75 | 76 |
| 76 bool function_in_register = true; | 77 bool function_in_register = true; |
| 77 | 78 |
| 78 // Possibly allocate a local context. | 79 // Possibly allocate a local context. |
| 79 if (fun->scope()->num_heap_slots() > 0) { | 80 if (scope()->num_heap_slots() > 0) { |
| 80 Comment cmnt(masm_, "[ Allocate local context"); | 81 Comment cmnt(masm_, "[ Allocate local context"); |
| 81 // Argument to NewContext is the function, which is still in edi. | 82 // Argument to NewContext is the function, which is still in edi. |
| 82 __ push(edi); | 83 __ push(edi); |
| 83 __ CallRuntime(Runtime::kNewContext, 1); | 84 __ CallRuntime(Runtime::kNewContext, 1); |
| 84 function_in_register = false; | 85 function_in_register = false; |
| 85 // Context is returned in both eax and esi. It replaces the context | 86 // Context is returned in both eax and esi. It replaces the context |
| 86 // passed to us. It's saved in the stack and kept live in esi. | 87 // passed to us. It's saved in the stack and kept live in esi. |
| 87 __ mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi); | 88 __ mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi); |
| 88 | 89 |
| 89 // Copy parameters into context if necessary. | 90 // Copy parameters into context if necessary. |
| 90 int num_parameters = fun->scope()->num_parameters(); | 91 int num_parameters = scope()->num_parameters(); |
| 91 for (int i = 0; i < num_parameters; i++) { | 92 for (int i = 0; i < num_parameters; i++) { |
| 92 Slot* slot = fun->scope()->parameter(i)->slot(); | 93 Slot* slot = scope()->parameter(i)->slot(); |
| 93 if (slot != NULL && slot->type() == Slot::CONTEXT) { | 94 if (slot != NULL && slot->type() == Slot::CONTEXT) { |
| 94 int parameter_offset = StandardFrameConstants::kCallerSPOffset + | 95 int parameter_offset = StandardFrameConstants::kCallerSPOffset + |
| 95 (num_parameters - 1 - i) * kPointerSize; | 96 (num_parameters - 1 - i) * kPointerSize; |
| 96 // Load parameter from stack. | 97 // Load parameter from stack. |
| 97 __ mov(eax, Operand(ebp, parameter_offset)); | 98 __ mov(eax, Operand(ebp, parameter_offset)); |
| 98 // Store it in the context. | 99 // Store it in the context. |
| 99 int context_offset = Context::SlotOffset(slot->index()); | 100 int context_offset = Context::SlotOffset(slot->index()); |
| 100 __ mov(Operand(esi, context_offset), eax); | 101 __ mov(Operand(esi, context_offset), eax); |
| 101 // Update the write barrier. This clobbers all involved | 102 // Update the write barrier. This clobbers all involved |
| 102 // registers, so we have use a third register to avoid | 103 // registers, so we have use a third register to avoid |
| 103 // clobbering esi. | 104 // clobbering esi. |
| 104 __ mov(ecx, esi); | 105 __ mov(ecx, esi); |
| 105 __ RecordWrite(ecx, context_offset, eax, ebx); | 106 __ RecordWrite(ecx, context_offset, eax, ebx); |
| 106 } | 107 } |
| 107 } | 108 } |
| 108 } | 109 } |
| 109 | 110 |
| 110 Variable* arguments = fun->scope()->arguments()->AsVariable(); | 111 Variable* arguments = scope()->arguments()->AsVariable(); |
| 111 if (arguments != NULL) { | 112 if (arguments != NULL) { |
| 112 // Function uses arguments object. | 113 // Function uses arguments object. |
| 113 Comment cmnt(masm_, "[ Allocate arguments object"); | 114 Comment cmnt(masm_, "[ Allocate arguments object"); |
| 114 if (function_in_register) { | 115 if (function_in_register) { |
| 115 __ push(edi); | 116 __ push(edi); |
| 116 } else { | 117 } else { |
| 117 __ push(Operand(ebp, JavaScriptFrameConstants::kFunctionOffset)); | 118 __ push(Operand(ebp, JavaScriptFrameConstants::kFunctionOffset)); |
| 118 } | 119 } |
| 119 // Receiver is just before the parameters on the caller's stack. | 120 // Receiver is just before the parameters on the caller's stack. |
| 120 __ lea(edx, Operand(ebp, StandardFrameConstants::kCallerSPOffset + | 121 int offset = scope()->num_parameters() * kPointerSize; |
| 121 fun->num_parameters() * kPointerSize)); | 122 __ lea(edx, |
| 123 Operand(ebp, StandardFrameConstants::kCallerSPOffset + offset)); |
| 122 __ push(edx); | 124 __ push(edx); |
| 123 __ push(Immediate(Smi::FromInt(fun->num_parameters()))); | 125 __ push(Immediate(Smi::FromInt(scope()->num_parameters()))); |
| 124 // Arguments to ArgumentsAccessStub: | 126 // Arguments to ArgumentsAccessStub: |
| 125 // function, receiver address, parameter count. | 127 // function, receiver address, parameter count. |
| 126 // The stub will rewrite receiver and parameter count if the previous | 128 // The stub will rewrite receiver and parameter count if the previous |
| 127 // stack frame was an arguments adapter frame. | 129 // stack frame was an arguments adapter frame. |
| 128 ArgumentsAccessStub stub(ArgumentsAccessStub::NEW_OBJECT); | 130 ArgumentsAccessStub stub(ArgumentsAccessStub::NEW_OBJECT); |
| 129 __ CallStub(&stub); | 131 __ CallStub(&stub); |
| 130 __ mov(ecx, eax); // Duplicate result. | 132 __ mov(ecx, eax); // Duplicate result. |
| 131 Move(arguments->slot(), eax, ebx, edx); | 133 Move(arguments->slot(), eax, ebx, edx); |
| 132 Slot* dot_arguments_slot = | 134 Slot* dot_arguments_slot = |
| 133 fun->scope()->arguments_shadow()->AsVariable()->slot(); | 135 scope()->arguments_shadow()->AsVariable()->slot(); |
| 134 Move(dot_arguments_slot, ecx, ebx, edx); | 136 Move(dot_arguments_slot, ecx, ebx, edx); |
| 135 } | 137 } |
| 136 } | 138 } |
| 137 | 139 |
| 138 { Comment cmnt(masm_, "[ Declarations"); | 140 { Comment cmnt(masm_, "[ Declarations"); |
| 139 VisitDeclarations(fun->scope()->declarations()); | 141 VisitDeclarations(scope()->declarations()); |
| 140 } | 142 } |
| 141 | 143 |
| 142 { Comment cmnt(masm_, "[ Stack check"); | 144 { Comment cmnt(masm_, "[ Stack check"); |
| 143 Label ok; | 145 Label ok; |
| 144 ExternalReference stack_limit = | 146 ExternalReference stack_limit = |
| 145 ExternalReference::address_of_stack_limit(); | 147 ExternalReference::address_of_stack_limit(); |
| 146 __ cmp(esp, Operand::StaticVariable(stack_limit)); | 148 __ cmp(esp, Operand::StaticVariable(stack_limit)); |
| 147 __ j(above_equal, &ok, taken); | 149 __ j(above_equal, &ok, taken); |
| 148 StackCheckStub stub; | 150 StackCheckStub stub; |
| 149 __ CallStub(&stub); | 151 __ CallStub(&stub); |
| 150 __ bind(&ok); | 152 __ bind(&ok); |
| 151 } | 153 } |
| 152 | 154 |
| 153 if (FLAG_trace) { | 155 if (FLAG_trace) { |
| 154 __ CallRuntime(Runtime::kTraceEnter, 0); | 156 __ CallRuntime(Runtime::kTraceEnter, 0); |
| 155 } | 157 } |
| 156 | 158 |
| 157 { Comment cmnt(masm_, "[ Body"); | 159 { Comment cmnt(masm_, "[ Body"); |
| 158 ASSERT(loop_depth() == 0); | 160 ASSERT(loop_depth() == 0); |
| 159 VisitStatements(fun->body()); | 161 VisitStatements(function()->body()); |
| 160 ASSERT(loop_depth() == 0); | 162 ASSERT(loop_depth() == 0); |
| 161 } | 163 } |
| 162 | 164 |
| 163 { Comment cmnt(masm_, "[ return <undefined>;"); | 165 { Comment cmnt(masm_, "[ return <undefined>;"); |
| 164 // Emit a 'return undefined' in case control fell off the end of the body. | 166 // Emit a 'return undefined' in case control fell off the end of the body. |
| 165 __ mov(eax, Factory::undefined_value()); | 167 __ mov(eax, Factory::undefined_value()); |
| 166 EmitReturnSequence(function_->end_position()); | 168 EmitReturnSequence(function()->end_position()); |
| 167 } | 169 } |
| 168 } | 170 } |
| 169 | 171 |
| 170 | 172 |
| 171 void FullCodeGenerator::EmitReturnSequence(int position) { | 173 void FullCodeGenerator::EmitReturnSequence(int position) { |
| 172 Comment cmnt(masm_, "[ Return sequence"); | 174 Comment cmnt(masm_, "[ Return sequence"); |
| 173 if (return_label_.is_bound()) { | 175 if (return_label_.is_bound()) { |
| 174 __ jmp(&return_label_); | 176 __ jmp(&return_label_); |
| 175 } else { | 177 } else { |
| 176 // Common return label | 178 // Common return label |
| 177 __ bind(&return_label_); | 179 __ bind(&return_label_); |
| 178 if (FLAG_trace) { | 180 if (FLAG_trace) { |
| 179 __ push(eax); | 181 __ push(eax); |
| 180 __ CallRuntime(Runtime::kTraceExit, 1); | 182 __ CallRuntime(Runtime::kTraceExit, 1); |
| 181 } | 183 } |
| 182 #ifdef DEBUG | 184 #ifdef DEBUG |
| 183 // Add a label for checking the size of the code used for returning. | 185 // Add a label for checking the size of the code used for returning. |
| 184 Label check_exit_codesize; | 186 Label check_exit_codesize; |
| 185 masm_->bind(&check_exit_codesize); | 187 masm_->bind(&check_exit_codesize); |
| 186 #endif | 188 #endif |
| 187 CodeGenerator::RecordPositions(masm_, position); | 189 CodeGenerator::RecordPositions(masm_, position); |
| 188 __ RecordJSReturn(); | 190 __ RecordJSReturn(); |
| 189 // Do not use the leave instruction here because it is too short to | 191 // Do not use the leave instruction here because it is too short to |
| 190 // patch with the code required by the debugger. | 192 // patch with the code required by the debugger. |
| 191 __ mov(esp, ebp); | 193 __ mov(esp, ebp); |
| 192 __ pop(ebp); | 194 __ pop(ebp); |
| 193 __ ret((function_->scope()->num_parameters() + 1) * kPointerSize); | 195 __ ret((scope()->num_parameters() + 1) * kPointerSize); |
| 194 #ifdef ENABLE_DEBUGGER_SUPPORT | 196 #ifdef ENABLE_DEBUGGER_SUPPORT |
| 195 // Check that the size of the code used for returning matches what is | 197 // Check that the size of the code used for returning matches what is |
| 196 // expected by the debugger. | 198 // expected by the debugger. |
| 197 ASSERT_EQ(Assembler::kJSReturnSequenceLength, | 199 ASSERT_EQ(Assembler::kJSReturnSequenceLength, |
| 198 masm_->SizeOfCodeGeneratedSince(&check_exit_codesize)); | 200 masm_->SizeOfCodeGeneratedSince(&check_exit_codesize)); |
| 199 #endif | 201 #endif |
| 200 } | 202 } |
| 201 } | 203 } |
| 202 | 204 |
| 203 | 205 |
| (...skipping 416 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 620 } | 622 } |
| 621 | 623 |
| 622 | 624 |
| 623 MemOperand FullCodeGenerator::EmitSlotSearch(Slot* slot, Register scratch) { | 625 MemOperand FullCodeGenerator::EmitSlotSearch(Slot* slot, Register scratch) { |
| 624 switch (slot->type()) { | 626 switch (slot->type()) { |
| 625 case Slot::PARAMETER: | 627 case Slot::PARAMETER: |
| 626 case Slot::LOCAL: | 628 case Slot::LOCAL: |
| 627 return Operand(ebp, SlotOffset(slot)); | 629 return Operand(ebp, SlotOffset(slot)); |
| 628 case Slot::CONTEXT: { | 630 case Slot::CONTEXT: { |
| 629 int context_chain_length = | 631 int context_chain_length = |
| 630 function_->scope()->ContextChainLength(slot->var()->scope()); | 632 scope()->ContextChainLength(slot->var()->scope()); |
| 631 __ LoadContext(scratch, context_chain_length); | 633 __ LoadContext(scratch, context_chain_length); |
| 632 return CodeGenerator::ContextOperand(scratch, slot->index()); | 634 return CodeGenerator::ContextOperand(scratch, slot->index()); |
| 633 } | 635 } |
| 634 case Slot::LOOKUP: | 636 case Slot::LOOKUP: |
| 635 UNREACHABLE(); | 637 UNREACHABLE(); |
| 636 } | 638 } |
| 637 UNREACHABLE(); | 639 UNREACHABLE(); |
| 638 return Operand(eax, 0); | 640 return Operand(eax, 0); |
| 639 } | 641 } |
| 640 | 642 |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 679 VisitForValue(decl->fun(), kAccumulator); | 681 VisitForValue(decl->fun(), kAccumulator); |
| 680 __ mov(Operand(ebp, SlotOffset(slot)), result_register()); | 682 __ mov(Operand(ebp, SlotOffset(slot)), result_register()); |
| 681 } | 683 } |
| 682 break; | 684 break; |
| 683 | 685 |
| 684 case Slot::CONTEXT: | 686 case Slot::CONTEXT: |
| 685 // We bypass the general EmitSlotSearch because we know more about | 687 // We bypass the general EmitSlotSearch because we know more about |
| 686 // this specific context. | 688 // this specific context. |
| 687 | 689 |
| 688 // The variable in the decl always resides in the current context. | 690 // The variable in the decl always resides in the current context. |
| 689 ASSERT_EQ(0, function_->scope()->ContextChainLength(var->scope())); | 691 ASSERT_EQ(0, scope()->ContextChainLength(var->scope())); |
| 690 if (FLAG_debug_code) { | 692 if (FLAG_debug_code) { |
| 691 // Check if we have the correct context pointer. | 693 // Check if we have the correct context pointer. |
| 692 __ mov(ebx, | 694 __ mov(ebx, |
| 693 CodeGenerator::ContextOperand(esi, Context::FCONTEXT_INDEX)); | 695 CodeGenerator::ContextOperand(esi, Context::FCONTEXT_INDEX)); |
| 694 __ cmp(ebx, Operand(esi)); | 696 __ cmp(ebx, Operand(esi)); |
| 695 __ Check(equal, "Unexpected declaration in current context."); | 697 __ Check(equal, "Unexpected declaration in current context."); |
| 696 } | 698 } |
| 697 if (decl->mode() == Variable::CONST) { | 699 if (decl->mode() == Variable::CONST) { |
| 698 __ mov(eax, Immediate(Factory::the_hole_value())); | 700 __ mov(eax, Immediate(Factory::the_hole_value())); |
| 699 __ mov(CodeGenerator::ContextOperand(esi, slot->index()), eax); | 701 __ mov(CodeGenerator::ContextOperand(esi, slot->index()), eax); |
| (...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 757 __ Drop(2); | 759 __ Drop(2); |
| 758 } | 760 } |
| 759 } | 761 } |
| 760 } | 762 } |
| 761 | 763 |
| 762 | 764 |
| 763 void FullCodeGenerator::DeclareGlobals(Handle<FixedArray> pairs) { | 765 void FullCodeGenerator::DeclareGlobals(Handle<FixedArray> pairs) { |
| 764 // Call the runtime to declare the globals. | 766 // Call the runtime to declare the globals. |
| 765 __ push(esi); // The context is the first argument. | 767 __ push(esi); // The context is the first argument. |
| 766 __ push(Immediate(pairs)); | 768 __ push(Immediate(pairs)); |
| 767 __ push(Immediate(Smi::FromInt(is_eval_ ? 1 : 0))); | 769 __ push(Immediate(Smi::FromInt(is_eval() ? 1 : 0))); |
| 768 __ CallRuntime(Runtime::kDeclareGlobals, 3); | 770 __ CallRuntime(Runtime::kDeclareGlobals, 3); |
| 769 // Return value is ignored. | 771 // Return value is ignored. |
| 770 } | 772 } |
| 771 | 773 |
| 772 | 774 |
| 773 void FullCodeGenerator::VisitFunctionLiteral(FunctionLiteral* expr) { | 775 void FullCodeGenerator::VisitFunctionLiteral(FunctionLiteral* expr) { |
| 774 Comment cmnt(masm_, "[ FunctionLiteral"); | 776 Comment cmnt(masm_, "[ FunctionLiteral"); |
| 775 | 777 |
| 776 // Build the function boilerplate and instantiate it. | 778 // Build the function boilerplate and instantiate it. |
| 777 Handle<JSFunction> boilerplate = | 779 Handle<JSFunction> boilerplate = |
| 778 Compiler::BuildBoilerplate(expr, script_, this); | 780 Compiler::BuildBoilerplate(expr, script(), this); |
| 779 if (HasStackOverflow()) return; | 781 if (HasStackOverflow()) return; |
| 780 | 782 |
| 781 ASSERT(boilerplate->IsBoilerplate()); | 783 ASSERT(boilerplate->IsBoilerplate()); |
| 782 | 784 |
| 783 // Create a new closure. | 785 // Create a new closure. |
| 784 __ push(esi); | 786 __ push(esi); |
| 785 __ push(Immediate(boilerplate)); | 787 __ push(Immediate(boilerplate)); |
| 786 __ CallRuntime(Runtime::kNewClosure, 2); | 788 __ CallRuntime(Runtime::kNewClosure, 2); |
| 787 Apply(context_, eax); | 789 Apply(context_, eax); |
| 788 } | 790 } |
| (...skipping 1102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1891 __ add(Operand(edx), Immediate(masm_->CodeObject())); | 1893 __ add(Operand(edx), Immediate(masm_->CodeObject())); |
| 1892 __ mov(Operand(esp, 0), edx); | 1894 __ mov(Operand(esp, 0), edx); |
| 1893 // And return. | 1895 // And return. |
| 1894 __ ret(0); | 1896 __ ret(0); |
| 1895 } | 1897 } |
| 1896 | 1898 |
| 1897 | 1899 |
| 1898 #undef __ | 1900 #undef __ |
| 1899 | 1901 |
| 1900 } } // namespace v8::internal | 1902 } } // namespace v8::internal |
| OLD | NEW |