/*
* i386 micro operations
- *
+ *
* Copyright (c) 2003 Fabrice Bellard
*
* This library is free software; you can redistribute it and/or
/* operations without flags */
-void OPPROTO op_addl_T0_T1(void)
-{
- T0 += T1;
-}
-
-void OPPROTO op_orl_T0_T1(void)
-{
- T0 |= T1;
-}
-
-void OPPROTO op_andl_T0_T1(void)
-{
- T0 &= T1;
-}
-
-void OPPROTO op_subl_T0_T1(void)
-{
- T0 -= T1;
-}
-
-void OPPROTO op_xorl_T0_T1(void)
-{
- T0 ^= T1;
-}
-
void OPPROTO op_negl_T0(void)
{
T0 = -T0;
T0 = ~T0;
}
-void OPPROTO op_bswapl_T0(void)
-{
- T0 = bswap32(T0);
-}
-
-#ifdef TARGET_X86_64
-void OPPROTO op_bswapq_T0(void)
-{
- T0 = bswap64(T0);
-}
-#endif
-
/* multiply/divide */
/* XXX: add eflags optimizations */
{
int64_t res;
res = (int64_t)((int32_t)EAX) * (int64_t)((int32_t)T0);
- EAX = res;
- EDX = res >> 32;
+ EAX = (uint32_t)(res);
+ EDX = (uint32_t)(res >> 32);
CC_DST = res;
CC_SRC = (res != (int32_t)res);
}
#endif
/* division, flags are undefined */
-/* XXX: add exceptions for overflow */
void OPPROTO op_divb_AL_T0(void)
{
if (den == 0) {
raise_exception(EXCP00_DIVZ);
}
- q = (num / den) & 0xff;
+ q = (num / den);
+ if (q > 0xff)
+ raise_exception(EXCP00_DIVZ);
+ q &= 0xff;
r = (num % den) & 0xff;
EAX = (EAX & ~0xffff) | (r << 8) | q;
}
if (den == 0) {
raise_exception(EXCP00_DIVZ);
}
- q = (num / den) & 0xff;
+ q = (num / den);
+ if (q != (int8_t)q)
+ raise_exception(EXCP00_DIVZ);
+ q &= 0xff;
r = (num % den) & 0xff;
EAX = (EAX & ~0xffff) | (r << 8) | q;
}
if (den == 0) {
raise_exception(EXCP00_DIVZ);
}
- q = (num / den) & 0xffff;
+ q = (num / den);
+ if (q > 0xffff)
+ raise_exception(EXCP00_DIVZ);
+ q &= 0xffff;
r = (num % den) & 0xffff;
EAX = (EAX & ~0xffff) | q;
EDX = (EDX & ~0xffff) | r;
if (den == 0) {
raise_exception(EXCP00_DIVZ);
}
- q = (num / den) & 0xffff;
+ q = (num / den);
+ if (q != (int16_t)q)
+ raise_exception(EXCP00_DIVZ);
+ q &= 0xffff;
r = (num % den) & 0xffff;
EAX = (EAX & ~0xffff) | q;
EDX = (EDX & ~0xffff) | r;
}
-void OPPROTO op_divl_EAX_T0(void)
-{
- helper_divl_EAX_T0();
-}
-
-void OPPROTO op_idivl_EAX_T0(void)
-{
- helper_idivl_EAX_T0();
-}
-
#ifdef TARGET_X86_64
void OPPROTO op_divq_EAX_T0(void)
{
/* constant load & misc op */
/* XXX: consistent names */
-void OPPROTO op_movl_T0_imu(void)
-{
- T0 = (uint32_t)PARAM1;
-}
-
-void OPPROTO op_movl_T0_im(void)
-{
- T0 = (int32_t)PARAM1;
-}
-
-void OPPROTO op_addl_T0_im(void)
-{
- T0 += PARAM1;
-}
-
-void OPPROTO op_andl_T0_ffff(void)
-{
- T0 = T0 & 0xffff;
-}
-
-void OPPROTO op_andl_T0_im(void)
-{
- T0 = T0 & PARAM1;
-}
-
-void OPPROTO op_movl_T0_T1(void)
-{
- T0 = T1;
-}
-
-void OPPROTO op_movl_T1_imu(void)
-{
- T1 = (uint32_t)PARAM1;
-}
-
-void OPPROTO op_movl_T1_im(void)
-{
- T1 = (int32_t)PARAM1;
-}
-
void OPPROTO op_addl_T1_im(void)
{
T1 += PARAM1;
T1 = A0;
}
-void OPPROTO op_movl_A0_im(void)
-{
- A0 = (uint32_t)PARAM1;
-}
-
-void OPPROTO op_addl_A0_im(void)
-{
- A0 = (uint32_t)(A0 + PARAM1);
-}
-
-void OPPROTO op_movl_A0_seg(void)
-{
- A0 = (uint32_t)*(target_ulong *)((char *)env + PARAM1);
-}
-
-void OPPROTO op_addl_A0_seg(void)
-{
- A0 = (uint32_t)(A0 + *(target_ulong *)((char *)env + PARAM1));
-}
-
void OPPROTO op_addl_A0_AL(void)
{
A0 = (uint32_t)(A0 + (EAX & 0xff));
} UREG64;
#endif
-#ifdef TARGET_X86_64
-
#define PARAMQ1 \
({\
UREG64 __p;\
__p.l.v1 = PARAM1;\
__p.l.v0 = PARAM2;\
__p.q;\
-})
-
-void OPPROTO op_movq_T0_im64(void)
-{
- T0 = PARAMQ1;
-}
-
-void OPPROTO op_movq_A0_im(void)
-{
- A0 = (int32_t)PARAM1;
-}
-
-void OPPROTO op_movq_A0_im64(void)
-{
- A0 = PARAMQ1;
-}
-
-void OPPROTO op_addq_A0_im(void)
-{
- A0 = (A0 + (int32_t)PARAM1);
-}
-
-void OPPROTO op_addq_A0_im64(void)
-{
- A0 = (A0 + PARAMQ1);
-}
+})
-void OPPROTO op_movq_A0_seg(void)
-{
- A0 = *(target_ulong *)((char *)env + PARAM1);
-}
-
-void OPPROTO op_addq_A0_seg(void)
-{
- A0 += *(target_ulong *)((char *)env + PARAM1);
-}
+#ifdef TARGET_X86_64
void OPPROTO op_addq_A0_AL(void)
{
#endif
-void OPPROTO op_andl_A0_ffff(void)
-{
- A0 = A0 & 0xffff;
-}
-
-/* memory access */
-
-#define MEMSUFFIX _raw
-#include "ops_mem.h"
-
-#if !defined(CONFIG_USER_ONLY)
-#define MEMSUFFIX _kernel
-#include "ops_mem.h"
-
-#define MEMSUFFIX _user
-#include "ops_mem.h"
-#endif
-
-/* indirect jump */
-
-void OPPROTO op_jmp_T0(void)
-{
- EIP = T0;
-}
-
-void OPPROTO op_movl_eip_im(void)
-{
- EIP = (uint32_t)PARAM1;
-}
-
-#ifdef TARGET_X86_64
-void OPPROTO op_movq_eip_im(void)
+void OPPROTO op_hlt(void)
{
- EIP = (int32_t)PARAM1;
+ helper_hlt();
}
-void OPPROTO op_movq_eip_im64(void)
+void OPPROTO op_monitor(void)
{
- EIP = PARAMQ1;
+ helper_monitor();
}
-#endif
-void OPPROTO op_hlt(void)
+void OPPROTO op_mwait(void)
{
- env->hflags &= ~HF_INHIBIT_IRQ_MASK; /* needed if sti is just before */
- env->exception_index = EXCP_HLT;
- cpu_loop_exit();
+ helper_mwait();
}
void OPPROTO op_debug(void)
env->hflags &= ~HF_INHIBIT_IRQ_MASK;
}
+void OPPROTO op_rsm(void)
+{
+ helper_rsm();
+}
+
#if 0
/* vm86plus instructions */
void OPPROTO op_cli_vm(void)
helper_cmpxchg8b();
}
-void OPPROTO op_movl_T0_0(void)
-{
- T0 = 0;
-}
-
-void OPPROTO op_exit_tb(void)
+void OPPROTO op_single_step(void)
{
- EXIT_TB();
+ helper_single_step();
}
/* multiple size ops */
void OPPROTO op_movswl_EAX_AX(void)
{
- EAX = (int16_t)EAX;
+ EAX = (uint32_t)((int16_t)EAX);
}
#ifdef TARGET_X86_64
void OPPROTO op_movslq_EDX_EAX(void)
{
- EDX = (int32_t)EAX >> 31;
+ EDX = (uint32_t)((int32_t)EAX >> 31);
}
void OPPROTO op_movswl_DX_AX(void)
}
#endif
-/* push/pop utils */
-
-void op_addl_A0_SS(void)
-{
- A0 += (long)env->segs[R_SS].base;
-}
-
-void op_subl_A0_2(void)
-{
- A0 = (uint32_t)(A0 - 2);
-}
-
-void op_subl_A0_4(void)
-{
- A0 = (uint32_t)(A0 - 4);
-}
-
-void op_addl_ESP_4(void)
-{
- ESP = (uint32_t)(ESP + 4);
-}
-
-void op_addl_ESP_2(void)
-{
- ESP = (uint32_t)(ESP + 2);
-}
-
-void op_addw_ESP_4(void)
+void OPPROTO op_rdtsc(void)
{
- ESP = (ESP & ~0xffff) | ((ESP + 4) & 0xffff);
+ helper_rdtsc();
}
-void op_addw_ESP_2(void)
+void OPPROTO op_rdpmc(void)
{
- ESP = (ESP & ~0xffff) | ((ESP + 2) & 0xffff);
+ helper_rdpmc();
}
-void op_addl_ESP_im(void)
+void OPPROTO op_cpuid(void)
{
- ESP = (uint32_t)(ESP + PARAM1);
+ helper_cpuid();
}
-void op_addw_ESP_im(void)
+void OPPROTO op_enter_level(void)
{
- ESP = (ESP & ~0xffff) | ((ESP + PARAM1) & 0xffff);
+ helper_enter_level(PARAM1, PARAM2);
}
#ifdef TARGET_X86_64
-void op_subq_A0_8(void)
+void OPPROTO op_enter64_level(void)
{
- A0 -= 8;
-}
-
-void op_addq_ESP_8(void)
-{
- ESP += 8;
-}
-
-void op_addq_ESP_im(void)
-{
- ESP += PARAM1;
+ helper_enter64_level(PARAM1, PARAM2);
}
#endif
-void OPPROTO op_rdtsc(void)
-{
- helper_rdtsc();
-}
-
-void OPPROTO op_cpuid(void)
-{
- helper_cpuid();
-}
-
-void OPPROTO op_enter_level(void)
-{
- helper_enter_level(PARAM1, PARAM2);
-}
-
void OPPROTO op_sysenter(void)
{
helper_sysenter();
}
EAX = (EAX & ~0xffff) | al | (ah << 8);
CC_SRC = eflags;
+ FORCE_RET();
}
void OPPROTO op_aas(void)
}
EAX = (EAX & ~0xffff) | al | (ah << 8);
CC_SRC = eflags;
+ FORCE_RET();
}
void OPPROTO op_daa(void)
eflags |= parity_table[al]; /* pf */
eflags |= (al & 0x80); /* sf */
CC_SRC = eflags;
+ FORCE_RET();
}
void OPPROTO op_das(void)
eflags |= parity_table[al]; /* pf */
eflags |= (al & 0x80); /* sf */
CC_SRC = eflags;
+ FORCE_RET();
}
/* segment handling */
{
int selector;
SegmentCache *sc;
-
+
selector = T0 & 0xffff;
/* env->segs[] access */
sc = (SegmentCache *)((char *)env + PARAM1);
}
FORCE_RET();
}
-
+
void OPPROTO op_arpl_update(void)
{
int eflags;
eflags = cc_table[CC_OP].compute_all();
CC_SRC = (eflags & ~CC_Z) | T1;
}
-
+
/* T0: segment, T1:eip */
void OPPROTO op_ljmp_protected_T0_T1(void)
{
helper_ltr_T0();
}
-/* CR registers access */
+/* CR registers access. */
void OPPROTO op_movl_crN_T0(void)
{
helper_movl_crN_T0(PARAM1);
}
-#if !defined(CONFIG_USER_ONLY)
+/* These pseudo-opcodes check for SVM intercepts. */
+void OPPROTO op_svm_check_intercept(void)
+{
+ A0 = PARAM1 & PARAM2;
+ svm_check_intercept(PARAMQ1);
+}
+
+void OPPROTO op_svm_check_intercept_param(void)
+{
+ A0 = PARAM1 & PARAM2;
+ svm_check_intercept_param(PARAMQ1, T1);
+}
+
+void OPPROTO op_svm_vmexit(void)
+{
+ A0 = PARAM1 & PARAM2;
+ vmexit(PARAMQ1, T1);
+}
+
+void OPPROTO op_geneflags(void)
+{
+ CC_SRC = cc_table[CC_OP].compute_all();
+}
+
+/* This pseudo-opcode checks for IO intercepts. */
+#if !defined(CONFIG_USER_ONLY)
+void OPPROTO op_svm_check_intercept_io(void)
+{
+ A0 = PARAM1 & PARAM2;
+ /* PARAMQ1 = TYPE (0 = OUT, 1 = IN; 4 = STRING; 8 = REP)
+ T0 = PORT
+ T1 = next eip */
+ stq_phys(env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), T1);
+ /* ASIZE does not appear on real hw */
+ svm_check_intercept_param(SVM_EXIT_IOIO,
+ (PARAMQ1 & ~SVM_IOIO_ASIZE_MASK) |
+ ((T0 & 0xffff) << 16));
+}
+#endif
+
+#if !defined(CONFIG_USER_ONLY)
void OPPROTO op_movtl_T0_cr8(void)
{
T0 = cpu_get_apic_tpr(env);
/* flags handling */
-void OPPROTO op_goto_tb0(void)
-{
- GOTO_TB(op_goto_tb0, PARAM1, 0);
-}
-
-void OPPROTO op_goto_tb1(void)
-{
- GOTO_TB(op_goto_tb1, PARAM1, 1);
-}
-
void OPPROTO op_jmp_label(void)
{
GOTO_LABEL_PARAM(1);
T0 ^= 1;
}
-void OPPROTO op_set_cc_op(void)
+void OPPROTO op_mov_T0_cc(void)
{
- CC_OP = PARAM1;
+ T0 = cc_table[CC_OP].compute_all();
}
/* XXX: clear VIF/VIP in all ops ? */
[CC_OP_SUBB] = { compute_all_subb, compute_c_subb },
[CC_OP_SUBW] = { compute_all_subw, compute_c_subw },
[CC_OP_SUBL] = { compute_all_subl, compute_c_subl },
-
+
[CC_OP_SBBB] = { compute_all_sbbb, compute_c_sbbb },
[CC_OP_SBBW] = { compute_all_sbbw, compute_c_sbbw },
[CC_OP_SBBL] = { compute_all_sbbl, compute_c_sbbl },
-
+
[CC_OP_LOGICB] = { compute_all_logicb, compute_c_logicb },
[CC_OP_LOGICW] = { compute_all_logicw, compute_c_logicw },
[CC_OP_LOGICL] = { compute_all_logicl, compute_c_logicl },
-
+
[CC_OP_INCB] = { compute_all_incb, compute_c_incl },
[CC_OP_INCW] = { compute_all_incw, compute_c_incl },
[CC_OP_INCL] = { compute_all_incl, compute_c_incl },
-
+
[CC_OP_DECB] = { compute_all_decb, compute_c_incl },
[CC_OP_DECW] = { compute_all_decw, compute_c_incl },
[CC_OP_DECL] = { compute_all_decl, compute_c_incl },
-
+
[CC_OP_SHLB] = { compute_all_shlb, compute_c_shlb },
[CC_OP_SHLW] = { compute_all_shlw, compute_c_shlw },
[CC_OP_SHLL] = { compute_all_shll, compute_c_shll },
[CC_OP_ADCQ] = { compute_all_adcq, compute_c_adcq },
[CC_OP_SUBQ] = { compute_all_subq, compute_c_subq },
-
+
[CC_OP_SBBQ] = { compute_all_sbbq, compute_c_sbbq },
-
+
[CC_OP_LOGICQ] = { compute_all_logicq, compute_c_logicq },
-
+
[CC_OP_INCQ] = { compute_all_incq, compute_c_incl },
[CC_OP_DECQ] = { compute_all_decq, compute_c_incl },
#endif
};
-/* floating point support. Some of the code for complicated x87
- functions comes from the LGPL'ed x86 emulator found in the Willows
- TWIN windows emulator. */
-
-#if defined(__powerpc__)
-extern CPU86_LDouble copysign(CPU86_LDouble, CPU86_LDouble);
-
-/* correct (but slow) PowerPC rint() (glibc version is incorrect) */
-double qemu_rint(double x)
-{
- double y = 4503599627370496.0;
- if (fabs(x) >= y)
- return x;
- if (x < 0)
- y = -y;
- y = (x + y) - y;
- if (y == 0.0)
- y = copysign(y, x);
- return y;
-}
-
-#define rint qemu_rint
-#endif
-
-/* fp load FT0 */
-
-void OPPROTO op_flds_FT0_A0(void)
-{
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i32 = ldl(A0);
- FT0 = FP_CONVERT.f;
-#else
- FT0 = ldfl(A0);
-#endif
-}
-
-void OPPROTO op_fldl_FT0_A0(void)
-{
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i64 = ldq(A0);
- FT0 = FP_CONVERT.d;
-#else
- FT0 = ldfq(A0);
-#endif
-}
-
-/* helpers are needed to avoid static constant reference. XXX: find a better way */
-#ifdef USE_INT_TO_FLOAT_HELPERS
-
-void helper_fild_FT0_A0(void)
-{
- FT0 = (CPU86_LDouble)ldsw(A0);
-}
-
-void helper_fildl_FT0_A0(void)
-{
- FT0 = (CPU86_LDouble)((int32_t)ldl(A0));
-}
-
-void helper_fildll_FT0_A0(void)
+void OPPROTO op_fcomi_dummy(void)
{
- FT0 = (CPU86_LDouble)((int64_t)ldq(A0));
-}
-
-void OPPROTO op_fild_FT0_A0(void)
-{
- helper_fild_FT0_A0();
+ T0 = 0;
}
-void OPPROTO op_fildl_FT0_A0(void)
+/* threading support */
+void OPPROTO op_lock(void)
{
- helper_fildl_FT0_A0();
+ cpu_lock();
}
-void OPPROTO op_fildll_FT0_A0(void)
+void OPPROTO op_unlock(void)
{
- helper_fildll_FT0_A0();
+ cpu_unlock();
}
-#else
-
-void OPPROTO op_fild_FT0_A0(void)
+/* SSE support */
+void OPPROTO op_com_dummy(void)
{
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i32 = ldsw(A0);
- FT0 = (CPU86_LDouble)FP_CONVERT.i32;
-#else
- FT0 = (CPU86_LDouble)ldsw(A0);
-#endif
+ T0 = 0;
}
-void OPPROTO op_fildl_FT0_A0(void)
-{
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i32 = (int32_t) ldl(A0);
- FT0 = (CPU86_LDouble)FP_CONVERT.i32;
-#else
- FT0 = (CPU86_LDouble)((int32_t)ldl(A0));
-#endif
-}
+/* Secure Virtual Machine ops */
-void OPPROTO op_fildll_FT0_A0(void)
+void OPPROTO op_vmrun(void)
{
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i64 = (int64_t) ldq(A0);
- FT0 = (CPU86_LDouble)FP_CONVERT.i64;
-#else
- FT0 = (CPU86_LDouble)((int64_t)ldq(A0));
-#endif
+ helper_vmrun(EAX);
}
-#endif
-/* fp load ST0 */
-
-void OPPROTO op_flds_ST0_A0(void)
+void OPPROTO op_vmmcall(void)
{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i32 = ldl(A0);
- env->fpregs[new_fpstt].d = FP_CONVERT.f;
-#else
- env->fpregs[new_fpstt].d = ldfl(A0);
-#endif
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
+ helper_vmmcall();
}
-void OPPROTO op_fldl_ST0_A0(void)
+void OPPROTO op_vmload(void)
{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i64 = ldq(A0);
- env->fpregs[new_fpstt].d = FP_CONVERT.d;
-#else
- env->fpregs[new_fpstt].d = ldfq(A0);
-#endif
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
+ helper_vmload(EAX);
}
-void OPPROTO op_fldt_ST0_A0(void)
+void OPPROTO op_vmsave(void)
{
- helper_fldt_ST0_A0();
+ helper_vmsave(EAX);
}
-/* helpers are needed to avoid static constant reference. XXX: find a better way */
-#ifdef USE_INT_TO_FLOAT_HELPERS
-
-void helper_fild_ST0_A0(void)
+void OPPROTO op_stgi(void)
{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
- env->fpregs[new_fpstt].d = (CPU86_LDouble)ldsw(A0);
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
+ helper_stgi();
}
-void helper_fildl_ST0_A0(void)
+void OPPROTO op_clgi(void)
{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
- env->fpregs[new_fpstt].d = (CPU86_LDouble)((int32_t)ldl(A0));
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
+ helper_clgi();
}
-void helper_fildll_ST0_A0(void)
+void OPPROTO op_skinit(void)
{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
- env->fpregs[new_fpstt].d = (CPU86_LDouble)((int64_t)ldq(A0));
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
+ helper_skinit();
}
-void OPPROTO op_fild_ST0_A0(void)
+void OPPROTO op_invlpga(void)
{
- helper_fild_ST0_A0();
+ helper_invlpga();
}
-
-void OPPROTO op_fildl_ST0_A0(void)
-{
- helper_fildl_ST0_A0();
-}
-
-void OPPROTO op_fildll_ST0_A0(void)
-{
- helper_fildll_ST0_A0();
-}
-
-#else
-
-void OPPROTO op_fild_ST0_A0(void)
-{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i32 = ldsw(A0);
- env->fpregs[new_fpstt].d = (CPU86_LDouble)FP_CONVERT.i32;
-#else
- env->fpregs[new_fpstt].d = (CPU86_LDouble)ldsw(A0);
-#endif
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
-}
-
-void OPPROTO op_fildl_ST0_A0(void)
-{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i32 = (int32_t) ldl(A0);
- env->fpregs[new_fpstt].d = (CPU86_LDouble)FP_CONVERT.i32;
-#else
- env->fpregs[new_fpstt].d = (CPU86_LDouble)((int32_t)ldl(A0));
-#endif
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
-}
-
-void OPPROTO op_fildll_ST0_A0(void)
-{
- int new_fpstt;
- new_fpstt = (env->fpstt - 1) & 7;
-#ifdef USE_FP_CONVERT
- FP_CONVERT.i64 = (int64_t) ldq(A0);
- env->fpregs[new_fpstt].d = (CPU86_LDouble)FP_CONVERT.i64;
-#else
- env->fpregs[new_fpstt].d = (CPU86_LDouble)((int64_t)ldq(A0));
-#endif
- env->fpstt = new_fpstt;
- env->fptags[new_fpstt] = 0; /* validate stack entry */
-}
-
-#endif
-
-/* fp store */
-
-void OPPROTO op_fsts_ST0_A0(void)
-{
-#ifdef USE_FP_CONVERT
- FP_CONVERT.f = (float)ST0;
- stfl(A0, FP_CONVERT.f);
-#else
- stfl(A0, (float)ST0);
-#endif
-}
-
-void OPPROTO op_fstl_ST0_A0(void)
-{
- stfq(A0, (double)ST0);
-}
-
-void OPPROTO op_fstt_ST0_A0(void)
-{
- helper_fstt_ST0_A0();
-}
-
-void OPPROTO op_fist_ST0_A0(void)
-{
-#if defined(__sparc__) && !defined(__sparc_v9__)
- register CPU86_LDouble d asm("o0");
-#else
- CPU86_LDouble d;
-#endif
- int val;
-
- d = ST0;
- val = lrint(d);
- if (val != (int16_t)val)
- val = -32768;
- stw(A0, val);
-}
-
-void OPPROTO op_fistl_ST0_A0(void)
-{
-#if defined(__sparc__) && !defined(__sparc_v9__)
- register CPU86_LDouble d asm("o0");
-#else
- CPU86_LDouble d;
-#endif
- int val;
-
- d = ST0;
- val = lrint(d);
- stl(A0, val);
-}
-
-void OPPROTO op_fistll_ST0_A0(void)
-{
-#if defined(__sparc__) && !defined(__sparc_v9__)
- register CPU86_LDouble d asm("o0");
-#else
- CPU86_LDouble d;
-#endif
- int64_t val;
-
- d = ST0;
- val = llrint(d);
- stq(A0, val);
-}
-
-void OPPROTO op_fbld_ST0_A0(void)
-{
- helper_fbld_ST0_A0();
-}
-
-void OPPROTO op_fbst_ST0_A0(void)
-{
- helper_fbst_ST0_A0();
-}
-
-/* FPU move */
-
-void OPPROTO op_fpush(void)
-{
- fpush();
-}
-
-void OPPROTO op_fpop(void)
-{
- fpop();
-}
-
-void OPPROTO op_fdecstp(void)
-{
- env->fpstt = (env->fpstt - 1) & 7;
- env->fpus &= (~0x4700);
-}
-
-void OPPROTO op_fincstp(void)
-{
- env->fpstt = (env->fpstt + 1) & 7;
- env->fpus &= (~0x4700);
-}
-
-void OPPROTO op_ffree_STN(void)
-{
- env->fptags[(env->fpstt + PARAM1) & 7] = 1;
-}
-
-void OPPROTO op_fmov_ST0_FT0(void)
-{
- ST0 = FT0;
-}
-
-void OPPROTO op_fmov_FT0_STN(void)
-{
- FT0 = ST(PARAM1);
-}
-
-void OPPROTO op_fmov_ST0_STN(void)
-{
- ST0 = ST(PARAM1);
-}
-
-void OPPROTO op_fmov_STN_ST0(void)
-{
- ST(PARAM1) = ST0;
-}
-
-void OPPROTO op_fxchg_ST0_STN(void)
-{
- CPU86_LDouble tmp;
- tmp = ST(PARAM1);
- ST(PARAM1) = ST0;
- ST0 = tmp;
-}
-
-/* FPU operations */
-
-/* XXX: handle nans */
-void OPPROTO op_fcom_ST0_FT0(void)
-{
- env->fpus &= (~0x4500); /* (C3,C2,C0) <-- 000 */
- if (ST0 < FT0)
- env->fpus |= 0x100; /* (C3,C2,C0) <-- 001 */
- else if (ST0 == FT0)
- env->fpus |= 0x4000; /* (C3,C2,C0) <-- 100 */
- FORCE_RET();
-}
-
-/* XXX: handle nans */
-void OPPROTO op_fucom_ST0_FT0(void)
-{
- env->fpus &= (~0x4500); /* (C3,C2,C0) <-- 000 */
- if (ST0 < FT0)
- env->fpus |= 0x100; /* (C3,C2,C0) <-- 001 */
- else if (ST0 == FT0)
- env->fpus |= 0x4000; /* (C3,C2,C0) <-- 100 */
- FORCE_RET();
-}
-
-/* XXX: handle nans */
-void OPPROTO op_fcomi_ST0_FT0(void)
-{
- int eflags;
- eflags = cc_table[CC_OP].compute_all();
- eflags &= ~(CC_Z | CC_P | CC_C);
- if (ST0 < FT0)
- eflags |= CC_C;
- else if (ST0 == FT0)
- eflags |= CC_Z;
- CC_SRC = eflags;
- FORCE_RET();
-}
-
-/* XXX: handle nans */
-void OPPROTO op_fucomi_ST0_FT0(void)
-{
- int eflags;
- eflags = cc_table[CC_OP].compute_all();
- eflags &= ~(CC_Z | CC_P | CC_C);
- if (ST0 < FT0)
- eflags |= CC_C;
- else if (ST0 == FT0)
- eflags |= CC_Z;
- CC_SRC = eflags;
- FORCE_RET();
-}
-
-void OPPROTO op_fcmov_ST0_STN_T0(void)
-{
- if (T0) {
- ST0 = ST(PARAM1);
- }
- FORCE_RET();
-}
-
-void OPPROTO op_fadd_ST0_FT0(void)
-{
- ST0 += FT0;
-}
-
-void OPPROTO op_fmul_ST0_FT0(void)
-{
- ST0 *= FT0;
-}
-
-void OPPROTO op_fsub_ST0_FT0(void)
-{
- ST0 -= FT0;
-}
-
-void OPPROTO op_fsubr_ST0_FT0(void)
-{
- ST0 = FT0 - ST0;
-}
-
-void OPPROTO op_fdiv_ST0_FT0(void)
-{
- ST0 = helper_fdiv(ST0, FT0);
-}
-
-void OPPROTO op_fdivr_ST0_FT0(void)
-{
- ST0 = helper_fdiv(FT0, ST0);
-}
-
-/* fp operations between STN and ST0 */
-
-void OPPROTO op_fadd_STN_ST0(void)
-{
- ST(PARAM1) += ST0;
-}
-
-void OPPROTO op_fmul_STN_ST0(void)
-{
- ST(PARAM1) *= ST0;
-}
-
-void OPPROTO op_fsub_STN_ST0(void)
-{
- ST(PARAM1) -= ST0;
-}
-
-void OPPROTO op_fsubr_STN_ST0(void)
-{
- CPU86_LDouble *p;
- p = &ST(PARAM1);
- *p = ST0 - *p;
-}
-
-void OPPROTO op_fdiv_STN_ST0(void)
-{
- CPU86_LDouble *p;
- p = &ST(PARAM1);
- *p = helper_fdiv(*p, ST0);
-}
-
-void OPPROTO op_fdivr_STN_ST0(void)
-{
- CPU86_LDouble *p;
- p = &ST(PARAM1);
- *p = helper_fdiv(ST0, *p);
-}
-
-/* misc FPU operations */
-void OPPROTO op_fchs_ST0(void)
-{
- ST0 = -ST0;
-}
-
-void OPPROTO op_fabs_ST0(void)
-{
- ST0 = fabs(ST0);
-}
-
-void OPPROTO op_fxam_ST0(void)
-{
- helper_fxam_ST0();
-}
-
-void OPPROTO op_fld1_ST0(void)
-{
- ST0 = f15rk[1];
-}
-
-void OPPROTO op_fldl2t_ST0(void)
-{
- ST0 = f15rk[6];
-}
-
-void OPPROTO op_fldl2e_ST0(void)
-{
- ST0 = f15rk[5];
-}
-
-void OPPROTO op_fldpi_ST0(void)
-{
- ST0 = f15rk[2];
-}
-
-void OPPROTO op_fldlg2_ST0(void)
-{
- ST0 = f15rk[3];
-}
-
-void OPPROTO op_fldln2_ST0(void)
-{
- ST0 = f15rk[4];
-}
-
-void OPPROTO op_fldz_ST0(void)
-{
- ST0 = f15rk[0];
-}
-
-void OPPROTO op_fldz_FT0(void)
-{
- FT0 = f15rk[0];
-}
-
-/* associated heplers to reduce generated code length and to simplify
- relocation (FP constants are usually stored in .rodata section) */
-
-void OPPROTO op_f2xm1(void)
-{
- helper_f2xm1();
-}
-
-void OPPROTO op_fyl2x(void)
-{
- helper_fyl2x();
-}
-
-void OPPROTO op_fptan(void)
-{
- helper_fptan();
-}
-
-void OPPROTO op_fpatan(void)
-{
- helper_fpatan();
-}
-
-void OPPROTO op_fxtract(void)
-{
- helper_fxtract();
-}
-
-void OPPROTO op_fprem1(void)
-{
- helper_fprem1();
-}
-
-
-void OPPROTO op_fprem(void)
-{
- helper_fprem();
-}
-
-void OPPROTO op_fyl2xp1(void)
-{
- helper_fyl2xp1();
-}
-
-void OPPROTO op_fsqrt(void)
-{
- helper_fsqrt();
-}
-
-void OPPROTO op_fsincos(void)
-{
- helper_fsincos();
-}
-
-void OPPROTO op_frndint(void)
-{
- helper_frndint();
-}
-
-void OPPROTO op_fscale(void)
-{
- helper_fscale();
-}
-
-void OPPROTO op_fsin(void)
-{
- helper_fsin();
-}
-
-void OPPROTO op_fcos(void)
-{
- helper_fcos();
-}
-
-void OPPROTO op_fnstsw_A0(void)
-{
- int fpus;
- fpus = (env->fpus & ~0x3800) | (env->fpstt & 0x7) << 11;
- stw(A0, fpus);
-}
-
-void OPPROTO op_fnstsw_EAX(void)
-{
- int fpus;
- fpus = (env->fpus & ~0x3800) | (env->fpstt & 0x7) << 11;
- EAX = (EAX & ~0xffff) | fpus;
-}
-
-void OPPROTO op_fnstcw_A0(void)
-{
- stw(A0, env->fpuc);
-}
-
-void OPPROTO op_fldcw_A0(void)
-{
- int rnd_type;
- env->fpuc = lduw(A0);
- /* set rounding mode */
- switch(env->fpuc & RC_MASK) {
- default:
- case RC_NEAR:
- rnd_type = FE_TONEAREST;
- break;
- case RC_DOWN:
- rnd_type = FE_DOWNWARD;
- break;
- case RC_UP:
- rnd_type = FE_UPWARD;
- break;
- case RC_CHOP:
- rnd_type = FE_TOWARDZERO;
- break;
- }
- fesetround(rnd_type);
-}
-
-void OPPROTO op_fclex(void)
-{
- env->fpus &= 0x7f00;
-}
-
-void OPPROTO op_fwait(void)
-{
- if (env->fpus & FPUS_SE)
- fpu_raise_exception();
- FORCE_RET();
-}
-
-void OPPROTO op_fninit(void)
-{
- env->fpus = 0;
- env->fpstt = 0;
- env->fpuc = 0x37f;
- env->fptags[0] = 1;
- env->fptags[1] = 1;
- env->fptags[2] = 1;
- env->fptags[3] = 1;
- env->fptags[4] = 1;
- env->fptags[5] = 1;
- env->fptags[6] = 1;
- env->fptags[7] = 1;
-}
-
-void OPPROTO op_fnstenv_A0(void)
-{
- helper_fstenv(A0, PARAM1);
-}
-
-void OPPROTO op_fldenv_A0(void)
-{
- helper_fldenv(A0, PARAM1);
-}
-
-void OPPROTO op_fnsave_A0(void)
-{
- helper_fsave(A0, PARAM1);
-}
-
-void OPPROTO op_frstor_A0(void)
-{
- helper_frstor(A0, PARAM1);
-}
-
-/* threading support */
-void OPPROTO op_lock(void)
-{
- cpu_lock();
-}
-
-void OPPROTO op_unlock(void)
-{
- cpu_unlock();
-}
-
-/* SSE support */
-static inline void memcpy16(void *d, void *s)
-{
- ((uint32_t *)d)[0] = ((uint32_t *)s)[0];
- ((uint32_t *)d)[1] = ((uint32_t *)s)[1];
- ((uint32_t *)d)[2] = ((uint32_t *)s)[2];
- ((uint32_t *)d)[3] = ((uint32_t *)s)[3];
-}
-
-void OPPROTO op_movo(void)
-{
- /* XXX: badly generated code */
- XMMReg *d, *s;
- d = (XMMReg *)((char *)env + PARAM1);
- s = (XMMReg *)((char *)env + PARAM2);
- memcpy16(d, s);
-}
-
-void OPPROTO op_movq(void)
-{
- uint64_t *d, *s;
- d = (uint64_t *)((char *)env + PARAM1);
- s = (uint64_t *)((char *)env + PARAM2);
- *d = *s;
-}
-
-void OPPROTO op_movl(void)
-{
- uint32_t *d, *s;
- d = (uint32_t *)((char *)env + PARAM1);
- s = (uint32_t *)((char *)env + PARAM2);
- *d = *s;
-}
-
-void OPPROTO op_movq_env_0(void)
-{
- uint64_t *d;
- d = (uint64_t *)((char *)env + PARAM1);
- *d = 0;
-}
-
-void OPPROTO op_fxsave_A0(void)
-{
- helper_fxsave(A0, PARAM1);
-}
-
-void OPPROTO op_fxrstor_A0(void)
-{
- helper_fxrstor(A0, PARAM1);
-}
-
-/* XXX: optimize by storing fptt and fptags in the static cpu state */
-void OPPROTO op_enter_mmx(void)
-{
- env->fpstt = 0;
- *(uint32_t *)(env->fptags) = 0;
- *(uint32_t *)(env->fptags + 4) = 0;
-}
-
-void OPPROTO op_emms(void)
-{
- /* set to empty state */
- *(uint32_t *)(env->fptags) = 0x01010101;
- *(uint32_t *)(env->fptags + 4) = 0x01010101;
-}
-
-#define SHIFT 0
-#include "ops_sse.h"
-
-#define SHIFT 1
-#include "ops_sse.h"
projects / qemu.git / blobdiff