xref: /arkcompiler/ets_frontend/ets2panda/compiler/function/asyncGeneratorFunctionBuilder.cpp

/**
 * Copyright (c) 2021-2024 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#include "asyncGeneratorFunctionBuilder.h"

#include "compiler/base/catchTable.h"
#include "compiler/core/pandagen.h"
#include "ir/base/scriptFunction.h"

namespace ark::es2panda::compiler {
void AsyncGeneratorFunctionBuilder::Prepare(const ir::ScriptFunction *node) const
{
    VReg callee = FunctionReg(node);

    pg_->CreateAsyncGeneratorObj(node, callee);
    pg_->StoreAccumulator(node, funcObj_);
    pg_->SuspendGenerator(node, funcObj_);
    pg_->SetLabel(node, catchTable_->LabelSet().TryBegin());
}

void AsyncGeneratorFunctionBuilder::CleanUp(const ir::ScriptFunction *node) const
{
    const auto &labelSet = catchTable_->LabelSet();

    pg_->SetLabel(node, labelSet.TryEnd());
    pg_->SetLabel(node, labelSet.CatchBegin());
    pg_->AsyncGeneratorReject(node, funcObj_);
    pg_->EmitReturn(node);
    pg_->SetLabel(node, labelSet.CatchEnd());
}

void AsyncGeneratorFunctionBuilder::DirectReturn(const ir::AstNode *node) const
{
    pg_->AsyncGeneratorResolve(node, funcObj_);
    pg_->EmitReturn(node);
}

void AsyncGeneratorFunctionBuilder::ImplicitReturn(const ir::AstNode *node) const
{
    pg_->LoadConst(node, Constant::JS_UNDEFINED);
    DirectReturn(node);
}

void AsyncGeneratorFunctionBuilder::Yield(const ir::AstNode *node)
{
    Await(node);

    RegScope rs(pg_);
    VReg completionType = pg_->AllocReg();
    VReg completionValue = pg_->AllocReg();

    AsyncYield(node, completionType, completionValue);

    auto *notReturnCompletion = pg_->AllocLabel();
    auto *normalCompletion = pg_->AllocLabel();
    auto *notThrowCompletion = pg_->AllocLabel();
    if (notReturnCompletion == nullptr || normalCompletion == nullptr || notThrowCompletion == nullptr) {
        // NOTE(ipetrov): maybe need to change it
        return;
    }

    // 27.6.3.8.8.a. If resumptionValue.[[Type]] is not return
    pg_->LoadAccumulatorInt(node, static_cast<int32_t>(ResumeMode::RETURN));
    pg_->Condition(node, lexer::TokenType::PUNCTUATOR_EQUAL, completionType, notReturnCompletion);
    // 27.6.3.8.8.b. Let awaited be Await(resumptionValue.[[Value]]).
    pg_->LoadAccumulator(node, completionValue);
    pg_->AsyncFunctionAwait(node, funcObj_);
    SuspendResumeExecution(node, completionType, completionValue);

    // 27.6.3.8.8.c. If awaited.[[Type]] is throw, return Completion(awaited).
    pg_->LoadAccumulatorInt(node, static_cast<int32_t>(ResumeMode::THROW));

    pg_->Condition(node, lexer::TokenType::PUNCTUATOR_EQUAL, completionType, normalCompletion);
    pg_->LoadAccumulator(node, completionValue);
    pg_->EmitThrow(node);

    pg_->SetLabel(node, normalCompletion);
    // 27.6.3.8.8.d. Assert: awaited.[[Type]] is normal.
    // 27.6.3.8.8.e. Return Completion { [[Type]]: return, [[Value]]: awaited.[[Value]], [[Target]]: empty }.
    pg_->ControlFlowChangeBreak();
    pg_->LoadAccumulator(node, completionValue);
    pg_->DirectReturn(node);

    pg_->SetLabel(node, notReturnCompletion);
    // 27.6.3.8.8.a. return Completion(resumptionValue).
    pg_->LoadAccumulatorInt(node, static_cast<int32_t>(ResumeMode::THROW));
    pg_->Condition(node, lexer::TokenType::PUNCTUATOR_EQUAL, completionType, notThrowCompletion);
    pg_->LoadAccumulator(node, completionValue);
    pg_->EmitThrow(node);
    pg_->SetLabel(node, notThrowCompletion);
    pg_->LoadAccumulator(node, completionValue);
}

IteratorType AsyncGeneratorFunctionBuilder::GeneratorKind() const
{
    return IteratorType::ASYNC;
}
}  // namespace ark::es2panda::compiler