| Index: src/builtins/builtins-async-iterator.cc
|
| diff --git a/src/builtins/builtins-async-iterator.cc b/src/builtins/builtins-async-iterator.cc
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..13d15ef2c6047e5c6f543bc2b33c21f93920549d
|
| --- /dev/null
|
| +++ b/src/builtins/builtins-async-iterator.cc
|
| @@ -0,0 +1,326 @@
|
| +// Copyright 2017 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 "src/builtins/builtins-async.h"
|
| +#include "src/builtins/builtins-utils.h"
|
| +#include "src/builtins/builtins.h"
|
| +#include "src/code-factory.h"
|
| +#include "src/code-stub-assembler.h"
|
| +#include "src/frames-inl.h"
|
| +
|
| +namespace v8 {
|
| +namespace internal {
|
| +
|
| +namespace {
|
| +
|
| +// Describe fields of Context associated with the AsyncIterator unwrap closure.
|
| +class ValueUnwrapContext {
|
| + public:
|
| + enum Fields { kDoneSlot = Context::MIN_CONTEXT_SLOTS, kLength };
|
| +};
|
| +
|
| +class AsyncFromSyncBuiltinsAssembler : public AsyncBuiltinsAssembler {
|
| + public:
|
| + explicit AsyncFromSyncBuiltinsAssembler(CodeAssemblerState* state)
|
| + : AsyncBuiltinsAssembler(state) {}
|
| +
|
| + void ThrowIfNotAsyncFromSyncIterator(Node* const context, Node* const object,
|
| + Label* if_exception,
|
| + Variable* var_exception,
|
| + const char* method_name);
|
| +
|
| + typedef std::function<void(Node* const context, Node* const promise,
|
| + Label* if_exception)>
|
| + UndefinedMethodHandler;
|
| + void Generate_AsyncFromSyncIteratorMethod(
|
| + Node* const context, Node* const iterator, Node* const sent_value,
|
| + Handle<Name> method_name, UndefinedMethodHandler&& if_method_undefined,
|
| + const char* operation_name,
|
| + Label::Type reject_label_type = Label::kDeferred,
|
| + Node* const initial_exception_value = nullptr);
|
| +
|
| + Node* AllocateAsyncIteratorValueUnwrapContext(Node* native_context,
|
| + Node* done);
|
| +
|
| + // Load "value" and "done" from an iterator result object. If an exception
|
| + // is thrown at any point, jumps to te `if_exception` label with exception
|
| + // stored in `var_exception`.
|
| + //
|
| + // Returns a Pair of Nodes, whose first element is the value of the "value"
|
| + // property, and whose second element is the value of the "done" property,
|
| + // converted to a Boolean if needed.
|
| + std::pair<Node*, Node*> LoadIteratorResult(Node* const context,
|
| + Node* const native_context,
|
| + Node* const iter_result,
|
| + Label* if_exception,
|
| + Variable* var_exception);
|
| +
|
| + Node* CreateUnwrapClosure(Node* const native_context, Node* const done);
|
| +};
|
| +
|
| +void AsyncFromSyncBuiltinsAssembler::ThrowIfNotAsyncFromSyncIterator(
|
| + Node* const context, Node* const object, Label* if_exception,
|
| + Variable* var_exception, const char* method_name) {
|
| + Label if_receiverisincompatible(this, Label::kDeferred), done(this);
|
| +
|
| + GotoIf(TaggedIsSmi(object), &if_receiverisincompatible);
|
| + Branch(HasInstanceType(object, JS_ASYNC_FROM_SYNC_ITERATOR_TYPE), &done,
|
| + &if_receiverisincompatible);
|
| +
|
| + Bind(&if_receiverisincompatible);
|
| + {
|
| + // If Type(O) is not Object, or if O does not have a [[SyncIterator]]
|
| + // internal slot, then
|
| +
|
| + // Let badIteratorError be a new TypeError exception.
|
| + Node* const error =
|
| + MakeTypeError(MessageTemplate::kIncompatibleMethodReceiver, context,
|
| + CStringConstant(method_name), object);
|
| +
|
| + // Perform ! Call(promiseCapability.[[Reject]], undefined,
|
| + // « badIteratorError »).
|
| + var_exception->Bind(error);
|
| + Goto(if_exception);
|
| + }
|
| +
|
| + Bind(&done);
|
| +}
|
| +
|
| +void AsyncFromSyncBuiltinsAssembler::Generate_AsyncFromSyncIteratorMethod(
|
| + Node* const context, Node* const iterator, Node* const sent_value,
|
| + Handle<Name> method_name, UndefinedMethodHandler&& if_method_undefined,
|
| + const char* operation_name, Label::Type reject_label_type,
|
| + Node* const initial_exception_value) {
|
| + Node* const native_context = LoadNativeContext(context);
|
| + Node* const promise = AllocateAndInitJSPromise(context);
|
| +
|
| + Variable var_exception(this, MachineRepresentation::kTagged,
|
| + initial_exception_value == nullptr
|
| + ? UndefinedConstant()
|
| + : initial_exception_value);
|
| + Label reject_promise(this, reject_label_type);
|
| +
|
| + ThrowIfNotAsyncFromSyncIterator(context, iterator, &reject_promise,
|
| + &var_exception, operation_name);
|
| +
|
| + Node* const sync_iterator =
|
| + LoadObjectField(iterator, JSAsyncFromSyncIterator::kSyncIteratorOffset);
|
| +
|
| + Node* const method = GetProperty(context, sync_iterator, method_name);
|
| +
|
| + if (if_method_undefined) {
|
| + Label if_isnotundefined(this);
|
| +
|
| + GotoIfNot(IsUndefined(method), &if_isnotundefined);
|
| + if_method_undefined(native_context, promise, &reject_promise);
|
| +
|
| + Bind(&if_isnotundefined);
|
| + }
|
| +
|
| + Node* const iter_result = CallJS(CodeFactory::Call(isolate()), context,
|
| + method, sync_iterator, sent_value);
|
| + GotoIfException(iter_result, &reject_promise, &var_exception);
|
| +
|
| + Node* value;
|
| + Node* done;
|
| + std::tie(value, done) = LoadIteratorResult(
|
| + context, native_context, iter_result, &reject_promise, &var_exception);
|
| + Node* const wrapper = AllocateAndInitJSPromise(context);
|
| +
|
| + // Perform ! Call(valueWrapperCapability.[[Resolve]], undefined, «
|
| + // throwValue »).
|
| + InternalResolvePromise(context, wrapper, value);
|
| +
|
| + // Let onFulfilled be a new built-in function object as defined in
|
| + // Async Iterator Value Unwrap Functions.
|
| + // Set onFulfilled.[[Done]] to throwDone.
|
| + Node* const on_fulfilled = CreateUnwrapClosure(native_context, done);
|
| +
|
| + // Perform ! PerformPromiseThen(valueWrapperCapability.[[Promise]],
|
| + // onFulfilled, undefined, promiseCapability).
|
| + Node* const undefined = UndefinedConstant();
|
| + InternalPerformPromiseThen(context, wrapper, on_fulfilled, undefined, promise,
|
| + undefined, undefined);
|
| + Return(promise);
|
| +
|
| + Bind(&reject_promise);
|
| + {
|
| + Node* const exception = var_exception.value();
|
| + InternalPromiseReject(context, promise, exception, TrueConstant());
|
| +
|
| + Return(promise);
|
| + }
|
| +}
|
| +
|
| +std::pair<Node*, Node*> AsyncFromSyncBuiltinsAssembler::LoadIteratorResult(
|
| + Node* const context, Node* const native_context, Node* const iter_result,
|
| + Label* if_exception, Variable* var_exception) {
|
| + Label if_fastpath(this), if_slowpath(this), merge(this), to_boolean(this),
|
| + done(this), if_notanobject(this, Label::kDeferred);
|
| + GotoIf(TaggedIsSmi(iter_result), &if_notanobject);
|
| +
|
| + Node* const iter_result_map = LoadMap(iter_result);
|
| + GotoIfNot(IsJSReceiverMap(iter_result_map), &if_notanobject);
|
| +
|
| + Node* const fast_iter_result_map =
|
| + LoadContextElement(native_context, Context::ITERATOR_RESULT_MAP_INDEX);
|
| +
|
| + Variable var_value(this, MachineRepresentation::kTagged);
|
| + Variable var_done(this, MachineRepresentation::kTagged);
|
| + Branch(WordEqual(iter_result_map, fast_iter_result_map), &if_fastpath,
|
| + &if_slowpath);
|
| +
|
| + Bind(&if_fastpath);
|
| + {
|
| + var_value.Bind(
|
| + LoadObjectField(iter_result, JSIteratorResult::kValueOffset));
|
| + var_done.Bind(LoadObjectField(iter_result, JSIteratorResult::kDoneOffset));
|
| + Goto(&merge);
|
| + }
|
| +
|
| + Bind(&if_slowpath);
|
| + {
|
| + // Let nextValue be IteratorValue(nextResult).
|
| + // IfAbruptRejectPromise(nextValue, promiseCapability).
|
| + Node* const value =
|
| + GetProperty(context, iter_result, factory()->value_string());
|
| + GotoIfException(value, if_exception, var_exception);
|
| +
|
| + // Let nextDone be IteratorComplete(nextResult).
|
| + // IfAbruptRejectPromise(nextDone, promiseCapability).
|
| + Node* const done =
|
| + GetProperty(context, iter_result, factory()->done_string());
|
| + GotoIfException(done, if_exception, var_exception);
|
| +
|
| + var_value.Bind(value);
|
| + var_done.Bind(done);
|
| + Goto(&merge);
|
| + }
|
| +
|
| + Bind(&if_notanobject);
|
| + {
|
| + // Sync iterator result is not an object --- Produce a TypeError and jump
|
| + // to the `if_exception` path.
|
| + Node* const error = MakeTypeError(
|
| + MessageTemplate::kIteratorResultNotAnObject, context, iter_result);
|
| + var_exception->Bind(error);
|
| + Goto(if_exception);
|
| + }
|
| +
|
| + Bind(&merge);
|
| + // Ensure `iterResult.done` is a Boolean.
|
| + GotoIf(TaggedIsSmi(var_done.value()), &to_boolean);
|
| + Branch(IsBoolean(var_done.value()), &done, &to_boolean);
|
| +
|
| + Bind(&to_boolean);
|
| + {
|
| + Node* const result =
|
| + CallStub(CodeFactory::ToBoolean(isolate()), context, var_done.value());
|
| + var_done.Bind(result);
|
| + Goto(&done);
|
| + }
|
| +
|
| + Bind(&done);
|
| + return std::make_pair(var_value.value(), var_done.value());
|
| +}
|
| +
|
| +Node* AsyncFromSyncBuiltinsAssembler::CreateUnwrapClosure(Node* native_context,
|
| + Node* done) {
|
| + Node* const map = LoadContextElement(
|
| + native_context, Context::STRICT_FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX);
|
| + Node* const on_fulfilled_shared = LoadContextElement(
|
| + native_context, Context::ASYNC_ITERATOR_VALUE_UNWRAP_SHARED_FUN);
|
| + CSA_ASSERT(this,
|
| + HasInstanceType(on_fulfilled_shared, SHARED_FUNCTION_INFO_TYPE));
|
| + Node* const closure_context =
|
| + AllocateAsyncIteratorValueUnwrapContext(native_context, done);
|
| + return AllocateFunctionWithMapAndContext(map, on_fulfilled_shared,
|
| + closure_context);
|
| +}
|
| +
|
| +Node* AsyncFromSyncBuiltinsAssembler::AllocateAsyncIteratorValueUnwrapContext(
|
| + Node* native_context, Node* done) {
|
| + CSA_ASSERT(this, IsNativeContext(native_context));
|
| + CSA_ASSERT(this, IsBoolean(done));
|
| +
|
| + Node* const context =
|
| + CreatePromiseContext(native_context, ValueUnwrapContext::kLength);
|
| + StoreContextElementNoWriteBarrier(context, ValueUnwrapContext::kDoneSlot,
|
| + done);
|
| + return context;
|
| +}
|
| +} // namespace
|
| +
|
| +// https://tc39.github.io/proposal-async-iteration/
|
| +// Section #sec-%asyncfromsynciteratorprototype%.next
|
| +TF_BUILTIN(AsyncFromSyncIteratorPrototypeNext, AsyncFromSyncBuiltinsAssembler) {
|
| + Node* const iterator = Parameter(0);
|
| + Node* const value = Parameter(1);
|
| + Node* const context = Parameter(4);
|
| +
|
| + Generate_AsyncFromSyncIteratorMethod(
|
| + context, iterator, value, factory()->next_string(),
|
| + UndefinedMethodHandler(), "[Async-from-Sync Iterator].prototype.next");
|
| +}
|
| +
|
| +// https://tc39.github.io/proposal-async-iteration/
|
| +// Section #sec-%asyncfromsynciteratorprototype%.return
|
| +TF_BUILTIN(AsyncFromSyncIteratorPrototypeReturn,
|
| + AsyncFromSyncBuiltinsAssembler) {
|
| + Node* const iterator = Parameter(0);
|
| + Node* const value = Parameter(1);
|
| + Node* const context = Parameter(4);
|
| +
|
| + auto if_return_undefined = [=](Node* const native_context,
|
| + Node* const promise, Label* if_exception) {
|
| + // If return is undefined, then
|
| + // Let iterResult be ! CreateIterResultObject(value, true)
|
| + Node* const iter_result =
|
| + CallStub(CodeFactory::CreateIterResultObject(isolate()), context, value,
|
| + TrueConstant());
|
| +
|
| + // Perform ! Call(promiseCapability.[[Resolve]], undefined, « iterResult »).
|
| + // IfAbruptRejectPromise(nextDone, promiseCapability).
|
| + // Return promiseCapability.[[Promise]].
|
| + PromiseFulfill(context, promise, iter_result, v8::Promise::kFulfilled);
|
| + Return(promise);
|
| + };
|
| +
|
| + Generate_AsyncFromSyncIteratorMethod(
|
| + context, iterator, value, factory()->return_string(), if_return_undefined,
|
| + "[Async-from-Sync Iterator].prototype.return");
|
| +}
|
| +
|
| +// https://tc39.github.io/proposal-async-iteration/
|
| +// Section #sec-%asyncfromsynciteratorprototype%.throw
|
| +TF_BUILTIN(AsyncFromSyncIteratorPrototypeThrow,
|
| + AsyncFromSyncBuiltinsAssembler) {
|
| + Node* const iterator = Parameter(0);
|
| + Node* const reason = Parameter(1);
|
| + Node* const context = Parameter(4);
|
| +
|
| + auto if_throw_undefined = [=](Node* const native_context, Node* const promise,
|
| + Label* if_exception) { Goto(if_exception); };
|
| +
|
| + Generate_AsyncFromSyncIteratorMethod(
|
| + context, iterator, reason, factory()->throw_string(), if_throw_undefined,
|
| + "[Async-from-Sync Iterator].prototype.throw", Label::kNonDeferred,
|
| + reason);
|
| +}
|
| +
|
| +TF_BUILTIN(AsyncIteratorValueUnwrap, AsyncFromSyncBuiltinsAssembler) {
|
| + Node* const value = Parameter(1);
|
| + Node* const context = Parameter(4);
|
| +
|
| + Node* const done = LoadContextElement(context, ValueUnwrapContext::kDoneSlot);
|
| + CSA_ASSERT(this, IsBoolean(done));
|
| +
|
| + Node* const unwrapped_value = CallStub(
|
| + CodeFactory::CreateIterResultObject(isolate()), context, value, done);
|
| +
|
| + Return(unwrapped_value);
|
| +}
|
| +
|
| +} // namespace internal
|
| +} // namespace v8
|
|
|