-
+/*
+ * i386 micro operations (included several times to generate
+ * different operand sizes)
+ *
+ * Copyright (c) 2003 Fabrice Bellard
+ *
+ * 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
+ */
#define DATA_BITS (1 << (3 + SHIFT))
#define SHIFT_MASK (DATA_BITS - 1)
#define SIGN_MASK (1 << (DATA_BITS - 1))
static int glue(compute_all_shl, SUFFIX)(void)
{
int cf, pf, af, zf, sf, of;
- cf = CC_SRC & 1;
+ cf = (CC_SRC >> (DATA_BITS - 1)) & CC_C;
pf = parity_table[(uint8_t)CC_DST];
af = 0; /* undefined */
zf = ((DATA_TYPE)CC_DST == 0) << 6;
sf = lshift(CC_DST, 8 - DATA_BITS) & 0x80;
- of = lshift(CC_SRC, 12 - DATA_BITS) & CC_O; /* only meaniful for shr with count == 1 */
+ /* of is defined if shift count == 1 */
+ of = lshift(CC_SRC ^ CC_DST, 12 - DATA_BITS) & CC_O;
return cf | pf | af | zf | sf | of;
}
af = 0; /* undefined */
zf = ((DATA_TYPE)CC_DST == 0) << 6;
sf = lshift(CC_DST, 8 - DATA_BITS) & 0x80;
- of = 0; /* only meaniful for shr with count == 1 */
+ /* of is defined if shift count == 1 */
+ of = lshift(CC_SRC ^ CC_DST, 12 - DATA_BITS) & CC_O;
return cf | pf | af | zf | sf | of;
}
src2 = CC_SRC - CC_DST;
if ((DATA_TYPE)src1 < (DATA_TYPE)src2)
- PC = PARAM1;
+ EIP = PARAM1;
else
- PC = PARAM2;
+ EIP = PARAM2;
FORCE_RET();
}
void OPPROTO glue(op_jz_sub, SUFFIX)(void)
{
if ((DATA_TYPE)CC_DST == 0)
- PC = PARAM1;
+ EIP = PARAM1;
else
- PC = PARAM2;
+ EIP = PARAM2;
FORCE_RET();
}
src2 = CC_SRC - CC_DST;
if ((DATA_TYPE)src1 <= (DATA_TYPE)src2)
- PC = PARAM1;
+ EIP = PARAM1;
else
- PC = PARAM2;
+ EIP = PARAM2;
FORCE_RET();
}
void OPPROTO glue(op_js_sub, SUFFIX)(void)
{
if (CC_DST & SIGN_MASK)
- PC = PARAM1;
+ EIP = PARAM1;
else
- PC = PARAM2;
+ EIP = PARAM2;
FORCE_RET();
}
src2 = CC_SRC - CC_DST;
if ((DATA_STYPE)src1 < (DATA_STYPE)src2)
- PC = PARAM1;
+ EIP = PARAM1;
else
- PC = PARAM2;
+ EIP = PARAM2;
FORCE_RET();
}
src2 = CC_SRC - CC_DST;
if ((DATA_STYPE)src1 <= (DATA_STYPE)src2)
- PC = PARAM1;
+ EIP = PARAM1;
+ else
+ EIP = PARAM2;
+ FORCE_RET();
+}
+
+/* oldies */
+
+#if DATA_BITS >= 16
+
+void OPPROTO glue(op_loopnz, SUFFIX)(void)
+{
+ unsigned int tmp;
+ int eflags;
+ eflags = cc_table[CC_OP].compute_all();
+ tmp = (ECX - 1) & DATA_MASK;
+ ECX = (ECX & ~DATA_MASK) | tmp;
+ if (tmp != 0 && !(eflags & CC_Z))
+ EIP = PARAM1;
+ else
+ EIP = PARAM2;
+ FORCE_RET();
+}
+
+void OPPROTO glue(op_loopz, SUFFIX)(void)
+{
+ unsigned int tmp;
+ int eflags;
+ eflags = cc_table[CC_OP].compute_all();
+ tmp = (ECX - 1) & DATA_MASK;
+ ECX = (ECX & ~DATA_MASK) | tmp;
+ if (tmp != 0 && (eflags & CC_Z))
+ EIP = PARAM1;
+ else
+ EIP = PARAM2;
+ FORCE_RET();
+}
+
+void OPPROTO glue(op_loop, SUFFIX)(void)
+{
+ unsigned int tmp;
+ tmp = (ECX - 1) & DATA_MASK;
+ ECX = (ECX & ~DATA_MASK) | tmp;
+ if (tmp != 0)
+ EIP = PARAM1;
+ else
+ EIP = PARAM2;
+ FORCE_RET();
+}
+
+void OPPROTO glue(op_jecxz, SUFFIX)(void)
+{
+ if ((DATA_TYPE)ECX == 0)
+ EIP = PARAM1;
else
- PC = PARAM2;
+ EIP = PARAM2;
FORCE_RET();
}
+#endif
+
/* various optimized set cases */
void OPPROTO glue(op_setb_T0_sub, SUFFIX)(void)
FORCE_RET();
}
+void OPPROTO glue(glue(op_rol, SUFFIX), _T0_T1)(void)
+{
+ int count;
+ count = T1 & SHIFT_MASK;
+ if (count) {
+ T0 &= DATA_MASK;
+ T0 = (T0 << count) | (T0 >> (DATA_BITS - count));
+ }
+ FORCE_RET();
+}
+
void OPPROTO glue(glue(op_ror, SUFFIX), _T0_T1_cc)(void)
{
int count, src;
FORCE_RET();
}
+void OPPROTO glue(glue(op_ror, SUFFIX), _T0_T1)(void)
+{
+ int count;
+ count = T1 & SHIFT_MASK;
+ if (count) {
+ T0 &= DATA_MASK;
+ T0 = (T0 >> count) | (T0 << (DATA_BITS - count));
+ }
+ FORCE_RET();
+}
+
void OPPROTO glue(glue(op_rcl, SUFFIX), _T0_T1_cc)(void)
{
int count, res, eflags;
{
int count;
count = T1 & 0x1f;
- if (count == 1) {
- CC_SRC = T0;
- T0 = T0 << 1;
- CC_DST = T0;
- CC_OP = CC_OP_ADDB + SHIFT;
- } else if (count) {
- CC_SRC = (DATA_TYPE)T0 >> (DATA_BITS - count);
+ if (count) {
+ CC_SRC = (DATA_TYPE)T0 << (count - 1);
T0 = T0 << count;
CC_DST = T0;
CC_OP = CC_OP_SHLB + SHIFT;
FORCE_RET();
}
+void OPPROTO glue(glue(op_shl, SUFFIX), _T0_T1)(void)
+{
+ int count;
+ count = T1 & 0x1f;
+ T0 = T0 << count;
+ FORCE_RET();
+}
+
void OPPROTO glue(glue(op_shr, SUFFIX), _T0_T1_cc)(void)
{
int count;
CC_SRC = T0 >> (count - 1);
T0 = T0 >> count;
CC_DST = T0;
- CC_OP = CC_OP_SHLB + SHIFT;
+ CC_OP = CC_OP_SARB + SHIFT;
}
FORCE_RET();
}
+void OPPROTO glue(glue(op_shr, SUFFIX), _T0_T1)(void)
+{
+ int count;
+ count = T1 & 0x1f;
+ T0 &= DATA_MASK;
+ T0 = T0 >> count;
+ FORCE_RET();
+}
+
void OPPROTO glue(glue(op_sar, SUFFIX), _T0_T1_cc)(void)
{
int count, src;
count = T1 & 0x1f;
if (count) {
src = (DATA_STYPE)T0;
- CC_SRC = src >> (count - 1);
+ CC_SRC = src >> (count - 1);
T0 = src >> count;
CC_DST = T0;
CC_OP = CC_OP_SARB + SHIFT;
FORCE_RET();
}
+void OPPROTO glue(glue(op_sar, SUFFIX), _T0_T1)(void)
+{
+ int count, src;
+ count = T1 & 0x1f;
+ src = (DATA_STYPE)T0;
+ T0 = src >> count;
+ FORCE_RET();
+}
+
+#if DATA_BITS == 16
+/* XXX: overflow flag might be incorrect in some cases in shldw */
+void OPPROTO glue(glue(op_shld, SUFFIX), _T0_T1_im_cc)(void)
+{
+ int count;
+ unsigned int res;
+ count = PARAM1;
+ T1 &= 0xffff;
+ res = T1 | (T0 << 16);
+ CC_SRC = res >> (32 - count);
+ res <<= count;
+ if (count > 16)
+ res |= T1 << (count - 16);
+ T0 = res >> 16;
+ CC_DST = T0;
+}
+
+void OPPROTO glue(glue(op_shld, SUFFIX), _T0_T1_ECX_cc)(void)
+{
+ int count;
+ unsigned int res;
+ count = ECX & 0x1f;
+ if (count) {
+ T1 &= 0xffff;
+ res = T1 | (T0 << 16);
+ CC_SRC = res >> (32 - count);
+ res <<= count;
+ if (count > 16)
+ res |= T1 << (count - 16);
+ T0 = res >> 16;
+ CC_DST = T0;
+ CC_OP = CC_OP_SARB + SHIFT;
+ }
+ FORCE_RET();
+}
+
+void OPPROTO glue(glue(op_shrd, SUFFIX), _T0_T1_im_cc)(void)
+{
+ int count;
+ unsigned int res;
+
+ count = PARAM1;
+ res = (T0 & 0xffff) | (T1 << 16);
+ CC_SRC = res >> (count - 1);
+ res >>= count;
+ if (count > 16)
+ res |= T1 << (32 - count);
+ T0 = res;
+ CC_DST = T0;
+}
+
+
+void OPPROTO glue(glue(op_shrd, SUFFIX), _T0_T1_ECX_cc)(void)
+{
+ int count;
+ unsigned int res;
+
+ count = ECX & 0x1f;
+ if (count) {
+ res = (T0 & 0xffff) | (T1 << 16);
+ CC_SRC = res >> (count - 1);
+ res >>= count;
+ if (count > 16)
+ res |= T1 << (32 - count);
+ T0 = res;
+ CC_DST = T0;
+ CC_OP = CC_OP_SARB + SHIFT;
+ }
+ FORCE_RET();
+}
+#endif
+
+#if DATA_BITS == 32
+void OPPROTO glue(glue(op_shld, SUFFIX), _T0_T1_im_cc)(void)
+{
+ int count;
+ count = PARAM1;
+ T0 &= DATA_MASK;
+ T1 &= DATA_MASK;
+ CC_SRC = T0 << (count - 1);
+ T0 = (T0 << count) | (T1 >> (DATA_BITS - count));
+ CC_DST = T0;
+}
+
+void OPPROTO glue(glue(op_shld, SUFFIX), _T0_T1_ECX_cc)(void)
+{
+ int count;
+ count = ECX & 0x1f;
+ if (count) {
+ T0 &= DATA_MASK;
+ T1 &= DATA_MASK;
+ CC_SRC = T0 << (count - 1);
+ T0 = (T0 << count) | (T1 >> (DATA_BITS - count));
+ CC_DST = T0;
+ CC_OP = CC_OP_SHLB + SHIFT;
+ }
+ FORCE_RET();
+}
+
+void OPPROTO glue(glue(op_shrd, SUFFIX), _T0_T1_im_cc)(void)
+{
+ int count;
+ count = PARAM1;
+ T0 &= DATA_MASK;
+ T1 &= DATA_MASK;
+ CC_SRC = T0 >> (count - 1);
+ T0 = (T0 >> count) | (T1 << (DATA_BITS - count));
+ CC_DST = T0;
+}
+
+
+void OPPROTO glue(glue(op_shrd, SUFFIX), _T0_T1_ECX_cc)(void)
+{
+ int count;
+ count = ECX & 0x1f;
+ if (count) {
+ T0 &= DATA_MASK;
+ T1 &= DATA_MASK;
+ CC_SRC = T0 >> (count - 1);
+ T0 = (T0 >> count) | (T1 << (DATA_BITS - count));
+ CC_DST = T0;
+ CC_OP = CC_OP_SARB + SHIFT;
+ }
+ FORCE_RET();
+}
+#endif
+
/* carry add/sub (we only need to set CC_OP differently) */
void OPPROTO glue(glue(op_adc, SUFFIX), _T0_T1_cc)(void)
CC_OP = CC_OP_SUBB + SHIFT + cf * 3;
}
+void OPPROTO glue(glue(op_cmpxchg, SUFFIX), _T0_T1_EAX_cc)(void)
+{
+ CC_SRC = EAX;
+ CC_DST = EAX - T0;
+ if ((DATA_TYPE)CC_DST == 0) {
+ T0 = T1;
+ } else {
+ EAX = (EAX & ~DATA_MASK) | (T0 & DATA_MASK);
+ }
+ FORCE_RET();
+}
+
/* bit operations */
#if DATA_BITS >= 16
T0 ^= (1 << count);
}
-#endif
-
-/* string operations */
-/* XXX: maybe use lower level instructions to ease exception handling */
-
-void OPPROTO glue(op_movs, SUFFIX)(void)
-{
- int v;
- v = glue(ldu, SUFFIX)((void *)ESI);
- glue(st, SUFFIX)((void *)EDI, v);
- ESI += (DF << SHIFT);
- EDI += (DF << SHIFT);
-}
-
-void OPPROTO glue(op_rep_movs, SUFFIX)(void)
-{
- int v, inc;
- inc = (DF << SHIFT);
- while (ECX != 0) {
- v = glue(ldu, SUFFIX)((void *)ESI);
- glue(st, SUFFIX)((void *)EDI, v);
- ESI += inc;
- EDI += inc;
- ECX--;
+void OPPROTO glue(glue(op_bsf, SUFFIX), _T0_cc)(void)
+{
+ int res, count;
+ res = T0 & DATA_MASK;
+ if (res != 0) {
+ count = 0;
+ while ((res & 1) == 0) {
+ count++;
+ res >>= 1;
+ }
+ T0 = count;
+ CC_DST = 1; /* ZF = 1 */
+ } else {
+ CC_DST = 0; /* ZF = 1 */
}
+ FORCE_RET();
}
-void OPPROTO glue(op_stos, SUFFIX)(void)
-{
- glue(st, SUFFIX)((void *)EDI, EAX);
- EDI += (DF << SHIFT);
-}
-
-void OPPROTO glue(op_rep_stos, SUFFIX)(void)
-{
- int inc;
- inc = (DF << SHIFT);
- while (ECX != 0) {
- glue(st, SUFFIX)((void *)EDI, EAX);
- EDI += inc;
- ECX--;
+void OPPROTO glue(glue(op_bsr, SUFFIX), _T0_cc)(void)
+{
+ int res, count;
+ res = T0 & DATA_MASK;
+ if (res != 0) {
+ count = DATA_BITS - 1;
+ while ((res & SIGN_MASK) == 0) {
+ count--;
+ res <<= 1;
+ }
+ T0 = count;
+ CC_DST = 1; /* ZF = 1 */
+ } else {
+ CC_DST = 0; /* ZF = 1 */
}
+ FORCE_RET();
}
-void OPPROTO glue(op_lods, SUFFIX)(void)
-{
- int v;
- v = glue(ldu, SUFFIX)((void *)ESI);
-#if SHIFT == 0
- EAX = (EAX & ~0xff) | v;
-#elif SHIFT == 1
- EAX = (EAX & ~0xffff) | v;
-#else
- EAX = v;
-#endif
- ESI += (DF << SHIFT);
-}
-
-/* don't know if it is used */
-void OPPROTO glue(op_rep_lods, SUFFIX)(void)
-{
- int v, inc;
- inc = (DF << SHIFT);
- while (ECX != 0) {
- v = glue(ldu, SUFFIX)((void *)ESI);
-#if SHIFT == 0
- EAX = (EAX & ~0xff) | v;
-#elif SHIFT == 1
- EAX = (EAX & ~0xffff) | v;
-#else
- EAX = v;
#endif
- ESI += inc;
- ECX--;
- }
-}
-
-void OPPROTO glue(op_scas, SUFFIX)(void)
-{
- int v;
-
- v = glue(ldu, SUFFIX)((void *)EDI);
- EDI += (DF << SHIFT);
- CC_SRC = EAX;
- CC_DST = EAX - v;
-}
-
-void OPPROTO glue(op_repz_scas, SUFFIX)(void)
-{
- int v1, v2, inc;
-
- if (ECX != 0) {
- /* NOTE: the flags are not modified if ECX == 0 */
- v1 = EAX & DATA_MASK;
- inc = (DF << SHIFT);
- do {
- v2 = glue(ldu, SUFFIX)((void *)EDI);
- EDI += inc;
- ECX--;
- if (v1 != v2)
- break;
- } while (ECX != 0);
- CC_SRC = v1;
- CC_DST = v1 - v2;
- CC_OP = CC_OP_SUBB + SHIFT;
- }
-}
-
-void OPPROTO glue(op_repnz_scas, SUFFIX)(void)
-{
- int v1, v2, inc;
-
- if (ECX != 0) {
- /* NOTE: the flags are not modified if ECX == 0 */
- v1 = EAX & DATA_MASK;
- inc = (DF << SHIFT);
- do {
- v2 = glue(ldu, SUFFIX)((void *)EDI);
- EDI += inc;
- ECX--;
- if (v1 == v2)
- break;
- } while (ECX != 0);
- CC_SRC = v1;
- CC_DST = v1 - v2;
- CC_OP = CC_OP_SUBB + SHIFT;
- }
-}
-
-void OPPROTO glue(op_cmps, SUFFIX)(void)
-{
- int v1, v2;
- v1 = glue(ldu, SUFFIX)((void *)ESI);
- v2 = glue(ldu, SUFFIX)((void *)EDI);
- ESI += (DF << SHIFT);
- EDI += (DF << SHIFT);
- CC_SRC = v1;
- CC_DST = v1 - v2;
-}
-
-void OPPROTO glue(op_repz_cmps, SUFFIX)(void)
-{
- int v1, v2, inc;
- if (ECX != 0) {
- inc = (DF << SHIFT);
- do {
- v1 = glue(ldu, SUFFIX)((void *)ESI);
- v2 = glue(ldu, SUFFIX)((void *)EDI);
- ESI += inc;
- EDI += inc;
- ECX--;
- if (v1 != v2)
- break;
- } while (ECX != 0);
- CC_SRC = v1;
- CC_DST = v1 - v2;
- CC_OP = CC_OP_SUBB + SHIFT;
- }
-}
-void OPPROTO glue(op_repnz_cmps, SUFFIX)(void)
-{
- int v1, v2, inc;
- if (ECX != 0) {
- inc = (DF << SHIFT);
- do {
- v1 = glue(ldu, SUFFIX)((void *)ESI);
- v2 = glue(ldu, SUFFIX)((void *)EDI);
- ESI += inc;
- EDI += inc;
- ECX--;
- if (v1 == v2)
- break;
- } while (ECX != 0);
- CC_SRC = v1;
- CC_DST = v1 - v2;
- CC_OP = CC_OP_SUBB + SHIFT;
- }
-}
+/* string operations */
+/* XXX: maybe use lower level instructions to ease 16 bit / segment handling */
+
+#define STRING_SUFFIX _fast
+#define SI_ADDR (void *)ESI
+#define DI_ADDR (void *)EDI
+#define INC_SI() ESI += inc
+#define INC_DI() EDI += inc
+#define CX ECX
+#define DEC_CX() ECX--
+#include "op_string.h"
+
+#define STRING_SUFFIX _a32
+#define SI_ADDR (uint8_t *)A0 + ESI
+#define DI_ADDR env->seg_cache[R_ES].base + EDI
+#define INC_SI() ESI += inc
+#define INC_DI() EDI += inc
+#define CX ECX
+#define DEC_CX() ECX--
+#include "op_string.h"
+
+#define STRING_SUFFIX _a16
+#define SI_ADDR (uint8_t *)A0 + (ESI & 0xffff)
+#define DI_ADDR env->seg_cache[R_ES].base + (EDI & 0xffff)
+#define INC_SI() ESI = (ESI & ~0xffff) | ((ESI + inc) & 0xffff)
+#define INC_DI() EDI = (EDI & ~0xffff) | ((EDI + inc) & 0xffff)
+#define CX (ECX & 0xffff)
+#define DEC_CX() ECX = (ECX & ~0xffff) | ((ECX - 1) & 0xffff)
+#include "op_string.h"
/* port I/O */
-void OPPROTO glue(op_outs, SUFFIX)(void)
-{
- int v, dx;
- dx = EDX & 0xffff;
- v = glue(ldu, SUFFIX)((void *)ESI);
- glue(cpu_x86_out, SUFFIX)(dx, v);
- ESI += (DF << SHIFT);
-}
-
-void OPPROTO glue(op_rep_outs, SUFFIX)(void)
-{
- int v, dx, inc;
- inc = (DF << SHIFT);
- dx = EDX & 0xffff;
- while (ECX != 0) {
- v = glue(ldu, SUFFIX)((void *)ESI);
- glue(cpu_x86_out, SUFFIX)(dx, v);
- ESI += inc;
- ECX--;
- }
-}
-
-void OPPROTO glue(op_ins, SUFFIX)(void)
-{
- int v, dx;
- dx = EDX & 0xffff;
- v = glue(cpu_x86_in, SUFFIX)(dx);
- glue(st, SUFFIX)((void *)EDI, v);
- EDI += (DF << SHIFT);
-}
-
-void OPPROTO glue(op_rep_ins, SUFFIX)(void)
-{
- int v, dx, inc;
- inc = (DF << SHIFT);
- dx = EDX & 0xffff;
- while (ECX != 0) {
- v = glue(cpu_x86_in, SUFFIX)(dx);
- glue(st, SUFFIX)((void *)EDI, v);
- EDI += (DF << SHIFT);
- ECX--;
- }
-}
-
void OPPROTO glue(glue(op_out, SUFFIX), _T0_T1)(void)
{
- glue(cpu_x86_out, SUFFIX)(T0 & 0xffff, T1 & DATA_MASK);
+ glue(cpu_x86_out, SUFFIX)(env, T0 & 0xffff, T1 & DATA_MASK);
}
void OPPROTO glue(glue(op_in, SUFFIX), _T0_T1)(void)
{
- T1 = glue(cpu_x86_in, SUFFIX)(T0 & 0xffff);
+ T1 = glue(cpu_x86_in, SUFFIX)(env, T0 & 0xffff);
}
#undef DATA_BITS
projects / qemu.git / blobdiff