OLD | NEW |
1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2008 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 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
113 PrintF("=> found property in context object %p\n", *extension); | 113 PrintF("=> found property in context object %p\n", *extension); |
114 } | 114 } |
115 return extension; | 115 return extension; |
116 } | 116 } |
117 } | 117 } |
118 | 118 |
119 if (context->is_function_context()) { | 119 if (context->is_function_context()) { |
120 // we have context-local slots | 120 // we have context-local slots |
121 | 121 |
122 // check non-parameter locals in context | 122 // check non-parameter locals in context |
123 Handle<Object> scope_info(context->closure()->shared()->scope_info()); | 123 Handle<SerializedScopeInfo> scope_info( |
| 124 context->closure()->shared()->scope_info()); |
124 Variable::Mode mode; | 125 Variable::Mode mode; |
125 int index = ScopeInfo<>::ContextSlotIndex(*scope_info, *name, &mode); | 126 int index = scope_info->ContextSlotIndex(*name, &mode); |
126 ASSERT(index < 0 || index >= MIN_CONTEXT_SLOTS); | 127 ASSERT(index < 0 || index >= MIN_CONTEXT_SLOTS); |
127 if (index >= 0) { | 128 if (index >= 0) { |
128 // slot found | 129 // slot found |
129 if (FLAG_trace_contexts) { | 130 if (FLAG_trace_contexts) { |
130 PrintF("=> found local in context slot %d (mode = %d)\n", | 131 PrintF("=> found local in context slot %d (mode = %d)\n", |
131 index, mode); | 132 index, mode); |
132 } | 133 } |
133 *index_ = index; | 134 *index_ = index; |
134 // Note: Fixed context slots are statically allocated by the compiler. | 135 // Note: Fixed context slots are statically allocated by the compiler. |
135 // Statically allocated variables always have a statically known mode, | 136 // Statically allocated variables always have a statically known mode, |
136 // which is the mode with which they were declared when added to the | 137 // which is the mode with which they were declared when added to the |
137 // scope. Thus, the DYNAMIC mode (which corresponds to dynamically | 138 // scope. Thus, the DYNAMIC mode (which corresponds to dynamically |
138 // declared variables that were introduced through declaration nodes) | 139 // declared variables that were introduced through declaration nodes) |
139 // must not appear here. | 140 // must not appear here. |
140 switch (mode) { | 141 switch (mode) { |
141 case Variable::INTERNAL: // fall through | 142 case Variable::INTERNAL: // fall through |
142 case Variable::VAR: *attributes = NONE; break; | 143 case Variable::VAR: *attributes = NONE; break; |
143 case Variable::CONST: *attributes = READ_ONLY; break; | 144 case Variable::CONST: *attributes = READ_ONLY; break; |
144 case Variable::DYNAMIC: UNREACHABLE(); break; | 145 case Variable::DYNAMIC: UNREACHABLE(); break; |
145 case Variable::DYNAMIC_GLOBAL: UNREACHABLE(); break; | 146 case Variable::DYNAMIC_GLOBAL: UNREACHABLE(); break; |
146 case Variable::DYNAMIC_LOCAL: UNREACHABLE(); break; | 147 case Variable::DYNAMIC_LOCAL: UNREACHABLE(); break; |
147 case Variable::TEMPORARY: UNREACHABLE(); break; | 148 case Variable::TEMPORARY: UNREACHABLE(); break; |
148 } | 149 } |
149 return context; | 150 return context; |
150 } | 151 } |
151 | 152 |
152 // check parameter locals in context | 153 // check parameter locals in context |
153 int param_index = ScopeInfo<>::ParameterIndex(*scope_info, *name); | 154 int param_index = scope_info->ParameterIndex(*name); |
154 if (param_index >= 0) { | 155 if (param_index >= 0) { |
155 // slot found. | 156 // slot found. |
156 int index = | 157 int index = |
157 ScopeInfo<>::ContextSlotIndex(*scope_info, | 158 scope_info->ContextSlotIndex(Heap::arguments_shadow_symbol(), NULL); |
158 Heap::arguments_shadow_symbol(), | |
159 NULL); | |
160 ASSERT(index >= 0); // arguments must exist and be in the heap context | 159 ASSERT(index >= 0); // arguments must exist and be in the heap context |
161 Handle<JSObject> arguments(JSObject::cast(context->get(index))); | 160 Handle<JSObject> arguments(JSObject::cast(context->get(index))); |
162 ASSERT(arguments->HasLocalProperty(Heap::length_symbol())); | 161 ASSERT(arguments->HasLocalProperty(Heap::length_symbol())); |
163 if (FLAG_trace_contexts) { | 162 if (FLAG_trace_contexts) { |
164 PrintF("=> found parameter %d in arguments object\n", param_index); | 163 PrintF("=> found parameter %d in arguments object\n", param_index); |
165 } | 164 } |
166 *index_ = param_index; | 165 *index_ = param_index; |
167 *attributes = NONE; | 166 *attributes = NONE; |
168 return arguments; | 167 return arguments; |
169 } | 168 } |
170 | 169 |
171 // check intermediate context (holding only the function name variable) | 170 // check intermediate context (holding only the function name variable) |
172 if (follow_context_chain) { | 171 if (follow_context_chain) { |
173 int index = ScopeInfo<>::FunctionContextSlotIndex(*scope_info, *name); | 172 int index = scope_info->FunctionContextSlotIndex(*name); |
174 if (index >= 0) { | 173 if (index >= 0) { |
175 // slot found | 174 // slot found |
176 if (FLAG_trace_contexts) { | 175 if (FLAG_trace_contexts) { |
177 PrintF("=> found intermediate function in context slot %d\n", | 176 PrintF("=> found intermediate function in context slot %d\n", |
178 index); | 177 index); |
179 } | 178 } |
180 *index_ = index; | 179 *index_ = index; |
181 *attributes = READ_ONLY; | 180 *attributes = READ_ONLY; |
182 return context; | 181 return context; |
183 } | 182 } |
(...skipping 25 matching lines...) Expand all Loading... |
209 // before the global context and check that there are no context | 208 // before the global context and check that there are no context |
210 // extension objects (conservative check for with statements). | 209 // extension objects (conservative check for with statements). |
211 while (!context->IsGlobalContext()) { | 210 while (!context->IsGlobalContext()) { |
212 // Check if the context is a potentially a with context. | 211 // Check if the context is a potentially a with context. |
213 if (context->has_extension()) return false; | 212 if (context->has_extension()) return false; |
214 | 213 |
215 // Not a with context so it must be a function context. | 214 // Not a with context so it must be a function context. |
216 ASSERT(context->is_function_context()); | 215 ASSERT(context->is_function_context()); |
217 | 216 |
218 // Check non-parameter locals. | 217 // Check non-parameter locals. |
219 Handle<Object> scope_info(context->closure()->shared()->scope_info()); | 218 Handle<SerializedScopeInfo> scope_info( |
| 219 context->closure()->shared()->scope_info()); |
220 Variable::Mode mode; | 220 Variable::Mode mode; |
221 int index = ScopeInfo<>::ContextSlotIndex(*scope_info, *name, &mode); | 221 int index = scope_info->ContextSlotIndex(*name, &mode); |
222 ASSERT(index < 0 || index >= MIN_CONTEXT_SLOTS); | 222 ASSERT(index < 0 || index >= MIN_CONTEXT_SLOTS); |
223 if (index >= 0) return false; | 223 if (index >= 0) return false; |
224 | 224 |
225 // Check parameter locals. | 225 // Check parameter locals. |
226 int param_index = ScopeInfo<>::ParameterIndex(*scope_info, *name); | 226 int param_index = scope_info->ParameterIndex(*name); |
227 if (param_index >= 0) return false; | 227 if (param_index >= 0) return false; |
228 | 228 |
229 // Check context only holding the function name variable. | 229 // Check context only holding the function name variable. |
230 index = ScopeInfo<>::FunctionContextSlotIndex(*scope_info, *name); | 230 index = scope_info->FunctionContextSlotIndex(*name); |
231 if (index >= 0) return false; | 231 if (index >= 0) return false; |
232 context = Context::cast(context->closure()->context()); | 232 context = Context::cast(context->closure()->context()); |
233 } | 233 } |
234 | 234 |
235 // No local or potential with statement found so the variable is | 235 // No local or potential with statement found so the variable is |
236 // global unless it is shadowed by an eval-introduced variable. | 236 // global unless it is shadowed by an eval-introduced variable. |
237 return true; | 237 return true; |
238 } | 238 } |
239 | 239 |
240 | 240 |
241 #ifdef DEBUG | 241 #ifdef DEBUG |
242 bool Context::IsBootstrappingOrContext(Object* object) { | 242 bool Context::IsBootstrappingOrContext(Object* object) { |
243 // During bootstrapping we allow all objects to pass as | 243 // During bootstrapping we allow all objects to pass as |
244 // contexts. This is necessary to fix circular dependencies. | 244 // contexts. This is necessary to fix circular dependencies. |
245 return Bootstrapper::IsActive() || object->IsContext(); | 245 return Bootstrapper::IsActive() || object->IsContext(); |
246 } | 246 } |
247 | 247 |
248 | 248 |
249 bool Context::IsBootstrappingOrGlobalObject(Object* object) { | 249 bool Context::IsBootstrappingOrGlobalObject(Object* object) { |
250 // During bootstrapping we allow all objects to pass as global | 250 // During bootstrapping we allow all objects to pass as global |
251 // objects. This is necessary to fix circular dependencies. | 251 // objects. This is necessary to fix circular dependencies. |
252 return Bootstrapper::IsActive() || object->IsGlobalObject(); | 252 return Bootstrapper::IsActive() || object->IsGlobalObject(); |
253 } | 253 } |
254 #endif | 254 #endif |
255 | 255 |
256 } } // namespace v8::internal | 256 } } // namespace v8::internal |
OLD | NEW |