op_helper.c 14.1 KB
Newer Older
B
bellard 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
/*
 *  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 "exec.h"

#define MIPS_DEBUG_DISAS

B
bellard 已提交
24 25
#define GETPC() (__builtin_return_address(0))

B
bellard 已提交
26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
/*****************************************************************************/
/* Exceptions processing helpers */
void cpu_loop_exit(void)
{
    longjmp(env->jmp_env, 1);
}

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();
}

void do_raise_exception (uint32_t exception)
{
    do_raise_exception_err(exception, 0);
}

B
bellard 已提交
50 51 52 53 54 55 56 57 58 59 60 61 62 63 64
void do_restore_state (void *pc_ptr)
{
  TranslationBlock *tb;
  unsigned long pc = (unsigned long) pc_ptr;

  tb = tb_find_pc (pc);
  cpu_restore_state (tb, env, pc, NULL);
}

void do_raise_exception_direct (uint32_t exception)
{
    do_restore_state (GETPC ());
    do_raise_exception_err (exception, 0);
}

B
bellard 已提交
65 66 67 68 69 70 71 72 73 74 75 76
#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

77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 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
#ifdef MIPS_HAS_MIPS64
#if TARGET_LONG_BITS > HOST_LONG_BITS
/* Those might call libgcc functions.  */
void do_dsll (void)
{
    T0 = T0 << T1;
}

void do_dsll32 (void)
{
    T0 = T0 << (T1 + 32);
}

void do_dsra (void)
{
    T0 = (int64_t)T0 >> T1;
}

void do_dsra32 (void)
{
    T0 = (int64_t)T0 >> (T1 + 32);
}

void do_dsrl (void)
{
    T0 = T0 >> T1;
}

void do_dsrl32 (void)
{
    T0 = T0 >> (T1 + 32);
}

void do_drotr (void)
{
    target_ulong tmp;

    if (T1) {
       tmp = T0 << (0x40 - T1);
       T0 = (T0 >> T1) | tmp;
    } else
       T0 = T1;
}

void do_drotr32 (void)
{
    target_ulong tmp;

    if (T1) {
       tmp = T0 << (0x40 - (32 + T1));
       T0 = (T0 >> (32 + T1)) | tmp;
    } else
       T0 = T1;
}

void do_dsllv (void)
{
    T0 = T1 << (T0 & 0x3F);
}

void do_dsrav (void)
{
    T0 = (int64_t)T1 >> (T0 & 0x3F);
}

void do_dsrlv (void)
{
    T0 = T1 >> (T0 & 0x3F);
}

void do_drotrv (void)
{
    target_ulong tmp;

    T0 &= 0x3F;
    if (T0) {
       tmp = T1 << (0x40 - T0);
       T0 = (T1 >> T0) | tmp;
    } else
       T0 = T1;
}
#endif /* TARGET_LONG_BITS > HOST_LONG_BITS */
#endif /* MIPS_HAS_MIPS64 */

B
bellard 已提交
161
/* 64 bits arithmetic for 32 bits hosts */
162
#if TARGET_LONG_BITS > HOST_LONG_BITS
B
bellard 已提交
163 164 165 166 167 168 169
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)
{
170 171
    env->LO = SIGN_EXTEND32(HILO & 0xFFFFFFFF);
    env->HI = SIGN_EXTEND32(HILO >> 32);
B
bellard 已提交
172 173 174 175
}

void do_mult (void)
{
B
bellard 已提交
176
    set_HILO((int64_t)(int32_t)T0 * (int64_t)(int32_t)T1);
B
bellard 已提交
177 178 179 180
}

void do_multu (void)
{
181
    set_HILO((uint64_t)(uint32_t)T0 * (uint64_t)(uint32_t)T1);
B
bellard 已提交
182 183 184 185 186 187
}

void do_madd (void)
{
    int64_t tmp;

B
bellard 已提交
188
    tmp = ((int64_t)(int32_t)T0 * (int64_t)(int32_t)T1);
B
bellard 已提交
189 190 191 192 193 194 195
    set_HILO((int64_t)get_HILO() + tmp);
}

