diff options
Diffstat (limited to 'deps/v8/test/cctest/compiler/test-run-bytecode-graph-builder.cc')
-rw-r--r-- | deps/v8/test/cctest/compiler/test-run-bytecode-graph-builder.cc | 2124 |
1 files changed, 2102 insertions, 22 deletions
diff --git a/deps/v8/test/cctest/compiler/test-run-bytecode-graph-builder.cc b/deps/v8/test/cctest/compiler/test-run-bytecode-graph-builder.cc index cadd436385..88555b7d57 100644 --- a/deps/v8/test/cctest/compiler/test-run-bytecode-graph-builder.cc +++ b/deps/v8/test/cctest/compiler/test-run-bytecode-graph-builder.cc @@ -2,9 +2,6 @@ // Use of this source code is governed by a BSD-style license that can be // found in the LICENSE file. -// TODO(jochen): Remove this after the setting is turned on globally. -#define V8_IMMINENT_DEPRECATION_WARNINGS - #include <utility> #include "src/compiler/pipeline.h" @@ -12,7 +9,7 @@ #include "src/handles.h" #include "src/interpreter/bytecode-array-builder.h" #include "src/interpreter/interpreter.h" -#include "src/parser.h" +#include "src/parsing/parser.h" #include "test/cctest/cctest.h" namespace v8 { @@ -22,6 +19,13 @@ namespace compiler { static const char kFunctionName[] = "f"; +static const Token::Value kCompareOperators[] = { + Token::Value::EQ, Token::Value::NE, Token::Value::EQ_STRICT, + Token::Value::NE_STRICT, Token::Value::LT, Token::Value::LTE, + Token::Value::GT, Token::Value::GTE}; + +static const int SMI_MAX = (1 << 30) - 1; +static const int SMI_MIN = -(1 << 30); static MaybeHandle<Object> CallFunction(Isolate* isolate, Handle<JSFunction> function) { @@ -60,15 +64,17 @@ class BytecodeGraphCallable { class BytecodeGraphTester { public: - BytecodeGraphTester(Isolate* isolate, Zone* zone, const char* script) + BytecodeGraphTester(Isolate* isolate, Zone* zone, const char* script, + const char* filter = kFunctionName) : isolate_(isolate), zone_(zone), script_(script) { i::FLAG_ignition = true; i::FLAG_always_opt = false; - i::FLAG_vector_stores = true; + i::FLAG_allow_natives_syntax = true; + i::FLAG_ignition_fallback_on_eval_and_catch = false; // Set ignition filter flag via SetFlagsFromString to avoid double-free // (or potential leak with StrDup() based on ownership confusion). ScopedVector<char> ignition_filter(64); - SNPrintF(ignition_filter, "--ignition-filter=%s", kFunctionName); + SNPrintF(ignition_filter, "--ignition-filter=%s", filter); FlagList::SetFlagsFromString(ignition_filter.start(), ignition_filter.length()); // Ensure handler table is generated. @@ -77,8 +83,25 @@ class BytecodeGraphTester { virtual ~BytecodeGraphTester() {} template <class... A> - BytecodeGraphCallable<A...> GetCallable() { - return BytecodeGraphCallable<A...>(isolate_, GetFunction()); + BytecodeGraphCallable<A...> GetCallable( + const char* functionName = kFunctionName) { + return BytecodeGraphCallable<A...>(isolate_, GetFunction(functionName)); + } + + Local<Message> CheckThrowsReturnMessage() { + TryCatch try_catch(reinterpret_cast<v8::Isolate*>(isolate_)); + auto callable = GetCallable<>(); + MaybeHandle<Object> no_result = callable(); + CHECK(isolate_->has_pending_exception()); + CHECK(try_catch.HasCaught()); + CHECK(no_result.is_null()); + isolate_->OptionalRescheduleException(true); + CHECK(!try_catch.Message().IsEmpty()); + return try_catch.Message(); + } + + static Handle<Object> NewObject(const char* script) { + return v8::Utils::OpenHandle(*CompileRun(script)); } private: @@ -86,11 +109,11 @@ class BytecodeGraphTester { Zone* zone_; const char* script_; - Handle<JSFunction> GetFunction() { + Handle<JSFunction> GetFunction(const char* functionName) { CompileRun(script_); Local<Function> api_function = Local<Function>::Cast( CcTest::global() - ->Get(CcTest::isolate()->GetCurrentContext(), v8_str(kFunctionName)) + ->Get(CcTest::isolate()->GetCurrentContext(), v8_str(functionName)) .ToLocalChecked()); Handle<JSFunction> function = Handle<JSFunction>::cast(v8::Utils::OpenHandle(*api_function)); @@ -100,8 +123,9 @@ class BytecodeGraphTester { CompilationInfo compilation_info(&parse_info); compilation_info.SetOptimizing(BailoutId::None(), Handle<Code>()); - Parser parser(&parse_info); - CHECK(parser.Parse(&parse_info)); + compilation_info.MarkAsDeoptimizationEnabled(); + // TODO(mythria): Remove this step once parse_info is not needed. + CHECK(Compiler::ParseAndAnalyze(&parse_info)); compiler::Pipeline pipeline(&compilation_info); Handle<Code> code = pipeline.GenerateCode(); function->ReplaceCode(*code); @@ -113,16 +137,46 @@ class BytecodeGraphTester { }; -template <int N> +#define SPACE() + +#define REPEAT_2(SEP, ...) __VA_ARGS__ SEP() __VA_ARGS__ +#define REPEAT_4(SEP, ...) \ + REPEAT_2(SEP, __VA_ARGS__) SEP() REPEAT_2(SEP, __VA_ARGS__) +#define REPEAT_8(SEP, ...) \ + REPEAT_4(SEP, __VA_ARGS__) SEP() REPEAT_4(SEP, __VA_ARGS__) +#define REPEAT_16(SEP, ...) \ + REPEAT_8(SEP, __VA_ARGS__) SEP() REPEAT_8(SEP, __VA_ARGS__) +#define REPEAT_32(SEP, ...) \ + REPEAT_16(SEP, __VA_ARGS__) SEP() REPEAT_16(SEP, __VA_ARGS__) +#define REPEAT_64(SEP, ...) \ + REPEAT_32(SEP, __VA_ARGS__) SEP() REPEAT_32(SEP, __VA_ARGS__) +#define REPEAT_128(SEP, ...) \ + REPEAT_64(SEP, __VA_ARGS__) SEP() REPEAT_64(SEP, __VA_ARGS__) +#define REPEAT_256(SEP, ...) \ + REPEAT_128(SEP, __VA_ARGS__) SEP() REPEAT_128(SEP, __VA_ARGS__) + +#define REPEAT_127(SEP, ...) \ + REPEAT_64(SEP, __VA_ARGS__) \ + SEP() \ + REPEAT_32(SEP, __VA_ARGS__) \ + SEP() \ + REPEAT_16(SEP, __VA_ARGS__) \ + SEP() \ + REPEAT_8(SEP, __VA_ARGS__) \ + SEP() \ + REPEAT_4(SEP, __VA_ARGS__) SEP() REPEAT_2(SEP, __VA_ARGS__) SEP() __VA_ARGS__ + + +template <int N, typename T = Handle<Object>> struct ExpectedSnippet { const char* code_snippet; - Handle<Object> return_value_and_parameters[N + 1]; + T return_value_and_parameters[N + 1]; - inline Handle<Object> return_value() const { - return return_value_and_parameters[0]; - } + inline T return_value() const { return return_value_and_parameters[0]; } - inline Handle<Object> parameter(int i) const { + inline T parameter(int i) const { + CHECK_GE(i, 0); + CHECK_LT(i, N); return return_value_and_parameters[1 + i]; } }; @@ -148,9 +202,8 @@ TEST(BytecodeGraphBuilderReturnStatements) { {"return 3.7e-60;", {factory->NewNumber(3.7e-60)}}, {"return -3.7e60;", {factory->NewNumber(-3.7e60)}}, {"return '';", {factory->NewStringFromStaticChars("")}}, - {"return 'catfood';", {factory->NewStringFromStaticChars("catfood")}} - // TODO(oth): {"return NaN;", {factory->NewNumber(NAN)}} - }; + {"return 'catfood';", {factory->NewStringFromStaticChars("catfood")}}, + {"return NaN;", {factory->nan_value()}}}; size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); for (size_t i = 0; i < num_snippets; i++) { @@ -254,6 +307,2033 @@ TEST(BytecodeGraphBuilderTwoParameterTests) { } } + +TEST(BytecodeGraphBuilderNamedLoad) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return p1.val;", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"return p1[\"name\"];", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({name : 'abc'})")}}, + {"'use strict'; return p1.val;", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10 })")}}, + {"'use strict'; return p1[\"val\"];", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10, name : 'abc'})")}}, + {"var b;\n" REPEAT_127(SPACE, " b = p1.name; ") " return p1.name;\n", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({name : 'abc'})")}}, + {"'use strict'; var b;\n" + REPEAT_127(SPACE, " b = p1.name; ") + "return p1.name;\n", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({ name : 'abc'})")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1) { %s };\n%s(0);", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderKeyedLoad) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<2> snippets[] = { + {"return p1[p2];", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10})"), + factory->NewStringFromStaticChars("val")}}, + {"return p1[100];", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(0)}}, + {"var b = 100; return p1[b];", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(0)}}, + {"'use strict'; return p1[p2];", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10 })"), + factory->NewStringFromStaticChars("val")}}, + {"'use strict'; return p1[100];", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({100 : 10})"), + factory->NewNumberFromInt(0)}}, + {"'use strict'; var b = p2; return p1[b];", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(100)}}, + {"var b;\n" REPEAT_127(SPACE, " b = p1[p2]; ") " return p1[p2];\n", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(100)}}, + {"'use strict'; var b;\n" REPEAT_127(SPACE, + " b = p1[p2]; ") "return p1[p2];\n", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({ 100 : 'abc'})"), + factory->NewNumberFromInt(100)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1, p2) { %s };\n%s(0);", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>, Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0), snippets[i].parameter(1)) + .ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderNamedStore) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return p1.val = 20;", + {factory->NewNumberFromInt(20), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"p1.type = 'int'; return p1.type;", + {factory->NewStringFromStaticChars("int"), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"p1.name = 'def'; return p1[\"name\"];", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({name : 'abc'})")}}, + {"'use strict'; p1.val = 20; return p1.val;", + {factory->NewNumberFromInt(20), + BytecodeGraphTester::NewObject("({val : 10 })")}}, + {"'use strict'; return p1.type = 'int';", + {factory->NewStringFromStaticChars("int"), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"'use strict'; p1.val = 20; return p1[\"val\"];", + {factory->NewNumberFromInt(20), + BytecodeGraphTester::NewObject("({val : 10, name : 'abc'})")}}, + {"var b = 'abc';\n" REPEAT_127( + SPACE, " p1.name = b; ") " p1.name = 'def'; return p1.name;\n", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({name : 'abc'})")}}, + {"'use strict'; var b = 'def';\n" REPEAT_127( + SPACE, " p1.name = 'abc'; ") "p1.name = b; return p1.name;\n", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({ name : 'abc'})")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(3072); + SNPrintF(script, "function %s(p1) { %s };\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderKeyedStore) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<2> snippets[] = { + {"p1[p2] = 20; return p1[p2];", + {factory->NewNumberFromInt(20), + BytecodeGraphTester::NewObject("({val : 10})"), + factory->NewStringFromStaticChars("val")}}, + {"return p1[100] = 'def';", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(0)}}, + {"var b = 100; p1[b] = 'def'; return p1[b];", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(0)}}, + {"'use strict'; p1[p2] = 20; return p1[p2];", + {factory->NewNumberFromInt(20), + BytecodeGraphTester::NewObject("({val : 10 })"), + factory->NewStringFromStaticChars("val")}}, + {"'use strict'; return p1[100] = 20;", + {factory->NewNumberFromInt(20), + BytecodeGraphTester::NewObject("({100 : 10})"), + factory->NewNumberFromInt(0)}}, + {"'use strict'; var b = p2; p1[b] = 'def'; return p1[b];", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(100)}}, + {"var b;\n" REPEAT_127( + SPACE, " b = p1[p2]; ") " p1[p2] = 'def'; return p1[p2];\n", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({100 : 'abc'})"), + factory->NewNumberFromInt(100)}}, + {"'use strict'; var b;\n" REPEAT_127( + SPACE, " b = p1[p2]; ") " p1[p2] = 'def'; return p1[p2];\n", + {factory->NewStringFromStaticChars("def"), + BytecodeGraphTester::NewObject("({ 100 : 'abc'})"), + factory->NewNumberFromInt(100)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1, p2) { %s };\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderPropertyCall) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return p1.func();", + {factory->NewNumberFromInt(25), + BytecodeGraphTester::NewObject("({func() { return 25; }})")}}, + {"return p1.func('abc');", + {factory->NewStringFromStaticChars("abc"), + BytecodeGraphTester::NewObject("({func(a) { return a; }})")}}, + {"return p1.func(1, 2, 3, 4, 5, 6, 7, 8);", + {factory->NewNumberFromInt(36), + BytecodeGraphTester::NewObject( + "({func(a, b, c, d, e, f, g, h) {\n" + " return a + b + c + d + e + f + g + h;}})")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1) { %s };\n%s({func() {}});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderCallNew) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"function counter() { this.count = 20; }\n" + "function f() {\n" + " var c = new counter();\n" + " return c.count;\n" + "}; f()", + {factory->NewNumberFromInt(20)}}, + {"function counter(arg0) { this.count = 17; this.x = arg0; }\n" + "function f() {\n" + " var c = new counter(6);\n" + " return c.count + c.x;\n" + "}; f()", + {factory->NewNumberFromInt(23)}}, + {"function counter(arg0, arg1) {\n" + " this.count = 17; this.x = arg0; this.y = arg1;\n" + "}\n" + "function f() {\n" + " var c = new counter(3, 5);\n" + " return c.count + c.x + c.y;\n" + "}; f()", + {factory->NewNumberFromInt(25)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + BytecodeGraphTester tester(isolate, zone, snippets[i].code_snippet); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderCreateClosure) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"function f() {\n" + " function counter() { this.count = 20; }\n" + " var c = new counter();\n" + " return c.count;\n" + "}; f()", + {factory->NewNumberFromInt(20)}}, + {"function f() {\n" + " function counter(arg0) { this.count = 17; this.x = arg0; }\n" + " var c = new counter(6);\n" + " return c.count + c.x;\n" + "}; f()", + {factory->NewNumberFromInt(23)}}, + {"function f() {\n" + " function counter(arg0, arg1) {\n" + " this.count = 17; this.x = arg0; this.y = arg1;\n" + " }\n" + " var c = new counter(3, 5);\n" + " return c.count + c.x + c.y;\n" + "}; f()", + {factory->NewNumberFromInt(25)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + BytecodeGraphTester tester(isolate, zone, snippets[i].code_snippet); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderCallRuntime) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"function f(arg0) { return %MaxSmi(); }\nf()", + {factory->NewNumberFromInt(Smi::kMaxValue), factory->undefined_value()}}, + {"function f(arg0) { return %IsArray(arg0) }\nf(undefined)", + {factory->true_value(), BytecodeGraphTester::NewObject("[1, 2, 3]")}}, + {"function f(arg0) { return %Add(arg0, 2) }\nf(1)", + {factory->NewNumberFromInt(5), factory->NewNumberFromInt(3)}}, + {"function f(arg0) { return %spread_arguments(arg0).length }\nf([])", + {factory->NewNumberFromInt(3), + BytecodeGraphTester::NewObject("[1, 2, 3]")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + BytecodeGraphTester tester(isolate, zone, snippets[i].code_snippet); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderGlobals) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"var global = 321;\n function f() { return global; };\n f();", + {factory->NewNumberFromInt(321)}}, + {"var global = 321;\n" + "function f() { global = 123; return global };\n f();", + {factory->NewNumberFromInt(123)}}, + {"var global = function() { return 'abc'};\n" + "function f() { return global(); };\n f();", + {factory->NewStringFromStaticChars("abc")}}, + {"var global = 456;\n" + "function f() { 'use strict'; return global; };\n f();", + {factory->NewNumberFromInt(456)}}, + {"var global = 987;\n" + "function f() { 'use strict'; global = 789; return global };\n f();", + {factory->NewNumberFromInt(789)}}, + {"var global = function() { return 'xyz'};\n" + "function f() { 'use strict'; return global(); };\n f();", + {factory->NewStringFromStaticChars("xyz")}}, + {"var global = 'abc'; var global_obj = {val:123};\n" + "function f() {\n" REPEAT_127( + SPACE, " var b = global_obj.name;\n") "return global; };\n f();\n", + {factory->NewStringFromStaticChars("abc")}}, + {"var global = 'abc'; var global_obj = {val:123};\n" + "function f() { 'use strict';\n" REPEAT_127( + SPACE, " var b = global_obj.name;\n") "global = 'xyz'; return " + "global };\n f();\n", + {factory->NewStringFromStaticChars("xyz")}}, + {"function f() { return typeof(undeclared_var); }\n; f();\n", + {factory->NewStringFromStaticChars("undefined")}}, + {"var defined_var = 10; function f() { return typeof(defined_var); }\n; " + "f();\n", + {factory->NewStringFromStaticChars("number")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + BytecodeGraphTester tester(isolate, zone, snippets[i].code_snippet); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderToObject) { + // TODO(mythria): tests for ToObject. Needs ForIn. +} + + +TEST(BytecodeGraphBuilderToName) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"var a = 'val'; var obj = {[a] : 10}; return obj.val;", + {factory->NewNumberFromInt(10)}}, + {"var a = 20; var obj = {[a] : 10}; return obj['20'];", + {factory->NewNumberFromInt(10)}}, + {"var a = 20; var obj = {[a] : 10}; return obj[20];", + {factory->NewNumberFromInt(10)}}, + {"var a = {val:23}; var obj = {[a] : 10}; return obj[a];", + {factory->NewNumberFromInt(10)}}, + {"var a = {val:23}; var obj = {[a] : 10}; return obj['[object Object]'];", + {factory->NewNumberFromInt(10)}}, + {"var a = {toString : function() { return 'x'}};\n" + "var obj = {[a] : 10};\n" + "return obj.x;", + {factory->NewNumberFromInt(10)}}, + {"var a = {valueOf : function() { return 'x'}};\n" + "var obj = {[a] : 10};\n" + "return obj.x;", + {factory->undefined_value()}}, + {"var a = {[Symbol.toPrimitive] : function() { return 'x'}};\n" + "var obj = {[a] : 10};\n" + "return obj.x;", + {factory->NewNumberFromInt(10)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderLogicalNot) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return !p1;", + {factory->false_value(), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"return !p1;", {factory->true_value(), factory->NewNumberFromInt(0)}}, + {"return !p1;", {factory->true_value(), factory->undefined_value()}}, + {"return !p1;", {factory->false_value(), factory->NewNumberFromInt(10)}}, + {"return !p1;", {factory->false_value(), factory->true_value()}}, + {"return !p1;", + {factory->false_value(), factory->NewStringFromStaticChars("abc")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1) { %s }\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderTypeOf) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return typeof p1;", + {factory->NewStringFromStaticChars("object"), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"return typeof p1;", + {factory->NewStringFromStaticChars("undefined"), + factory->undefined_value()}}, + {"return typeof p1;", + {factory->NewStringFromStaticChars("number"), + factory->NewNumberFromInt(10)}}, + {"return typeof p1;", + {factory->NewStringFromStaticChars("boolean"), factory->true_value()}}, + {"return typeof p1;", + {factory->NewStringFromStaticChars("string"), + factory->NewStringFromStaticChars("abc")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1) { %s }\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderCountOperation) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return ++p1;", + {factory->NewNumberFromInt(11), factory->NewNumberFromInt(10)}}, + {"return p1++;", + {factory->NewNumberFromInt(10), factory->NewNumberFromInt(10)}}, + {"return p1++ + 10;", + {factory->NewHeapNumber(15.23), factory->NewHeapNumber(5.23)}}, + {"return 20 + ++p1;", + {factory->NewHeapNumber(27.23), factory->NewHeapNumber(6.23)}}, + {"return --p1;", + {factory->NewHeapNumber(9.8), factory->NewHeapNumber(10.8)}}, + {"return p1--;", + {factory->NewHeapNumber(10.8), factory->NewHeapNumber(10.8)}}, + {"return p1-- + 10;", + {factory->NewNumberFromInt(20), factory->NewNumberFromInt(10)}}, + {"return 20 + --p1;", + {factory->NewNumberFromInt(29), factory->NewNumberFromInt(10)}}, + {"return p1.val--;", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"return ++p1['val'];", + {factory->NewNumberFromInt(11), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"return ++p1[1];", + {factory->NewNumberFromInt(11), + BytecodeGraphTester::NewObject("({1 : 10})")}}, + {" function inner() { return p1 } return --p1;", + {factory->NewNumberFromInt(9), factory->NewNumberFromInt(10)}}, + {" function inner() { return p1 } return p1--;", + {factory->NewNumberFromInt(10), factory->NewNumberFromInt(10)}}, + {"return ++p1;", + {factory->nan_value(), factory->NewStringFromStaticChars("String")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1) { %s }\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderDelete) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return delete p1.val;", + {factory->true_value(), BytecodeGraphTester::NewObject("({val : 10})")}}, + {"delete p1.val; return p1.val;", + {factory->undefined_value(), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"delete p1.name; return p1.val;", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10, name:'abc'})")}}, + {"'use strict'; return delete p1.val;", + {factory->true_value(), BytecodeGraphTester::NewObject("({val : 10})")}}, + {"'use strict'; delete p1.val; return p1.val;", + {factory->undefined_value(), + BytecodeGraphTester::NewObject("({val : 10})")}}, + {"'use strict'; delete p1.name; return p1.val;", + {factory->NewNumberFromInt(10), + BytecodeGraphTester::NewObject("({val : 10, name:'abc'})")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1) { %s }\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderDeleteGlobal) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"var obj = {val : 10, type : 'int'};" + "function f() {return delete obj;};", + {factory->false_value()}}, + {"function f() {return delete this;};", {factory->true_value()}}, + {"var obj = {val : 10, type : 'int'};" + "function f() {return delete obj.val;};", + {factory->true_value()}}, + {"var obj = {val : 10, type : 'int'};" + "function f() {'use strict'; return delete obj.val;};", + {factory->true_value()}}, + {"var obj = {val : 10, type : 'int'};" + "function f() {delete obj.val; return obj.val;};", + {factory->undefined_value()}}, + {"var obj = {val : 10, type : 'int'};" + "function f() {'use strict'; delete obj.val; return obj.val;};", + {factory->undefined_value()}}, + {"var obj = {1 : 10, 2 : 20};" + "function f() { return delete obj[1]; };", + {factory->true_value()}}, + {"var obj = {1 : 10, 2 : 20};" + "function f() { 'use strict'; return delete obj[1];};", + {factory->true_value()}}, + {"obj = {1 : 10, 2 : 20};" + "function f() { delete obj[1]; return obj[2];};", + {factory->NewNumberFromInt(20)}}, + {"function f() {" + " var obj = {1 : 10, 2 : 20};" + " function inner() { return obj[1]; };" + " return delete obj[1];" + "}", + {factory->true_value()}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "%s %s({});", snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderDeleteLookupSlot) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + // TODO(mythria): Add more tests when we have support for LdaLookupSlot. + const char* function_prologue = "var f;" + "var x = 1;" + "y = 10;" + "var obj = {val:10};" + "var z = 30;" + "function f1() {" + " var z = 20;" + " eval(\"function t() {"; + const char* function_epilogue = " }; f = t; t();\");" + "}" + "f1();"; + + ExpectedSnippet<0> snippets[] = { + {"return delete y;", {factory->true_value()}}, + {"return delete z;", {factory->false_value()}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "%s %s %s", function_prologue, snippets[i].code_snippet, + function_epilogue); + + BytecodeGraphTester tester(isolate, zone, script.start(), "t"); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderLookupSlot) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + const char* function_prologue = "var f;" + "var x = 12;" + "y = 10;" + "var obj = {val:3.1414};" + "var z = 30;" + "function f1() {" + " var z = 20;" + " eval(\"function t() {"; + const char* function_epilogue = " }; f = t; t();\");" + "}" + "f1();"; + + ExpectedSnippet<0> snippets[] = { + {"return x;", {factory->NewNumber(12)}}, + {"return obj.val;", {factory->NewNumber(3.1414)}}, + {"return typeof x;", {factory->NewStringFromStaticChars("number")}}, + {"return typeof dummy;", + {factory->NewStringFromStaticChars("undefined")}}, + {"x = 23; return x;", {factory->NewNumber(23)}}, + {"'use strict'; obj.val = 23.456; return obj.val;", + {factory->NewNumber(23.456)}}}; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "%s %s %s", function_prologue, snippets[i].code_snippet, + function_epilogue); + + BytecodeGraphTester tester(isolate, zone, script.start(), "t"); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderLookupSlotWide) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + const char* function_prologue = + "var f;" + "var x = 12;" + "y = 10;" + "var obj = {val:3.1414};" + "var z = 30;" + "function f1() {" + " var z = 20;" + " eval(\"function t() {"; + const char* function_epilogue = + " }; f = t; t();\");" + "}" + "f1();"; + + ExpectedSnippet<0> snippets[] = { + {"var y = 2.3;" REPEAT_256(SPACE, "y = 2.3;") "return x;", + {factory->NewNumber(12)}}, + {"var y = 2.3;" REPEAT_256(SPACE, "y = 2.3;") "return typeof x;", + {factory->NewStringFromStaticChars("number")}}, + {"var y = 2.3;" REPEAT_256(SPACE, "y = 2.3;") "return x = 23;", + {factory->NewNumber(23)}}, + {"'use strict';" REPEAT_256(SPACE, "y = 2.3;") "return obj.val = 23.456;", + {factory->NewNumber(23.456)}}}; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(3072); + SNPrintF(script, "%s %s %s", function_prologue, snippets[i].code_snippet, + function_epilogue); + + BytecodeGraphTester tester(isolate, zone, script.start(), "t"); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderCallLookupSlot) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + + ExpectedSnippet<0> snippets[] = { + {"g = function(){ return 2 }; eval(''); return g();", + {handle(Smi::FromInt(2), isolate)}}, + {"g = function(){ return 2 }; eval('g = function() {return 3}');\n" + "return g();", + {handle(Smi::FromInt(3), isolate)}}, + {"g = { x: function(){ return this.y }, y: 20 };\n" + "eval('g = { x: g.x, y: 30 }');\n" + "return g.x();", + {handle(Smi::FromInt(30), isolate)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderEval) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"return eval('1;');", {handle(Smi::FromInt(1), isolate)}}, + {"return eval('100 * 20;');", {handle(Smi::FromInt(2000), isolate)}}, + {"var x = 10; return eval('x + 20;');", + {handle(Smi::FromInt(30), isolate)}}, + {"var x = 10; eval('x = 33;'); return x;", + {handle(Smi::FromInt(33), isolate)}}, + {"'use strict'; var x = 20; var z = 0;\n" + "eval('var x = 33; z = x;'); return x + z;", + {handle(Smi::FromInt(53), isolate)}}, + {"eval('var x = 33;'); eval('var y = x + 20'); return x + y;", + {handle(Smi::FromInt(86), isolate)}}, + {"var x = 1; eval('for(i = 0; i < 10; i++) x = x + 1;'); return x", + {handle(Smi::FromInt(11), isolate)}}, + {"var x = 10; eval('var x = 20;'); return x;", + {handle(Smi::FromInt(20), isolate)}}, + {"var x = 1; eval('\"use strict\"; var x = 2;'); return x;", + {handle(Smi::FromInt(1), isolate)}}, + {"'use strict'; var x = 1; eval('var x = 2;'); return x;", + {handle(Smi::FromInt(1), isolate)}}, + {"var x = 10; eval('x + 20;'); return typeof x;", + {factory->NewStringFromStaticChars("number")}}, + {"eval('var y = 10;'); return typeof unallocated;", + {factory->NewStringFromStaticChars("undefined")}}, + {"'use strict'; eval('var y = 10;'); return typeof unallocated;", + {factory->NewStringFromStaticChars("undefined")}}, + {"eval('var x = 10;'); return typeof x;", + {factory->NewStringFromStaticChars("number")}}, + {"var x = {}; eval('var x = 10;'); return typeof x;", + {factory->NewStringFromStaticChars("number")}}, + {"'use strict'; var x = {}; eval('var x = 10;'); return typeof x;", + {factory->NewStringFromStaticChars("object")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderEvalParams) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + + ExpectedSnippet<1> snippets[] = { + {"var x = 10; return eval('x + p1;');", + {handle(Smi::FromInt(30), isolate), handle(Smi::FromInt(20), isolate)}}, + {"var x = 10; eval('p1 = x;'); return p1;", + {handle(Smi::FromInt(10), isolate), handle(Smi::FromInt(20), isolate)}}, + {"var a = 10;" + "function inner() { return eval('a + p1;');}" + "return inner();", + {handle(Smi::FromInt(30), isolate), handle(Smi::FromInt(20), isolate)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1) { %s }\n%s(0);", kFunctionName, + snippets[i].code_snippet, kFunctionName); + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderEvalGlobal) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"function add_global() { eval('function f() { z = 33; }; f()'); };" + "function f() { add_global(); return z; }; f();", + {handle(Smi::FromInt(33), isolate)}}, + {"function add_global() {\n" + " eval('\"use strict\"; function f() { y = 33; };" + " try { f() } catch(e) {}');\n" + "}\n" + "function f() { add_global(); return typeof y; } f();", + {factory->NewStringFromStaticChars("undefined")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + BytecodeGraphTester tester(isolate, zone, snippets[i].code_snippet); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +bool get_compare_result(Token::Value opcode, Handle<Object> lhs_value, + Handle<Object> rhs_value) { + switch (opcode) { + case Token::Value::EQ: + return Object::Equals(lhs_value, rhs_value).FromJust(); + case Token::Value::NE: + return !Object::Equals(lhs_value, rhs_value).FromJust(); + case Token::Value::EQ_STRICT: + return lhs_value->StrictEquals(*rhs_value); + case Token::Value::NE_STRICT: + return !lhs_value->StrictEquals(*rhs_value); + case Token::Value::LT: + return Object::LessThan(lhs_value, rhs_value).FromJust(); + case Token::Value::LTE: + return Object::LessThanOrEqual(lhs_value, rhs_value).FromJust(); + case Token::Value::GT: + return Object::GreaterThan(lhs_value, rhs_value).FromJust(); + case Token::Value::GTE: + return Object::GreaterThanOrEqual(lhs_value, rhs_value).FromJust(); + default: + UNREACHABLE(); + return false; + } +} + + +const char* get_code_snippet(Token::Value opcode) { + switch (opcode) { + case Token::Value::EQ: + return "return p1 == p2;"; + case Token::Value::NE: + return "return p1 != p2;"; + case Token::Value::EQ_STRICT: + return "return p1 === p2;"; + case Token::Value::NE_STRICT: + return "return p1 !== p2;"; + case Token::Value::LT: + return "return p1 < p2;"; + case Token::Value::LTE: + return "return p1 <= p2;"; + case Token::Value::GT: + return "return p1 > p2;"; + case Token::Value::GTE: + return "return p1 >= p2;"; + default: + UNREACHABLE(); + return ""; + } +} + + +TEST(BytecodeGraphBuilderCompare) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + Handle<Object> lhs_values[] = { + factory->NewNumberFromInt(10), factory->NewHeapNumber(3.45), + factory->NewStringFromStaticChars("abc"), + factory->NewNumberFromInt(SMI_MAX), factory->NewNumberFromInt(SMI_MIN)}; + Handle<Object> rhs_values[] = {factory->NewNumberFromInt(10), + factory->NewStringFromStaticChars("10"), + factory->NewNumberFromInt(20), + factory->NewStringFromStaticChars("abc"), + factory->NewHeapNumber(3.45), + factory->NewNumberFromInt(SMI_MAX), + factory->NewNumberFromInt(SMI_MIN)}; + + for (size_t i = 0; i < arraysize(kCompareOperators); i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1, p2) { %s }\n%s({}, {});", kFunctionName, + get_code_snippet(kCompareOperators[i]), kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>, Handle<Object>>(); + for (size_t j = 0; j < arraysize(lhs_values); j++) { + for (size_t k = 0; k < arraysize(rhs_values); k++) { + Handle<Object> return_value = + callable(lhs_values[j], rhs_values[k]).ToHandleChecked(); + bool result = get_compare_result(kCompareOperators[i], lhs_values[j], + rhs_values[k]); + CHECK(return_value->SameValue(*factory->ToBoolean(result))); + } + } + } +} + + +TEST(BytecodeGraphBuilderTestIn) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<2> snippets[] = { + {"return p2 in p1;", + {factory->true_value(), BytecodeGraphTester::NewObject("({val : 10})"), + factory->NewStringFromStaticChars("val")}}, + {"return p2 in p1;", + {factory->true_value(), BytecodeGraphTester::NewObject("[]"), + factory->NewStringFromStaticChars("length")}}, + {"return p2 in p1;", + {factory->true_value(), BytecodeGraphTester::NewObject("[]"), + factory->NewStringFromStaticChars("toString")}}, + {"return p2 in p1;", + {factory->true_value(), BytecodeGraphTester::NewObject("({val : 10})"), + factory->NewStringFromStaticChars("toString")}}, + {"return p2 in p1;", + {factory->false_value(), BytecodeGraphTester::NewObject("({val : 10})"), + factory->NewStringFromStaticChars("abc")}}, + {"return p2 in p1;", + {factory->false_value(), BytecodeGraphTester::NewObject("({val : 10})"), + factory->NewNumberFromInt(10)}}, + {"return p2 in p1;", + {factory->true_value(), BytecodeGraphTester::NewObject("({10 : 'val'})"), + factory->NewNumberFromInt(10)}}, + {"return p2 in p1;", + {factory->false_value(), + BytecodeGraphTester::NewObject("({10 : 'val'})"), + factory->NewNumberFromInt(1)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1, p2) { %s }\n%s({}, {});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>, Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0), snippets[i].parameter(1)) + .ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderTestInstanceOf) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return p1 instanceof Object;", + {factory->true_value(), BytecodeGraphTester::NewObject("({val : 10})")}}, + {"return p1 instanceof String;", + {factory->false_value(), factory->NewStringFromStaticChars("string")}}, + {"var cons = function() {};" + "var obj = new cons();" + "return obj instanceof cons;", + {factory->true_value(), factory->undefined_value()}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s(p1) { %s }\n%s({});", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderThrow) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + + // TODO(mythria): Add more tests when real try-catch and deoptimization + // information are supported. + ExpectedSnippet<0, const char*> snippets[] = { + {"throw undefined;", {"Uncaught undefined"}}, + {"throw 1;", {"Uncaught 1"}}, + {"throw 'Error';", {"Uncaught Error"}}, + {"throw 'Error1'; throw 'Error2'", {"Uncaught Error1"}}, + // TODO(mythria): Enable these tests when JumpIfTrue is supported. + // {"var a = true; if (a) { throw 'Error'; }", {"Error"}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + BytecodeGraphTester tester(isolate, zone, script.start()); + v8::Local<v8::String> message = tester.CheckThrowsReturnMessage()->Get(); + v8::Local<v8::String> expected_string = v8_str(snippets[i].return_value()); + CHECK( + message->Equals(CcTest::isolate()->GetCurrentContext(), expected_string) + .FromJust()); + } +} + + +TEST(BytecodeGraphBuilderContext) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"var x = 'outer';" + "function f() {" + " 'use strict';" + " {" + " let x = 'inner';" + " (function() {x});" + " }" + "return(x);" + "}" + "f();", + {factory->NewStringFromStaticChars("outer")}}, + {"var x = 'outer';" + "function f() {" + " 'use strict';" + " {" + " let x = 'inner ';" + " var innerFunc = function() {return x};" + " }" + "return(innerFunc() + x);" + "}" + "f();", + {factory->NewStringFromStaticChars("inner outer")}}, + {"var x = 'outer';" + "function f() {" + " 'use strict';" + " {" + " let x = 'inner ';" + " var innerFunc = function() {return x;};" + " {" + " let x = 'innermost ';" + " var innerMostFunc = function() {return x + innerFunc();};" + " }" + " x = 'inner_changed ';" + " }" + " return(innerMostFunc() + x);" + "}" + "f();", + {factory->NewStringFromStaticChars("innermost inner_changed outer")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "%s", snippets[i].code_snippet); + + BytecodeGraphTester tester(isolate, zone, script.start(), "f"); + auto callable = tester.GetCallable<>("f"); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderLoadContext) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"function Outer() {" + " var outerVar = 2;" + " function Inner(innerArg) {" + " this.innerFunc = function () {" + " return outerVar * innerArg;" + " };" + " };" + " this.getInnerFunc = function GetInner() {" + " return new Inner(3).innerFunc;" + " }" + "}" + "var f = new Outer().getInnerFunc();" + "f();", + {factory->NewNumberFromInt(6), factory->undefined_value()}}, + {"function Outer() {" + " var outerVar = 2;" + " function Inner(innerArg) {" + " this.innerFunc = function () {" + " outerVar = innerArg; return outerVar;" + " };" + " };" + " this.getInnerFunc = function GetInner() {" + " return new Inner(10).innerFunc;" + " }" + "}" + "var f = new Outer().getInnerFunc();" + "f();", + {factory->NewNumberFromInt(10), factory->undefined_value()}}, + {"function testOuter(outerArg) {" + " this.testinnerFunc = function testInner(innerArg) {" + " return innerArg + outerArg;" + " }" + "}" + "var f = new testOuter(10).testinnerFunc;" + "f(0);", + {factory->NewNumberFromInt(14), factory->NewNumberFromInt(4)}}, + {"function testOuter(outerArg) {" + " var outerVar = outerArg * 2;" + " this.testinnerFunc = function testInner(innerArg) {" + " outerVar = outerVar + innerArg; return outerVar;" + " }" + "}" + "var f = new testOuter(10).testinnerFunc;" + "f(0);", + {factory->NewNumberFromInt(24), factory->NewNumberFromInt(4)}}}; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "%s", snippets[i].code_snippet); + + BytecodeGraphTester tester(isolate, zone, script.start(), "*"); + auto callable = tester.GetCallable<Handle<Object>>("f"); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderCreateArgumentsNoParameters) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"function f() {return arguments[0];}", {factory->undefined_value()}}, + {"function f(a) {return arguments[0];}", {factory->undefined_value()}}, + {"function f() {'use strict'; return arguments[0];}", + {factory->undefined_value()}}, + {"function f(a) {'use strict'; return arguments[0];}", + {factory->undefined_value()}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "%s\n%s();", snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderCreateArguments) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<3> snippets[] = { + {"function f(a, b, c) {return arguments[0];}", + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2), factory->NewNumberFromInt(3)}}, + {"function f(a, b, c) {return arguments[3];}", + {factory->undefined_value(), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2), factory->NewNumberFromInt(3)}}, + {"function f(a, b, c) { b = c; return arguments[1];}", + {factory->NewNumberFromInt(3), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2), factory->NewNumberFromInt(3)}}, + {"function f(a, b, c) {'use strict'; return arguments[0];}", + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2), factory->NewNumberFromInt(3)}}, + {"function f(a, b, c) {'use strict'; return arguments[3];}", + {factory->undefined_value(), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2), factory->NewNumberFromInt(3)}}, + {"function f(a, b, c) {'use strict'; b = c; return arguments[1];}", + {factory->NewNumberFromInt(2), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2), factory->NewNumberFromInt(3)}}, + {"function inline_func(a, b) { return arguments[0] }" + "function f(a, b, c) {return inline_func(b, c) + arguments[0];}", + {factory->NewNumberFromInt(3), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2), factory->NewNumberFromInt(30)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "%s\n%s();", snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = + tester.GetCallable<Handle<Object>, Handle<Object>, Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0), snippets[i].parameter(1), + snippets[i].parameter(2)) + .ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderRegExpLiterals) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"return /abd/.exec('cccabbdd');", {factory->null_value()}}, + {"return /ab+d/.exec('cccabbdd')[0];", + {factory->NewStringFromStaticChars("abbd")}}, + {"var a = 3.1414;" + REPEAT_256(SPACE, "a = 3.1414;") + "return /ab+d/.exec('cccabbdd')[0];", + {factory->NewStringFromStaticChars("abbd")}}, + {"return /ab+d/.exec('cccabbdd')[1];", {factory->undefined_value()}}, + {"return /AbC/i.exec('ssaBC')[0];", + {factory->NewStringFromStaticChars("aBC")}}, + {"return 'ssaBC'.match(/AbC/i)[0];", + {factory->NewStringFromStaticChars("aBC")}}, + {"return 'ssaBCtAbC'.match(/(AbC)/gi)[1];", + {factory->NewStringFromStaticChars("AbC")}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(4096); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderArrayLiterals) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"return [][0];", {factory->undefined_value()}}, + {"return [1, 3, 2][1];", {factory->NewNumberFromInt(3)}}, + {"var a;" REPEAT_256(SPACE, "a = 9.87;") "return [1, 3, 2][1];", + {factory->NewNumberFromInt(3)}}, + {"return ['a', 'b', 'c'][2];", {factory->NewStringFromStaticChars("c")}}, + {"var a = 100; return [a, a++, a + 2, a + 3][2];", + {factory->NewNumberFromInt(103)}}, + {"var a = 100; return [a, ++a, a + 2, a + 3][1];", + {factory->NewNumberFromInt(101)}}, + {"var a = 9.2;" + REPEAT_256(SPACE, "a = 9.34;") + "return [a, ++a, a + 2, a + 3][2];", + {factory->NewHeapNumber(12.34)}}, + {"return [[1, 2, 3], ['a', 'b', 'c']][1][0];", + {factory->NewStringFromStaticChars("a")}}, + {"var t = 't'; return [[t, t + 'est'], [1 + t]][0][1];", + {factory->NewStringFromStaticChars("test")}}, + {"var t = 't'; return [[t, t + 'est'], [1 + t]][1][0];", + {factory->NewStringFromStaticChars("1t")}}}; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(4096); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderObjectLiterals) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"return { }.name;", {factory->undefined_value()}}, + {"return { name: 'string', val: 9.2 }.name;", + {factory->NewStringFromStaticChars("string")}}, + {"var a;\n" + REPEAT_256(SPACE, "a = 1.23;\n") + "return { name: 'string', val: 9.2 }.name;", + {factory->NewStringFromStaticChars("string")}}, + {"return { name: 'string', val: 9.2 }['name'];", + {factory->NewStringFromStaticChars("string")}}, + {"var a = 15; return { name: 'string', val: a }.val;", + {factory->NewNumberFromInt(15)}}, + {"var a;" + REPEAT_256(SPACE, "a = 1.23;") + "return { name: 'string', val: a }.val;", + {factory->NewHeapNumber(1.23)}}, + {"var a = 15; var b = 'val'; return { name: 'string', val: a }[b];", + {factory->NewNumberFromInt(15)}}, + {"var a = 5; return { val: a, val: a + 1 }.val;", + {factory->NewNumberFromInt(6)}}, + {"return { func: function() { return 'test' } }.func();", + {factory->NewStringFromStaticChars("test")}}, + {"return { func(a) { return a + 'st'; } }.func('te');", + {factory->NewStringFromStaticChars("test")}}, + {"return { get a() { return 22; } }.a;", {factory->NewNumberFromInt(22)}}, + {"var a = { get b() { return this.x + 't'; },\n" + " set b(val) { this.x = val + 's' } };\n" + "a.b = 'te';\n" + "return a.b;", + {factory->NewStringFromStaticChars("test")}}, + {"var a = 123; return { 1: a }[1];", {factory->NewNumberFromInt(123)}}, + {"return Object.getPrototypeOf({ __proto__: null });", + {factory->null_value()}}, + {"var a = 'test'; return { [a]: 1 }.test;", + {factory->NewNumberFromInt(1)}}, + {"var a = 'test'; return { b: a, [a]: a + 'ing' }['test']", + {factory->NewStringFromStaticChars("testing")}}, + {"var a = 'proto_str';\n" + "var b = { [a]: 1, __proto__: { var : a } };\n" + "return Object.getPrototypeOf(b).var", + {factory->NewStringFromStaticChars("proto_str")}}, + {"var n = 'name';\n" + "return { [n]: 'val', get a() { return 987 } }['a'];", + {factory->NewNumberFromInt(987)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(4096); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderIf) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"if (p1 > 1) return 1;\n" + "return -1;", + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(2)}}, + {"if (p1 > 1) return 1;\n" + "return -1;", + {factory->NewNumberFromInt(-1), factory->NewNumberFromInt(1)}}, + {"if (p1 > 1) { return 1; } else { return -1; }", + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(2)}}, + {"if (p1 > 1) { return 1; } else { return -1; }", + {factory->NewNumberFromInt(-1), factory->NewNumberFromInt(1)}}, + {"if (p1 > 50) {\n" + " return 1;\n" + "} else if (p1 < 10) {\n" + " return 10;\n" + "} else {\n" + " return -10;\n" + "}", + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(51)}}, + {"if (p1 > 50) {\n" + " return 1;\n" + "} else if (p1 < 10) {\n" + " return 10;\n" + "} else {\n" + " return 100;\n" + "}", + {factory->NewNumberFromInt(10), factory->NewNumberFromInt(9)}}, + {"if (p1 > 50) {\n" + " return 1;\n" + "} else if (p1 < 10) {\n" + " return 10;\n" + "} else {\n" + " return 100;\n" + "}", + {factory->NewNumberFromInt(100), factory->NewNumberFromInt(10)}}, + {"if (p1 >= 0) {\n" + " if (p1 > 10) { return 2; } else { return 1; }\n" + "} else {\n" + " if (p1 < -10) { return -2; } else { return -1; }\n" + "}", + {factory->NewNumberFromInt(2), factory->NewNumberFromInt(100)}}, + {"if (p1 >= 0) {\n" + " if (p1 > 10) { return 2; } else { return 1; }\n" + "} else {\n" + " if (p1 < -10) { return -2; } else { return -1; }\n" + "}", + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(10)}}, + {"if (p1 >= 0) {\n" + " if (p1 > 10) { return 2; } else { return 1; }\n" + "} else {\n" + " if (p1 < -10) { return -2; } else { return -1; }\n" + "}", + {factory->NewNumberFromInt(-2), factory->NewNumberFromInt(-11)}}, + {"if (p1 >= 0) {\n" + " if (p1 > 10) { return 2; } else { return 1; }\n" + "} else {\n" + " if (p1 < -10) { return -2; } else { return -1; }\n" + "}", + {factory->NewNumberFromInt(-1), factory->NewNumberFromInt(-10)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1) { %s };\n%s(0);", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderConditionalOperator) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<1> snippets[] = { + {"return (p1 > 1) ? 1 : -1;", + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(2)}}, + {"return (p1 > 1) ? 1 : -1;", + {factory->NewNumberFromInt(-1), factory->NewNumberFromInt(0)}}, + {"return (p1 > 50) ? 1 : ((p1 < 10) ? 10 : -10);", + {factory->NewNumberFromInt(10), factory->NewNumberFromInt(2)}}, + {"return (p1 > 50) ? 1 : ((p1 < 10) ? 10 : -10);", + {factory->NewNumberFromInt(-10), factory->NewNumberFromInt(20)}}, + }; + + size_t num_snippets = sizeof(snippets) / sizeof(snippets[0]); + for (size_t i = 0; i < num_snippets; i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1) { %s };\n%s(0);", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderSwitch) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + const char* switch_code = + "switch (p1) {\n" + " case 1: return 0;\n" + " case 2: return 1;\n" + " case 3:\n" + " case 4: return 2;\n" + " case 9: break;\n" + " default: return 3;\n" + "}\n" + "return 9;"; + + ExpectedSnippet<1> snippets[] = { + {switch_code, + {factory->NewNumberFromInt(0), factory->NewNumberFromInt(1)}}, + {switch_code, + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(2)}}, + {switch_code, + {factory->NewNumberFromInt(2), factory->NewNumberFromInt(3)}}, + {switch_code, + {factory->NewNumberFromInt(2), factory->NewNumberFromInt(4)}}, + {switch_code, + {factory->NewNumberFromInt(9), factory->NewNumberFromInt(9)}}, + {switch_code, + {factory->NewNumberFromInt(3), factory->NewNumberFromInt(5)}}, + {switch_code, + {factory->NewNumberFromInt(3), factory->NewNumberFromInt(6)}}, + }; + + for (size_t i = 0; i < arraysize(snippets); i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1) { %s };\n%s(0);", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0)).ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderNestedSwitch) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + const char* switch_code = + "switch (p1) {\n" + " case 0: {" + " switch (p2) { case 0: return 0; case 1: return 1; case 2: break; }\n" + " return -1;" + " }\n" + " case 1: {" + " switch (p2) { case 0: return 2; case 1: return 3; }\n" + " }\n" + " case 2: break;" + " }\n" + "return -2;"; + + ExpectedSnippet<2> snippets[] = { + {switch_code, + {factory->NewNumberFromInt(0), factory->NewNumberFromInt(0), + factory->NewNumberFromInt(0)}}, + {switch_code, + {factory->NewNumberFromInt(1), factory->NewNumberFromInt(0), + factory->NewNumberFromInt(1)}}, + {switch_code, + {factory->NewNumberFromInt(-1), factory->NewNumberFromInt(0), + factory->NewNumberFromInt(2)}}, + {switch_code, + {factory->NewNumberFromInt(-1), factory->NewNumberFromInt(0), + factory->NewNumberFromInt(3)}}, + {switch_code, + {factory->NewNumberFromInt(2), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(0)}}, + {switch_code, + {factory->NewNumberFromInt(3), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(1)}}, + {switch_code, + {factory->NewNumberFromInt(-2), factory->NewNumberFromInt(1), + factory->NewNumberFromInt(2)}}, + {switch_code, + {factory->NewNumberFromInt(-2), factory->NewNumberFromInt(2), + factory->NewNumberFromInt(0)}}, + }; + + for (size_t i = 0; i < arraysize(snippets); i++) { + ScopedVector<char> script(2048); + SNPrintF(script, "function %s(p1, p2) { %s };\n%s(0, 0);", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<Handle<Object>, Handle<Object>>(); + Handle<Object> return_value = + callable(snippets[i].parameter(0), snippets[i].parameter(1)) + .ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderBreakableBlocks) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"var x = 0;\n" + "my_heart: {\n" + " x = x + 1;\n" + " break my_heart;\n" + " x = x + 2;\n" + "}\n" + "return x;\n", + {factory->NewNumberFromInt(1)}}, + {"var sum = 0;\n" + "outta_here: {\n" + " for (var x = 0; x < 10; ++x) {\n" + " for (var y = 0; y < 3; ++y) {\n" + " ++sum;\n" + " if (x + y == 12) { break outta_here; }\n" + " }\n" + " }\n" + "}\n" + "return sum;", + {factory->NewNumber(30)}}, + }; + + for (size_t i = 0; i < arraysize(snippets); i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderWhile) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"var x = 1; while (x < 1) { x *= 100; } return x;", + {factory->NewNumberFromInt(1)}}, + {"var x = 1, y = 0; while (x < 7) { y += x * x; x += 1; } return y;", + {factory->NewNumberFromInt(91)}}, + {"var x = 1; while (true) { x += 1; if (x == 10) break; } return x;", + {factory->NewNumberFromInt(10)}}, + {"var x = 1; while (false) { x += 1; } return x;", + {factory->NewNumberFromInt(1)}}, + {"var x = 0;\n" + "while (true) {\n" + " while (x < 10) {\n" + " x = x * x + 1;\n" + " }" + " x += 1;\n" + " break;\n" + "}\n" + "return x;", + {factory->NewNumberFromInt(27)}}, + {"var x = 1, y = 0;\n" + "while (x < 7) {\n" + " x += 1;\n" + " if (x == 2) continue;\n" + " if (x == 3) continue;\n" + " y += x * x;\n" + " if (x == 4) break;\n" + "}\n" + "return y;", + {factory->NewNumberFromInt(16)}}}; + + for (size_t i = 0; i < arraysize(snippets); i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderDo) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"var x = 1; do { x *= 100; } while (x < 100); return x;", + {factory->NewNumberFromInt(100)}}, + {"var x = 1; do { x = x * x + 1; } while (x < 7) return x;", + {factory->NewNumberFromInt(26)}}, + {"var x = 1; do { x += 1; } while (false); return x;", + {factory->NewNumberFromInt(2)}}, + {"var x = 1, y = 0;\n" + "do {\n" + " x += 1;\n" + " if (x == 2) continue;\n" + " if (x == 3) continue;\n" + " y += x * x;\n" + " if (x == 4) break;\n" + "} while (x < 7);\n" + "return y;", + {factory->NewNumberFromInt(16)}}}; + + for (size_t i = 0; i < arraysize(snippets); i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderFor) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + + ExpectedSnippet<0> snippets[] = { + {"for (var x = 0;; x = 2 * x + 1) { if (x > 10) return x; }", + {factory->NewNumberFromInt(15)}}, + {"for (var x = 0; true; x = 2 * x + 1) { if (x > 100) return x; }", + {factory->NewNumberFromInt(127)}}, + {"for (var x = 0; false; x = 2 * x + 1) { if (x > 100) return x; } " + "return 0;", + {factory->NewNumberFromInt(0)}}, + {"for (var x = 0; x < 200; x = 2 * x + 1) { x = x; } return x;", + {factory->NewNumberFromInt(255)}}, + {"for (var x = 0; x < 200; x = 2 * x + 1) {} return x;", + {factory->NewNumberFromInt(255)}}, + {"var sum = 0;\n" + "for (var x = 0; x < 200; x += 1) {\n" + " if (x % 2) continue;\n" + " if (sum > 10) break;\n" + " sum += x;\n" + "}\n" + "return sum;", + {factory->NewNumberFromInt(12)}}, + {"var sum = 0;\n" + "for (var w = 0; w < 2; w++) {\n" + " for (var x = 0; x < 200; x += 1) {\n" + " if (x % 2) continue;\n" + " if (x > 4) break;\n" + " sum += x + w;\n" + " }\n" + "}\n" + "return sum;", + {factory->NewNumberFromInt(15)}}, + {"var sum = 0;\n" + "for (var w = 0; w < 2; w++) {\n" + " if (w == 1) break;\n" + " for (var x = 0; x < 200; x += 1) {\n" + " if (x % 2) continue;\n" + " if (x > 4) break;\n" + " sum += x + w;\n" + " }\n" + "}\n" + "return sum;", + {factory->NewNumberFromInt(6)}}, + {"var sum = 0;\n" + "for (var w = 0; w < 3; w++) {\n" + " if (w == 1) continue;\n" + " for (var x = 0; x < 200; x += 1) {\n" + " if (x % 2) continue;\n" + " if (x > 4) break;\n" + " sum += x + w;\n" + " }\n" + "}\n" + "return sum;", + {factory->NewNumberFromInt(18)}}, + {"var sum = 0;\n" + "for (var x = 1; x < 10; x += 2) {\n" + " for (var y = x; y < x + 2; y++) {\n" + " sum += y * y;\n" + " }\n" + "}\n" + "return sum;", + {factory->NewNumberFromInt(385)}}, + }; + + for (size_t i = 0; i < arraysize(snippets); i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(BytecodeGraphBuilderForIn) { + HandleAndZoneScope scope; + Isolate* isolate = scope.main_isolate(); + Zone* zone = scope.main_zone(); + Factory* factory = isolate->factory(); + ExpectedSnippet<0> snippets[] = { + {"var sum = 0;\n" + "var empty = null;\n" + "for (var x in empty) { sum++; }\n" + "return sum;", + {factory->NewNumberFromInt(0)}}, + {"var sum = 100;\n" + "var empty = 1;\n" + "for (var x in empty) { sum++; }\n" + "return sum;", + {factory->NewNumberFromInt(100)}}, + {"for (var x in [ 10, 20, 30 ]) {}\n" + "return 2;", + {factory->NewNumberFromInt(2)}}, + {"var last = 0;\n" + "for (var x in [ 10, 20, 30 ]) {\n" + " last = x;\n" + "}\n" + "return +last;", + {factory->NewNumberFromInt(2)}}, + {"var first = -1;\n" + "for (var x in [ 10, 20, 30 ]) {\n" + " first = +x;\n" + " if (first > 0) break;\n" + "}\n" + "return first;", + {factory->NewNumberFromInt(1)}}, + {"var first = -1;\n" + "for (var x in [ 10, 20, 30 ]) {\n" + " if (first >= 0) continue;\n" + " first = x;\n" + "}\n" + "return +first;", + {factory->NewNumberFromInt(0)}}, + {"var sum = 0;\n" + "for (var x in [ 10, 20, 30 ]) {\n" + " for (var y in [ 11, 22, 33, 44, 55, 66, 77 ]) {\n" + " sum += 1;\n" + " }\n" + "}\n" + "return sum;", + {factory->NewNumberFromInt(21)}}, + {"var sum = 0;\n" + "for (var x in [ 10, 20, 30 ]) {\n" + " for (var y in [ 11, 22, 33, 44, 55, 66, 77 ]) {\n" + " if (sum == 7) break;\n" + " if (sum == 6) continue;\n" + " sum += 1;\n" + " }\n" + "}\n" + "return sum;", + {factory->NewNumberFromInt(6)}}, + }; + + for (size_t i = 0; i < arraysize(snippets); i++) { + ScopedVector<char> script(1024); + SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, + snippets[i].code_snippet, kFunctionName); + + BytecodeGraphTester tester(isolate, zone, script.start()); + auto callable = tester.GetCallable<>(); + Handle<Object> return_value = callable().ToHandleChecked(); + CHECK(return_value->SameValue(*snippets[i].return_value())); + } +} + + +TEST(JumpWithConstantsAndWideConstants) { + HandleAndZoneScope scope; + auto isolate = scope.main_isolate(); + const int kStep = 19; + int start = 7; + for (int constants = start; constants < 256 + 3 * kStep; constants += kStep) { + std::stringstream filler_os; + // Generate a string that consumes constant pool entries and + // spread out branch distances in script below. + for (int i = 0; i < constants; i++) { + filler_os << "var x_ = 'x_" << i << "';\n"; + } + std::string filler(filler_os.str()); + + std::stringstream script_os; + script_os << "function " << kFunctionName << "(a) {\n"; + script_os << " " << filler; + script_os << " for (var i = a; i < 2; i++) {\n"; + script_os << " " << filler; + script_os << " if (i == 0) { " << filler << "i = 10; continue; }\n"; + script_os << " else if (i == a) { " << filler << "i = 12; break; }\n"; + script_os << " else { " << filler << " }\n"; + script_os << " }\n"; + script_os << " return i;\n"; + script_os << "}\n"; + script_os << kFunctionName << "(0);\n"; + std::string script(script_os.str()); + auto factory = isolate->factory(); + auto zone = scope.main_zone(); + for (int a = 0; a < 3; a++) { + BytecodeGraphTester tester(isolate, zone, script.c_str()); + auto callable = tester.GetCallable<Handle<Object>>(); + Handle<Object> return_val = + callable(factory->NewNumberFromInt(a)).ToHandleChecked(); + static const int results[] = {11, 12, 2}; + CHECK_EQ(Handle<Smi>::cast(return_val)->value(), results[a]); + } + } +} + } // namespace compiler } // namespace internal } // namespace v8 |