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 173 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
184 dynamics_ = NULL; | 184 dynamics_ = NULL; |
185 receiver_ = NULL; | 185 receiver_ = NULL; |
186 function_ = NULL; | 186 function_ = NULL; |
187 arguments_ = NULL; | 187 arguments_ = NULL; |
188 illegal_redecl_ = NULL; | 188 illegal_redecl_ = NULL; |
189 scope_inside_with_ = false; | 189 scope_inside_with_ = false; |
190 scope_contains_with_ = false; | 190 scope_contains_with_ = false; |
191 scope_calls_eval_ = false; | 191 scope_calls_eval_ = false; |
192 // Inherit the strict mode from the parent scope. | 192 // Inherit the strict mode from the parent scope. |
193 language_mode_ = (outer_scope != NULL) | 193 language_mode_ = (outer_scope != NULL) |
194 ? outer_scope->language_mode_ : CLASSIC_MODE; | 194 ? outer_scope->language_mode_ : SLOPPY_MODE; |
195 outer_scope_calls_non_strict_eval_ = false; | 195 outer_scope_calls_sloppy_eval_ = false; |
196 inner_scope_calls_eval_ = false; | 196 inner_scope_calls_eval_ = false; |
197 force_eager_compilation_ = false; | 197 force_eager_compilation_ = false; |
198 force_context_allocation_ = (outer_scope != NULL && !is_function_scope()) | 198 force_context_allocation_ = (outer_scope != NULL && !is_function_scope()) |
199 ? outer_scope->has_forced_context_allocation() : false; | 199 ? outer_scope->has_forced_context_allocation() : false; |
200 num_var_or_const_ = 0; | 200 num_var_or_const_ = 0; |
201 num_stack_slots_ = 0; | 201 num_stack_slots_ = 0; |
202 num_heap_slots_ = 0; | 202 num_heap_slots_ = 0; |
203 num_modules_ = 0; | 203 num_modules_ = 0; |
204 module_var_ = NULL, | 204 module_var_ = NULL, |
205 scope_info_ = scope_info; | 205 scope_info_ = scope_info; |
(...skipping 430 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
636 } else if (var->IsContextSlot()) { | 636 } else if (var->IsContextSlot()) { |
637 context_locals->Add(var, zone()); | 637 context_locals->Add(var, zone()); |
638 } | 638 } |
639 } | 639 } |
640 } | 640 } |
641 | 641 |
642 | 642 |
643 bool Scope::AllocateVariables(CompilationInfo* info, | 643 bool Scope::AllocateVariables(CompilationInfo* info, |
644 AstNodeFactory<AstNullVisitor>* factory) { | 644 AstNodeFactory<AstNullVisitor>* factory) { |
645 // 1) Propagate scope information. | 645 // 1) Propagate scope information. |
646 bool outer_scope_calls_non_strict_eval = false; | 646 bool outer_scope_calls_sloppy_eval = false; |
647 if (outer_scope_ != NULL) { | 647 if (outer_scope_ != NULL) { |
648 outer_scope_calls_non_strict_eval = | 648 outer_scope_calls_sloppy_eval = |
649 outer_scope_->outer_scope_calls_non_strict_eval() | | 649 outer_scope_->outer_scope_calls_sloppy_eval() | |
650 outer_scope_->calls_non_strict_eval(); | 650 outer_scope_->calls_sloppy_eval(); |
651 } | 651 } |
652 PropagateScopeInfo(outer_scope_calls_non_strict_eval); | 652 PropagateScopeInfo(outer_scope_calls_sloppy_eval); |
653 | 653 |
654 // 2) Allocate module instances. | 654 // 2) Allocate module instances. |
655 if (FLAG_harmony_modules && (is_global_scope() || is_module_scope())) { | 655 if (FLAG_harmony_modules && (is_global_scope() || is_module_scope())) { |
656 ASSERT(num_modules_ == 0); | 656 ASSERT(num_modules_ == 0); |
657 AllocateModulesRecursively(this); | 657 AllocateModulesRecursively(this); |
658 } | 658 } |
659 | 659 |
660 // 3) Resolve variables. | 660 // 3) Resolve variables. |
661 if (!ResolveVariablesRecursively(info, factory)) return false; | 661 if (!ResolveVariablesRecursively(info, factory)) return false; |
662 | 662 |
(...skipping 212 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
875 Indent(n1, "// (local) function name: "); | 875 Indent(n1, "// (local) function name: "); |
876 PrintName(function_->proxy()->name()); | 876 PrintName(function_->proxy()->name()); |
877 PrintF("\n"); | 877 PrintF("\n"); |
878 } | 878 } |
879 | 879 |
880 // Scope info. | 880 // Scope info. |
881 if (HasTrivialOuterContext()) { | 881 if (HasTrivialOuterContext()) { |
882 Indent(n1, "// scope has trivial outer context\n"); | 882 Indent(n1, "// scope has trivial outer context\n"); |
883 } | 883 } |
884 switch (language_mode()) { | 884 switch (language_mode()) { |
885 case CLASSIC_MODE: | 885 case SLOPPY_MODE: |
886 break; | 886 break; |
887 case STRICT_MODE: | 887 case STRICT_MODE: |
888 Indent(n1, "// strict mode scope\n"); | 888 Indent(n1, "// strict mode scope\n"); |
889 break; | 889 break; |
890 case EXTENDED_MODE: | 890 case EXTENDED_MODE: |
891 Indent(n1, "// extended mode scope\n"); | 891 Indent(n1, "// extended mode scope\n"); |
892 break; | 892 break; |
893 } | 893 } |
894 if (scope_inside_with_) Indent(n1, "// scope inside 'with'\n"); | 894 if (scope_inside_with_) Indent(n1, "// scope inside 'with'\n"); |
895 if (scope_contains_with_) Indent(n1, "// scope contains 'with'\n"); | 895 if (scope_contains_with_) Indent(n1, "// scope contains 'with'\n"); |
896 if (scope_calls_eval_) Indent(n1, "// scope calls 'eval'\n"); | 896 if (scope_calls_eval_) Indent(n1, "// scope calls 'eval'\n"); |
897 if (outer_scope_calls_non_strict_eval_) { | 897 if (outer_scope_calls_sloppy_eval_) { |
898 Indent(n1, "// outer scope calls 'eval' in non-strict context\n"); | 898 Indent(n1, "// outer scope calls 'eval' in sloppy context\n"); |
899 } | 899 } |
900 if (inner_scope_calls_eval_) Indent(n1, "// inner scope calls 'eval'\n"); | 900 if (inner_scope_calls_eval_) Indent(n1, "// inner scope calls 'eval'\n"); |
901 if (num_stack_slots_ > 0) { Indent(n1, "// "); | 901 if (num_stack_slots_ > 0) { Indent(n1, "// "); |
902 PrintF("%d stack slots\n", num_stack_slots_); } | 902 PrintF("%d stack slots\n", num_stack_slots_); } |
903 if (num_heap_slots_ > 0) { Indent(n1, "// "); | 903 if (num_heap_slots_ > 0) { Indent(n1, "// "); |
904 PrintF("%d heap slots\n", num_heap_slots_); } | 904 PrintF("%d heap slots\n", num_heap_slots_); } |
905 | 905 |
906 // Print locals. | 906 // Print locals. |
907 if (function_ != NULL) { | 907 if (function_ != NULL) { |
908 Indent(n1, "// function var:\n"); | 908 Indent(n1, "// function var:\n"); |
(...skipping 101 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1010 if (is_with_scope()) { | 1010 if (is_with_scope()) { |
1011 ASSERT(!already_resolved()); | 1011 ASSERT(!already_resolved()); |
1012 // The current scope is a with scope, so the variable binding can not be | 1012 // The current scope is a with scope, so the variable binding can not be |
1013 // statically resolved. However, note that it was necessary to do a lookup | 1013 // statically resolved. However, note that it was necessary to do a lookup |
1014 // in the outer scope anyway, because if a binding exists in an outer scope, | 1014 // in the outer scope anyway, because if a binding exists in an outer scope, |
1015 // the associated variable has to be marked as potentially being accessed | 1015 // the associated variable has to be marked as potentially being accessed |
1016 // from inside of an inner with scope (the property may not be in the 'with' | 1016 // from inside of an inner with scope (the property may not be in the 'with' |
1017 // object). | 1017 // object). |
1018 *binding_kind = DYNAMIC_LOOKUP; | 1018 *binding_kind = DYNAMIC_LOOKUP; |
1019 return NULL; | 1019 return NULL; |
1020 } else if (calls_non_strict_eval()) { | 1020 } else if (calls_sloppy_eval()) { |
1021 // A variable binding may have been found in an outer scope, but the current | 1021 // A variable binding may have been found in an outer scope, but the current |
1022 // scope makes a non-strict 'eval' call, so the found variable may not be | 1022 // scope makes a sloppy 'eval' call, so the found variable may not be |
1023 // the correct one (the 'eval' may introduce a binding with the same name). | 1023 // the correct one (the 'eval' may introduce a binding with the same name). |
1024 // In that case, change the lookup result to reflect this situation. | 1024 // In that case, change the lookup result to reflect this situation. |
1025 if (*binding_kind == BOUND) { | 1025 if (*binding_kind == BOUND) { |
1026 *binding_kind = BOUND_EVAL_SHADOWED; | 1026 *binding_kind = BOUND_EVAL_SHADOWED; |
1027 } else if (*binding_kind == UNBOUND) { | 1027 } else if (*binding_kind == UNBOUND) { |
1028 *binding_kind = UNBOUND_EVAL_SHADOWED; | 1028 *binding_kind = UNBOUND_EVAL_SHADOWED; |
1029 } | 1029 } |
1030 } | 1030 } |
1031 return var; | 1031 return var; |
1032 } | 1032 } |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1064 var->set_local_if_not_shadowed(invalidated); | 1064 var->set_local_if_not_shadowed(invalidated); |
1065 } | 1065 } |
1066 break; | 1066 break; |
1067 | 1067 |
1068 case UNBOUND: | 1068 case UNBOUND: |
1069 // No binding has been found. Declare a variable on the global object. | 1069 // No binding has been found. Declare a variable on the global object. |
1070 var = info->global_scope()->DeclareDynamicGlobal(proxy->name()); | 1070 var = info->global_scope()->DeclareDynamicGlobal(proxy->name()); |
1071 break; | 1071 break; |
1072 | 1072 |
1073 case UNBOUND_EVAL_SHADOWED: | 1073 case UNBOUND_EVAL_SHADOWED: |
1074 // No binding has been found. But some scope makes a | 1074 // No binding has been found. But some scope makes a sloppy 'eval' call. |
1075 // non-strict 'eval' call. | |
1076 var = NonLocal(proxy->name(), DYNAMIC_GLOBAL); | 1075 var = NonLocal(proxy->name(), DYNAMIC_GLOBAL); |
1077 break; | 1076 break; |
1078 | 1077 |
1079 case DYNAMIC_LOOKUP: | 1078 case DYNAMIC_LOOKUP: |
1080 // The variable could not be resolved statically. | 1079 // The variable could not be resolved statically. |
1081 var = NonLocal(proxy->name(), DYNAMIC); | 1080 var = NonLocal(proxy->name(), DYNAMIC); |
1082 break; | 1081 break; |
1083 } | 1082 } |
1084 | 1083 |
1085 ASSERT(var != NULL); | 1084 ASSERT(var != NULL); |
(...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1150 // Resolve unresolved variables for inner scopes. | 1149 // Resolve unresolved variables for inner scopes. |
1151 for (int i = 0; i < inner_scopes_.length(); i++) { | 1150 for (int i = 0; i < inner_scopes_.length(); i++) { |
1152 if (!inner_scopes_[i]->ResolveVariablesRecursively(info, factory)) | 1151 if (!inner_scopes_[i]->ResolveVariablesRecursively(info, factory)) |
1153 return false; | 1152 return false; |
1154 } | 1153 } |
1155 | 1154 |
1156 return true; | 1155 return true; |
1157 } | 1156 } |
1158 | 1157 |
1159 | 1158 |
1160 bool Scope::PropagateScopeInfo(bool outer_scope_calls_non_strict_eval ) { | 1159 bool Scope::PropagateScopeInfo(bool outer_scope_calls_sloppy_eval ) { |
1161 if (outer_scope_calls_non_strict_eval) { | 1160 if (outer_scope_calls_sloppy_eval) { |
1162 outer_scope_calls_non_strict_eval_ = true; | 1161 outer_scope_calls_sloppy_eval_ = true; |
1163 } | 1162 } |
1164 | 1163 |
1165 bool calls_non_strict_eval = | 1164 bool calls_sloppy_eval = |
1166 this->calls_non_strict_eval() || outer_scope_calls_non_strict_eval_; | 1165 this->calls_sloppy_eval() || outer_scope_calls_sloppy_eval_; |
1167 for (int i = 0; i < inner_scopes_.length(); i++) { | 1166 for (int i = 0; i < inner_scopes_.length(); i++) { |
1168 Scope* inner_scope = inner_scopes_[i]; | 1167 Scope* inner_scope = inner_scopes_[i]; |
1169 if (inner_scope->PropagateScopeInfo(calls_non_strict_eval)) { | 1168 if (inner_scope->PropagateScopeInfo(calls_sloppy_eval)) { |
1170 inner_scope_calls_eval_ = true; | 1169 inner_scope_calls_eval_ = true; |
1171 } | 1170 } |
1172 if (inner_scope->force_eager_compilation_) { | 1171 if (inner_scope->force_eager_compilation_) { |
1173 force_eager_compilation_ = true; | 1172 force_eager_compilation_ = true; |
1174 } | 1173 } |
1175 } | 1174 } |
1176 | 1175 |
1177 return scope_calls_eval_ || inner_scope_calls_eval_; | 1176 return scope_calls_eval_ || inner_scope_calls_eval_; |
1178 } | 1177 } |
1179 | 1178 |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1239 void Scope::AllocateHeapSlot(Variable* var) { | 1238 void Scope::AllocateHeapSlot(Variable* var) { |
1240 var->AllocateTo(Variable::CONTEXT, num_heap_slots_++); | 1239 var->AllocateTo(Variable::CONTEXT, num_heap_slots_++); |
1241 } | 1240 } |
1242 | 1241 |
1243 | 1242 |
1244 void Scope::AllocateParameterLocals() { | 1243 void Scope::AllocateParameterLocals() { |
1245 ASSERT(is_function_scope()); | 1244 ASSERT(is_function_scope()); |
1246 Variable* arguments = LocalLookup(isolate_->factory()->arguments_string()); | 1245 Variable* arguments = LocalLookup(isolate_->factory()->arguments_string()); |
1247 ASSERT(arguments != NULL); // functions have 'arguments' declared implicitly | 1246 ASSERT(arguments != NULL); // functions have 'arguments' declared implicitly |
1248 | 1247 |
1249 bool uses_nonstrict_arguments = false; | 1248 bool uses_sloppy_arguments = false; |
1250 | 1249 |
1251 if (MustAllocate(arguments) && !HasArgumentsParameter()) { | 1250 if (MustAllocate(arguments) && !HasArgumentsParameter()) { |
1252 // 'arguments' is used. Unless there is also a parameter called | 1251 // 'arguments' is used. Unless there is also a parameter called |
1253 // 'arguments', we must be conservative and allocate all parameters to | 1252 // 'arguments', we must be conservative and allocate all parameters to |
1254 // the context assuming they will be captured by the arguments object. | 1253 // the context assuming they will be captured by the arguments object. |
1255 // If we have a parameter named 'arguments', a (new) value is always | 1254 // If we have a parameter named 'arguments', a (new) value is always |
1256 // assigned to it via the function invocation. Then 'arguments' denotes | 1255 // assigned to it via the function invocation. Then 'arguments' denotes |
1257 // that specific parameter value and cannot be used to access the | 1256 // that specific parameter value and cannot be used to access the |
1258 // parameters, which is why we don't need to allocate an arguments | 1257 // parameters, which is why we don't need to allocate an arguments |
1259 // object in that case. | 1258 // object in that case. |
1260 | 1259 |
1261 // We are using 'arguments'. Tell the code generator that is needs to | 1260 // We are using 'arguments'. Tell the code generator that is needs to |
1262 // allocate the arguments object by setting 'arguments_'. | 1261 // allocate the arguments object by setting 'arguments_'. |
1263 arguments_ = arguments; | 1262 arguments_ = arguments; |
1264 | 1263 |
1265 // In strict mode 'arguments' does not alias formal parameters. | 1264 // In strict mode 'arguments' does not alias formal parameters. |
1266 // Therefore in strict mode we allocate parameters as if 'arguments' | 1265 // Therefore in strict mode we allocate parameters as if 'arguments' |
1267 // were not used. | 1266 // were not used. |
1268 uses_nonstrict_arguments = is_classic_mode(); | 1267 uses_sloppy_arguments = is_sloppy_mode(); |
1269 } | 1268 } |
1270 | 1269 |
1271 // The same parameter may occur multiple times in the parameters_ list. | 1270 // The same parameter may occur multiple times in the parameters_ list. |
1272 // If it does, and if it is not copied into the context object, it must | 1271 // If it does, and if it is not copied into the context object, it must |
1273 // receive the highest parameter index for that parameter; thus iteration | 1272 // receive the highest parameter index for that parameter; thus iteration |
1274 // order is relevant! | 1273 // order is relevant! |
1275 for (int i = params_.length() - 1; i >= 0; --i) { | 1274 for (int i = params_.length() - 1; i >= 0; --i) { |
1276 Variable* var = params_[i]; | 1275 Variable* var = params_[i]; |
1277 ASSERT(var->scope() == this); | 1276 ASSERT(var->scope() == this); |
1278 if (uses_nonstrict_arguments) { | 1277 if (uses_sloppy_arguments) { |
1279 // Force context allocation of the parameter. | 1278 // Force context allocation of the parameter. |
1280 var->ForceContextAllocation(); | 1279 var->ForceContextAllocation(); |
1281 } | 1280 } |
1282 | 1281 |
1283 if (MustAllocate(var)) { | 1282 if (MustAllocate(var)) { |
1284 if (MustAllocateInContext(var)) { | 1283 if (MustAllocateInContext(var)) { |
1285 ASSERT(var->IsUnallocated() || var->IsContextSlot()); | 1284 ASSERT(var->IsUnallocated() || var->IsContextSlot()); |
1286 if (var->IsUnallocated()) { | 1285 if (var->IsUnallocated()) { |
1287 AllocateHeapSlot(var); | 1286 AllocateHeapSlot(var); |
1288 } | 1287 } |
(...skipping 115 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1404 } | 1403 } |
1405 | 1404 |
1406 | 1405 |
1407 int Scope::ContextLocalCount() const { | 1406 int Scope::ContextLocalCount() const { |
1408 if (num_heap_slots() == 0) return 0; | 1407 if (num_heap_slots() == 0) return 0; |
1409 return num_heap_slots() - Context::MIN_CONTEXT_SLOTS - | 1408 return num_heap_slots() - Context::MIN_CONTEXT_SLOTS - |
1410 (function_ != NULL && function_->proxy()->var()->IsContextSlot() ? 1 : 0); | 1409 (function_ != NULL && function_->proxy()->var()->IsContextSlot() ? 1 : 0); |
1411 } | 1410 } |
1412 | 1411 |
1413 } } // namespace v8::internal | 1412 } } // namespace v8::internal |
OLD | NEW |