2023-10-14 14:37:48 +02:00
|
|
|
|
/*
|
|
|
|
|
* Copyright (c) 2023, Andreas Kling <kling@serenityos.org>
|
|
|
|
|
*
|
|
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
|
|
#include <AK/Vector.h>
|
|
|
|
|
#include <LibJS/Bytecode/BasicBlock.h>
|
|
|
|
|
|
|
|
|
|
namespace JS::JIT {
|
|
|
|
|
|
|
|
|
|
struct Assembler {
|
|
|
|
|
Assembler(Vector<u8>& output)
|
|
|
|
|
: m_output(output)
|
|
|
|
|
{
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Vector<u8>& m_output;
|
|
|
|
|
|
|
|
|
|
enum class Reg {
|
2023-10-16 15:21:31 +02:00
|
|
|
|
RAX = 0,
|
|
|
|
|
RCX = 1,
|
|
|
|
|
RDX = 2,
|
|
|
|
|
RBX = 3,
|
|
|
|
|
RSP = 4,
|
|
|
|
|
RBP = 5,
|
|
|
|
|
RSI = 6,
|
|
|
|
|
RDI = 7,
|
|
|
|
|
R8 = 8,
|
|
|
|
|
R9 = 9,
|
|
|
|
|
R10 = 10,
|
|
|
|
|
R11 = 11,
|
|
|
|
|
R12 = 12,
|
|
|
|
|
R13 = 13,
|
|
|
|
|
R14 = 14,
|
|
|
|
|
R15 = 15,
|
2023-10-14 14:37:48 +02:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
struct Operand {
|
|
|
|
|
enum class Type {
|
|
|
|
|
Reg,
|
2023-10-15 18:23:16 +02:00
|
|
|
|
Imm8,
|
|
|
|
|
Imm32,
|
2023-10-14 14:37:48 +02:00
|
|
|
|
Imm64,
|
|
|
|
|
Mem64BaseAndOffset,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
Type type {};
|
|
|
|
|
|
|
|
|
|
Reg reg {};
|
|
|
|
|
u64 offset_or_immediate { 0 };
|
|
|
|
|
|
|
|
|
|
static Operand Register(Reg reg)
|
|
|
|
|
{
|
|
|
|
|
Operand operand;
|
|
|
|
|
operand.type = Type::Reg;
|
|
|
|
|
operand.reg = reg;
|
|
|
|
|
return operand;
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-15 18:23:16 +02:00
|
|
|
|
static Operand Imm8(u8 imm8)
|
|
|
|
|
{
|
|
|
|
|
Operand operand;
|
|
|
|
|
operand.type = Type::Imm8;
|
|
|
|
|
operand.offset_or_immediate = imm8;
|
|
|
|
|
return operand;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static Operand Imm32(u32 imm32)
|
|
|
|
|
{
|
|
|
|
|
Operand operand;
|
|
|
|
|
operand.type = Type::Imm32;
|
|
|
|
|
operand.offset_or_immediate = imm32;
|
|
|
|
|
return operand;
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-14 14:37:48 +02:00
|
|
|
|
static Operand Imm64(u64 imm64)
|
|
|
|
|
{
|
|
|
|
|
Operand operand;
|
|
|
|
|
operand.type = Type::Imm64;
|
|
|
|
|
operand.offset_or_immediate = imm64;
|
|
|
|
|
return operand;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static Operand Mem64BaseAndOffset(Reg base, u64 offset)
|
|
|
|
|
{
|
|
|
|
|
Operand operand;
|
|
|
|
|
operand.type = Type::Mem64BaseAndOffset;
|
|
|
|
|
operand.reg = base;
|
|
|
|
|
operand.offset_or_immediate = offset;
|
|
|
|
|
return operand;
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
static constexpr u8 encode_reg(Reg reg)
|
|
|
|
|
{
|
|
|
|
|
return to_underlying(reg) & 0x7;
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-15 18:23:16 +02:00
|
|
|
|
void shift_right(Operand dst, Operand count)
|
|
|
|
|
{
|
|
|
|
|
VERIFY(dst.type == Operand::Type::Reg);
|
|
|
|
|
VERIFY(count.type == Operand::Type::Imm8);
|
|
|
|
|
emit8(0x48 | ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0xc1);
|
|
|
|
|
emit8(0xe8 | encode_reg(dst.reg));
|
|
|
|
|
emit8(count.offset_or_immediate);
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-14 14:37:48 +02:00
|
|
|
|
void mov(Operand dst, Operand src)
|
|
|
|
|
{
|
|
|
|
|
if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Reg) {
|
|
|
|
|
if (src.reg == dst.reg)
|
|
|
|
|
return;
|
|
|
|
|
emit8(0x48
|
|
|
|
|
| ((to_underlying(src.reg) >= 8) ? 1 << 2 : 0)
|
|
|
|
|
| ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x89);
|
|
|
|
|
emit8(0xc0 | (encode_reg(src.reg) << 3) | encode_reg(dst.reg));
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm64) {
|
|
|
|
|
emit8(0x48 | ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0xb8 | encode_reg(dst.reg));
|
|
|
|
|
emit64(src.offset_or_immediate);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (dst.type == Operand::Type::Mem64BaseAndOffset && src.type == Operand::Type::Reg) {
|
|
|
|
|
emit8(0x48
|
|
|
|
|
| ((to_underlying(src.reg) >= 8) ? 1 << 2 : 0)
|
|
|
|
|
| ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x89);
|
|
|
|
|
emit8(0x80 | (encode_reg(src.reg) << 3) | encode_reg(dst.reg));
|
|
|
|
|
emit32(dst.offset_or_immediate);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Mem64BaseAndOffset) {
|
|
|
|
|
emit8(0x48
|
|
|
|
|
| ((to_underlying(dst.reg) >= 8) ? 1 << 2 : 0)
|
|
|
|
|
| ((to_underlying(src.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x8b);
|
|
|
|
|
emit8(0x80 | (encode_reg(dst.reg) << 3) | encode_reg(src.reg));
|
|
|
|
|
emit32(src.offset_or_immediate);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
VERIFY_NOT_REACHED();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void emit8(u8 value)
|
|
|
|
|
{
|
|
|
|
|
m_output.append(value);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void emit32(u32 value)
|
|
|
|
|
{
|
|
|
|
|
m_output.append((value >> 0) & 0xff);
|
|
|
|
|
m_output.append((value >> 8) & 0xff);
|
|
|
|
|
m_output.append((value >> 16) & 0xff);
|
|
|
|
|
m_output.append((value >> 24) & 0xff);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void emit64(u64 value)
|
|
|
|
|
{
|
|
|
|
|
m_output.append((value >> 0) & 0xff);
|
|
|
|
|
m_output.append((value >> 8) & 0xff);
|
|
|
|
|
m_output.append((value >> 16) & 0xff);
|
|
|
|
|
m_output.append((value >> 24) & 0xff);
|
|
|
|
|
m_output.append((value >> 32) & 0xff);
|
|
|
|
|
m_output.append((value >> 40) & 0xff);
|
|
|
|
|
m_output.append((value >> 48) & 0xff);
|
|
|
|
|
m_output.append((value >> 56) & 0xff);
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-15 18:23:16 +02:00
|
|
|
|
struct Label {
|
|
|
|
|
size_t offset_in_instruction_stream { 0 };
|
|
|
|
|
|
|
|
|
|
void link(Assembler& assembler)
|
|
|
|
|
{
|
|
|
|
|
auto offset = assembler.m_output.size() - offset_in_instruction_stream;
|
|
|
|
|
auto jump_slot = offset_in_instruction_stream - 4;
|
|
|
|
|
assembler.m_output[jump_slot + 0] = (offset >> 0) & 0xff;
|
|
|
|
|
assembler.m_output[jump_slot + 1] = (offset >> 8) & 0xff;
|
|
|
|
|
assembler.m_output[jump_slot + 2] = (offset >> 16) & 0xff;
|
|
|
|
|
assembler.m_output[jump_slot + 3] = (offset >> 24) & 0xff;
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
[[nodiscard]] Label make_label()
|
|
|
|
|
{
|
|
|
|
|
return { .offset_in_instruction_stream = m_output.size() };
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
[[nodiscard]] Label jump()
|
|
|
|
|
{
|
|
|
|
|
// jmp target (RIP-relative 32-bit offset)
|
|
|
|
|
emit8(0xe9);
|
|
|
|
|
emit32(0xdeadbeef);
|
|
|
|
|
return make_label();
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-14 14:37:48 +02:00
|
|
|
|
void jump(Bytecode::BasicBlock& target)
|
|
|
|
|
{
|
|
|
|
|
// jmp target (RIP-relative 32-bit offset)
|
|
|
|
|
emit8(0xe9);
|
|
|
|
|
target.jumps_to_here.append(m_output.size());
|
|
|
|
|
emit32(0xdeadbeef);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void jump_conditional(Reg reg, Bytecode::BasicBlock& true_target, Bytecode::BasicBlock& false_target)
|
|
|
|
|
{
|
|
|
|
|
// if (reg & 1) is 0, jump to false_target, else jump to true_target
|
|
|
|
|
// test reg, 1
|
|
|
|
|
emit8(0x48 | ((to_underlying(reg) >= 8) ? 1 << 2 : 0));
|
|
|
|
|
emit8(0xf7);
|
|
|
|
|
emit8(0xc0 | encode_reg(reg));
|
|
|
|
|
emit32(0x01);
|
|
|
|
|
|
|
|
|
|
// jz false_target (RIP-relative 32-bit offset)
|
|
|
|
|
emit8(0x0f);
|
|
|
|
|
emit8(0x84);
|
|
|
|
|
false_target.jumps_to_here.append(m_output.size());
|
|
|
|
|
emit32(0xdeadbeef);
|
|
|
|
|
|
|
|
|
|
// jmp true_target (RIP-relative 32-bit offset)
|
|
|
|
|
jump(true_target);
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-17 18:03:17 +02:00
|
|
|
|
void cmp(Operand lhs, Operand rhs)
|
2023-10-15 18:23:16 +02:00
|
|
|
|
{
|
|
|
|
|
if (lhs.type == Operand::Type::Reg && rhs.type == Operand::Type::Reg) {
|
|
|
|
|
emit8(0x48
|
|
|
|
|
| ((to_underlying(lhs.reg) >= 8) ? 1 << 2 : 0)
|
|
|
|
|
| ((to_underlying(rhs.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x39);
|
|
|
|
|
emit8(0xc0 | (encode_reg(lhs.reg) << 3) | encode_reg(rhs.reg));
|
|
|
|
|
} else if (lhs.type == Operand::Type::Reg && rhs.type == Operand::Type::Imm32) {
|
|
|
|
|
emit8(0x48 | ((to_underlying(lhs.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x81);
|
|
|
|
|
emit8(0xf8 | encode_reg(lhs.reg));
|
|
|
|
|
emit32(rhs.offset_or_immediate);
|
|
|
|
|
} else {
|
|
|
|
|
VERIFY_NOT_REACHED();
|
|
|
|
|
}
|
2023-10-17 18:03:17 +02:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void jump_if_equal(Operand lhs, Operand rhs, Label& label)
|
|
|
|
|
{
|
|
|
|
|
cmp(lhs, rhs);
|
|
|
|
|
|
|
|
|
|
// je label (RIP-relative 32-bit offset)
|
|
|
|
|
emit8(0x0f);
|
|
|
|
|
emit8(0x84);
|
|
|
|
|
emit32(0xdeadbeef);
|
|
|
|
|
label.offset_in_instruction_stream = m_output.size();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void jump_if_not_equal(Operand lhs, Operand rhs, Label& label)
|
|
|
|
|
{
|
|
|
|
|
cmp(lhs, rhs);
|
2023-10-15 18:23:16 +02:00
|
|
|
|
|
|
|
|
|
// jne label (RIP-relative 32-bit offset)
|
|
|
|
|
emit8(0x0f);
|
|
|
|
|
emit8(0x85);
|
|
|
|
|
emit32(0xdeadbeef);
|
|
|
|
|
label.offset_in_instruction_stream = m_output.size();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void bitwise_and(Operand dst, Operand src)
|
|
|
|
|
{
|
|
|
|
|
// and dst,src
|
|
|
|
|
if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Reg) {
|
|
|
|
|
emit8(0x48
|
|
|
|
|
| ((to_underlying(dst.reg) >= 8) ? 1 << 2 : 0)
|
|
|
|
|
| ((to_underlying(src.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x21);
|
|
|
|
|
emit8(0xc0 | (encode_reg(dst.reg) << 3) | encode_reg(src.reg));
|
|
|
|
|
} else if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm32) {
|
|
|
|
|
emit8(0x48 | ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x81);
|
|
|
|
|
emit8(0xe0 | encode_reg(dst.reg));
|
|
|
|
|
emit32(src.offset_or_immediate);
|
|
|
|
|
} else {
|
|
|
|
|
VERIFY_NOT_REACHED();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-14 14:37:48 +02:00
|
|
|
|
void exit()
|
|
|
|
|
{
|
|
|
|
|
// ret
|
|
|
|
|
emit8(0xc3);
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-16 15:27:06 +02:00
|
|
|
|
void push(Operand op)
|
|
|
|
|
{
|
|
|
|
|
if (op.type == Operand::Type::Reg) {
|
|
|
|
|
if (to_underlying(op.reg) >= 8)
|
|
|
|
|
emit8(0x49);
|
|
|
|
|
emit8(0x50 | encode_reg(op.reg));
|
|
|
|
|
} else {
|
|
|
|
|
VERIFY_NOT_REACHED();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void pop(Operand op)
|
|
|
|
|
{
|
|
|
|
|
if (op.type == Operand::Type::Reg) {
|
|
|
|
|
if (to_underlying(op.reg) >= 8)
|
|
|
|
|
emit8(0x49);
|
|
|
|
|
emit8(0x58 | encode_reg(op.reg));
|
|
|
|
|
} else {
|
|
|
|
|
VERIFY_NOT_REACHED();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-16 15:32:13 +02:00
|
|
|
|
void add(Operand dst, Operand src)
|
|
|
|
|
{
|
|
|
|
|
if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Reg) {
|
|
|
|
|
emit8(0x48
|
|
|
|
|
| ((to_underlying(dst.reg) >= 8) ? 1 << 2 : 0)
|
|
|
|
|
| ((to_underlying(src.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x01);
|
|
|
|
|
emit8(0xc0 | (encode_reg(dst.reg) << 3) | encode_reg(src.reg));
|
|
|
|
|
} else if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm32) {
|
|
|
|
|
emit8(0x48 | ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x81);
|
|
|
|
|
emit8(0xc0 | encode_reg(dst.reg));
|
|
|
|
|
emit32(src.offset_or_immediate);
|
|
|
|
|
} else if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm8) {
|
|
|
|
|
emit8(0x48 | ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x83);
|
|
|
|
|
emit8(0xc0 | encode_reg(dst.reg));
|
|
|
|
|
emit8(src.offset_or_immediate);
|
|
|
|
|
} else {
|
|
|
|
|
VERIFY_NOT_REACHED();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void sub(Operand dst, Operand src)
|
|
|
|
|
{
|
|
|
|
|
if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Reg) {
|
|
|
|
|
emit8(0x48
|
|
|
|
|
| ((to_underlying(dst.reg) >= 8) ? 1 << 2 : 0)
|
|
|
|
|
| ((to_underlying(src.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x29);
|
|
|
|
|
emit8(0xc0 | (encode_reg(dst.reg) << 3) | encode_reg(src.reg));
|
|
|
|
|
} else if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm32) {
|
|
|
|
|
emit8(0x48 | ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x81);
|
|
|
|
|
emit8(0xe8 | encode_reg(dst.reg));
|
|
|
|
|
emit32(src.offset_or_immediate);
|
|
|
|
|
} else if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm8) {
|
|
|
|
|
emit8(0x48 | ((to_underlying(dst.reg) >= 8) ? 1 << 0 : 0));
|
|
|
|
|
emit8(0x83);
|
|
|
|
|
emit8(0xe8 | encode_reg(dst.reg));
|
|
|
|
|
emit8(src.offset_or_immediate);
|
|
|
|
|
} else {
|
|
|
|
|
VERIFY_NOT_REACHED();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-14 14:37:48 +02:00
|
|
|
|
void native_call(void* callee)
|
|
|
|
|
{
|
|
|
|
|
// push caller-saved registers on the stack
|
|
|
|
|
// (callee-saved registers: RBX, RSP, RBP, and R12–R15)
|
2023-10-16 15:27:06 +02:00
|
|
|
|
push(Operand::Register(Reg::RCX));
|
|
|
|
|
push(Operand::Register(Reg::RDX));
|
|
|
|
|
push(Operand::Register(Reg::RSI));
|
|
|
|
|
push(Operand::Register(Reg::RDI));
|
|
|
|
|
push(Operand::Register(Reg::R8));
|
|
|
|
|
push(Operand::Register(Reg::R9));
|
|
|
|
|
push(Operand::Register(Reg::R10));
|
|
|
|
|
push(Operand::Register(Reg::R11));
|
2023-10-14 14:37:48 +02:00
|
|
|
|
|
|
|
|
|
// align the stack to 16-byte boundary
|
2023-10-16 15:32:13 +02:00
|
|
|
|
sub(Operand::Register(Reg::RSP), Operand::Imm8(8));
|
2023-10-14 14:37:48 +02:00
|
|
|
|
|
2023-10-16 15:36:18 +02:00
|
|
|
|
// load callee into RAX
|
|
|
|
|
mov(Operand::Register(Reg::RAX), Operand::Imm64(bit_cast<u64>(callee)));
|
|
|
|
|
|
|
|
|
|
// call RAX
|
2023-10-14 14:37:48 +02:00
|
|
|
|
emit8(0xff);
|
|
|
|
|
emit8(0xd0);
|
|
|
|
|
|
|
|
|
|
// adjust stack pointer
|
2023-10-16 15:32:13 +02:00
|
|
|
|
add(Operand::Register(Reg::RSP), Operand::Imm8(8));
|
2023-10-14 14:37:48 +02:00
|
|
|
|
|
|
|
|
|
// restore caller-saved registers from the stack
|
2023-10-16 15:27:06 +02:00
|
|
|
|
pop(Operand::Register(Reg::R11));
|
|
|
|
|
pop(Operand::Register(Reg::R10));
|
|
|
|
|
pop(Operand::Register(Reg::R9));
|
|
|
|
|
pop(Operand::Register(Reg::R8));
|
|
|
|
|
pop(Operand::Register(Reg::RDI));
|
|
|
|
|
pop(Operand::Register(Reg::RSI));
|
|
|
|
|
pop(Operand::Register(Reg::RDX));
|
|
|
|
|
pop(Operand::Register(Reg::RCX));
|
2023-10-14 14:37:48 +02:00
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
}
|