void do_maddu (void)
{
    uint64_t tmp;

196
    tmp = ((uint64_t)(uint32_t)T0 * (uint64_t)(uint32_t)T1);
B
bellard 已提交
197 198 199 200 201 202 203
    set_HILO(get_HILO() + tmp);
}

void do_msub (void)
{
    int64_t tmp;

B
bellard 已提交
204
    tmp = ((int64_t)(int32_t)T0 * (int64_t)(int32_t)T1);
B
bellard 已提交
205 206 207 208 209 210 211
    set_HILO((int64_t)get_HILO() - tmp);
}

void do_msubu (void)
{
    uint64_t tmp;

212
    tmp = ((uint64_t)(uint32_t)T0 * (uint64_t)(uint32_t)T1);
B
bellard 已提交
213 214 215 216
    set_HILO(get_HILO() - tmp);
}
#endif

217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246
#ifdef MIPS_HAS_MIPS64
void do_dmult (void)
{
    /* XXX */
    set_HILO((int64_t)T0 * (int64_t)T1);
}

void do_dmultu (void)
{
    /* XXX */
    set_HILO((uint64_t)T0 * (uint64_t)T1);
}

void do_ddiv (void)
{
    if (T1 != 0) {
        env->LO = (int64_t)T0 / (int64_t)T1;
        env->HI = (int64_t)T0 % (int64_t)T1;
    }
}

void do_ddivu (void)
{
    if (T1 != 0) {
        env->LO = T0 / T1;
        env->HI = T0 % T1;
    }
}
#endif

B
bellard 已提交
247
#if defined(CONFIG_USER_ONLY) 
248
void do_mfc0_random (void)
B
bellard 已提交
249
{
250
    cpu_abort(env, "mfc0 random\n");
B
bellard 已提交
251
}
252 253 254 255 256 257

void do_mfc0_count (void)
{
    cpu_abort(env, "mfc0 count\n");
}

258
void cpu_mips_store_count(CPUState *env, uint32_t value)
B
bellard 已提交
259
{
260 261 262 263 264 265 266 267 268 269
    cpu_abort(env, "mtc0 count\n");
}

void cpu_mips_store_compare(CPUState *env, uint32_t value)
{
    cpu_abort(env, "mtc0 compare\n");
}

void do_mtc0_status_debug(uint32_t old, uint32_t val)
{
270
    cpu_abort(env, "mtc0 status debug\n");
271 272
}

273
void do_mtc0_status_irqraise_debug (void)
274
{
275
    cpu_abort(env, "mtc0 status irqraise debug\n");
B
bellard 已提交
276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296
}

void do_tlbwi (void)
{
    cpu_abort(env, "tlbwi\n");
}

void do_tlbwr (void)
{
    cpu_abort(env, "tlbwr\n");
}

void do_tlbp (void)
{
    cpu_abort(env, "tlbp\n");
}

void do_tlbr (void)
{
    cpu_abort(env, "tlbr\n");
}
297

298 299 300 301 302
void cpu_mips_tlb_flush (CPUState *env, int flush_global)
{
    cpu_abort(env, "mips_tlb_flush\n");
}

B
bellard 已提交
303 304
#else

B
bellard 已提交
305
/* CP0 helpers */
306
void do_mfc0_random (void)
B
bellard 已提交
307
{
308
    T0 = SIGN_EXTEND32(cpu_mips_get_random(env));
309
}
B
bellard 已提交
310

311 312
void do_mfc0_count (void)
{
313
    T0 = SIGN_EXTEND32(cpu_mips_get_count(env));
B
bellard 已提交
314 315
}

316
void do_mtc0_status_debug(uint32_t old, uint32_t val)
B
bellard 已提交
317
{
318 319 320 321 322 323 324 325 326
    const uint32_t mask = 0x0000FF00;
    fprintf(logfile, "Status %08x => %08x Cause %08x (%08x %08x %08x)\n",
            old, val, env->CP0_Cause, old & mask, val & mask,
            env->CP0_Cause & mask);
}

