harmony_scoping: Implement lexical bindings at top level
authordslomov@chromium.org <dslomov@chromium.org>
Fri, 7 Nov 2014 16:29:13 +0000 (16:29 +0000)
committerdslomov@chromium.org <dslomov@chromium.org>
Fri, 7 Nov 2014 16:29:45 +0000 (16:29 +0000)
commit1a64b02dcf061bc4a60eb7e9b2a0ae674b8d34be
treea74584d97b7de96bb3b148f6d87a32c6c7e9bde7
parente2e9e1d3f63e481511ad673802ae6793c5cbfd32
harmony_scoping: Implement lexical bindings at top level

This implements correct semantics for "extensible" top level lexical scope.
The entire lexical scope is represented at runtime by GlobalContextTable, reachable from native context and accumulating global contexts from every script loaded into the context.

When the new script starts executing, it does the following validation:
- checks the GlobalContextTable and global object (non-configurable own) properties against the set of declarations it introduces and reports potential conflicts.
- invalidates the conflicting PropertyCells on global object, so that any code depending on them will miss/deopt causing any contextual lookups to be reexecuted under the new bindings
- adds the lexical bindings it introduces to the GlobalContextTable

Loads and stores for contextual lookups are modified so that they check the GlobalContextTable before looking up properties on global object, thus implementing the shadowing of global object properties by lexical declarations.

R=adamk@chromium.org, rossberg@chromium.org

Review URL: https://codereview.chromium.org/705663004

Cr-Commit-Position: refs/heads/master@{#25220}
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@25220 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
14 files changed:
include/v8.h
src/bootstrapper.cc
src/contexts.cc
src/contexts.h
src/factory.cc
src/factory.h
src/heap/heap.cc
src/heap/heap.h
src/ic/ic.cc
src/objects-inl.h
src/objects.cc
src/objects.h
src/runtime/runtime-scopes.cc
test/cctest/test-decls.cc