helper.c 12.7 KB
Newer Older
B
bellard 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
/*
 *  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
 */
20 21 22 23 24 25 26 27 28 29
#include <stdarg.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <inttypes.h>
#include <signal.h>
#include <assert.h>

#include "cpu.h"
#include "exec-all.h"
B
bellard 已提交
30

31 32 33 34 35 36 37 38
enum {
    TLBRET_DIRTY = -4,
    TLBRET_INVALID = -3,
    TLBRET_NOMATCH = -2,
    TLBRET_BADADDR = -1,
    TLBRET_MATCH = 0
};

B
bellard 已提交
39
/* MIPS32 4K MMU emulation */
B
bellard 已提交
40
#ifdef MIPS_USES_R4K_TLB
B
bellard 已提交
41 42 43
static int map_address (CPUState *env, target_ulong *physical, int *prot,
                        target_ulong address, int rw, int access_type)
{
44 45
    target_ulong tag = address & (TARGET_PAGE_MASK << 1);
    uint8_t ASID = env->CP0_EntryHi & 0xFF;
B
bellard 已提交
46 47 48
    tlb_t *tlb;
    int i, n;

49
    for (i = 0; i < env->tlb_in_use; i++) {
B
bellard 已提交
50 51 52
        tlb = &env->tlb[i];
        /* Check ASID, virtual page number & size */
        if ((tlb->G == 1 || tlb->ASID == ASID) &&
B
bellard 已提交
53
            tlb->VPN == tag && address < tlb->end2) {
B
bellard 已提交
54
            /* TLB match */
55
            n = (address >> TARGET_PAGE_BITS) & 1;
B
bellard 已提交
56
            /* Check access rights */
57 58 59 60
           if (!(n ? tlb->V1 : tlb->V0))
                return TLBRET_INVALID;
           if (rw == 0 || (n ? tlb->D1 : tlb->D0)) {
                *physical = tlb->PFN[n] | (address & ~TARGET_PAGE_MASK);
B
bellard 已提交
61
                *prot = PAGE_READ;
62
                if (n ? tlb->D1 : tlb->D0)
B
bellard 已提交
63
                    *prot |= PAGE_WRITE;
64
                return TLBRET_MATCH;
B
bellard 已提交
65
            }
66
            return TLBRET_DIRTY;
B
bellard 已提交
67 68
        }
    }
69
    return TLBRET_NOMATCH;
B
bellard 已提交
70 71 72
}
#endif

73 74 75
static int get_physical_address (CPUState *env, target_ulong *physical,
                                int *prot, target_ulong address,
                                int rw, int access_type)
B
bellard 已提交
76 77
{
    /* User mode can only access useg */
78 79 80
    int user_mode = (env->hflags & MIPS_HFLAG_MODE) == MIPS_HFLAG_UM;
    int ret = TLBRET_MATCH;

B
bellard 已提交
81 82 83 84 85 86 87
#if 0
    if (logfile) {
        fprintf(logfile, "user mode %d h %08x\n",
                user_mode, env->hflags);
    }
#endif
    if (user_mode && address > 0x7FFFFFFFUL)
88
        return TLBRET_BADADDR;
89
    if (address < SIGN_EXTEND32(0x80000000UL)) {
B
bellard 已提交
90 91 92
        if (!(env->hflags & MIPS_HFLAG_ERL)) {
#ifdef MIPS_USES_R4K_TLB
            ret = map_address(env, physical, prot, address, rw, access_type);
B
bellard 已提交
93 94 95 96 97 98 99 100
#else
            *physical = address + 0x40000000UL;
            *prot = PAGE_READ | PAGE_WRITE;
#endif
        } else {
            *physical = address;
            *prot = PAGE_READ | PAGE_WRITE;
        }
101
    } else if (address < SIGN_EXTEND32(0xA0000000UL)) {
B
bellard 已提交
102 103
        /* kseg0 */
        /* XXX: check supervisor mode */
104
        *physical = address - SIGN_EXTEND32(0x80000000UL);
B
bellard 已提交
105
        *prot = PAGE_READ | PAGE_WRITE;
106
    } else if (address < SIGN_EXTEND32(0xC0000000UL)) {
B
bellard 已提交
107 108
        /* kseg1 */
        /* XXX: check supervisor mode */
109
        *physical = address - SIGN_EXTEND32(0xA0000000UL);
B
bellard 已提交
110
        *prot = PAGE_READ | PAGE_WRITE;
111
    } else if (address < SIGN_EXTEND32(0xE0000000UL)) {
B
bellard 已提交
112
        /* kseg2 */
B
bellard 已提交
113 114
#ifdef MIPS_USES_R4K_TLB
        ret = map_address(env, physical, prot, address, rw, access_type);
B
bellard 已提交
115 116 117 118 119 120 121 122
#else
        *physical = address;
        *prot = PAGE_READ | PAGE_WRITE;
#endif
    } else {
        /* kseg3 */
        /* XXX: check supervisor mode */
        /* XXX: debug segment is not emulated */
B
bellard 已提交
123 124
#ifdef MIPS_USES_R4K_TLB
        ret = map_address(env, physical, prot, address, rw, access_type);
B
bellard 已提交
125 126 127 128 129 130 131
#else
        *physical = address;
        *prot = PAGE_READ | PAGE_WRITE;
#endif
    }
#if 0
    if (logfile) {
132 133
        fprintf(logfile, TLSZ " %d %d => " TLSZ " %d (%d)\n",
		address, rw, access_type, *physical, *prot, ret);
B
bellard 已提交
134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170
    }
#endif

    return ret;
}

