2001-10-03 17:10:38 +04:00
|
|
|
/////////////////////////////////////////////////////////////////////////
|
2006-06-12 20:58:27 +04:00
|
|
|
// $Id: stack_pro.cc,v 1.29 2006-06-12 16:58:27 sshwarts Exp $
|
2005-03-19 23:44:01 +03:00
|
|
|
/////////////////////////////////////////////////////////////////////////
|
2001-10-03 17:10:38 +04:00
|
|
|
//
|
2001-04-10 06:20:02 +04:00
|
|
|
// Copyright (C) 2001 MandrakeSoft S.A.
|
2001-04-10 05:04:59 +04:00
|
|
|
//
|
|
|
|
// 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
|
|
|
|
|
|
|
|
|
2001-05-24 22:46:34 +04:00
|
|
|
#define NEED_CPU_REG_SHORTCUTS 1
|
2001-04-10 05:04:59 +04:00
|
|
|
#include "bochs.h"
|
2006-03-07 01:03:16 +03:00
|
|
|
#include "cpu.h"
|
merge in BRANCH-io-cleanup.
To see the commit logs for this use either cvsweb or
cvs update -r BRANCH-io-cleanup and then 'cvs log' the various files.
In general this provides a generic interface for logging.
logfunctions:: is a class that is inherited by some classes, and also
. allocated as a standalone global called 'genlog'. All logging uses
. one of the ::info(), ::error(), ::ldebug(), ::panic() methods of this
. class through 'BX_INFO(), BX_ERROR(), BX_DEBUG(), BX_PANIC()' macros
. respectively.
.
. An example usage:
. BX_INFO(("Hello, World!\n"));
iofunctions:: is a class that is allocated once by default, and assigned
as the iofunction of each logfunctions instance. It is this class that
maintains the file descriptor and other output related code, at this
point using vfprintf(). At some future point, someone may choose to
write a gui 'console' for bochs to which messages would be redirected
simply by assigning a different iofunction class to the various logfunctions
objects.
More cleanup is coming, but this works for now. If you want to see alot
of debugging output, in main.cc, change onoff[LOGLEV_DEBUG]=0 to =1.
Comments, bugs, flames, to me: todd@fries.net
2001-05-15 18:49:57 +04:00
|
|
|
#define LOG_THIS BX_CPU_THIS_PTR
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2005-07-01 18:06:02 +04:00
|
|
|
|
2003-03-03 02:59:12 +03:00
|
|
|
void BX_CPP_AttrRegparmN(1)
|
2001-04-10 05:04:59 +04:00
|
|
|
BX_CPU_C::push_16(Bit16u value16)
|
|
|
|
{
|
2005-07-31 21:57:27 +04:00
|
|
|
/* must use StackAddrSize, and either RSP, ESP or SP accordingly */
|
2004-09-05 00:19:39 +04:00
|
|
|
#if BX_CPU_LEVEL >= 3
|
2005-07-31 21:57:27 +04:00
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
{
|
|
|
|
write_virtual_word(BX_SEG_REG_SS, RSP-2, &value16);
|
|
|
|
RSP -= 2;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
#endif
|
2004-09-04 23:37:37 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b) { /* StackAddrSize = 32 */
|
2005-08-28 21:37:37 +04:00
|
|
|
write_virtual_word(BX_SEG_REG_SS, (Bit32u) (ESP-2), &value16);
|
2004-09-04 23:37:37 +04:00
|
|
|
ESP -= 2;
|
|
|
|
}
|
|
|
|
else
|
2004-09-05 00:19:39 +04:00
|
|
|
#endif
|
2004-09-04 23:37:37 +04:00
|
|
|
{
|
2004-09-05 00:19:39 +04:00
|
|
|
write_virtual_word(BX_SEG_REG_SS, (Bit16u) (SP-2), &value16);
|
2005-07-31 21:57:27 +04:00
|
|
|
SP -= 2;
|
2004-09-04 23:37:37 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
}
|
|
|
|
|
2005-10-17 17:06:09 +04:00
|
|
|
/* push 32 bit operand */
|
2004-09-04 23:37:37 +04:00
|
|
|
void BX_CPU_C::push_32(Bit32u value32)
|
2001-04-10 05:04:59 +04:00
|
|
|
{
|
2005-07-31 21:57:27 +04:00
|
|
|
/* must use StackAddrSize, and either RSP, ESP or SP accordingly */
|
|
|
|
#if BX_CPU_LEVEL >= 3
|
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
{
|
|
|
|
write_virtual_dword(BX_SEG_REG_SS, RSP-4, &value32);
|
|
|
|
RSP -= 4;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
#endif
|
2001-04-10 05:04:59 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b) { /* StackAddrSize = 32 */
|
2005-08-28 21:37:37 +04:00
|
|
|
write_virtual_dword(BX_SEG_REG_SS, (Bit32u) (ESP-4), &value32);
|
2001-04-10 05:04:59 +04:00
|
|
|
ESP -= 4;
|
2004-09-04 23:37:37 +04:00
|
|
|
}
|
2005-07-31 21:57:27 +04:00
|
|
|
else
|
|
|
|
#endif
|
|
|
|
{
|
2001-04-10 05:04:59 +04:00
|
|
|
write_virtual_dword(BX_SEG_REG_SS, (Bit16u) (SP-4), &value32);
|
2005-07-31 21:57:27 +04:00
|
|
|
SP -= 4;
|
2004-09-04 23:37:37 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
}
|
2002-09-15 05:00:20 +04:00
|
|
|
|
2005-10-17 17:06:09 +04:00
|
|
|
/* push 64 bit operand */
|
2004-09-04 23:37:37 +04:00
|
|
|
void BX_CPU_C::push_64(Bit64u value64)
|
2002-09-15 05:00:20 +04:00
|
|
|
{
|
2005-07-31 21:57:27 +04:00
|
|
|
/* must use StackAddrSize, and either RSP, ESP or SP accordingly */
|
|
|
|
#if BX_CPU_LEVEL >= 3
|
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
{
|
|
|
|
write_virtual_qword(BX_SEG_REG_SS, RSP-8, &value64);
|
|
|
|
RSP -= 8;
|
2005-07-20 05:26:47 +04:00
|
|
|
}
|
2005-07-31 21:57:27 +04:00
|
|
|
else
|
2003-02-26 03:59:31 +03:00
|
|
|
#endif
|
2005-07-31 21:57:27 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b) { /* StackAddrSize = 32 */
|
2005-08-28 21:37:37 +04:00
|
|
|
write_virtual_qword(BX_SEG_REG_SS, (Bit32u) (ESP-8), &value64);
|
2005-07-31 21:57:27 +04:00
|
|
|
ESP -= 8;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
{
|
|
|
|
write_virtual_qword(BX_SEG_REG_SS, (Bit16u) (SP-8), &value64);
|
|
|
|
SP -= 8;
|
|
|
|
}
|
2002-09-15 05:00:20 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2005-10-17 17:06:09 +04:00
|
|
|
/* pop 16 bit operand from the stack */
|
2005-07-01 18:06:02 +04:00
|
|
|
void BX_CPU_C::pop_16(Bit16u *value16_ptr)
|
2001-04-10 05:04:59 +04:00
|
|
|
{
|
2005-07-31 21:57:27 +04:00
|
|
|
bx_address temp_RSP;
|
2001-04-10 05:04:59 +04:00
|
|
|
|
|
|
|
#if BX_CPU_LEVEL >= 3
|
2005-07-31 21:57:27 +04:00
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
temp_RSP = RSP;
|
2001-04-10 05:04:59 +04:00
|
|
|
else
|
|
|
|
#endif
|
2005-07-31 21:57:27 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b)
|
|
|
|
temp_RSP = ESP;
|
|
|
|
else
|
2001-04-10 05:04:59 +04:00
|
|
|
#endif
|
2005-07-31 21:57:27 +04:00
|
|
|
temp_RSP = SP;
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
read_virtual_word(BX_SEG_REG_SS, temp_RSP, value16_ptr);
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
#if BX_CPU_LEVEL >= 3
|
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
RSP += 2;
|
|
|
|
else
|
|
|
|
#endif
|
2001-04-10 05:04:59 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b)
|
|
|
|
ESP += 2;
|
|
|
|
else
|
2005-07-31 21:57:27 +04:00
|
|
|
#endif
|
|
|
|
SP += 2;
|
2001-04-10 05:04:59 +04:00
|
|
|
}
|
|
|
|
|
2005-10-17 17:06:09 +04:00
|
|
|
/* pop 32 bit operand from the stack */
|
2005-07-01 18:06:02 +04:00
|
|
|
void BX_CPU_C::pop_32(Bit32u *value32_ptr)
|
2001-04-10 05:04:59 +04:00
|
|
|
{
|
2005-07-31 21:57:27 +04:00
|
|
|
bx_address temp_RSP;
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
#if BX_CPU_LEVEL >= 3
|
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
temp_RSP = RSP;
|
|
|
|
else
|
|
|
|
#endif
|
2001-04-10 05:04:59 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b)
|
2005-07-31 21:57:27 +04:00
|
|
|
temp_RSP = ESP;
|
2001-04-10 05:04:59 +04:00
|
|
|
else
|
2005-07-31 21:57:27 +04:00
|
|
|
#endif
|
|
|
|
temp_RSP = SP;
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
read_virtual_dword(BX_SEG_REG_SS, temp_RSP, value32_ptr);
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
#if BX_CPU_LEVEL >= 3
|
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
RSP += 4;
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b)
|
2001-04-10 05:04:59 +04:00
|
|
|
ESP += 4;
|
|
|
|
else
|
2005-07-31 21:57:27 +04:00
|
|
|
#endif
|
|
|
|
SP += 4;
|
2001-04-10 05:04:59 +04:00
|
|
|
}
|
2002-09-15 05:00:20 +04:00
|
|
|
|
2005-10-17 17:06:09 +04:00
|
|
|
/* pop 64 bit operand from the stack */
|
2004-09-04 23:37:37 +04:00
|
|
|
void BX_CPU_C::pop_64(Bit64u *value64_ptr)
|
2002-09-15 05:00:20 +04:00
|
|
|
{
|
2005-07-31 21:57:27 +04:00
|
|
|
bx_address temp_RSP;
|
2002-09-15 05:00:20 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
#if BX_CPU_LEVEL >= 3
|
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
temp_RSP = RSP;
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b)
|
|
|
|
temp_RSP = ESP;
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
temp_RSP = SP;
|
2002-09-15 05:00:20 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
read_virtual_qword(BX_SEG_REG_SS, temp_RSP, value64_ptr);
|
2002-09-15 05:00:20 +04:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
#if BX_CPU_LEVEL >= 3
|
|
|
|
#if BX_SUPPORT_X86_64
|
|
|
|
if (StackAddrSize64())
|
|
|
|
RSP += 8;
|
|
|
|
else
|
2001-04-10 05:04:59 +04:00
|
|
|
#endif
|
2005-07-31 21:57:27 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b)
|
|
|
|
ESP += 8;
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
SP += 8;
|
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2003-03-03 02:59:12 +03:00
|
|
|
bx_bool BX_CPP_AttrRegparmN(3)
|
2001-04-10 05:04:59 +04:00
|
|
|
BX_CPU_C::can_push(bx_descriptor_t *descriptor, Bit32u esp, Bit32u bytes)
|
|
|
|
{
|
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 BX_SUPPORT_X86_64
|
2002-09-24 12:29:06 +04:00
|
|
|
if (BX_CPU_THIS_PTR cpu_mode == BX_MODE_LONG_64) {
|
|
|
|
return(1);
|
2005-07-01 18:06:02 +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
|
|
|
#endif
|
|
|
|
|
2001-04-10 05:04:59 +04:00
|
|
|
// small stack compares against 16-bit SP
|
|
|
|
if (!descriptor->u.segment.d_b)
|
|
|
|
esp &= 0x0000ffff;
|
|
|
|
|
|
|
|
if (descriptor->valid==0) {
|
2006-05-12 21:04:19 +04:00
|
|
|
BX_ERROR(("can_push(): SS invalidated."));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
|
|
|
if (descriptor->p==0) {
|
2006-05-12 21:04:19 +04:00
|
|
|
BX_ERROR(("can_push(): descriptor not present"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2006-06-12 20:58:27 +04:00
|
|
|
if (IS_DATA_SEGMENT_EXPAND_DOWN(descriptor->type)) /* expand down segment */
|
|
|
|
{
|
2001-04-10 05:04:59 +04:00
|
|
|
Bit32u expand_down_limit;
|
|
|
|
|
|
|
|
if (descriptor->u.segment.d_b)
|
|
|
|
expand_down_limit = 0xffffffff;
|
|
|
|
else
|
|
|
|
expand_down_limit = 0x0000ffff;
|
|
|
|
|
|
|
|
if (esp==0) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_push(): esp=0, wraparound?"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
|
|
|
if (esp < bytes) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_push(): expand-down: esp < N"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2006-05-12 21:04:19 +04:00
|
|
|
if ((esp - bytes) <= descriptor->u.segment.limit_scaled) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_push(): expand-down: esp-N < limit"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2006-05-12 21:04:19 +04:00
|
|
|
if (esp > expand_down_limit) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_push(): esp > expand-down-limit"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
|
|
|
}
|
2005-07-01 18:06:02 +04:00
|
|
|
return(1);
|
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
else { /* normal (expand-up) segment */
|
|
|
|
if (descriptor->u.segment.limit_scaled==0) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_push(): found limit of 0"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
|
|
|
// Look at case where esp==0. Possibly, it's an intentional wraparound
|
|
|
|
// If so, limit must be the maximum for the given stack size
|
|
|
|
if (esp==0) {
|
|
|
|
if (descriptor->u.segment.d_b && (descriptor->u.segment.limit_scaled==0xffffffff))
|
|
|
|
return(1);
|
|
|
|
if ((descriptor->u.segment.d_b==0) && (descriptor->u.segment.limit_scaled>=0xffff))
|
|
|
|
return(1);
|
2005-02-17 00:27:21 +03:00
|
|
|
BX_INFO(("can_push(): esp=0, normal, wraparound? limit=%08x",
|
merge in BRANCH-io-cleanup.
To see the commit logs for this use either cvsweb or
cvs update -r BRANCH-io-cleanup and then 'cvs log' the various files.
In general this provides a generic interface for logging.
logfunctions:: is a class that is inherited by some classes, and also
. allocated as a standalone global called 'genlog'. All logging uses
. one of the ::info(), ::error(), ::ldebug(), ::panic() methods of this
. class through 'BX_INFO(), BX_ERROR(), BX_DEBUG(), BX_PANIC()' macros
. respectively.
.
. An example usage:
. BX_INFO(("Hello, World!\n"));
iofunctions:: is a class that is allocated once by default, and assigned
as the iofunction of each logfunctions instance. It is this class that
maintains the file descriptor and other output related code, at this
point using vfprintf(). At some future point, someone may choose to
write a gui 'console' for bochs to which messages would be redirected
simply by assigning a different iofunction class to the various logfunctions
objects.
More cleanup is coming, but this works for now. If you want to see alot
of debugging output, in main.cc, change onoff[LOGLEV_DEBUG]=0 to =1.
Comments, bugs, flames, to me: todd@fries.net
2001-05-15 18:49:57 +04:00
|
|
|
descriptor->u.segment.limit_scaled));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2006-05-12 21:04:19 +04:00
|
|
|
if (!descriptor->u.segment.d_b) {
|
2005-02-17 00:27:21 +03:00
|
|
|
// Weird case for 16-bit SP.
|
|
|
|
esp = ((esp-bytes) & 0xffff) + bytes;
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
if (esp < bytes) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_INFO(("can_push(): expand-up: esp < N"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
if ((esp-1) > descriptor->u.segment.limit_scaled) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_INFO(("can_push(): expand-up: SP > limit"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
/* all checks pass */
|
|
|
|
return(1);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
}
|
|
|
|
|
2005-07-01 18:06:02 +04:00
|
|
|
bx_bool BX_CPU_C::can_pop(Bit32u bytes)
|
2001-04-10 05:04:59 +04:00
|
|
|
{
|
|
|
|
Bit32u temp_ESP, expand_down_limit;
|
|
|
|
|
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 BX_SUPPORT_X86_64
|
2002-09-24 12:29:06 +04:00
|
|
|
if (BX_CPU_THIS_PTR cpu_mode == BX_MODE_LONG_64) {
|
|
|
|
return(1);
|
2005-07-01 18:06:02 +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
|
|
|
#endif
|
|
|
|
|
2001-04-10 05:04:59 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b) { /* Big bit set: use ESP */
|
|
|
|
temp_ESP = ESP;
|
|
|
|
expand_down_limit = 0xFFFFFFFF;
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
else { /* Big bit clear: use SP */
|
|
|
|
temp_ESP = SP;
|
|
|
|
expand_down_limit = 0xFFFF;
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.valid==0) {
|
2006-05-12 21:04:19 +04:00
|
|
|
BX_ERROR(("can_pop(): SS invalidated."));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0); /* never gets here */
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2006-05-12 21:04:19 +04:00
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.p==0) {
|
|
|
|
BX_ERROR(("can_pop(): SS.p = 0"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
|
2006-06-12 20:58:27 +04:00
|
|
|
if (IS_DATA_SEGMENT_EXPAND_DOWN(BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.type)) { /* expand down */
|
2006-05-12 21:04:19 +04:00
|
|
|
if (temp_ESP == expand_down_limit) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_pop(): found SP=ffff"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2006-05-12 21:04:19 +04:00
|
|
|
if (((expand_down_limit - temp_ESP) + 1) >= bytes)
|
2001-04-10 05:04:59 +04:00
|
|
|
return(1);
|
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
else { /* normal (expand-up) segment */
|
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.limit_scaled==0) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_pop(): SS.limit = 0"));
|
2006-05-12 21:04:19 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
if ( temp_ESP == expand_down_limit ) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_pop(): found SP=ffff"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2006-06-12 20:58:27 +04:00
|
|
|
if (temp_ESP > BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.limit_scaled) {
|
2001-05-30 22:56:02 +04:00
|
|
|
BX_PANIC(("can_pop(): eSP > SS.limit"));
|
2001-04-10 05:04:59 +04:00
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2006-05-12 21:04:19 +04:00
|
|
|
if (((BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.limit_scaled - temp_ESP) + 1) >= bytes)
|
2001-04-10 05:04:59 +04:00
|
|
|
return(1);
|
|
|
|
return(0);
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2001-04-10 05:04:59 +04:00
|
|
|
}
|
2005-02-17 00:27:21 +03:00
|
|
|
|
2005-07-31 21:57:27 +04:00
|
|
|
void BX_CPU_C::decrementESPForPush(unsigned nBytes, Bit32u *eSP_ptr)
|
2005-02-17 00:27:21 +03:00
|
|
|
{
|
|
|
|
Bit32u eSP;
|
|
|
|
|
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b)
|
|
|
|
eSP = ESP;
|
|
|
|
else
|
|
|
|
eSP = SP;
|
|
|
|
|
|
|
|
if (protected_mode()) {
|
|
|
|
if (!can_push(&BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache, eSP, nBytes)) {
|
|
|
|
BX_INFO(("decrementESPForPush: push outside stack limits"));
|
|
|
|
exception(BX_SS_EXCEPTION, 0, 0);
|
|
|
|
}
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2005-02-17 00:27:21 +03:00
|
|
|
else { // Real Mode.
|
|
|
|
if ( (eSP>=1) && (eSP<nBytes) ) {
|
|
|
|
BX_PANIC(("decrementESPForPush: eSP=%08x", (unsigned) eSP));
|
|
|
|
}
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2005-02-17 00:27:21 +03:00
|
|
|
|
|
|
|
// And finally, decrement eSP and return the new eSP value.
|
|
|
|
eSP -= nBytes;
|
|
|
|
if (BX_CPU_THIS_PTR sregs[BX_SEG_REG_SS].cache.u.segment.d_b) {
|
|
|
|
ESP = eSP;
|
|
|
|
*eSP_ptr = eSP;
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2005-02-17 00:27:21 +03:00
|
|
|
else {
|
|
|
|
SP = (Bit16u) eSP;
|
|
|
|
*eSP_ptr = SP;
|
2005-07-01 18:06:02 +04:00
|
|
|
}
|
2005-02-17 00:27:21 +03:00
|
|
|
}
|