Archipelago » qemu

/*

 *  i386 micro operations

 * 

 *  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

 */

#include "exec.h"

/* n must be a constant to be efficient */

static inline int lshift(int x, int n)

{

    if (n >= 0)

        return x << n;

    else

        return x >> (-n);

}

/* we define the various pieces of code used by the JIT */

#define REG EAX

#define REGNAME _EAX

#include "opreg_template.h"

#undef REG

#undef REGNAME

#define REG ECX

#define REGNAME _ECX

#include "opreg_template.h"

#undef REG

#undef REGNAME

#define REG EDX

#define REGNAME _EDX

#include "opreg_template.h"

#undef REG

#undef REGNAME

#define REG EBX

#define REGNAME _EBX

#include "opreg_template.h"

#undef REG

#undef REGNAME

#define REG ESP

#define REGNAME _ESP

#include "opreg_template.h"

#undef REG

#undef REGNAME

#define REG EBP

#define REGNAME _EBP

#include "opreg_template.h"

#undef REG

#undef REGNAME

#define REG ESI

#define REGNAME _ESI

#include "opreg_template.h"

#undef REG

#undef REGNAME

#define REG EDI

#define REGNAME _EDI

#include "opreg_template.h"

#undef REG

#undef REGNAME

/* operations with flags */

/* update flags with T0 and T1 (add/sub case) */

void OPPROTO op_update2_cc(void)

{

    CC_SRC = T1;

    CC_DST = T0;

}

/* update flags with T0 (logic operation case) */

void OPPROTO op_update1_cc(void)

{

    CC_DST = T0;

}

void OPPROTO op_update_neg_cc(void)

{

    CC_SRC = -T0;

    CC_DST = T0;

}

void OPPROTO op_cmpl_T0_T1_cc(void)

{

    CC_SRC = T1;

    CC_DST = T0 - T1;

}

void OPPROTO op_update_inc_cc(void)

{

    CC_SRC = cc_table[CC_OP].compute_c();

    CC_DST = T0;

}

void OPPROTO op_testl_T0_T1_cc(void)

{

    CC_DST = T0 & T1;

}

/* 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;

}

void OPPROTO op_incl_T0(void)

{

    T0++;

}

void OPPROTO op_decl_T0(void)

{

    T0--;

}

void OPPROTO op_notl_T0(void)

{

    T0 = ~T0;

}

void OPPROTO op_bswapl_T0(void)

{

    T0 = bswap32(T0);

}

/* multiply/divide */

void OPPROTO op_mulb_AL_T0(void)

{

    unsigned int res;

    res = (uint8_t)EAX * (uint8_t)T0;

    EAX = (EAX & 0xffff0000) | res;

    CC_SRC = (res & 0xff00);

}

void OPPROTO op_imulb_AL_T0(void)

{

    int res;

    res = (int8_t)EAX * (int8_t)T0;

    EAX = (EAX & 0xffff0000) | (res & 0xffff);

    CC_SRC = (res != (int8_t)res);

}

void OPPROTO op_mulw_AX_T0(void)

{

    unsigned int res;

    res = (uint16_t)EAX * (uint16_t)T0;

    EAX = (EAX & 0xffff0000) | (res & 0xffff);

    EDX = (EDX & 0xffff0000) | ((res >> 16) & 0xffff);

    CC_SRC = res >> 16;

}

void OPPROTO op_imulw_AX_T0(void)

{

    int res;

    res = (int16_t)EAX * (int16_t)T0;

    EAX = (EAX & 0xffff0000) | (res & 0xffff);

    EDX = (EDX & 0xffff0000) | ((res >> 16) & 0xffff);

    CC_SRC = (res != (int16_t)res);

}

void OPPROTO op_mull_EAX_T0(void)

{

    uint64_t res;

    res = (uint64_t)((uint32_t)EAX) * (uint64_t)((uint32_t)T0);

    EAX = res;

    EDX = res >> 32;

    CC_SRC = res >> 32;

}

void OPPROTO op_imull_EAX_T0(void)

