Index: test/cctest/compiler/test-run-bytecode-graph-builder.cc |
diff --git a/test/cctest/compiler/test-run-bytecode-graph-builder.cc b/test/cctest/compiler/test-run-bytecode-graph-builder.cc |
new file mode 100644 |
index 0000000000000000000000000000000000000000..c64a9346f725efabf96925c9ca6f4f3204774d5c |
--- /dev/null |
+++ b/test/cctest/compiler/test-run-bytecode-graph-builder.cc |
@@ -0,0 +1,259 @@ |
+// 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 <utility> |
+ |
+#include "src/v8.h" |
+ |
+#include "src/compiler/pipeline.h" |
+#include "src/execution.h" |
+#include "src/handles.h" |
+#include "src/interpreter/bytecode-array-builder.h" |
+#include "src/interpreter/interpreter.h" |
+#include "src/parser.h" |
+#include "test/cctest/cctest.h" |
+ |
+namespace v8 { |
+namespace internal { |
+namespace compiler { |
+ |
+ |
+static const char kFunctionName[] = "f"; |
+ |
+ |
+static MaybeHandle<Object> CallFunction(Isolate* isolate, |
+ Handle<JSFunction> function) { |
+ return Execution::Call(isolate, function, |
+ isolate->factory()->undefined_value(), 0, nullptr, |
+ false); |
+} |
+ |
+ |
+template <class... A> |
+static MaybeHandle<Object> CallFunction(Isolate* isolate, |
+ Handle<JSFunction> function, |
+ A... args) { |
+ Handle<Object> argv[] = {args...}; |
+ return Execution::Call(isolate, function, |
+ isolate->factory()->undefined_value(), sizeof...(args), |
+ argv, false); |
+} |
+ |
+ |
+template <class... A> |
+class BytecodeGraphCallable { |
+ public: |
+ BytecodeGraphCallable(Isolate* isolate, Handle<JSFunction> function) |
+ : isolate_(isolate), function_(function) {} |
+ virtual ~BytecodeGraphCallable() {} |
+ |
+ MaybeHandle<Object> operator()(A... args) { |
+ return CallFunction(isolate_, function_, args...); |
+ } |
+ |
+ private: |
+ Isolate* isolate_; |
+ Handle<JSFunction> function_; |
+}; |
+ |
+ |
+class BytecodeGraphTester { |
+ public: |
+ BytecodeGraphTester(Isolate* isolate, Zone* zone, const char* script) |
+ : isolate_(isolate), zone_(zone), script_(script) { |
+ i::FLAG_ignition = true; |
+ i::FLAG_always_opt = false; |
+ i::FLAG_vector_stores = true; |
+ // 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); |
+ FlagList::SetFlagsFromString(ignition_filter.start(), |
+ ignition_filter.length()); |
+ // Ensure handler table is generated. |
+ isolate->interpreter()->Initialize(); |
+ } |
+ virtual ~BytecodeGraphTester() {} |
+ |
+ template <class... A> |
+ BytecodeGraphCallable<A...> GetCallable() { |
+ return BytecodeGraphCallable<A...>(isolate_, GetFunction()); |
+ } |
+ |
+ private: |
+ Isolate* isolate_; |
+ Zone* zone_; |
+ const char* script_; |
+ |
+ Handle<JSFunction> GetFunction() { |
+ CompileRun(script_); |
+ Local<Function> api_function = |
+ Local<Function>::Cast(CcTest::global()->Get(v8_str(kFunctionName))); |
+ Handle<JSFunction> function = v8::Utils::OpenHandle(*api_function); |
+ CHECK(function->shared()->HasBytecodeArray()); |
+ |
+ ParseInfo parse_info(zone_, function); |
+ |
+ CompilationInfo compilation_info(&parse_info); |
+ compilation_info.SetOptimizing(BailoutId::None(), Handle<Code>()); |
+ Parser parser(&parse_info); |
+ CHECK(parser.Parse(&parse_info)); |
+ compiler::Pipeline pipeline(&compilation_info); |
+ Handle<Code> code = pipeline.GenerateCode(); |
+ function->ReplaceCode(*code); |
+ |
+ return function; |
+ } |
+ |
+ DISALLOW_COPY_AND_ASSIGN(BytecodeGraphTester); |
+}; |
+ |
+} // namespace compiler |
+} // namespace internal |
+} // namespace v8 |
+ |
+ |
+using namespace v8::internal; |
+using namespace v8::internal::compiler; |
+ |
+template <int N> |
+struct ExpectedSnippet { |
+ const char* code_snippet; |
+ Handle<Object> return_value_and_parameters[N + 1]; |
+ |
+ inline Handle<Object> return_value() const { |
+ return return_value_and_parameters[0]; |
+ } |
+ |
+ inline Handle<Object> parameter(int i) const { |
+ return return_value_and_parameters[1 + i]; |
+ } |
+}; |
+ |
+ |
+TEST(BytecodeGraphBuilderReturnStatements) { |
+ HandleAndZoneScope scope; |
+ Isolate* isolate = scope.main_isolate(); |
+ Zone* zone = scope.main_zone(); |
+ Factory* factory = isolate->factory(); |
+ |
+ ExpectedSnippet<0> snippets[] = { |
+ {"return;", {factory->undefined_value()}}, |
+ {"return null;", {factory->null_value()}}, |
+ {"return true;", {factory->true_value()}}, |
+ {"return false;", {factory->false_value()}}, |
+ {"return 0;", {factory->NewNumberFromInt(0)}}, |
+ {"return +1;", {factory->NewNumberFromInt(1)}}, |
+ {"return -1;", {factory->NewNumberFromInt(-1)}}, |
+ {"return +127;", {factory->NewNumberFromInt(127)}}, |
+ {"return -128;", {factory->NewNumberFromInt(-128)}}, |
+ {"return 0.001;", {factory->NewNumber(0.001)}}, |
+ {"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)}} |
+ }; |
+ |
+ 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(BytecodeGraphBuilderPrimitiveExpressions) { |
+ HandleAndZoneScope scope; |
+ Isolate* isolate = scope.main_isolate(); |
+ Zone* zone = scope.main_zone(); |
+ Factory* factory = isolate->factory(); |
+ |
+ ExpectedSnippet<0> snippets[] = { |
+ {"return 1 + 1;", {factory->NewNumberFromInt(2)}}, |
+ {"return 20 - 30;", {factory->NewNumberFromInt(-10)}}, |
+ {"return 4 * 100;", {factory->NewNumberFromInt(400)}}, |
+ {"return 100 / 5;", {factory->NewNumberFromInt(20)}}, |
+ {"return 25 % 7;", {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, "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(BytecodeGraphBuilderTwoParameterTests) { |
+ HandleAndZoneScope scope; |
+ Isolate* isolate = scope.main_isolate(); |
+ Zone* zone = scope.main_zone(); |
+ Factory* factory = isolate->factory(); |
+ |
+ ExpectedSnippet<2> snippets[] = { |
+ // Integers |
+ {"return p1 + p2;", |
+ {factory->NewNumberFromInt(-70), factory->NewNumberFromInt(3), |
+ factory->NewNumberFromInt(-73)}}, |
+ {"return p1 + p2 + 3;", |
+ {factory->NewNumberFromInt(1139044), factory->NewNumberFromInt(300), |
+ factory->NewNumberFromInt(1138741)}}, |
+ {"return p1 - p2;", |
+ {factory->NewNumberFromInt(1100), factory->NewNumberFromInt(1000), |
+ factory->NewNumberFromInt(-100)}}, |
+ {"return p1 * p2;", |
+ {factory->NewNumberFromInt(-100000), factory->NewNumberFromInt(1000), |
+ factory->NewNumberFromInt(-100)}}, |
+ {"return p1 / p2;", |
+ {factory->NewNumberFromInt(-10), factory->NewNumberFromInt(1000), |
+ factory->NewNumberFromInt(-100)}}, |
+ {"return p1 % p2;", |
+ {factory->NewNumberFromInt(5), factory->NewNumberFromInt(373), |
+ factory->NewNumberFromInt(16)}}, |
+ // Doubles |
+ {"return p1 + p2;", |
+ {factory->NewHeapNumber(9.999), factory->NewHeapNumber(3.333), |
+ factory->NewHeapNumber(6.666)}}, |
+ {"return p1 - p2;", |
+ {factory->NewHeapNumber(-3.333), factory->NewHeapNumber(3.333), |
+ factory->NewHeapNumber(6.666)}}, |
+ {"return p1 * p2;", |
+ {factory->NewHeapNumber(3.333 * 6.666), factory->NewHeapNumber(3.333), |
+ factory->NewHeapNumber(6.666)}}, |
+ {"return p1 / p2;", |
+ {factory->NewHeapNumber(2.25), factory->NewHeapNumber(9), |
+ factory->NewHeapNumber(4)}}, |
+ // Strings |
+ {"return p1 + p2;", |
+ {factory->NewStringFromStaticChars("abcdef"), |
+ factory->NewStringFromStaticChars("abc"), |
+ factory->NewStringFromStaticChars("def")}}}; |
+ |
+ 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(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())); |
+ } |
+} |