VM.cpp 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657
  1. /*
  2. * Copyright (c) 2020-2021, Andreas Kling <kling@serenityos.org>
  3. * Copyright (c) 2020-2021, Linus Groh <linusg@serenityos.org>
  4. * Copyright (c) 2021, David Tuin <davidot@serenityos.org>
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause
  7. */
  8. #include <AK/Debug.h>
  9. #include <AK/ScopeGuard.h>
  10. #include <AK/StringBuilder.h>
  11. #include <LibJS/Interpreter.h>
  12. #include <LibJS/Runtime/AbstractOperations.h>
  13. #include <LibJS/Runtime/Array.h>
  14. #include <LibJS/Runtime/BoundFunction.h>
  15. #include <LibJS/Runtime/Completion.h>
  16. #include <LibJS/Runtime/ECMAScriptFunctionObject.h>
  17. #include <LibJS/Runtime/Error.h>
  18. #include <LibJS/Runtime/FinalizationRegistry.h>
  19. #include <LibJS/Runtime/FunctionEnvironment.h>
  20. #include <LibJS/Runtime/GlobalObject.h>
  21. #include <LibJS/Runtime/IteratorOperations.h>
  22. #include <LibJS/Runtime/NativeFunction.h>
  23. #include <LibJS/Runtime/PromiseReaction.h>
  24. #include <LibJS/Runtime/Reference.h>
  25. #include <LibJS/Runtime/Symbol.h>
  26. #include <LibJS/Runtime/TemporaryClearException.h>
  27. #include <LibJS/Runtime/VM.h>
  28. namespace JS {
  29. NonnullRefPtr<VM> VM::create(OwnPtr<CustomData> custom_data)
  30. {
  31. return adopt_ref(*new VM(move(custom_data)));
  32. }
  33. VM::VM(OwnPtr<CustomData> custom_data)
  34. : m_heap(*this)
  35. , m_custom_data(move(custom_data))
  36. {
  37. m_empty_string = m_heap.allocate_without_global_object<PrimitiveString>(String::empty());
  38. for (size_t i = 0; i < 128; ++i) {
  39. m_single_ascii_character_strings[i] = m_heap.allocate_without_global_object<PrimitiveString>(String::formatted("{:c}", i));
  40. }
  41. #define __JS_ENUMERATE(SymbolName, snake_name) \
  42. m_well_known_symbol_##snake_name = js_symbol(*this, "Symbol." #SymbolName, false);
  43. JS_ENUMERATE_WELL_KNOWN_SYMBOLS
  44. #undef __JS_ENUMERATE
  45. }
  46. VM::~VM()
  47. {
  48. }
  49. Interpreter& VM::interpreter()
  50. {
  51. VERIFY(!m_interpreters.is_empty());
  52. return *m_interpreters.last();
  53. }
  54. Interpreter* VM::interpreter_if_exists()
  55. {
  56. if (m_interpreters.is_empty())
  57. return nullptr;
  58. return m_interpreters.last();
  59. }
  60. void VM::push_interpreter(Interpreter& interpreter)
  61. {
  62. m_interpreters.append(&interpreter);
  63. }
  64. void VM::pop_interpreter(Interpreter& interpreter)
  65. {
  66. VERIFY(!m_interpreters.is_empty());
  67. auto* popped_interpreter = m_interpreters.take_last();
  68. VERIFY(popped_interpreter == &interpreter);
  69. }
  70. VM::InterpreterExecutionScope::InterpreterExecutionScope(Interpreter& interpreter)
  71. : m_interpreter(interpreter)
  72. {
  73. m_interpreter.vm().push_interpreter(m_interpreter);
  74. }
  75. VM::InterpreterExecutionScope::~InterpreterExecutionScope()
  76. {
  77. m_interpreter.vm().pop_interpreter(m_interpreter);
  78. }
  79. void VM::gather_roots(HashTable<Cell*>& roots)
  80. {
  81. roots.set(m_empty_string);
  82. for (auto* string : m_single_ascii_character_strings)
  83. roots.set(string);
  84. roots.set(m_exception);
  85. if (m_last_value.is_cell())
  86. roots.set(&m_last_value.as_cell());
  87. auto gather_roots_from_execution_context_stack = [&roots](Vector<ExecutionContext*> const& stack) {
  88. for (auto& execution_context : stack) {
  89. if (execution_context->this_value.is_cell())
  90. roots.set(&execution_context->this_value.as_cell());
  91. for (auto& argument : execution_context->arguments) {
  92. if (argument.is_cell())
  93. roots.set(&argument.as_cell());
  94. }
  95. roots.set(execution_context->lexical_environment);
  96. roots.set(execution_context->variable_environment);
  97. roots.set(execution_context->private_environment);
  98. }
  99. };
  100. gather_roots_from_execution_context_stack(m_execution_context_stack);
  101. for (auto& saved_stack : m_saved_execution_context_stacks)
  102. gather_roots_from_execution_context_stack(saved_stack);
  103. #define __JS_ENUMERATE(SymbolName, snake_name) \
  104. roots.set(well_known_symbol_##snake_name());
  105. JS_ENUMERATE_WELL_KNOWN_SYMBOLS
  106. #undef __JS_ENUMERATE
  107. for (auto& symbol : m_global_symbol_map)
  108. roots.set(symbol.value);
  109. for (auto* job : m_promise_jobs)
  110. roots.set(job);
  111. for (auto* finalization_registry : m_finalization_registry_cleanup_jobs)
  112. roots.set(finalization_registry);
  113. }
  114. Symbol* VM::get_global_symbol(const String& description)
  115. {
  116. auto result = m_global_symbol_map.get(description);
  117. if (result.has_value())
  118. return result.value();
  119. auto new_global_symbol = js_symbol(*this, description, true);
  120. m_global_symbol_map.set(description, new_global_symbol);
  121. return new_global_symbol;
  122. }
  123. ThrowCompletionOr<Value> VM::named_evaluation_if_anonymous_function(GlobalObject& global_object, ASTNode const& expression, FlyString const& name)
  124. {
  125. // 8.3.3 Static Semantics: IsAnonymousFunctionDefinition ( expr ), https://tc39.es/ecma262/#sec-isanonymousfunctiondefinition
  126. // And 8.3.5 Runtime Semantics: NamedEvaluation, https://tc39.es/ecma262/#sec-runtime-semantics-namedevaluation
  127. if (is<FunctionExpression>(expression)) {
  128. auto& function = static_cast<FunctionExpression const&>(expression);
  129. if (!function.has_name()) {
  130. return function.instantiate_ordinary_function_expression(interpreter(), global_object, name);
  131. }
  132. } else if (is<ClassExpression>(expression)) {
  133. auto& class_expression = static_cast<ClassExpression const&>(expression);
  134. if (!class_expression.has_name()) {
  135. return TRY(class_expression.class_definition_evaluation(interpreter(), global_object, {}, name));
  136. }
  137. }
  138. auto value = expression.execute(interpreter(), global_object);
  139. if (auto* thrown_exception = exception())
  140. return JS::throw_completion(thrown_exception->value());
  141. return value;
  142. }
  143. // 13.15.5.2 Runtime Semantics: DestructuringAssignmentEvaluation, https://tc39.es/ecma262/#sec-runtime-semantics-destructuringassignmentevaluation
  144. ThrowCompletionOr<void> VM::destructuring_assignment_evaluation(NonnullRefPtr<BindingPattern> const& target, Value value, GlobalObject& global_object)
  145. {
  146. // Note: DestructuringAssignmentEvaluation is just like BindingInitialization without an environment
  147. // And it allows member expressions. We thus trust the parser to disallow member expressions
  148. // in any non assignment binding and just call BindingInitialization with a nullptr environment
  149. return binding_initialization(target, value, nullptr, global_object);
  150. }
  151. // 8.5.2 Runtime Semantics: BindingInitialization, https://tc39.es/ecma262/#sec-runtime-semantics-bindinginitialization
  152. ThrowCompletionOr<void> VM::binding_initialization(FlyString const& target, Value value, Environment* environment, GlobalObject& global_object)
  153. {
  154. // 1. Let name be StringValue of Identifier.
  155. // 2. Return ? InitializeBoundName(name, value, environment).
  156. return initialize_bound_name(global_object, target, value, environment);
  157. }
  158. // 8.5.2 Runtime Semantics: BindingInitialization, https://tc39.es/ecma262/#sec-runtime-semantics-bindinginitialization
  159. ThrowCompletionOr<void> VM::binding_initialization(NonnullRefPtr<BindingPattern> const& target, Value value, Environment* environment, GlobalObject& global_object)
  160. {
  161. // BindingPattern : ObjectBindingPattern
  162. if (target->kind == BindingPattern::Kind::Object) {
  163. // 1. Perform ? RequireObjectCoercible(value).
  164. TRY(require_object_coercible(global_object, value));
  165. // 2. Return the result of performing BindingInitialization of ObjectBindingPattern using value and environment as arguments.
  166. // BindingInitialization of ObjectBindingPattern
  167. // 1. Perform ? PropertyBindingInitialization of BindingPropertyList using value and environment as the arguments.
  168. TRY(property_binding_initialization(*target, value, environment, global_object));
  169. // 2. Return NormalCompletion(empty).
  170. return {};
  171. }
  172. // BindingPattern : ArrayBindingPattern
  173. else {
  174. // 1. Let iteratorRecord be ? GetIterator(value).
  175. auto* iterator = TRY(get_iterator(global_object, value));
  176. auto iterator_done = false;
  177. // 2. Let result be IteratorBindingInitialization of ArrayBindingPattern with arguments iteratorRecord and environment.
  178. auto result = iterator_binding_initialization(*target, iterator, iterator_done, environment, global_object);
  179. // 3. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iteratorRecord, result).
  180. if (!iterator_done) {
  181. // iterator_close() always returns a Completion, which ThrowCompletionOr will interpret as a throw
  182. // completion. So only return the result of iterator_close() if it is indeed a throw completion.
  183. auto completion = result.is_throw_completion() ? result.release_error() : normal_completion({});
  184. if (completion = iterator_close(*iterator, move(completion)); completion.is_error())
  185. return completion.release_error();
  186. }
  187. // 4. Return result.
  188. return result;
  189. }
  190. }
  191. // 13.15.5.3 Runtime Semantics: PropertyDestructuringAssignmentEvaluation, https://tc39.es/ecma262/#sec-runtime-semantics-propertydestructuringassignmentevaluation
  192. // 14.3.3.1 Runtime Semantics: PropertyBindingInitialization, https://tc39.es/ecma262/#sec-destructuring-binding-patterns-runtime-semantics-propertybindinginitialization
  193. ThrowCompletionOr<void> VM::property_binding_initialization(BindingPattern const& binding, Value value, Environment* environment, GlobalObject& global_object)
  194. {
  195. auto* object = TRY(value.to_object(global_object));
  196. HashTable<PropertyKey> seen_names;
  197. for (auto& property : binding.entries) {
  198. VERIFY(!property.is_elision());
  199. if (property.is_rest) {
  200. Reference assignment_target;
  201. if (auto identifier_ptr = property.name.get_pointer<NonnullRefPtr<Identifier>>()) {
  202. assignment_target = TRY(resolve_binding((*identifier_ptr)->string(), environment));
  203. } else if (auto member_ptr = property.alias.get_pointer<NonnullRefPtr<MemberExpression>>()) {
  204. assignment_target = (*member_ptr)->to_reference(interpreter(), global_object);
  205. } else {
  206. VERIFY_NOT_REACHED();
  207. }
  208. if (auto* thrown_exception = exception())
  209. return JS::throw_completion(thrown_exception->value());
  210. auto* rest_object = Object::create(global_object, global_object.object_prototype());
  211. VERIFY(rest_object);
  212. TRY(rest_object->copy_data_properties(object, seen_names, global_object));
  213. if (!environment)
  214. return assignment_target.put_value(global_object, rest_object);
  215. else
  216. return assignment_target.initialize_referenced_binding(global_object, rest_object);
  217. }
  218. PropertyKey name;
  219. property.name.visit(
  220. [&](Empty) { VERIFY_NOT_REACHED(); },
  221. [&](NonnullRefPtr<Identifier> const& identifier) {
  222. name = identifier->string();
  223. },
  224. [&](NonnullRefPtr<Expression> const& expression) {
  225. auto result = expression->execute(interpreter(), global_object);
  226. if (exception())
  227. return;
  228. auto name_or_error = result.to_property_key(global_object);
  229. if (name_or_error.is_error())
  230. return;
  231. name = name_or_error.release_value();
  232. });
  233. if (auto* thrown_exception = exception())
  234. return JS::throw_completion(thrown_exception->value());
  235. seen_names.set(name);
  236. if (property.name.has<NonnullRefPtr<Identifier>>() && property.alias.has<Empty>()) {
  237. // FIXME: this branch and not taking this have a lot in common we might want to unify it more (like it was before).
  238. auto& identifier = *property.name.get<NonnullRefPtr<Identifier>>();
  239. auto reference = TRY(resolve_binding(identifier.string(), environment));
  240. auto value_to_assign = TRY(object->get(name));
  241. if (property.initializer && value_to_assign.is_undefined()) {
  242. value_to_assign = TRY(named_evaluation_if_anonymous_function(global_object, *property.initializer, identifier.string()));
  243. }
  244. if (!environment)
  245. TRY(reference.put_value(global_object, value_to_assign));
  246. else
  247. TRY(reference.initialize_referenced_binding(global_object, value_to_assign));
  248. continue;
  249. }
  250. auto reference_to_assign_to = TRY(property.alias.visit(
  251. [&](Empty) -> ThrowCompletionOr<Optional<Reference>> { return Optional<Reference> {}; },
  252. [&](NonnullRefPtr<Identifier> const& identifier) -> ThrowCompletionOr<Optional<Reference>> {
  253. return TRY(resolve_binding(identifier->string(), environment));
  254. },
  255. [&](NonnullRefPtr<BindingPattern> const&) -> ThrowCompletionOr<Optional<Reference>> { return Optional<Reference> {}; },
  256. [&](NonnullRefPtr<MemberExpression> const& member_expression) -> ThrowCompletionOr<Optional<Reference>> {
  257. auto reference = member_expression->to_reference(interpreter(), global_object);
  258. if (auto* thrown_exception = exception())
  259. return JS::throw_completion(thrown_exception->value());
  260. return reference;
  261. }));
  262. if (auto* thrown_exception = exception())
  263. return JS::throw_completion(thrown_exception->value());
  264. auto value_to_assign = TRY(object->get(name));
  265. if (property.initializer && value_to_assign.is_undefined()) {
  266. if (auto* identifier_ptr = property.alias.get_pointer<NonnullRefPtr<Identifier>>())
  267. value_to_assign = TRY(named_evaluation_if_anonymous_function(global_object, *property.initializer, (*identifier_ptr)->string()));
  268. else
  269. value_to_assign = property.initializer->execute(interpreter(), global_object);
  270. if (auto* thrown_exception = exception())
  271. return JS::throw_completion(thrown_exception->value());
  272. }
  273. if (auto* binding_ptr = property.alias.get_pointer<NonnullRefPtr<BindingPattern>>()) {
  274. TRY(binding_initialization(*binding_ptr, value_to_assign, environment, global_object));
  275. } else {
  276. VERIFY(reference_to_assign_to.has_value());
  277. if (!environment)
  278. TRY(reference_to_assign_to->put_value(global_object, value_to_assign));
  279. else
  280. TRY(reference_to_assign_to->initialize_referenced_binding(global_object, value_to_assign));
  281. }
  282. }
  283. return {};
  284. }
  285. // 13.15.5.5 Runtime Semantics: IteratorDestructuringAssignmentEvaluation, https://tc39.es/ecma262/#sec-runtime-semantics-iteratordestructuringassignmentevaluation
  286. // 8.5.3 Runtime Semantics: IteratorBindingInitialization, https://tc39.es/ecma262/#sec-runtime-semantics-iteratorbindinginitialization
  287. ThrowCompletionOr<void> VM::iterator_binding_initialization(BindingPattern const& binding, Object* iterator, bool& iterator_done, Environment* environment, GlobalObject& global_object)
  288. {
  289. // FIXME: this method is nearly identical to destructuring assignment!
  290. for (size_t i = 0; i < binding.entries.size(); i++) {
  291. auto& entry = binding.entries[i];
  292. Value value;
  293. auto assignment_target = TRY(entry.alias.visit(
  294. [&](Empty) -> ThrowCompletionOr<Optional<Reference>> { return Optional<Reference> {}; },
  295. [&](NonnullRefPtr<Identifier> const& identifier) -> ThrowCompletionOr<Optional<Reference>> {
  296. return TRY(resolve_binding(identifier->string(), environment));
  297. },
  298. [&](NonnullRefPtr<BindingPattern> const&) -> ThrowCompletionOr<Optional<Reference>> { return Optional<Reference> {}; },
  299. [&](NonnullRefPtr<MemberExpression> const& member_expression) -> ThrowCompletionOr<Optional<Reference>> {
  300. auto reference = member_expression->to_reference(interpreter(), global_object);
  301. if (auto* thrown_exception = exception())
  302. return JS::throw_completion(thrown_exception->value());
  303. return reference;
  304. }));
  305. if (entry.is_rest) {
  306. VERIFY(i == binding.entries.size() - 1);
  307. auto* array = MUST(Array::create(global_object, 0));
  308. while (!iterator_done) {
  309. auto next_object_or_error = iterator_next(*iterator);
  310. if (next_object_or_error.is_throw_completion()) {
  311. iterator_done = true;
  312. return JS::throw_completion(next_object_or_error.release_error().value());
  313. }
  314. auto* next_object = next_object_or_error.release_value();
  315. auto done_property = TRY(next_object->get(names.done));
  316. if (done_property.to_boolean()) {
  317. iterator_done = true;
  318. break;
  319. }
  320. auto next_value = TRY(next_object->get(names.value));
  321. array->indexed_properties().append(next_value);
  322. }
  323. value = array;
  324. } else if (!iterator_done) {
  325. auto next_object_or_error = iterator_next(*iterator);
  326. if (next_object_or_error.is_throw_completion()) {
  327. iterator_done = true;
  328. return JS::throw_completion(next_object_or_error.release_error().value());
  329. }
  330. auto* next_object = next_object_or_error.release_value();
  331. auto done_property = TRY(next_object->get(names.done));
  332. if (done_property.to_boolean()) {
  333. iterator_done = true;
  334. value = js_undefined();
  335. } else {
  336. auto value_or_error = next_object->get(names.value);
  337. if (value_or_error.is_throw_completion()) {
  338. iterator_done = true;
  339. return JS::throw_completion(value_or_error.release_error().value());
  340. }
  341. value = value_or_error.release_value();
  342. }
  343. } else {
  344. value = js_undefined();
  345. }
  346. if (value.is_undefined() && entry.initializer) {
  347. VERIFY(!entry.is_rest);
  348. if (auto* identifier_ptr = entry.alias.get_pointer<NonnullRefPtr<Identifier>>())
  349. value = TRY(named_evaluation_if_anonymous_function(global_object, *entry.initializer, (*identifier_ptr)->string()));
  350. else
  351. value = entry.initializer->execute(interpreter(), global_object);
  352. if (auto* thrown_exception = exception())
  353. return JS::throw_completion(thrown_exception->value());
  354. }
  355. if (auto* binding_ptr = entry.alias.get_pointer<NonnullRefPtr<BindingPattern>>()) {
  356. TRY(binding_initialization(*binding_ptr, value, environment, global_object));
  357. } else if (!entry.alias.has<Empty>()) {
  358. VERIFY(assignment_target.has_value());
  359. if (!environment)
  360. TRY(assignment_target->put_value(global_object, value));
  361. else
  362. TRY(assignment_target->initialize_referenced_binding(global_object, value));
  363. }
  364. }
  365. return {};
  366. }
  367. // 9.1.2.1 GetIdentifierReference ( env, name, strict ), https://tc39.es/ecma262/#sec-getidentifierreference
  368. ThrowCompletionOr<Reference> VM::get_identifier_reference(Environment* environment, FlyString name, bool strict, size_t hops)
  369. {
  370. // 1. If env is the value null, then
  371. if (!environment) {
  372. // a. Return the Reference Record { [[Base]]: unresolvable, [[ReferencedName]]: name, [[Strict]]: strict, [[ThisValue]]: empty }.
  373. return Reference { Reference::BaseType::Unresolvable, move(name), strict };
  374. }
  375. // 2. Let exists be ? env.HasBinding(name).
  376. Optional<size_t> index;
  377. auto exists = TRY(environment->has_binding(name, &index));
  378. // Note: This is an optimization for looking up the same reference.
  379. Optional<EnvironmentCoordinate> environment_coordinate;
  380. if (index.has_value())
  381. environment_coordinate = EnvironmentCoordinate { .hops = hops, .index = index.value() };
  382. // 3. If exists is true, then
  383. if (exists) {
  384. // a. Return the Reference Record { [[Base]]: env, [[ReferencedName]]: name, [[Strict]]: strict, [[ThisValue]]: empty }.
  385. return Reference { *environment, move(name), strict, environment_coordinate };
  386. }
  387. // 4. Else,
  388. else {
  389. // a. Let outer be env.[[OuterEnv]].
  390. // b. Return ? GetIdentifierReference(outer, name, strict).
  391. return get_identifier_reference(environment->outer_environment(), move(name), strict, hops + 1);
  392. }
  393. }
  394. // 9.4.2 ResolveBinding ( name [ , env ] ), https://tc39.es/ecma262/#sec-resolvebinding
  395. ThrowCompletionOr<Reference> VM::resolve_binding(FlyString const& name, Environment* environment)
  396. {
  397. // 1. If env is not present or if env is undefined, then
  398. if (!environment) {
  399. // a. Set env to the running execution context's LexicalEnvironment.
  400. environment = running_execution_context().lexical_environment;
  401. }
  402. // 2. Assert: env is an Environment Record.
  403. VERIFY(environment);
  404. // 3. If the code matching the syntactic production that is being evaluated is contained in strict mode code, let strict be true; else let strict be false.
  405. bool strict = in_strict_mode();
  406. // 4. Return ? GetIdentifierReference(env, name, strict).
  407. return get_identifier_reference(environment, name, strict);
  408. // NOTE: The spec says:
  409. // Note: The result of ResolveBinding is always a Reference Record whose [[ReferencedName]] field is name.
  410. // But this is not actually correct as GetIdentifierReference (or really the methods it calls) can throw.
  411. }
  412. // 7.3.33 InitializeInstanceElements ( O, constructor ), https://tc39.es/ecma262/#sec-initializeinstanceelements
  413. ThrowCompletionOr<void> VM::initialize_instance_elements(Object& object, ECMAScriptFunctionObject& constructor)
  414. {
  415. for (auto& method : constructor.private_methods())
  416. TRY(object.private_method_or_accessor_add(method));
  417. for (auto& field : constructor.fields())
  418. TRY(object.define_field(field.name, field.initializer));
  419. return {};
  420. }
  421. void VM::throw_exception(Exception& exception)
  422. {
  423. set_exception(exception);
  424. unwind(ScopeType::Try);
  425. }
  426. // 9.4.4 ResolveThisBinding ( ), https://tc39.es/ecma262/#sec-resolvethisbinding
  427. ThrowCompletionOr<Value> VM::resolve_this_binding(GlobalObject& global_object)
  428. {
  429. // 1. Let envRec be GetThisEnvironment().
  430. auto& environment = get_this_environment(*this);
  431. // 2. Return ? envRec.GetThisBinding().
  432. return TRY(environment.get_this_binding(global_object));
  433. }
  434. String VM::join_arguments(size_t start_index) const
  435. {
  436. StringBuilder joined_arguments;
  437. for (size_t i = start_index; i < argument_count(); ++i) {
  438. joined_arguments.append(argument(i).to_string_without_side_effects().characters());
  439. if (i != argument_count() - 1)
  440. joined_arguments.append(' ');
  441. }
  442. return joined_arguments.build();
  443. }
  444. // 9.4.5 GetNewTarget ( ), https://tc39.es/ecma262/#sec-getnewtarget
  445. Value VM::get_new_target()
  446. {
  447. // 1. Let envRec be GetThisEnvironment().
  448. auto& env = get_this_environment(*this);
  449. // 2. Assert: envRec has a [[NewTarget]] field.
  450. // 3. Return envRec.[[NewTarget]].
  451. return verify_cast<FunctionEnvironment>(env).new_target();
  452. }
  453. // NOTE: This is only here because there's a million invocations of vm.call() - it used to be tied to the VM in weird ways.
  454. // We should update all of those and then remove this, along with the call() template functions in VM.h, and use the standalone call() AO.
  455. ThrowCompletionOr<Value> VM::call_internal(FunctionObject& function, Value this_value, Optional<MarkedValueList> arguments)
  456. {
  457. VERIFY(!exception());
  458. VERIFY(!this_value.is_empty());
  459. return JS::call_impl(function.global_object(), &function, this_value, move(arguments));
  460. }
  461. bool VM::in_strict_mode() const
  462. {
  463. if (execution_context_stack().is_empty())
  464. return false;
  465. return running_execution_context().is_strict_mode;
  466. }
  467. void VM::run_queued_promise_jobs()
  468. {
  469. dbgln_if(PROMISE_DEBUG, "Running queued promise jobs");
  470. // Temporarily get rid of the exception, if any - job functions must be called
  471. // either way, and that can't happen if we already have an exception stored.
  472. TemporaryClearException temporary_clear_exception(*this);
  473. while (!m_promise_jobs.is_empty()) {
  474. auto* job = m_promise_jobs.take_first();
  475. dbgln_if(PROMISE_DEBUG, "Calling promise job function @ {}", job);
  476. // NOTE: If the execution context stack is empty, we make and push a temporary context.
  477. ExecutionContext execution_context(heap());
  478. bool pushed_execution_context = false;
  479. if (m_execution_context_stack.is_empty()) {
  480. static FlyString promise_execution_context_name = "(promise execution context)";
  481. execution_context.function_name = promise_execution_context_name;
  482. // FIXME: Propagate potential failure
  483. MUST(push_execution_context(execution_context, job->global_object()));
  484. pushed_execution_context = true;
  485. }
  486. [[maybe_unused]] auto result = call(*job, js_undefined());
  487. // This doesn't match the spec, it actually defines that Job Abstract Closures must return
  488. // a normal completion. In reality that's not the case however, and all major engines clear
  489. // exceptions when running Promise jobs. See the commit where these two lines were initially
  490. // added for a much more detailed explanation.
  491. clear_exception();
  492. stop_unwind();
  493. if (pushed_execution_context)
  494. pop_execution_context();
  495. }
  496. // Ensure no job has created a new exception, they must clean up after themselves.
  497. // If they don't, we help a little (see above) so that this assumption remains valid.
  498. VERIFY(!m_exception);
  499. }
  500. // 9.5.4 HostEnqueuePromiseJob ( job, realm ), https://tc39.es/ecma262/#sec-hostenqueuepromisejob
  501. void VM::enqueue_promise_job(NativeFunction& job)
  502. {
  503. m_promise_jobs.append(&job);
  504. }
  505. void VM::run_queued_finalization_registry_cleanup_jobs()
  506. {
  507. while (!m_finalization_registry_cleanup_jobs.is_empty()) {
  508. auto* registry = m_finalization_registry_cleanup_jobs.take_first();
  509. registry->cleanup();
  510. }
  511. }
  512. // 9.10.4.1 HostEnqueueFinalizationRegistryCleanupJob ( finalizationRegistry ), https://tc39.es/ecma262/#sec-host-cleanup-finalization-registry
  513. void VM::enqueue_finalization_registry_cleanup_job(FinalizationRegistry& registry)
  514. {
  515. m_finalization_registry_cleanup_jobs.append(&registry);
  516. }
  517. // 27.2.1.9 HostPromiseRejectionTracker ( promise, operation ), https://tc39.es/ecma262/#sec-host-promise-rejection-tracker
  518. void VM::promise_rejection_tracker(const Promise& promise, Promise::RejectionOperation operation) const
  519. {
  520. switch (operation) {
  521. case Promise::RejectionOperation::Reject:
  522. // A promise was rejected without any handlers
  523. if (on_promise_unhandled_rejection)
  524. on_promise_unhandled_rejection(promise);
  525. break;
  526. case Promise::RejectionOperation::Handle:
  527. // A handler was added to an already rejected promise
  528. if (on_promise_rejection_handled)
  529. on_promise_rejection_handled(promise);
  530. break;
  531. default:
  532. VERIFY_NOT_REACHED();
  533. }
  534. }
  535. void VM::dump_backtrace() const
  536. {
  537. for (ssize_t i = m_execution_context_stack.size() - 1; i >= 0; --i) {
  538. auto& frame = m_execution_context_stack[i];
  539. if (frame->current_node) {
  540. auto& source_range = frame->current_node->source_range();
  541. dbgln("-> {} @ {}:{},{}", frame->function_name, source_range.filename, source_range.start.line, source_range.start.column);
  542. } else {
  543. dbgln("-> {}", frame->function_name);
  544. }
  545. }
  546. }
  547. VM::CustomData::~CustomData()
  548. {
  549. }
  550. void VM::save_execution_context_stack()
  551. {
  552. m_saved_execution_context_stacks.append(move(m_execution_context_stack));
  553. }
  554. void VM::restore_execution_context_stack()
  555. {
  556. m_execution_context_stack = m_saved_execution_context_stacks.take_last();
  557. }
  558. }