1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
// |jit-test| skip-if: getBuildConfiguration()['wasi']
//
// Tests aimed at AbstractGeneratorObject::FixedSlotLimit.
"use strict";
function test(n) {
const iterate = (start, f) => {
let value = start;
for (let i = n; i-- > 0; ) {
value = f(value, i);
}
return value;
};
const generate = (start, f) => {
let s = iterate(start, f);
let gen = eval('(function* () {\n' + s + '})');
return gen();
};
// Test 1: many vars in the function scope
{
let it = generate(
"yield 0;",
(s, i) => `
var v${i} = ${i};
${s}
assertEq(v${i}, ${i});
`
);
assertEq(it.next().done, false);
assertEq(it.next().done, true);
}
// Test 2: many let-bindings in nested lexical scopes
{
let it = generate(
"yield a => v174;",
(s, i) => {
let block = `
let v${i} = ${i};
${s}
assertEq(v${i}, ${i});
`;
if (i % 17 == 0) {
block = '{\n' + block + '}\n';
}
return block;
}
);
assertEq(it.next().done, false);
assertEq(it.next().done, true);
}
// Test 3: TDZ is preserved across yield
{
let it = generate(
'yield 0;\n' +
'try { v1; } catch (exc) { yield [1, exc]; }\n' +
`try { v${n - 1}; } catch (exc) { yield [2, exc]; }\n`,
(s, i) => {
let block = `
${s}
let v${i};
`;
if (i % 256 == 0) {
block = '{\n' + block + '}\n';
}
return block;
}
);
let {value, done} = it.next();
assertEq(value, 0);
({value, done} = it.next());
assertEq(value[0], 1);
assertEq(value[1].name, "ReferenceError");
({value, done} = it.next());
assertEq(value[0], 2);
assertEq(value[1].name, "ReferenceError");
({value, done} = it.next());
assertEq(done, true);
}
}
for (let exp = 8; exp < 12; exp++) {
const n = 2 ** exp;
test(n - 2);
test(n + 1);
}
|
