| 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 736 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 747 PrepareForBailout(expr, TOS_REG); | 747 PrepareForBailout(expr, TOS_REG); |
| 748 if (should_normalize) { | 748 if (should_normalize) { |
| 749 __ cmp(eax, isolate()->factory()->true_value()); | 749 __ cmp(eax, isolate()->factory()->true_value()); |
| 750 Split(equal, if_true, if_false, NULL); | 750 Split(equal, if_true, if_false, NULL); |
| 751 __ bind(&skip); | 751 __ bind(&skip); |
| 752 } | 752 } |
| 753 } | 753 } |
| 754 | 754 |
| 755 | 755 |
| 756 void FullCodeGenerator::EmitDebugCheckDeclarationContext(Variable* variable) { | 756 void FullCodeGenerator::EmitDebugCheckDeclarationContext(Variable* variable) { |
| 757 // The variable in the declaration always resides in the current function | 757 // The variable in the declaration always resides in the current context. |
| 758 // context. | |
| 759 ASSERT_EQ(0, scope()->ContextChainLength(variable->scope())); | 758 ASSERT_EQ(0, scope()->ContextChainLength(variable->scope())); |
| 760 if (generate_debug_code_) { | 759 if (generate_debug_code_) { |
| 761 // Check that we're not inside a with or catch context. | 760 // Check that we're not inside a with or catch context. |
| 762 __ mov(ebx, FieldOperand(esi, HeapObject::kMapOffset)); | 761 __ mov(ebx, FieldOperand(esi, HeapObject::kMapOffset)); |
| 763 __ cmp(ebx, isolate()->factory()->with_context_map()); | 762 __ cmp(ebx, isolate()->factory()->with_context_map()); |
| 764 __ Check(not_equal, "Declaration in with context."); | 763 __ Check(not_equal, "Declaration in with context."); |
| 765 __ cmp(ebx, isolate()->factory()->catch_context_map()); | 764 __ cmp(ebx, isolate()->factory()->catch_context_map()); |
| 766 __ Check(not_equal, "Declaration in catch context."); | 765 __ Check(not_equal, "Declaration in catch context."); |
| 767 } | 766 } |
| 768 } | 767 } |
| (...skipping 108 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 877 __ push(Immediate(Smi::FromInt(NONE))); | 876 __ push(Immediate(Smi::FromInt(NONE))); |
| 878 VisitForStackValue(declaration->fun()); | 877 VisitForStackValue(declaration->fun()); |
| 879 __ CallRuntime(Runtime::kDeclareContextSlot, 4); | 878 __ CallRuntime(Runtime::kDeclareContextSlot, 4); |
| 880 break; | 879 break; |
| 881 } | 880 } |
| 882 } | 881 } |
| 883 } | 882 } |
| 884 | 883 |
| 885 | 884 |
| 886 void FullCodeGenerator::VisitModuleDeclaration(ModuleDeclaration* declaration) { | 885 void FullCodeGenerator::VisitModuleDeclaration(ModuleDeclaration* declaration) { |
| 887 VariableProxy* proxy = declaration->proxy(); | 886 Variable* variable = declaration->proxy()->var(); |
| 888 Variable* variable = proxy->var(); | 887 ASSERT(variable->location() == Variable::CONTEXT); |
| 889 Handle<JSModule> instance = declaration->module()->interface()->Instance(); | 888 ASSERT(variable->interface()->IsFrozen()); |
| 890 ASSERT(!instance.is_null()); | |
| 891 | 889 |
| 892 switch (variable->location()) { | 890 Comment cmnt(masm_, "[ ModuleDeclaration"); |
| 893 case Variable::UNALLOCATED: { | 891 EmitDebugCheckDeclarationContext(variable); |
| 894 Comment cmnt(masm_, "[ ModuleDeclaration"); | |
| 895 globals_->Add(variable->name(), zone()); | |
| 896 globals_->Add(instance, zone()); | |
| 897 Visit(declaration->module()); | |
| 898 break; | |
| 899 } | |
| 900 | 892 |
| 901 case Variable::CONTEXT: { | 893 // Load instance object. |
| 902 Comment cmnt(masm_, "[ ModuleDeclaration"); | 894 __ LoadContext(eax, scope_->ContextChainLength(scope_->GlobalScope())); |
| 903 EmitDebugCheckDeclarationContext(variable); | 895 __ mov(eax, ContextOperand(eax, variable->interface()->Index())); |
| 904 __ mov(ContextOperand(esi, variable->index()), Immediate(instance)); | 896 __ mov(eax, ContextOperand(eax, Context::EXTENSION_INDEX)); |
| 905 Visit(declaration->module()); | |
| 906 break; | |
| 907 } | |
| 908 | 897 |
| 909 case Variable::PARAMETER: | 898 // Assign it. |
| 910 case Variable::LOCAL: | 899 __ mov(ContextOperand(esi, variable->index()), eax); |
| 911 case Variable::LOOKUP: | 900 // We know that we have written a module, which is not a smi. |
| 912 UNREACHABLE(); | 901 __ RecordWriteContextSlot(esi, |
| 913 } | 902 Context::SlotOffset(variable->index()), |
| 903 eax, |
| 904 ecx, |
| 905 kDontSaveFPRegs, |
| 906 EMIT_REMEMBERED_SET, |
| 907 OMIT_SMI_CHECK); |
| 908 PrepareForBailoutForId(declaration->proxy()->id(), NO_REGISTERS); |
| 909 |
| 910 // Traverse into body. |
| 911 Visit(declaration->module()); |
| 914 } | 912 } |
| 915 | 913 |
| 916 | 914 |
| 917 void FullCodeGenerator::VisitImportDeclaration(ImportDeclaration* declaration) { | 915 void FullCodeGenerator::VisitImportDeclaration(ImportDeclaration* declaration) { |
| 918 VariableProxy* proxy = declaration->proxy(); | 916 VariableProxy* proxy = declaration->proxy(); |
| 919 Variable* variable = proxy->var(); | 917 Variable* variable = proxy->var(); |
| 920 switch (variable->location()) { | 918 switch (variable->location()) { |
| 921 case Variable::UNALLOCATED: | 919 case Variable::UNALLOCATED: |
| 922 // TODO(rossberg) | 920 // TODO(rossberg) |
| 923 break; | 921 break; |
| (...skipping 14 matching lines...) Expand all Loading... |
| 938 | 936 |
| 939 | 937 |
| 940 void FullCodeGenerator::VisitExportDeclaration(ExportDeclaration* declaration) { | 938 void FullCodeGenerator::VisitExportDeclaration(ExportDeclaration* declaration) { |
| 941 // TODO(rossberg) | 939 // TODO(rossberg) |
| 942 } | 940 } |
| 943 | 941 |
| 944 | 942 |
| 945 void FullCodeGenerator::DeclareGlobals(Handle<FixedArray> pairs) { | 943 void FullCodeGenerator::DeclareGlobals(Handle<FixedArray> pairs) { |
| 946 // Call the runtime to declare the globals. | 944 // Call the runtime to declare the globals. |
| 947 __ push(esi); // The context is the first argument. | 945 __ push(esi); // The context is the first argument. |
| 948 __ push(Immediate(pairs)); | 946 __ Push(pairs); |
| 949 __ push(Immediate(Smi::FromInt(DeclareGlobalsFlags()))); | 947 __ Push(Smi::FromInt(DeclareGlobalsFlags())); |
| 950 __ CallRuntime(Runtime::kDeclareGlobals, 3); | 948 __ CallRuntime(Runtime::kDeclareGlobals, 3); |
| 951 // Return value is ignored. | 949 // Return value is ignored. |
| 952 } | 950 } |
| 953 | 951 |
| 954 | 952 |
| 953 void FullCodeGenerator::DeclareModules(Handle<FixedArray> descriptions) { |
| 954 // Call the runtime to declare the modules. |
| 955 __ Push(descriptions); |
| 956 __ CallRuntime(Runtime::kDeclareModules, 1); |
| 957 // Return value is ignored. |
| 958 } |
| 959 |
| 960 |
| 955 void FullCodeGenerator::VisitSwitchStatement(SwitchStatement* stmt) { | 961 void FullCodeGenerator::VisitSwitchStatement(SwitchStatement* stmt) { |
| 956 Comment cmnt(masm_, "[ SwitchStatement"); | 962 Comment cmnt(masm_, "[ SwitchStatement"); |
| 957 Breakable nested_statement(this, stmt); | 963 Breakable nested_statement(this, stmt); |
| 958 SetStatementPosition(stmt); | 964 SetStatementPosition(stmt); |
| 959 | 965 |
| 960 // Keep the switch value on the stack until a case matches. | 966 // Keep the switch value on the stack until a case matches. |
| 961 VisitForStackValue(stmt->tag()); | 967 VisitForStackValue(stmt->tag()); |
| 962 PrepareForBailoutForId(stmt->EntryId(), NO_REGISTERS); | 968 PrepareForBailoutForId(stmt->EntryId(), NO_REGISTERS); |
| 963 | 969 |
| 964 ZoneList<CaseClause*>* clauses = stmt->cases(); | 970 ZoneList<CaseClause*>* clauses = stmt->cases(); |
| (...skipping 374 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1339 // eval-introduced variables. Eval is used a lot without | 1345 // eval-introduced variables. Eval is used a lot without |
| 1340 // introducing variables. In those cases, we do not want to | 1346 // introducing variables. In those cases, we do not want to |
| 1341 // perform a runtime call for all variables in the scope | 1347 // perform a runtime call for all variables in the scope |
| 1342 // containing the eval. | 1348 // containing the eval. |
| 1343 if (var->mode() == DYNAMIC_GLOBAL) { | 1349 if (var->mode() == DYNAMIC_GLOBAL) { |
| 1344 EmitLoadGlobalCheckExtensions(var, typeof_state, slow); | 1350 EmitLoadGlobalCheckExtensions(var, typeof_state, slow); |
| 1345 __ jmp(done); | 1351 __ jmp(done); |
| 1346 } else if (var->mode() == DYNAMIC_LOCAL) { | 1352 } else if (var->mode() == DYNAMIC_LOCAL) { |
| 1347 Variable* local = var->local_if_not_shadowed(); | 1353 Variable* local = var->local_if_not_shadowed(); |
| 1348 __ mov(eax, ContextSlotOperandCheckExtensions(local, slow)); | 1354 __ mov(eax, ContextSlotOperandCheckExtensions(local, slow)); |
| 1349 if (local->mode() == CONST || | 1355 if (local->mode() == LET || |
| 1350 local->mode() == CONST_HARMONY || | 1356 local->mode() == CONST || |
| 1351 local->mode() == LET) { | 1357 local->mode() == CONST_HARMONY) { |
| 1352 __ cmp(eax, isolate()->factory()->the_hole_value()); | 1358 __ cmp(eax, isolate()->factory()->the_hole_value()); |
| 1353 __ j(not_equal, done); | 1359 __ j(not_equal, done); |
| 1354 if (local->mode() == CONST) { | 1360 if (local->mode() == CONST) { |
| 1355 __ mov(eax, isolate()->factory()->undefined_value()); | 1361 __ mov(eax, isolate()->factory()->undefined_value()); |
| 1356 } else { // LET || CONST_HARMONY | 1362 } else { // LET || CONST_HARMONY |
| 1357 __ push(Immediate(var->name())); | 1363 __ push(Immediate(var->name())); |
| 1358 __ CallRuntime(Runtime::kThrowReferenceError, 1); | 1364 __ CallRuntime(Runtime::kThrowReferenceError, 1); |
| 1359 } | 1365 } |
| 1360 } | 1366 } |
| 1361 __ jmp(done); | 1367 __ jmp(done); |
| (...skipping 3155 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4517 *stack_depth = 0; | 4523 *stack_depth = 0; |
| 4518 *context_length = 0; | 4524 *context_length = 0; |
| 4519 return previous_; | 4525 return previous_; |
| 4520 } | 4526 } |
| 4521 | 4527 |
| 4522 #undef __ | 4528 #undef __ |
| 4523 | 4529 |
| 4524 } } // namespace v8::internal | 4530 } } // namespace v8::internal |
| 4525 | 4531 |
| 4526 #endif // V8_TARGET_ARCH_IA32 | 4532 #endif // V8_TARGET_ARCH_IA32 |
| OLD | NEW |