void do_mtc0_status_irqraise_debug(void)
{
    fprintf(logfile, "Raise pending IRQs\n");
B
bellard 已提交
327 328
}

B
bellard 已提交
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 364 365 366 367 368 369
#ifdef MIPS_USES_FPU
#include "softfloat.h"

void fpu_handle_exception(void)
{
#ifdef CONFIG_SOFTFLOAT
    int flags = get_float_exception_flags(&env->fp_status);
    unsigned int cpuflags = 0, enable, cause = 0;

    enable = GET_FP_ENABLE(env->fcr31);

    /* determine current flags */   
    if (flags & float_flag_invalid) {
        cpuflags |= FP_INVALID;
        cause |= FP_INVALID & enable;
    }
    if (flags & float_flag_divbyzero) {
        cpuflags |= FP_DIV0;    
        cause |= FP_DIV0 & enable;
    }
    if (flags & float_flag_overflow) {
        cpuflags |= FP_OVERFLOW;    
        cause |= FP_OVERFLOW & enable;
    }
    if (flags & float_flag_underflow) {
        cpuflags |= FP_UNDERFLOW;   
        cause |= FP_UNDERFLOW & enable;
    }
    if (flags & float_flag_inexact) {
        cpuflags |= FP_INEXACT; 
        cause |= FP_INEXACT & enable;
    }
    SET_FP_FLAGS(env->fcr31, cpuflags);
    SET_FP_CAUSE(env->fcr31, cause);
#else
    SET_FP_FLAGS(env->fcr31, 0);
    SET_FP_CAUSE(env->fcr31, 0);
#endif
}
#endif /* MIPS_USES_FPU */

B
bellard 已提交
370 371
/* TLB management */
#if defined(MIPS_USES_R4K_TLB)
372 373 374 375 376 377 378 379
void cpu_mips_tlb_flush (CPUState *env, int flush_global)
{
    /* Flush qemu's TLB and discard all shadowed entries.  */
    tlb_flush (env, flush_global);
    env->tlb_in_use = MIPS_TLB_NB;
}

static void invalidate_tlb (int idx, int use_extra)
B
bellard 已提交
380 381
{
    tlb_t *tlb;
382
    target_ulong addr;
383 384 385
    uint8_t ASID;

    ASID = env->CP0_EntryHi & 0xFF;
B
bellard 已提交
386 387

    tlb = &env->tlb[idx];
388 389 390 391 392 393
    /* The qemu TLB is flushed then the ASID changes, so no need to
       flush these entries again.  */
    if (tlb->G == 0 && tlb->ASID != ASID) {
        return;
    }

394 395 396 397 398 399 400 401 402
    if (use_extra && env->tlb_in_use < MIPS_TLB_MAX) {
        /* For tlbwr, we can shadow the discarded entry into
	   a new (fake) TLB entry, as long as the guest can not
	   tell that it's there.  */
        env->tlb[env->tlb_in_use] = *tlb;
        env->tlb_in_use++;
        return;
    }

403 404
    if (tlb->V0) {
        tb_invalidate_page_range(tlb->PFN[0], tlb->end - tlb->VPN);
B
bellard 已提交
405 406 407 408 409
        addr = tlb->VPN;
        while (addr < tlb->end) {
            tlb_flush_page (env, addr);
            addr += TARGET_PAGE_SIZE;
        }
B
bellard 已提交
410
    }
411 412
    if (tlb->V1) {
        tb_invalidate_page_range(tlb->PFN[1], tlb->end2 - tlb->end);
B
bellard 已提交
413 414 415 416 417
        addr = tlb->end;
        while (addr < tlb->end2) {
            tlb_flush_page (env, addr);
            addr += TARGET_PAGE_SIZE;
        }
B
bellard 已提交
418 419 420
    }
}

421 422 423 424 425 426 427 428
static void mips_tlb_flush_extra (CPUState *env, int first)
{
    /* Discard entries from env->tlb[first] onwards.  */
    while (env->tlb_in_use > first) {
        invalidate_tlb(--env->tlb_in_use, 0);
    }
}

