contexts.cc 26.1 KB
Newer Older
1
// Copyright 2011 the V8 project authors. All rights reserved.
2 3
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
4

5
#include "src/contexts.h"
6

7
#include "src/bootstrapper.h"
8
#include "src/debug/debug.h"
9
#include "src/isolate-inl.h"
10

11 12
namespace v8 {
namespace internal {
13

14

15 16 17
Handle<ScriptContextTable> ScriptContextTable::Extend(
    Handle<ScriptContextTable> table, Handle<Context> script_context) {
  Handle<ScriptContextTable> result;
18 19 20
  int used = table->used();
  int length = table->length();
  CHECK(used >= 0 && length > 0 && used < length);
21
  if (used + kFirstContextSlot == length) {
22
    CHECK(length < Smi::kMaxValue / 2);
23 24 25 26 27
    Isolate* isolate = table->GetIsolate();
    Handle<FixedArray> copy =
        isolate->factory()->CopyFixedArrayAndGrow(table, length);
    copy->set_map(isolate->heap()->script_context_table_map());
    result = Handle<ScriptContextTable>::cast(copy);
28 29 30 31 32
  } else {
    result = table;
  }
  result->set_used(used + 1);

33
  DCHECK(script_context->IsScriptContext());
34
  result->set(used + kFirstContextSlot, *script_context);
35 36 37 38
  return result;
}


39
bool ScriptContextTable::Lookup(Handle<ScriptContextTable> table,
40 41 42
                                Handle<String> name, LookupResult* result) {
  for (int i = 0; i < table->used(); i++) {
    Handle<Context> context = GetContext(table, i);
43
    DCHECK(context->IsScriptContext());
44
    Handle<ScopeInfo> scope_info(context->scope_info());
45
    int slot_index = ScopeInfo::ContextSlotIndex(
46
        scope_info, name, &result->mode, &result->init_flag,
47 48
        &result->maybe_assigned_flag);

49
    if (slot_index >= 0) {
50 51 52 53 54 55 56 57 58
      result->context_index = i;
      result->slot_index = slot_index;
      return true;
    }
  }
  return false;
}


59
bool Context::is_declaration_context() {
60 61
  if (IsFunctionContext() || IsNativeContext() || IsScriptContext() ||
      IsModuleContext()) {
62 63
    return true;
  }
64
  if (IsEvalContext()) return closure()->shared()->language_mode() == STRICT;
65 66 67 68
  if (!IsBlockContext()) return false;
  Object* ext = extension();
  // If we have the special extension, we immediately know it must be a
  // declaration scope. That's just a small performance shortcut.
69 70
  return ext->IsContextExtension() ||
         ScopeInfo::cast(ext)->is_declaration_scope();
71 72 73
}


74 75
Context* Context::declaration_context() {
  Context* current = this;
76
  while (!current->is_declaration_context()) {
77 78 79 80 81
    current = current->previous();
  }
  return current;
}

82 83 84
Context* Context::closure_context() {
  Context* current = this;
  while (!current->IsFunctionContext() && !current->IsScriptContext() &&
85 86
         !current->IsModuleContext() && !current->IsNativeContext() &&
         !current->IsEvalContext()) {
87 88 89 90 91
    current = current->previous();
    DCHECK(current->closure() == closure());
  }
  return current;
}
92

93
JSObject* Context::extension_object() {
94 95
  DCHECK(IsNativeContext() || IsFunctionContext() || IsBlockContext() ||
         IsEvalContext());
96
  HeapObject* object = extension();
97
  if (object->IsTheHole(GetIsolate())) return nullptr;
98
  if (IsBlockContext()) {
99 100
    if (!object->IsContextExtension()) return nullptr;
    object = JSObject::cast(ContextExtension::cast(object)->extension());
101 102 103 104 105 106 107
  }
  DCHECK(object->IsJSContextExtensionObject() ||
         (IsNativeContext() && object->IsJSGlobalObject()));
  return JSObject::cast(object);
}

JSReceiver* Context::extension_receiver() {
108
  DCHECK(IsNativeContext() || IsWithContext() || IsEvalContext() ||
109
         IsFunctionContext() || IsBlockContext());
110 111 112
  return IsWithContext() ? JSReceiver::cast(
                               ContextExtension::cast(extension())->extension())
                         : extension_object();
113 114 115
}

ScopeInfo* Context::scope_info() {
jochen's avatar
jochen committed
116
  DCHECK(!IsNativeContext());
117
  if (IsFunctionContext() || IsModuleContext() || IsEvalContext()) {
jochen's avatar
jochen committed
118 119
    return closure()->shared()->scope_info();
  }
120
  HeapObject* object = extension();
121
  if (object->IsContextExtension()) {
122 123
    DCHECK(IsBlockContext() || IsCatchContext() || IsWithContext() ||
           IsDebugEvaluateContext());
124
    object = ContextExtension::cast(object)->scope_info();
125 126 127 128
  }
  return ScopeInfo::cast(object);
}

129
Module* Context::module() {
130 131 132 133
  Context* current = this;
  while (!current->IsModuleContext()) {
    current = current->previous();
  }
134
  return Module::cast(current->extension());
135
}
136 137 138

String* Context::catch_name() {
  DCHECK(IsCatchContext());
139
  return String::cast(ContextExtension::cast(extension())->extension());
140 141 142
}


143 144 145 146 147
JSGlobalObject* Context::global_object() {
  return JSGlobalObject::cast(native_context()->extension());
}


148
Context* Context::script_context() {
149
  Context* current = this;
150
  while (!current->IsScriptContext()) {
151 152 153 154 155 156
    current = current->previous();
  }
  return current;
}


157
JSObject* Context::global_proxy() {
158
  return native_context()->global_proxy_object();
159 160
}

161

162
void Context::set_global_proxy(JSObject* object) {
163
  native_context()->set_global_proxy_object(object);
164 165 166
}


167 168 169 170
/**
 * Lookups a property in an object environment, taking the unscopables into
 * account. This is used For HasBinding spec algorithms for ObjectEnvironment.
 */
171
static Maybe<bool> UnscopableLookup(LookupIterator* it) {
172 173
  Isolate* isolate = it->isolate();

174 175
  Maybe<bool> found = JSReceiver::HasProperty(it);
  if (!found.IsJust() || !found.FromJust()) return found;
176 177

  Handle<Object> unscopables;
178 179
  ASSIGN_RETURN_ON_EXCEPTION_VALUE(
      isolate, unscopables,
180 181
      JSReceiver::GetProperty(Handle<JSReceiver>::cast(it->GetReceiver()),
                              isolate->factory()->unscopables_symbol()),
182 183
      Nothing<bool>());
  if (!unscopables->IsJSReceiver()) return Just(true);
184
  Handle<Object> blacklist;
185 186 187 188 189
  ASSIGN_RETURN_ON_EXCEPTION_VALUE(
      isolate, blacklist,
      JSReceiver::GetProperty(Handle<JSReceiver>::cast(unscopables),
                              it->name()),
      Nothing<bool>());
190
  return Just(!blacklist->BooleanValue());
191 192
}

193 194
static PropertyAttributes GetAttributesForMode(VariableMode mode) {
  DCHECK(IsDeclaredVariableMode(mode));
195
  return mode == CONST ? READ_ONLY : NONE;
196 197
}

198 199
Handle<Object> Context::Lookup(Handle<String> name, ContextLookupFlags flags,
                               int* index, PropertyAttributes* attributes,
200
                               InitializationFlag* init_flag,
201
                               VariableMode* variable_mode) {
202
  DCHECK(!IsModuleContext());
203 204
  Isolate* isolate = GetIsolate();
  Handle<Context> context(this, isolate);
205 206

  bool follow_context_chain = (flags & FOLLOW_CONTEXT_CHAIN) != 0;
207
  bool failed_whitelist = false;
208
  *index = kNotFound;
209
  *attributes = ABSENT;
210
  *init_flag = kCreatedInitialized;
211
  *variable_mode = VAR;
212 213 214 215 216 217 218 219 220

  if (FLAG_trace_contexts) {
    PrintF("Context::Lookup(");
    name->ShortPrint();
    PrintF(")\n");
  }

  do {
    if (FLAG_trace_contexts) {
221
      PrintF(" - looking in context %p", reinterpret_cast<void*>(*context));
222
      if (context->IsScriptContext()) PrintF(" (script context)");
223
      if (context->IsNativeContext()) PrintF(" (native context)");
224 225 226
      PrintF("\n");
    }

227
    // 1. Check global objects, subjects of with, and extension objects.
228 229
    DCHECK_IMPLIES(context->IsEvalContext(),
                   context->extension()->IsTheHole(isolate));
230 231
    if ((context->IsNativeContext() ||
         (context->IsWithContext() && ((flags & SKIP_WITH_CONTEXT) == 0)) ||
232 233 234
         context->IsFunctionContext() || context->IsBlockContext()) &&
        context->extension_receiver() != nullptr) {
      Handle<JSReceiver> object(context->extension_receiver());
235 236 237

      if (context->IsNativeContext()) {
        if (FLAG_trace_contexts) {
238
          PrintF(" - trying other script contexts\n");
239
        }
240 241 242 243 244
        // Try other script contexts.
        Handle<ScriptContextTable> script_contexts(
            context->global_object()->native_context()->script_context_table());
        ScriptContextTable::LookupResult r;
        if (ScriptContextTable::Lookup(script_contexts, name, &r)) {
245
          if (FLAG_trace_contexts) {
246
            Handle<Context> c = ScriptContextTable::GetContext(script_contexts,
247
                                                               r.context_index);
248
            PrintF("=> found property in script context %d: %p\n",
249 250 251
                   r.context_index, reinterpret_cast<void*>(*c));
          }
          *index = r.slot_index;
252
          *variable_mode = r.mode;
253
          *init_flag = r.init_flag;
254
          *attributes = GetAttributesForMode(r.mode);
255
          return ScriptContextTable::GetContext(script_contexts,
256 257 258 259
                                                r.context_index);
        }
      }

260 261 262
      // Context extension objects needs to behave as if they have no
      // prototype.  So even if we want to follow prototype chains, we need
      // to only do a local lookup for context extension objects.
263
      Maybe<PropertyAttributes> maybe = Nothing<PropertyAttributes>();
264 265
      if ((flags & FOLLOW_PROTOTYPE_CHAIN) == 0 ||
          object->IsJSContextExtensionObject()) {
266
        maybe = JSReceiver::GetOwnPropertyAttributes(object, name);
267
      } else if (context->IsWithContext()) {
268 269 270 271 272 273 274 275
        // A with context will never bind "this", but debug-eval may look into
        // a with context when resolving "this". Other synthetic variables such
        // as new.target may be resolved as DYNAMIC_LOCAL due to bug v8:5405 ,
        // skipping them here serves as a workaround until a more thorough
        // fix can be applied.
        // TODO(v8:5405): Replace this check with a DCHECK when resolution of
        // of synthetic variables does not go through this code path.
        if (ScopeInfo::VariableIsSynthetic(*name)) {
276 277
          maybe = Just(ABSENT);
        } else {
278
          LookupIterator it(object, name, object);
279 280 281 282 283 284 285 286 287
          Maybe<bool> found = UnscopableLookup(&it);
          if (found.IsNothing()) {
            maybe = Nothing<PropertyAttributes>();
          } else {
            // Luckily, consumers of |maybe| only care whether the property
            // was absent or not, so we can return a dummy |NONE| value
            // for its attributes when it was present.
            maybe = Just(found.FromJust() ? NONE : ABSENT);
          }
288
        }
289
      } else {
290
        maybe = JSReceiver::GetPropertyAttributes(object, name);
291
      }
292

293
      if (!maybe.IsJust()) return Handle<Object>();
294
      DCHECK(!isolate->has_pending_exception());
295
      *attributes = maybe.FromJust();
296

297
      if (maybe.FromJust() != ABSENT) {
298 299 300
        if (FLAG_trace_contexts) {
          PrintF("=> found property in context object %p\n",
                 reinterpret_cast<void*>(*object));
301
        }
302
        return object;
303 304 305
      }
    }

306
    // 2. Check the context proper if it has slots.
307
    if (context->IsFunctionContext() || context->IsBlockContext() ||
308
        context->IsScriptContext() || context->IsEvalContext()) {
309 310
      // Use serialized scope information of functions and blocks to search
      // for the context index.
311
      Handle<ScopeInfo> scope_info(context->scope_info());
312
      VariableMode mode;
313
      InitializationFlag flag;
314
      MaybeAssignedFlag maybe_assigned_flag;
315 316
      int slot_index = ScopeInfo::ContextSlotIndex(scope_info, name, &mode,
                                                   &flag, &maybe_assigned_flag);
317
      DCHECK(slot_index < 0 || slot_index >= MIN_CONTEXT_SLOTS);
318
      if (slot_index >= 0) {
319 320
        if (FLAG_trace_contexts) {
          PrintF("=> found local in context slot %d (mode = %d)\n",
321
                 slot_index, mode);
322
        }
323
        *index = slot_index;
324
        *variable_mode = mode;
325 326
        *init_flag = flag;
        *attributes = GetAttributesForMode(mode);
327 328 329
        return context;
      }

330
      // Check the slot corresponding to the intermediate context holding
331 332 333 334 335
      // only the function name variable. It's conceptually (and spec-wise)
      // in an outer scope of the function's declaration scope.
      if (follow_context_chain && (flags & STOP_AT_DECLARATION_SCOPE) == 0 &&
          context->IsFunctionContext()) {
        int function_index = scope_info->FunctionContextSlotIndex(*name);
336
        if (function_index >= 0) {
337 338
          if (FLAG_trace_contexts) {
            PrintF("=> found intermediate function in context slot %d\n",
339
                   function_index);
340
          }
341
          *index = function_index;
342
          *attributes = READ_ONLY;
343
          *init_flag = kCreatedInitialized;
344
          *variable_mode = CONST;
345 346 347
          return context;
        }
      }
348 349 350

    } else if (context->IsCatchContext()) {
      // Catch contexts have the variable name in the extension slot.
351
      if (String::Equals(name, handle(context->catch_name()))) {
352 353 354 355 356
        if (FLAG_trace_contexts) {
          PrintF("=> found in catch context\n");
        }
        *index = Context::THROWN_OBJECT_INDEX;
        *attributes = NONE;
357
        *init_flag = kCreatedInitialized;
358
        *variable_mode = VAR;
359 360
        return context;
      }
361 362
    } else if (context->IsDebugEvaluateContext()) {
      // Check materialized locals.
363 364 365 366 367 368 369 370 371 372 373
      Object* ext = context->get(EXTENSION_INDEX);
      if (ext->IsContextExtension()) {
        Object* obj = ContextExtension::cast(ext)->extension();
        if (obj->IsJSReceiver()) {
          Handle<JSReceiver> extension(JSReceiver::cast(obj));
          LookupIterator it(extension, name, extension);
          Maybe<bool> found = JSReceiver::HasProperty(&it);
          if (found.FromMaybe(false)) {
            *attributes = NONE;
            return extension;
          }
374 375 376
        }
      }
      // Check the original context, but do not follow its context chain.
377
      Object* obj = context->get(WRAPPED_CONTEXT_INDEX);
378
      if (obj->IsContext()) {
379 380 381
        Handle<Object> result =
            Context::cast(obj)->Lookup(name, DONT_FOLLOW_CHAINS, index,
                                       attributes, init_flag, variable_mode);
382 383 384 385 386 387 388 389
        if (!result.is_null()) return result;
      }
      // Check whitelist. Names that do not pass whitelist shall only resolve
      // to with, script or native contexts up the context chain.
      obj = context->get(WHITE_LIST_INDEX);
      if (obj->IsStringSet()) {
        failed_whitelist = failed_whitelist || !StringSet::cast(obj)->Has(name);
      }
390 391
    }

392
    // 3. Prepare to continue with the previous (next outermost) context.
393 394 395
    if (context->IsNativeContext() ||
        ((flags & STOP_AT_DECLARATION_SCOPE) != 0 &&
         context->is_declaration_context())) {
396
      follow_context_chain = false;
397
    } else {
398 399 400 401 402 403
      do {
        context = Handle<Context>(context->previous(), isolate);
        // If we come across a whitelist context, and the name is not
        // whitelisted, then only consider with, script or native contexts.
      } while (failed_whitelist && !context->IsScriptContext() &&
               !context->IsNativeContext() && !context->IsWithContext());
404 405 406 407 408 409
    }
  } while (follow_context_chain);

  if (FLAG_trace_contexts) {
    PrintF("=> no property/slot found\n");
  }
410
  return Handle<Object>::null();
411 412
}

413 414
static const int kSharedOffset = 0;
static const int kCachedCodeOffset = 1;
415 416
static const int kOsrAstIdOffset = 2;
static const int kEntryLength = 3;
417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437
static const int kInitialLength = kEntryLength;

int Context::SearchOptimizedCodeMapEntry(SharedFunctionInfo* shared,
                                         BailoutId osr_ast_id) {
  DisallowHeapAllocation no_gc;
  DCHECK(this->IsNativeContext());
  if (!OptimizedCodeMapIsCleared()) {
    FixedArray* optimized_code_map = this->osr_code_table();
    int length = optimized_code_map->length();
    Smi* osr_ast_id_smi = Smi::FromInt(osr_ast_id.ToInt());
    for (int i = 0; i < length; i += kEntryLength) {
      if (WeakCell::cast(optimized_code_map->get(i + kSharedOffset))->value() ==
              shared &&
          optimized_code_map->get(i + kOsrAstIdOffset) == osr_ast_id_smi) {
        return i;
      }
    }
  }
  return -1;
}

438 439
Code* Context::SearchOptimizedCodeMap(SharedFunctionInfo* shared,
                                      BailoutId osr_ast_id) {
440 441 442 443 444 445
  DCHECK(this->IsNativeContext());
  int entry = SearchOptimizedCodeMapEntry(shared, osr_ast_id);
  if (entry != -1) {
    FixedArray* code_map = osr_code_table();
    DCHECK_LE(entry + kEntryLength, code_map->length());
    WeakCell* cell = WeakCell::cast(code_map->get(entry + kCachedCodeOffset));
446
    return cell->cleared() ? nullptr : Code::cast(cell->value());
447
  }
448
  return nullptr;
449 450 451 452 453 454 455 456 457 458
}

void Context::AddToOptimizedCodeMap(Handle<Context> native_context,
                                    Handle<SharedFunctionInfo> shared,
                                    Handle<Code> code,
                                    BailoutId osr_ast_id) {
  DCHECK(native_context->IsNativeContext());
  Isolate* isolate = native_context->GetIsolate();
  if (isolate->serializer_enabled()) return;

459
  STATIC_ASSERT(kEntryLength == 3);
460 461 462 463 464 465 466 467 468 469
  Handle<FixedArray> new_code_map;
  int entry;

  if (native_context->OptimizedCodeMapIsCleared()) {
    new_code_map = isolate->factory()->NewFixedArray(kInitialLength, TENURED);
    entry = 0;
  } else {
    Handle<FixedArray> old_code_map(native_context->osr_code_table(), isolate);
    entry = native_context->SearchOptimizedCodeMapEntry(*shared, osr_ast_id);
    if (entry >= 0) {
470
      // Just set the code of the entry.
471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568
      Handle<WeakCell> code_cell = isolate->factory()->NewWeakCell(code);
      old_code_map->set(entry + kCachedCodeOffset, *code_cell);
      return;
    }

    // Can we reuse an entry?
    DCHECK(entry < 0);
    int length = old_code_map->length();
    for (int i = 0; i < length; i += kEntryLength) {
      if (WeakCell::cast(old_code_map->get(i + kSharedOffset))->cleared()) {
        new_code_map = old_code_map;
        entry = i;
        break;
      }
    }

    if (entry < 0) {
      // Copy old optimized code map and append one new entry.
      new_code_map = isolate->factory()->CopyFixedArrayAndGrow(
          old_code_map, kEntryLength, TENURED);
      entry = old_code_map->length();
    }
  }

  Handle<WeakCell> code_cell = isolate->factory()->NewWeakCell(code);
  Handle<WeakCell> shared_cell = isolate->factory()->NewWeakCell(shared);

  new_code_map->set(entry + kSharedOffset, *shared_cell);
  new_code_map->set(entry + kCachedCodeOffset, *code_cell);
  new_code_map->set(entry + kOsrAstIdOffset, Smi::FromInt(osr_ast_id.ToInt()));

#ifdef DEBUG
  for (int i = 0; i < new_code_map->length(); i += kEntryLength) {
    WeakCell* cell = WeakCell::cast(new_code_map->get(i + kSharedOffset));
    DCHECK(cell->cleared() || cell->value()->IsSharedFunctionInfo());
    cell = WeakCell::cast(new_code_map->get(i + kCachedCodeOffset));
    DCHECK(cell->cleared() ||
           (cell->value()->IsCode() &&
            Code::cast(cell->value())->kind() == Code::OPTIMIZED_FUNCTION));
    DCHECK(new_code_map->get(i + kOsrAstIdOffset)->IsSmi());
  }
#endif

  FixedArray* old_code_map = native_context->osr_code_table();
  if (old_code_map != *new_code_map) {
    native_context->set_osr_code_table(*new_code_map);
  }
}

void Context::EvictFromOptimizedCodeMap(Code* optimized_code,
                                        const char* reason) {
  DCHECK(IsNativeContext());
  DisallowHeapAllocation no_gc;
  if (OptimizedCodeMapIsCleared()) return;

  Heap* heap = GetHeap();
  FixedArray* code_map = osr_code_table();
  int dst = 0;
  int length = code_map->length();
  for (int src = 0; src < length; src += kEntryLength) {
    if (WeakCell::cast(code_map->get(src + kCachedCodeOffset))->value() ==
        optimized_code) {
      BailoutId osr(Smi::cast(code_map->get(src + kOsrAstIdOffset))->value());
      if (FLAG_trace_opt) {
        PrintF(
            "[evicting entry from native context optimizing code map (%s) for ",
            reason);
        ShortPrint();
        DCHECK(!osr.IsNone());
        PrintF(" (osr ast id %d)]\n", osr.ToInt());
      }
      // Evict the src entry by not copying it to the dst entry.
      continue;
    }
    // Keep the src entry by copying it to the dst entry.
    if (dst != src) {
      code_map->set(dst + kSharedOffset, code_map->get(src + kSharedOffset));
      code_map->set(dst + kCachedCodeOffset,
                    code_map->get(src + kCachedCodeOffset));
      code_map->set(dst + kOsrAstIdOffset,
                    code_map->get(src + kOsrAstIdOffset));
    }
    dst += kEntryLength;
  }
  if (dst != length) {
    // Always trim even when array is cleared because of heap verifier.
    heap->RightTrimFixedArray(code_map, length - dst);
    if (code_map->length() == 0) {
      ClearOptimizedCodeMap();
    }
  }
}

void Context::ClearOptimizedCodeMap() {
  DCHECK(IsNativeContext());
  FixedArray* empty_fixed_array = GetHeap()->empty_fixed_array();
  set_osr_code_table(empty_fixed_array);
}
569

570
void Context::AddOptimizedFunction(JSFunction* function) {
571
  DCHECK(IsNativeContext());
572
  Isolate* isolate = GetIsolate();
573
#ifdef ENABLE_SLOW_DCHECKS
574 575
  if (FLAG_enable_slow_asserts) {
    Object* element = get(OPTIMIZED_FUNCTIONS_LIST);
576
    while (!element->IsUndefined(isolate)) {
577 578 579
      CHECK(element != function);
      element = JSFunction::cast(element)->next_function_link();
    }
580 581
  }

582
  // Check that the context belongs to the weak native contexts list.
583
  bool found = false;
584 585
  Object* context = isolate->heap()->native_contexts_list();
  while (!context->IsUndefined(isolate)) {
586 587 588 589
    if (context == this) {
      found = true;
      break;
    }
590
    context = Context::cast(context)->next_context_link();
591 592 593
  }
  CHECK(found);
#endif
594 595 596

  // If the function link field is already used then the function was
  // enqueued as a code flushing candidate and we remove it now.
597
  if (!function->next_function_link()->IsUndefined(isolate)) {
598 599 600 601
    CodeFlusher* flusher = GetHeap()->mark_compact_collector()->code_flusher();
    flusher->EvictCandidate(function);
  }

602
  DCHECK(function->next_function_link()->IsUndefined(isolate));
603

604 605
  function->set_next_function_link(get(OPTIMIZED_FUNCTIONS_LIST),
                                   UPDATE_WEAK_WRITE_BARRIER);
606
  set(OPTIMIZED_FUNCTIONS_LIST, function, UPDATE_WEAK_WRITE_BARRIER);
607 608 609 610
}


void Context::RemoveOptimizedFunction(JSFunction* function) {
611
  DCHECK(IsNativeContext());
612 613
  Object* element = get(OPTIMIZED_FUNCTIONS_LIST);
  JSFunction* prev = NULL;
614 615
  Isolate* isolate = function->GetIsolate();
  while (!element->IsUndefined(isolate)) {
616
    JSFunction* element_function = JSFunction::cast(element);
617
    DCHECK(element_function->next_function_link()->IsUndefined(isolate) ||
618 619 620
           element_function->next_function_link()->IsJSFunction());
    if (element_function == function) {
      if (prev == NULL) {
621 622
        set(OPTIMIZED_FUNCTIONS_LIST, element_function->next_function_link(),
            UPDATE_WEAK_WRITE_BARRIER);
623
      } else {
624 625
        prev->set_next_function_link(element_function->next_function_link(),
                                     UPDATE_WEAK_WRITE_BARRIER);
626
      }
627 628
      element_function->set_next_function_link(GetHeap()->undefined_value(),
                                               UPDATE_WEAK_WRITE_BARRIER);
629 630 631 632 633 634 635 636 637
      return;
    }
    prev = element_function;
    element = element_function->next_function_link();
  }
  UNREACHABLE();
}


638
void Context::SetOptimizedFunctionsListHead(Object* head) {
639
  DCHECK(IsNativeContext());
640
  set(OPTIMIZED_FUNCTIONS_LIST, head, UPDATE_WEAK_WRITE_BARRIER);
641 642 643
}


644
Object* Context::OptimizedFunctionsListHead() {
645
  DCHECK(IsNativeContext());
646 647 648 649
  return get(OPTIMIZED_FUNCTIONS_LIST);
}


650
void Context::AddOptimizedCode(Code* code) {
651 652
  DCHECK(IsNativeContext());
  DCHECK(code->kind() == Code::OPTIMIZED_FUNCTION);
653
  DCHECK(code->next_code_link()->IsUndefined(GetIsolate()));
654
  code->set_next_code_link(get(OPTIMIZED_CODE_LIST));
655
  set(OPTIMIZED_CODE_LIST, code, UPDATE_WEAK_WRITE_BARRIER);
656 657 658 659
}


void Context::SetOptimizedCodeListHead(Object* head) {
660
  DCHECK(IsNativeContext());
661
  set(OPTIMIZED_CODE_LIST, head, UPDATE_WEAK_WRITE_BARRIER);
662 663 664 665
}


Object* Context::OptimizedCodeListHead() {
666
  DCHECK(IsNativeContext());
667 668 669 670 671
  return get(OPTIMIZED_CODE_LIST);
}


void Context::SetDeoptimizedCodeListHead(Object* head) {
672
  DCHECK(IsNativeContext());
673
  set(DEOPTIMIZED_CODE_LIST, head, UPDATE_WEAK_WRITE_BARRIER);
674 675 676 677
}


Object* Context::DeoptimizedCodeListHead() {
678
  DCHECK(IsNativeContext());
679
  return get(DEOPTIMIZED_CODE_LIST);
680 681 682
}


683
Handle<Object> Context::ErrorMessageForCodeGenerationFromStrings() {
684 685
  Isolate* isolate = GetIsolate();
  Handle<Object> result(error_message_for_code_gen_from_strings(), isolate);
686
  if (!result->IsUndefined(isolate)) return result;
687
  return isolate->factory()->NewStringFromStaticChars(
688
      "Code generation from strings disallowed for this context");
689 690 691
}


692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707
#define COMPARE_NAME(index, type, name) \
  if (string->IsOneByteEqualTo(STATIC_CHAR_VECTOR(#name))) return index;

int Context::ImportedFieldIndexForName(Handle<String> string) {
  NATIVE_CONTEXT_IMPORTED_FIELDS(COMPARE_NAME)
  return kNotFound;
}


int Context::IntrinsicIndexForName(Handle<String> string) {
  NATIVE_CONTEXT_INTRINSIC_FUNCTIONS(COMPARE_NAME);
  return kNotFound;
}

#undef COMPARE_NAME

708 709 710 711 712 713 714 715 716 717 718
#define COMPARE_NAME(index, type, name) \
  if (strncmp(string, #name, length) == 0) return index;

int Context::IntrinsicIndexForName(const unsigned char* unsigned_string,
                                   int length) {
  const char* string = reinterpret_cast<const char*>(unsigned_string);
  NATIVE_CONTEXT_INTRINSIC_FUNCTIONS(COMPARE_NAME);
  return kNotFound;
}

#undef COMPARE_NAME
719

720
#ifdef DEBUG
721 722 723 724 725 726 727 728 729

bool Context::IsBootstrappingOrNativeContext(Isolate* isolate, Object* object) {
  // During bootstrapping we allow all objects to pass as global
  // objects. This is necessary to fix circular dependencies.
  return isolate->heap()->gc_state() != Heap::NOT_IN_GC ||
         isolate->bootstrapper()->IsActive() || object->IsNativeContext();
}


730 731
bool Context::IsBootstrappingOrValidParentContext(
    Object* object, Context* child) {
732 733
  // During bootstrapping we allow all objects to pass as
  // contexts. This is necessary to fix circular dependencies.
734
  if (child->GetIsolate()->bootstrapper()->IsActive()) return true;
735 736
  if (!object->IsContext()) return false;
  Context* context = Context::cast(object);
737
  return context->IsNativeContext() || context->IsScriptContext() ||
738
         context->IsModuleContext() || !child->IsModuleContext();
739 740 741 742
}

#endif

743 744 745 746
void Context::ResetErrorsThrown() {
  DCHECK(IsNativeContext());
  set_errors_thrown(Smi::FromInt(0));
}
747 748 749 750 751 752 753 754 755 756 757

void Context::IncrementErrorsThrown() {
  DCHECK(IsNativeContext());

  int previous_value = errors_thrown()->value();
  set_errors_thrown(Smi::FromInt(previous_value + 1));
}


int Context::GetErrorsThrown() { return errors_thrown()->value(); }

758 759
}  // namespace internal
}  // namespace v8