1 // Copyright 2014 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4
5 #include "src/v8.h"
6
7 #include "test/cctest/compiler/function-tester.h"
8
9 using namespace v8::internal;
10 using namespace v8::internal::compiler;
11
12 static const char* throws = NULL;
13
14 static const char* load_tests[] = {
15 "var x = a; r = x", "123", "0",
16 "var x = (r = x)", "undefined", "undefined",
17 "var x = (a?1:2); r = x", "1", "2",
18 "const x = a; r = x", "123", "0",
19 "const x = (r = x)", "undefined", "undefined",
20 "const x = (a?3:4); r = x", "3", "4",
21 "'use strict'; const x = a; r = x", "123", "0",
22 "'use strict'; const x = (r = x)", throws, throws,
23 "'use strict'; const x = (a?5:6); r = x", "5", "6",
24 "'use strict'; let x = a; r = x", "123", "0",
25 "'use strict'; let x = (r = x)", throws, throws,
26 "'use strict'; let x = (a?7:8); r = x", "7", "8",
27 NULL};
28
29 static const char* store_tests[] = {
30 "var x = 1; x = a; r = x", "123", "0",
31 "var x = (a?(x=4,2):3); r = x", "2", "3",
32 "var x = (a?4:5); x = a; r = x", "123", "0",
33 "const x = 1; x = a; r = x", "1", "1",
34 "const x = (a?(x=4,2):3); r = x", "2", "3",
35 "const x = (a?4:5); x = a; r = x", "4", "5",
36 // Assignments to 'const' are SyntaxErrors, handled by the parser,
37 // hence we cannot test them here because they are early errors.
38 "'use strict'; let x = 1; x = a; r = x", "123", "0",
39 "'use strict'; let x = (a?(x=4,2):3); r = x", throws, "3",
40 "'use strict'; let x = (a?4:5); x = a; r = x", "123", "0",
41 NULL};
42
43 static const char* bind_tests[] = {
44 "if (a) { const x = a }; r = x;", "123", "undefined",
45 "for (; a > 0; a--) { const x = a }; r = x", "123", "undefined",
46 // Re-initialization of variables other than legacy 'const' is not
47 // possible due to sane variable scoping, hence no tests here.
48 NULL};
49
50
RunVariableTests(const char * source,const char * tests[])51 static void RunVariableTests(const char* source, const char* tests[]) {
52 FLAG_harmony_scoping = true;
53 EmbeddedVector<char, 512> buffer;
54
55 for (int i = 0; tests[i] != NULL; i += 3) {
56 SNPrintF(buffer, source, tests[i]);
57 PrintF("#%d: %s\n", i / 3, buffer.start());
58 FunctionTester T(buffer.start());
59
60 // Check function with non-falsey parameter.
61 if (tests[i + 1] != throws) {
62 Handle<Object> r = v8::Utils::OpenHandle(*CompileRun(tests[i + 1]));
63 T.CheckCall(r, T.Val(123), T.Val("result"));
64 } else {
65 T.CheckThrows(T.Val(123), T.Val("result"));
66 }
67
68 // Check function with falsey parameter.
69 if (tests[i + 2] != throws) {
70 Handle<Object> r = v8::Utils::OpenHandle(*CompileRun(tests[i + 2]));
71 T.CheckCall(r, T.Val(0.0), T.Val("result"));
72 } else {
73 T.CheckThrows(T.Val(0.0), T.Val("result"));
74 }
75 }
76 }
77
78
TEST(StackLoadVariables)79 TEST(StackLoadVariables) {
80 const char* source = "(function(a,r) { %s; return r; })";
81 RunVariableTests(source, load_tests);
82 }
83
84
TEST(ContextLoadVariables)85 TEST(ContextLoadVariables) {
86 const char* source = "(function(a,r) { %s; function f() {x} return r; })";
87 RunVariableTests(source, load_tests);
88 }
89
90
TEST(StackStoreVariables)91 TEST(StackStoreVariables) {
92 const char* source = "(function(a,r) { %s; return r; })";
93 RunVariableTests(source, store_tests);
94 }
95
96
TEST(ContextStoreVariables)97 TEST(ContextStoreVariables) {
98 const char* source = "(function(a,r) { %s; function f() {x} return r; })";
99 RunVariableTests(source, store_tests);
100 }
101
102
TEST(StackInitializeVariables)103 TEST(StackInitializeVariables) {
104 const char* source = "(function(a,r) { %s; return r; })";
105 RunVariableTests(source, bind_tests);
106 }
107
108
TEST(ContextInitializeVariables)109 TEST(ContextInitializeVariables) {
110 const char* source = "(function(a,r) { %s; function f() {x} return r; })";
111 RunVariableTests(source, bind_tests);
112 }
113
114
TEST(SelfReferenceVariable)115 TEST(SelfReferenceVariable) {
116 FunctionTester T("(function self() { return self; })");
117
118 T.CheckCall(T.function);
119 CompileRun("var self = 'not a function'");
120 T.CheckCall(T.function);
121 }
122