1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-26 04:27:44 +00:00

LibJS+LibJIT: Add fast path for Int32 ^ Int32

This commit is contained in:
Andreas Kling 2023-11-03 08:54:50 +01:00
parent 3a5c177025
commit 0aeb83b03f
3 changed files with 56 additions and 1 deletions

View file

@ -525,6 +525,27 @@ struct Assembler {
} }
} }
void bitwise_xor32(Operand dst, Operand src)
{
if (dst.is_register_or_memory() && src.type == Operand::Type::Reg) {
emit_rex_for_mr(dst, src, REX_W::No);
emit8(0x31);
emit_modrm_mr(dst, src);
} else if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm && src.fits_in_i8()) {
emit_rex_for_slash(dst, REX_W::No);
emit8(0x83);
emit_modrm_slash(6, dst);
emit8(src.offset_or_immediate);
} else if (dst.type == Operand::Type::Reg && src.type == Operand::Type::Imm && src.fits_in_i32()) {
emit_rex_for_slash(dst, REX_W::No);
emit8(0x81);
emit_modrm_slash(6, dst);
emit32(src.offset_or_immediate);
} else {
VERIFY_NOT_REACHED();
}
}
void enter() void enter()
{ {
push(Operand::Register(Reg::RBP)); push(Operand::Register(Reg::RBP));

View file

@ -684,6 +684,41 @@ void Compiler::compile_bitwise_or(Bytecode::Op::BitwiseOr const& op)
end.link(m_assembler); end.link(m_assembler);
} }
static Value cxx_bitwise_xor(VM& vm, Value lhs, Value rhs)
{
return TRY_OR_SET_EXCEPTION(bitwise_xor(vm, lhs, rhs));
}
void Compiler::compile_bitwise_xor(Bytecode::Op::BitwiseXor const& op)
{
load_vm_register(ARG1, op.lhs());
load_accumulator(ARG2);
Assembler::Label end {};
branch_if_both_int32(ARG1, ARG2, [&] {
// ARG1 ^= ARG2 (32-bit)
m_assembler.bitwise_xor32(
Assembler::Operand::Register(ARG1),
Assembler::Operand::Register(ARG2));
// accumulator = ARG1 | SHIFTED_INT32_TAG;
m_assembler.mov(
Assembler::Operand::Register(GPR0),
Assembler::Operand::Imm(SHIFTED_INT32_TAG));
m_assembler.bitwise_or(
Assembler::Operand::Register(ARG1),
Assembler::Operand::Register(GPR0));
store_accumulator(ARG1);
m_assembler.jump(end);
});
native_call((void*)cxx_bitwise_xor);
store_accumulator(RET);
check_exception();
end.link(m_assembler);
}
static ThrowCompletionOr<Value> not_(VM&, Value value) static ThrowCompletionOr<Value> not_(VM&, Value value)
{ {
return Value(!value.to_boolean()); return Value(!value.to_boolean());

View file

@ -54,7 +54,6 @@ private:
O(LooselyEquals, abstract_equals) \ O(LooselyEquals, abstract_equals) \
O(StrictlyInequals, typed_inequals) \ O(StrictlyInequals, typed_inequals) \
O(StrictlyEquals, typed_equals) \ O(StrictlyEquals, typed_equals) \
O(BitwiseXor, bitwise_xor) \
O(LeftShift, left_shift) \ O(LeftShift, left_shift) \
O(RightShift, right_shift) \ O(RightShift, right_shift) \
O(UnsignedRightShift, unsigned_right_shift) O(UnsignedRightShift, unsigned_right_shift)