{

    int64_t res;

    res = (int64_t)((int32_t)EAX) * (int64_t)((int32_t)T0);

    EAX = res;

    EDX = res >> 32;

    CC_SRC = (res != (int32_t)res);

}

void OPPROTO op_imulw_T0_T1(void)

{

    int res;

    res = (int16_t)T0 * (int16_t)T1;

    T0 = res;

    CC_SRC = (res != (int16_t)res);

}

void OPPROTO op_imull_T0_T1(void)

{

    int64_t res;

    res = (int64_t)((int32_t)T0) * (int64_t)((int32_t)T1);

    T0 = res;

    CC_SRC = (res != (int32_t)res);

}

/* division, flags are undefined */

/* XXX: add exceptions for overflow */

void OPPROTO op_divb_AL_T0(void)

{

    unsigned int num, den, q, r;

    num = (EAX & 0xffff);

    den = (T0 & 0xff);

    if (den == 0) {

        EIP = PARAM1;

        raise_exception(EXCP00_DIVZ);

    }

    q = (num / den) & 0xff;

    r = (num % den) & 0xff;

    EAX = (EAX & 0xffff0000) | (r << 8) | q;

}

void OPPROTO op_idivb_AL_T0(void)

{

    int num, den, q, r;

    num = (int16_t)EAX;

    den = (int8_t)T0;

    if (den == 0) {

        EIP = PARAM1;

        raise_exception(EXCP00_DIVZ);

    }

    q = (num / den) & 0xff;

    r = (num % den) & 0xff;

    EAX = (EAX & 0xffff0000) | (r << 8) | q;

}

void OPPROTO op_divw_AX_T0(void)

{

    unsigned int num, den, q, r;

    num = (EAX & 0xffff) | ((EDX & 0xffff) << 16);

    den = (T0 & 0xffff);

    if (den == 0) {

        EIP = PARAM1;

        raise_exception(EXCP00_DIVZ);

    }

    q = (num / den) & 0xffff;

    r = (num % den) & 0xffff;

    EAX = (EAX & 0xffff0000) | q;

    EDX = (EDX & 0xffff0000) | r;

}

void OPPROTO op_idivw_AX_T0(void)

{

    int num, den, q, r;

    num = (EAX & 0xffff) | ((EDX & 0xffff) << 16);

    den = (int16_t)T0;

    if (den == 0) {

        EIP = PARAM1;

        raise_exception(EXCP00_DIVZ);

    }

    q = (num / den) & 0xffff;

    r = (num % den) & 0xffff;

    EAX = (EAX & 0xffff0000) | q;

    EDX = (EDX & 0xffff0000) | r;

}

void OPPROTO op_divl_EAX_T0(void)

{

    helper_divl_EAX_T0(PARAM1);

}

void OPPROTO op_idivl_EAX_T0(void)

{

    helper_idivl_EAX_T0(PARAM1);

}

/* constant load & misc op */

void OPPROTO op_movl_T0_im(void)

