2002-09-13 19:53:22 +04:00
|
|
|
/////////////////////////////////////////////////////////////////////////
|
2006-06-10 02:29:07 +04:00
|
|
|
// $Id: ctrl_xfer64.cc,v 1.47 2006-06-09 22:29:06 sshwarts Exp $
|
2002-09-13 19:53:22 +04:00
|
|
|
/////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// Copyright (C) 2001 MandrakeSoft S.A.
|
|
|
|
//
|
|
|
|
// MandrakeSoft S.A.
|
|
|
|
// 43, rue d'Aboukir
|
|
|
|
// 75002 Paris - France
|
|
|
|
// http://www.linux-mandrake.com/
|
|
|
|
// http://www.mandrakesoft.com/
|
|
|
|
//
|
|
|
|
// This library is free software; you can redistribute it and/or
|
|
|
|
// modify it under the terms of the GNU Lesser General Public
|
|
|
|
// License as published by the Free Software Foundation; either
|
|
|
|
// version 2 of the License, or (at your option) any later version.
|
|
|
|
//
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
// Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Lesser General Public
|
|
|
|
// License along with this library; if not, write to the Free Software
|
|
|
|
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
2006-03-14 21:11:22 +03:00
|
|
|
/////////////////////////////////////////////////////////////////////////
|
2002-09-13 19:53:22 +04:00
|
|
|
|
|
|
|
|
|
|
|
#define NEED_CPU_REG_SHORTCUTS 1
|
|
|
|
#include "bochs.h"
|
2006-03-07 01:03:16 +03:00
|
|
|
#include "cpu.h"
|
2002-09-13 19:53:22 +04:00
|
|
|
#define LOG_THIS BX_CPU_THIS_PTR
|
|
|
|
|
|
|
|
|
2002-11-19 08:47:45 +03:00
|
|
|
#if BX_SUPPORT_X86_64
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::RETnear64_Iw(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
|
|
|
Bit64u return_RIP;
|
|
|
|
|
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_ret;
|
|
|
|
#endif
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
Bit16u imm16 = i->Iw();
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2006-03-14 21:11:22 +03:00
|
|
|
pop_64(&return_RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2006-03-14 21:11:22 +03:00
|
|
|
if (! IsCanonical(return_RIP)) {
|
|
|
|
BX_ERROR(("RETnear64_Iw: canonical RIP violation"));
|
2005-04-17 22:54:54 +04:00
|
|
|
exception(BX_GP_EXCEPTION, 0, 0);
|
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
|
|
|
|
RIP = return_RIP;
|
2006-03-14 21:11:22 +03:00
|
|
|
RSP += imm16;
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_INSTR_UCNEAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_RET, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::RETnear64(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
|
|
|
Bit64u return_RIP;
|
|
|
|
|
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_ret;
|
|
|
|
#endif
|
|
|
|
|
2006-03-14 21:11:22 +03:00
|
|
|
pop_64(&return_RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2006-03-14 21:11:22 +03:00
|
|
|
if (! IsCanonical(return_RIP)) {
|
|
|
|
BX_ERROR(("RETnear64: canonical RIP violation"));
|
2005-04-17 22:54:54 +04:00
|
|
|
exception(BX_GP_EXCEPTION, 0, 0);
|
|
|
|
}
|
|
|
|
|
2002-09-13 19:53:22 +04:00
|
|
|
RIP = return_RIP;
|
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_INSTR_UCNEAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_RET, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::RETfar64_Iw(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
invalidate_prefetch_q();
|
|
|
|
|
2002-09-13 19:53:22 +04:00
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_ret;
|
|
|
|
#endif
|
|
|
|
|
2005-07-11 00:32:32 +04:00
|
|
|
BX_ASSERT(protected_mode());
|
2005-03-20 21:01:01 +03:00
|
|
|
|
2005-08-04 23:38:51 +04:00
|
|
|
BX_INFO(("RETfar64_Iw instruction executed ..."));
|
2005-07-21 05:59:05 +04:00
|
|
|
|
|
|
|
return_protected(i, i->Iw());
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_FAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_RET,
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_CPU_THIS_PTR sregs[BX_SEG_REG_CS].selector.value, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::RETfar64(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
invalidate_prefetch_q();
|
|
|
|
|
2002-09-13 19:53:22 +04:00
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_ret;
|
|
|
|
#endif
|
|
|
|
|
2005-07-11 00:32:32 +04:00
|
|
|
BX_ASSERT(protected_mode());
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2005-08-04 23:38:51 +04:00
|
|
|
BX_INFO(("RETfar64 instruction executed ..."));
|
2005-07-21 05:59:05 +04:00
|
|
|
|
|
|
|
return_protected(i, 0);
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_FAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_RET,
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_CPU_THIS_PTR sregs[BX_SEG_REG_CS].selector.value, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::CALL_Aq(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
2005-11-12 01:02:42 +03:00
|
|
|
Bit64u new_RIP = RIP + (Bit32s) i->Id();
|
2002-09-13 19:53:22 +04:00
|
|
|
|
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_call;
|
|
|
|
#endif
|
|
|
|
|
2006-03-14 21:11:22 +03:00
|
|
|
if (! IsCanonical(new_RIP)) {
|
2006-06-10 02:29:07 +04:00
|
|
|
BX_ERROR(("CALL_Aq: canonical RIP violation"));
|
2005-04-17 22:54:54 +04:00
|
|
|
exception(BX_GP_EXCEPTION, 0, 0);
|
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
|
|
|
|
/* push 64 bit EA of next instruction */
|
2005-07-31 21:57:27 +04:00
|
|
|
push_64(RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
RIP = new_RIP;
|
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_INSTR_UCNEAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_CALL, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::CALL_Eq(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
|
|
|
Bit64u op1_64;
|
|
|
|
|
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_call;
|
|
|
|
#endif
|
|
|
|
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
if (i->modC0()) {
|
|
|
|
op1_64 = BX_READ_64BIT_REG(i->rm());
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
else {
|
|
|
|
read_virtual_qword(i->seg(), RMAddr(i), &op1_64);
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
if (! IsCanonical(op1_64))
|
|
|
|
{
|
2006-06-10 02:29:07 +04:00
|
|
|
BX_ERROR(("CALL_Eq: canonical RIP violation"));
|
2005-04-17 22:54:54 +04:00
|
|
|
exception(BX_GP_EXCEPTION, 0, 0);
|
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
push_64(RIP);
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
RIP = op1_64;
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_INSTR_UCNEAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_CALL, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::CALL64_Ep(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
|
|
|
Bit16u cs_raw;
|
2005-07-31 21:57:27 +04:00
|
|
|
Bit32u op1_32;
|
2002-09-13 19:53:22 +04:00
|
|
|
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
invalidate_prefetch_q();
|
|
|
|
|
2002-09-13 19:53:22 +04:00
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_call;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* op1_64 is a register or memory reference */
|
2002-09-20 07:52:59 +04:00
|
|
|
if (i->modC0()) {
|
2006-03-14 21:11:22 +03:00
|
|
|
BX_ERROR(("CALL64_Ep: op1 is a register"));
|
2004-05-11 01:05:51 +04:00
|
|
|
exception(BX_UD_EXCEPTION, 0, 0);
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
|
|
|
|
/* pointer, segment address pair */
|
2005-07-31 21:57:27 +04:00
|
|
|
read_virtual_dword(i->seg(), RMAddr(i), &op1_32);
|
2002-09-18 09:36:48 +04:00
|
|
|
read_virtual_word(i->seg(), RMAddr(i)+8, &cs_raw);
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2005-07-20 05:26:47 +04:00
|
|
|
BX_ASSERT(protected_mode());
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2006-03-14 21:11:22 +03:00
|
|
|
BX_INFO(("CallFar64 instruction executed ..."));
|
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_CPU_THIS_PTR call_protected(i, cs_raw, op1_32);
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_FAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_CALL,
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_CPU_THIS_PTR sregs[BX_SEG_REG_CS].selector.value, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::JMP_Jq(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
2005-04-18 01:51:59 +04:00
|
|
|
branch_near64(i);
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_UCNEAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_JMP, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::JCC_Jq(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
2002-10-25 15:44:41 +04:00
|
|
|
bx_bool condition;
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2002-09-18 12:00:43 +04:00
|
|
|
switch (i->b1() & 0x0f) {
|
2002-09-13 19:53:22 +04:00
|
|
|
case 0x00: /* JO */ condition = get_OF(); break;
|
|
|
|
case 0x01: /* JNO */ condition = !get_OF(); break;
|
|
|
|
case 0x02: /* JB */ condition = get_CF(); break;
|
|
|
|
case 0x03: /* JNB */ condition = !get_CF(); break;
|
|
|
|
case 0x04: /* JZ */ condition = get_ZF(); break;
|
|
|
|
case 0x05: /* JNZ */ condition = !get_ZF(); break;
|
|
|
|
case 0x06: /* JBE */ condition = get_CF() || get_ZF(); break;
|
|
|
|
case 0x07: /* JNBE */ condition = !get_CF() && !get_ZF(); break;
|
|
|
|
case 0x08: /* JS */ condition = get_SF(); break;
|
|
|
|
case 0x09: /* JNS */ condition = !get_SF(); break;
|
|
|
|
case 0x0A: /* JP */ condition = get_PF(); break;
|
|
|
|
case 0x0B: /* JNP */ condition = !get_PF(); break;
|
2002-09-22 22:22:24 +04:00
|
|
|
case 0x0C: /* JL */ condition = getB_SF() != getB_OF(); break;
|
|
|
|
case 0x0D: /* JNL */ condition = getB_SF() == getB_OF(); break;
|
|
|
|
case 0x0E: /* JLE */ condition = get_ZF() || (getB_SF() != getB_OF());
|
2002-09-13 19:53:22 +04:00
|
|
|
break;
|
2002-09-22 22:22:24 +04:00
|
|
|
case 0x0F: /* JNLE */ condition = (getB_SF() == getB_OF()) &&
|
2002-09-13 19:53:22 +04:00
|
|
|
!get_ZF();
|
|
|
|
break;
|
2002-09-22 05:52:21 +04:00
|
|
|
default:
|
|
|
|
condition = 0; // For compiler...all targets should set condition.
|
|
|
|
break;
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
|
|
|
|
if (condition) {
|
2005-04-18 01:51:59 +04:00
|
|
|
branch_near64(i);
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
#if BX_INSTRUMENTATION
|
|
|
|
else {
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_CNEAR_BRANCH_NOT_TAKEN(BX_CPU_ID);
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::JMP_Eq(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
|
|
|
Bit64u op1_64;
|
|
|
|
|
2002-09-20 07:52:59 +04:00
|
|
|
if (i->modC0()) {
|
2002-09-18 02:50:53 +04:00
|
|
|
op1_64 = BX_READ_64BIT_REG(i->rm());
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
else {
|
2002-09-18 09:36:48 +04:00
|
|
|
read_virtual_qword(i->seg(), RMAddr(i), &op1_64);
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
if (! IsCanonical(op1_64)) {
|
2006-06-10 02:29:07 +04:00
|
|
|
BX_ERROR(("JMP_Eq: canonical RIP violation"));
|
2005-04-17 22:54:54 +04:00
|
|
|
exception(BX_GP_EXCEPTION, 0, 0);
|
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
|
|
|
|
RIP = op1_64;
|
|
|
|
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_UCNEAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_JMP, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-18 01:51:59 +04:00
|
|
|
/* Far indirect jump */
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::JMP64_Ep(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
|
|
|
Bit16u cs_raw;
|
2003-03-13 03:43:00 +03:00
|
|
|
Bit32u op1_32;
|
2002-09-13 19:53:22 +04:00
|
|
|
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
invalidate_prefetch_q();
|
|
|
|
|
2002-09-20 07:52:59 +04:00
|
|
|
if (i->modC0()) {
|
2006-03-14 21:11:22 +03:00
|
|
|
BX_ERROR(("JMP64_Ep(): op1 is a register"));
|
2004-05-11 01:05:51 +04:00
|
|
|
exception(BX_UD_EXCEPTION, 0, 0);
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2003-03-13 03:43:00 +03:00
|
|
|
read_virtual_dword(i->seg(), RMAddr(i), &op1_32);
|
|
|
|
read_virtual_word(i->seg(), RMAddr(i)+4, &cs_raw);
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2006-03-14 21:11:22 +03:00
|
|
|
BX_INFO(("JmpFar64 instruction executed ..."));
|
2005-07-21 05:59:05 +04:00
|
|
|
|
2005-07-20 05:26:47 +04:00
|
|
|
BX_ASSERT(protected_mode());
|
|
|
|
BX_CPU_THIS_PTR jump_protected(i, cs_raw, op1_32);
|
2002-09-13 19:53:22 +04:00
|
|
|
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_FAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_JMP,
|
2002-09-15 19:10:21 +04:00
|
|
|
BX_CPU_THIS_PTR sregs[BX_SEG_REG_CS].selector.value, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::IRET64(bxInstruction_c *i)
|
2002-09-13 19:53:22 +04:00
|
|
|
{
|
I integrated my hacks to get Linux/x86-64 booting. To keep
these from interfering from a normal compile here's what I did.
In config.h.in (which will generate config.h after a configure),
I added a #define called KPL64Hacks:
#define KPL64Hacks
*After* running configure, you must set this by hand. It will
default to off, so you won't get my hacks in a normal compile.
This will go away soon. There is also a macro just after that
called BailBigRSP(). You don't need to enabled that, but you
can. In many of the instructions which seemed like they could
be hit by the fetchdecode64() process, but which also touched
EIP/ESP, I inserted a macro. Usually this macro expands to nothing.
If you like, you can enabled it, and it will panic if it finds
the upper bits of RIP/RSP set. This helped me find bugs.
Also, I cleaned up the emulation in ctrl_xfer{8,16,32}.cc.
There were some really old legacy code snippets which directly
accessed operands on the stack with access_linear. Lots of
ugly code instead of just pop_32() etc. Cleaning those up,
minimized the number of instructions which directly manipulate
the stack pointer, which should help in refining 64-bit support.
2002-09-24 04:44:56 +04:00
|
|
|
invalidate_prefetch_q();
|
|
|
|
|
2002-09-13 19:53:22 +04:00
|
|
|
#if BX_DEBUGGER
|
|
|
|
BX_CPU_THIS_PTR show_flag |= Flag_iret;
|
|
|
|
#endif
|
|
|
|
|
2006-03-16 23:24:09 +03:00
|
|
|
BX_CPU_THIS_PTR nmi_disable = 0;
|
|
|
|
|
2005-07-20 05:26:47 +04:00
|
|
|
BX_ASSERT(protected_mode());
|
|
|
|
iret_protected(i);
|
2002-09-16 21:00:16 +04:00
|
|
|
|
2003-02-13 18:04:11 +03:00
|
|
|
BX_INSTR_FAR_BRANCH(BX_CPU_ID, BX_INSTR_IS_IRET,
|
2005-07-31 21:57:27 +04:00
|
|
|
BX_CPU_THIS_PTR sregs[BX_SEG_REG_CS].selector.value, RIP);
|
2002-09-13 19:53:22 +04:00
|
|
|
}
|
2002-09-27 11:01:02 +04:00
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::JCXZ64_Jb(bxInstruction_c *i)
|
2002-09-27 11:01:02 +04:00
|
|
|
{
|
2005-04-18 01:51:59 +04:00
|
|
|
if (i->as64L()) {
|
2006-05-12 21:04:19 +04:00
|
|
|
if (RCX == 0) {
|
2005-04-18 01:51:59 +04:00
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
|
|
|
else {
|
2006-05-12 21:04:19 +04:00
|
|
|
if (ECX == 0) {
|
2005-04-18 01:51:59 +04:00
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
|
|
|
}
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
2005-04-18 01:51:59 +04:00
|
|
|
|
|
|
|
BX_INSTR_CNEAR_BRANCH_NOT_TAKEN(BX_CPU_ID);
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::LOOPNE64_Jb(bxInstruction_c *i)
|
2002-09-27 11:01:02 +04:00
|
|
|
{
|
2005-04-18 01:51:59 +04:00
|
|
|
if (i->as64L()) {
|
2006-05-12 21:04:19 +04:00
|
|
|
if (((--RCX) != 0) && (get_ZF()==0)) {
|
2005-04-18 01:51:59 +04:00
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
|
|
|
else {
|
2006-05-12 21:04:19 +04:00
|
|
|
if (((--ECX) != 0) && (get_ZF()==0)) {
|
2005-04-18 01:51:59 +04:00
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
|
|
|
}
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2005-04-18 01:51:59 +04:00
|
|
|
|
|
|
|
BX_INSTR_CNEAR_BRANCH_NOT_TAKEN(BX_CPU_ID);
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::LOOPE64_Jb(bxInstruction_c *i)
|
2002-09-27 11:01:02 +04:00
|
|
|
{
|
2005-04-18 01:51:59 +04:00
|
|
|
if (i->as64L()) {
|
2006-05-12 21:04:19 +04:00
|
|
|
if (((--RCX)!=0) && (get_ZF())) {
|
2005-04-18 01:51:59 +04:00
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
|
|
|
else {
|
2005-04-18 01:51:59 +04:00
|
|
|
if (((--ECX)!=0) && get_ZF()) {
|
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
|
|
|
}
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2005-04-18 01:51:59 +04:00
|
|
|
|
|
|
|
BX_INSTR_CNEAR_BRANCH_NOT_TAKEN(BX_CPU_ID);
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
|
|
|
|
2005-04-17 22:54:54 +04:00
|
|
|
void BX_CPU_C::LOOP64_Jb(bxInstruction_c *i)
|
2002-09-27 11:01:02 +04:00
|
|
|
{
|
2005-04-18 01:51:59 +04:00
|
|
|
if (i->as64L()) {
|
|
|
|
if ((--RCX) != 0) {
|
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
|
|
|
else {
|
2005-04-18 01:51:59 +04:00
|
|
|
if ((--ECX) != 0) {
|
|
|
|
branch_near64(i);
|
|
|
|
BX_INSTR_CNEAR_BRANCH_TAKEN(BX_CPU_ID, RIP);
|
|
|
|
return;
|
|
|
|
}
|
2005-04-17 22:54:54 +04:00
|
|
|
}
|
2005-04-18 01:51:59 +04:00
|
|
|
|
|
|
|
BX_INSTR_CNEAR_BRANCH_NOT_TAKEN(BX_CPU_ID);
|
2002-09-27 11:01:02 +04:00
|
|
|
}
|
2003-12-30 00:47:36 +03:00
|
|
|
|
2002-11-19 08:47:45 +03:00
|
|
|
#endif /* if BX_SUPPORT_X86_64 */
|