| 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 24 matching lines...) Expand all Loading... |
| 35 | 35 |
| 36 namespace v8 { | 36 namespace v8 { |
| 37 namespace internal { | 37 namespace internal { |
| 38 | 38 |
| 39 class FastCodeGenSyntaxChecker: public AstVisitor { | 39 class FastCodeGenSyntaxChecker: public AstVisitor { |
| 40 public: | 40 public: |
| 41 explicit FastCodeGenSyntaxChecker() | 41 explicit FastCodeGenSyntaxChecker() |
| 42 : info_(NULL), has_supported_syntax_(true) { | 42 : info_(NULL), has_supported_syntax_(true) { |
| 43 } | 43 } |
| 44 | 44 |
| 45 void Check(FunctionLiteral* fun, CompilationInfo* info); | 45 void Check(CompilationInfo* info); |
| 46 | 46 |
| 47 CompilationInfo* info() { return info_; } | 47 CompilationInfo* info() { return info_; } |
| 48 bool has_supported_syntax() { return has_supported_syntax_; } | 48 bool has_supported_syntax() { return has_supported_syntax_; } |
| 49 | 49 |
| 50 private: | 50 private: |
| 51 void VisitDeclarations(ZoneList<Declaration*>* decls); | 51 void VisitDeclarations(ZoneList<Declaration*>* decls); |
| 52 void VisitStatements(ZoneList<Statement*>* stmts); | 52 void VisitStatements(ZoneList<Statement*>* stmts); |
| 53 | 53 |
| 54 // AST node visit functions. | 54 // AST node visit functions. |
| 55 #define DECLARE_VISIT(type) virtual void Visit##type(type* node); | 55 #define DECLARE_VISIT(type) virtual void Visit##type(type* node); |
| 56 AST_NODE_LIST(DECLARE_VISIT) | 56 AST_NODE_LIST(DECLARE_VISIT) |
| 57 #undef DECLARE_VISIT | 57 #undef DECLARE_VISIT |
| 58 | 58 |
| 59 CompilationInfo* info_; | 59 CompilationInfo* info_; |
| 60 bool has_supported_syntax_; | 60 bool has_supported_syntax_; |
| 61 | 61 |
| 62 DISALLOW_COPY_AND_ASSIGN(FastCodeGenSyntaxChecker); | 62 DISALLOW_COPY_AND_ASSIGN(FastCodeGenSyntaxChecker); |
| 63 }; | 63 }; |
| 64 | 64 |
| 65 | 65 |
| 66 class FastCodeGenerator: public AstVisitor { | 66 class FastCodeGenerator: public AstVisitor { |
| 67 public: | 67 public: |
| 68 FastCodeGenerator(MacroAssembler* masm, Handle<Script> script, bool is_eval) | 68 FastCodeGenerator(MacroAssembler* masm) : masm_(masm), info_(NULL) {} |
| 69 : masm_(masm), | |
| 70 script_(script), | |
| 71 is_eval_(is_eval), | |
| 72 function_(NULL), | |
| 73 info_(NULL) { | |
| 74 } | |
| 75 | 69 |
| 76 static Handle<Code> MakeCode(FunctionLiteral* fun, | 70 static Handle<Code> MakeCode(CompilationInfo* info); |
| 77 Handle<Script> script, | |
| 78 bool is_eval, | |
| 79 CompilationInfo* info); | |
| 80 | 71 |
| 81 void Generate(FunctionLiteral* fun, CompilationInfo* info); | 72 void Generate(CompilationInfo* info); |
| 82 | 73 |
| 83 private: | 74 private: |
| 84 MacroAssembler* masm() { return masm_; } | 75 MacroAssembler* masm() { return masm_; } |
| 85 FunctionLiteral* function() { return function_; } | |
| 86 Label* bailout() { return &bailout_; } | 76 Label* bailout() { return &bailout_; } |
| 87 | 77 |
| 88 bool has_receiver() { return !info_->receiver().is_null(); } | 78 bool has_receiver() { return !info_->receiver().is_null(); } |
| 89 Handle<Object> receiver() { return info_->receiver(); } | 79 Handle<Object> receiver() { return info_->receiver(); } |
| 90 bool has_this_properties() { return info_->has_this_properties(); } | 80 bool has_this_properties() { return info_->has_this_properties(); } |
| 81 FunctionLiteral* function() { return info_->function(); } |
| 82 Scope* scope() { return info_->scope(); } |
| 91 | 83 |
| 92 // AST node visit functions. | 84 // AST node visit functions. |
| 93 #define DECLARE_VISIT(type) virtual void Visit##type(type* node); | 85 #define DECLARE_VISIT(type) virtual void Visit##type(type* node); |
| 94 AST_NODE_LIST(DECLARE_VISIT) | 86 AST_NODE_LIST(DECLARE_VISIT) |
| 95 #undef DECLARE_VISIT | 87 #undef DECLARE_VISIT |
| 96 | 88 |
| 97 // Emit code to load the receiver from the stack into a given register. | 89 // Emit code to load the receiver from the stack into a given register. |
| 98 void EmitLoadReceiver(Register reg); | 90 void EmitLoadReceiver(Register reg); |
| 99 | 91 |
| 100 // Emit code to check that the receiver has the same map as the | 92 // Emit code to check that the receiver has the same map as the |
| 101 // compile-time receiver. Receiver is expected in {ia32-edx, x64-rdx, | 93 // compile-time receiver. Receiver is expected in {ia32-edx, x64-rdx, |
| 102 // arm-r1}. Emit a branch to the (single) bailout label if check fails. | 94 // arm-r1}. Emit a branch to the (single) bailout label if check fails. |
| 103 void EmitReceiverMapCheck(); | 95 void EmitReceiverMapCheck(); |
| 104 | 96 |
| 105 // Emit code to load a global variable value into {is32-eax, x64-rax, | 97 // Emit code to load a global variable value into {is32-eax, x64-rax, |
| 106 // arm-r0}. Register {ia32-edx, x64-rdx, arm-r1} is preserved if it is | 98 // arm-r0}. Register {ia32-edx, x64-rdx, arm-r1} is preserved if it is |
| 107 // holding the receiver and {is32-ecx, x64-rcx, arm-r2} is always | 99 // holding the receiver and {is32-ecx, x64-rcx, arm-r2} is always |
| 108 // clobbered. | 100 // clobbered. |
| 109 void EmitGlobalVariableLoad(Handle<String> name); | 101 void EmitGlobalVariableLoad(Handle<String> name); |
| 110 | 102 |
| 111 // Emit a store to an own property of this. The stored value is expected | 103 // Emit a store to an own property of this. The stored value is expected |
| 112 // in {ia32-eax, x64-rax, arm-r0} and the receiver in {is32-edx, x64-rdx, | 104 // in {ia32-eax, x64-rax, arm-r0} and the receiver in {is32-edx, x64-rdx, |
| 113 // arm-r1}. Both are preserve. | 105 // arm-r1}. Both are preserve. |
| 114 void EmitThisPropertyStore(Handle<String> name); | 106 void EmitThisPropertyStore(Handle<String> name); |
| 115 | 107 |
| 116 MacroAssembler* masm_; | 108 MacroAssembler* masm_; |
| 117 Handle<Script> script_; | |
| 118 bool is_eval_; | |
| 119 | 109 |
| 120 FunctionLiteral* function_; | |
| 121 CompilationInfo* info_; | 110 CompilationInfo* info_; |
| 122 | 111 |
| 123 Label bailout_; | 112 Label bailout_; |
| 124 | 113 |
| 125 DISALLOW_COPY_AND_ASSIGN(FastCodeGenerator); | 114 DISALLOW_COPY_AND_ASSIGN(FastCodeGenerator); |
| 126 }; | 115 }; |
| 127 | 116 |
| 128 | 117 |
| 129 } } // namespace v8::internal | 118 } } // namespace v8::internal |
| 130 | 119 |
| 131 #endif // V8_FAST_CODEGEN_H_ | 120 #endif // V8_FAST_CODEGEN_H_ |
| OLD | NEW |