{

    T0 = 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_im(void)

{

    T1 = PARAM1;

}

void OPPROTO op_addl_T1_im(void)

{

    T1 += PARAM1;

}

void OPPROTO op_movl_T1_A0(void)

{

    T1 = A0;

}

void OPPROTO op_movl_A0_im(void)

{

    A0 = PARAM1;

}

void OPPROTO op_addl_A0_im(void)

{

    A0 += PARAM1;

}

void OPPROTO op_addl_A0_AL(void)

{

    A0 += (EAX & 0xff);

}

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 _user

#include "ops_mem.h"

#define MEMSUFFIX _kernel

#include "ops_mem.h"

#endif

/* used for bit operations */

void OPPROTO op_add_bitw_A0_T1(void)

{

    A0 += ((int32_t)T1 >> 4) << 1;

}

void OPPROTO op_add_bitl_A0_T1(void)

{

    A0 += ((int32_t)T1 >> 5) << 2;

}

/* indirect jump */

void OPPROTO op_jmp_T0(void)

{

    EIP = T0;

}

void OPPROTO op_jmp_im(void)

{

    EIP = PARAM1;

}

void OPPROTO op_hlt(void)

{

    env->exception_index = EXCP_HLT;

    cpu_loop_exit();

}

void OPPROTO op_debug(void)

{

    env->exception_index = EXCP_DEBUG;

    cpu_loop_exit();

}

void OPPROTO op_raise_interrupt(void)

{

    int intno;

    unsigned int next_eip;

    intno = PARAM1;

    next_eip = PARAM2;

    raise_interrupt(intno, 1, 0, next_eip);

}

void OPPROTO op_raise_exception(void)

{

    int exception_index;

    exception_index = PARAM1;

    raise_exception(exception_index);

}

void OPPROTO op_into(void)

{

    int eflags;

    eflags = cc_table[CC_OP].compute_all();

    if (eflags & CC_O) {

        raise_interrupt(EXCP04_INTO, 1, 0, PARAM1);

    }

    FORCE_RET();

}

void OPPROTO op_cli(void)

{

    env->eflags &= ~IF_MASK;

}

void OPPROTO op_sti(void)

{

    env->eflags |= IF_MASK;

}

void OPPROTO op_set_inhibit_irq(void)

{

    env->hflags |= HF_INHIBIT_IRQ_MASK;

}

void OPPROTO op_reset_inhibit_irq(void)

{

    env->hflags &= ~HF_INHIBIT_IRQ_MASK;

}

#if 0

/* vm86plus instructions */

void OPPROTO op_cli_vm(void)

{

    env->eflags &= ~VIF_MASK;

}

void OPPROTO op_sti_vm(void)

{

    env->eflags |= VIF_MASK;

    if (env->eflags & VIP_MASK) {

        EIP = PARAM1;

        raise_exception(EXCP0D_GPF);

    }

    FORCE_RET();

}

#endif

void OPPROTO op_boundw(void)

{

    int low, high, v;

    low = ldsw((uint8_t *)A0);

    high = ldsw((uint8_t *)A0 + 2);

    v = (int16_t)T0;

    if (v < low || v > high) {

        EIP = PARAM1;

        raise_exception(EXCP05_BOUND);

    }

    FORCE_RET();

}

void OPPROTO op_boundl(void)

{

    int low, high, v;

    low = ldl((uint8_t *)A0);

    high = ldl((uint8_t *)A0 + 4);

    v = T0;

    if (v < low || v > high) {

        EIP = PARAM1;

        raise_exception(EXCP05_BOUND);

    }

    FORCE_RET();

}

void OPPROTO op_cmpxchg8b(void)

{

    helper_cmpxchg8b();

}

void OPPROTO op_jmp(void)

{

    JUMP_TB(op_jmp, PARAM1, 0, PARAM2);

}

void OPPROTO op_movl_T0_0(void)

{

    T0 = 0;

}

void OPPROTO op_exit_tb(void)

{

    EXIT_TB();

}

/* multiple size ops */

#define ldul ldl

#define SHIFT 0

#include "ops_template.h"

#undef SHIFT

#define SHIFT 1

#include "ops_template.h"

#undef SHIFT

#define SHIFT 2

#include "ops_template.h"

#undef SHIFT

/* sign extend */

void OPPROTO op_movsbl_T0_T0(void)

{

    T0 = (int8_t)T0;

}

void OPPROTO op_movzbl_T0_T0(void)

{

    T0 = (uint8_t)T0;

}

void OPPROTO op_movswl_T0_T0(void)

{

    T0 = (int16_t)T0;

}

void OPPROTO op_movzwl_T0_T0(void)

{

    T0 = (uint16_t)T0;

}

void OPPROTO op_movswl_EAX_AX(void)

{

    EAX = (int16_t)EAX;

}

void OPPROTO op_movsbw_AX_AL(void)

{

    EAX = (EAX & 0xffff0000) | ((int8_t)EAX & 0xffff);

}

void OPPROTO op_movslq_EDX_EAX(void)

{

    EDX = (int32_t)EAX >> 31;

}

void OPPROTO op_movswl_DX_AX(void)

{

    EDX = (EDX & 0xffff0000) | (((int16_t)EAX >> 15) & 0xffff);

}

/* string ops helpers */

void OPPROTO op_addl_ESI_T0(void)

{

    ESI += T0;

}

void OPPROTO op_addw_ESI_T0(void)

{

    ESI = (ESI & ~0xffff) | ((ESI + T0) & 0xffff);

}

void OPPROTO op_addl_EDI_T0(void)

{

    EDI += T0;

}

void OPPROTO op_addw_EDI_T0(void)

{

    EDI = (EDI & ~0xffff) | ((EDI + T0) & 0xffff);

}

void OPPROTO op_decl_ECX(void)

{

    ECX--;

}

void OPPROTO op_decw_ECX(void)

{

    ECX = (ECX & ~0xffff) | ((ECX - 1) & 0xffff);

}

/* push/pop */

void op_pushl_T0(void)

{

    uint32_t offset;

    offset = ESP - 4;

    stl((void *)offset, T0);

    /* modify ESP after to handle exceptions correctly */

    ESP = offset;

}

void op_pushw_T0(void)

{

    uint32_t offset;

    offset = ESP - 2;

    stw((void *)offset, T0);

    /* modify ESP after to handle exceptions correctly */

    ESP = offset;

}

void op_pushl_ss32_T0(void)

{

    uint32_t offset;

    offset = ESP - 4;

    stl(env->segs[R_SS].base + offset, T0);

    /* modify ESP after to handle exceptions correctly */

    ESP = offset;

}

void op_pushw_ss32_T0(void)

{

    uint32_t offset;

    offset = ESP - 2;

    stw(env->segs[R_SS].base + offset, T0);

    /* modify ESP after to handle exceptions correctly */

    ESP = offset;

}

void op_pushl_ss16_T0(void)

{

    uint32_t offset;

    offset = (ESP - 4) & 0xffff;

    stl(env->segs[R_SS].base + offset, T0);

    /* modify ESP after to handle exceptions correctly */

    ESP = (ESP & ~0xffff) | offset;

}

void op_pushw_ss16_T0(void)

{

    uint32_t offset;

    offset = (ESP - 2) & 0xffff;

    stw(env->segs[R_SS].base + offset, T0);

    /* modify ESP after to handle exceptions correctly */

    ESP = (ESP & ~0xffff) | offset;

}

/* NOTE: ESP update is done after */

void op_popl_T0(void)

{

    T0 = ldl((void *)ESP);

}

void op_popw_T0(void)

{

    T0 = lduw((void *)ESP);

}

void op_popl_ss32_T0(void)

{

    T0 = ldl(env->segs[R_SS].base + ESP);

}

void op_popw_ss32_T0(void)

{

    T0 = lduw(env->segs[R_SS].base + ESP);

}

void op_popl_ss16_T0(void)

{

    T0 = ldl(env->segs[R_SS].base + (ESP & 0xffff));

}

void op_popw_ss16_T0(void)

{

    T0 = lduw(env->segs[R_SS].base + (ESP & 0xffff));

}

void op_addl_ESP_4(void)

{

    ESP += 4;

}

void op_addl_ESP_2(void)

{

    ESP += 2;

}

void op_addw_ESP_4(void)

{

    ESP = (ESP & ~0xffff) | ((ESP + 4) & 0xffff);

}

void op_addw_ESP_2(void)

{

    ESP = (ESP & ~0xffff) | ((ESP + 2) & 0xffff);

}

void op_addl_ESP_im(void)

{

    ESP += PARAM1;

}

void op_addw_ESP_im(void)

{

    ESP = (ESP & ~0xffff) | ((ESP + PARAM1) & 0xffff);

}

void OPPROTO op_rdtsc(void)

{

    helper_rdtsc();

}

void OPPROTO op_cpuid(void)

{

    helper_cpuid();

}

void OPPROTO op_rdmsr(void)

{

    helper_rdmsr();

}

void OPPROTO op_wrmsr(void)

{

    helper_wrmsr();

}

/* bcd */

/* XXX: exception */

void OPPROTO op_aam(void)

{

    int base = PARAM1;

    int al, ah;

    al = EAX & 0xff;

    ah = al / base;

    al = al % base;

    EAX = (EAX & ~0xffff) | al | (ah << 8);

    CC_DST = al;

}

void OPPROTO op_aad(void)

{

    int base = PARAM1;

    int al, ah;

    al = EAX & 0xff;

    ah = (EAX >> 8) & 0xff;

    al = ((ah * base) + al) & 0xff;

    EAX = (EAX & ~0xffff) | al;

    CC_DST = al;

}

void OPPROTO op_aaa(void)

{

    int icarry;

    int al, ah, af;

    int eflags;

    eflags = cc_table[CC_OP].compute_all();

    af = eflags & CC_A;

    al = EAX & 0xff;

    ah = (EAX >> 8) & 0xff;

    icarry = (al > 0xf9);

    if (((al & 0x0f) > 9 ) || af) {

        al = (al + 6) & 0x0f;

        ah = (ah + 1 + icarry) & 0xff;

        eflags |= CC_C | CC_A;

    } else {

        eflags &= ~(CC_C | CC_A);

        al &= 0x0f;

    }

    EAX = (EAX & ~0xffff) | al | (ah << 8);

    CC_SRC = eflags;

}

void OPPROTO op_aas(void)

{

    int icarry;

    int al, ah, af;

    int eflags;

    eflags = cc_table[CC_OP].compute_all();

    af = eflags & CC_A;

    al = EAX & 0xff;

    ah = (EAX >> 8) & 0xff;

    icarry = (al < 6);

    if (((al & 0x0f) > 9 ) || af) {

        al = (al - 6) & 0x0f;

        ah = (ah - 1 - icarry) & 0xff;

        eflags |= CC_C | CC_A;

    } else {

        eflags &= ~(CC_C | CC_A);

        al &= 0x0f;

    }

    EAX = (EAX & ~0xffff) | al | (ah << 8);

    CC_SRC = eflags;

}

void OPPROTO op_daa(void)

{

    int al, af, cf;

    int eflags;

    eflags = cc_table[CC_OP].compute_all();

    cf = eflags & CC_C;

    af = eflags & CC_A;

    al = EAX & 0xff;

    eflags = 0;

    if (((al & 0x0f) > 9 ) || af) {

        al = (al + 6) & 0xff;

        eflags |= CC_A;

    }

    if ((al > 0x9f) || cf) {

        al = (al + 0x60) & 0xff;

        eflags |= CC_C;

    }

    EAX = (EAX & ~0xff) | al;

    /* well, speed is not an issue here, so we compute the flags by hand */

    eflags |= (al == 0) << 6; /* zf */

    eflags |= parity_table[al]; /* pf */

    eflags |= (al & 0x80); /* sf */

    CC_SRC = eflags;

}

void OPPROTO op_das(void)

{

    int al, al1, af, cf;

    int eflags;

    eflags = cc_table[CC_OP].compute_all();

    cf = eflags & CC_C;

    af = eflags & CC_A;

    al = EAX & 0xff;

    eflags = 0;

    al1 = al;

    if (((al & 0x0f) > 9 ) || af) {

        eflags |= CC_A;

        if (al < 6 || cf)

            eflags |= CC_C;

        al = (al - 6) & 0xff;

    }

    if ((al1 > 0x99) || cf) {

        al = (al - 0x60) & 0xff;

        eflags |= CC_C;

    }

    EAX = (EAX & ~0xff) | al;

    /* well, speed is not an issue here, so we compute the flags by hand */

    eflags |= (al == 0) << 6; /* zf */

    eflags |= parity_table[al]; /* pf */

    eflags |= (al & 0x80); /* sf */

    CC_SRC = eflags;

}

/* segment handling */

/* never use it with R_CS */

void OPPROTO op_movl_seg_T0(void)

{

    load_seg(PARAM1, T0 & 0xffff, PARAM2);

}

/* faster VM86 version */

void OPPROTO op_movl_seg_T0_vm(void)

{

    int selector;

    SegmentCache *sc;

    selector = T0 & 0xffff;

    /* env->segs[] access */

    sc = (SegmentCache *)((char *)env + PARAM1);

    sc->selector = selector;

    sc->base = (void *)(selector << 4);

}

void OPPROTO op_movl_T0_seg(void)

{

    T0 = env->segs[PARAM1].selector;

}