#if defined(CONFIG_USER_ONLY) 
target_ulong cpu_get_phys_page_debug(CPUState *env, target_ulong addr)
{
    return addr;
}
#else
target_ulong cpu_get_phys_page_debug(CPUState *env, target_ulong addr)
{
    target_ulong phys_addr;
    int prot;

    if (get_physical_address(env, &phys_addr, &prot, addr, 0, ACCESS_INT) != 0)
        return -1;
    return phys_addr;
}

void cpu_mips_init_mmu (CPUState *env)
{
}
#endif /* !defined(CONFIG_USER_ONLY) */

int cpu_mips_handle_mmu_fault (CPUState *env, target_ulong address, int rw,
                               int is_user, int is_softmmu)
{
    target_ulong physical;
    int prot;
    int exception = 0, error_code = 0;
    int access_type;
    int ret = 0;

    if (logfile) {
B
bellard 已提交
171
#if 0
B
bellard 已提交
172
        cpu_dump_state(env, logfile, fprintf, 0);
B
bellard 已提交
173
#endif
174
        fprintf(logfile, "%s pc " TLSZ " ad " TLSZ " rw %d is_user %d smmu %d\n",
B
bellard 已提交
175 176
                __func__, env->PC, address, rw, is_user, is_softmmu);
    }
B
bellard 已提交
177 178 179

    rw &= 1;

B
bellard 已提交
180 181 182 183 184 185
    /* data access */
    /* XXX: put correct access by using cpu_restore_state()
       correctly */
    access_type = ACCESS_INT;
    if (env->user_mode_only) {
        /* user mode only emulation */
186
        ret = TLBRET_NOMATCH;
B
bellard 已提交
187 188 189 190 191
        goto do_fault;
    }
    ret = get_physical_address(env, &physical, &prot,
                               address, rw, access_type);
    if (logfile) {
192
        fprintf(logfile, "%s address=" TLSZ " ret %d physical " TLSZ " prot %d\n",
B
bellard 已提交
193 194
                __func__, address, ret, physical, prot);
    }
195 196 197 198
    if (ret == TLBRET_MATCH) {
       ret = tlb_set_page(env, address & TARGET_PAGE_MASK,
                          physical & TARGET_PAGE_MASK, prot,
                          is_user, is_softmmu);
B
bellard 已提交
199 200 201 202
    } else if (ret < 0) {
    do_fault:
        switch (ret) {
        default:
203
        case TLBRET_BADADDR:
B
bellard 已提交
204 205 206 207 208 209 210
            /* Reference to kernel address from user mode or supervisor mode */
            /* Reference to supervisor address from user mode */
            if (rw)
                exception = EXCP_AdES;
            else
                exception = EXCP_AdEL;
            break;
211
        case TLBRET_NOMATCH:
B
bellard 已提交
212 213 214 215 216 217 218
            /* No TLB match for a mapped address */
            if (rw)
                exception = EXCP_TLBS;
            else
                exception = EXCP_TLBL;
            error_code = 1;
            break;
219
        case TLBRET_INVALID:
B
bellard 已提交
220 221 222 223 224 225
            /* TLB match with no valid bit */
            if (rw)
                exception = EXCP_TLBS;
            else
                exception = EXCP_TLBL;
            break;
226
        case TLBRET_DIRTY:
B
bellard 已提交
227 228 229 230 231 232 233
            /* TLB match but 'D' bit is cleared */
            exception = EXCP_LTLBL;
            break;
                
        }
        /* Raise exception */
        env->CP0_BadVAddr = address;
234
        env->CP0_Context = (env->CP0_Context & 0xff800000) |
B
bellard 已提交
235
	                   ((address >> 9) &   0x007ffff0);
B
bellard 已提交
236
        env->CP0_EntryHi =
237
            (env->CP0_EntryHi & 0xFF) | (address & (TARGET_PAGE_MASK << 1));
B
bellard 已提交
238 239 240 241 242 243 244 245
        env->exception_index = exception;
        env->error_code = error_code;
        ret = 1;
    }

    return ret;
}