429
static void fill_tlb (int idx)
B
bellard 已提交
430 431 432 433 434 435
{
    tlb_t *tlb;
    int size;

    /* XXX: detect conflicting TLBs and raise a MCHECK exception when needed */
    tlb = &env->tlb[idx];
436
    tlb->VPN = env->CP0_EntryHi & SIGN_EXTEND32(0xFFFFE000);
437
    tlb->ASID = env->CP0_EntryHi & 0xFF;
B
bellard 已提交
438 439 440
    size = env->CP0_PageMask >> 13;
    size = 4 * (size + 1);
    tlb->end = tlb->VPN + (1 << (8 + size));
B
bellard 已提交
441
    tlb->end2 = tlb->end + (1 << (8 + size));
B
bellard 已提交
442
    tlb->G = env->CP0_EntryLo0 & env->CP0_EntryLo1 & 1;
443 444 445
    tlb->V0 = (env->CP0_EntryLo0 & 2) != 0;
    tlb->D0 = (env->CP0_EntryLo0 & 4) != 0;
    tlb->C0 = (env->CP0_EntryLo0 >> 3) & 0x7;
B
bellard 已提交
446
    tlb->PFN[0] = (env->CP0_EntryLo0 >> 6) << 12;
447 448 449
    tlb->V1 = (env->CP0_EntryLo1 & 2) != 0;
    tlb->D1 = (env->CP0_EntryLo1 & 4) != 0;
    tlb->C1 = (env->CP0_EntryLo1 >> 3) & 0x7;
B
bellard 已提交
450 451 452 453 454
    tlb->PFN[1] = (env->CP0_EntryLo1 >> 6) << 12;
}

void do_tlbwi (void)
{
455 456 457 458 459
    /* Discard cached TLB entries.  We could avoid doing this if the
       tlbwi is just upgrading access permissions on the current entry;
       that might be a further win.  */
    mips_tlb_flush_extra (env, MIPS_TLB_NB);

460 461
    /* 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.  */
462
    invalidate_tlb(env->CP0_index & (MIPS_TLB_NB - 1), 0);
463
    fill_tlb(env->CP0_index & (MIPS_TLB_NB - 1));
B
bellard 已提交
464 465 466 467 468 469
}

void do_tlbwr (void)
{
    int r = cpu_mips_get_random(env);

470
    invalidate_tlb(r, 1);
471
    fill_tlb(r);
B
bellard 已提交
472 473 474 475 476 477 478 479 480
}

void do_tlbp (void)
{
    tlb_t *tlb;
    target_ulong tag;
    uint8_t ASID;
    int i;

481
    tag = env->CP0_EntryHi & SIGN_EXTEND32(0xFFFFE000);
B
bellard 已提交
482 483
    ASID = env->CP0_EntryHi & 0xFF;
    for (i = 0; i < MIPS_TLB_NB; i++) {
B
bellard 已提交
484 485 486 487 488 489 490 491
        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;
        }
    }
492
    if (i == MIPS_TLB_NB) {
493 494 495 496 497 498 499 500 501 502 503
        /* No match.  Discard any shadow entries, if any of them match.  */
        for (i = MIPS_TLB_NB; i < env->tlb_in_use; i++) {
	    tlb = &env->tlb[i];

	    /* Check ASID, virtual page number & size */
	    if ((tlb->G == 1 || tlb->ASID == ASID) && tlb->VPN == tag) {
                mips_tlb_flush_extra (env, i);
	        break;
	    }
	}

B
bellard 已提交
504 505 506 507 508 509 510
        env->CP0_index |= 0x80000000;
    }
}

