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 287 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
298 // compiler and needs to setup everything or the compiler is used as | 298 // compiler and needs to setup everything or the compiler is used as |
299 // the secondary compiler for split compilation and has to handle | 299 // the secondary compiler for split compilation and has to handle |
300 // bailouts. | 300 // bailouts. |
301 enum Mode { | 301 enum Mode { |
302 PRIMARY, | 302 PRIMARY, |
303 SECONDARY | 303 SECONDARY |
304 }; | 304 }; |
305 | 305 |
306 // Takes a function literal, generates code for it. This function should only | 306 // Takes a function literal, generates code for it. This function should only |
307 // be called by compiler.cc. | 307 // be called by compiler.cc. |
308 static Handle<Code> MakeCode(FunctionLiteral* fun, | 308 static Handle<Code> MakeCode(CompilationInfo* info); |
309 Handle<Script> script, | |
310 bool is_eval, | |
311 CompilationInfo* info); | |
312 | 309 |
313 // Printing of AST, etc. as requested by flags. | 310 // Printing of AST, etc. as requested by flags. |
314 static void MakeCodePrologue(FunctionLiteral* fun); | 311 static void MakeCodePrologue(CompilationInfo* info); |
315 | 312 |
316 // Allocate and install the code. | 313 // Allocate and install the code. |
317 static Handle<Code> MakeCodeEpilogue(FunctionLiteral* fun, | 314 static Handle<Code> MakeCodeEpilogue(MacroAssembler* masm, |
318 MacroAssembler* masm, | |
319 Code::Flags flags, | 315 Code::Flags flags, |
320 Handle<Script> script); | 316 CompilationInfo* info); |
321 | 317 |
322 #ifdef ENABLE_LOGGING_AND_PROFILING | 318 #ifdef ENABLE_LOGGING_AND_PROFILING |
323 static bool ShouldGenerateLog(Expression* type); | 319 static bool ShouldGenerateLog(Expression* type); |
324 #endif | 320 #endif |
325 | 321 |
326 static void RecordPositions(MacroAssembler* masm, int pos); | 322 static void RecordPositions(MacroAssembler* masm, int pos); |
327 | 323 |
328 // Accessors | 324 // Accessors |
329 MacroAssembler* masm() { return masm_; } | 325 MacroAssembler* masm() { return masm_; } |
330 VirtualFrame* frame() const { return frame_; } | 326 VirtualFrame* frame() const { return frame_; } |
331 Handle<Script> script() { return script_; } | 327 inline Handle<Script> script(); |
332 | 328 |
333 bool has_valid_frame() const { return frame_ != NULL; } | 329 bool has_valid_frame() const { return frame_ != NULL; } |
334 | 330 |
335 // Set the virtual frame to be new_frame, with non-frame register | 331 // Set the virtual frame to be new_frame, with non-frame register |
336 // reference counts given by non_frame_registers. The non-frame | 332 // reference counts given by non_frame_registers. The non-frame |
337 // register reference counts of the old frame are returned in | 333 // register reference counts of the old frame are returned in |
338 // non_frame_registers. | 334 // non_frame_registers. |
339 void SetFrame(VirtualFrame* new_frame, RegisterFile* non_frame_registers); | 335 void SetFrame(VirtualFrame* new_frame, RegisterFile* non_frame_registers); |
340 | 336 |
341 void DeleteFrame(); | 337 void DeleteFrame(); |
342 | 338 |
343 RegisterAllocator* allocator() const { return allocator_; } | 339 RegisterAllocator* allocator() const { return allocator_; } |
344 | 340 |
345 CodeGenState* state() { return state_; } | 341 CodeGenState* state() { return state_; } |
346 void set_state(CodeGenState* state) { state_ = state; } | 342 void set_state(CodeGenState* state) { state_ = state; } |
347 | 343 |
348 void AddDeferred(DeferredCode* code) { deferred_.Add(code); } | 344 void AddDeferred(DeferredCode* code) { deferred_.Add(code); } |
349 | 345 |
350 bool in_spilled_code() const { return in_spilled_code_; } | 346 bool in_spilled_code() const { return in_spilled_code_; } |
351 void set_in_spilled_code(bool flag) { in_spilled_code_ = flag; } | 347 void set_in_spilled_code(bool flag) { in_spilled_code_ = flag; } |
352 | 348 |
353 private: | 349 private: |
354 // Construction/Destruction | 350 // Construction/Destruction |
355 CodeGenerator(MacroAssembler* masm, Handle<Script> script, bool is_eval); | 351 CodeGenerator(MacroAssembler* masm); |
356 | 352 |
357 // Accessors | 353 // Accessors |
358 Scope* scope() const { return scope_; } | 354 inline bool is_eval(); |
| 355 Scope* scope(); |
359 | 356 |
360 // Generating deferred code. | 357 // Generating deferred code. |
361 void ProcessDeferred(); | 358 void ProcessDeferred(); |
362 | 359 |
363 bool is_eval() { return is_eval_; } | |
364 | |
365 // State | 360 // State |
366 ControlDestination* destination() const { return state_->destination(); } | 361 ControlDestination* destination() const { return state_->destination(); } |
367 | 362 |
368 // Track loop nesting level. | 363 // Track loop nesting level. |
369 int loop_nesting() const { return loop_nesting_; } | 364 int loop_nesting() const { return loop_nesting_; } |
370 void IncrementLoopNesting() { loop_nesting_++; } | 365 void IncrementLoopNesting() { loop_nesting_++; } |
371 void DecrementLoopNesting() { loop_nesting_--; } | 366 void DecrementLoopNesting() { loop_nesting_--; } |
372 | 367 |
373 | 368 |
374 // Node visitors. | 369 // Node visitors. |
375 void VisitStatements(ZoneList<Statement*>* statements); | 370 void VisitStatements(ZoneList<Statement*>* statements); |
376 | 371 |
377 #define DEF_VISIT(type) \ | 372 #define DEF_VISIT(type) \ |
378 void Visit##type(type* node); | 373 void Visit##type(type* node); |
379 AST_NODE_LIST(DEF_VISIT) | 374 AST_NODE_LIST(DEF_VISIT) |
380 #undef DEF_VISIT | 375 #undef DEF_VISIT |
381 | 376 |
382 // Visit a statement and then spill the virtual frame if control flow can | 377 // Visit a statement and then spill the virtual frame if control flow can |
383 // reach the end of the statement (ie, it does not exit via break, | 378 // reach the end of the statement (ie, it does not exit via break, |
384 // continue, return, or throw). This function is used temporarily while | 379 // continue, return, or throw). This function is used temporarily while |
385 // the code generator is being transformed. | 380 // the code generator is being transformed. |
386 void VisitAndSpill(Statement* statement); | 381 void VisitAndSpill(Statement* statement); |
387 | 382 |
388 // Visit a list of statements and then spill the virtual frame if control | 383 // Visit a list of statements and then spill the virtual frame if control |
389 // flow can reach the end of the list. | 384 // flow can reach the end of the list. |
390 void VisitStatementsAndSpill(ZoneList<Statement*>* statements); | 385 void VisitStatementsAndSpill(ZoneList<Statement*>* statements); |
391 | 386 |
392 // Main code generation function | 387 // Main code generation function |
393 void Generate(FunctionLiteral* fun, Mode mode, CompilationInfo* info); | 388 void Generate(CompilationInfo* info, Mode mode); |
394 | 389 |
395 // Generate the return sequence code. Should be called no more than | 390 // Generate the return sequence code. Should be called no more than |
396 // once per compiled function, immediately after binding the return | 391 // once per compiled function, immediately after binding the return |
397 // target (which can not be done more than once). | 392 // target (which can not be done more than once). |
398 void GenerateReturnSequence(Result* return_value); | 393 void GenerateReturnSequence(Result* return_value); |
399 | 394 |
400 // Returns the arguments allocation mode. | 395 // Returns the arguments allocation mode. |
401 ArgumentsAllocationMode ArgumentsMode() const; | 396 ArgumentsAllocationMode ArgumentsMode(); |
402 | 397 |
403 // Store the arguments object and allocate it if necessary. | 398 // Store the arguments object and allocate it if necessary. |
404 Result StoreArgumentsObject(bool initial); | 399 Result StoreArgumentsObject(bool initial); |
405 | 400 |
406 // The following are used by class Reference. | 401 // The following are used by class Reference. |
407 void LoadReference(Reference* ref); | 402 void LoadReference(Reference* ref); |
408 void UnloadReference(Reference* ref); | 403 void UnloadReference(Reference* ref); |
409 | 404 |
410 static Operand ContextOperand(Register context, int index) { | 405 static Operand ContextOperand(Register context, int index) { |
411 return Operand(context, Context::SlotOffset(index)); | 406 return Operand(context, Context::SlotOffset(index)); |
(...skipping 185 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
597 void CodeForStatementPosition(Statement* node); | 592 void CodeForStatementPosition(Statement* node); |
598 void CodeForDoWhileConditionPosition(DoWhileStatement* stmt); | 593 void CodeForDoWhileConditionPosition(DoWhileStatement* stmt); |
599 void CodeForSourcePosition(int pos); | 594 void CodeForSourcePosition(int pos); |
600 | 595 |
601 #ifdef DEBUG | 596 #ifdef DEBUG |
602 // True if the registers are valid for entry to a block. There should | 597 // True if the registers are valid for entry to a block. There should |
603 // be no frame-external references to (non-reserved) registers. | 598 // be no frame-external references to (non-reserved) registers. |
604 bool HasValidEntryRegisters(); | 599 bool HasValidEntryRegisters(); |
605 #endif | 600 #endif |
606 | 601 |
607 bool is_eval_; // Tells whether code is generated for eval. | |
608 Handle<Script> script_; | |
609 ZoneList<DeferredCode*> deferred_; | 602 ZoneList<DeferredCode*> deferred_; |
610 | 603 |
611 // Assembler | 604 // Assembler |
612 MacroAssembler* masm_; // to generate code | 605 MacroAssembler* masm_; // to generate code |
613 | 606 |
| 607 CompilationInfo* info_; |
| 608 |
614 // Code generation state | 609 // Code generation state |
615 Scope* scope_; | |
616 VirtualFrame* frame_; | 610 VirtualFrame* frame_; |
617 RegisterAllocator* allocator_; | 611 RegisterAllocator* allocator_; |
618 CodeGenState* state_; | 612 CodeGenState* state_; |
619 int loop_nesting_; | 613 int loop_nesting_; |
620 | 614 |
621 // Jump targets. | 615 // Jump targets. |
622 // The target of the return from the function. | 616 // The target of the return from the function. |
623 BreakTarget function_return_; | 617 BreakTarget function_return_; |
624 | 618 |
625 // True if the function return is shadowed (ie, jumping to the target | 619 // True if the function return is shadowed (ie, jumping to the target |
(...skipping 197 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
823 Major MajorKey() { return StringCompare; } | 817 Major MajorKey() { return StringCompare; } |
824 int MinorKey() { return 0; } | 818 int MinorKey() { return 0; } |
825 | 819 |
826 void Generate(MacroAssembler* masm); | 820 void Generate(MacroAssembler* masm); |
827 }; | 821 }; |
828 | 822 |
829 | 823 |
830 } } // namespace v8::internal | 824 } } // namespace v8::internal |
831 | 825 |
832 #endif // V8_X64_CODEGEN_X64_H_ | 826 #endif // V8_X64_CODEGEN_X64_H_ |
OLD | NEW |