| OLD | NEW |
| 1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2010 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 108 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 119 in_spilled_code_(false) { | 119 in_spilled_code_(false) { |
| 120 } | 120 } |
| 121 | 121 |
| 122 | 122 |
| 123 // Calling conventions: | 123 // Calling conventions: |
| 124 // ebp: caller's frame pointer | 124 // ebp: caller's frame pointer |
| 125 // esp: stack pointer | 125 // esp: stack pointer |
| 126 // edi: called JS function | 126 // edi: called JS function |
| 127 // esi: callee's context | 127 // esi: callee's context |
| 128 | 128 |
| 129 void CodeGenerator::GenCode(FunctionLiteral* fun, CompilationInfo* info) { | 129 void CodeGenerator::Generate(FunctionLiteral* fun, |
| 130 Mode mode, |
| 131 CompilationInfo* info) { |
| 130 // Record the position for debugging purposes. | 132 // Record the position for debugging purposes. |
| 131 CodeForFunctionPosition(fun); | 133 CodeForFunctionPosition(fun); |
| 132 | 134 |
| 133 ZoneList<Statement*>* body = fun->body(); | 135 ZoneList<Statement*>* body = fun->body(); |
| 134 | 136 |
| 135 // Initialize state. | 137 // Initialize state. |
| 136 ASSERT(scope_ == NULL); | 138 ASSERT(scope_ == NULL); |
| 137 scope_ = fun->scope(); | 139 scope_ = fun->scope(); |
| 138 ASSERT(allocator_ == NULL); | 140 ASSERT(allocator_ == NULL); |
| 139 RegisterAllocator register_allocator(this); | 141 RegisterAllocator register_allocator(this); |
| (...skipping 20 matching lines...) Expand all Loading... |
| 160 HistogramTimerScope codegen_timer(&Counters::code_generation); | 162 HistogramTimerScope codegen_timer(&Counters::code_generation); |
| 161 CodeGenState state(this); | 163 CodeGenState state(this); |
| 162 | 164 |
| 163 // Entry: | 165 // Entry: |
| 164 // Stack: receiver, arguments, return address. | 166 // Stack: receiver, arguments, return address. |
| 165 // ebp: caller's frame pointer | 167 // ebp: caller's frame pointer |
| 166 // esp: stack pointer | 168 // esp: stack pointer |
| 167 // edi: called JS function | 169 // edi: called JS function |
| 168 // esi: callee's context | 170 // esi: callee's context |
| 169 allocator_->Initialize(); | 171 allocator_->Initialize(); |
| 170 frame_->Enter(); | |
| 171 | 172 |
| 172 // Allocate space for locals and initialize them. | 173 if (mode == PRIMARY) { |
| 173 frame_->AllocateStackSlots(); | 174 frame_->Enter(); |
| 175 |
| 176 // Allocate space for locals and initialize them. |
| 177 frame_->AllocateStackSlots(); |
| 178 |
| 179 // Allocate the local context if needed. |
| 180 int heap_slots = scope_->num_heap_slots() - Context::MIN_CONTEXT_SLOTS; |
| 181 if (heap_slots > 0) { |
| 182 Comment cmnt(masm_, "[ allocate local context"); |
| 183 // Allocate local context. |
| 184 // Get outer context and create a new context based on it. |
| 185 frame_->PushFunction(); |
| 186 Result context; |
| 187 if (heap_slots <= FastNewContextStub::kMaximumSlots) { |
| 188 FastNewContextStub stub(heap_slots); |
| 189 context = frame_->CallStub(&stub, 1); |
| 190 } else { |
| 191 context = frame_->CallRuntime(Runtime::kNewContext, 1); |
| 192 } |
| 193 |
| 194 // Update context local. |
| 195 frame_->SaveContextRegister(); |
| 196 |
| 197 // Verify that the runtime call result and esi agree. |
| 198 if (FLAG_debug_code) { |
| 199 __ cmp(context.reg(), Operand(esi)); |
| 200 __ Assert(equal, "Runtime::NewContext should end up in esi"); |
| 201 } |
| 202 } |
| 203 |
| 204 // TODO(1241774): Improve this code: |
| 205 // 1) only needed if we have a context |
| 206 // 2) no need to recompute context ptr every single time |
| 207 // 3) don't copy parameter operand code from SlotOperand! |
| 208 { |
| 209 Comment cmnt2(masm_, "[ copy context parameters into .context"); |
| 210 |
| 211 // Note that iteration order is relevant here! If we have the same |
| 212 // parameter twice (e.g., function (x, y, x)), and that parameter |
| 213 // needs to be copied into the context, it must be the last argument |
| 214 // passed to the parameter that needs to be copied. This is a rare |
| 215 // case so we don't check for it, instead we rely on the copying |
| 216 // order: such a parameter is copied repeatedly into the same |
| 217 // context location and thus the last value is what is seen inside |
| 218 // the function. |
| 219 for (int i = 0; i < scope_->num_parameters(); i++) { |
| 220 Variable* par = scope_->parameter(i); |
| 221 Slot* slot = par->slot(); |
| 222 if (slot != NULL && slot->type() == Slot::CONTEXT) { |
| 223 // The use of SlotOperand below is safe in unspilled code |
| 224 // because the slot is guaranteed to be a context slot. |
| 225 // |
| 226 // There are no parameters in the global scope. |
| 227 ASSERT(!scope_->is_global_scope()); |
| 228 frame_->PushParameterAt(i); |
| 229 Result value = frame_->Pop(); |
| 230 value.ToRegister(); |
| 231 |
| 232 // SlotOperand loads context.reg() with the context object |
| 233 // stored to, used below in RecordWrite. |
| 234 Result context = allocator_->Allocate(); |
| 235 ASSERT(context.is_valid()); |
| 236 __ mov(SlotOperand(slot, context.reg()), value.reg()); |
| 237 int offset = FixedArray::kHeaderSize + slot->index() * kPointerSize; |
| 238 Result scratch = allocator_->Allocate(); |
| 239 ASSERT(scratch.is_valid()); |
| 240 frame_->Spill(context.reg()); |
| 241 frame_->Spill(value.reg()); |
| 242 __ RecordWrite(context.reg(), offset, value.reg(), scratch.reg()); |
| 243 } |
| 244 } |
| 245 } |
| 246 |
| 247 // Store the arguments object. This must happen after context |
| 248 // initialization because the arguments object may be stored in |
| 249 // the context. |
| 250 if (ArgumentsMode() != NO_ARGUMENTS_ALLOCATION) { |
| 251 StoreArgumentsObject(true); |
| 252 } |
| 253 |
| 254 // Initialize ThisFunction reference if present. |
| 255 if (scope_->is_function_scope() && scope_->function() != NULL) { |
| 256 frame_->Push(Factory::the_hole_value()); |
| 257 StoreToSlot(scope_->function()->slot(), NOT_CONST_INIT); |
| 258 } |
| 259 } else { |
| 260 // When used as the secondary compiler for splitting, ebp, esi, |
| 261 // and edi have been pushed on the stack. Adjust the virtual |
| 262 // frame to match this state. |
| 263 frame_->Adjust(3); |
| 264 allocator_->Unuse(edi); |
| 265 } |
| 266 |
| 174 // Initialize the function return target after the locals are set | 267 // Initialize the function return target after the locals are set |
| 175 // up, because it needs the expected frame height from the frame. | 268 // up, because it needs the expected frame height from the frame. |
| 176 function_return_.set_direction(JumpTarget::BIDIRECTIONAL); | 269 function_return_.set_direction(JumpTarget::BIDIRECTIONAL); |
| 177 function_return_is_shadowed_ = false; | 270 function_return_is_shadowed_ = false; |
| 178 | 271 |
| 179 // Allocate the local context if needed. | |
| 180 int heap_slots = scope_->num_heap_slots() - Context::MIN_CONTEXT_SLOTS; | |
| 181 if (heap_slots > 0) { | |
| 182 Comment cmnt(masm_, "[ allocate local context"); | |
| 183 // Allocate local context. | |
| 184 // Get outer context and create a new context based on it. | |
| 185 frame_->PushFunction(); | |
| 186 Result context; | |
| 187 if (heap_slots <= FastNewContextStub::kMaximumSlots) { | |
| 188 FastNewContextStub stub(heap_slots); | |
| 189 context = frame_->CallStub(&stub, 1); | |
| 190 } else { | |
| 191 context = frame_->CallRuntime(Runtime::kNewContext, 1); | |
| 192 } | |
| 193 | |
| 194 // Update context local. | |
| 195 frame_->SaveContextRegister(); | |
| 196 | |
| 197 // Verify that the runtime call result and esi agree. | |
| 198 if (FLAG_debug_code) { | |
| 199 __ cmp(context.reg(), Operand(esi)); | |
| 200 __ Assert(equal, "Runtime::NewContext should end up in esi"); | |
| 201 } | |
| 202 } | |
| 203 | |
| 204 // TODO(1241774): Improve this code: | |
| 205 // 1) only needed if we have a context | |
| 206 // 2) no need to recompute context ptr every single time | |
| 207 // 3) don't copy parameter operand code from SlotOperand! | |
| 208 { | |
| 209 Comment cmnt2(masm_, "[ copy context parameters into .context"); | |
| 210 | |
| 211 // Note that iteration order is relevant here! If we have the same | |
| 212 // parameter twice (e.g., function (x, y, x)), and that parameter | |
| 213 // needs to be copied into the context, it must be the last argument | |
| 214 // passed to the parameter that needs to be copied. This is a rare | |
| 215 // case so we don't check for it, instead we rely on the copying | |
| 216 // order: such a parameter is copied repeatedly into the same | |
| 217 // context location and thus the last value is what is seen inside | |
| 218 // the function. | |
| 219 for (int i = 0; i < scope_->num_parameters(); i++) { | |
| 220 Variable* par = scope_->parameter(i); | |
| 221 Slot* slot = par->slot(); | |
| 222 if (slot != NULL && slot->type() == Slot::CONTEXT) { | |
| 223 // The use of SlotOperand below is safe in unspilled code | |
| 224 // because the slot is guaranteed to be a context slot. | |
| 225 // | |
| 226 // There are no parameters in the global scope. | |
| 227 ASSERT(!scope_->is_global_scope()); | |
| 228 frame_->PushParameterAt(i); | |
| 229 Result value = frame_->Pop(); | |
| 230 value.ToRegister(); | |
| 231 | |
| 232 // SlotOperand loads context.reg() with the context object | |
| 233 // stored to, used below in RecordWrite. | |
| 234 Result context = allocator_->Allocate(); | |
| 235 ASSERT(context.is_valid()); | |
| 236 __ mov(SlotOperand(slot, context.reg()), value.reg()); | |
| 237 int offset = FixedArray::kHeaderSize + slot->index() * kPointerSize; | |
| 238 Result scratch = allocator_->Allocate(); | |
| 239 ASSERT(scratch.is_valid()); | |
| 240 frame_->Spill(context.reg()); | |
| 241 frame_->Spill(value.reg()); | |
| 242 __ RecordWrite(context.reg(), offset, value.reg(), scratch.reg()); | |
| 243 } | |
| 244 } | |
| 245 } | |
| 246 | |
| 247 // Store the arguments object. This must happen after context | |
| 248 // initialization because the arguments object may be stored in | |
| 249 // the context. | |
| 250 if (ArgumentsMode() != NO_ARGUMENTS_ALLOCATION) { | |
| 251 StoreArgumentsObject(true); | |
| 252 } | |
| 253 | |
| 254 // Initialize ThisFunction reference if present. | |
| 255 if (scope_->is_function_scope() && scope_->function() != NULL) { | |
| 256 frame_->Push(Factory::the_hole_value()); | |
| 257 StoreToSlot(scope_->function()->slot(), NOT_CONST_INIT); | |
| 258 } | |
| 259 | |
| 260 // Generate code to 'execute' declarations and initialize functions | 272 // Generate code to 'execute' declarations and initialize functions |
| 261 // (source elements). In case of an illegal redeclaration we need to | 273 // (source elements). In case of an illegal redeclaration we need to |
| 262 // handle that instead of processing the declarations. | 274 // handle that instead of processing the declarations. |
| 263 if (scope_->HasIllegalRedeclaration()) { | 275 if (scope_->HasIllegalRedeclaration()) { |
| 264 Comment cmnt(masm_, "[ illegal redeclarations"); | 276 Comment cmnt(masm_, "[ illegal redeclarations"); |
| 265 scope_->VisitIllegalRedeclaration(this); | 277 scope_->VisitIllegalRedeclaration(this); |
| 266 } else { | 278 } else { |
| 267 Comment cmnt(masm_, "[ declarations"); | 279 Comment cmnt(masm_, "[ declarations"); |
| 268 ProcessDeclarations(scope_->declarations()); | 280 ProcessDeclarations(scope_->declarations()); |
| 269 // Bail out if a stack-overflow exception occurred when processing | 281 // Bail out if a stack-overflow exception occurred when processing |
| (...skipping 9820 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 10090 | 10102 |
| 10091 // Call the runtime; it returns -1 (less), 0 (equal), or 1 (greater) | 10103 // Call the runtime; it returns -1 (less), 0 (equal), or 1 (greater) |
| 10092 // tagged as a small integer. | 10104 // tagged as a small integer. |
| 10093 __ bind(&runtime); | 10105 __ bind(&runtime); |
| 10094 __ TailCallRuntime(ExternalReference(Runtime::kStringCompare), 2, 1); | 10106 __ TailCallRuntime(ExternalReference(Runtime::kStringCompare), 2, 1); |
| 10095 } | 10107 } |
| 10096 | 10108 |
| 10097 #undef __ | 10109 #undef __ |
| 10098 | 10110 |
| 10099 } } // namespace v8::internal | 10111 } } // namespace v8::internal |
| OLD | NEW |