| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 239 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 250 case FAST_HOLEY_ELEMENTS: | 250 case FAST_HOLEY_ELEMENTS: |
| 251 case DICTIONARY_ELEMENTS: | 251 case DICTIONARY_ELEMENTS: |
| 252 case NON_STRICT_ARGUMENTS_ELEMENTS: | 252 case NON_STRICT_ARGUMENTS_ELEMENTS: |
| 253 return kPointerSizeLog2; | 253 return kPointerSizeLog2; |
| 254 } | 254 } |
| 255 UNREACHABLE(); | 255 UNREACHABLE(); |
| 256 return 0; | 256 return 0; |
| 257 } | 257 } |
| 258 | 258 |
| 259 | 259 |
| 260 LLabel* LChunkBase::GetLabel(int block_id) const { | 260 LLabel* LChunk::GetLabel(int block_id) const { |
| 261 HBasicBlock* block = graph_->blocks()->at(block_id); | 261 HBasicBlock* block = graph_->blocks()->at(block_id); |
| 262 int first_instruction = block->first_instruction_index(); | 262 int first_instruction = block->first_instruction_index(); |
| 263 return LLabel::cast(instructions_[first_instruction]); | 263 return LLabel::cast(instructions_[first_instruction]); |
| 264 } | 264 } |
| 265 | 265 |
| 266 | 266 |
| 267 int LChunkBase::LookupDestination(int block_id) const { | 267 int LChunk::LookupDestination(int block_id) const { |
| 268 LLabel* cur = GetLabel(block_id); | 268 LLabel* cur = GetLabel(block_id); |
| 269 while (cur->replacement() != NULL) { | 269 while (cur->replacement() != NULL) { |
| 270 cur = cur->replacement(); | 270 cur = cur->replacement(); |
| 271 } | 271 } |
| 272 return cur->block_id(); | 272 return cur->block_id(); |
| 273 } | 273 } |
| 274 | 274 |
| 275 Label* LChunkBase::GetAssemblyLabel(int block_id) const { | 275 Label* LChunk::GetAssemblyLabel(int block_id) const { |
| 276 LLabel* label = GetLabel(block_id); | 276 LLabel* label = GetLabel(block_id); |
| 277 ASSERT(!label->HasReplacement()); | 277 ASSERT(!label->HasReplacement()); |
| 278 return label->label(); | 278 return label->label(); |
| 279 } | 279 } |
| 280 | 280 |
| 281 void LChunkBase::MarkEmptyBlocks() { | 281 void LChunk::MarkEmptyBlocks() { |
| 282 HPhase phase("L_Mark empty blocks", this); | 282 HPhase phase("L_Mark empty blocks", this); |
| 283 for (int i = 0; i < graph()->blocks()->length(); ++i) { | 283 for (int i = 0; i < graph()->blocks()->length(); ++i) { |
| 284 HBasicBlock* block = graph()->blocks()->at(i); | 284 HBasicBlock* block = graph()->blocks()->at(i); |
| 285 int first = block->first_instruction_index(); | 285 int first = block->first_instruction_index(); |
| 286 int last = block->last_instruction_index(); | 286 int last = block->last_instruction_index(); |
| 287 LInstruction* first_instr = instructions()->at(first); | 287 LInstruction* first_instr = instructions()->at(first); |
| 288 LInstruction* last_instr = instructions()->at(last); | 288 LInstruction* last_instr = instructions()->at(last); |
| 289 | 289 |
| 290 LLabel* label = LLabel::cast(first_instr); | 290 LLabel* label = LLabel::cast(first_instr); |
| 291 if (last_instr->IsGoto()) { | 291 if (last_instr->IsGoto()) { |
| (...skipping 15 matching lines...) Expand all Loading... |
| 307 | 307 |
| 308 if (can_eliminate) { | 308 if (can_eliminate) { |
| 309 label->set_replacement(GetLabel(goto_instr->block_id())); | 309 label->set_replacement(GetLabel(goto_instr->block_id())); |
| 310 } | 310 } |
| 311 } | 311 } |
| 312 } | 312 } |
| 313 } | 313 } |
| 314 } | 314 } |
| 315 | 315 |
| 316 | 316 |
| 317 void LChunkBase::AddInstruction(LInstruction* instr, HBasicBlock* block) { | 317 void LChunk::AddInstruction(LInstruction* instr, HBasicBlock* block) { |
| 318 LInstructionGap* gap = new(graph_->zone()) LInstructionGap(block); | 318 LInstructionGap* gap = new(graph_->zone()) LInstructionGap(block); |
| 319 int index = -1; | 319 int index = -1; |
| 320 if (instr->IsControl()) { | 320 if (instr->IsControl()) { |
| 321 instructions_.Add(gap, zone()); | 321 instructions_.Add(gap, zone()); |
| 322 index = instructions_.length(); | 322 index = instructions_.length(); |
| 323 instructions_.Add(instr, zone()); | 323 instructions_.Add(instr, zone()); |
| 324 } else { | 324 } else { |
| 325 index = instructions_.length(); | 325 index = instructions_.length(); |
| 326 instructions_.Add(instr, zone()); | 326 instructions_.Add(instr, zone()); |
| 327 instructions_.Add(gap, zone()); | 327 instructions_.Add(gap, zone()); |
| 328 } | 328 } |
| 329 if (instr->HasPointerMap()) { | 329 if (instr->HasPointerMap()) { |
| 330 pointer_maps_.Add(instr->pointer_map(), zone()); | 330 pointer_maps_.Add(instr->pointer_map(), zone()); |
| 331 instr->pointer_map()->set_lithium_position(index); | 331 instr->pointer_map()->set_lithium_position(index); |
| 332 } | 332 } |
| 333 } | 333 } |
| 334 | 334 |
| 335 | 335 |
| 336 LConstantOperand* LChunkBase::DefineConstantOperand(HConstant* constant) { | 336 LConstantOperand* LChunk::DefineConstantOperand(HConstant* constant) { |
| 337 return LConstantOperand::Create(constant->id(), zone()); | 337 return LConstantOperand::Create(constant->id(), zone()); |
| 338 } | 338 } |
| 339 | 339 |
| 340 | 340 |
| 341 int LChunkBase::GetParameterStackSlot(int index) const { | 341 int LChunk::GetParameterStackSlot(int index) const { |
| 342 // The receiver is at index 0, the first parameter at index 1, so we | 342 // The receiver is at index 0, the first parameter at index 1, so we |
| 343 // shift all parameter indexes down by the number of parameters, and | 343 // shift all parameter indexes down by the number of parameters, and |
| 344 // make sure they end up negative so they are distinguishable from | 344 // make sure they end up negative so they are distinguishable from |
| 345 // spill slots. | 345 // spill slots. |
| 346 int result = index - info()->scope()->num_parameters() - 1; | 346 int result = index - info()->scope()->num_parameters() - 1; |
| 347 ASSERT(result < 0); | 347 ASSERT(result < 0); |
| 348 return result; | 348 return result; |
| 349 } | 349 } |
| 350 | 350 |
| 351 | 351 |
| 352 // A parameter relative to ebp in the arguments stub. | 352 // A parameter relative to ebp in the arguments stub. |
| 353 int LChunkBase::ParameterAt(int index) { | 353 int LChunk::ParameterAt(int index) { |
| 354 ASSERT(-1 <= index); // -1 is the receiver. | 354 ASSERT(-1 <= index); // -1 is the receiver. |
| 355 return (1 + info()->scope()->num_parameters() - index) * | 355 return (1 + info()->scope()->num_parameters() - index) * |
| 356 kPointerSize; | 356 kPointerSize; |
| 357 } | 357 } |
| 358 | 358 |
| 359 | 359 |
| 360 LGap* LChunkBase::GetGapAt(int index) const { | 360 LGap* LChunk::GetGapAt(int index) const { |
| 361 return LGap::cast(instructions_[index]); | 361 return LGap::cast(instructions_[index]); |
| 362 } | 362 } |
| 363 | 363 |
| 364 | 364 |
| 365 bool LChunkBase::IsGapAt(int index) const { | 365 bool LChunk::IsGapAt(int index) const { |
| 366 return instructions_[index]->IsGap(); | 366 return instructions_[index]->IsGap(); |
| 367 } | 367 } |
| 368 | 368 |
| 369 | 369 |
| 370 int LChunkBase::NearestGapPos(int index) const { | 370 int LChunk::NearestGapPos(int index) const { |
| 371 while (!IsGapAt(index)) index--; | 371 while (!IsGapAt(index)) index--; |
| 372 return index; | 372 return index; |
| 373 } | 373 } |
| 374 | 374 |
| 375 | 375 |
| 376 void LChunkBase::AddGapMove(int index, LOperand* from, LOperand* to) { | 376 void LChunk::AddGapMove(int index, LOperand* from, LOperand* to) { |
| 377 GetGapAt(index)->GetOrCreateParallelMove( | 377 GetGapAt(index)->GetOrCreateParallelMove( |
| 378 LGap::START, zone())->AddMove(from, to, zone()); | 378 LGap::START, zone())->AddMove(from, to, zone()); |
| 379 } | 379 } |
| 380 | 380 |
| 381 | 381 |
| 382 HConstant* LChunkBase::LookupConstant(LConstantOperand* operand) const { | 382 HConstant* LChunk::LookupConstant(LConstantOperand* operand) const { |
| 383 return HConstant::cast(graph_->LookupValue(operand->index())); | 383 return HConstant::cast(graph_->LookupValue(operand->index())); |
| 384 } | 384 } |
| 385 | 385 |
| 386 | 386 |
| 387 Representation LChunkBase::LookupLiteralRepresentation( | 387 Representation LChunk::LookupLiteralRepresentation( |
| 388 LConstantOperand* operand) const { | 388 LConstantOperand* operand) const { |
| 389 return graph_->LookupValue(operand->index())->representation(); | 389 return graph_->LookupValue(operand->index())->representation(); |
| 390 } | 390 } |
| 391 | 391 |
| 392 | 392 |
| 393 LChunkBase* LChunkBase::NewChunk(HGraph* graph) { | 393 LChunk* LChunk::NewChunk(HGraph* graph) { |
| 394 int values = graph->GetMaximumValueID(); | 394 int values = graph->GetMaximumValueID(); |
| 395 if (values > LUnallocated::kMaxVirtualRegisters) { | 395 if (values > LUnallocated::kMaxVirtualRegisters) { |
| 396 if (FLAG_trace_bailout) { | 396 if (FLAG_trace_bailout) { |
| 397 PrintF("Not enough virtual registers for (values).\n"); | 397 PrintF("Not enough virtual registers for (values).\n"); |
| 398 } | 398 } |
| 399 return NULL; | 399 return NULL; |
| 400 } | 400 } |
| 401 LAllocator allocator(values, graph); | 401 LAllocator allocator(values, graph); |
| 402 LChunkBuilder builder(graph->info(), graph, &allocator); | 402 LChunkBuilder builder(graph->info(), graph, &allocator); |
| 403 LChunkBase* chunk = builder.Build(); | 403 LChunk* chunk = builder.Build(); |
| 404 if (chunk == NULL) return NULL; | 404 if (chunk == NULL) return NULL; |
| 405 | 405 |
| 406 if (!allocator.Allocate(chunk)) { | 406 if (!allocator.Allocate(chunk)) { |
| 407 if (FLAG_trace_bailout) { | 407 if (FLAG_trace_bailout) { |
| 408 PrintF("Not enough virtual registers (regalloc).\n"); | 408 PrintF("Not enough virtual registers (regalloc).\n"); |
| 409 } | 409 } |
| 410 return NULL; | 410 return NULL; |
| 411 } | 411 } |
| 412 | 412 |
| 413 return chunk; | 413 return chunk; |
| 414 } | 414 } |
| 415 | 415 |
| 416 | 416 |
| 417 Handle<Code> LChunkBase::Codegen() { | 417 Handle<Code> LChunk::Codegen() { |
| 418 MacroAssembler assembler(info()->isolate(), NULL, 0); | 418 MacroAssembler assembler(info()->isolate(), NULL, 0); |
| 419 LCodeGen generator(this, &assembler, info()); | 419 LCodeGen generator(this, &assembler, info()); |
| 420 | 420 |
| 421 MarkEmptyBlocks(); | 421 MarkEmptyBlocks(); |
| 422 | 422 |
| 423 if (generator.GenerateCode()) { | 423 if (generator.GenerateCode()) { |
| 424 if (FLAG_trace_codegen) { | 424 if (FLAG_trace_codegen) { |
| 425 PrintF("Crankshaft Compiler - "); | 425 PrintF("Crankshaft Compiler - "); |
| 426 } | 426 } |
| 427 CodeGenerator::MakeCodePrologue(info()); | 427 CodeGenerator::MakeCodePrologue(info()); |
| 428 Code::Flags flags = Code::ComputeFlags(Code::OPTIMIZED_FUNCTION); | 428 Code::Flags flags = Code::ComputeFlags(Code::OPTIMIZED_FUNCTION); |
| 429 Handle<Code> code = | 429 Handle<Code> code = |
| 430 CodeGenerator::MakeCodeEpilogue(&assembler, flags, info()); | 430 CodeGenerator::MakeCodeEpilogue(&assembler, flags, info()); |
| 431 generator.FinishCode(code); | 431 generator.FinishCode(code); |
| 432 CodeGenerator::PrintCode(code, info()); | 432 CodeGenerator::PrintCode(code, info()); |
| 433 return code; | 433 return code; |
| 434 } | 434 } |
| 435 return Handle<Code>::null(); | 435 return Handle<Code>::null(); |
| 436 } | 436 } |
| 437 | 437 |
| 438 | 438 |
| 439 } } // namespace v8::internal | 439 } } // namespace v8::internal |
| OLD | NEW |