RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-27 09:37:34 +00:00
Code Issues Activity Actions

LibJIT: Support unordered double comparison

Browse source
This commit is contained in:
Simon Wanner 2023-11-09 22:32:08 +01:00 • committed by Andreas Kling
parent a698c51a5b
commit 578912aa6c
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
Userland/Libraries/LibJIT/X86_64/Assembler.h
View file

@ -135,10 +135,15 @@ struct X86_64Assembler {
UnsignedGreaterThanOrEqualTo = 0x3, UnsignedGreaterThanOrEqualTo = 0x3,
UnsignedLessThan = 0x2, UnsignedLessThan = 0x2,
UnsignedLessThanOrEqualTo = 0x6, UnsignedLessThanOrEqualTo = 0x6,
ParityEven = 0xA,
ParityOdd = 0xB,
SignedGreaterThan = 0xF, SignedGreaterThan = 0xF,
SignedGreaterThanOrEqualTo = 0xD, SignedGreaterThanOrEqualTo = 0xD,
SignedLessThan = 0xC, SignedLessThan = 0xC,
SignedLessThanOrEqualTo = 0xE, SignedLessThanOrEqualTo = 0xE,
Unordered = ParityEven,
NotUnordered = ParityOdd,
}; };
static constexpr u8 encode_reg(Reg reg) static constexpr u8 encode_reg(Reg reg)
@ -521,6 +526,13 @@ struct X86_64Assembler {
emit8(0x81); emit8(0x81);
emit_modrm_slash(7, lhs); emit_modrm_slash(7, lhs);
emit32(rhs.offset_or_immediate); emit32(rhs.offset_or_immediate);
} else if (lhs.type == Operand::Type::FReg && (rhs.type == Operand::Type::FReg || rhs.type == Operand::Type::Mem64BaseAndOffset)) {
// ucomisd lhs, rhs
emit8(0x66);
emit_rex_for_mr(lhs, rhs, REX_W::No);
emit8(0x0f);
emit8(0x2e);
emit_modrm_mr(lhs, rhs);
} else { } else {
VERIFY_NOT_REACHED(); VERIFY_NOT_REACHED();
} }