7a962d3087
git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@1479 c046a42c-6fe2-441c-8c8c-71466251a162
637 lines
15 KiB
C
637 lines
15 KiB
C
/*
|
|
* MIPS emulation helpers for qemu.
|
|
*
|
|
* Copyright (c) 2004-2005 Jocelyn Mayer
|
|
*
|
|
* 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 <math.h>
|
|
#include "exec.h"
|
|
|
|
#define MIPS_DEBUG_DISAS
|
|
|
|
/*****************************************************************************/
|
|
/* Exceptions processing helpers */
|
|
void cpu_loop_exit(void)
|
|
{
|
|
longjmp(env->jmp_env, 1);
|
|
}
|
|
|
|
__attribute__ (( regparm(2) ))
|
|
void do_raise_exception_err (uint32_t exception, int error_code)
|
|
{
|
|
#if 1
|
|
if (logfile && exception < 0x100)
|
|
fprintf(logfile, "%s: %d %d\n", __func__, exception, error_code);
|
|
#endif
|
|
env->exception_index = exception;
|
|
env->error_code = error_code;
|
|
T0 = 0;
|
|
cpu_loop_exit();
|
|
}
|
|
|
|
__attribute__ (( regparm(1) ))
|
|
void do_raise_exception (uint32_t exception)
|
|
{
|
|
do_raise_exception_err(exception, 0);
|
|
}
|
|
|
|
#define MEMSUFFIX _raw
|
|
#include "op_helper_mem.c"
|
|
#undef MEMSUFFIX
|
|
#if !defined(CONFIG_USER_ONLY)
|
|
#define MEMSUFFIX _user
|
|
#include "op_helper_mem.c"
|
|
#undef MEMSUFFIX
|
|
#define MEMSUFFIX _kernel
|
|
#include "op_helper_mem.c"
|
|
#undef MEMSUFFIX
|
|
#endif
|
|
|
|
/* 64 bits arithmetic for 32 bits hosts */
|
|
#if (HOST_LONG_BITS == 32)
|
|
static inline uint64_t get_HILO (void)
|
|
{
|
|
return ((uint64_t)env->HI << 32) | (uint64_t)env->LO;
|
|
}
|
|
|
|
static inline void set_HILO (uint64_t HILO)
|
|
{
|
|
env->LO = HILO & 0xFFFFFFFF;
|
|
env->HI = HILO >> 32;
|
|
}
|
|
|
|
void do_mult (void)
|
|
{
|
|
set_HILO((int64_t)T0 * (int64_t)T1);
|
|
}
|
|
|
|
void do_multu (void)
|
|
{
|
|
set_HILO((uint64_t)T0 * (uint64_t)T1);
|
|
}
|
|
|
|
void do_madd (void)
|
|
{
|
|
int64_t tmp;
|
|
|
|
tmp = ((int64_t)T0 * (int64_t)T1);
|
|
set_HILO((int64_t)get_HILO() + tmp);
|
|
}
|
|
|
|
void do_maddu (void)
|
|
{
|
|
uint64_t tmp;
|
|
|
|
tmp = ((uint64_t)T0 * (uint64_t)T1);
|
|
set_HILO(get_HILO() + tmp);
|
|
}
|
|
|
|
void do_msub (void)
|
|
{
|
|
int64_t tmp;
|
|
|
|
tmp = ((int64_t)T0 * (int64_t)T1);
|
|
set_HILO((int64_t)get_HILO() - tmp);
|
|
}
|
|
|
|
void do_msubu (void)
|
|
{
|
|
uint64_t tmp;
|
|
|
|
tmp = ((uint64_t)T0 * (uint64_t)T1);
|
|
set_HILO(get_HILO() - tmp);
|
|
}
|
|
#endif
|
|
|
|
/* CP0 helpers */
|
|
__attribute__ (( regparm(2) ))
|
|
void do_mfc0 (int reg, int sel)
|
|
{
|
|
const unsigned char *rn;
|
|
|
|
if (sel != 0 && reg != 16 && reg != 28) {
|
|
rn = "invalid";
|
|
goto print;
|
|
}
|
|
switch (reg) {
|
|
case 0:
|
|
T0 = env->CP0_index;
|
|
rn = "Index";
|
|
break;
|
|
case 1:
|
|
T0 = cpu_mips_get_random(env);
|
|
rn = "Random";
|
|
break;
|
|
case 2:
|
|
T0 = env->CP0_EntryLo0;
|
|
rn = "EntryLo0";
|
|
break;
|
|
case 3:
|
|
T0 = env->CP0_EntryLo1;
|
|
rn = "EntryLo1";
|
|
break;
|
|
case 4:
|
|
T0 = env->CP0_Context;
|
|
rn = "Context";
|
|
break;
|
|
case 5:
|
|
T0 = env->CP0_PageMask;
|
|
rn = "PageMask";
|
|
break;
|
|
case 6:
|
|
T0 = env->CP0_Wired;
|
|
rn = "Wired";
|
|
break;
|
|
case 8:
|
|
T0 = env->CP0_BadVAddr;
|
|
rn = "BadVaddr";
|
|
break;
|
|
case 9:
|
|
T0 = cpu_mips_get_count(env);
|
|
rn = "Count";
|
|
break;
|
|
case 10:
|
|
T0 = env->CP0_EntryHi;
|
|
rn = "EntryHi";
|
|
break;
|
|
case 11:
|
|
T0 = env->CP0_Compare;
|
|
rn = "Compare";
|
|
break;
|
|
case 12:
|
|
T0 = env->CP0_Status;
|
|
if (env->hflags & MIPS_HFLAG_UM)
|
|
T0 |= (1 << CP0St_UM);
|
|
if (env->hflags & MIPS_HFLAG_ERL)
|
|
T0 |= (1 << CP0St_ERL);
|
|
if (env->hflags & MIPS_HFLAG_EXL)
|
|
T0 |= (1 << CP0St_EXL);
|
|
rn = "Status";
|
|
break;
|
|
case 13:
|
|
T0 = env->CP0_Cause;
|
|
rn = "Cause";
|
|
break;
|
|
case 14:
|
|
T0 = env->CP0_EPC;
|
|
rn = "EPC";
|
|
break;
|
|
case 15:
|
|
T0 = env->CP0_PRid;
|
|
rn = "PRid";
|
|
break;
|
|
case 16:
|
|
switch (sel) {
|
|
case 0:
|
|
T0 = env->CP0_Config0;
|
|
rn = "Config";
|
|
break;
|
|
case 1:
|
|
T0 = env->CP0_Config1;
|
|
rn = "Config1";
|
|
break;
|
|
default:
|
|
rn = "Unknown config register";
|
|
break;
|
|
}
|
|
break;
|
|
case 17:
|
|
T0 = env->CP0_LLAddr >> 4;
|
|
rn = "LLAddr";
|
|
break;
|
|
case 18:
|
|
T0 = env->CP0_WatchLo;
|
|
rn = "WatchLo";
|
|
break;
|
|
case 19:
|
|
T0 = env->CP0_WatchHi;
|
|
rn = "WatchHi";
|
|
break;
|
|
case 23:
|
|
T0 = env->CP0_Debug;
|
|
if (env->hflags & MIPS_HFLAG_DM)
|
|
T0 |= 1 << CP0DB_DM;
|
|
rn = "Debug";
|
|
break;
|
|
case 24:
|
|
T0 = env->CP0_DEPC;
|
|
rn = "DEPC";
|
|
break;
|
|
case 28:
|
|
switch (sel) {
|
|
case 0:
|
|
T0 = env->CP0_TagLo;
|
|
rn = "TagLo";
|
|
break;
|
|
case 1:
|
|
T0 = env->CP0_DataLo;
|
|
rn = "DataLo";
|
|
break;
|
|
default:
|
|
rn = "unknown sel";
|
|
break;
|
|
}
|
|
break;
|
|
case 30:
|
|
T0 = env->CP0_ErrorEPC;
|
|
rn = "ErrorEPC";
|
|
break;
|
|
case 31:
|
|
T0 = env->CP0_DESAVE;
|
|
rn = "DESAVE";
|
|
break;
|
|
default:
|
|
rn = "unknown";
|
|
break;
|
|
}
|
|
print:
|
|
#if defined MIPS_DEBUG_DISAS
|
|
if (loglevel & CPU_LOG_TB_IN_ASM) {
|
|
fprintf(logfile, "%08x mfc0 %s => %08x (%d %d)\n",
|
|
env->PC, rn, T0, reg, sel);
|
|
}
|
|
#endif
|
|
return;
|
|
}
|
|
|
|
__attribute__ (( regparm(2) ))
|
|
void do_mtc0 (int reg, int sel)
|
|
{
|
|
const unsigned char *rn;
|
|
uint32_t val, old, mask;
|
|
int i, raise;
|
|
|
|
if (sel != 0 && reg != 16 && reg != 28) {
|
|
val = -1;
|
|
old = -1;
|
|
rn = "invalid";
|
|
goto print;
|
|
}
|
|
switch (reg) {
|
|
case 0:
|
|
val = (env->CP0_index & 0x80000000) | (T0 & 0x0000000F);
|
|
old = env->CP0_index;
|
|
env->CP0_index = val;
|
|
rn = "Index";
|
|
break;
|
|
case 2:
|
|
val = T0 & 0x03FFFFFFF;
|
|
old = env->CP0_EntryLo0;
|
|
env->CP0_EntryLo0 = val;
|
|
rn = "EntryLo0";
|
|
break;
|
|
case 3:
|
|
val = T0 & 0x03FFFFFFF;
|
|
old = env->CP0_EntryLo1;
|
|
env->CP0_EntryLo1 = val;
|
|
rn = "EntryLo1";
|
|
break;
|
|
case 4:
|
|
val = (env->CP0_Context & 0xFF000000) | (T0 & 0x00FFFFF0);
|
|
old = env->CP0_Context;
|
|
env->CP0_Context = val;
|
|
rn = "Context";
|
|
break;
|
|
case 5:
|
|
val = T0 & 0x01FFE000;
|
|
old = env->CP0_PageMask;
|
|
env->CP0_PageMask = val;
|
|
rn = "PageMask";
|
|
break;
|
|
case 6:
|
|
val = T0 & 0x0000000F;
|
|
old = env->CP0_Wired;
|
|
env->CP0_Wired = val;
|
|
rn = "Wired";
|
|
break;
|
|
case 9:
|
|
val = T0;
|
|
old = cpu_mips_get_count(env);
|
|
cpu_mips_store_count(env, val);
|
|
rn = "Count";
|
|
break;
|
|
case 10:
|
|
val = T0 & 0xFFFFF0FF;
|
|
old = env->CP0_EntryHi;
|
|
env->CP0_EntryHi = val;
|
|
rn = "EntryHi";
|
|
break;
|
|
case 11:
|
|
val = T0;
|
|
old = env->CP0_Compare;
|
|
cpu_mips_store_compare(env, val);
|
|
rn = "Compare";
|
|
break;
|
|
case 12:
|
|
val = T0 & 0xFA78FF01;
|
|
if (T0 & (1 << CP0St_UM))
|
|
env->hflags |= MIPS_HFLAG_UM;
|
|
else
|
|
env->hflags &= ~MIPS_HFLAG_UM;
|
|
if (T0 & (1 << CP0St_ERL))
|
|
env->hflags |= MIPS_HFLAG_ERL;
|
|
else
|
|
env->hflags &= ~MIPS_HFLAG_ERL;
|
|
if (T0 & (1 << CP0St_EXL))
|
|
env->hflags |= MIPS_HFLAG_EXL;
|
|
else
|
|
env->hflags &= ~MIPS_HFLAG_EXL;
|
|
old = env->CP0_Status;
|
|
env->CP0_Status = val;
|
|
/* If we unmasked an asserted IRQ, raise it */
|
|
mask = 0x0000FF00;
|
|
if (loglevel & CPU_LOG_TB_IN_ASM) {
|
|
fprintf(logfile, "Status %08x => %08x Cause %08x (%08x %08x %08x)\n",
|
|
old, val, env->CP0_Cause, old & mask, val & mask,
|
|
env->CP0_Cause & mask);
|
|
}
|
|
#if 1
|
|
if ((val & (1 << CP0St_IE)) && !(old & (1 << CP0St_IE)) &&
|
|
!(env->hflags & MIPS_HFLAG_EXL) &&
|
|
!(env->hflags & MIPS_HFLAG_ERL) &&
|
|
!(env->hflags & MIPS_HFLAG_DM) &&
|
|
(env->CP0_Status & env->CP0_Cause & mask)) {
|
|
if (logfile)
|
|
fprintf(logfile, "Raise pending IRQs\n");
|
|
env->interrupt_request |= CPU_INTERRUPT_HARD;
|
|
do_raise_exception(EXCP_EXT_INTERRUPT);
|
|
} else if (!(val & 0x00000001) && (old & 0x00000001)) {
|
|
env->interrupt_request &= ~CPU_INTERRUPT_HARD;
|
|
}
|
|
#endif
|
|
rn = "Status";
|
|
break;
|
|
case 13:
|
|
val = (env->CP0_Cause & 0xB000F87C) | (T0 & 0x000C00300);
|
|
old = env->CP0_Cause;
|
|
env->CP0_Cause = val;
|
|
#if 0
|
|
/* Check if we ever asserted a software IRQ */
|
|
for (i = 0; i < 2; i++) {
|
|
mask = 0x100 << i;
|
|
if ((val & mask) & !(old & mask))
|
|
mips_set_irq(i);
|
|
}
|
|
#endif
|
|
rn = "Cause";
|
|
break;
|
|
case 14:
|
|
val = T0;
|
|
old = env->CP0_EPC;
|
|
env->CP0_EPC = val;
|
|
rn = "EPC";
|
|
break;
|
|
case 16:
|
|
switch (sel) {
|
|
case 0:
|
|
#if defined(MIPS_USES_R4K_TLB)
|
|
val = (env->CP0_Config0 & 0x8017FF80) | (T0 & 0x7E000001);
|
|
#else
|
|
val = (env->CP0_Config0 & 0xFE17FF80) | (T0 & 0x00000001);
|
|
#endif
|
|
old = env->CP0_Config0;
|
|
env->CP0_Config0 = val;
|
|
rn = "Config0";
|
|
break;
|
|
default:
|
|
val = -1;
|
|
old = -1;
|
|
rn = "bad config selector";
|
|
break;
|
|
}
|
|
break;
|
|
case 18:
|
|
val = T0;
|
|
old = env->CP0_WatchLo;
|
|
env->CP0_WatchLo = val;
|
|
rn = "WatchLo";
|
|
break;
|
|
case 19:
|
|
val = T0 & 0x40FF0FF8;
|
|
old = env->CP0_WatchHi;
|
|
env->CP0_WatchHi = val;
|
|
rn = "WatchHi";
|
|
break;
|
|
case 23:
|
|
val = (env->CP0_Debug & 0x8C03FC1F) | (T0 & 0x13300120);
|
|
if (T0 & (1 << CP0DB_DM))
|
|
env->hflags |= MIPS_HFLAG_DM;
|
|
else
|
|
env->hflags &= ~MIPS_HFLAG_DM;
|
|
old = env->CP0_Debug;
|
|
env->CP0_Debug = val;
|
|
rn = "Debug";
|
|
break;
|
|
case 24:
|
|
val = T0;
|
|
old = env->CP0_DEPC;
|
|
env->CP0_DEPC = val;
|
|
rn = "DEPC";
|
|
break;
|
|
case 28:
|
|
switch (sel) {
|
|
case 0:
|
|
val = T0 & 0xFFFFFCF6;
|
|
old = env->CP0_TagLo;
|
|
env->CP0_TagLo = val;
|
|
rn = "TagLo";
|
|
break;
|
|
default:
|
|
val = -1;
|
|
old = -1;
|
|
rn = "invalid sel";
|
|
break;
|
|
}
|
|
break;
|
|
case 30:
|
|
val = T0;
|
|
old = env->CP0_ErrorEPC;
|
|
env->CP0_ErrorEPC = val;
|
|
rn = "EPC";
|
|
break;
|
|
case 31:
|
|
val = T0;
|
|
old = env->CP0_DESAVE;
|
|
env->CP0_DESAVE = val;
|
|
rn = "DESAVE";
|
|
break;
|
|
default:
|
|
val = -1;
|
|
old = -1;
|
|
rn = "unknown";
|
|
break;
|
|
}
|
|
print:
|
|
#if defined MIPS_DEBUG_DISAS
|
|
if (loglevel & CPU_LOG_TB_IN_ASM) {
|
|
fprintf(logfile, "%08x mtc0 %s %08x => %08x (%d %d %08x)\n",
|
|
env->PC, rn, T0, val, reg, sel, old);
|
|
}
|
|
#endif
|
|
return;
|
|
}
|
|
|
|
/* TLB management */
|
|
#if defined(MIPS_USES_R4K_TLB)
|
|
__attribute__ (( regparm(1) ))
|
|
static void invalidate_tb (int idx)
|
|
{
|
|
tlb_t *tlb;
|
|
target_ulong addr, end;
|
|
|
|
tlb = &env->tlb[idx];
|
|
if (tlb->V[0]) {
|
|
addr = tlb->PFN[0];
|
|
end = addr + (tlb->end - tlb->VPN);
|
|
tb_invalidate_page_range(addr, end);
|
|
}
|
|
if (tlb->V[1]) {
|
|
addr = tlb->PFN[1];
|
|
end = addr + (tlb->end - tlb->VPN);
|
|
tb_invalidate_page_range(addr, end);
|
|
}
|
|
}
|
|
|
|
__attribute__ (( regparm(1) ))
|
|
static void fill_tb (int idx)
|
|
{
|
|
tlb_t *tlb;
|
|
int size;
|
|
|
|
/* XXX: detect conflicting TLBs and raise a MCHECK exception when needed */
|
|
tlb = &env->tlb[idx];
|
|
tlb->VPN = env->CP0_EntryHi & 0xFFFFE000;
|
|
tlb->ASID = env->CP0_EntryHi & 0x000000FF;
|
|
size = env->CP0_PageMask >> 13;
|
|
size = 4 * (size + 1);
|
|
tlb->end = tlb->VPN + (1 << (8 + size));
|
|
tlb->G = env->CP0_EntryLo0 & env->CP0_EntryLo1 & 1;
|
|
tlb->V[0] = env->CP0_EntryLo0 & 2;
|
|
tlb->D[0] = env->CP0_EntryLo0 & 4;
|
|
tlb->C[0] = (env->CP0_EntryLo0 >> 3) & 0x7;
|
|
tlb->PFN[0] = (env->CP0_EntryLo0 >> 6) << 12;
|
|
tlb->V[1] = env->CP0_EntryLo1 & 2;
|
|
tlb->D[1] = env->CP0_EntryLo1 & 4;
|
|
tlb->C[1] = (env->CP0_EntryLo1 >> 3) & 0x7;
|
|
tlb->PFN[1] = (env->CP0_EntryLo1 >> 6) << 12;
|
|
}
|
|
|
|
void do_tlbwi (void)
|
|
{
|
|
/* Wildly undefined effects for CP0_index containing a too high value and
|
|
MIPS_TLB_NB not being a power of two. But so does real silicon. */
|
|
invalidate_tb(env->CP0_index & (MIPS_TLB_NB - 1));
|
|
fill_tb(env->CP0_index & (MIPS_TLB_NB - 1));
|
|
}
|
|
|
|
void do_tlbwr (void)
|
|
{
|
|
int r = cpu_mips_get_random(env);
|
|
|
|
invalidate_tb(r);
|
|
fill_tb(r);
|
|
}
|
|
|
|
void do_tlbp (void)
|
|
{
|
|
tlb_t *tlb;
|
|
target_ulong tag;
|
|
uint8_t ASID;
|
|
int i;
|
|
|
|
tag = (env->CP0_EntryHi & 0xFFFFE000);
|
|
ASID = env->CP0_EntryHi & 0x000000FF;
|
|
for (i = 0; i < MIPS_TLB_NB; i++) {
|
|
tlb = &env->tlb[i];
|
|
/* Check ASID, virtual page number & size */
|
|
if ((tlb->G == 1 || tlb->ASID == ASID) && tlb->VPN == tag) {
|
|
/* TLB match */
|
|
env->CP0_index = i;
|
|
break;
|
|
}
|
|
}
|
|
if (i == MIPS_TLB_NB) {
|
|
env->CP0_index |= 0x80000000;
|
|
}
|
|
}
|
|
|
|
void do_tlbr (void)
|
|
{
|
|
tlb_t *tlb;
|
|
int size;
|
|
|
|
tlb = &env->tlb[env->CP0_index & (MIPS_TLB_NB - 1)];
|
|
env->CP0_EntryHi = tlb->VPN | tlb->ASID;
|
|
size = (tlb->end - tlb->VPN) >> 12;
|
|
env->CP0_PageMask = (size - 1) << 13;
|
|
env->CP0_EntryLo0 = tlb->V[0] | tlb->D[0] | (tlb->C[0] << 3) |
|
|
(tlb->PFN[0] >> 6);
|
|
env->CP0_EntryLo1 = tlb->V[1] | tlb->D[1] | (tlb->C[1] << 3) |
|
|
(tlb->PFN[1] >> 6);
|
|
}
|
|
#endif
|
|
|
|
__attribute__ (( regparm(1) ))
|
|
void op_dump_ldst (const unsigned char *func)
|
|
{
|
|
if (loglevel)
|
|
fprintf(logfile, "%s => %08x %08x\n", __func__, T0, T1);
|
|
}
|
|
|
|
void dump_sc (void)
|
|
{
|
|
if (loglevel) {
|
|
fprintf(logfile, "%s %08x at %08x (%08x)\n", __func__,
|
|
T1, T0, env->CP0_LLAddr);
|
|
}
|
|
}
|
|
|
|
void debug_eret (void)
|
|
{
|
|
if (loglevel) {
|
|
fprintf(logfile, "ERET: pc %08x EPC %08x ErrorEPC %08x (%d)\n",
|
|
env->PC, env->CP0_EPC, env->CP0_ErrorEPC,
|
|
env->hflags & MIPS_HFLAG_ERL ? 1 : 0);
|
|
}
|
|
}
|
|
|
|
__attribute__ (( regparm(1) ))
|
|
void do_pmon (int function)
|
|
{
|
|
function /= 2;
|
|
switch (function) {
|
|
case 2: /* TODO: char inbyte(int waitflag); */
|
|
if (env->gpr[4] == 0)
|
|
env->gpr[2] = -1;
|
|
/* Fall through */
|
|
case 11: /* TODO: char inbyte (void); */
|
|
env->gpr[2] = -1;
|
|
break;
|
|
case 3:
|
|
case 12:
|
|
printf("%c", env->gpr[4] & 0xFF);
|
|
break;
|
|
case 17:
|
|
break;
|
|
case 158:
|
|
{
|
|
unsigned char *fmt = (void *)env->gpr[4];
|
|
printf("%s", fmt);
|
|
}
|
|
break;
|
|
}
|
|
}
|