246 247 248 249 250 251
#if defined(CONFIG_USER_ONLY)
void do_interrupt (CPUState *env)
{
    env->exception_index = EXCP_NONE;
}
#else
B
bellard 已提交
252 253
void do_interrupt (CPUState *env)
{
254
    target_ulong offset;
B
bellard 已提交
255 256 257
    int cause = -1;

    if (logfile && env->exception_index != EXCP_EXT_INTERRUPT) {
258
        fprintf(logfile, "%s enter: PC " TLSZ " EPC " TLSZ " cause %d excp %d\n",
B
bellard 已提交
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290
                __func__, env->PC, env->CP0_EPC, cause, env->exception_index);
    }
    if (env->exception_index == EXCP_EXT_INTERRUPT &&
        (env->hflags & MIPS_HFLAG_DM))
        env->exception_index = EXCP_DINT;
    offset = 0x180;
    switch (env->exception_index) {
    case EXCP_DSS:
        env->CP0_Debug |= 1 << CP0DB_DSS;
        /* Debug single step cannot be raised inside a delay slot and
         * resume will always occur on the next instruction
         * (but we assume the pc has always been updated during
         *  code translation).
         */
        env->CP0_DEPC = env->PC;
        goto enter_debug_mode;
    case EXCP_DINT:
        env->CP0_Debug |= 1 << CP0DB_DINT;
        goto set_DEPC;
    case EXCP_DIB:
        env->CP0_Debug |= 1 << CP0DB_DIB;
        goto set_DEPC;
    case EXCP_DBp:
        env->CP0_Debug |= 1 << CP0DB_DBp;
        goto set_DEPC;
    case EXCP_DDBS:
        env->CP0_Debug |= 1 << CP0DB_DDBS;
        goto set_DEPC;
    case EXCP_DDBL:
        env->CP0_Debug |= 1 << CP0DB_DDBL;
        goto set_DEPC;
    set_DEPC:
B
bellard 已提交
291
        if (env->hflags & MIPS_HFLAG_BMASK) {
B
bellard 已提交
292
            /* If the exception was raised from a delay slot,
293
               come back to the jump.  */
B
bellard 已提交
294
            env->CP0_DEPC = env->PC - 4;
B
bellard 已提交
295
            env->hflags &= ~MIPS_HFLAG_BMASK;
B
bellard 已提交
296 297 298 299 300 301
        } else {
            env->CP0_DEPC = env->PC;
        }
    enter_debug_mode:
        env->hflags |= MIPS_HFLAG_DM;
        /* EJTAG probe trap enable is not implemented... */
302
        env->PC = SIGN_EXTEND32(0xBFC00480);
B
bellard 已提交
303 304
        break;
    case EXCP_RESET:
305 306
        cpu_reset(env);
        break;
B
bellard 已提交
307
    case EXCP_SRESET:
308
        env->CP0_Status = (1 << CP0St_SR);
B
bellard 已提交
309 310 311
        env->CP0_WatchLo = 0;
        goto set_error_EPC;
    case EXCP_NMI:
312
        env->CP0_Status = (1 << CP0St_NMI);
B
bellard 已提交
313
    set_error_EPC:
B
bellard 已提交
314
        if (env->hflags & MIPS_HFLAG_BMASK) {
B
bellard 已提交
315
            /* If the exception was raised from a delay slot,
316
               come back to the jump.  */
B
bellard 已提交
317
            env->CP0_ErrorEPC = env->PC - 4;
318
            env->hflags &= ~MIPS_HFLAG_BMASK;
B
bellard 已提交
319 320 321
        } else {
            env->CP0_ErrorEPC = env->PC;
        }
B
bellard 已提交
322
        env->hflags |= MIPS_HFLAG_ERL;
323
	env->CP0_Status |= (1 << CP0St_ERL) | (1 << CP0St_BEV);
324
        env->PC = SIGN_EXTEND32(0xBFC00000);
B
bellard 已提交
325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363
        break;
    case EXCP_MCHECK:
        cause = 24;
        goto set_EPC;
    case EXCP_EXT_INTERRUPT:
        cause = 0;
        if (env->CP0_Cause & (1 << CP0Ca_IV))
            offset = 0x200;
        goto set_EPC;
    case EXCP_DWATCH:
        cause = 23;
        /* XXX: TODO: manage defered watch exceptions */
        goto set_EPC;
    case EXCP_AdEL:
    case EXCP_AdES:
        cause = 4;
        goto set_EPC;
    case EXCP_TLBL:
        cause = 2;
        if (env->error_code == 1 && !(env->hflags & MIPS_HFLAG_EXL))
            offset = 0x000;
        goto set_EPC;
    case EXCP_IBE:
        cause = 6;
        goto set_EPC;
    case EXCP_DBE:
        cause = 7;
        goto set_EPC;
    case EXCP_SYSCALL:
        cause = 8;
        goto set_EPC;
    case EXCP_BREAK:
        cause = 9;
        goto set_EPC;
    case EXCP_RI:
        cause = 10;
        goto set_EPC;
    case EXCP_CpU:
        cause = 11;
B
bellard 已提交
364
        env->CP0_Cause = (env->CP0_Cause & ~0x03000000) | (env->error_code << 28);
B
bellard 已提交
365 366 367 368 369 370 371 372 373 374 375 376
        goto set_EPC;
    case EXCP_OVERFLOW:
        cause = 12;
        goto set_EPC;
    case EXCP_TRAP:
        cause = 13;
        goto set_EPC;
    case EXCP_LTLBL:
        cause = 1;
        goto set_EPC;
    case EXCP_TLBS:
        cause = 3;
377 378 379
        if (env->error_code == 1 && !(env->hflags & MIPS_HFLAG_EXL))
            offset = 0x000;
        goto set_EPC;
B
bellard 已提交
380
    set_EPC:
B
bellard 已提交
381
        if (env->hflags & MIPS_HFLAG_BMASK) {
B
bellard 已提交
382
            /* If the exception was raised from a delay slot,
383
               come back to the jump.  */
B
bellard 已提交
384 385
            env->CP0_EPC = env->PC - 4;
            env->CP0_Cause |= 0x80000000;
B
bellard 已提交
386
            env->hflags &= ~MIPS_HFLAG_BMASK;
B
bellard 已提交
387 388 389 390
        } else {
            env->CP0_EPC = env->PC;
            env->CP0_Cause &= ~0x80000000;
        }
391
        if (env->CP0_Status & (1 << CP0St_BEV)) {
392
            env->PC = SIGN_EXTEND32(0xBFC00200);
393
        } else {
394
            env->PC = SIGN_EXTEND32(0x80000000);
395 396 397 398 399
        }
        env->hflags |= MIPS_HFLAG_EXL;
        env->CP0_Status |= (1 << CP0St_EXL);
        env->PC += offset;
        env->CP0_Cause = (env->CP0_Cause & ~0x7C) | (cause << 2);
B
bellard 已提交
400 401 402 403 404 405 406 407 408 409
        break;
    default:
        if (logfile) {
            fprintf(logfile, "Invalid MIPS exception %d. Exiting\n",
                    env->exception_index);
        }
        printf("Invalid MIPS exception %d. Exiting\n", env->exception_index);
        exit(1);
    }
    if (logfile && env->exception_index != EXCP_EXT_INTERRUPT) {
410 411
        fprintf(logfile, "%s: PC " TLSZ " EPC " TLSZ " cause %d excp %d\n"
                "    S %08x C %08x A " TLSZ " D " TLSZ "\n",
B
bellard 已提交
412 413 414 415 416 417
                __func__, env->PC, env->CP0_EPC, cause, env->exception_index,
                env->CP0_Status, env->CP0_Cause, env->CP0_BadVAddr,
                env->CP0_DEPC);
    }
    env->exception_index = EXCP_NONE;
}
418
#endif /* !defined(CONFIG_USER_ONLY) */