3e12ed1f78
- Default constructor scopes won't need the scope data for deciding the scope allocation of variables inside them. Also, PreParser doesn't construct them. So they should be just skipped when applying the scope data. - PreParser needs to declare the class name + have a proper end position for the class scope. - This makes all mjsunit tests pass with --experimental-preparser-scope-analysis. - Also added several DCHECKs which were useful for debugging. BUG=v8:5516 Change-Id: I5b3e6c60ed79efe25f33576a3547d707c700c6dd Reviewed-on: https://chromium-review.googlesource.com/503208 Commit-Queue: Marja Hölttä <marja@chromium.org> Reviewed-by: Daniel Vogelheim <vogelheim@chromium.org> Cr-Commit-Position: refs/heads/master@{#45303}
664 lines
26 KiB
C++
664 lines
26 KiB
C++
// Copyright 2017 the V8 project authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file.
|
|
|
|
#include "src/ast/ast.h"
|
|
#include "src/compiler.h"
|
|
#include "src/objects-inl.h"
|
|
#include "src/parsing/parse-info.h"
|
|
#include "src/parsing/parsing.h"
|
|
|
|
#include "test/cctest/cctest.h"
|
|
#include "test/cctest/scope-test-helper.h"
|
|
#include "test/cctest/unicode-helpers.h"
|
|
|
|
namespace {
|
|
|
|
enum SkipTests {
|
|
DONT_SKIP = 0,
|
|
// Skip if the test function declares itself strict, otherwise don't skip.
|
|
SKIP_STRICT_FUNCTION = 1,
|
|
// Skip if there's a "use strict" directive above the test.
|
|
SKIP_STRICT_OUTER = 1 << 1,
|
|
SKIP_ARROW = 1 << 2,
|
|
SKIP_STRICT = SKIP_STRICT_FUNCTION | SKIP_STRICT_OUTER
|
|
};
|
|
|
|
} // namespace
|
|
|
|
TEST(PreParserScopeAnalysis) {
|
|
i::FLAG_lazy_inner_functions = true;
|
|
i::FLAG_experimental_preparser_scope_analysis = true;
|
|
i::Isolate* isolate = CcTest::i_isolate();
|
|
i::Factory* factory = isolate->factory();
|
|
i::HandleScope scope(isolate);
|
|
LocalContext env;
|
|
|
|
/* Test the following cases:
|
|
1)
|
|
(function outer() {
|
|
function test() { ... }
|
|
})();
|
|
against:
|
|
(function outer() {
|
|
(function test() { ... })();
|
|
})();
|
|
|
|
2)
|
|
(function outer() {
|
|
function inner() { function test() { ... } }
|
|
})();
|
|
against:
|
|
(function outer() {
|
|
(function inner() { function test() { ... } })();
|
|
})();
|
|
(Modified function is deeper inside the laziness boundary.)
|
|
|
|
3)
|
|
(function outer() {
|
|
function inner() { () => { ... } }
|
|
})();
|
|
against:
|
|
(function outer() {
|
|
(function inner() { () => { ... } })();
|
|
})();
|
|
|
|
Inner arrow functions are never lazy, so the corresponding case is missing.
|
|
*/
|
|
|
|
struct {
|
|
const char* prefix;
|
|
const char* suffix;
|
|
// The scope start positions must match; note the extra space in
|
|
// lazy_inner.
|
|
const char* lazy_inner;
|
|
const char* eager_inner;
|
|
bool strict_outer;
|
|
bool strict_test_function;
|
|
bool arrow;
|
|
} outers[] = {
|
|
// Normal case (test function at the laziness boundary):
|
|
{"(function outer() { ", "})();", " function test(%s) { %s }",
|
|
"(function test(%s) { %s })()", false, false, false},
|
|
|
|
// Test function deeper:
|
|
{"(function outer() { ", "})();",
|
|
" function inner() { function test(%s) { %s } }",
|
|
"(function inner() { function test(%s) { %s } })()", false, false,
|
|
false},
|
|
|
|
// Arrow functions (they can never be at the laziness boundary):
|
|
{"(function outer() { ", "})();", " function inner() { (%s) => { %s } }",
|
|
"(function inner() { (%s) => { %s } })()", false, false, true},
|
|
|
|
// Repeat the above mentioned cases w/ outer function declaring itself
|
|
// strict:
|
|
{"(function outer() { 'use strict'; ", "})();",
|
|
" function test(%s) { %s }", "(function test(%s) { %s })()", true, false,
|
|
false},
|
|
{"(function outer() { 'use strict'; ", "})();",
|
|
" function inner() { function test(%s) { %s } }",
|
|
"(function inner() { function test(%s) { %s } })()", true, false, false},
|
|
{"(function outer() { 'use strict'; ", "})();",
|
|
" function inner() { (%s) => { %s } }",
|
|
"(function inner() { (%s) => { %s } })()", true, false, true},
|
|
|
|
// ... and with the test function declaring itself strict:
|
|
{"(function outer() { ", "})();",
|
|
" function test(%s) { 'use strict'; %s }",
|
|
"(function test(%s) { 'use strict'; %s })()", false, true, false},
|
|
{"(function outer() { ", "})();",
|
|
" function inner() { function test(%s) { 'use strict'; %s } }",
|
|
"(function inner() { function test(%s) { 'use strict'; %s } })()", false,
|
|
true, false},
|
|
{"(function outer() { ", "})();",
|
|
" function inner() { (%s) => { 'use strict'; %s } }",
|
|
"(function inner() { (%s) => { 'use strict'; %s } })()", false, true,
|
|
true},
|
|
|
|
// FIXME(marja): Generators and async functions
|
|
};
|
|
|
|
struct Inner {
|
|
Inner(const char* s) : source(s) {} // NOLINT
|
|
Inner(const char* s, SkipTests skip) : source(s), skip(skip) {}
|
|
Inner(const char* s, SkipTests skip, bool precise)
|
|
: source(s), skip(skip), precise_maybe_assigned(precise) {}
|
|
|
|
Inner(const char* p, const char* s) : params(p), source(s) {}
|
|
Inner(const char* p, const char* s, SkipTests skip)
|
|
: params(p), source(s), skip(skip) {}
|
|
Inner(const char* p, const char* s, SkipTests skip, bool precise)
|
|
: params(p), source(s), skip(skip), precise_maybe_assigned(precise) {}
|
|
|
|
const char* params = "";
|
|
const char* source;
|
|
SkipTests skip = DONT_SKIP;
|
|
bool precise_maybe_assigned = true;
|
|
} inners[] = {
|
|
// Simple cases
|
|
{"var1;"},
|
|
{"var1 = 5;"},
|
|
{"if (true) {}"},
|
|
{"function f1() {}"},
|
|
|
|
// Var declarations and assignments.
|
|
{"var var1;"},
|
|
{"var var1; var1 = 5;"},
|
|
{"if (true) { var var1; }", DONT_SKIP, false},
|
|
{"if (true) { var var1; var1 = 5; }"},
|
|
{"var var1; function f() { var1; }"},
|
|
{"var var1; var1 = 5; function f() { var1; }"},
|
|
{"var var1; function f() { var1 = 5; }"},
|
|
{"function f1() { f2(); } function f2() {}"},
|
|
|
|
// Let declarations and assignments.
|
|
{"let var1;"},
|
|
{"let var1; var1 = 5;"},
|
|
{"if (true) { let var1; }"},
|
|
{"if (true) { let var1; var1 = 5; }"},
|
|
{"let var1; function f() { var1; }"},
|
|
{"let var1; var1 = 5; function f() { var1; }"},
|
|
{"let var1; function f() { var1 = 5; }"},
|
|
|
|
// Const declarations.
|
|
{"const var1 = 5;"},
|
|
{"if (true) { const var1 = 5; }"},
|
|
{"const var1 = 5; function f() { var1; }"},
|
|
|
|
// Redeclarations.
|
|
{"var var1; var var1;"},
|
|
{"var var1; var var1; var1 = 5;"},
|
|
{"var var1; if (true) { var var1; }"},
|
|
{"if (true) { var var1; var var1; }"},
|
|
{"var var1; if (true) { var var1; var1 = 5; }"},
|
|
{"if (true) { var var1; var var1; var1 = 5; }"},
|
|
{"var var1; var var1; function f() { var1; }"},
|
|
{"var var1; var var1; function f() { var1 = 5; }"},
|
|
|
|
// Shadowing declarations.
|
|
{"var var1; if (true) { var var1; }"},
|
|
{"var var1; if (true) { let var1; }"},
|
|
{"let var1; if (true) { let var1; }"},
|
|
|
|
{"var var1; if (true) { const var1 = 0; }"},
|
|
{"const var1 = 0; if (true) { const var1 = 0; }"},
|
|
|
|
// Variables deeper in the subscopes (scopes without variables inbetween).
|
|
{"if (true) { if (true) { function f() { var var1 = 5; } } }"},
|
|
|
|
// Arguments and this.
|
|
{"arguments;"},
|
|
{"arguments = 5;", SKIP_STRICT},
|
|
{"if (true) { arguments; }"},
|
|
{"if (true) { arguments = 5; }", SKIP_STRICT},
|
|
{"() => { arguments; }"},
|
|
{"var1, var2, var3", "arguments;"},
|
|
{"var1, var2, var3", "arguments = 5;", SKIP_STRICT},
|
|
{"var1, var2, var3", "() => { arguments; }"},
|
|
{"var1, var2, var3", "() => { arguments = 5; }", SKIP_STRICT},
|
|
|
|
{"this;"},
|
|
{"if (true) { this; }"},
|
|
{"() => { this; }"},
|
|
|
|
// Variable called "arguments"
|
|
{"var arguments;", SKIP_STRICT},
|
|
{"var arguments; arguments = 5;", SKIP_STRICT},
|
|
{"if (true) { var arguments; }", SKIP_STRICT, false},
|
|
{"if (true) { var arguments; arguments = 5; }", SKIP_STRICT},
|
|
{"var arguments; function f() { arguments; }", SKIP_STRICT},
|
|
{"var arguments; arguments = 5; function f() { arguments; }",
|
|
SKIP_STRICT},
|
|
{"var arguments; function f() { arguments = 5; }", SKIP_STRICT},
|
|
|
|
{"let arguments;", SKIP_STRICT},
|
|
{"let arguments; arguments = 5;", SKIP_STRICT},
|
|
{"if (true) { let arguments; }", SKIP_STRICT},
|
|
{"if (true) { let arguments; arguments = 5; }", SKIP_STRICT},
|
|
{"let arguments; function f() { arguments; }", SKIP_STRICT},
|
|
{"let arguments; arguments = 5; function f() { arguments; }",
|
|
SKIP_STRICT},
|
|
{"let arguments; function f() { arguments = 5; }", SKIP_STRICT},
|
|
|
|
{"const arguments = 5;", SKIP_STRICT},
|
|
{"if (true) { const arguments = 5; }", SKIP_STRICT},
|
|
{"const arguments = 5; function f() { arguments; }", SKIP_STRICT},
|
|
|
|
// Destructuring declarations.
|
|
{"var [var1, var2] = [1, 2];"},
|
|
{"var [var1, var2, [var3, var4]] = [1, 2, [3, 4]];"},
|
|
{"var [{var1: var2}, {var3: var4}] = [{var1: 1}, {var3: 2}];"},
|
|
{"var [var1, ...var2] = [1, 2, 3];"},
|
|
|
|
{"var {var1: var2, var3: var4} = {var1: 1, var3: 2};"},
|
|
{"var {var1: var2, var3: {var4: var5}} = {var1: 1, var3: {var4: 2}};"},
|
|
{"var {var1: var2, var3: [var4, var5]} = {var1: 1, var3: [2, 3]};"},
|
|
|
|
{"let [var1, var2] = [1, 2];"},
|
|
{"let [var1, var2, [var3, var4]] = [1, 2, [3, 4]];"},
|
|
{"let [{var1: var2}, {var3: var4}] = [{var1: 1}, {var3: 2}];"},
|
|
{"let [var1, ...var2] = [1, 2, 3];"},
|
|
|
|
{"let {var1: var2, var3: var4} = {var1: 1, var3: 2};"},
|
|
{"let {var1: var2, var3: {var4: var5}} = {var1: 1, var3: {var4: 2}};"},
|
|
{"let {var1: var2, var3: [var4, var5]} = {var1: 1, var3: [2, 3]};"},
|
|
|
|
{"const [var1, var2] = [1, 2];"},
|
|
{"const [var1, var2, [var3, var4]] = [1, 2, [3, 4]];"},
|
|
{"const [{var1: var2}, {var3: var4}] = [{var1: 1}, {var3: 2}];"},
|
|
{"const [var1, ...var2] = [1, 2, 3];"},
|
|
|
|
{"const {var1: var2, var3: var4} = {var1: 1, var3: 2};"},
|
|
{"const {var1: var2, var3: {var4: var5}} = {var1: 1, var3: {var4: 2}};"},
|
|
{"const {var1: var2, var3: [var4, var5]} = {var1: 1, var3: [2, 3]};"},
|
|
|
|
// Referencing the function variable.
|
|
{"test;"},
|
|
{"function f1() { f1; }"},
|
|
{"function f1() { function f2() { f1; } }"},
|
|
{"function arguments() {}", SKIP_STRICT},
|
|
{"function f1() {} function f1() {}", SKIP_STRICT},
|
|
{"var f1; function f1() {}"},
|
|
|
|
// Assigning to the function variable.
|
|
{"test = 3;"},
|
|
{"function f1() { f1 = 3; }"},
|
|
{"function f1() { f1; } f1 = 3;"},
|
|
{"function arguments() {} arguments = 8;", SKIP_STRICT},
|
|
{"function f1() {} f1 = 3; function f1() {}", SKIP_STRICT},
|
|
|
|
// Evals.
|
|
{"var var1; eval('');"},
|
|
{"var var1; function f1() { eval(''); }"},
|
|
{"let var1; eval('');"},
|
|
{"let var1; function f1() { eval(''); }"},
|
|
{"const var1 = 10; eval('');"},
|
|
{"const var1 = 10; function f1() { eval(''); }"},
|
|
|
|
// Standard for loops.
|
|
{"for (var var1 = 0; var1 < 10; ++var1) { }"},
|
|
{"for (let var1 = 0; var1 < 10; ++var1) { }"},
|
|
{"for (const var1 = 0; var1 < 10; ++var1) { }"},
|
|
|
|
{"for (var var1 = 0; var1 < 10; ++var1) { function foo() { var1; } }"},
|
|
{"for (let var1 = 0; var1 < 10; ++var1) { function foo() { var1; } }"},
|
|
{"for (const var1 = 0; var1 < 10; ++var1) { function foo() { var1; } }"},
|
|
|
|
// For of loops
|
|
{"for (var1 of [1, 2]) { }"},
|
|
{"for (var var1 of [1, 2]) { }"},
|
|
{"for (let var1 of [1, 2]) { }"},
|
|
{"for (const var1 of [1, 2]) { }"},
|
|
|
|
{"for (var1 of [1, 2]) { var1; }"},
|
|
{"for (var var1 of [1, 2]) { var1; }"},
|
|
{"for (let var1 of [1, 2]) { var1; }"},
|
|
{"for (const var1 of [1, 2]) { var1; }"},
|
|
|
|
{"for (var1 of [1, 2]) { var1 = 0; }"},
|
|
{"for (var var1 of [1, 2]) { var1 = 0; }"},
|
|
{"for (let var1 of [1, 2]) { var1 = 0; }"},
|
|
{"for (const var1 of [1, 2]) { var1 = 0; }"},
|
|
|
|
{"for (var1 of [1, 2]) { function foo() { var1; } }"},
|
|
{"for (var var1 of [1, 2]) { function foo() { var1; } }"},
|
|
{"for (let var1 of [1, 2]) { function foo() { var1; } }"},
|
|
{"for (const var1 of [1, 2]) { function foo() { var1; } }"},
|
|
|
|
{"for (var1 of [1, 2]) { function foo() { var1 = 0; } }"},
|
|
{"for (var var1 of [1, 2]) { function foo() { var1 = 0; } }"},
|
|
{"for (let var1 of [1, 2]) { function foo() { var1 = 0; } }"},
|
|
{"for (const var1 of [1, 2]) { function foo() { var1 = 0; } }"},
|
|
|
|
// For in loops
|
|
{"for (var1 in {a: 6}) { }"},
|
|
{"for (var var1 in {a: 6}) { }"},
|
|
{"for (let var1 in {a: 6}) { }"},
|
|
{"for (const var1 in {a: 6}) { }"},
|
|
|
|
{"for (var1 in {a: 6}) { var1; }"},
|
|
{"for (var var1 in {a: 6}) { var1; }"},
|
|
{"for (let var1 in {a: 6}) { var1; }"},
|
|
{"for (const var1 in {a: 6}) { var1; }"},
|
|
|
|
{"for (var1 in {a: 6}) { var1 = 0; }"},
|
|
{"for (var var1 in {a: 6}) { var1 = 0; }"},
|
|
{"for (let var1 in {a: 6}) { var1 = 0; }"},
|
|
{"for (const var1 in {a: 6}) { var1 = 0; }"},
|
|
|
|
{"for (var1 in {a: 6}) { function foo() { var1; } }"},
|
|
{"for (var var1 in {a: 6}) { function foo() { var1; } }"},
|
|
{"for (let var1 in {a: 6}) { function foo() { var1; } }"},
|
|
{"for (const var1 in {a: 6}) { function foo() { var1; } }"},
|
|
|
|
{"for (var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
{"for (var var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
{"for (let var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
{"for (const var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
|
|
{"for (var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
{"for (var var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
{"for (let var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
{"for (const var1 in {a: 6}) { function foo() { var1 = 0; } }"},
|
|
|
|
// Destructuring loop variable
|
|
{"for ([var1, var2] of [[1, 1], [2, 2]]) { }"},
|
|
{"for (var [var1, var2] of [[1, 1], [2, 2]]) { }"},
|
|
{"for (let [var1, var2] of [[1, 1], [2, 2]]) { }"},
|
|
{"for (const [var1, var2] of [[1, 1], [2, 2]]) { }"},
|
|
|
|
{"for ([var1, var2] of [[1, 1], [2, 2]]) { var2 = 3; }"},
|
|
{"for (var [var1, var2] of [[1, 1], [2, 2]]) { var2 = 3; }"},
|
|
{"for (let [var1, var2] of [[1, 1], [2, 2]]) { var2 = 3; }"},
|
|
{"for (const [var1, var2] of [[1, 1], [2, 2]]) { var2 = 3; }"},
|
|
|
|
{"for ([var1, var2] of [[1, 1], [2, 2]]) { () => { var2 = 3; } }"},
|
|
{"for (var [var1, var2] of [[1, 1], [2, 2]]) { () => { var2 = 3; } }"},
|
|
{"for (let [var1, var2] of [[1, 1], [2, 2]]) { () => { var2 = 3; } }"},
|
|
{"for (const [var1, var2] of [[1, 1], [2, 2]]) { () => { var2 = 3; } }"},
|
|
|
|
// Loops without declarations
|
|
{"var var1 = 0; for ( ; var1 < 2; ++var1) { }"},
|
|
{"var var1 = 0; for ( ; var1 < 2; ++var1) { function foo() { var1; } }"},
|
|
{"var var1 = 0; for ( ; var1 > 2; ) { }"},
|
|
{"var var1 = 0; for ( ; var1 > 2; ) { function foo() { var1; } }"},
|
|
{"var var1 = 0; for ( ; var1 > 2; ) { function foo() { var1 = 6; } }"},
|
|
|
|
{"var var1 = 0; for(var1; var1 < 2; ++var1) { }"},
|
|
{"var var1 = 0; for (var1; var1 < 2; ++var1) { function foo() { var1; } "
|
|
"}"},
|
|
{"var var1 = 0; for (var1; var1 > 2; ) { }"},
|
|
{"var var1 = 0; for (var1; var1 > 2; ) { function foo() { var1; } }"},
|
|
{"var var1 = 0; for (var1; var1 > 2; ) { function foo() { var1 = 6; } }"},
|
|
|
|
// Block functions (potentially sloppy).
|
|
{"if (true) { function f1() {} }"},
|
|
{"if (true) { function f1() {} function f1() {} }", SKIP_STRICT},
|
|
{"if (true) { if (true) { function f1() {} } }"},
|
|
{"if (true) { if (true) { function f1() {} function f1() {} } }",
|
|
SKIP_STRICT},
|
|
{"if (true) { function f1() {} f1 = 3; }"},
|
|
|
|
{"if (true) { function f1() {} function foo() { f1; } }"},
|
|
{"if (true) { function f1() {} } function foo() { f1; }"},
|
|
{"if (true) { function f1() {} function f1() {} function foo() { f1; } "
|
|
"}",
|
|
SKIP_STRICT},
|
|
{"if (true) { function f1() {} function f1() {} } function foo() { f1; "
|
|
"}",
|
|
SKIP_STRICT},
|
|
{"if (true) { if (true) { function f1() {} } function foo() { f1; } }"},
|
|
{"if (true) { if (true) { function f1() {} function f1() {} } function "
|
|
"foo() { f1; } }",
|
|
SKIP_STRICT},
|
|
{"if (true) { function f1() {} f1 = 3; function foo() { f1; } }"},
|
|
{"if (true) { function f1() {} f1 = 3; } function foo() { f1; }"},
|
|
|
|
{"var f1 = 1; if (true) { function f1() {} }"},
|
|
{"var f1 = 1; if (true) { function f1() {} } function foo() { f1; }"},
|
|
|
|
{"if (true) { function f1() {} function f2() { f1(); } }"},
|
|
|
|
// Simple parameters.
|
|
{"var1", ""},
|
|
{"var1", "var1;"},
|
|
{"var1", "var1 = 9;"},
|
|
{"var1", "function f1() { var1; }"},
|
|
{"var1", "function f1() { var1 = 9; }"},
|
|
|
|
{"var1, var2", ""},
|
|
{"var1, var2", "var2;"},
|
|
{"var1, var2", "var2 = 9;"},
|
|
{"var1, var2", "function f1() { var2; }"},
|
|
{"var1, var2", "function f1() { var2 = 9; }"},
|
|
{"var1, var2", "var1;"},
|
|
{"var1, var2", "var1 = 9;"},
|
|
{"var1, var2", "function f1() { var1; }"},
|
|
{"var1, var2", "function f1() { var1 = 9; }"},
|
|
|
|
// Duplicate parameters.
|
|
{"var1, var1", "", SkipTests(SKIP_STRICT | SKIP_ARROW)},
|
|
{"var1, var1", "var1;", SkipTests(SKIP_STRICT | SKIP_ARROW)},
|
|
{"var1, var1", "var1 = 9;", SkipTests(SKIP_STRICT | SKIP_ARROW)},
|
|
{"var1, var1", "function f1() { var1; }",
|
|
SkipTests(SKIP_STRICT | SKIP_ARROW)},
|
|
{"var1, var1", "function f1() { var1 = 9; }",
|
|
SkipTests(SKIP_STRICT | SKIP_ARROW)},
|
|
|
|
// If the function declares itself strict, non-simple parameters aren't
|
|
// allowed.
|
|
|
|
// Rest parameter.
|
|
{"...var2", "", SKIP_STRICT_FUNCTION},
|
|
{"...var2", "var2;", SKIP_STRICT_FUNCTION},
|
|
{"...var2", "var2 = 9;", SKIP_STRICT_FUNCTION},
|
|
{"...var2", "function f1() { var2; }", SKIP_STRICT_FUNCTION},
|
|
{"...var2", "function f1() { var2 = 9; }", SKIP_STRICT_FUNCTION},
|
|
|
|
{"var1, ...var2", "", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...var2", "var2;", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...var2", "var2 = 9;", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...var2", "function f1() { var2; }", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...var2", "function f1() { var2 = 9; }", SKIP_STRICT_FUNCTION},
|
|
|
|
// Default parameters.
|
|
{"var1 = 3", "", SKIP_STRICT_FUNCTION, false},
|
|
{"var1, var2 = var1", "", SKIP_STRICT_FUNCTION, false},
|
|
{"var1, var2 = 4, ...var3", "", SKIP_STRICT_FUNCTION, false},
|
|
|
|
// Destructuring parameters. Because of the search space explosion, we
|
|
// cannot test all interesting cases. Let's try to test a relevant subset.
|
|
{"[]", "", SKIP_STRICT_FUNCTION},
|
|
{"{}", "", SKIP_STRICT_FUNCTION},
|
|
|
|
{"[var1]", "", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1}", "", SKIP_STRICT_FUNCTION},
|
|
{"{var1}", "", SKIP_STRICT_FUNCTION},
|
|
|
|
{"[var1]", "var1;", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1}", "var1;", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1}", "name1;", SKIP_STRICT_FUNCTION},
|
|
{"{var1}", "var1;", SKIP_STRICT_FUNCTION},
|
|
|
|
{"[var1]", "var1 = 16;", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1}", "var1 = 16;", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1}", "name1 = 16;", SKIP_STRICT_FUNCTION},
|
|
{"{var1}", "var1 = 16;", SKIP_STRICT_FUNCTION},
|
|
|
|
{"[var1]", "() => { var1; }", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1}", "() => { var1; }", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1}", "() => { name1; }", SKIP_STRICT_FUNCTION},
|
|
{"{var1}", "() => { var1; }", SKIP_STRICT_FUNCTION},
|
|
|
|
{"[var1, var2, var3]", "", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1, name2: var2, name3: var3}", "", SKIP_STRICT_FUNCTION},
|
|
{"{var1, var2, var3}", "", SKIP_STRICT_FUNCTION},
|
|
|
|
{"[var1, var2, var3]", "() => { var2 = 16;}", SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1, name2: var2, name3: var3}", "() => { var2 = 16;}",
|
|
SKIP_STRICT_FUNCTION},
|
|
{"{name1: var1, name2: var2, name3: var3}", "() => { name2 = 16;}",
|
|
SKIP_STRICT_FUNCTION},
|
|
{"{var1, var2, var3}", "() => { var2 = 16;}", SKIP_STRICT_FUNCTION},
|
|
|
|
// Nesting destructuring.
|
|
{"[var1, [var2, var3], {var4, name5: [var5, var6]}]", "",
|
|
SKIP_STRICT_FUNCTION},
|
|
|
|
// Complicated params.
|
|
{"var1, [var2], var3 = 24, [var4, var5] = [2, 4], var6, {var7}, var8, "
|
|
"{name9: var9, name10: var10}, ...var11",
|
|
"", SKIP_STRICT_FUNCTION, false},
|
|
|
|
// Destructuring rest. Because we can.
|
|
{"var1, ...[var2]", "", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...[var2]", "() => { var2; }", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...{0: var2}", "", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...{0: var2}", "() => { var2; }", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...[]", "", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...{}", "", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...[var2, var3]", "", SKIP_STRICT_FUNCTION},
|
|
{"var1, ...{0: var2, 1: var3}", "", SKIP_STRICT_FUNCTION},
|
|
|
|
// Default parameters for destruring parameters.
|
|
{"[var1, var2] = [2, 4]", "", SKIP_STRICT_FUNCTION, false},
|
|
{"{var1, var2} = {var1: 3, var2: 3}", "", SKIP_STRICT_FUNCTION, false},
|
|
|
|
// Default parameters inside destruring parameters.
|
|
{"[var1 = 4, var2 = var1]", "", SKIP_STRICT_FUNCTION, false},
|
|
{"{var1 = 4, var2 = var1}", "", SKIP_STRICT_FUNCTION, false},
|
|
|
|
// Locals shadowing parameters.
|
|
{"var1, var2", "var var1 = 16; () => { var1 = 17; }"},
|
|
|
|
// Locals shadowing destructuring parameters and the rest parameter.
|
|
{"[var1, var2]", "var var1 = 16; () => { var1 = 17; }",
|
|
SKIP_STRICT_FUNCTION},
|
|
{"{var1, var2}", "var var1 = 16; () => { var1 = 17; }",
|
|
SKIP_STRICT_FUNCTION},
|
|
{"var1, var2, ...var3", "var var3 = 16; () => { var3 = 17; }",
|
|
SKIP_STRICT_FUNCTION},
|
|
{"var1, var2 = var1", "var var1 = 16; () => { var1 = 17; }",
|
|
SKIP_STRICT_FUNCTION, false},
|
|
|
|
// Hoisted sloppy block function shadowing a parameter.
|
|
// FIXME(marja): why is maybe_assigned inaccurate?
|
|
{"var1, var2", "for (;;) { function var1() { } }", DONT_SKIP, false},
|
|
|
|
// Eval in default parameter.
|
|
{"var1, var2 = eval(''), var3", "let var4 = 0;", SKIP_STRICT_FUNCTION,
|
|
false},
|
|
{"var1, var2 = eval(''), var3 = eval('')", "let var4 = 0;",
|
|
SKIP_STRICT_FUNCTION, false},
|
|
|
|
// Eval in arrow function parameter list which is inside another arrow
|
|
// function parameter list.
|
|
{"var1, var2 = (var3, var4 = eval(''), var5) => { let var6; }, var7",
|
|
"let var8 = 0;", SKIP_STRICT_FUNCTION},
|
|
|
|
// Catch variable
|
|
{"try { } catch(var1) { }"},
|
|
{"try { } catch(var1) { var1; }"},
|
|
{"try { } catch(var1) { var1 = 3; }"},
|
|
{"try { } catch(var1) { function f() { var1; } }"},
|
|
{"try { } catch(var1) { function f() { var1 = 3; } }"},
|
|
|
|
// Shadowing the catch variable
|
|
{"try { } catch(var1) { var var1 = 3; }"},
|
|
{"try { } catch(var1) { var var1 = 3; function f() { var1 = 3; } }"},
|
|
|
|
// Classes
|
|
// FIXME(marja): Add more complex class cases.
|
|
{"class MyClass {}"},
|
|
};
|
|
|
|
for (unsigned outer_ix = 0; outer_ix < arraysize(outers); ++outer_ix) {
|
|
for (unsigned inner_ix = 0; inner_ix < arraysize(inners); ++inner_ix) {
|
|
if (outers[outer_ix].strict_outer &&
|
|
(inners[inner_ix].skip & SKIP_STRICT_OUTER)) {
|
|
continue;
|
|
}
|
|
if (outers[outer_ix].strict_test_function &&
|
|
(inners[inner_ix].skip & SKIP_STRICT_FUNCTION)) {
|
|
continue;
|
|
}
|
|
if (outers[outer_ix].arrow && (inners[inner_ix].skip & SKIP_ARROW)) {
|
|
continue;
|
|
}
|
|
|
|
const char* prefix = outers[outer_ix].prefix;
|
|
const char* suffix = outers[outer_ix].suffix;
|
|
int prefix_len = Utf8LengthHelper(prefix);
|
|
int suffix_len = Utf8LengthHelper(suffix);
|
|
|
|
// First compile with the lazy inner function and extract the scope data.
|
|
const char* inner_function = outers[outer_ix].lazy_inner;
|
|
int inner_function_len = Utf8LengthHelper(inner_function) - 4;
|
|
|
|
int params_len = Utf8LengthHelper(inners[inner_ix].params);
|
|
int source_len = Utf8LengthHelper(inners[inner_ix].source);
|
|
int len = prefix_len + inner_function_len + params_len + source_len +
|
|
suffix_len;
|
|
|
|
i::ScopedVector<char> lazy_program(len + 1);
|
|
i::SNPrintF(lazy_program, "%s", prefix);
|
|
i::SNPrintF(lazy_program + prefix_len, inner_function,
|
|
inners[inner_ix].params, inners[inner_ix].source);
|
|
i::SNPrintF(lazy_program + prefix_len + inner_function_len + params_len +
|
|
source_len,
|
|
"%s", suffix);
|
|
|
|
i::Handle<i::String> source =
|
|
factory->InternalizeUtf8String(lazy_program.start());
|
|
source->PrintOn(stdout);
|
|
printf("\n");
|
|
|
|
i::Handle<i::Script> script = factory->NewScript(source);
|
|
i::ParseInfo lazy_info(script);
|
|
|
|
// No need to run scope analysis; preparser scope data is produced when
|
|
// parsing.
|
|
CHECK(i::parsing::ParseProgram(&lazy_info, isolate));
|
|
|
|
// Then parse eagerly and check against the scope data.
|
|
inner_function = outers[outer_ix].eager_inner;
|
|
inner_function_len = Utf8LengthHelper(inner_function) - 4;
|
|
len = prefix_len + inner_function_len + params_len + source_len +
|
|
suffix_len;
|
|
|
|
i::ScopedVector<char> eager_program(len + 1);
|
|
i::SNPrintF(eager_program, "%s", prefix);
|
|
i::SNPrintF(eager_program + prefix_len, inner_function,
|
|
inners[inner_ix].params, inners[inner_ix].source);
|
|
i::SNPrintF(eager_program + prefix_len + inner_function_len + params_len +
|
|
source_len,
|
|
"%s", suffix);
|
|
|
|
source = factory->InternalizeUtf8String(eager_program.start());
|
|
source->PrintOn(stdout);
|
|
printf("\n");
|
|
|
|
script = factory->NewScript(source);
|
|
|
|
// Compare the allocation of the variables in two cases: 1) normal scope
|
|
// allocation 2) allocation based on the preparse data.
|
|
|
|
i::ParseInfo eager_normal(script);
|
|
eager_normal.set_allow_lazy_parsing(false);
|
|
|
|
CHECK(i::parsing::ParseProgram(&eager_normal, isolate));
|
|
CHECK(i::Compiler::Analyze(&eager_normal, isolate));
|
|
|
|
i::Scope* normal_scope =
|
|
eager_normal.literal()->scope()->inner_scope()->inner_scope();
|
|
CHECK_NOT_NULL(normal_scope);
|
|
CHECK_NULL(normal_scope->sibling());
|
|
CHECK(normal_scope->is_function_scope());
|
|
|
|
i::ParseInfo eager_using_scope_data(script);
|
|
eager_using_scope_data.set_allow_lazy_parsing(false);
|
|
|
|
CHECK(i::parsing::ParseProgram(&eager_using_scope_data, isolate));
|
|
// Don't run scope analysis (that would obviously decide the correct
|
|
// allocation for the variables).
|
|
|
|
i::Scope* unallocated_scope = eager_using_scope_data.literal()
|
|
->scope()
|
|
->inner_scope()
|
|
->inner_scope();
|
|
CHECK_NOT_NULL(unallocated_scope);
|
|
CHECK_NULL(unallocated_scope->sibling());
|
|
CHECK(unallocated_scope->is_function_scope());
|
|
|
|
uint32_t index = 0;
|
|
lazy_info.preparsed_scope_data()->RestoreData(unallocated_scope, &index);
|
|
i::ScopeTestHelper::AllocateWithoutVariableResolution(unallocated_scope);
|
|
|
|
i::ScopeTestHelper::CompareScopes(
|
|
normal_scope, unallocated_scope,
|
|
inners[inner_ix].precise_maybe_assigned);
|
|
}
|
|
}
|
|
}
|