mirror of
https://github.com/RGBCube/serenity
synced 2025-05-20 17:35:07 +00:00
101 lines
3.9 KiB
C++
101 lines
3.9 KiB
C++
/*
|
|
* Copyright (c) 2023, Andreas Kling <kling@serenityos.org>
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <LibJS/Bytecode/Executable.h>
|
|
#include <LibJS/Bytecode/Op.h>
|
|
#include <LibJS/JIT/Assembler.h>
|
|
#include <LibJS/JIT/NativeExecutable.h>
|
|
|
|
namespace JS::JIT {
|
|
|
|
class Compiler {
|
|
public:
|
|
static OwnPtr<NativeExecutable> compile(Bytecode::Executable&);
|
|
|
|
private:
|
|
static constexpr auto GPR0 = Assembler::Reg::RAX;
|
|
static constexpr auto GPR1 = Assembler::Reg::RCX;
|
|
static constexpr auto ARG0 = Assembler::Reg::RDI;
|
|
static constexpr auto ARG1 = Assembler::Reg::RSI;
|
|
static constexpr auto ARG2 = Assembler::Reg::RDX;
|
|
static constexpr auto ARG3 = Assembler::Reg::RCX;
|
|
static constexpr auto ARG4 = Assembler::Reg::R8;
|
|
static constexpr auto ARG5 = Assembler::Reg::R9;
|
|
static constexpr auto RET = Assembler::Reg::RAX;
|
|
static constexpr auto STACK_POINTER = Assembler::Reg::RSP;
|
|
static constexpr auto REGISTER_ARRAY_BASE = Assembler::Reg::R13;
|
|
static constexpr auto LOCALS_ARRAY_BASE = Assembler::Reg::R14;
|
|
static constexpr auto UNWIND_CONTEXT_BASE = Assembler::Reg::R15;
|
|
|
|
void compile_load_immediate(Bytecode::Op::LoadImmediate const&);
|
|
void compile_load(Bytecode::Op::Load const&);
|
|
void compile_store(Bytecode::Op::Store const&);
|
|
void compile_get_local(Bytecode::Op::GetLocal const&);
|
|
void compile_set_local(Bytecode::Op::SetLocal const&);
|
|
void compile_jump(Bytecode::Op::Jump const&);
|
|
void compile_jump_conditional(Bytecode::Op::JumpConditional const&);
|
|
void compile_increment(Bytecode::Op::Increment const&);
|
|
void compile_decrement(Bytecode::Op::Decrement const&);
|
|
void compile_enter_unwind_context(Bytecode::Op::EnterUnwindContext const&);
|
|
void compile_leave_unwind_context(Bytecode::Op::LeaveUnwindContext const&);
|
|
void compile_throw(Bytecode::Op::Throw const&);
|
|
void compile_to_numeric(Bytecode::Op::ToNumeric const&);
|
|
void compile_resolve_this_binding(Bytecode::Op::ResolveThisBinding const&);
|
|
|
|
#define DO_COMPILE_COMMON_BINARY_OP(OpTitleCase, op_snake_case) \
|
|
void compile_##op_snake_case(Bytecode::Op::OpTitleCase const&);
|
|
|
|
JS_ENUMERATE_COMMON_BINARY_OPS(DO_COMPILE_COMMON_BINARY_OP)
|
|
#undef DO_COMPILE_COMMON_BINARY_OP
|
|
|
|
#define DO_COMPILE_COMMON_UNARY_OP(OpTitleCase, op_snake_case) \
|
|
void compile_##op_snake_case(Bytecode::Op::OpTitleCase const&);
|
|
|
|
JS_ENUMERATE_COMMON_UNARY_OPS(DO_COMPILE_COMMON_UNARY_OP)
|
|
#undef DO_COMPILE_COMMON_UNARY_OP
|
|
|
|
void compile_return(Bytecode::Op::Return const&);
|
|
void compile_new_string(Bytecode::Op::NewString const&);
|
|
void compile_new_object(Bytecode::Op::NewObject const&);
|
|
void compile_new_array(Bytecode::Op::NewArray const&);
|
|
void compile_new_function(Bytecode::Op::NewFunction const&);
|
|
|
|
void compile_get_by_id(Bytecode::Op::GetById const&);
|
|
void compile_get_by_value(Bytecode::Op::GetByValue const&);
|
|
void compile_get_global(Bytecode::Op::GetGlobal const&);
|
|
|
|
void compile_put_by_id(Bytecode::Op::PutById const&);
|
|
|
|
void compile_call(Bytecode::Op::Call const&);
|
|
void compile_typeof_variable(Bytecode::Op::TypeofVariable const&);
|
|
void compile_set_variable(Bytecode::Op::SetVariable const&);
|
|
|
|
void store_vm_register(Bytecode::Register, Assembler::Reg);
|
|
void load_vm_register(Assembler::Reg, Bytecode::Register);
|
|
|
|
void store_vm_local(size_t, Assembler::Reg);
|
|
void load_vm_local(Assembler::Reg, size_t);
|
|
|
|
void compile_to_boolean(Assembler::Reg dst, Assembler::Reg src);
|
|
|
|
void check_exception();
|
|
|
|
void push_unwind_context(bool valid, Optional<Bytecode::Label> const& handler, Optional<Bytecode::Label> const& finalizer);
|
|
void pop_unwind_context();
|
|
|
|
explicit Compiler(Bytecode::Executable& bytecode_executable)
|
|
: m_bytecode_executable(bytecode_executable)
|
|
{
|
|
}
|
|
|
|
Vector<u8> m_output;
|
|
Assembler m_assembler { m_output };
|
|
Bytecode::Executable& m_bytecode_executable;
|
|
};
|
|
|
|
}
|