void do_tlbr (void)
{
    tlb_t *tlb;
511
    uint8_t ASID;
B
bellard 已提交
512 513
    int size;

514
    ASID = env->CP0_EntryHi & 0xFF;
515
    tlb = &env->tlb[env->CP0_index & (MIPS_TLB_NB - 1)];
B
bellard 已提交
516 517

    /* If this will change the current ASID, flush qemu's TLB.  */
518 519 520 521
    if (ASID != tlb->ASID)
        cpu_mips_tlb_flush (env, 1);

    mips_tlb_flush_extra(env, MIPS_TLB_NB);
B
bellard 已提交
522

B
bellard 已提交
523 524 525
    env->CP0_EntryHi = tlb->VPN | tlb->ASID;
    size = (tlb->end - tlb->VPN) >> 12;
    env->CP0_PageMask = (size - 1) << 13;
526 527 528 529
    env->CP0_EntryLo0 = tlb->G | (tlb->V0 << 1) | (tlb->D0 << 2)
		| (tlb->C0 << 3) | (tlb->PFN[0] >> 6);
    env->CP0_EntryLo1 = tlb->G | (tlb->V1 << 1) | (tlb->D1 << 2)
		| (tlb->C1 << 3) | (tlb->PFN[1] >> 6);
B
bellard 已提交
530 531 532
}
#endif

B
bellard 已提交
533 534
#endif /* !CONFIG_USER_ONLY */

535
void dump_ldst (const unsigned char *func)
B
bellard 已提交
536 537
{
    if (loglevel)
538
        fprintf(logfile, "%s => " TLSZ " " TLSZ "\n", __func__, T0, T1);
B
bellard 已提交
539 540 541 542 543
}

void dump_sc (void)
{
    if (loglevel) {
544
        fprintf(logfile, "%s " TLSZ " at " TLSZ " (" TLSZ ")\n", __func__,
B
bellard 已提交
545 546 547 548 549 550 551
                T1, T0, env->CP0_LLAddr);
    }
}

void debug_eret (void)
{
    if (loglevel) {
552
        fprintf(logfile, "ERET: pc " TLSZ " EPC " TLSZ " ErrorEPC " TLSZ " (%d)\n",
B
bellard 已提交
553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570
                env->PC, env->CP0_EPC, env->CP0_ErrorEPC,
                env->hflags & MIPS_HFLAG_ERL ? 1 : 0);
    }
}

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:
571
        printf("%c", (char)(env->gpr[4] & 0xFF));
B
bellard 已提交
572 573 574 575 576
        break;
    case 17:
        break;
    case 158:
        {
577
            unsigned char *fmt = (void *)(unsigned long)env->gpr[4];
B
bellard 已提交
578 579 580 581 582
            printf("%s", fmt);
        }
        break;
    }
}
583 584 585

#if !defined(CONFIG_USER_ONLY) 

B
bellard 已提交
586 587
static void do_unaligned_access (target_ulong addr, int is_write, int is_user, void *retaddr);

588
#define MMUSUFFIX _mmu
B
bellard 已提交
589
#define ALIGNED_ONLY
590 591 592 593 594 595 596 597 598 599 600 601 602

#define SHIFT 0
#include "softmmu_template.h"

#define SHIFT 1
#include "softmmu_template.h"

#define SHIFT 2
#include "softmmu_template.h"

#define SHIFT 3
#include "softmmu_template.h"

B
bellard 已提交
603 604 605 606 607 608 609
static void do_unaligned_access (target_ulong addr, int is_write, int is_user, void *retaddr)
{
    env->CP0_BadVAddr = addr;
    do_restore_state (retaddr);
    do_raise_exception ((is_write == 1) ? EXCP_AdES : EXCP_AdEL);
}

610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638
void tlb_fill (target_ulong addr, int is_write, int is_user, void *retaddr)
{
    TranslationBlock *tb;
    CPUState *saved_env;
    unsigned long pc;
    int ret;

    /* XXX: hack to restore env in all cases, even if not called from
       generated code */
    saved_env = env;
    env = cpu_single_env;
    ret = cpu_mips_handle_mmu_fault(env, addr, is_write, is_user, 1);
    if (ret) {
        if (retaddr) {
            /* now we have a real cpu fault */
            pc = (unsigned long)retaddr;
            tb = tb_find_pc(pc);
            if (tb) {
                /* the PC is inside the translated code. It means that we have
                   a virtual CPU fault */
                cpu_restore_state(tb, env, pc, NULL);
            }
        }
        do_raise_exception_err(env->exception_index, env->error_code);
    }
    env = saved_env;
}

#endif