OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #ifndef V8_CONTEXTS_H_ | 5 #ifndef V8_CONTEXTS_H_ |
6 #define V8_CONTEXTS_H_ | 6 #define V8_CONTEXTS_H_ |
7 | 7 |
8 #include "src/heap/heap.h" | 8 #include "src/heap/heap.h" |
9 #include "src/objects.h" | 9 #include "src/objects.h" |
10 | 10 |
(...skipping 281 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
292 NATIVE_CONTEXT_IMPORTED_FIELDS(V) | 292 NATIVE_CONTEXT_IMPORTED_FIELDS(V) |
293 | 293 |
294 // A table of all script contexts. Every loaded top-level script with top-level | 294 // A table of all script contexts. Every loaded top-level script with top-level |
295 // lexical declarations contributes its ScriptContext into this table. | 295 // lexical declarations contributes its ScriptContext into this table. |
296 // | 296 // |
297 // The table is a fixed array, its first slot is the current used count and | 297 // The table is a fixed array, its first slot is the current used count and |
298 // the subsequent slots 1..used contain ScriptContexts. | 298 // the subsequent slots 1..used contain ScriptContexts. |
299 class ScriptContextTable : public FixedArray { | 299 class ScriptContextTable : public FixedArray { |
300 public: | 300 public: |
301 // Conversions. | 301 // Conversions. |
302 static ScriptContextTable* cast(Object* context) { | 302 static inline ScriptContextTable* cast(Object* context); |
303 DCHECK(context->IsScriptContextTable()); | |
304 return reinterpret_cast<ScriptContextTable*>(context); | |
305 } | |
306 | 303 |
307 struct LookupResult { | 304 struct LookupResult { |
308 int context_index; | 305 int context_index; |
309 int slot_index; | 306 int slot_index; |
310 VariableMode mode; | 307 VariableMode mode; |
311 VariableLocation location; | 308 VariableLocation location; |
312 InitializationFlag init_flag; | 309 InitializationFlag init_flag; |
313 MaybeAssignedFlag maybe_assigned_flag; | 310 MaybeAssignedFlag maybe_assigned_flag; |
314 }; | 311 }; |
315 | 312 |
316 int used() const { return Smi::cast(get(kUsedSlot))->value(); } | 313 inline int used() const; |
317 void set_used(int used) { set(kUsedSlot, Smi::FromInt(used)); } | 314 inline void set_used(int used); |
318 | 315 |
319 static Handle<Context> GetContext(Handle<ScriptContextTable> table, int i) { | 316 static inline Handle<Context> GetContext(Handle<ScriptContextTable> table, |
320 DCHECK(i < table->used()); | 317 int i); |
321 return Handle<Context>::cast(FixedArray::get(table, i + kFirstContextSlot)); | |
322 } | |
323 | 318 |
324 // Lookup a variable `name` in a ScriptContextTable. | 319 // Lookup a variable `name` in a ScriptContextTable. |
325 // If it returns true, the variable is found and `result` contains | 320 // If it returns true, the variable is found and `result` contains |
326 // valid information about its location. | 321 // valid information about its location. |
327 // If it returns false, `result` is untouched. | 322 // If it returns false, `result` is untouched. |
328 MUST_USE_RESULT | 323 MUST_USE_RESULT |
329 static bool Lookup(Handle<ScriptContextTable> table, Handle<String> name, | 324 static bool Lookup(Handle<ScriptContextTable> table, Handle<String> name, |
330 LookupResult* result); | 325 LookupResult* result); |
331 | 326 |
332 MUST_USE_RESULT | 327 MUST_USE_RESULT |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
392 // properties. | 387 // properties. |
393 // | 388 // |
394 // Finally, with Harmony scoping, the JSFunction representing a top level | 389 // Finally, with Harmony scoping, the JSFunction representing a top level |
395 // script will have the ScriptContext rather than a FunctionContext. | 390 // script will have the ScriptContext rather than a FunctionContext. |
396 // Script contexts from all top-level scripts are gathered in | 391 // Script contexts from all top-level scripts are gathered in |
397 // ScriptContextTable. | 392 // ScriptContextTable. |
398 | 393 |
399 class Context: public FixedArray { | 394 class Context: public FixedArray { |
400 public: | 395 public: |
401 // Conversions. | 396 // Conversions. |
402 static Context* cast(Object* context) { | 397 static inline Context* cast(Object* context); |
403 DCHECK(context->IsContext()); | |
404 return reinterpret_cast<Context*>(context); | |
405 } | |
406 | 398 |
407 // The default context slot layout; indices are FixedArray slot indices. | 399 // The default context slot layout; indices are FixedArray slot indices. |
408 enum { | 400 enum { |
409 // These slots are in all contexts. | 401 // These slots are in all contexts. |
410 CLOSURE_INDEX, | 402 CLOSURE_INDEX, |
411 PREVIOUS_INDEX, | 403 PREVIOUS_INDEX, |
412 // The extension slot is used for either the global object (in global | 404 // The extension slot is used for either the global object (in global |
413 // contexts), eval extension object (function contexts), subject of with | 405 // contexts), eval extension object (function contexts), subject of with |
414 // (with contexts), or the variable name (catch contexts), the serialized | 406 // (with contexts), or the variable name (catch contexts), the serialized |
415 // scope info (block contexts), or the module instance (module contexts). | 407 // scope info (block contexts), or the module instance (module contexts). |
(...skipping 15 matching lines...) Expand all Loading... |
431 // Total number of slots. | 423 // Total number of slots. |
432 NATIVE_CONTEXT_SLOTS, | 424 NATIVE_CONTEXT_SLOTS, |
433 FIRST_WEAK_SLOT = OPTIMIZED_FUNCTIONS_LIST, | 425 FIRST_WEAK_SLOT = OPTIMIZED_FUNCTIONS_LIST, |
434 | 426 |
435 MIN_CONTEXT_SLOTS = GLOBAL_PROXY_INDEX, | 427 MIN_CONTEXT_SLOTS = GLOBAL_PROXY_INDEX, |
436 // This slot holds the thrown value in catch contexts. | 428 // This slot holds the thrown value in catch contexts. |
437 THROWN_OBJECT_INDEX = MIN_CONTEXT_SLOTS, | 429 THROWN_OBJECT_INDEX = MIN_CONTEXT_SLOTS, |
438 }; | 430 }; |
439 | 431 |
440 // Direct slot access. | 432 // Direct slot access. |
441 JSFunction* closure() { return JSFunction::cast(get(CLOSURE_INDEX)); } | 433 inline JSFunction* closure(); |
442 void set_closure(JSFunction* closure) { set(CLOSURE_INDEX, closure); } | 434 inline void set_closure(JSFunction* closure); |
443 | 435 |
444 Context* previous() { | 436 inline Context* previous(); |
445 Object* result = unchecked_previous(); | 437 inline void set_previous(Context* context); |
446 DCHECK(IsBootstrappingOrValidParentContext(result, this)); | |
447 return reinterpret_cast<Context*>(result); | |
448 } | |
449 void set_previous(Context* context) { set(PREVIOUS_INDEX, context); } | |
450 | 438 |
451 bool has_extension() { return extension() != nullptr; } | 439 inline bool has_extension(); |
452 Object* extension() { return get(EXTENSION_INDEX); } | 440 inline Object* extension(); |
453 void set_extension(Object* object) { set(EXTENSION_INDEX, object); } | 441 inline void set_extension(Object* object); |
454 JSObject* extension_object(); | 442 JSObject* extension_object(); |
455 JSReceiver* extension_receiver(); | 443 JSReceiver* extension_receiver(); |
456 ScopeInfo* scope_info(); | 444 ScopeInfo* scope_info(); |
457 String* catch_name(); | 445 String* catch_name(); |
458 | 446 |
459 JSModule* module() { return JSModule::cast(get(EXTENSION_INDEX)); } | 447 inline JSModule* module(); |
460 void set_module(JSModule* module) { set(EXTENSION_INDEX, module); } | 448 inline void set_module(JSModule* module); |
461 | 449 |
462 // Get the context where var declarations will be hoisted to, which | 450 // Get the context where var declarations will be hoisted to, which |
463 // may be the context itself. | 451 // may be the context itself. |
464 Context* declaration_context(); | 452 Context* declaration_context(); |
465 bool is_declaration_context(); | 453 bool is_declaration_context(); |
466 | 454 |
467 GlobalObject* global_object() { | 455 inline GlobalObject* global_object(); |
468 Object* result = get(GLOBAL_OBJECT_INDEX); | 456 inline void set_global_object(GlobalObject* object); |
469 DCHECK(IsBootstrappingOrGlobalObject(this->GetIsolate(), result)); | |
470 return reinterpret_cast<GlobalObject*>(result); | |
471 } | |
472 void set_global_object(GlobalObject* object) { | |
473 set(GLOBAL_OBJECT_INDEX, object); | |
474 } | |
475 | 457 |
476 // Returns a JSGlobalProxy object or null. | 458 // Returns a JSGlobalProxy object or null. |
477 JSObject* global_proxy(); | 459 JSObject* global_proxy(); |
478 void set_global_proxy(JSObject* global); | 460 void set_global_proxy(JSObject* global); |
479 | 461 |
480 // The builtins object. | 462 // The builtins object. |
481 JSBuiltinsObject* builtins(); | 463 JSBuiltinsObject* builtins(); |
482 | 464 |
483 // Get the script context by traversing the context chain. | 465 // Get the script context by traversing the context chain. |
484 Context* script_context(); | 466 Context* script_context(); |
485 | 467 |
486 // Compute the native context by traversing the context chain. | 468 // Compute the native context by traversing the context chain. |
487 Context* native_context(); | 469 Context* native_context(); |
488 | 470 |
489 // Predicates for context types. IsNativeContext is also defined on Object | 471 // Predicates for context types. IsNativeContext is also defined on Object |
490 // because we frequently have to know if arbitrary objects are natives | 472 // because we frequently have to know if arbitrary objects are natives |
491 // contexts. | 473 // contexts. |
492 bool IsNativeContext() { | 474 inline bool IsNativeContext(); |
493 Map* map = this->map(); | 475 inline bool IsFunctionContext(); |
494 return map == map->GetHeap()->native_context_map(); | 476 inline bool IsCatchContext(); |
495 } | 477 inline bool IsWithContext(); |
496 bool IsFunctionContext() { | 478 inline bool IsBlockContext(); |
497 Map* map = this->map(); | 479 inline bool IsModuleContext(); |
498 return map == map->GetHeap()->function_context_map(); | 480 inline bool IsScriptContext(); |
499 } | |
500 bool IsCatchContext() { | |
501 Map* map = this->map(); | |
502 return map == map->GetHeap()->catch_context_map(); | |
503 } | |
504 bool IsWithContext() { | |
505 Map* map = this->map(); | |
506 return map == map->GetHeap()->with_context_map(); | |
507 } | |
508 bool IsBlockContext() { | |
509 Map* map = this->map(); | |
510 return map == map->GetHeap()->block_context_map(); | |
511 } | |
512 bool IsModuleContext() { | |
513 Map* map = this->map(); | |
514 return map == map->GetHeap()->module_context_map(); | |
515 } | |
516 bool IsScriptContext() { | |
517 Map* map = this->map(); | |
518 return map == map->GetHeap()->script_context_map(); | |
519 } | |
520 | 481 |
521 bool HasSameSecurityTokenAs(Context* that) { | 482 inline bool HasSameSecurityTokenAs(Context* that); |
522 return this->global_object()->native_context()->security_token() == | |
523 that->global_object()->native_context()->security_token(); | |
524 } | |
525 | 483 |
526 // Initializes global variable bindings in given script context. | 484 // Initializes global variable bindings in given script context. |
527 void InitializeGlobalSlots(); | 485 void InitializeGlobalSlots(); |
528 | 486 |
529 // A native context holds a list of all functions with optimized code. | 487 // A native context holds a list of all functions with optimized code. |
530 void AddOptimizedFunction(JSFunction* function); | 488 void AddOptimizedFunction(JSFunction* function); |
531 void RemoveOptimizedFunction(JSFunction* function); | 489 void RemoveOptimizedFunction(JSFunction* function); |
532 void SetOptimizedFunctionsListHead(Object* head); | 490 void SetOptimizedFunctionsListHead(Object* head); |
533 Object* OptimizedFunctionsListHead(); | 491 Object* OptimizedFunctionsListHead(); |
534 | 492 |
535 // The native context also stores a list of all optimized code and a | 493 // The native context also stores a list of all optimized code and a |
536 // list of all deoptimized code, which are needed by the deoptimizer. | 494 // list of all deoptimized code, which are needed by the deoptimizer. |
537 void AddOptimizedCode(Code* code); | 495 void AddOptimizedCode(Code* code); |
538 void SetOptimizedCodeListHead(Object* head); | 496 void SetOptimizedCodeListHead(Object* head); |
539 Object* OptimizedCodeListHead(); | 497 Object* OptimizedCodeListHead(); |
540 void SetDeoptimizedCodeListHead(Object* head); | 498 void SetDeoptimizedCodeListHead(Object* head); |
541 Object* DeoptimizedCodeListHead(); | 499 Object* DeoptimizedCodeListHead(); |
542 | 500 |
543 Handle<Object> ErrorMessageForCodeGenerationFromStrings(); | 501 Handle<Object> ErrorMessageForCodeGenerationFromStrings(); |
544 | 502 |
545 static int ImportedFieldIndexForName(Handle<String> name); | 503 static int ImportedFieldIndexForName(Handle<String> name); |
546 static int IntrinsicIndexForName(Handle<String> name); | 504 static int IntrinsicIndexForName(Handle<String> name); |
547 | 505 |
548 static bool IsJSBuiltin(Handle<Context> native_context, | 506 static bool IsJSBuiltin(Handle<Context> native_context, |
549 Handle<JSFunction> function); | 507 Handle<JSFunction> function); |
550 | 508 |
551 #define NATIVE_CONTEXT_FIELD_ACCESSORS(index, type, name) \ | 509 #define NATIVE_CONTEXT_FIELD_ACCESSORS(index, type, name) \ |
552 void set_##name(type* value) { \ | 510 inline void set_##name(type* value); \ |
553 DCHECK(IsNativeContext()); \ | 511 inline bool is_##name(type* value); \ |
554 set(index, value); \ | 512 inline type* name(); |
555 } \ | |
556 bool is_##name(type* value) { \ | |
557 DCHECK(IsNativeContext()); \ | |
558 return type::cast(get(index)) == value; \ | |
559 } \ | |
560 type* name() { \ | |
561 DCHECK(IsNativeContext()); \ | |
562 return type::cast(get(index)); \ | |
563 } | |
564 NATIVE_CONTEXT_FIELDS(NATIVE_CONTEXT_FIELD_ACCESSORS) | 513 NATIVE_CONTEXT_FIELDS(NATIVE_CONTEXT_FIELD_ACCESSORS) |
565 #undef NATIVE_CONTEXT_FIELD_ACCESSORS | 514 #undef NATIVE_CONTEXT_FIELD_ACCESSORS |
566 | 515 |
567 // Lookup the slot called name, starting with the current context. | 516 // Lookup the slot called name, starting with the current context. |
568 // There are three possibilities: | 517 // There are three possibilities: |
569 // | 518 // |
570 // 1) result->IsContext(): | 519 // 1) result->IsContext(): |
571 // The binding was found in a context. *index is always the | 520 // The binding was found in a context. *index is always the |
572 // non-negative slot index. *attributes is NONE for var and let | 521 // non-negative slot index. *attributes is NONE for var and let |
573 // declarations, READ_ONLY for const declarations (never ABSENT). | 522 // declarations, READ_ONLY for const declarations (never ABSENT). |
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
623 // GC support. | 572 // GC support. |
624 typedef FixedBodyDescriptor< | 573 typedef FixedBodyDescriptor< |
625 kHeaderSize, kSize, kSize> ScavengeBodyDescriptor; | 574 kHeaderSize, kSize, kSize> ScavengeBodyDescriptor; |
626 | 575 |
627 typedef FixedBodyDescriptor< | 576 typedef FixedBodyDescriptor< |
628 kHeaderSize, | 577 kHeaderSize, |
629 kHeaderSize + FIRST_WEAK_SLOT * kPointerSize, | 578 kHeaderSize + FIRST_WEAK_SLOT * kPointerSize, |
630 kSize> MarkCompactBodyDescriptor; | 579 kSize> MarkCompactBodyDescriptor; |
631 | 580 |
632 private: | 581 private: |
633 // Unchecked access to the slots. | |
634 Object* unchecked_previous() { return get(PREVIOUS_INDEX); } | |
635 | |
636 #ifdef DEBUG | 582 #ifdef DEBUG |
637 // Bootstrapping-aware type checks. | 583 // Bootstrapping-aware type checks. |
638 static bool IsBootstrappingOrValidParentContext(Object* object, Context* kid); | 584 static bool IsBootstrappingOrValidParentContext(Object* object, Context* kid); |
639 static bool IsBootstrappingOrGlobalObject(Isolate* isolate, Object* object); | 585 static bool IsBootstrappingOrGlobalObject(Isolate* isolate, Object* object); |
640 #endif | 586 #endif |
641 | 587 |
642 STATIC_ASSERT(kHeaderSize == Internals::kContextHeaderSize); | 588 STATIC_ASSERT(kHeaderSize == Internals::kContextHeaderSize); |
643 STATIC_ASSERT(EMBEDDER_DATA_INDEX == Internals::kContextEmbedderDataIndex); | 589 STATIC_ASSERT(EMBEDDER_DATA_INDEX == Internals::kContextEmbedderDataIndex); |
644 }; | 590 }; |
645 | 591 |
646 } } // namespace v8::internal | 592 } } // namespace v8::internal |
647 | 593 |
648 #endif // V8_CONTEXTS_H_ | 594 #endif // V8_CONTEXTS_H_ |
OLD | NEW |