| Index: src/parsing/parser.cc
|
| diff --git a/src/parsing/parser.cc b/src/parsing/parser.cc
|
| index 49d63d518f25527f3a9733c4b84b770bdb1cf5c3..56e3e0a7c89d97328dd18efe41c5775fcc57a234 100644
|
| --- a/src/parsing/parser.cc
|
| +++ b/src/parsing/parser.cc
|
| @@ -4560,46 +4560,21 @@
|
|
|
| Expression* Parser::RewriteAwaitExpression(Expression* value, int await_pos) {
|
| // yield do {
|
| - // promise_tmp = .promise;
|
| // tmp = <operand>;
|
| - // %AsyncFunctionAwait(.generator_object, tmp);
|
| - // promise_tmp
|
| + // tmp = %AsyncFunctionAwait(.generator_object, tmp);
|
| // }
|
| - // The value of the expression is returned to the caller of the async
|
| - // function for the first yield statement; for this, .promise is the
|
| - // appropriate return value, being a Promise that will be fulfilled or
|
| - // rejected with the appropriate value by the desugaring. Subsequent yield
|
| - // occurrences will return to the AsyncFunctionNext call within the
|
| - // implemementation of the intermediate throwaway Promise's then handler.
|
| - // This handler has nothing useful to do with the value, as the Promise is
|
| - // ignored. If we yielded the value of the throwawayPromise that
|
| - // AsyncFunctionAwait creates as an intermediate, it would create a memory
|
| - // leak; we must return .promise instead;
|
| - // The operand needs to be evaluated on a separate statement in order to get
|
| - // a break location, and the .promise needs to be read earlier so that it
|
| - // doesn't insert a false location.
|
| - // TODO(littledan): investigate why this ordering is needed in more detail.
|
| Variable* generator_object_variable =
|
| function_state_->generator_object_variable();
|
|
|
| // If generator_object_variable is null,
|
| - // TODO(littledan): Is this necessary?
|
| if (!generator_object_variable) return value;
|
|
|
| const int nopos = kNoSourcePosition;
|
|
|
| - Block* do_block = factory()->NewBlock(nullptr, 3, false, nopos);
|
| -
|
| - Variable* promise_temp_var =
|
| - NewTemporary(ast_value_factory()->empty_string());
|
| - Expression* promise_assignment = factory()->NewAssignment(
|
| - Token::ASSIGN, factory()->NewVariableProxy(promise_temp_var),
|
| - BuildDotPromise(), nopos);
|
| - do_block->statements()->Add(
|
| - factory()->NewExpressionStatement(promise_assignment, nopos), zone());
|
| + Variable* temp_var = NewTemporary(ast_value_factory()->empty_string());
|
| + Block* do_block = factory()->NewBlock(nullptr, 2, false, nopos);
|
|
|
| // Wrap value evaluation to provide a break location.
|
| - Variable* temp_var = NewTemporary(ast_value_factory()->empty_string());
|
| Expression* value_assignment = factory()->NewAssignment(
|
| Token::ASSIGN, factory()->NewVariableProxy(temp_var), value, nopos);
|
| do_block->statements()->Add(
|
| @@ -4619,13 +4594,14 @@
|
| Expression* async_function_await =
|
| factory()->NewCallRuntime(Context::ASYNC_FUNCTION_AWAIT_CAUGHT_INDEX,
|
| async_function_await_args, nopos);
|
| +
|
| + // Wrap await to provide a break location between value evaluation and yield.
|
| + Expression* await_assignment = factory()->NewAssignment(
|
| + Token::ASSIGN, factory()->NewVariableProxy(temp_var),
|
| + async_function_await, nopos);
|
| do_block->statements()->Add(
|
| - factory()->NewExpressionStatement(async_function_await, await_pos),
|
| - zone());
|
| -
|
| - // Wrap await to provide a break location between value evaluation and yield.
|
| - Expression* do_expr =
|
| - factory()->NewDoExpression(do_block, promise_temp_var, nopos);
|
| + factory()->NewExpressionStatement(await_assignment, await_pos), zone());
|
| + Expression* do_expr = factory()->NewDoExpression(do_block, temp_var, nopos);
|
|
|
| generator_object = factory()->NewVariableProxy(generator_object_variable);
|
| return factory()->NewYield(generator_object, do_expr, nopos,
|
|
|