123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588 |
- /*
- * Copyright (c) 2020, Matthew Olsson <mattco@serenityos.org>
- * Copyright (c) 2020-2022, Linus Groh <linusg@serenityos.org>
- * Copyright (c) 2021, Ali Mohammad Pur <mpfard@serenityos.org>
- * Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
- #pragma once
- #include <AK/ByteBuffer.h>
- #include <AK/JsonObject.h>
- #include <AK/JsonValue.h>
- #include <AK/LexicalPath.h>
- #include <AK/QuickSort.h>
- #include <AK/Result.h>
- #include <AK/Tuple.h>
- #include <LibCore/DirIterator.h>
- #include <LibCore/File.h>
- #include <LibCore/Stream.h>
- #include <LibJS/Bytecode/Interpreter.h>
- #include <LibJS/Interpreter.h>
- #include <LibJS/Lexer.h>
- #include <LibJS/Parser.h>
- #include <LibJS/Runtime/Array.h>
- #include <LibJS/Runtime/GlobalObject.h>
- #include <LibJS/Runtime/JSONObject.h>
- #include <LibJS/Runtime/TypedArray.h>
- #include <LibJS/Runtime/WeakMap.h>
- #include <LibJS/Runtime/WeakSet.h>
- #include <LibJS/Script.h>
- #include <LibJS/SourceTextModule.h>
- #include <LibTest/Results.h>
- #include <LibTest/TestRunner.h>
- #include <fcntl.h>
- #include <sys/time.h>
- #include <unistd.h>
- #ifdef AK_OS_SERENITY
- # include <serenity.h>
- #endif
- #define STRCAT(x, y) __STRCAT(x, y)
- #define STRSTRCAT(x, y) __STRSTRCAT(x, y)
- #define __STRCAT(x, y) x #y
- #define __STRSTRCAT(x, y) x y
- // Note: This is a little weird, so here's an explanation:
- // If the vararg isn't given, the tuple initializer will simply expand to `fn, ::Test::JS::__testjs_last<1>()`
- // and if it _is_ given (say as `A`), the tuple initializer will expand to `fn, ::Test::JS::__testjs_last<1, A>()`, which will end up being evaluated as `A`
- // and if multiple args are given, the static_assert will be sad.
- #define __TESTJS_REGISTER_GLOBAL_FUNCTION(name, fn, ...) \
- struct __TestJS_register_##fn { \
- static_assert( \
- ::Test::JS::__testjs_count(__VA_ARGS__) <= 1, \
- STRCAT(STRSTRCAT(STRCAT("Expected at most three arguments to TESTJS_GLOBAL_FUNCTION at line", __LINE__), ", in file "), __FILE__)); \
- __TestJS_register_##fn() noexcept \
- { \
- ::Test::JS::s_exposed_global_functions.set( \
- name, \
- { fn, ::Test::JS::__testjs_last<1, ##__VA_ARGS__>() }); \
- } \
- } __testjs_register_##fn {};
- #define TESTJS_GLOBAL_FUNCTION(function, exposed_name, ...) \
- JS_DECLARE_NATIVE_FUNCTION(function); \
- __TESTJS_REGISTER_GLOBAL_FUNCTION(#exposed_name, function, ##__VA_ARGS__); \
- JS_DEFINE_NATIVE_FUNCTION(function)
- #define TESTJS_MAIN_HOOK() \
- struct __TestJS_main_hook { \
- __TestJS_main_hook() \
- { \
- ::Test::JS::g_main_hook = hook; \
- } \
- static void hook(); \
- } __testjs_common_register_##name {}; \
- void __TestJS_main_hook::hook()
- #define TESTJS_PROGRAM_FLAG(flag, help_string, long_name, short_name) \
- bool flag { false }; \
- struct __TestJS_flag_hook_##flag { \
- __TestJS_flag_hook_##flag() \
- { \
- ::Test::JS::g_extra_args.set(&(flag), { help_string, long_name, short_name }); \
- }; \
- } __testjs_flag_hook_##flag;
- #define TEST_ROOT(path) \
- String Test::JS::g_test_root_fragment = path
- #define TESTJS_RUN_FILE_FUNCTION(...) \
- struct __TestJS_run_file { \
- __TestJS_run_file() \
- { \
- ::Test::JS::g_run_file = hook; \
- } \
- static ::Test::JS::IntermediateRunFileResult hook(String const&, JS::Interpreter&, JS::ExecutionContext&); \
- } __testjs_common_run_file {}; \
- ::Test::JS::IntermediateRunFileResult __TestJS_run_file::hook(__VA_ARGS__)
- #define TESTJS_CREATE_INTERPRETER_HOOK(...) \
- struct __TestJS_create_interpreter_hook { \
- __TestJS_create_interpreter_hook() \
- { \
- ::Test::JS::g_create_interpreter_hook = hook; \
- } \
- static NonnullOwnPtr<JS::Interpreter> hook(); \
- } __testjs_create_interpreter_hook {}; \
- NonnullOwnPtr<JS::Interpreter> __TestJS_create_interpreter_hook::hook(__VA_ARGS__)
- namespace Test::JS {
- namespace JS = ::JS;
- template<typename... Args>
- static consteval size_t __testjs_count(Args...) { return sizeof...(Args); }
- template<auto... Values>
- static consteval size_t __testjs_last()
- {
- Array values { Values... };
- return values[values.size() - 1U];
- }
- static constexpr auto TOP_LEVEL_TEST_NAME = "__$$TOP_LEVEL$$__";
- extern RefPtr<JS::VM> g_vm;
- extern bool g_collect_on_every_allocation;
- extern bool g_run_bytecode;
- extern String g_currently_running_test;
- struct FunctionWithLength {
- JS::ThrowCompletionOr<JS::Value> (*function)(JS::VM&);
- size_t length { 0 };
- };
- extern HashMap<String, FunctionWithLength> s_exposed_global_functions;
- extern String g_test_root_fragment;
- extern String g_test_root;
- extern int g_test_argc;
- extern char** g_test_argv;
- extern Function<void()> g_main_hook;
- extern Function<NonnullOwnPtr<JS::Interpreter>()> g_create_interpreter_hook;
- extern HashMap<bool*, Tuple<String, String, char>> g_extra_args;
- struct ParserError {
- JS::Parser::Error error;
- String hint;
- };
- struct JSFileResult {
- String name;
- Optional<ParserError> error {};
- double time_taken { 0 };
- // A failed test takes precedence over a skipped test, which both have
- // precedence over a passed test
- Test::Result most_severe_test_result { Test::Result::Pass };
- Vector<Test::Suite> suites {};
- Vector<String> logged_messages {};
- };
- enum class RunFileHookResult {
- RunAsNormal,
- SkipFile,
- };
- using IntermediateRunFileResult = AK::Result<JSFileResult, RunFileHookResult>;
- extern IntermediateRunFileResult (*g_run_file)(String const&, JS::Interpreter&, JS::ExecutionContext&);
- class TestRunner : public ::Test::TestRunner {
- public:
- TestRunner(String test_root, String common_path, bool print_times, bool print_progress, bool print_json, bool detailed_json)
- : ::Test::TestRunner(move(test_root), print_times, print_progress, print_json, detailed_json)
- , m_common_path(move(common_path))
- {
- g_test_root = m_test_root;
- }
- virtual ~TestRunner() = default;
- protected:
- virtual void do_run_single_test(String const& test_path, size_t, size_t) override;
- virtual Vector<String> get_test_paths() const override;
- virtual JSFileResult run_file_test(String const& test_path);
- void print_file_result(JSFileResult const& file_result) const;
- String m_common_path;
- };
- class TestRunnerGlobalObject final : public JS::GlobalObject {
- JS_OBJECT(TestRunnerGlobalObject, JS::GlobalObject);
- public:
- TestRunnerGlobalObject(JS::Realm& realm)
- : JS::GlobalObject(realm)
- {
- }
- virtual void initialize(JS::Realm&) override;
- virtual ~TestRunnerGlobalObject() override = default;
- };
- inline void TestRunnerGlobalObject::initialize(JS::Realm& realm)
- {
- Base::initialize(realm);
- define_direct_property("global", this, JS::Attribute::Enumerable);
- for (auto& entry : s_exposed_global_functions) {
- define_native_function(
- realm,
- entry.key, [fn = entry.value.function](auto& vm) {
- return fn(vm);
- },
- entry.value.length, JS::default_attributes);
- }
- }
- inline ByteBuffer load_entire_file(StringView path)
- {
- auto try_load_entire_file = [](StringView const& path) -> ErrorOr<ByteBuffer> {
- auto file = TRY(Core::Stream::File::open(path, Core::Stream::OpenMode::Read));
- auto file_size = TRY(file->size());
- auto content = TRY(ByteBuffer::create_uninitialized(file_size));
- TRY(file->read(content.bytes()));
- return content;
- };
- auto buffer_or_error = try_load_entire_file(path);
- if (buffer_or_error.is_error()) {
- warnln("Failed to open the following file: \"{}\", error: {}", path, buffer_or_error.release_error());
- cleanup_and_exit();
- }
- return buffer_or_error.release_value();
- }
- inline AK::Result<JS::NonnullGCPtr<JS::Script>, ParserError> parse_script(StringView path, JS::Realm& realm)
- {
- auto contents = load_entire_file(path);
- auto script_or_errors = JS::Script::parse(contents, realm, path);
- if (script_or_errors.is_error()) {
- auto errors = script_or_errors.release_error();
- return ParserError { errors[0], errors[0].source_location_hint(contents) };
- }
- return script_or_errors.release_value();
- }
- inline AK::Result<JS::NonnullGCPtr<JS::SourceTextModule>, ParserError> parse_module(StringView path, JS::Realm& realm)
- {
- auto contents = load_entire_file(path);
- auto script_or_errors = JS::SourceTextModule::parse(contents, realm, path);
- if (script_or_errors.is_error()) {
- auto errors = script_or_errors.release_error();
- return ParserError { errors[0], errors[0].source_location_hint(contents) };
- }
- return script_or_errors.release_value();
- }
- inline ErrorOr<JsonValue> get_test_results(JS::Interpreter& interpreter)
- {
- auto results = MUST(interpreter.realm().global_object().get("__TestResults__"));
- auto json_string = MUST(JS::JSONObject::stringify_impl(*g_vm, results, JS::js_undefined(), JS::js_undefined()));
- return JsonValue::from_string(json_string);
- }
- inline void TestRunner::do_run_single_test(String const& test_path, size_t, size_t)
- {
- auto file_result = run_file_test(test_path);
- if (!m_print_json)
- print_file_result(file_result);
- if (needs_detailed_suites())
- ensure_suites().extend(file_result.suites);
- }
- inline Vector<String> TestRunner::get_test_paths() const
- {
- Vector<String> paths;
- iterate_directory_recursively(m_test_root, [&](String const& file_path) {
- if (!file_path.ends_with(".js"sv))
- return;
- if (!file_path.ends_with("test-common.js"sv))
- paths.append(file_path);
- });
- quick_sort(paths);
- return paths;
- }
- inline JSFileResult TestRunner::run_file_test(String const& test_path)
- {
- g_currently_running_test = test_path;
- #ifdef AK_OS_SERENITY
- auto string_id = perf_register_string(test_path.characters(), test_path.length());
- perf_event(PERF_EVENT_SIGNPOST, string_id, 0);
- #endif
- double start_time = get_time_in_ms();
- auto interpreter = JS::Interpreter::create<TestRunnerGlobalObject>(*g_vm);
- // Since g_vm is reused for each new interpreter, Interpreter::create will end up pushing multiple
- // global execution contexts onto the VM's execution context stack. To prevent this, we immediately
- // pop the global execution context off the execution context stack and manually handle pushing
- // and popping it. Since the global execution context should be the only thing on the stack
- // at interpreter creation, let's assert there is only one.
- VERIFY(g_vm->execution_context_stack().size() == 1);
- auto& global_execution_context = *g_vm->execution_context_stack().take_first();
- // FIXME: This is a hack while we're refactoring Interpreter/VM stuff.
- JS::VM::InterpreterExecutionScope scope(*interpreter);
- interpreter->heap().set_should_collect_on_every_allocation(g_collect_on_every_allocation);
- if (g_run_file) {
- auto result = g_run_file(test_path, *interpreter, global_execution_context);
- if (result.is_error() && result.error() == RunFileHookResult::SkipFile) {
- return {
- test_path,
- {},
- 0,
- Test::Result::Skip,
- {},
- {}
- };
- }
- if (!result.is_error()) {
- auto value = result.release_value();
- for (auto& suite : value.suites) {
- if (suite.most_severe_test_result == Result::Pass)
- m_counts.suites_passed++;
- else if (suite.most_severe_test_result == Result::Fail)
- m_counts.suites_failed++;
- for (auto& test : suite.tests) {
- if (test.result == Result::Pass)
- m_counts.tests_passed++;
- else if (test.result == Result::Fail)
- m_counts.tests_failed++;
- else if (test.result == Result::Skip)
- m_counts.tests_skipped++;
- }
- }
- ++m_counts.files_total;
- m_total_elapsed_time_in_ms += value.time_taken;
- return value;
- }
- }
- // FIXME: Since a new interpreter is created every time with a new realm, we no longer cache the test-common.js file as scripts are parsed for the current realm only.
- // Find a way to cache this.
- auto result = parse_script(m_common_path, interpreter->realm());
- if (result.is_error()) {
- warnln("Unable to parse test-common.js");
- warnln("{}", result.error().error.to_string());
- warnln("{}", result.error().hint);
- cleanup_and_exit();
- }
- auto test_script = result.release_value();
- if (g_run_bytecode) {
- auto executable = MUST(JS::Bytecode::Generator::generate(test_script->parse_node()));
- executable->name = test_path;
- if (JS::Bytecode::g_dump_bytecode)
- executable->dump();
- JS::Bytecode::Interpreter bytecode_interpreter(interpreter->realm());
- MUST(bytecode_interpreter.run(*executable));
- } else {
- g_vm->push_execution_context(global_execution_context);
- MUST(interpreter->run(*test_script));
- g_vm->pop_execution_context();
- }
- auto file_script = parse_script(test_path, interpreter->realm());
- if (file_script.is_error())
- return { test_path, file_script.error() };
- if (g_run_bytecode) {
- auto executable_result = JS::Bytecode::Generator::generate(file_script.value()->parse_node());
- if (!executable_result.is_error()) {
- auto executable = executable_result.release_value();
- executable->name = test_path;
- if (JS::Bytecode::g_dump_bytecode)
- executable->dump();
- JS::Bytecode::Interpreter bytecode_interpreter(interpreter->realm());
- (void)bytecode_interpreter.run(*executable);
- }
- } else {
- g_vm->push_execution_context(global_execution_context);
- (void)interpreter->run(file_script.value());
- g_vm->pop_execution_context();
- }
- g_vm->push_execution_context(global_execution_context);
- auto test_json = get_test_results(*interpreter);
- g_vm->pop_execution_context();
- if (test_json.is_error()) {
- warnln("Received malformed JSON from test \"{}\"", test_path);
- cleanup_and_exit();
- }
- JSFileResult file_result { test_path.substring(m_test_root.length() + 1, test_path.length() - m_test_root.length() - 1) };
- // Collect logged messages
- auto user_output = MUST(interpreter->realm().global_object().get("__UserOutput__"));
- auto& arr = user_output.as_array();
- for (auto& entry : arr.indexed_properties()) {
- auto message = MUST(arr.get(entry.index()));
- file_result.logged_messages.append(message.to_string_without_side_effects());
- }
- test_json.value().as_object().for_each_member([&](String const& suite_name, JsonValue const& suite_value) {
- Test::Suite suite { test_path, suite_name };
- VERIFY(suite_value.is_object());
- suite_value.as_object().for_each_member([&](const String& test_name, const JsonValue& test_value) {
- Test::Case test { test_name, Test::Result::Fail, "", 0 };
- VERIFY(test_value.is_object());
- VERIFY(test_value.as_object().has("result"sv));
- auto result = test_value.as_object().get("result"sv);
- VERIFY(result.is_string());
- auto result_string = result.as_string();
- if (result_string == "pass") {
- test.result = Test::Result::Pass;
- m_counts.tests_passed++;
- } else if (result_string == "fail") {
- test.result = Test::Result::Fail;
- m_counts.tests_failed++;
- suite.most_severe_test_result = Test::Result::Fail;
- VERIFY(test_value.as_object().has("details"sv));
- auto details = test_value.as_object().get("details"sv);
- VERIFY(result.is_string());
- test.details = details.as_string();
- } else {
- test.result = Test::Result::Skip;
- if (suite.most_severe_test_result == Test::Result::Pass)
- suite.most_severe_test_result = Test::Result::Skip;
- m_counts.tests_skipped++;
- }
- test.duration_us = test_value.as_object().get("duration"sv).to_u64(0);
- suite.tests.append(test);
- });
- if (suite.most_severe_test_result == Test::Result::Fail) {
- m_counts.suites_failed++;
- file_result.most_severe_test_result = Test::Result::Fail;
- } else {
- if (suite.most_severe_test_result == Test::Result::Skip && file_result.most_severe_test_result == Test::Result::Pass)
- file_result.most_severe_test_result = Test::Result::Skip;
- m_counts.suites_passed++;
- }
- file_result.suites.append(suite);
- });
- m_counts.files_total++;
- file_result.time_taken = get_time_in_ms() - start_time;
- m_total_elapsed_time_in_ms += file_result.time_taken;
- return file_result;
- }
- inline void TestRunner::print_file_result(JSFileResult const& file_result) const
- {
- if (file_result.most_severe_test_result == Test::Result::Fail || file_result.error.has_value()) {
- print_modifiers({ BG_RED, FG_BLACK, FG_BOLD });
- out(" FAIL ");
- print_modifiers({ CLEAR });
- } else {
- if (m_print_times || file_result.most_severe_test_result != Test::Result::Pass) {
- print_modifiers({ BG_GREEN, FG_BLACK, FG_BOLD });
- out(" PASS ");
- print_modifiers({ CLEAR });
- } else {
- return;
- }
- }
- out(" {}", file_result.name);
- if (m_print_times) {
- print_modifiers({ CLEAR, ITALIC, FG_GRAY });
- if (file_result.time_taken < 1000) {
- outln(" ({}ms)", static_cast<int>(file_result.time_taken));
- } else {
- outln(" ({:3}s)", file_result.time_taken / 1000.0);
- }
- print_modifiers({ CLEAR });
- } else {
- outln();
- }
- if (!file_result.logged_messages.is_empty()) {
- print_modifiers({ FG_GRAY, FG_BOLD });
- #ifdef AK_OS_SERENITY
- outln(" ℹ Console output:");
- #else
- // This emoji has a second invisible byte after it. The one above does not
- outln(" ℹ️ Console output:");
- #endif
- print_modifiers({ CLEAR, FG_GRAY });
- for (auto& message : file_result.logged_messages)
- outln(" {}", message);
- }
- if (file_result.error.has_value()) {
- auto test_error = file_result.error.value();
- print_modifiers({ FG_RED });
- #ifdef AK_OS_SERENITY
- outln(" ❌ The file failed to parse");
- #else
- // No invisible byte here, but the spacing still needs to be altered on the host
- outln(" ❌ The file failed to parse");
- #endif
- outln();
- print_modifiers({ FG_GRAY });
- for (auto& message : test_error.hint.split('\n', SplitBehavior::KeepEmpty)) {
- outln(" {}", message);
- }
- print_modifiers({ FG_RED });
- outln(" {}", test_error.error.to_string());
- outln();
- return;
- }
- if (file_result.most_severe_test_result != Test::Result::Pass) {
- for (auto& suite : file_result.suites) {
- if (suite.most_severe_test_result == Test::Result::Pass)
- continue;
- bool failed = suite.most_severe_test_result == Test::Result::Fail;
- print_modifiers({ FG_GRAY, FG_BOLD });
- if (failed) {
- #ifdef AK_OS_SERENITY
- out(" ❌ Suite: ");
- #else
- // No invisible byte here, but the spacing still needs to be altered on the host
- out(" ❌ Suite: ");
- #endif
- } else {
- #ifdef AK_OS_SERENITY
- out(" ⚠ Suite: ");
- #else
- // This emoji has a second invisible byte after it. The one above does not
- out(" ⚠️ Suite: ");
- #endif
- }
- print_modifiers({ CLEAR, FG_GRAY });
- if (suite.name == TOP_LEVEL_TEST_NAME) {
- outln("<top-level>");
- } else {
- outln("{}", suite.name);
- }
- print_modifiers({ CLEAR });
- for (auto& test : suite.tests) {
- if (test.result == Test::Result::Pass)
- continue;
- print_modifiers({ FG_GRAY, FG_BOLD });
- out(" Test: ");
- if (test.result == Test::Result::Fail) {
- print_modifiers({ CLEAR, FG_RED });
- outln("{} (failed):", test.name);
- outln(" {}", test.details);
- } else {
- print_modifiers({ CLEAR, FG_ORANGE });
- outln("{} (skipped)", test.name);
- }
- print_modifiers({ CLEAR });
- }
- }
- }
- }
- }
|