3427ec9dfb
Print all the mismatch failures in the bytecode rather than aborting at the first mismatch. R=rmcilroy Change-Id: Id572ead5fdc4d126ac9a05942f940b0eaef7150f Reviewed-on: https://chromium-review.googlesource.com/c/1400412 Commit-Queue: Dan Elphick <delphick@chromium.org> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org> Cr-Commit-Position: refs/heads/master@{#58628}
3234 lines
79 KiB
C++
3234 lines
79 KiB
C++
// Copyright 2015 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 <fstream>
|
|
|
|
#include "src/v8.h"
|
|
|
|
#include "src/interpreter/bytecode-array-iterator.h"
|
|
#include "src/interpreter/bytecode-generator.h"
|
|
#include "src/interpreter/interpreter.h"
|
|
#include "src/objects-inl.h"
|
|
#include "test/cctest/cctest.h"
|
|
#include "test/cctest/interpreter/bytecode-expectations-printer.h"
|
|
#include "test/cctest/test-feedback-vector.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
namespace interpreter {
|
|
|
|
#define XSTR(A) #A
|
|
#define STR(A) XSTR(A)
|
|
|
|
#define UNIQUE_VAR() "var a" STR(__COUNTER__) " = 0;\n"
|
|
|
|
#define LOAD_UNIQUE_PROPERTY() " b.name" STR(__COUNTER__) ";\n"
|
|
|
|
#define REPEAT_2(...) __VA_ARGS__ __VA_ARGS__
|
|
#define REPEAT_4(...) REPEAT_2(__VA_ARGS__) REPEAT_2(__VA_ARGS__)
|
|
#define REPEAT_8(...) REPEAT_4(__VA_ARGS__) REPEAT_4(__VA_ARGS__)
|
|
#define REPEAT_16(...) REPEAT_8(__VA_ARGS__) REPEAT_8(__VA_ARGS__)
|
|
#define REPEAT_32(...) REPEAT_16(__VA_ARGS__) REPEAT_16(__VA_ARGS__)
|
|
#define REPEAT_64(...) REPEAT_32(__VA_ARGS__) REPEAT_32(__VA_ARGS__)
|
|
#define REPEAT_128(...) REPEAT_64(__VA_ARGS__) REPEAT_64(__VA_ARGS__)
|
|
#define REPEAT_256(...) REPEAT_128(__VA_ARGS__) REPEAT_128(__VA_ARGS__)
|
|
|
|
#define REPEAT_127(...) \
|
|
REPEAT_64(__VA_ARGS__) \
|
|
REPEAT_32(__VA_ARGS__) \
|
|
REPEAT_16(__VA_ARGS__) \
|
|
REPEAT_8(__VA_ARGS__) \
|
|
REPEAT_4(__VA_ARGS__) \
|
|
REPEAT_2(__VA_ARGS__) \
|
|
__VA_ARGS__
|
|
|
|
#define REPEAT_249(...) \
|
|
REPEAT_127(__VA_ARGS__) \
|
|
REPEAT_64(__VA_ARGS__) \
|
|
REPEAT_32(__VA_ARGS__) \
|
|
REPEAT_16(__VA_ARGS__) \
|
|
REPEAT_8(__VA_ARGS__) \
|
|
REPEAT_2(__VA_ARGS__)
|
|
|
|
#define REPEAT_2_UNIQUE_VARS() UNIQUE_VAR() UNIQUE_VAR()
|
|
#define REPEAT_4_UNIQUE_VARS() REPEAT_2_UNIQUE_VARS() REPEAT_2_UNIQUE_VARS()
|
|
#define REPEAT_8_UNIQUE_VARS() REPEAT_4_UNIQUE_VARS() REPEAT_4_UNIQUE_VARS()
|
|
#define REPEAT_16_UNIQUE_VARS() REPEAT_8_UNIQUE_VARS() REPEAT_8_UNIQUE_VARS()
|
|
#define REPEAT_32_UNIQUE_VARS() REPEAT_16_UNIQUE_VARS() REPEAT_16_UNIQUE_VARS()
|
|
#define REPEAT_64_UNIQUE_VARS() REPEAT_32_UNIQUE_VARS() REPEAT_32_UNIQUE_VARS()
|
|
#define REPEAT_128_UNIQUE_VARS() REPEAT_64_UNIQUE_VARS() REPEAT_64_UNIQUE_VARS()
|
|
|
|
#define REPEAT_250_UNIQUE_VARS() \
|
|
REPEAT_128_UNIQUE_VARS() \
|
|
REPEAT_64_UNIQUE_VARS() \
|
|
REPEAT_32_UNIQUE_VARS() \
|
|
REPEAT_16_UNIQUE_VARS() \
|
|
REPEAT_8_UNIQUE_VARS() \
|
|
UNIQUE_VAR() \
|
|
UNIQUE_VAR()
|
|
|
|
#define REPEAT_2_LOAD_UNIQUE_PROPERTY() \
|
|
LOAD_UNIQUE_PROPERTY() LOAD_UNIQUE_PROPERTY()
|
|
#define REPEAT_4_LOAD_UNIQUE_PROPERTY() \
|
|
REPEAT_2_LOAD_UNIQUE_PROPERTY() REPEAT_2_LOAD_UNIQUE_PROPERTY()
|
|
#define REPEAT_8_LOAD_UNIQUE_PROPERTY() \
|
|
REPEAT_4_LOAD_UNIQUE_PROPERTY() REPEAT_4_LOAD_UNIQUE_PROPERTY()
|
|
#define REPEAT_16_LOAD_UNIQUE_PROPERTY() \
|
|
REPEAT_8_LOAD_UNIQUE_PROPERTY() REPEAT_8_LOAD_UNIQUE_PROPERTY()
|
|
#define REPEAT_32_LOAD_UNIQUE_PROPERTY() \
|
|
REPEAT_16_LOAD_UNIQUE_PROPERTY() REPEAT_16_LOAD_UNIQUE_PROPERTY()
|
|
#define REPEAT_64_LOAD_UNIQUE_PROPERTY() \
|
|
REPEAT_32_LOAD_UNIQUE_PROPERTY() REPEAT_32_LOAD_UNIQUE_PROPERTY()
|
|
#define REPEAT_128_LOAD_UNIQUE_PROPERTY() \
|
|
REPEAT_64_LOAD_UNIQUE_PROPERTY() REPEAT_64_LOAD_UNIQUE_PROPERTY()
|
|
|
|
static const char* kGoldenFileDirectory =
|
|
"test/cctest/interpreter/bytecode_expectations/";
|
|
|
|
class InitializedIgnitionHandleScope : public InitializedHandleScope {
|
|
public:
|
|
InitializedIgnitionHandleScope() {
|
|
i::FLAG_always_opt = false;
|
|
i::FLAG_allow_natives_syntax = true;
|
|
}
|
|
};
|
|
|
|
void SkipGoldenFileHeader(std::istream& stream) { // NOLINT
|
|
std::string line;
|
|
int separators_seen = 0;
|
|
while (std::getline(stream, line)) {
|
|
if (line == "---") separators_seen += 1;
|
|
if (separators_seen == 2) return;
|
|
}
|
|
}
|
|
|
|
std::string LoadGolden(const std::string& golden_filename) {
|
|
std::ifstream expected_file((kGoldenFileDirectory + golden_filename).c_str());
|
|
CHECK(expected_file.is_open());
|
|
SkipGoldenFileHeader(expected_file);
|
|
std::ostringstream expected_stream;
|
|
// Restore the first separator, which was consumed by SkipGoldenFileHeader
|
|
expected_stream << "---\n" << expected_file.rdbuf();
|
|
return expected_stream.str();
|
|
}
|
|
|
|
template <size_t N>
|
|
std::string BuildActual(const BytecodeExpectationsPrinter& printer,
|
|
const char* (&snippet_list)[N],
|
|
const char* prologue = nullptr,
|
|
const char* epilogue = nullptr) {
|
|
std::ostringstream actual_stream;
|
|
for (const char* snippet : snippet_list) {
|
|
std::string source_code;
|
|
if (prologue) source_code += prologue;
|
|
source_code += snippet;
|
|
if (epilogue) source_code += epilogue;
|
|
printer.PrintExpectation(actual_stream, source_code);
|
|
}
|
|
return actual_stream.str();
|
|
}
|
|
|
|
// inplace left trim
|
|
static inline void ltrim(std::string& str) {
|
|
str.erase(str.begin(),
|
|
std::find_if(str.begin(), str.end(),
|
|
[](unsigned char ch) { return !std::isspace(ch); }));
|
|
}
|
|
|
|
// inplace right trim
|
|
static inline void rtrim(std::string& str) {
|
|
str.erase(std::find_if(str.rbegin(), str.rend(),
|
|
[](unsigned char ch) { return !std::isspace(ch); })
|
|
.base(),
|
|
str.end());
|
|
}
|
|
|
|
static inline std::string trim(std::string& str) {
|
|
ltrim(str);
|
|
rtrim(str);
|
|
return str;
|
|
}
|
|
|
|
bool CompareTexts(const std::string& generated, const std::string& expected) {
|
|
std::istringstream generated_stream(generated);
|
|
std::istringstream expected_stream(expected);
|
|
std::string generated_line;
|
|
std::string expected_line;
|
|
// Line number does not include golden file header.
|
|
int line_number = 0;
|
|
bool strings_match = true;
|
|
|
|
do {
|
|
std::getline(generated_stream, generated_line);
|
|
std::getline(expected_stream, expected_line);
|
|
|
|
if (!generated_stream.good() && !expected_stream.good()) {
|
|
return strings_match;
|
|
}
|
|
|
|
if (!generated_stream.good()) {
|
|
std::cerr << "Expected has extra lines after line " << line_number
|
|
<< "\n";
|
|
std::cerr << " Expected: '" << expected_line << "'\n";
|
|
return false;
|
|
} else if (!expected_stream.good()) {
|
|
std::cerr << "Generated has extra lines after line " << line_number
|
|
<< "\n";
|
|
std::cerr << " Generated: '" << generated_line << "'\n";
|
|
return false;
|
|
}
|
|
|
|
if (trim(generated_line) != trim(expected_line)) {
|
|
std::cerr << "Inputs differ at line " << line_number << "\n";
|
|
std::cerr << " Generated: '" << generated_line << "'\n";
|
|
std::cerr << " Expected: '" << expected_line << "'\n";
|
|
strings_match = false;
|
|
}
|
|
line_number++;
|
|
} while (true);
|
|
}
|
|
|
|
TEST(PrimitiveReturnStatements) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"",
|
|
|
|
"return;\n",
|
|
|
|
"return null;\n",
|
|
|
|
"return true;\n",
|
|
|
|
"return false;\n",
|
|
|
|
"return 0;\n",
|
|
|
|
"return +1;\n",
|
|
|
|
"return -1;\n",
|
|
|
|
"return +127;\n",
|
|
|
|
"return -128;\n",
|
|
|
|
"return 2.0;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PrimitiveReturnStatements.golden")));
|
|
}
|
|
|
|
TEST(PrimitiveExpressions) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var x = 0; return x;\n",
|
|
|
|
"var x = 0; return x + 3;\n",
|
|
|
|
"var x = 0; return 3 + x;\n",
|
|
|
|
"var x = 0; return x - 3;\n",
|
|
|
|
"var x = 0; return 3 - x;\n",
|
|
|
|
"var x = 4; return x * 3;\n",
|
|
|
|
"var x = 4; return 3 * x;\n",
|
|
|
|
"var x = 4; return x / 3;\n",
|
|
|
|
"var x = 4; return 3 / x;\n",
|
|
|
|
"var x = 4; return x % 3;\n",
|
|
|
|
"var x = 4; return 3 % x;\n",
|
|
|
|
"var x = 1; return x | 2;\n",
|
|
|
|
"var x = 1; return 2 | x;\n",
|
|
|
|
"var x = 1; return x ^ 2;\n",
|
|
|
|
"var x = 1; return 2 ^ x;\n",
|
|
|
|
"var x = 1; return x & 2;\n",
|
|
|
|
"var x = 1; return 2 & x;\n",
|
|
|
|
"var x = 10; return x << 3;\n",
|
|
|
|
"var x = 10; return 3 << x;\n",
|
|
|
|
"var x = 10; return x >> 3;\n",
|
|
|
|
"var x = 10; return 3 >> x;\n",
|
|
|
|
"var x = 10; return x >>> 3;\n",
|
|
|
|
"var x = 10; return 3 >>> x;\n",
|
|
|
|
"var x = 0; return (x, 3);\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PrimitiveExpressions.golden")));
|
|
}
|
|
|
|
TEST(LogicalExpressions) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var x = 0; return x || 3;\n",
|
|
|
|
"var x = 0; return (x == 1) || 3;\n",
|
|
|
|
"var x = 0; return x && 3;\n",
|
|
|
|
"var x = 0; return (x == 0) && 3;\n",
|
|
|
|
"var x = 0; return x || (1, 2, 3);\n",
|
|
|
|
"var a = 2, b = 3, c = 4; return a || (a, b, a, b, c = 5, 3);\n",
|
|
|
|
"var x = 1; var a = 2, b = 3; return x || (" //
|
|
REPEAT_32("\n a = 1, b = 2, ") //
|
|
"3);\n",
|
|
|
|
"var x = 0; var a = 2, b = 3; return x && (" //
|
|
REPEAT_32("\n a = 1, b = 2, ") //
|
|
"3);\n",
|
|
|
|
"var x = 1; var a = 2, b = 3; return (x > 3) || (" //
|
|
REPEAT_32("\n a = 1, b = 2, ") //
|
|
"3);\n",
|
|
|
|
"var x = 0; var a = 2, b = 3; return (x < 5) && (" //
|
|
REPEAT_32("\n a = 1, b = 2, ") //
|
|
"3);\n",
|
|
|
|
"return 0 && 3;\n",
|
|
|
|
"return 1 || 3;\n",
|
|
|
|
"var x = 1; return x && 3 || 0, 1;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("LogicalExpressions.golden")));
|
|
}
|
|
|
|
TEST(Parameters) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f() { return this; }",
|
|
|
|
"function f(arg1) { return arg1; }",
|
|
|
|
"function f(arg1) { return this; }",
|
|
|
|
"function f(arg1, arg2, arg3, arg4, arg5, arg6, arg7) { return arg4; }",
|
|
|
|
"function f(arg1, arg2, arg3, arg4, arg5, arg6, arg7) { return this; }",
|
|
|
|
"function f(arg1) { arg1 = 1; }",
|
|
|
|
"function f(arg1, arg2, arg3, arg4) { arg2 = 1; }",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, "", "\nf();"),
|
|
LoadGolden("Parameters.golden")));
|
|
}
|
|
|
|
TEST(IntegerConstants) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"return 12345678;\n",
|
|
|
|
"var a = 1234; return 5678;\n",
|
|
|
|
"var a = 1234; return 1234;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("IntegerConstants.golden")));
|
|
}
|
|
|
|
TEST(HeapNumberConstants) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"return 1.2;\n",
|
|
|
|
"var a = 1.2; return 2.6;\n",
|
|
|
|
"var a = 3.14; return 3.14;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("HeapNumberConstants.golden")));
|
|
}
|
|
|
|
TEST(StringConstants) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"return \"This is a string\";\n",
|
|
|
|
"var a = \"First string\"; return \"Second string\";\n",
|
|
|
|
"var a = \"Same string\"; return \"Same string\";\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("StringConstants.golden")));
|
|
}
|
|
|
|
TEST(PropertyLoads) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f(a) { return a.name; }\n"
|
|
"f({name : \"test\"});\n",
|
|
|
|
"function f(a) { return a[\"key\"]; }\n"
|
|
"f({key : \"test\"});\n",
|
|
|
|
"function f(a) { return a[100]; }\n"
|
|
"f({100 : \"test\"});\n",
|
|
|
|
"function f(a, b) { return a[b]; }\n"
|
|
"f({arg : \"test\"}, \"arg\");\n",
|
|
|
|
"function f(a) { var b = a.name; return a[-124]; }\n"
|
|
"f({\"-124\" : \"test\", name : 123 })",
|
|
|
|
"function f(a) {\n"
|
|
" var b = {};\n"
|
|
REPEAT_128_LOAD_UNIQUE_PROPERTY()
|
|
" return a.name;\n"
|
|
"}\n"
|
|
"f({name : \"test\"})\n",
|
|
|
|
"function f(a, b) {\n"
|
|
" var c;\n"
|
|
" c = a[b];\n"
|
|
REPEAT_127(" c = a[b];\n")
|
|
" return a[b];\n"
|
|
"}\n"
|
|
"f({name : \"test\"}, \"name\")\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PropertyLoads.golden")));
|
|
}
|
|
|
|
TEST(PropertyLoadStoreOneShot) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_top_level(true);
|
|
printer.set_oneshot_opt(true);
|
|
|
|
const char* snippets[] = {
|
|
R"(
|
|
l = {
|
|
'a': 1,
|
|
'b': 2
|
|
};
|
|
|
|
v = l['a'] + l['b'];
|
|
l['b'] = 7;
|
|
l['a'] = l['b'];
|
|
)",
|
|
|
|
R"(
|
|
l = {
|
|
'a': 1.1,
|
|
'b': 2.2
|
|
};
|
|
for (i = 0; i < 5; ++i) {
|
|
l['a'] = l['a'] + l['b'];
|
|
l['b'] = l['a'] + l['b'];
|
|
}
|
|
)",
|
|
|
|
R"(
|
|
l = {
|
|
'a': 1.1,
|
|
'b': 2.2
|
|
};
|
|
while (s > 0) {
|
|
l['a'] = l['a'] - l['b'];
|
|
l['b'] = l['b'] - l['a'];
|
|
}
|
|
)",
|
|
|
|
R"(
|
|
l = {
|
|
'a': 1.1,
|
|
'b': 2.2
|
|
};
|
|
s = 10;
|
|
do {
|
|
l['a'] = l['b'] - l['a'];
|
|
} while (s < 10);
|
|
)",
|
|
|
|
R"(
|
|
l = {
|
|
'c': 1.1,
|
|
'd': 2.2
|
|
};
|
|
if (l['c'] < 3) {
|
|
l['c'] = 3;
|
|
} else {
|
|
l['d'] = 3;
|
|
}
|
|
)",
|
|
|
|
R"(
|
|
a = [1.1, [2.2, 4.5]];
|
|
)",
|
|
|
|
R"(
|
|
b = [];
|
|
)",
|
|
};
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PropertyLoadStoreOneShot.golden")));
|
|
}
|
|
|
|
TEST(PropertyLoadStoreWithoutOneShot) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_top_level(true);
|
|
|
|
const char* snippets[] = {
|
|
R"(
|
|
l = {
|
|
'aa': 1.1,
|
|
'bb': 2.2
|
|
};
|
|
|
|
v = l['aa'] + l['bb'];
|
|
l['bb'] = 7;
|
|
l['aa'] = l['bb'];
|
|
)",
|
|
|
|
R"(
|
|
l = {
|
|
'cc': 3.1,
|
|
'dd': 4.2
|
|
};
|
|
if (l['cc'] < 3) {
|
|
l['cc'] = 3;
|
|
} else {
|
|
l['dd'] = 3;
|
|
}
|
|
)",
|
|
};
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PropertyLoadStoreWithoutOneShot.golden")));
|
|
}
|
|
|
|
TEST(IIFEWithOneshotOpt) {
|
|
InitializedIgnitionHandleScope scope;
|
|
v8::Isolate* isolate = CcTest::isolate();
|
|
BytecodeExpectationsPrinter printer(isolate);
|
|
printer.set_wrap(false);
|
|
printer.set_top_level(true);
|
|
printer.set_print_callee(true);
|
|
printer.set_oneshot_opt(true);
|
|
|
|
const char* snippets[] = {
|
|
// No feedback vectors for top-level loads/store named property in an IIFE
|
|
R"(
|
|
(function() {
|
|
l = {};
|
|
l.aa = 2;
|
|
l.bb = l.aa;
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
// Normal load/store within loops of an IIFE
|
|
R"(
|
|
(function() {
|
|
l = {};
|
|
for (i = 0; i < 5; ++i) {
|
|
l.aa = 2;
|
|
l.bb = l.aa;
|
|
}
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
|
|
R"(
|
|
(function() {
|
|
l = {};
|
|
c = 4;
|
|
while(c > 4) {
|
|
l.aa = 2;
|
|
l.bb = l.aa;
|
|
c--;
|
|
}
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
|
|
R"(
|
|
(function() {
|
|
l = {};
|
|
c = 4;
|
|
do {
|
|
l.aa = 2;
|
|
l.bb = l.aa;
|
|
c--;
|
|
} while(c > 4)
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
// No feedback vectors for loads/stores in conditionals
|
|
R"(
|
|
(function() {
|
|
l = {
|
|
'aa': 3.3,
|
|
'bb': 4.4
|
|
};
|
|
if (l.aa < 3) {
|
|
l.aa = 3;
|
|
} else {
|
|
l.aa = l.bb;
|
|
}
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
|
|
R"(
|
|
(function() {
|
|
a = [0, [1, 1,2,], 3];
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
|
|
R"(
|
|
(function() {
|
|
a = [];
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
// CallNoFeedback instead of CallProperty
|
|
R"(
|
|
this.f0 = function() {};
|
|
this.f1 = function(a) {};
|
|
this.f2 = function(a, b) {};
|
|
this.f3 = function(a, b, c) {};
|
|
this.f4 = function(a, b, c, d) {};
|
|
this.f5 = function(a, b, c, d, e) {};
|
|
(function() {
|
|
this.f0();
|
|
this.f1(1);
|
|
this.f2(1, 2);
|
|
this.f3(1, 2, 3);
|
|
this.f4(1, 2, 3, 4);
|
|
this.f5(1, 2, 3, 4, 5);
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
// CallNoFeedback instead of CallUndefinedReceiver
|
|
R"(
|
|
function f0() {}
|
|
function f1(a) {}
|
|
function f2(a, b) {}
|
|
function f3(a, b, c) {}
|
|
function f4(a, b, c, d) {}
|
|
function f5(a, b, c, d, e) {}
|
|
(function() {
|
|
f0();
|
|
f1(1);
|
|
f2(1, 2);
|
|
f3(1, 2, 3);
|
|
f4(1, 2, 3, 4);
|
|
f5(1, 2, 3, 4, 5);
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
R"(
|
|
var t = 0;
|
|
function f2() {};
|
|
if (t == 0) {
|
|
(function(){
|
|
l = {};
|
|
l.a = 3;
|
|
l.b = 4;
|
|
f2();
|
|
return arguments.callee;
|
|
})();
|
|
}
|
|
)",
|
|
// No one-shot opt for IIFE`s within a function
|
|
R"(
|
|
function f2() {};
|
|
function f() {
|
|
return (function(){
|
|
l = {};
|
|
l.a = 3;
|
|
l.b = 4;
|
|
f2();
|
|
return arguments.callee;
|
|
})();
|
|
}
|
|
f();
|
|
)",
|
|
R"(
|
|
var f = function(l) { l.a = 3; return l; };
|
|
f({});
|
|
f;
|
|
)",
|
|
// No one-shot opt for top-level functions enclosed in parentheses
|
|
R"(
|
|
var f = (function(l) { l.a = 3; return l; });
|
|
f;
|
|
)",
|
|
R"(
|
|
var f = (function foo(l) { l.a = 3; return l; });
|
|
f;
|
|
)",
|
|
R"(
|
|
var f = function foo(l) { l.a = 3; return l; };
|
|
f({});
|
|
f;
|
|
)",
|
|
R"(
|
|
l = {};
|
|
var f = (function foo(l) { l.a = 3; return arguments.callee; })(l);
|
|
f;
|
|
)",
|
|
R"(
|
|
var f = (function foo(l) { l.a = 3; return arguments.callee; })({});
|
|
f;
|
|
)",
|
|
};
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("IIFEWithOneshotOpt.golden")));
|
|
}
|
|
|
|
TEST(IIFEWithoutOneshotOpt) {
|
|
InitializedIgnitionHandleScope scope;
|
|
v8::Isolate* isolate = CcTest::isolate();
|
|
BytecodeExpectationsPrinter printer(isolate);
|
|
printer.set_wrap(false);
|
|
printer.set_top_level(true);
|
|
printer.set_print_callee(true);
|
|
|
|
const char* snippets[] = {
|
|
R"(
|
|
(function() {
|
|
l = {};
|
|
l.a = 2;
|
|
l.b = l.a;
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
R"(
|
|
(function() {
|
|
l = {
|
|
'a': 4.3,
|
|
'b': 3.4
|
|
};
|
|
if (l.a < 3) {
|
|
l.a = 3;
|
|
} else {
|
|
l.a = l.b;
|
|
}
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
R"(
|
|
this.f0 = function() {};
|
|
this.f1 = function(a) {};
|
|
this.f2 = function(a, b) {};
|
|
this.f3 = function(a, b, c) {};
|
|
this.f4 = function(a, b, c, d) {};
|
|
this.f5 = function(a, b, c, d, e) {};
|
|
(function() {
|
|
this.f0();
|
|
this.f1(1);
|
|
this.f2(1, 2);
|
|
this.f3(1, 2, 3);
|
|
this.f4(1, 2, 3, 4);
|
|
this.f5(1, 2, 3, 4, 5);
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
R"(
|
|
function f0() {}
|
|
function f1(a) {}
|
|
function f2(a, b) {}
|
|
function f3(a, b, c) {}
|
|
function f4(a, b, c, d) {}
|
|
function f5(a, b, c, d, e) {}
|
|
(function() {
|
|
f0();
|
|
f1(1);
|
|
f2(1, 2);
|
|
f3(1, 2, 3);
|
|
f4(1, 2, 3, 4);
|
|
f5(1, 2, 3, 4, 5);
|
|
return arguments.callee;
|
|
})();
|
|
)",
|
|
};
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("IIFEWithoutOneshotOpt.golden")));
|
|
}
|
|
|
|
TEST(PropertyStores) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f(a) { a.name = \"val\"; }\n"
|
|
"f({name : \"test\"})",
|
|
|
|
"function f(a) { a[\"key\"] = \"val\"; }\n"
|
|
"f({key : \"test\"})",
|
|
|
|
"function f(a) { a[100] = \"val\"; }\n"
|
|
"f({100 : \"test\"})",
|
|
|
|
"function f(a, b) { a[b] = \"val\"; }\n"
|
|
"f({arg : \"test\"}, \"arg\")",
|
|
|
|
"function f(a) { a.name = a[-124]; }\n"
|
|
"f({\"-124\" : \"test\", name : 123 })",
|
|
|
|
"function f(a) { \"use strict\"; a.name = \"val\"; }\n"
|
|
"f({name : \"test\"})",
|
|
|
|
"function f(a, b) { \"use strict\"; a[b] = \"val\"; }\n"
|
|
"f({arg : \"test\"}, \"arg\")",
|
|
|
|
"function f(a) {\n"
|
|
" a.name = 1;\n"
|
|
" var b = {};\n"
|
|
REPEAT_128_LOAD_UNIQUE_PROPERTY()
|
|
" a.name = 2;\n"
|
|
"}\n"
|
|
"f({name : \"test\"})\n",
|
|
|
|
"function f(a) {\n"
|
|
" 'use strict';\n"
|
|
" a.name = 1;\n"
|
|
" var b = {};\n"
|
|
REPEAT_128_LOAD_UNIQUE_PROPERTY()
|
|
" a.name = 2;\n"
|
|
"}\n"
|
|
"f({name : \"test\"})\n",
|
|
|
|
"function f(a, b) {\n"
|
|
" a[b] = 1;\n"
|
|
REPEAT_127(" a[b] = 1;\n")
|
|
" a[b] = 2;\n"
|
|
"}\n"
|
|
"f({name : \"test\"})\n",
|
|
|
|
"function f(a, b) {\n"
|
|
" 'use strict';\n"
|
|
" a[b] = 1;\n"
|
|
REPEAT_127(" a[b] = 1;\n")
|
|
" a[b] = 2;\n"
|
|
"}\n"
|
|
"f({name : \"test\"})\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PropertyStores.golden")));
|
|
}
|
|
|
|
#define FUNC_ARG "new (function Obj() { this.func = function() { return; }})()"
|
|
|
|
TEST(PropertyCall) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f(a) { return a.func(); }\n"
|
|
"f(" FUNC_ARG ")",
|
|
|
|
"function f(a, b, c) { return a.func(b, c); }\n"
|
|
"f(" FUNC_ARG ", 1, 2)",
|
|
|
|
"function f(a, b) { return a.func(b + b, b); }\n"
|
|
"f(" FUNC_ARG ", 1)",
|
|
|
|
"function f(a) {\n"
|
|
" var b = {};\n"
|
|
REPEAT_128_LOAD_UNIQUE_PROPERTY()
|
|
" a.func;\n" //
|
|
" return a.func(); }\n"
|
|
"f(" FUNC_ARG ")",
|
|
|
|
"function f(a) { return a.func(1).func(2).func(3); }\n"
|
|
"f(new (function Obj() { this.func = function(a) { return this; }})())",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PropertyCall.golden")));
|
|
}
|
|
|
|
TEST(LoadGlobal) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"var a = 1;\n"
|
|
"function f() { return a; }\n"
|
|
"f()",
|
|
|
|
"function t() { }\n"
|
|
"function f() { return t; }\n"
|
|
"f()",
|
|
|
|
"a = 1;\n"
|
|
"function f() { return a; }\n"
|
|
"f()",
|
|
|
|
"a = 1;\n"
|
|
"function f(c) {\n"
|
|
" var b = {};\n"
|
|
REPEAT_128_LOAD_UNIQUE_PROPERTY()
|
|
" return a;\n"
|
|
"}\n"
|
|
"f({name: 1});\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("LoadGlobal.golden")));
|
|
}
|
|
|
|
TEST(StoreGlobal) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"var a = 1;\n"
|
|
"function f() { a = 2; }\n"
|
|
"f();\n",
|
|
|
|
"var a = \"test\"; function f(b) { a = b; }\n"
|
|
"f(\"global\");\n",
|
|
|
|
"'use strict'; var a = 1;\n"
|
|
"function f() { a = 2; }\n"
|
|
"f();\n",
|
|
|
|
"a = 1;\n"
|
|
"function f() { a = 2; }\n"
|
|
"f();\n",
|
|
|
|
"a = 1;\n"
|
|
"function f(c) {\n"
|
|
" var b = {};\n"
|
|
REPEAT_128_LOAD_UNIQUE_PROPERTY()
|
|
" a = 2;\n"
|
|
"}\n"
|
|
"f({name: 1});\n",
|
|
|
|
"a = 1;\n"
|
|
"function f(c) {\n"
|
|
" 'use strict';\n"
|
|
" var b = {};\n"
|
|
REPEAT_128_LOAD_UNIQUE_PROPERTY()
|
|
" a = 2;\n"
|
|
"}\n"
|
|
"f({name: 1});\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("StoreGlobal.golden")));
|
|
}
|
|
|
|
TEST(CallGlobal) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function t() { }\n"
|
|
"function f() { return t(); }\n"
|
|
"f();\n",
|
|
|
|
"function t(a, b, c) { }\n"
|
|
"function f() { return t(1, 2, 3); }\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CallGlobal.golden")));
|
|
}
|
|
|
|
TEST(CallRuntime) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f() { %TheHole() }\n"
|
|
"f();\n",
|
|
|
|
"function f(a) { return %IsArray(a) }\n"
|
|
"f(undefined);\n",
|
|
|
|
"function f() { return %Add(1, 2) }\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CallRuntime.golden")));
|
|
}
|
|
|
|
TEST(IfConditions) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f() {\n"
|
|
" if (0) {\n"
|
|
" return 1;\n"
|
|
" } else {\n"
|
|
" return -1;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"function f() {\n"
|
|
" if ('lucky') {\n"
|
|
" return 1;\n"
|
|
" } else {\n"
|
|
" return -1;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"function f() {\n"
|
|
" if (false) {\n"
|
|
" return 1;\n"
|
|
" } else {\n"
|
|
" return -1;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"function f() {\n"
|
|
" if (false) {\n"
|
|
" return 1;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"function f() {\n"
|
|
" var a = 1;\n"
|
|
" if (a) {\n"
|
|
" a += 1;\n"
|
|
" } else {\n"
|
|
" return 2;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"function f(a) {\n"
|
|
" if (a <= 0) {\n"
|
|
" return 200;\n"
|
|
" } else {\n"
|
|
" return -200;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f(99);\n",
|
|
|
|
"function f(a, b) { if (a in b) { return 200; } }"
|
|
"f('prop', { prop: 'yes'});\n",
|
|
|
|
"function f(z) { var a = 0; var b = 0; if (a === 0.01) {\n"
|
|
REPEAT_64(" b = a; a = b;\n")
|
|
" return 200; } else { return -200; } } f(0.001);\n",
|
|
|
|
"function f() {\n"
|
|
" var a = 0; var b = 0;\n"
|
|
" if (a) {\n"
|
|
REPEAT_64(" b = a; a = b;\n")
|
|
" return 200; } else { return -200; }\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"function f(a, b) {\n"
|
|
" if (a == b) { return 1; }\n"
|
|
" if (a === b) { return 1; }\n"
|
|
" if (a < b) { return 1; }\n"
|
|
" if (a > b) { return 1; }\n"
|
|
" if (a <= b) { return 1; }\n"
|
|
" if (a >= b) { return 1; }\n"
|
|
" if (a in b) { return 1; }\n"
|
|
" if (a instanceof b) { return 1; }\n"
|
|
" return 0;\n"
|
|
"}\n"
|
|
"f(1, 1);\n",
|
|
|
|
"function f() {\n"
|
|
" var a = 0;\n"
|
|
" if (a) {\n"
|
|
" return 20;\n"
|
|
" } else {\n"
|
|
" return -20;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"function f(a, b) {\n"
|
|
" if (a == b || a < 0) {\n"
|
|
" return 1;\n"
|
|
" } else if (a > 0 && b > 0) {\n"
|
|
" return 0;\n"
|
|
" } else {\n"
|
|
" return -1;\n"
|
|
" }\n"
|
|
"};\n"
|
|
"f(-1, 1);\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("IfConditions.golden")));
|
|
}
|
|
|
|
TEST(DeclareGlobals) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
printer.set_top_level(true);
|
|
|
|
const char* snippets[] = {
|
|
"var a = 1;\n",
|
|
|
|
"function f() {}\n",
|
|
|
|
"var a = 1;\n"
|
|
"a=2;\n",
|
|
|
|
"function f() {}\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("DeclareGlobals.golden")));
|
|
}
|
|
|
|
TEST(BreakableBlocks) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"var x = 0;\n"
|
|
"label: {\n"
|
|
" x = x + 1;\n"
|
|
" break label;\n"
|
|
" x = x + 1;\n"
|
|
"}\n"
|
|
"return x;\n",
|
|
|
|
"var sum = 0;\n"
|
|
"outer: {\n"
|
|
" for (var x = 0; x < 10; ++x) {\n"
|
|
" for (var y = 0; y < 3; ++y) {\n"
|
|
" ++sum;\n"
|
|
" if (x + y == 12) { break outer; }\n"
|
|
" }\n"
|
|
" }\n"
|
|
"}\n"
|
|
"return sum;\n",
|
|
|
|
"outer: {\n"
|
|
" let y = 10;\n"
|
|
" function f() { return y; }\n"
|
|
" break outer;\n"
|
|
"}\n",
|
|
|
|
"let x = 1;\n"
|
|
"outer: {\n"
|
|
" inner: {\n"
|
|
" let y = 2;\n"
|
|
" function f() { return x + y; }\n"
|
|
" if (y) break outer;\n"
|
|
" y = 3;\n"
|
|
" }\n"
|
|
"}\n"
|
|
"x = 4;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("BreakableBlocks.golden")));
|
|
}
|
|
|
|
TEST(BasicLoops) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var x = 0;\n"
|
|
"while (false) { x = 99; break; continue; }\n"
|
|
"return x;\n",
|
|
|
|
"var x = 0;\n"
|
|
"while (false) {\n"
|
|
" x = x + 1;\n"
|
|
"};\n"
|
|
"return x;\n",
|
|
|
|
"var x = 0;\n"
|
|
"var y = 1;\n"
|
|
"while (x < 10) {\n"
|
|
" y = y * 12;\n"
|
|
" x = x + 1;\n"
|
|
" if (x == 3) continue;\n"
|
|
" if (x == 4) break;\n"
|
|
"}\n"
|
|
"return y;\n",
|
|
|
|
"var i = 0;\n"
|
|
"while (true) {\n"
|
|
" if (i < 0) continue;\n"
|
|
" if (i == 3) break;\n"
|
|
" if (i == 4) break;\n"
|
|
" if (i == 10) continue;\n"
|
|
" if (i == 5) break;\n"
|
|
" i = i + 1;\n"
|
|
"}\n"
|
|
"return i;\n",
|
|
|
|
"var i = 0;\n"
|
|
"while (true) {\n"
|
|
" while (i < 3) {\n"
|
|
" if (i == 2) break;\n"
|
|
" i = i + 1;\n"
|
|
" }\n"
|
|
" i = i + 1;\n"
|
|
" break;\n"
|
|
"}\n"
|
|
"return i;\n",
|
|
|
|
"var x = 10;\n"
|
|
"var y = 1;\n"
|
|
"while (x) {\n"
|
|
" y = y * 12;\n"
|
|
" x = x - 1;\n"
|
|
"}\n"
|
|
"return y;\n",
|
|
|
|
"var x = 0; var y = 1;\n"
|
|
"do {\n"
|
|
" y = y * 10;\n"
|
|
" if (x == 5) break;\n"
|
|
" if (x == 6) continue;\n"
|
|
" x = x + 1;\n"
|
|
"} while (x < 10);\n"
|
|
"return y;\n",
|
|
|
|
"var x = 10;\n"
|
|
"var y = 1;\n"
|
|
"do {\n"
|
|
" y = y * 12;\n"
|
|
" x = x - 1;\n"
|
|
"} while (x);\n"
|
|
"return y;\n",
|
|
|
|
"var x = 0; var y = 1;\n"
|
|
"do {\n"
|
|
" y = y * 10;\n"
|
|
" if (x == 5) break;\n"
|
|
" x = x + 1;\n"
|
|
" if (x == 6) continue;\n"
|
|
"} while (false);\n"
|
|
"return y;\n",
|
|
|
|
"var x = 0; var y = 1;\n"
|
|
"do {\n"
|
|
" y = y * 10;\n"
|
|
" if (x == 5) break;\n"
|
|
" x = x + 1;\n"
|
|
" if (x == 6) continue;\n"
|
|
"} while (true);\n"
|
|
"return y;\n",
|
|
|
|
"var x = 0;\n"
|
|
"for (;;) {\n"
|
|
" if (x == 1) break;\n"
|
|
" if (x == 2) continue;\n"
|
|
" x = x + 1;\n"
|
|
"}\n",
|
|
|
|
"for (var x = 0;;) {\n"
|
|
" if (x == 1) break;\n"
|
|
" if (x == 2) continue;\n"
|
|
" x = x + 1;\n"
|
|
"}\n",
|
|
|
|
"var x = 0;\n"
|
|
"for (;; x = x + 1) {\n"
|
|
" if (x == 1) break;\n"
|
|
" if (x == 2) continue;\n"
|
|
"}\n",
|
|
|
|
"for (var x = 0;; x = x + 1) {\n"
|
|
" if (x == 1) break;\n"
|
|
" if (x == 2) continue;\n"
|
|
"}\n",
|
|
|
|
"var u = 0;\n"
|
|
"for (var i = 0; i < 100; i = i + 1) {\n"
|
|
" u = u + 1;\n"
|
|
" continue;\n"
|
|
"}\n",
|
|
|
|
"var y = 1;\n"
|
|
"for (var x = 10; x; --x) {\n"
|
|
" y = y * 12;\n"
|
|
"}\n"
|
|
"return y;\n",
|
|
|
|
"var x = 0;\n"
|
|
"for (var i = 0; false; i++) {\n"
|
|
" x = x + 1;\n"
|
|
"};\n"
|
|
"return x;\n",
|
|
|
|
"var x = 0;\n"
|
|
"for (var i = 0; true; ++i) {\n"
|
|
" x = x + 1;\n"
|
|
" if (x == 20) break;\n"
|
|
"};\n"
|
|
"return x;\n",
|
|
|
|
"var a = 0;\n"
|
|
"while (a) {\n"
|
|
" { \n"
|
|
" let z = 1;\n"
|
|
" function f() { z = 2; }\n"
|
|
" if (z) continue;\n"
|
|
" z++;\n"
|
|
" }\n"
|
|
"}\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("BasicLoops.golden")));
|
|
}
|
|
|
|
TEST(UnaryOperators) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var x = 0;\n"
|
|
"while (x != 10) {\n"
|
|
" x = x + 10;\n"
|
|
"}\n"
|
|
"return x;\n",
|
|
|
|
"var x = false;\n"
|
|
"do {\n"
|
|
" x = !x;\n"
|
|
"} while(x == false);\n"
|
|
"return x;\n",
|
|
|
|
"var x = 101;\n"
|
|
"return void(x * 3);\n",
|
|
|
|
"var x = 1234;\n"
|
|
"var y = void (x * x - 1);\n"
|
|
"return y;\n",
|
|
|
|
"var x = 13;\n"
|
|
"return ~x;\n",
|
|
|
|
"var x = 13;\n"
|
|
"return +x;\n",
|
|
|
|
"var x = 13;\n"
|
|
"return -x;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("UnaryOperators.golden")));
|
|
}
|
|
|
|
TEST(Typeof) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f() {\n"
|
|
" var x = 13;\n"
|
|
" return typeof(x);\n"
|
|
"};",
|
|
|
|
"var x = 13;\n"
|
|
"function f() {\n"
|
|
" return typeof(x);\n"
|
|
"};",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, "", "\nf();"),
|
|
LoadGolden("Typeof.golden")));
|
|
}
|
|
|
|
TEST(CompareTypeOf) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"return typeof(1) === 'number';\n",
|
|
|
|
"return 'string' === typeof('foo');\n",
|
|
|
|
"return typeof(true) == 'boolean';\n",
|
|
|
|
"return 'string' === typeof(undefined);\n",
|
|
|
|
"return 'unknown' === typeof(undefined);\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CompareTypeOf.golden")));
|
|
}
|
|
|
|
TEST(CompareNil) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"var a = 1;\n"
|
|
"return a === null;\n",
|
|
|
|
"var a = undefined;\n"
|
|
"return undefined === a;\n",
|
|
|
|
"var a = undefined;\n"
|
|
"return undefined !== a;\n",
|
|
|
|
"var a = 2;\n"
|
|
"return a != null;\n",
|
|
|
|
"var a = undefined;\n"
|
|
"return undefined == a;\n",
|
|
|
|
"var a = undefined;\n"
|
|
"return undefined === a ? 1 : 2;\n",
|
|
|
|
"var a = 0;\n"
|
|
"return null == a ? 1 : 2;\n",
|
|
|
|
"var a = 0;\n"
|
|
"return undefined !== a ? 1 : 2;\n",
|
|
|
|
"var a = 0;\n"
|
|
"return a === null ? 1 : 2;\n",
|
|
|
|
"var a = 0;\n"
|
|
"if (a === null) {\n"
|
|
" return 1;\n"
|
|
"} else {\n"
|
|
" return 2;\n"
|
|
"}\n",
|
|
|
|
"var a = 0;\n"
|
|
"if (a != undefined) {\n"
|
|
" return 1;\n"
|
|
"}\n",
|
|
|
|
"var a = undefined;\n"
|
|
"var b = 0;\n"
|
|
"while (a !== undefined) {\n"
|
|
" b++;\n"
|
|
"}\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CompareNil.golden")));
|
|
}
|
|
|
|
TEST(Delete) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"var a = {x:13, y:14}; return delete a.x;\n",
|
|
|
|
"'use strict'; var a = {x:13, y:14}; return delete a.x;\n",
|
|
|
|
"var a = {1:13, 2:14}; return delete a[2];\n",
|
|
|
|
"var a = 10; return delete a;\n",
|
|
|
|
"'use strict';\n"
|
|
"var a = {1:10};\n"
|
|
"(function f1() {return a;});\n"
|
|
"return delete a[1];\n",
|
|
|
|
"return delete 'test';\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("Delete.golden")));
|
|
}
|
|
|
|
TEST(GlobalDelete) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"var a = {x:13, y:14};\n"
|
|
"function f() {\n"
|
|
" return delete a.x;\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"a = {1:13, 2:14};\n"
|
|
"function f() {\n"
|
|
" 'use strict';\n"
|
|
" return delete a[1];\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"var a = {x:13, y:14};\n"
|
|
"function f() {\n"
|
|
" return delete a;\n"
|
|
"};\n"
|
|
"f();\n",
|
|
|
|
"b = 30;\n"
|
|
"function f() {\n"
|
|
" return delete b;\n"
|
|
"};\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("GlobalDelete.golden")));
|
|
}
|
|
|
|
TEST(FunctionLiterals) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"return function(){ }\n",
|
|
|
|
"return (function(){ })()\n",
|
|
|
|
"return (function(x){ return x; })(1)\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("FunctionLiterals.golden")));
|
|
}
|
|
|
|
TEST(RegExpLiterals) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"return /ab+d/;\n",
|
|
|
|
"return /(\\w+)\\s(\\w+)/i;\n",
|
|
|
|
"return /ab+d/.exec('abdd');\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("RegExpLiterals.golden")));
|
|
}
|
|
|
|
TEST(ArrayLiterals) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"return [ 1, 2 ];\n",
|
|
|
|
"var a = 1; return [ a, a + 1 ];\n",
|
|
|
|
"return [ [ 1, 2 ], [ 3 ] ];\n",
|
|
|
|
"var a = 1; return [ [ a, 2 ], [ a + 2 ] ];\n",
|
|
|
|
"var a = [ 1, 2 ]; return [ ...a ];\n",
|
|
|
|
"var a = [ 1, 2 ]; return [ 0, ...a ];\n",
|
|
|
|
"var a = [ 1, 2 ]; return [ ...a, 3 ];\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ArrayLiterals.golden")));
|
|
}
|
|
|
|
TEST(ObjectLiterals) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"return { };\n",
|
|
|
|
"return { name: 'string', val: 9.2 };\n",
|
|
|
|
"var a = 1; return { name: 'string', val: a };\n",
|
|
|
|
"var a = 1; return { val: a, val: a + 1 };\n",
|
|
|
|
"return { func: function() { } };\n",
|
|
|
|
"return { func(a) { return a; } };\n",
|
|
|
|
"return { get a() { return 2; } };\n",
|
|
|
|
"return { get a() { return this.x; }, set a(val) { this.x = val } };\n",
|
|
|
|
"return { set b(val) { this.y = val } };\n",
|
|
|
|
"var a = 1; return { 1: a };\n",
|
|
|
|
"return { __proto__: null };\n",
|
|
|
|
"var a = 'test'; return { [a]: 1 };\n",
|
|
|
|
"var a = 'test'; return { val: a, [a]: 1 };\n",
|
|
|
|
"var a = 'test'; return { [a]: 1, __proto__: {} };\n",
|
|
|
|
"var n = 'name'; return { [n]: 'val', get a() { }, set a(b) {} };\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ObjectLiterals.golden")));
|
|
}
|
|
|
|
TEST(TopLevelObjectLiterals) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
printer.set_top_level(true);
|
|
|
|
const char* snippets[] = {
|
|
"var a = { func: function() { } };\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("TopLevelObjectLiterals.golden")));
|
|
}
|
|
|
|
TEST(TryCatch) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"try { return 1; } catch(e) { return 2; }\n",
|
|
|
|
"var a;\n"
|
|
"try { a = 1 } catch(e1) {};\n"
|
|
"try { a = 2 } catch(e2) { a = 3 }\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("TryCatch.golden")));
|
|
}
|
|
|
|
TEST(TryFinally) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var a = 1;\n"
|
|
"try { a = 2; } finally { a = 3; }\n",
|
|
|
|
"var a = 1;\n"
|
|
"try { a = 2; } catch(e) { a = 20 } finally { a = 3; }\n",
|
|
|
|
"var a; try {\n"
|
|
" try { a = 1 } catch(e) { a = 2 }\n"
|
|
"} catch(e) { a = 20 } finally { a = 3; }\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("TryFinally.golden")));
|
|
}
|
|
|
|
TEST(Throw) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"throw 1;\n",
|
|
|
|
"throw 'Error';\n",
|
|
|
|
"var a = 1; if (a) { throw 'Error'; };\n",
|
|
};
|
|
|
|
CHECK(
|
|
CompareTexts(BuildActual(printer, snippets), LoadGolden("Throw.golden")));
|
|
}
|
|
|
|
TEST(CallNew) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function bar() { this.value = 0; }\n"
|
|
"function f() { return new bar(); }\n"
|
|
"f();\n",
|
|
|
|
"function bar(x) { this.value = 18; this.x = x;}\n"
|
|
"function f() { return new bar(3); }\n"
|
|
"f();\n",
|
|
|
|
"function bar(w, x, y, z) {\n"
|
|
" this.value = 18;\n"
|
|
" this.x = x;\n"
|
|
" this.y = y;\n"
|
|
" this.z = z;\n"
|
|
"}\n"
|
|
"function f() { return new bar(3, 4, 5); }\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CallNew.golden")));
|
|
}
|
|
|
|
TEST(ContextVariables) {
|
|
// The wide check below relies on MIN_CONTEXT_SLOTS + 3 + 249 == 256, if this
|
|
// ever changes, the REPEAT_XXX should be changed to output the correct number
|
|
// of unique variables to trigger the wide slot load / store.
|
|
STATIC_ASSERT(Context::MIN_CONTEXT_SLOTS + 3 + 249 == 256);
|
|
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var a; return function() { a = 1; };\n",
|
|
|
|
"var a = 1; return function() { a = 2; };\n",
|
|
|
|
"var a = 1; var b = 2; return function() { a = 2; b = 3 };\n",
|
|
|
|
"var a; (function() { a = 2; })(); return a;\n",
|
|
|
|
"'use strict';\n"
|
|
"let a = 1;\n"
|
|
"{ let b = 2; return function() { a + b; }; }\n",
|
|
|
|
"'use strict';\n"
|
|
REPEAT_250_UNIQUE_VARS()
|
|
"eval();\n"
|
|
"var b = 100;\n"
|
|
"return b\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ContextVariables.golden")));
|
|
}
|
|
|
|
TEST(ContextParameters) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f(arg1) { return function() { arg1 = 2; }; }",
|
|
|
|
"function f(arg1) { var a = function() { arg1 = 2; }; return arg1; }",
|
|
|
|
"function f(a1, a2, a3, a4) { return function() { a1 = a3; }; }",
|
|
|
|
"function f() { var self = this; return function() { self = 2; }; }",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, "", "\nf();"),
|
|
LoadGolden("ContextParameters.golden")));
|
|
}
|
|
|
|
TEST(OuterContextVariables) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function Outer() {\n"
|
|
" var outerVar = 1;\n"
|
|
" function Inner(innerArg) {\n"
|
|
" this.innerFunc = function() { return outerVar * innerArg; }\n"
|
|
" }\n"
|
|
" this.getInnerFunc = function() { return new Inner(1).innerFunc; }\n"
|
|
"}\n"
|
|
"var f = new Outer().getInnerFunc();",
|
|
|
|
"function Outer() {\n"
|
|
" var outerVar = 1;\n"
|
|
" function Inner(innerArg) {\n"
|
|
" this.innerFunc = function() { outerVar = innerArg; }\n"
|
|
" }\n"
|
|
" this.getInnerFunc = function() { return new Inner(1).innerFunc; }\n"
|
|
"}\n"
|
|
"var f = new Outer().getInnerFunc();",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, "", "\nf();"),
|
|
LoadGolden("OuterContextVariables.golden")));
|
|
}
|
|
|
|
TEST(CountOperators) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var a = 1; return ++a;\n",
|
|
|
|
"var a = 1; return a++;\n",
|
|
|
|
"var a = 1; return --a;\n",
|
|
|
|
"var a = 1; return a--;\n",
|
|
|
|
"var a = { val: 1 }; return a.val++;\n",
|
|
|
|
"var a = { val: 1 }; return --a.val;\n",
|
|
|
|
"var name = 'var'; var a = { val: 1 }; return a[name]--;\n",
|
|
|
|
"var name = 'var'; var a = { val: 1 }; return ++a[name];\n",
|
|
|
|
"var a = 1; var b = function() { return a }; return ++a;\n",
|
|
|
|
"var a = 1; var b = function() { return a }; return a--;\n",
|
|
|
|
"var idx = 1; var a = [1, 2]; return a[idx++] = 2;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CountOperators.golden")));
|
|
}
|
|
|
|
TEST(GlobalCountOperators) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"var global = 1;\n"
|
|
"function f() { return ++global; }\n"
|
|
"f();\n",
|
|
|
|
"var global = 1;\n"
|
|
"function f() { return global--; }\n"
|
|
"f();\n",
|
|
|
|
"unallocated = 1;\n"
|
|
"function f() { 'use strict'; return --unallocated; }\n"
|
|
"f();\n",
|
|
|
|
"unallocated = 1;\n"
|
|
"function f() { return unallocated++; }\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("GlobalCountOperators.golden")));
|
|
}
|
|
|
|
TEST(CompoundExpressions) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var a = 1; a += 2;\n",
|
|
|
|
"var a = 1; a /= 2;\n",
|
|
|
|
"var a = { val: 2 }; a.name *= 2;\n",
|
|
|
|
"var a = { 1: 2 }; a[1] ^= 2;\n",
|
|
|
|
"var a = 1; (function f() { return a; }); a |= 24;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CompoundExpressions.golden")));
|
|
}
|
|
|
|
TEST(GlobalCompoundExpressions) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"var global = 1;\n"
|
|
"function f() { return global &= 1; }\n"
|
|
"f();\n",
|
|
|
|
"unallocated = 1;\n"
|
|
"function f() { return unallocated += 1; }\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("GlobalCompoundExpressions.golden")));
|
|
}
|
|
|
|
TEST(CreateArguments) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f() { return arguments; }",
|
|
|
|
"function f() { return arguments[0]; }",
|
|
|
|
"function f() { 'use strict'; return arguments; }",
|
|
|
|
"function f(a) { return arguments[0]; }",
|
|
|
|
"function f(a, b, c) { return arguments; }",
|
|
|
|
"function f(a, b, c) { 'use strict'; return arguments; }",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, "", "\nf();"),
|
|
LoadGolden("CreateArguments.golden")));
|
|
}
|
|
|
|
TEST(CreateRestParameter) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f(...restArgs) { return restArgs; }",
|
|
|
|
"function f(a, ...restArgs) { return restArgs; }",
|
|
|
|
"function f(a, ...restArgs) { return restArgs[0]; }",
|
|
|
|
"function f(a, ...restArgs) { return restArgs[0] + arguments[0]; }",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, "", "\nf();"),
|
|
LoadGolden("CreateRestParameter.golden")));
|
|
}
|
|
|
|
TEST(ForIn) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"for (var p in null) {}\n",
|
|
|
|
"for (var p in undefined) {}\n",
|
|
|
|
"for (var p in undefined) {}\n",
|
|
|
|
"var x = 'potatoes';\n"
|
|
"for (var p in x) { return p; }\n",
|
|
|
|
"var x = 0;\n"
|
|
"for (var p in [1,2,3]) { x += p; }\n",
|
|
|
|
"var x = { 'a': 1, 'b': 2 };\n"
|
|
"for (x['a'] in [10, 20, 30]) {\n"
|
|
" if (x['a'] == 10) continue;\n"
|
|
" if (x['a'] == 20) break;\n"
|
|
"}\n",
|
|
|
|
"var x = [ 10, 11, 12 ] ;\n"
|
|
"for (x[0] in [1,2,3]) { return x[3]; }\n",
|
|
};
|
|
|
|
CHECK(
|
|
CompareTexts(BuildActual(printer, snippets), LoadGolden("ForIn.golden")));
|
|
}
|
|
|
|
TEST(ForOf) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"for (var p of [0, 1, 2]) {}\n",
|
|
|
|
"var x = 'potatoes';\n"
|
|
"for (var p of x) { return p; }\n",
|
|
|
|
"for (var x of [10, 20, 30]) {\n"
|
|
" if (x == 10) continue;\n"
|
|
" if (x == 20) break;\n"
|
|
"}\n",
|
|
|
|
"var x = { 'a': 1, 'b': 2 };\n"
|
|
"for (x['a'] of [1,2,3]) { return x['a']; }\n",
|
|
};
|
|
|
|
CHECK(
|
|
CompareTexts(BuildActual(printer, snippets), LoadGolden("ForOf.golden")));
|
|
}
|
|
|
|
TEST(Conditional) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"return 1 ? 2 : 3;\n",
|
|
|
|
"return 1 ? 2 ? 3 : 4 : 5;\n",
|
|
|
|
"return 0 < 1 ? 2 : 3;\n",
|
|
|
|
"var x = 0;\n"
|
|
"return x ? 2 : 3;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("Conditional.golden")));
|
|
}
|
|
|
|
TEST(Switch) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var a = 1;\n"
|
|
"switch(a) {\n"
|
|
" case 1: return 2;\n"
|
|
" case 2: return 3;\n"
|
|
"}\n",
|
|
|
|
"var a = 1;\n"
|
|
"switch(a) {\n"
|
|
" case 1: a = 2; break;\n"
|
|
" case 2: a = 3; break;\n"
|
|
"}\n",
|
|
|
|
"var a = 1;\n"
|
|
"switch(a) {\n"
|
|
" case 1: a = 2; // fall-through\n"
|
|
" case 2: a = 3; break;\n"
|
|
"}\n",
|
|
|
|
"var a = 1;\n"
|
|
"switch(a) {\n"
|
|
" case 2: break;\n"
|
|
" case 3: break;\n"
|
|
" default: a = 1; break;\n"
|
|
"}\n",
|
|
|
|
"var a = 1;\n"
|
|
"switch(typeof(a)) {\n"
|
|
" case 2: a = 1; break;\n"
|
|
" case 3: a = 2; break;\n"
|
|
" default: a = 3; break;\n"
|
|
"}\n",
|
|
|
|
"var a = 1;\n"
|
|
"switch(a) {\n"
|
|
" case typeof(a): a = 1; break;\n"
|
|
" default: a = 2; break;\n"
|
|
"}\n",
|
|
|
|
"var a = 1;\n"
|
|
"switch(a) {\n"
|
|
" case 1:\n"
|
|
REPEAT_64(" a = 2;\n")
|
|
" break;\n"
|
|
" case 2:\n"
|
|
" a = 3;\n"
|
|
" break;\n"
|
|
"}\n",
|
|
|
|
"var a = 1;\n"
|
|
"switch(a) {\n"
|
|
" case 1: \n"
|
|
" switch(a + 1) {\n"
|
|
" case 2 : a = 1; break;\n"
|
|
" default : a = 2; break;\n"
|
|
" } // fall-through\n"
|
|
" case 2: a = 3;\n"
|
|
"}\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("Switch.golden")));
|
|
}
|
|
|
|
TEST(BasicBlockToBoolean) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var a = 1; if (a || a < 0) { return 1; }\n",
|
|
|
|
"var a = 1; if (a && a < 0) { return 1; }\n",
|
|
|
|
"var a = 1; a = (a || a < 0) ? 2 : 3;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("BasicBlockToBoolean.golden")));
|
|
}
|
|
|
|
TEST(DeadCodeRemoval) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"return; var a = 1; a();\n",
|
|
|
|
"if (false) { return; }; var a = 1;\n",
|
|
|
|
"if (true) { return 1; } else { return 2; };\n",
|
|
|
|
"var a = 1; if (a) { return 1; }; return 2;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("DeadCodeRemoval.golden")));
|
|
}
|
|
|
|
TEST(ThisFunction) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"var f;\n"
|
|
"f = function f() {};",
|
|
|
|
"var f;\n"
|
|
"f = function f() { return f; };",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, "", "\nf();"),
|
|
LoadGolden("ThisFunction.golden")));
|
|
}
|
|
|
|
TEST(NewTarget) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"return new.target;\n",
|
|
|
|
"new.target;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("NewTarget.golden")));
|
|
}
|
|
|
|
TEST(RemoveRedundantLdar) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var ld_a = 1;\n" // This test is to check Ldar does not
|
|
"while(true) {\n" // get removed if the preceding Star is
|
|
" ld_a = ld_a + ld_a;\n" // in a different basicblock.
|
|
" if (ld_a > 10) break;\n"
|
|
"}\n"
|
|
"return ld_a;\n",
|
|
|
|
"var ld_a = 1;\n"
|
|
"do {\n"
|
|
" ld_a = ld_a + ld_a;\n"
|
|
" if (ld_a > 10) continue;\n"
|
|
"} while(false);\n"
|
|
"return ld_a;\n",
|
|
|
|
"var ld_a = 1;\n"
|
|
" ld_a = ld_a + ld_a;\n"
|
|
" return ld_a;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("RemoveRedundantLdar.golden")));
|
|
}
|
|
|
|
TEST(GenerateTestUndetectable) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a == null) { b = 20;}\n"
|
|
"return b;\n",
|
|
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a == undefined) { b = 20;}\n"
|
|
"return b;\n",
|
|
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a != null) { b = 20;}\n"
|
|
"return b;\n",
|
|
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a != undefined) { b = 20;}\n"
|
|
"return b;\n",
|
|
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a === null) { b = 20;}\n"
|
|
"return b;\n",
|
|
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a === undefined) { b = 20;}\n"
|
|
"return b;\n",
|
|
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a !== null) { b = 20;}\n"
|
|
"return b;\n",
|
|
|
|
"var obj_a = {val:1};\n"
|
|
"var b = 10;\n"
|
|
"if (obj_a !== undefined) { b = 20;}\n"
|
|
"return b;\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("GenerateTestUndetectable.golden")));
|
|
}
|
|
|
|
TEST(AssignmentsInBinaryExpression) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var x = 0, y = 1;\n"
|
|
"return (x = 2, y = 3, x = 4, y = 5);\n",
|
|
|
|
"var x = 55;\n"
|
|
"var y = (x = 100);\n"
|
|
"return y;\n",
|
|
|
|
"var x = 55;\n"
|
|
"x = x + (x = 100) + (x = 101);\n"
|
|
"return x;\n",
|
|
|
|
"var x = 55;\n"
|
|
"x = (x = 56) - x + (x = 57);\n"
|
|
"x++;\n"
|
|
"return x;\n",
|
|
|
|
"var x = 55;\n"
|
|
"var y = x + (x = 1) + (x = 2) + (x = 3);\n"
|
|
"return y;\n",
|
|
|
|
"var x = 55;\n"
|
|
"var x = x + (x = 1) + (x = 2) + (x = 3);\n"
|
|
"return x;\n",
|
|
|
|
"var x = 10, y = 20;\n"
|
|
"return x + (x = 1) + (x + 1) * (y = 2) + (y = 3) + (x = 4) + (y = 5) + "
|
|
"y;\n",
|
|
|
|
"var x = 17;\n"
|
|
"return 1 + x + (x++) + (++x);\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("AssignmentsInBinaryExpression.golden")));
|
|
}
|
|
|
|
TEST(DestructuringAssignment) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"var x, a = [0,1,2,3];\n"
|
|
"[x] = a;\n",
|
|
|
|
"var x, y, a = [0,1,2,3];\n"
|
|
"[,x,...y] = a;\n",
|
|
|
|
"var x={}, y, a = [0];\n"
|
|
"[x.foo,y=4] = a;\n",
|
|
|
|
"var x, a = {x:1};\n"
|
|
"({x} = a);\n",
|
|
|
|
"var x={}, a = {y:1};\n"
|
|
"({y:x.foo} = a);\n",
|
|
|
|
"var x, a = {y:1, w:2, v:3};\n"
|
|
"({x=0,...y} = a);\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("DestructuringAssignment.golden")));
|
|
}
|
|
|
|
TEST(Eval) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"return eval('1;');\n",
|
|
};
|
|
|
|
CHECK(
|
|
CompareTexts(BuildActual(printer, snippets), LoadGolden("Eval.golden")));
|
|
}
|
|
|
|
TEST(LookupSlot) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_test_function_name("f");
|
|
|
|
// clang-format off
|
|
const char* snippets[] = {
|
|
"eval('var x = 10;'); return x;\n",
|
|
|
|
"eval('var x = 10;'); return typeof x;\n",
|
|
|
|
"x = 20; return eval('');\n",
|
|
|
|
"var x = 20;\n"
|
|
"f = function(){\n"
|
|
" eval('var x = 10');\n"
|
|
" return x;\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"x = 20;\n"
|
|
"f = function(){\n"
|
|
" eval('var x = 10');\n"
|
|
" return x;\n"
|
|
"}\n"
|
|
"f();\n"
|
|
};
|
|
// clang-format on
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("LookupSlot.golden")));
|
|
}
|
|
|
|
TEST(CallLookupSlot) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"g = function(){}; eval(''); return g();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CallLookupSlot.golden")));
|
|
}
|
|
|
|
// TODO(mythria): tests for variable/function declaration in lookup slots.
|
|
|
|
TEST(LookupSlotInEval) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"return x;",
|
|
|
|
"x = 10;",
|
|
|
|
"'use strict'; x = 10;",
|
|
|
|
"return typeof x;",
|
|
};
|
|
|
|
std::string actual = BuildActual(printer, snippets,
|
|
"var f;\n"
|
|
"var x = 1;\n"
|
|
"function f1() {\n"
|
|
" eval(\"function t() { ",
|
|
|
|
" }; f = t; f();\");\n"
|
|
"}\n"
|
|
"f1();");
|
|
|
|
CHECK(CompareTexts(actual, LoadGolden("LookupSlotInEval.golden")));
|
|
}
|
|
|
|
TEST(DeleteLookupSlotInEval) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"delete x;",
|
|
|
|
"return delete y;",
|
|
|
|
"return delete z;",
|
|
};
|
|
|
|
std::string actual = BuildActual(printer, snippets,
|
|
"var f;\n"
|
|
"var x = 1;\n"
|
|
"z = 10;\n"
|
|
"function f1() {\n"
|
|
" var y;\n"
|
|
" eval(\"function t() { ",
|
|
|
|
" }; f = t; f();\");\n"
|
|
"}\n"
|
|
"f1();");
|
|
|
|
CHECK(CompareTexts(actual, LoadGolden("DeleteLookupSlotInEval.golden")));
|
|
}
|
|
|
|
TEST(WideRegisters) {
|
|
// Prepare prologue that creates frame for lots of registers.
|
|
std::ostringstream os;
|
|
for (size_t i = 0; i < 157; ++i) {
|
|
os << "var x" << i << ";\n";
|
|
}
|
|
std::string prologue(os.str());
|
|
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"x0 = x127;\n"
|
|
"return x0;\n",
|
|
|
|
"x127 = x126;\n"
|
|
"return x127;\n",
|
|
|
|
"if (x2 > 3) { return x129; }\n"
|
|
"return x128;\n",
|
|
|
|
"var x0 = 0;\n"
|
|
"if (x129 == 3) { var x129 = x0; }\n"
|
|
"if (x2 > 3) { return x0; }\n"
|
|
"return x129;\n",
|
|
|
|
"var x0 = 0;\n"
|
|
"var x1 = 0;\n"
|
|
"for (x128 = 0; x128 < 64; x128++) {"
|
|
" x1 += x128;"
|
|
"}"
|
|
"return x128;\n",
|
|
|
|
"var x0 = 1234;\n"
|
|
"var x1 = 0;\n"
|
|
"for (x128 in x0) {"
|
|
" x1 += x128;"
|
|
"}"
|
|
"return x1;\n",
|
|
|
|
"x0 = %Add(x64, x63);\n"
|
|
"x1 = %Add(x27, x143);\n"
|
|
"%TheHole();\n"
|
|
"return x1;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets, prologue.c_str()),
|
|
LoadGolden("WideRegisters.golden")));
|
|
}
|
|
|
|
TEST(ConstVariable) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"const x = 10;\n",
|
|
|
|
"const x = 10; return x;\n",
|
|
|
|
"const x = ( x = 20);\n",
|
|
|
|
"const x = 10; x = 20;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ConstVariable.golden")));
|
|
}
|
|
|
|
TEST(LetVariable) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"let x = 10;\n",
|
|
|
|
"let x = 10; return x;\n",
|
|
|
|
"let x = (x = 20);\n",
|
|
|
|
"let x = 10; x = 20;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("LetVariable.golden")));
|
|
}
|
|
|
|
TEST(ConstVariableContextSlot) {
|
|
// TODO(mythria): Add tests for initialization of this via super calls.
|
|
// TODO(mythria): Add tests that walk the context chain.
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"const x = 10; function f1() {return x;}\n",
|
|
|
|
"const x = 10; function f1() {return x;} return x;\n",
|
|
|
|
"const x = (x = 20); function f1() {return x;}\n",
|
|
|
|
"const x = 10; x = 20; function f1() {return x;}\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ConstVariableContextSlot.golden")));
|
|
}
|
|
|
|
TEST(LetVariableContextSlot) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"let x = 10; function f1() {return x;}\n",
|
|
|
|
"let x = 10; function f1() {return x;} return x;\n",
|
|
|
|
"let x = (x = 20); function f1() {return x;}\n",
|
|
|
|
"let x = 10; x = 20; function f1() {return x;}\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("LetVariableContextSlot.golden")));
|
|
}
|
|
|
|
TEST(WithStatement) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"with ({x:42}) { return x; }\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("WithStatement.golden")));
|
|
}
|
|
|
|
TEST(DoDebugger) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"debugger;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("DoDebugger.golden")));
|
|
}
|
|
|
|
TEST(ClassDeclarations) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"class Person {\n"
|
|
" constructor(name) { this.name = name; }\n"
|
|
" speak() { console.log(this.name + ' is speaking.'); }\n"
|
|
"}\n",
|
|
|
|
"class person {\n"
|
|
" constructor(name) { this.name = name; }\n"
|
|
" speak() { console.log(this.name + ' is speaking.'); }\n"
|
|
"}\n",
|
|
|
|
"var n0 = 'a';\n"
|
|
"var n1 = 'b';\n"
|
|
"class N {\n"
|
|
" [n0]() { return n0; }\n"
|
|
" static [n1]() { return n1; }\n"
|
|
"}\n",
|
|
|
|
"var count = 0;\n"
|
|
"class C { constructor() { count++; }}\n"
|
|
"return new C();\n",
|
|
|
|
"(class {})\n"
|
|
"class E { static name () {}}\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ClassDeclarations.golden")));
|
|
}
|
|
|
|
TEST(ClassAndSuperClass) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("test");
|
|
const char* snippets[] = {
|
|
"var test;\n"
|
|
"(function() {\n"
|
|
" class A {\n"
|
|
" method() { return 2; }\n"
|
|
" }\n"
|
|
" class B extends A {\n"
|
|
" method() { return super.method() + 1; }\n"
|
|
" }\n"
|
|
" test = new B().method;\n"
|
|
" test();\n"
|
|
"})();\n",
|
|
|
|
"var test;\n"
|
|
"(function() {\n"
|
|
" class A {\n"
|
|
" get x() { return 1; }\n"
|
|
" set x(val) { return; }\n"
|
|
" }\n"
|
|
" class B extends A {\n"
|
|
" method() { super.x = 2; return super.x; }\n"
|
|
" }\n"
|
|
" test = new B().method;\n"
|
|
" test();\n"
|
|
"})();\n",
|
|
|
|
"var test;\n"
|
|
"(function() {\n"
|
|
" class A {\n"
|
|
" constructor(x) { this.x_ = x; }\n"
|
|
" }\n"
|
|
" class B extends A {\n"
|
|
" constructor() { super(1); this.y_ = 2; }\n"
|
|
" }\n"
|
|
" test = new B().constructor;\n"
|
|
"})();\n",
|
|
|
|
"var test;\n"
|
|
"(function() {\n"
|
|
" class A {\n"
|
|
" constructor() { this.x_ = 1; }\n"
|
|
" }\n"
|
|
" class B extends A {\n"
|
|
" constructor() { super(); this.y_ = 2; }\n"
|
|
" }\n"
|
|
" test = new B().constructor;\n"
|
|
"})();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ClassAndSuperClass.golden")));
|
|
}
|
|
|
|
TEST(PublicClassFields) {
|
|
bool old_flag = i::FLAG_harmony_public_fields;
|
|
i::FLAG_harmony_public_fields = true;
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"{\n"
|
|
" class A {\n"
|
|
" a;\n"
|
|
" ['b'];\n"
|
|
" }\n"
|
|
"\n"
|
|
" class B {\n"
|
|
" a = 1;\n"
|
|
" ['b'] = this.a;\n"
|
|
" }\n"
|
|
" new A;\n"
|
|
" new B;\n"
|
|
"}\n",
|
|
|
|
"{\n"
|
|
" class A extends class {} {\n"
|
|
" a;\n"
|
|
" ['b'];\n"
|
|
" }\n"
|
|
"\n"
|
|
" class B extends class {} {\n"
|
|
" a = 1;\n"
|
|
" ['b'] = this.a;\n"
|
|
" foo() { return 1; }\n"
|
|
" constructor() {\n"
|
|
" super();\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" class C extends B {\n"
|
|
" a = 1;\n"
|
|
" ['b'] = this.a;\n"
|
|
" constructor() {\n"
|
|
" (() => super())();\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" new A;\n"
|
|
" new B;\n"
|
|
" new C;\n"
|
|
"}\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PublicClassFields.golden")));
|
|
i::FLAG_harmony_public_fields = old_flag;
|
|
}
|
|
|
|
TEST(PrivateClassFields) {
|
|
bool old_flag = i::FLAG_harmony_private_fields;
|
|
i::FLAG_harmony_private_fields = true;
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"{\n"
|
|
" class A {\n"
|
|
" #a;\n"
|
|
" constructor() {\n"
|
|
" this.#a = 1;\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" class B {\n"
|
|
" #a = 1;\n"
|
|
" }\n"
|
|
" new A;\n"
|
|
" new B;\n"
|
|
"}\n",
|
|
|
|
"{\n"
|
|
" class A extends class {} {\n"
|
|
" #a;\n"
|
|
" constructor() {\n"
|
|
" super();\n"
|
|
" this.#a = 1;\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" class B extends class {} {\n"
|
|
" #a = 1;\n"
|
|
" #b = this.#a;\n"
|
|
" foo() { return this.#a; }\n"
|
|
" bar(v) { this.#b = v; }\n"
|
|
" constructor() {\n"
|
|
" super();\n"
|
|
" this.foo();\n"
|
|
" this.bar(3);\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" class C extends B {\n"
|
|
" #a = 2;\n"
|
|
" constructor() {\n"
|
|
" (() => super())();\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" new A;\n"
|
|
" new B;\n"
|
|
" new C;\n"
|
|
"};\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("PrivateClassFields.golden")));
|
|
i::FLAG_harmony_private_fields = old_flag;
|
|
}
|
|
|
|
TEST(StaticClassFields) {
|
|
bool old_flag = i::FLAG_harmony_public_fields;
|
|
bool old_static_flag = i::FLAG_harmony_static_fields;
|
|
i::FLAG_harmony_public_fields = true;
|
|
i::FLAG_harmony_static_fields = true;
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"{\n"
|
|
" class A {\n"
|
|
" a;\n"
|
|
" ['b'];\n"
|
|
" static c;\n"
|
|
" static ['d'];\n"
|
|
" }\n"
|
|
"\n"
|
|
" class B {\n"
|
|
" a = 1;\n"
|
|
" ['b'] = this.a;\n"
|
|
" static c = 3;\n"
|
|
" static ['d'] = this.c;\n"
|
|
" }\n"
|
|
" new A;\n"
|
|
" new B;\n"
|
|
"}\n",
|
|
|
|
"{\n"
|
|
" class A extends class {} {\n"
|
|
" a;\n"
|
|
" ['b'];\n"
|
|
" static c;\n"
|
|
" static ['d'];\n"
|
|
" }\n"
|
|
"\n"
|
|
" class B extends class {} {\n"
|
|
" a = 1;\n"
|
|
" ['b'] = this.a;\n"
|
|
" static c = 3;\n"
|
|
" static ['d'] = this.c;\n"
|
|
" foo() { return 1; }\n"
|
|
" constructor() {\n"
|
|
" super();\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" class C extends B {\n"
|
|
" a = 1;\n"
|
|
" ['b'] = this.a;\n"
|
|
" static c = 3;\n"
|
|
" static ['d'] = super.foo();\n"
|
|
" constructor() {\n"
|
|
" (() => super())();\n"
|
|
" }\n"
|
|
" }\n"
|
|
"\n"
|
|
" new A;\n"
|
|
" new B;\n"
|
|
" new C;\n"
|
|
"}\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("StaticClassFields.golden")));
|
|
i::FLAG_harmony_public_fields = old_flag;
|
|
i::FLAG_harmony_static_fields = old_static_flag;
|
|
}
|
|
|
|
TEST(Generators) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function* f() { }\n"
|
|
"f();\n",
|
|
|
|
"function* f() { yield 42 }\n"
|
|
"f();\n",
|
|
|
|
"function* f() { for (let x of [42]) yield x }\n"
|
|
"f();\n",
|
|
|
|
"function* g() { yield 42 }\n"
|
|
"function* f() { yield* g() }\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("Generators.golden")));
|
|
}
|
|
|
|
TEST(AsyncGenerators) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"async function* f() { }\n"
|
|
"f();\n",
|
|
|
|
"async function* f() { yield 42 }\n"
|
|
"f();\n",
|
|
|
|
"async function* f() { for (let x of [42]) yield x }\n"
|
|
"f();\n",
|
|
|
|
"function* g() { yield 42 }\n"
|
|
"async function* f() { yield* g() }\n"
|
|
"f();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("AsyncGenerators.golden")));
|
|
}
|
|
|
|
TEST(Modules) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_module(true);
|
|
printer.set_top_level(true);
|
|
|
|
const char* snippets[] = {
|
|
"import \"bar\";\n",
|
|
|
|
"import {foo} from \"bar\";\n",
|
|
|
|
"import {foo as goo} from \"bar\";\n"
|
|
"goo(42);\n"
|
|
"{ let x; { goo(42) } };\n",
|
|
|
|
"export var foo = 42;\n"
|
|
"foo++;\n"
|
|
"{ let x; { foo++ } };\n",
|
|
|
|
"export let foo = 42;\n"
|
|
"foo++;\n"
|
|
"{ let x; { foo++ } };\n",
|
|
|
|
"export const foo = 42;\n"
|
|
"foo++;\n"
|
|
"{ let x; { foo++ } };\n",
|
|
|
|
"export default (function () {});\n",
|
|
|
|
"export default (class {});\n",
|
|
|
|
"export {foo as goo} from \"bar\"\n",
|
|
|
|
"export * from \"bar\"\n",
|
|
|
|
"import * as foo from \"bar\"\n"
|
|
"foo.f(foo, foo.x);\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("Modules.golden")));
|
|
}
|
|
|
|
TEST(SuperCallAndSpread) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("test");
|
|
const char* snippets[] = {
|
|
"var test;\n"
|
|
"(function() {\n"
|
|
" class A {\n"
|
|
" constructor(...args) { this.baseArgs = args; }\n"
|
|
" }\n"
|
|
" class B extends A {}\n"
|
|
" test = new B(1, 2, 3).constructor;\n"
|
|
"})();\n",
|
|
|
|
"var test;\n"
|
|
"(function() {\n"
|
|
" class A {\n"
|
|
" constructor(...args) { this.baseArgs = args; }\n"
|
|
" }\n"
|
|
" class B extends A {\n"
|
|
" constructor(...args) { super(1, ...args); }\n"
|
|
" }\n"
|
|
" test = new B(1, 2, 3).constructor;\n"
|
|
"})();\n",
|
|
|
|
"var test;\n"
|
|
"(function() {\n"
|
|
" class A {\n"
|
|
" constructor(...args) { this.baseArgs = args; }\n"
|
|
" }\n"
|
|
" class B extends A {\n"
|
|
" constructor(...args) { super(1, ...args, 1); }\n"
|
|
" }\n"
|
|
" test = new B(1, 2, 3).constructor;\n"
|
|
"})();\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("SuperCallAndSpread.golden")));
|
|
}
|
|
|
|
TEST(CallAndSpread) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {"Math.max(...[1, 2, 3]);\n",
|
|
"Math.max(0, ...[1, 2, 3]);\n",
|
|
"Math.max(0, ...[1, 2, 3], 4);\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("CallAndSpread.golden")));
|
|
}
|
|
|
|
TEST(NewAndSpread) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
const char* snippets[] = {
|
|
"class A { constructor(...args) { this.args = args; } }\n"
|
|
"new A(...[1, 2, 3]);\n",
|
|
|
|
"class A { constructor(...args) { this.args = args; } }\n"
|
|
"new A(0, ...[1, 2, 3]);\n",
|
|
|
|
"class A { constructor(...args) { this.args = args; } }\n"
|
|
"new A(0, ...[1, 2, 3], 4);\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("NewAndSpread.golden")));
|
|
}
|
|
|
|
TEST(ForAwaitOf) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"async function f() {\n"
|
|
" for await (let x of [1, 2, 3]) {}\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"async function f() {\n"
|
|
" for await (let x of [1, 2, 3]) { return x; }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"async function f() {\n"
|
|
" for await (let x of [10, 20, 30]) {\n"
|
|
" if (x == 10) continue;\n"
|
|
" if (x == 20) break;\n"
|
|
" }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"async function f() {\n"
|
|
" var x = { 'a': 1, 'b': 2 };\n"
|
|
" for (x['a'] of [1,2,3]) { return x['a']; }\n"
|
|
"}\n"
|
|
"f();\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ForAwaitOf.golden")));
|
|
}
|
|
|
|
TEST(StandardForLoop) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f() {\n"
|
|
" for (let x = 0; x < 10; ++x) { let y = x; }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"function f() {\n"
|
|
" for (let x = 0; x < 10; ++x) { eval('1'); }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"function f() {\n"
|
|
" for (let x = 0; x < 10; ++x) { (function() { return x; })(); }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"function f() {\n"
|
|
" for (let { x, y } = { x: 0, y: 3 }; y > 0; --y) { let z = x + y; }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"function* f() {\n"
|
|
" for (let x = 0; x < 10; ++x) { let y = x; }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"function* f() {\n"
|
|
" for (let x = 0; x < 10; ++x) yield x;\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"async function f() {\n"
|
|
" for (let x = 0; x < 10; ++x) { let y = x; }\n"
|
|
"}\n"
|
|
"f();\n",
|
|
|
|
"async function f() {\n"
|
|
" for (let x = 0; x < 10; ++x) await x;\n"
|
|
"}\n"
|
|
"f();\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("StandardForLoop.golden")));
|
|
}
|
|
|
|
TEST(ForOfLoop) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
printer.set_wrap(false);
|
|
printer.set_test_function_name("f");
|
|
|
|
const char* snippets[] = {
|
|
"function f(arr) {\n"
|
|
" for (let x of arr) { let y = x; }\n"
|
|
"}\n"
|
|
"f([1, 2, 3]);\n",
|
|
|
|
"function f(arr) {\n"
|
|
" for (let x of arr) { eval('1'); }\n"
|
|
"}\n"
|
|
"f([1, 2, 3]);\n",
|
|
|
|
"function f(arr) {\n"
|
|
" for (let x of arr) { (function() { return x; })(); }\n"
|
|
"}\n"
|
|
"f([1, 2, 3]);\n",
|
|
|
|
"function f(arr) {\n"
|
|
" for (let { x, y } of arr) { let z = x + y; }\n"
|
|
"}\n"
|
|
"f([{ x: 0, y: 3 }, { x: 1, y: 9 }, { x: -12, y: 17 }]);\n",
|
|
|
|
"function* f(arr) {\n"
|
|
" for (let x of arr) { let y = x; }\n"
|
|
"}\n"
|
|
"f([1, 2, 3]);\n",
|
|
|
|
"function* f(arr) {\n"
|
|
" for (let x of arr) yield x;\n"
|
|
"}\n"
|
|
"f([1, 2, 3]);\n",
|
|
|
|
"async function f(arr) {\n"
|
|
" for (let x of arr) { let y = x; }\n"
|
|
"}\n"
|
|
"f([1, 2, 3]);\n",
|
|
|
|
"async function f(arr) {\n"
|
|
" for (let x of arr) await x;\n"
|
|
"}\n"
|
|
"f([1, 2, 3]);\n"};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("ForOfLoop.golden")));
|
|
}
|
|
|
|
TEST(StringConcat) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return a + b + 'string';\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return 'string' + a + b;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return a + 'string' + b;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return 'foo' + a + 'bar' + b + 'baz' + 1;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return (a + 'string') + ('string' + b);\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"function foo(a, b) { };\n"
|
|
"return 'string' + foo(a, b) + a + b;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("StringConcat.golden")));
|
|
}
|
|
|
|
TEST(TemplateLiterals) {
|
|
InitializedIgnitionHandleScope scope;
|
|
BytecodeExpectationsPrinter printer(CcTest::isolate());
|
|
|
|
const char* snippets[] = {
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return `${a}${b}string`;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return `string${a}${b}`;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return `${a}string${b}`;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return `foo${a}bar${b}baz${1}`;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"return `${a}string` + `string${b}`;\n",
|
|
|
|
"var a = 1;\n"
|
|
"var b = 2;\n"
|
|
"function foo(a, b) { };\n"
|
|
"return `string${foo(a, b)}${a}${b}`;\n",
|
|
};
|
|
|
|
CHECK(CompareTexts(BuildActual(printer, snippets),
|
|
LoadGolden("TemplateLiterals.golden")));
|
|
}
|
|
|
|
#undef XSTR
|
|
#undef STR
|
|
#undef UNIQUE_VAR
|
|
#undef REPEAT_2
|
|
#undef REPEAT_4
|
|
#undef REPEAT_8
|
|
#undef REPEAT_16
|
|
#undef REPEAT_32
|
|
#undef REPEAT_64
|
|
#undef REPEAT_128
|
|
#undef REPEAT_256
|
|
#undef REPEAT_127
|
|
#undef REPEAT_249
|
|
#undef REPEAT_2_UNIQUE_VARS
|
|
#undef REPEAT_4_UNIQUE_VARS
|
|
#undef REPEAT_8_UNIQUE_VARS
|
|
#undef REPEAT_16_UNIQUE_VARS
|
|
#undef REPEAT_32_UNIQUE_VARS
|
|
#undef REPEAT_64_UNIQUE_VARS
|
|
#undef REPEAT_128_UNIQUE_VARS
|
|
#undef REPEAT_250_UNIQUE_VARS
|
|
#undef LOAD_UNIQUE_PROPERTY
|
|
#undef REPEAT_2_LOAD_UNIQUE_PROPERTY
|
|
#undef REPEAT_4_LOAD_UNIQUE_PROPERTY
|
|
#undef REPEAT_8_LOAD_UNIQUE_PROPERTY
|
|
#undef REPEAT_16_LOAD_UNIQUE_PROPERTY
|
|
#undef REPEAT_32_LOAD_UNIQUE_PROPERTY
|
|
#undef REPEAT_64_LOAD_UNIQUE_PROPERTY
|
|
#undef REPEAT_128_LOAD_UNIQUE_PROPERTY
|
|
#undef FUNC_ARG
|
|
|
|
} // namespace interpreter
|
|
} // namespace internal
|
|
} // namespace v8
|