mirror of
https://github.com/LadybirdBrowser/ladybird.git
synced 2025-05-04 10:18:51 +00:00
4bdfe73895
Unlike the convoluted unwind-until-scope-type mechanism in the AST interpreter, "continue" maps to a simple Bytecode::Op::Jump here. :^) We know where to jump based on a stack of "continuable scopes" that we now maintain on the Bytecode::Generator as we go. Note that this only supports bare "continue", not continue-with-label.
48 lines
947 B
C++
48 lines
947 B
C++
/*
|
|
* Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <AK/OwnPtr.h>
|
|
#include <LibJS/Bytecode/Label.h>
|
|
#include <LibJS/Forward.h>
|
|
|
|
namespace JS::Bytecode {
|
|
|
|
class Generator {
|
|
public:
|
|
static OwnPtr<Block> generate(ASTNode const&);
|
|
|
|
Register allocate_register();
|
|
|
|
template<typename OpType, typename... Args>
|
|
OpType& emit(Args&&... args)
|
|
{
|
|
auto instruction = make<OpType>(forward<Args>(args)...);
|
|
auto* ptr = instruction.ptr();
|
|
append(move(instruction));
|
|
return *ptr;
|
|
}
|
|
|
|
Label make_label() const;
|
|
|
|
void begin_continuable_scope();
|
|
void end_continuable_scope();
|
|
|
|
Label nearest_continuable_scope() const;
|
|
|
|
private:
|
|
Generator();
|
|
~Generator();
|
|
|
|
void append(NonnullOwnPtr<Instruction>);
|
|
|
|
OwnPtr<Block> m_block;
|
|
u32 m_next_register { 1 };
|
|
Vector<Label> m_continuable_scopes;
|
|
};
|
|
|
|
}
|