bool BPLRelInstr::exp(asmjit::X86Assembler& a, MemoryMapper& m) {
auto Set = a.newLabel();
a.bt(REG_S, S_NEGATIVE);
a.jc(Set);
a.mov(asmjit::x86::di, this->next + this->target);
a.jmp((uint64_t)&jit_and_jump);
a.bind(Set);
a.mov(asmjit::x86::di, this->next);
a.jmp((uint64_t)&jit_and_jump);
return false;
}
bool BEQRelInstr::exp(asmjit::X86Assembler& a, MemoryMapper& m) {
auto NotSet = a.newLabel();
a.bt(REG_S, S_ZERO);
a.jnc(NotSet);
a.mov(asmjit::x86::di, this->next + this->target);
a.jmp((uint64_t)&jit_and_jump);
a.bind(NotSet);
a.mov(asmjit::x86::di, this->next);
a.jmp((uint64_t)&jit_and_jump);
return false;
}
bool BITZeroP::exp(asmjit::X86Assembler& a, MemoryMapper& m) {
m.emitLoad(a, operand, asmjit::x86::al);
// @COMPLETENESS: We should check and set the S_ flags here before the and
a.push(asmjit::x86::rax);
a.and_(asmjit::x86::al, REG_A);
auto Zero = a.newLabel();
auto Exit = a.newLabel();
a.jz(Zero);
//Not zero
a.btr(REG_S, S_ZERO);
a.jmp(Exit);
a.bind(Zero);
a.bts(REG_S, S_ZERO);
a.bind(Exit);
a.pop(asmjit::x86::rax);
{
a.btr(REG_S, S_OVERFLOW);
a.bt(asmjit::x86::al, 6);
auto End = a.newLabel();
a.jnc(End);
a.bts(REG_S, S_OVERFLOW);
a.bind(End);
}
{
a.btr(REG_S, S_NEGATIVE);
a.bt(asmjit::x86::al, 7);
auto End = a.newLabel();
a.jnc(End);
a.bts(REG_S, S_NEGATIVE);
a.bind(End);
}
return true;
}