simple profiler added
[picodrive.git] / cpu / sh2 / compiler.c
CommitLineData
e898de13 1/*
2 * vim:shiftwidth=2:expandtab
3 */
f0d7b1fa 4#include <stddef.h>
679af8a3 5#include <stdio.h>
6#include <stdlib.h>
7#include <assert.h>
41397701 8
f4bb5d6b 9#include "../../pico/pico_int.h"
679af8a3 10#include "sh2.h"
11#include "compiler.h"
12#include "../drc/cmn.h"
13
8796b7ee 14// debug stuff {
e898de13 15#ifndef DRC_DEBUG
16#define DRC_DEBUG 0
17#endif
18
553c3eaa 19#if DRC_DEBUG
f4bb5d6b 20#define dbg(l,...) { \
21 if ((l) & DRC_DEBUG) \
22 elprintf(EL_STATUS, ##__VA_ARGS__); \
23}
24
e898de13 25#include "mame/sh2dasm.h"
26#include <platform/linux/host_dasm.h>
27static int insns_compiled, hash_collisions, host_insn_count;
553c3eaa 28#define COUNT_OP \
29 host_insn_count++
30#else // !DRC_DEBUG
31#define COUNT_OP
32#define dbg(...)
e898de13 33#endif
553c3eaa 34
e898de13 35#if (DRC_DEBUG & 2)
f4bb5d6b 36static u8 *tcache_dsm_ptrs[3];
e898de13 37static char sh2dasm_buff[64];
f4bb5d6b 38#define do_host_disasm(tcid) \
39 host_dasm(tcache_dsm_ptrs[tcid], tcache_ptr - tcache_dsm_ptrs[tcid]); \
40 tcache_dsm_ptrs[tcid] = tcache_ptr
41#else
42#define do_host_disasm(x)
e898de13 43#endif
e05b81fc 44
45#if (DRC_DEBUG & 4)
46static void REGPARM(3) *sh2_drc_announce_entry(void *block, SH2 *sh2, u32 sr)
47{
48 if (block != NULL)
49 dbg(4, "= %csh2 enter %08x %p, c=%d", sh2->is_slave ? 's' : 'm',
50 sh2->pc, block, (signed int)sr >> 12);
51 return block;
52}
53#endif
8796b7ee 54// } debug
e898de13 55
679af8a3 56#define BLOCK_CYCLE_LIMIT 100
f4bb5d6b 57#define MAX_BLOCK_SIZE (BLOCK_CYCLE_LIMIT * 6 * 6)
58
59// we have 3 translation cache buffers, split from one drc/cmn buffer.
60// BIOS shares tcache with data array because it's only used for init
61// and can be discarded early
8796b7ee 62// XXX: need to tune sizes
f4bb5d6b 63static const int tcache_sizes[3] = {
64 DRC_TCACHE_SIZE * 6 / 8, // ROM, DRAM
65 DRC_TCACHE_SIZE / 8, // BIOS, data array in master sh2
66 DRC_TCACHE_SIZE / 8, // ... slave
67};
679af8a3 68
f4bb5d6b 69static u8 *tcache_bases[3];
70static u8 *tcache_ptrs[3];
71
72// ptr for code emiters
73static u8 *tcache_ptr;
e898de13 74
c18edb34 75// host register tracking
76enum {
77 HR_FREE,
78 HR_CACHED, // 'val' has sh2_reg_e
79 HR_CACHED_DIRTY,
80 HR_CONST, // 'val' has constant
81 HR_TEMP, // reg used for temp storage
82};
83
84typedef struct {
85 u8 reg;
86 u8 type;
87 u16 stamp; // kind of a timestamp
88 u32 val;
89} temp_reg_t;
90
80599a42 91// note: reg_temp[] must have at least the amount of
3863edbd 92// registers used by handlers in worst case (currently 4)
65c75cb0 93#ifdef ARM
94#include "../drc/emit_arm.c"
95
96static const int reg_map_g2h[] = {
8b4f38f4 97 4, 5, 6, 7,
98 8, -1, -1, -1,
c18edb34 99 -1, -1, -1, -1,
8b4f38f4 100 -1, -1, -1, 9,
101 -1, -1, -1, 10,
c18edb34 102 -1, -1, -1, -1,
103};
104
105static temp_reg_t reg_temp[] = {
106 { 0, },
107 { 1, },
108 { 12, },
109 { 14, },
110 { 2, },
111 { 3, },
65c75cb0 112};
113
e05b81fc 114#elif defined(__i386__)
e898de13 115#include "../drc/emit_x86.c"
116
65c75cb0 117static const int reg_map_g2h[] = {
8b4f38f4 118 xSI,-1, -1, -1,
c18edb34 119 -1, -1, -1, -1,
120 -1, -1, -1, -1,
121 -1, -1, -1, -1,
8b4f38f4 122 -1, -1, -1, xDI,
c18edb34 123 -1, -1, -1, -1,
124};
125
3863edbd 126// ax, cx, dx are usually temporaries by convention
c18edb34 127static temp_reg_t reg_temp[] = {
128 { xAX, },
3863edbd 129 { xBX, },
c18edb34 130 { xCX, },
131 { xDX, },
65c75cb0 132};
133
e05b81fc 134#else
135#error unsupported arch
65c75cb0 136#endif
137
80599a42 138#define T 0x00000001
139#define S 0x00000002
140#define I 0x000000f0
141#define Q 0x00000100
142#define M 0x00000200
18b94127 143#define T_save 0x00000800
80599a42 144
e05b81fc 145#define I_SHIFT 4
f0d7b1fa 146#define Q_SHIFT 8
147#define M_SHIFT 9
148
679af8a3 149typedef struct block_desc_ {
18b94127 150 u32 addr; // SH2 PC address
151 u32 end_addr; // TODO rm?
152 void *tcache_ptr; // translated block for above PC
153 struct block_desc_ *next; // next block with the same PC hash
f4bb5d6b 154#if (DRC_DEBUG & 1)
155 int refcount;
156#endif
679af8a3 157} block_desc;
158
f4bb5d6b 159static const int block_max_counts[3] = {
160 4*1024,
161 256,
162 256,
163};
164static block_desc *block_tables[3];
165static int block_counts[3];
679af8a3 166
f4bb5d6b 167// ROM hash table
679af8a3 168#define MAX_HASH_ENTRIES 1024
169#define HASH_MASK (MAX_HASH_ENTRIES - 1)
f4bb5d6b 170static void **hash_table;
679af8a3 171
18b94127 172#define HASH_FUNC(hash_tab, addr) \
173 ((block_desc **)(hash_tab))[(addr) & HASH_MASK]
174
e05b81fc 175static void REGPARM(1) (*sh2_drc_entry)(SH2 *sh2);
176static void (*sh2_drc_dispatcher)(void);
177static void (*sh2_drc_exit)(void);
178static void (*sh2_drc_test_irq)(void);
179static void REGPARM(2) (*sh2_drc_write8)(u32 a, u32 d);
180static void REGPARM(2) (*sh2_drc_write8_slot)(u32 a, u32 d);
181static void REGPARM(2) (*sh2_drc_write16)(u32 a, u32 d);
182static void REGPARM(2) (*sh2_drc_write16_slot)(u32 a, u32 d);
679af8a3 183
553c3eaa 184extern void REGPARM(2) sh2_do_op(SH2 *sh2, int opcode);
679af8a3 185
f4bb5d6b 186static void flush_tcache(int tcid)
187{
553c3eaa 188 dbg(1, "tcache #%d flush! (%d/%d, bds %d/%d)", tcid,
f4bb5d6b 189 tcache_ptrs[tcid] - tcache_bases[tcid], tcache_sizes[tcid],
190 block_counts[tcid], block_max_counts[tcid]);
191
192 block_counts[tcid] = 0;
193 tcache_ptrs[tcid] = tcache_bases[tcid];
194 if (tcid == 0) { // ROM, RAM
195 memset(hash_table, 0, sizeof(hash_table[0]) * MAX_HASH_ENTRIES);
196 memset(Pico32xMem->drcblk_ram, 0, sizeof(Pico32xMem->drcblk_ram));
197 }
198 else
199 memset(Pico32xMem->drcblk_da[tcid - 1], 0, sizeof(Pico32xMem->drcblk_da[0]));
200#if (DRC_DEBUG & 2)
201 tcache_dsm_ptrs[tcid] = tcache_bases[tcid];
202#endif
203}
204
679af8a3 205static void *dr_find_block(block_desc *tab, u32 addr)
206{
207 for (tab = tab->next; tab != NULL; tab = tab->next)
208 if (tab->addr == addr)
209 break;
210
211 if (tab != NULL)
212 return tab->tcache_ptr;
213
214 printf("block miss for %08x\n", addr);
215 return NULL;
216}
217
f4bb5d6b 218static block_desc *dr_add_block(u32 addr, int tcache_id, int *blk_id)
679af8a3 219{
f4bb5d6b 220 int *bcount = &block_counts[tcache_id];
679af8a3 221 block_desc *bd;
222
f4bb5d6b 223 if (*bcount >= block_max_counts[tcache_id])
224 return NULL;
679af8a3 225
f4bb5d6b 226 bd = &block_tables[tcache_id][*bcount];
679af8a3 227 bd->addr = addr;
228 bd->tcache_ptr = tcache_ptr;
f4bb5d6b 229 *blk_id = *bcount;
230 (*bcount)++;
679af8a3 231
18b94127 232 if ((addr & 0xc6000000) == 0x02000000) { // ROM
233 bd->next = HASH_FUNC(hash_table, addr);
234 HASH_FUNC(hash_table, addr) = bd;
235#if (DRC_DEBUG & 1)
236 if (bd->next != NULL) {
237 printf(" hash collision with %08x\n", bd->next->addr);
238 hash_collisions++;
239 }
240#endif
241 }
242
679af8a3 243 return bd;
244}
245
18b94127 246int find_in_array(u32 *array, size_t size, u32 what)
247{
248 size_t i;
249 for (i = 0; i < size; i++)
250 if (what == array[i])
251 return i;
252
253 return -1;
254}
679af8a3 255
256// ---------------------------------------------------------------
257
c18edb34 258// register chache
259static u16 rcache_counter;
260
261static temp_reg_t *rcache_evict(void)
41397701 262{
c18edb34 263 // evict reg with oldest stamp
264 int i, oldest = -1;
265 u16 min_stamp = (u16)-1;
266
267 for (i = 0; i < ARRAY_SIZE(reg_temp); i++) {
268 if (reg_temp[i].type == HR_CACHED || reg_temp[i].type == HR_CACHED_DIRTY)
269 if (reg_temp[i].stamp <= min_stamp) {
270 min_stamp = reg_temp[i].stamp;
271 oldest = i;
272 }
273 }
274
275 if (oldest == -1) {
80599a42 276 printf("no registers to evict, aborting\n");
c18edb34 277 exit(1);
278 }
279
280 i = oldest;
281 if (reg_temp[i].type == HR_CACHED_DIRTY) {
282 // writeback
283 emith_ctx_write(reg_temp[i].reg, reg_temp[i].val * 4);
284 }
285
286 return &reg_temp[i];
679af8a3 287}
288
c18edb34 289typedef enum {
290 RC_GR_READ,
291 RC_GR_WRITE,
292 RC_GR_RMW,
293} rc_gr_mode;
294
80599a42 295// note: must not be called when doing conditional code
c18edb34 296static int rcache_get_reg(sh2_reg_e r, rc_gr_mode mode)
679af8a3 297{
c18edb34 298 temp_reg_t *tr;
299 int i;
300
301 // maybe already statically mapped?
302 i = reg_map_g2h[r];
303 if (i != -1)
304 return i;
679af8a3 305
c18edb34 306 rcache_counter++;
307
308 // maybe already cached?
309 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
310 if ((reg_temp[i].type == HR_CACHED || reg_temp[i].type == HR_CACHED_DIRTY) &&
311 reg_temp[i].val == r)
312 {
313 reg_temp[i].stamp = rcache_counter;
314 if (mode != RC_GR_READ)
315 reg_temp[i].type = HR_CACHED_DIRTY;
316 return reg_temp[i].reg;
317 }
679af8a3 318 }
319
c18edb34 320 // use any free reg
321 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
322 if (reg_temp[i].type == HR_FREE || reg_temp[i].type == HR_CONST) {
323 tr = &reg_temp[i];
324 goto do_alloc;
325 }
326 }
327
328 tr = rcache_evict();
329
330do_alloc:
331 if (mode != RC_GR_WRITE)
332 emith_ctx_read(tr->reg, r * 4);
679af8a3 333
c18edb34 334 tr->type = mode != RC_GR_READ ? HR_CACHED_DIRTY : HR_CACHED;
335 tr->val = r;
336 tr->stamp = rcache_counter;
337 return tr->reg;
679af8a3 338}
339
c18edb34 340static int rcache_get_tmp(void)
679af8a3 341{
c18edb34 342 temp_reg_t *tr;
343 int i;
344
345 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
346 if (reg_temp[i].type == HR_FREE || reg_temp[i].type == HR_CONST) {
347 tr = &reg_temp[i];
348 goto do_alloc;
349 }
350
351 tr = rcache_evict();
352
353do_alloc:
354 tr->type = HR_TEMP;
355 return tr->reg;
356}
357
80599a42 358static int rcache_get_arg_id(int arg)
359{
360 int i, r = 0;
361 host_arg2reg(r, arg);
362
363 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
364 if (reg_temp[i].reg == r)
365 break;
366
367 if (i == ARRAY_SIZE(reg_temp))
368 // let's just say it's untracked arg reg
369 return r;
370
371 if (reg_temp[i].type == HR_CACHED_DIRTY) {
372 // writeback
373 emith_ctx_write(reg_temp[i].reg, reg_temp[i].val * 4);
374 }
375 else if (reg_temp[i].type == HR_TEMP) {
376 printf("arg %d reg %d already used, aborting\n", arg, r);
377 exit(1);
378 }
379
380 return i;
381}
382
383// get a reg to be used as function arg
384// it's assumed that regs are cleaned before call
385static int rcache_get_tmp_arg(int arg)
386{
387 int id = rcache_get_arg_id(arg);
388 reg_temp[id].type = HR_TEMP;
389
390 return reg_temp[id].reg;
391}
392
393// same but caches reg. RC_GR_READ only.
394static int rcache_get_reg_arg(int arg, sh2_reg_e r)
395{
396 int i, srcr, dstr, dstid;
397
398 dstid = rcache_get_arg_id(arg);
399 dstr = reg_temp[dstid].reg;
400
401 // maybe already statically mapped?
402 srcr = reg_map_g2h[r];
403 if (srcr != -1)
404 goto do_cache;
405
406 // maybe already cached?
407 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
408 if ((reg_temp[i].type == HR_CACHED || reg_temp[i].type == HR_CACHED_DIRTY) &&
409 reg_temp[i].val == r)
410 {
411 srcr = reg_temp[i].reg;
412 goto do_cache;
413 }
414 }
415
416 // must read
417 srcr = dstr;
418 emith_ctx_read(srcr, r * 4);
419
420do_cache:
421 if (srcr != dstr)
422 emith_move_r_r(dstr, srcr);
423
424 reg_temp[dstid].stamp = ++rcache_counter;
425 reg_temp[dstid].type = HR_CACHED;
426 reg_temp[dstid].val = r;
427 return dstr;
428}
429
c18edb34 430static void rcache_free_tmp(int hr)
431{
432 int i;
433 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
434 if (reg_temp[i].reg == hr)
435 break;
436
80599a42 437 if (i == ARRAY_SIZE(reg_temp) || reg_temp[i].type != HR_TEMP) {
c18edb34 438 printf("rcache_free_tmp fail: #%i hr %d, type %d\n", i, hr, reg_temp[i].type);
80599a42 439 return;
440 }
441
442 reg_temp[i].type = HR_FREE;
c18edb34 443}
444
80599a42 445static void rcache_clean(void)
c18edb34 446{
447 int i;
80599a42 448 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
c18edb34 449 if (reg_temp[i].type == HR_CACHED_DIRTY) {
450 // writeback
451 emith_ctx_write(reg_temp[i].reg, reg_temp[i].val * 4);
80599a42 452 reg_temp[i].type = HR_CACHED;
c18edb34 453 }
80599a42 454}
455
456static void rcache_invalidate(void)
457{
458 int i;
459 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
c18edb34 460 reg_temp[i].type = HR_FREE;
c18edb34 461 rcache_counter = 0;
462}
463
80599a42 464static void rcache_flush(void)
465{
466 rcache_clean();
467 rcache_invalidate();
468}
469
c18edb34 470// ---------------------------------------------------------------
471
472static void emit_move_r_imm32(sh2_reg_e dst, u32 imm)
473{
52d759c3 474 // TODO: propagate this constant
c18edb34 475 int hr = rcache_get_reg(dst, RC_GR_WRITE);
476 emith_move_r_imm(hr, imm);
477}
478
479static void emit_move_r_r(sh2_reg_e dst, sh2_reg_e src)
480{
481 int hr_d = rcache_get_reg(dst, RC_GR_WRITE);
482 int hr_s = rcache_get_reg(src, RC_GR_READ);
483
484 emith_move_r_r(hr_d, hr_s);
679af8a3 485}
486
52d759c3 487// T must be clear, and comparison done just before this
488static void emit_or_t_if_eq(int srr)
489{
490 EMITH_SJMP_START(DCOND_NE);
491 emith_or_r_imm_c(DCOND_EQ, srr, T);
492 EMITH_SJMP_END(DCOND_NE);
493}
494
80599a42 495// arguments must be ready
496// reg cache must be clean before call
497static int emit_memhandler_read(int size)
679af8a3 498{
80599a42 499 int ctxr;
500 host_arg2reg(ctxr, 1);
501 emith_move_r_r(ctxr, CONTEXT_REG);
502 switch (size) {
503 case 0: // 8
e05b81fc 504 // must writeback cycles for poll detection stuff
505 if (reg_map_g2h[SHR_SR] != -1)
506 emith_ctx_write(reg_map_g2h[SHR_SR], SHR_SR * 4);
80599a42 507 emith_call(p32x_sh2_read8);
508 break;
509 case 1: // 16
e05b81fc 510 if (reg_map_g2h[SHR_SR] != -1)
511 emith_ctx_write(reg_map_g2h[SHR_SR], SHR_SR * 4);
80599a42 512 emith_call(p32x_sh2_read16);
513 break;
514 case 2: // 32
515 emith_call(p32x_sh2_read32);
679af8a3 516 break;
517 }
80599a42 518 rcache_invalidate();
519 // assuming arg0 and retval reg matches
520 return rcache_get_tmp_arg(0);
521}
679af8a3 522
e05b81fc 523static void emit_memhandler_write(int size, u32 pc, int delay)
80599a42 524{
525 int ctxr;
526 host_arg2reg(ctxr, 2);
80599a42 527 switch (size) {
528 case 0: // 8
e05b81fc 529 // XXX: consider inlining sh2_drc_write8
530 if (delay) {
531 emith_call(sh2_drc_write8_slot);
532 } else {
533 emit_move_r_imm32(SHR_PC, pc);
534 rcache_clean();
535 emith_call(sh2_drc_write8);
536 }
80599a42 537 break;
538 case 1: // 16
e05b81fc 539 if (delay) {
540 emith_call(sh2_drc_write16_slot);
541 } else {
542 emit_move_r_imm32(SHR_PC, pc);
543 rcache_clean();
544 emith_call(sh2_drc_write16);
545 }
80599a42 546 break;
547 case 2: // 32
e05b81fc 548 emith_move_r_r(ctxr, CONTEXT_REG);
80599a42 549 emith_call(p32x_sh2_write32);
550 break;
551 }
552 rcache_invalidate();
679af8a3 553}
80599a42 554
52d759c3 555// @(Rx,Ry)
556static int emit_indirect_indexed_read(int rx, int ry, int size)
557{
558 int a0, t;
559 rcache_clean();
560 a0 = rcache_get_reg_arg(0, rx);
561 t = rcache_get_reg(ry, RC_GR_READ);
562 emith_add_r_r(a0, t);
563 return emit_memhandler_read(size);
564}
565
f0d7b1fa 566// read @Rn, @rm
567static void emit_indirect_read_double(u32 *rnr, u32 *rmr, int rn, int rm, int size)
568{
569 int tmp;
570
571 rcache_clean();
572 rcache_get_reg_arg(0, rn);
573 tmp = emit_memhandler_read(size);
574 emith_ctx_write(tmp, offsetof(SH2, drc_tmp));
575 rcache_free_tmp(tmp);
576 tmp = rcache_get_reg(rn, RC_GR_RMW);
577 emith_add_r_imm(tmp, 1 << size);
578
579 rcache_clean();
580 rcache_get_reg_arg(0, rm);
581 *rmr = emit_memhandler_read(size);
582 *rnr = rcache_get_tmp();
583 emith_ctx_read(*rnr, offsetof(SH2, drc_tmp));
584 tmp = rcache_get_reg(rm, RC_GR_RMW);
585 emith_add_r_imm(tmp, 1 << size);
586}
587
8796b7ee 588static void emit_do_static_regs(int is_write, int tmpr)
f0d7b1fa 589{
8796b7ee 590 int i, r, count;
591
592 for (i = 0; i < ARRAY_SIZE(reg_map_g2h); i++) {
593 r = reg_map_g2h[i];
594 if (r == -1)
595 continue;
596
597 for (count = 1; i < ARRAY_SIZE(reg_map_g2h) - 1; i++, r++) {
598 if (reg_map_g2h[i + 1] != r + 1)
599 break;
600 count++;
601 }
602
603 if (count > 1) {
604 // i, r point to last item
605 if (is_write)
606 emith_ctx_write_multiple(r - count + 1, (i - count + 1) * 4, count, tmpr);
607 else
608 emith_ctx_read_multiple(r - count + 1, (i - count + 1) * 4, count, tmpr);
609 } else {
610 if (is_write)
611 emith_ctx_write(r, i * 4);
612 else
613 emith_ctx_read(r, i * 4);
614 }
f0d7b1fa 615 }
616}
617
e05b81fc 618static void emit_block_entry(void)
f0d7b1fa 619{
e05b81fc 620 int arg0, arg1, arg2;
8796b7ee 621
e05b81fc 622 host_arg2reg(arg0, 0);
623 host_arg2reg(arg1, 1);
624 host_arg2reg(arg2, 2);
8796b7ee 625
e05b81fc 626#if (DRC_DEBUG & 4)
627 emith_move_r_r(arg1, CONTEXT_REG);
628 emith_move_r_r(arg2, rcache_get_reg(SHR_SR, RC_GR_READ));
629 emith_call(sh2_drc_announce_entry);
630 rcache_invalidate();
631#endif
632 emith_tst_r_r(arg0, arg0);
633 EMITH_SJMP_START(DCOND_EQ);
634 emith_jump_reg_c(DCOND_NE, arg0);
635 EMITH_SJMP_END(DCOND_EQ);
636}
8796b7ee 637
e05b81fc 638static void REGPARM(3) *lookup_block(u32 pc, int is_slave, int *tcache_id)
639{
640 block_desc *bd = NULL;
641 void *block = NULL;
642 *tcache_id = 0;
643
644 // we have full block id tables for data_array and RAM
645 // BIOS goes to data_array table too
646 if ((pc & 0xe0000000) == 0xc0000000 || (pc & ~0xfff) == 0) {
647 int blkid = Pico32xMem->drcblk_da[is_slave][(pc & 0xfff) >> SH2_DRCBLK_DA_SHIFT];
648 *tcache_id = 1 + is_slave;
649 if (blkid & 1) {
650 bd = &block_tables[*tcache_id][blkid >> 1];
651 block = bd->tcache_ptr;
652 }
653 }
654 // RAM
655 else if ((pc & 0xc6000000) == 0x06000000) {
656 int blkid = Pico32xMem->drcblk_ram[(pc & 0x3ffff) >> SH2_DRCBLK_RAM_SHIFT];
657 if (blkid & 1) {
658 bd = &block_tables[0][blkid >> 1];
659 block = bd->tcache_ptr;
660 }
661 }
662 // ROM
663 else if ((pc & 0xc6000000) == 0x02000000) {
664 bd = HASH_FUNC(hash_table, pc);
8796b7ee 665
e05b81fc 666 if (bd != NULL) {
667 if (bd->addr == pc)
668 block = bd->tcache_ptr;
669 else
670 block = dr_find_block(bd, pc);
671 }
672 }
673
674#if (DRC_DEBUG & 1)
675 if (bd != NULL)
676 bd->refcount++;
677#endif
678 return block;
f0d7b1fa 679}
679af8a3 680
e898de13 681#define DELAYED_OP \
18b94127 682 drcf.delayed_op = 2
683
684#define DELAY_SAVE_T(sr) { \
685 emith_bic_r_imm(sr, T_save); \
686 emith_tst_r_imm(sr, T); \
687 EMITH_SJMP_START(DCOND_EQ); \
688 emith_or_r_imm_c(DCOND_NE, sr, T_save); \
689 EMITH_SJMP_END(DCOND_EQ); \
690 drcf.use_saved_t = 1; \
691}
e898de13 692
e05b81fc 693#define FLUSH_CYCLES(sr) \
694 if (cycles > 0) { \
695 emith_sub_r_imm(sr, cycles << 12); \
696 cycles = 0; \
697 }
698
e898de13 699#define CHECK_UNHANDLED_BITS(mask) { \
700 if ((op & (mask)) != 0) \
701 goto default_; \
702}
703
80599a42 704#define GET_Fx() \
705 ((op >> 4) & 0x0f)
706
707#define GET_Rm GET_Fx
708
709#define GET_Rn() \
710 ((op >> 8) & 0x0f)
711
ed8cf79b 712#define CHECK_FX_LT(n) \
52d759c3 713 if (GET_Fx() >= n) \
80599a42 714 goto default_
715
18b94127 716#define MAX_LOCAL_BRANCHES 16
717
718// op_flags: data from 1st pass
719#define OP_FLAGS(pc) op_flags[((pc) - base_pc) / 2]
720#define OF_DELAY_OP (1 << 0)
721
e05b81fc 722static void REGPARM(2) *sh2_translate(SH2 *sh2, int tcache_id)
679af8a3 723{
18b94127 724 // XXX: maybe use structs instead?
725 void *branch_target_ptr[MAX_LOCAL_BRANCHES];
726 u32 branch_target_pc[MAX_LOCAL_BRANCHES];
727 int branch_target_count = 0;
728 void *branch_patch_ptr[MAX_LOCAL_BRANCHES];
729 u32 branch_patch_pc[MAX_LOCAL_BRANCHES];
730 int branch_patch_count = 0;
731 int branch_patch_cond = -1;
732 u8 op_flags[BLOCK_CYCLE_LIMIT + 1];
733 struct {
734 u32 delayed_op:2;
735 u32 test_irq:1;
736 u32 use_saved_t:1; // delayed op modifies T
737 } drcf = { 0, };
738
f4bb5d6b 739 void *block_entry;
679af8a3 740 block_desc *this_block;
18b94127 741 u32 pc, base_pc, end_pc; // PC of current, first, last insn
742 int blkid_main = 0;
743 u32 tmp, tmp2;
744 int cycles;
745 int op;
746 int i;
747
748 base_pc = sh2->pc;
679af8a3 749
f4bb5d6b 750 // validate PC
18b94127 751 tmp = base_pc >> 29;
752 if ((tmp != 0 && tmp != 1 && tmp != 6) || base_pc == 0) {
753 printf("invalid PC, aborting: %08x\n", base_pc);
f4bb5d6b 754 // FIXME: be less destructive
755 exit(1);
756 }
757
f4bb5d6b 758 tcache_ptr = tcache_ptrs[tcache_id];
18b94127 759 this_block = dr_add_block(base_pc, tcache_id, &blkid_main);
f4bb5d6b 760
18b94127 761 // predict tcache overflow
f4bb5d6b 762 tmp = tcache_ptr - tcache_bases[tcache_id];
18b94127 763 if (tmp > tcache_sizes[tcache_id] - MAX_BLOCK_SIZE || this_block == NULL)
764 return NULL;
765
766 block_entry = tcache_ptr;
767 dbg(1, "== %csh2 block #%d,%d %08x -> %p", sh2->is_slave ? 's' : 'm',
768 tcache_id, blkid_main, base_pc, block_entry);
769
770 // 1st pass: scan forward for local branches
771 memset(op_flags, 0, sizeof(op_flags));
772 for (cycles = 0, pc = base_pc; cycles < BLOCK_CYCLE_LIMIT; cycles++, pc += 2) {
773 op = p32x_sh2_read16(pc, sh2);
774 if ((op & 0xf000) == 0xa000 || (op & 0xf000) == 0xb000) { // BRA, BSR
775 pc += 2;
776 OP_FLAGS(pc) |= OF_DELAY_OP;
777 break;
778 }
779 if ((op & 0xf000) == 0) {
780 op &= 0xff;
781 if (op == 0x23 || op == 0x03 || op == 0x0b) { // BRAF, BSRF, RTS
782 pc += 2;
783 OP_FLAGS(pc) |= OF_DELAY_OP;
784 break;
785 }
786 continue;
787 }
788 if ((op & 0xf0df) == 0x400b) { // JMP, JSR
789 pc += 2;
790 OP_FLAGS(pc) |= OF_DELAY_OP;
791 break;
792 }
793 if ((op & 0xf900) == 0x8900) { // BT(S), BF(S)
794 signed int offs = ((signed int)(op << 24) >> 23);
795 if (op & 0x0400)
796 OP_FLAGS(pc + 2) |= OF_DELAY_OP;
797 branch_target_pc[branch_target_count++] = pc + offs + 4;
798 if (branch_target_count == MAX_LOCAL_BRANCHES) {
799 printf("warning: branch target overflow\n");
800 // will only spawn additional blocks
801 break;
802 }
803 }
f4bb5d6b 804 }
e898de13 805
18b94127 806 end_pc = pc;
679af8a3 807
18b94127 808 // clean branch_targets that are not really local,
809 // and that land on delay slots
810 for (i = 0, tmp = 0; i < branch_target_count; i++) {
811 pc = branch_target_pc[i];
812 if (base_pc <= pc && pc <= end_pc && !(OP_FLAGS(pc) & OF_DELAY_OP))
813 branch_target_pc[tmp++] = branch_target_pc[i];
e898de13 814 }
18b94127 815 branch_target_count = tmp;
816 memset(branch_target_ptr, 0, sizeof(branch_target_ptr[0]) * branch_target_count);
679af8a3 817
18b94127 818 // -------------------------------------------------
819 // 2nd pass: actual compilation
820 pc = base_pc;
821 for (cycles = 0; pc <= end_pc || drcf.delayed_op; )
679af8a3 822 {
18b94127 823 u32 tmp3, tmp4, sr;
824
825 if (drcf.delayed_op > 0)
826 drcf.delayed_op--;
827
828 i = find_in_array(branch_target_pc, branch_target_count, pc);
829 if (i >= 0)
830 {
831 if (pc != sh2->pc)
832 {
833 /* make "subblock" - just a mid-block entry */
834 block_desc *subblock;
835 u16 *drcblk;
836 int blkid;
837
838 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
e05b81fc 839 FLUSH_CYCLES(sr);
18b94127 840 rcache_flush();
841 do_host_disasm(tcache_id);
842
843 subblock = dr_add_block(pc, tcache_id, &blkid);
844 if (subblock == NULL)
845 return NULL;
846 subblock->end_addr = pc;
847
848 if (tcache_id != 0) { // data array, BIOS
849 drcblk = Pico32xMem->drcblk_da[sh2->is_slave];
850 drcblk += (pc & 0x00fff) >> SH2_DRCBLK_DA_SHIFT;
851 *drcblk = (blkid << 1) | 1;
852 } else if ((this_block->addr & 0xc7fc0000) == 0x06000000) { // DRAM
853 drcblk = Pico32xMem->drcblk_ram;
854 drcblk += (pc & 0x3ffff) >> SH2_DRCBLK_RAM_SHIFT;
855 *drcblk = (blkid << 1) | 1;
856 }
857
858 dbg(1, "=== %csh2 subblock #%d,%d %08x -> %p", sh2->is_slave ? 's' : 'm',
859 tcache_id, blkid, pc, tcache_ptr);
860 }
861 branch_target_ptr[i] = tcache_ptr;
862
863 // must update PC
864 emit_move_r_imm32(SHR_PC, pc);
865 rcache_clean();
866
867 // check cycles
868 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
869 emith_cmp_r_imm(sr, 0);
870 emith_jump_cond(DCOND_LE, sh2_drc_exit);
871 }
e898de13 872
2b2b46b0 873 op = p32x_sh2_read16(pc, sh2);
e898de13 874
875#if (DRC_DEBUG & 3)
876 insns_compiled++;
877#if (DRC_DEBUG & 2)
878 DasmSH2(sh2dasm_buff, pc, op);
879 printf("%08x %04x %s\n", pc, op, sh2dasm_buff);
880#endif
679af8a3 881#endif
679af8a3 882
883 pc += 2;
884 cycles++;
885
886 switch ((op >> 12) & 0x0f)
887 {
3863edbd 888 /////////////////////////////////////////////
679af8a3 889 case 0x00:
80599a42 890 switch (op & 0x0f)
891 {
892 case 0x02:
893 tmp = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
894 switch (GET_Fx())
895 {
896 case 0: // STC SR,Rn 0000nnnn00000010
897 tmp2 = SHR_SR;
898 break;
899 case 1: // STC GBR,Rn 0000nnnn00010010
900 tmp2 = SHR_GBR;
901 break;
902 case 2: // STC VBR,Rn 0000nnnn00100010
903 tmp2 = SHR_VBR;
904 break;
905 default:
906 goto default_;
907 }
ed8cf79b 908 tmp3 = rcache_get_reg(tmp2, RC_GR_READ);
909 emith_move_r_r(tmp, tmp3);
910 if (tmp2 == SHR_SR)
18b94127 911 emith_clear_msb(tmp, tmp, 22); // reserved bits defined by ISA as 0
80599a42 912 goto end_op;
e898de13 913 case 0x03:
914 CHECK_UNHANDLED_BITS(0xd0);
915 // BRAF Rm 0000mmmm00100011
916 // BSRF Rm 0000mmmm00000011
679af8a3 917 DELAYED_OP;
18b94127 918 tmp = rcache_get_reg(SHR_PC, RC_GR_WRITE);
80599a42 919 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
c18edb34 920 emith_move_r_r(tmp, tmp2);
18b94127 921 if (op & 0x20)
922 emith_add_r_imm(tmp, pc + 2);
923 else { // BSRF
924 tmp3 = rcache_get_reg(SHR_PR, RC_GR_WRITE);
925 emith_move_r_imm(tmp3, pc + 2);
926 emith_add_r_r(tmp, tmp3);
927 }
679af8a3 928 cycles++;
e898de13 929 goto end_op;
80599a42 930 case 0x04: // MOV.B Rm,@(R0,Rn) 0000nnnnmmmm0100
931 case 0x05: // MOV.W Rm,@(R0,Rn) 0000nnnnmmmm0101
932 case 0x06: // MOV.L Rm,@(R0,Rn) 0000nnnnmmmm0110
e05b81fc 933 rcache_clean();
934 tmp = rcache_get_reg_arg(1, GET_Rm());
935 tmp2 = rcache_get_reg_arg(0, SHR_R0);
936 tmp3 = rcache_get_reg(GET_Rn(), RC_GR_READ);
937 emith_add_r_r(tmp2, tmp3);
938 emit_memhandler_write(op & 3, pc, drcf.delayed_op);
80599a42 939 goto end_op;
940 case 0x07:
941 // MUL.L Rm,Rn 0000nnnnmmmm0111
942 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
943 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
944 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
945 emith_mul(tmp3, tmp2, tmp);
946 cycles++;
947 goto end_op;
948 case 0x08:
949 CHECK_UNHANDLED_BITS(0xf00);
950 switch (GET_Fx())
951 {
952 case 0: // CLRT 0000000000001000
8796b7ee 953 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 954 if (drcf.delayed_op)
955 DELAY_SAVE_T(sr);
8796b7ee 956 emith_bic_r_imm(sr, T);
80599a42 957 break;
958 case 1: // SETT 0000000000011000
8796b7ee 959 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 960 if (drcf.delayed_op)
961 DELAY_SAVE_T(sr);
8796b7ee 962 emith_or_r_imm(sr, T);
80599a42 963 break;
964 case 2: // CLRMAC 0000000000101000
965 tmp = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
966 emith_move_r_imm(tmp, 0);
967 tmp = rcache_get_reg(SHR_MACH, RC_GR_WRITE);
968 emith_move_r_imm(tmp, 0);
969 break;
970 default:
971 goto default_;
972 }
973 goto end_op;
e898de13 974 case 0x09:
80599a42 975 switch (GET_Fx())
976 {
977 case 0: // NOP 0000000000001001
978 CHECK_UNHANDLED_BITS(0xf00);
979 break;
980 case 1: // DIV0U 0000000000011001
981 CHECK_UNHANDLED_BITS(0xf00);
8796b7ee 982 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 983 if (drcf.delayed_op)
984 DELAY_SAVE_T(sr);
8796b7ee 985 emith_bic_r_imm(sr, M|Q|T);
80599a42 986 break;
987 case 2: // MOVT Rn 0000nnnn00101001
8796b7ee 988 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
80599a42 989 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
8796b7ee 990 emith_clear_msb(tmp2, sr, 31);
80599a42 991 break;
992 default:
993 goto default_;
994 }
995 goto end_op;
996 case 0x0a:
997 tmp = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
998 switch (GET_Fx())
999 {
1000 case 0: // STS MACH,Rn 0000nnnn00001010
ed8cf79b 1001 tmp2 = SHR_MACH;
80599a42 1002 break;
1003 case 1: // STS MACL,Rn 0000nnnn00011010
ed8cf79b 1004 tmp2 = SHR_MACL;
80599a42 1005 break;
1006 case 2: // STS PR,Rn 0000nnnn00101010
ed8cf79b 1007 tmp2 = SHR_PR;
80599a42 1008 break;
1009 default:
1010 goto default_;
1011 }
ed8cf79b 1012 tmp2 = rcache_get_reg(tmp2, RC_GR_READ);
80599a42 1013 emith_move_r_r(tmp, tmp2);
e898de13 1014 goto end_op;
1015 case 0x0b:
80599a42 1016 CHECK_UNHANDLED_BITS(0xf00);
1017 switch (GET_Fx())
1018 {
1019 case 0: // RTS 0000000000001011
1020 DELAYED_OP;
18b94127 1021 emit_move_r_r(SHR_PC, SHR_PR);
e898de13 1022 cycles++;
80599a42 1023 break;
1024 case 1: // SLEEP 0000000000011011
1025 emit_move_r_imm32(SHR_PC, pc - 2);
1026 tmp = rcache_get_reg(SHR_SR, RC_GR_RMW);
1027 emith_clear_msb(tmp, tmp, 20); // clear cycles
80599a42 1028 cycles = 1;
e05b81fc 1029 goto end_op;
80599a42 1030 case 2: // RTE 0000000000101011
52d759c3 1031 DELAYED_OP;
1032 rcache_clean();
1033 // pop PC
1034 rcache_get_reg_arg(0, SHR_SP);
1035 tmp = emit_memhandler_read(2);
18b94127 1036 tmp2 = rcache_get_reg(SHR_PC, RC_GR_WRITE);
52d759c3 1037 emith_move_r_r(tmp2, tmp);
1038 rcache_free_tmp(tmp);
1039 rcache_clean();
1040 // pop SR
1041 tmp = rcache_get_reg_arg(0, SHR_SP);
1042 emith_add_r_imm(tmp, 4);
1043 tmp = emit_memhandler_read(2);
18b94127 1044 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1045 emith_write_sr(sr, tmp);
52d759c3 1046 rcache_free_tmp(tmp);
1047 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
1048 emith_add_r_imm(tmp, 4*2);
18b94127 1049 drcf.test_irq = 1;
e898de13 1050 cycles += 3;
80599a42 1051 break;
1052 default:
1053 goto default_;
e898de13 1054 }
1055 goto end_op;
80599a42 1056 case 0x0c: // MOV.B @(R0,Rm),Rn 0000nnnnmmmm1100
1057 case 0x0d: // MOV.W @(R0,Rm),Rn 0000nnnnmmmm1101
1058 case 0x0e: // MOV.L @(R0,Rm),Rn 0000nnnnmmmm1110
52d759c3 1059 tmp = emit_indirect_indexed_read(SHR_R0, GET_Rm(), op & 3);
80599a42 1060 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
80599a42 1061 if ((op & 3) != 2) {
1062 emith_sext(tmp2, tmp, (op & 1) ? 16 : 8);
1063 } else
1064 emith_move_r_r(tmp2, tmp);
52d759c3 1065 rcache_free_tmp(tmp);
80599a42 1066 goto end_op;
1067 case 0x0f: // MAC.L @Rm+,@Rn+ 0000nnnnmmmm1111
f0d7b1fa 1068 emit_indirect_read_double(&tmp, &tmp2, GET_Rn(), GET_Rm(), 2);
8796b7ee 1069 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
f0d7b1fa 1070 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_RMW);
1071 /* MS 16 MAC bits unused if saturated */
8796b7ee 1072 emith_tst_r_imm(sr, S);
f0d7b1fa 1073 EMITH_SJMP_START(DCOND_EQ);
1074 emith_clear_msb_c(DCOND_NE, tmp4, tmp4, 16);
1075 EMITH_SJMP_END(DCOND_EQ);
1076 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_RMW); // might evict SR
1077 emith_mula_s64(tmp3, tmp4, tmp, tmp2);
f0d7b1fa 1078 rcache_free_tmp(tmp2);
8796b7ee 1079 sr = rcache_get_reg(SHR_SR, RC_GR_READ); // reget just in case
1080 emith_tst_r_imm(sr, S);
1081
1082 EMITH_JMP_START(DCOND_EQ);
1083 emith_asr(tmp, tmp4, 15);
1084 emith_cmp_r_imm(tmp, -1); // negative overflow (0x80000000..0xffff7fff)
1085 EMITH_SJMP_START(DCOND_GE);
1086 emith_move_r_imm_c(DCOND_LT, tmp4, 0x8000);
1087 emith_move_r_imm_c(DCOND_LT, tmp3, 0x0000);
1088 EMITH_SJMP_END(DCOND_GE);
1089 emith_cmp_r_imm(tmp, 0); // positive overflow (0x00008000..0x7fffffff)
1090 EMITH_SJMP_START(DCOND_LE);
1091 emith_move_r_imm_c(DCOND_GT, tmp4, 0x00007fff);
1092 emith_move_r_imm_c(DCOND_GT, tmp3, 0xffffffff);
1093 EMITH_SJMP_END(DCOND_LE);
1094 EMITH_JMP_END(DCOND_EQ);
1095
1096 rcache_free_tmp(tmp);
f0d7b1fa 1097 cycles += 3;
1098 goto end_op;
80599a42 1099 }
1100 goto default_;
1101
3863edbd 1102 /////////////////////////////////////////////
80599a42 1103 case 0x01:
1104 // MOV.L Rm,@(disp,Rn) 0001nnnnmmmmdddd
1105 rcache_clean();
1106 tmp = rcache_get_reg_arg(0, GET_Rn());
1107 tmp2 = rcache_get_reg_arg(1, GET_Rm());
1108 emith_add_r_imm(tmp, (op & 0x0f) * 4);
e05b81fc 1109 emit_memhandler_write(2, pc, drcf.delayed_op);
80599a42 1110 goto end_op;
1111
1112 case 0x02:
1113 switch (op & 0x0f)
1114 {
1115 case 0x00: // MOV.B Rm,@Rn 0010nnnnmmmm0000
1116 case 0x01: // MOV.W Rm,@Rn 0010nnnnmmmm0001
1117 case 0x02: // MOV.L Rm,@Rn 0010nnnnmmmm0010
1118 rcache_clean();
1119 rcache_get_reg_arg(0, GET_Rn());
1120 rcache_get_reg_arg(1, GET_Rm());
e05b81fc 1121 emit_memhandler_write(op & 3, pc, drcf.delayed_op);
80599a42 1122 goto end_op;
1123 case 0x04: // MOV.B Rm,@–Rn 0010nnnnmmmm0100
1124 case 0x05: // MOV.W Rm,@–Rn 0010nnnnmmmm0101
1125 case 0x06: // MOV.L Rm,@–Rn 0010nnnnmmmm0110
1126 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1127 emith_sub_r_imm(tmp, (1 << (op & 3)));
1128 rcache_clean();
1129 rcache_get_reg_arg(0, GET_Rn());
1130 rcache_get_reg_arg(1, GET_Rm());
e05b81fc 1131 emit_memhandler_write(op & 3, pc, drcf.delayed_op);
80599a42 1132 goto end_op;
1133 case 0x07: // DIV0S Rm,Rn 0010nnnnmmmm0111
8796b7ee 1134 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
80599a42 1135 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1136 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
18b94127 1137 if (drcf.delayed_op)
1138 DELAY_SAVE_T(sr);
8796b7ee 1139 emith_bic_r_imm(sr, M|Q|T);
80599a42 1140 emith_tst_r_imm(tmp2, (1<<31));
1141 EMITH_SJMP_START(DCOND_EQ);
8796b7ee 1142 emith_or_r_imm_c(DCOND_NE, sr, Q);
80599a42 1143 EMITH_SJMP_END(DCOND_EQ);
1144 emith_tst_r_imm(tmp3, (1<<31));
1145 EMITH_SJMP_START(DCOND_EQ);
8796b7ee 1146 emith_or_r_imm_c(DCOND_NE, sr, M);
80599a42 1147 EMITH_SJMP_END(DCOND_EQ);
1148 emith_teq_r_r(tmp2, tmp3);
1149 EMITH_SJMP_START(DCOND_PL);
8796b7ee 1150 emith_or_r_imm_c(DCOND_MI, sr, T);
80599a42 1151 EMITH_SJMP_END(DCOND_PL);
1152 goto end_op;
3863edbd 1153 case 0x08: // TST Rm,Rn 0010nnnnmmmm1000
8796b7ee 1154 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
3863edbd 1155 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1156 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
18b94127 1157 if (drcf.delayed_op)
1158 DELAY_SAVE_T(sr);
8796b7ee 1159 emith_bic_r_imm(sr, T);
3863edbd 1160 emith_tst_r_r(tmp2, tmp3);
8796b7ee 1161 emit_or_t_if_eq(sr);
3863edbd 1162 goto end_op;
1163 case 0x09: // AND Rm,Rn 0010nnnnmmmm1001
1164 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1165 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1166 emith_and_r_r(tmp, tmp2);
1167 goto end_op;
1168 case 0x0a: // XOR Rm,Rn 0010nnnnmmmm1010
1169 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1170 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1171 emith_eor_r_r(tmp, tmp2);
1172 goto end_op;
1173 case 0x0b: // OR Rm,Rn 0010nnnnmmmm1011
1174 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1175 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1176 emith_or_r_r(tmp, tmp2);
1177 goto end_op;
1178 case 0x0c: // CMP/STR Rm,Rn 0010nnnnmmmm1100
1179 tmp = rcache_get_tmp();
1180 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1181 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1182 emith_eor_r_r_r(tmp, tmp2, tmp3);
8796b7ee 1183 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1184 if (drcf.delayed_op)
1185 DELAY_SAVE_T(sr);
8796b7ee 1186 emith_bic_r_imm(sr, T);
3863edbd 1187 emith_tst_r_imm(tmp, 0x000000ff);
52d759c3 1188 emit_or_t_if_eq(tmp);
3863edbd 1189 emith_tst_r_imm(tmp, 0x0000ff00);
52d759c3 1190 emit_or_t_if_eq(tmp);
3863edbd 1191 emith_tst_r_imm(tmp, 0x00ff0000);
52d759c3 1192 emit_or_t_if_eq(tmp);
3863edbd 1193 emith_tst_r_imm(tmp, 0xff000000);
52d759c3 1194 emit_or_t_if_eq(tmp);
3863edbd 1195 rcache_free_tmp(tmp);
1196 goto end_op;
1197 case 0x0d: // XTRCT Rm,Rn 0010nnnnmmmm1101
1198 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1199 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1200 emith_lsr(tmp, tmp, 16);
f0d7b1fa 1201 emith_or_r_r_lsl(tmp, tmp2, 16);
3863edbd 1202 goto end_op;
1203 case 0x0e: // MULU.W Rm,Rn 0010nnnnmmmm1110
1204 case 0x0f: // MULS.W Rm,Rn 0010nnnnmmmm1111
1205 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1206 tmp = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1207 if (op & 1) {
1208 emith_sext(tmp, tmp2, 16);
1209 } else
1210 emith_clear_msb(tmp, tmp2, 16);
1211 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1212 tmp2 = rcache_get_tmp();
1213 if (op & 1) {
1214 emith_sext(tmp2, tmp3, 16);
1215 } else
1216 emith_clear_msb(tmp2, tmp3, 16);
1217 emith_mul(tmp, tmp, tmp2);
1218 rcache_free_tmp(tmp2);
1219// FIXME: causes timing issues in Doom?
1220// cycles++;
1221 goto end_op;
679af8a3 1222 }
1223 goto default_;
1224
3863edbd 1225 /////////////////////////////////////////////
1226 case 0x03:
1227 switch (op & 0x0f)
1228 {
1229 case 0x00: // CMP/EQ Rm,Rn 0011nnnnmmmm0000
1230 case 0x02: // CMP/HS Rm,Rn 0011nnnnmmmm0010
1231 case 0x03: // CMP/GE Rm,Rn 0011nnnnmmmm0011
1232 case 0x06: // CMP/HI Rm,Rn 0011nnnnmmmm0110
1233 case 0x07: // CMP/GT Rm,Rn 0011nnnnmmmm0111
8796b7ee 1234 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
3863edbd 1235 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1236 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
18b94127 1237 if (drcf.delayed_op)
1238 DELAY_SAVE_T(sr);
8796b7ee 1239 emith_bic_r_imm(sr, T);
3863edbd 1240 emith_cmp_r_r(tmp2, tmp3);
1241 switch (op & 0x07)
1242 {
1243 case 0x00: // CMP/EQ
8796b7ee 1244 emit_or_t_if_eq(sr);
3863edbd 1245 break;
1246 case 0x02: // CMP/HS
1247 EMITH_SJMP_START(DCOND_LO);
8796b7ee 1248 emith_or_r_imm_c(DCOND_HS, sr, T);
3863edbd 1249 EMITH_SJMP_END(DCOND_LO);
1250 break;
1251 case 0x03: // CMP/GE
1252 EMITH_SJMP_START(DCOND_LT);
8796b7ee 1253 emith_or_r_imm_c(DCOND_GE, sr, T);
3863edbd 1254 EMITH_SJMP_END(DCOND_LT);
1255 break;
1256 case 0x06: // CMP/HI
1257 EMITH_SJMP_START(DCOND_LS);
8796b7ee 1258 emith_or_r_imm_c(DCOND_HI, sr, T);
3863edbd 1259 EMITH_SJMP_END(DCOND_LS);
1260 break;
1261 case 0x07: // CMP/GT
1262 EMITH_SJMP_START(DCOND_LE);
8796b7ee 1263 emith_or_r_imm_c(DCOND_GT, sr, T);
3863edbd 1264 EMITH_SJMP_END(DCOND_LE);
1265 break;
1266 }
1267 goto end_op;
1268 case 0x04: // DIV1 Rm,Rn 0011nnnnmmmm0100
f0d7b1fa 1269 // Q1 = carry(Rn = (Rn << 1) | T)
1270 // if Q ^ M
1271 // Q2 = carry(Rn += Rm)
1272 // else
1273 // Q2 = carry(Rn -= Rm)
1274 // Q = M ^ Q1 ^ Q2
1275 // T = (Q == M) = !(Q ^ M) = !(Q1 ^ Q2)
1276 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1277 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1278 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1279 if (drcf.delayed_op)
1280 DELAY_SAVE_T(sr);
8b4f38f4 1281 emith_tpop_carry(sr, 0);
f0d7b1fa 1282 emith_adcf_r_r(tmp2, tmp2);
8b4f38f4 1283 emith_tpush_carry(sr, 0); // keep Q1 in T for now
f0d7b1fa 1284 tmp4 = rcache_get_tmp();
1285 emith_and_r_r_imm(tmp4, sr, M);
1286 emith_eor_r_r_lsr(sr, tmp4, M_SHIFT - Q_SHIFT); // Q ^= M
1287 rcache_free_tmp(tmp4);
1288 // add or sub, invert T if carry to get Q1 ^ Q2
1289 // in: (Q ^ M) passed in Q, Q1 in T
1290 emith_sh2_div1_step(tmp2, tmp3, sr);
18b94127 1291 emith_bic_r_imm(sr, Q);
1292 emith_tst_r_imm(sr, M);
1293 EMITH_SJMP_START(DCOND_EQ);
1294 emith_or_r_imm_c(DCOND_NE, sr, Q); // Q = M
1295 EMITH_SJMP_END(DCOND_EQ);
1296 emith_tst_r_imm(sr, T);
1297 EMITH_SJMP_START(DCOND_EQ);
1298 emith_eor_r_imm_c(DCOND_NE, sr, Q); // Q = M ^ Q1 ^ Q2
1299 EMITH_SJMP_END(DCOND_EQ);
1300 emith_eor_r_imm(sr, T); // T = !(Q1 ^ Q2)
f0d7b1fa 1301 goto end_op;
3863edbd 1302 case 0x05: // DMULU.L Rm,Rn 0011nnnnmmmm0101
1303 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
1304 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1305 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1306 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_WRITE);
1307 emith_mul_u64(tmp3, tmp4, tmp, tmp2);
1308 goto end_op;
1309 case 0x08: // SUB Rm,Rn 0011nnnnmmmm1000
1310 case 0x0c: // ADD Rm,Rn 0011nnnnmmmm1100
1311 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1312 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1313 if (op & 4) {
1314 emith_add_r_r(tmp, tmp2);
1315 } else
1316 emith_sub_r_r(tmp, tmp2);
1317 goto end_op;
1318 case 0x0a: // SUBC Rm,Rn 0011nnnnmmmm1010
1319 case 0x0e: // ADDC Rm,Rn 0011nnnnmmmm1110
1320 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1321 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 1322 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1323 if (drcf.delayed_op)
1324 DELAY_SAVE_T(sr);
3863edbd 1325 if (op & 4) { // adc
8b4f38f4 1326 emith_tpop_carry(sr, 0);
3863edbd 1327 emith_adcf_r_r(tmp, tmp2);
8b4f38f4 1328 emith_tpush_carry(sr, 0);
3863edbd 1329 } else {
8b4f38f4 1330 emith_tpop_carry(sr, 1);
3863edbd 1331 emith_sbcf_r_r(tmp, tmp2);
8b4f38f4 1332 emith_tpush_carry(sr, 1);
3863edbd 1333 }
3863edbd 1334 goto end_op;
1335 case 0x0b: // SUBV Rm,Rn 0011nnnnmmmm1011
1336 case 0x0f: // ADDV Rm,Rn 0011nnnnmmmm1111
1337 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1338 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 1339 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1340 if (drcf.delayed_op)
1341 DELAY_SAVE_T(sr);
8796b7ee 1342 emith_bic_r_imm(sr, T);
3863edbd 1343 if (op & 4) {
1344 emith_addf_r_r(tmp, tmp2);
1345 } else
1346 emith_subf_r_r(tmp, tmp2);
1347 EMITH_SJMP_START(DCOND_VC);
8796b7ee 1348 emith_or_r_imm_c(DCOND_VS, sr, T);
3863edbd 1349 EMITH_SJMP_END(DCOND_VC);
1350 goto end_op;
1351 case 0x0d: // DMULS.L Rm,Rn 0011nnnnmmmm1101
1352 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
1353 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1354 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1355 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_WRITE);
1356 emith_mul_s64(tmp3, tmp4, tmp, tmp2);
1357 goto end_op;
1358 }
1359 goto default_;
1360
1361 /////////////////////////////////////////////
679af8a3 1362 case 0x04:
3863edbd 1363 switch (op & 0x0f)
1364 {
c18edb34 1365 case 0x00:
3863edbd 1366 switch (GET_Fx())
1367 {
1368 case 0: // SHLL Rn 0100nnnn00000000
1369 case 2: // SHAL Rn 0100nnnn00100000
8796b7ee 1370 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1371 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1372 if (drcf.delayed_op)
1373 DELAY_SAVE_T(sr);
8b4f38f4 1374 emith_tpop_carry(sr, 0); // dummy
3863edbd 1375 emith_lslf(tmp, tmp, 1);
8b4f38f4 1376 emith_tpush_carry(sr, 0);
3863edbd 1377 goto end_op;
1378 case 1: // DT Rn 0100nnnn00010000
1379 if (p32x_sh2_read16(pc, sh2) == 0x8bfd) { // BF #-2
1380 emith_sh2_dtbf_loop();
1381 goto end_op;
1382 }
1383 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
8796b7ee 1384 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1385 if (drcf.delayed_op)
1386 DELAY_SAVE_T(sr);
8796b7ee 1387 emith_bic_r_imm(sr, T);
3863edbd 1388 emith_subf_r_imm(tmp, 1);
8796b7ee 1389 emit_or_t_if_eq(sr);
80599a42 1390 goto end_op;
1391 }
3863edbd 1392 goto default_;
ed8cf79b 1393 case 0x01:
1394 switch (GET_Fx())
1395 {
1396 case 0: // SHLR Rn 0100nnnn00000001
1397 case 2: // SHAR Rn 0100nnnn00100001
8796b7ee 1398 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1399 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1400 if (drcf.delayed_op)
1401 DELAY_SAVE_T(sr);
8b4f38f4 1402 emith_tpop_carry(sr, 0); // dummy
ed8cf79b 1403 if (op & 0x20) {
1404 emith_asrf(tmp, tmp, 1);
1405 } else
1406 emith_lsrf(tmp, tmp, 1);
8b4f38f4 1407 emith_tpush_carry(sr, 0);
ed8cf79b 1408 goto end_op;
1409 case 1: // CMP/PZ Rn 0100nnnn00010001
8796b7ee 1410 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1411 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1412 if (drcf.delayed_op)
1413 DELAY_SAVE_T(sr);
8796b7ee 1414 emith_bic_r_imm(sr, T);
ed8cf79b 1415 emith_cmp_r_imm(tmp, 0);
1416 EMITH_SJMP_START(DCOND_LT);
8796b7ee 1417 emith_or_r_imm_c(DCOND_GE, sr, T);
ed8cf79b 1418 EMITH_SJMP_END(DCOND_LT);
1419 goto end_op;
1420 }
1421 goto default_;
1422 case 0x02:
1423 case 0x03:
1424 switch (op & 0x3f)
1425 {
1426 case 0x02: // STS.L MACH,@–Rn 0100nnnn00000010
1427 tmp = SHR_MACH;
1428 break;
1429 case 0x12: // STS.L MACL,@–Rn 0100nnnn00010010
1430 tmp = SHR_MACL;
1431 break;
1432 case 0x22: // STS.L PR,@–Rn 0100nnnn00100010
1433 tmp = SHR_PR;
1434 break;
1435 case 0x03: // STC.L SR,@–Rn 0100nnnn00000011
1436 tmp = SHR_SR;
1437 break;
1438 case 0x13: // STC.L GBR,@–Rn 0100nnnn00010011
1439 tmp = SHR_GBR;
1440 break;
1441 case 0x23: // STC.L VBR,@–Rn 0100nnnn00100011
1442 tmp = SHR_VBR;
1443 break;
1444 default:
e898de13 1445 goto default_;
ed8cf79b 1446 }
1447 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1448 emith_sub_r_imm(tmp2, 4);
1449 rcache_clean();
1450 rcache_get_reg_arg(0, GET_Rn());
1451 tmp3 = rcache_get_reg_arg(1, tmp);
1452 if (tmp == SHR_SR)
e05b81fc 1453 emith_clear_msb(tmp3, tmp3, 22); // reserved bits defined by ISA as 0
1454 emit_memhandler_write(2, pc, drcf.delayed_op);
ed8cf79b 1455 goto end_op;
1456 case 0x04:
1457 case 0x05:
1458 switch (op & 0x3f)
1459 {
1460 case 0x04: // ROTL Rn 0100nnnn00000100
1461 case 0x05: // ROTR Rn 0100nnnn00000101
8796b7ee 1462 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1463 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1464 if (drcf.delayed_op)
1465 DELAY_SAVE_T(sr);
8b4f38f4 1466 emith_tpop_carry(sr, 0); // dummy
ed8cf79b 1467 if (op & 1) {
1468 emith_rorf(tmp, tmp, 1);
1469 } else
1470 emith_rolf(tmp, tmp, 1);
8b4f38f4 1471 emith_tpush_carry(sr, 0);
ed8cf79b 1472 goto end_op;
1473 case 0x24: // ROTCL Rn 0100nnnn00100100
1474 case 0x25: // ROTCR Rn 0100nnnn00100101
8796b7ee 1475 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1476 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1477 if (drcf.delayed_op)
1478 DELAY_SAVE_T(sr);
8b4f38f4 1479 emith_tpop_carry(sr, 0);
ed8cf79b 1480 if (op & 1) {
1481 emith_rorcf(tmp);
1482 } else
1483 emith_rolcf(tmp);
8b4f38f4 1484 emith_tpush_carry(sr, 0);
ed8cf79b 1485 goto end_op;
1486 case 0x15: // CMP/PL Rn 0100nnnn00010101
8796b7ee 1487 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1488 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1489 if (drcf.delayed_op)
1490 DELAY_SAVE_T(sr);
8796b7ee 1491 emith_bic_r_imm(sr, T);
ed8cf79b 1492 emith_cmp_r_imm(tmp, 0);
1493 EMITH_SJMP_START(DCOND_LE);
8796b7ee 1494 emith_or_r_imm_c(DCOND_GT, sr, T);
ed8cf79b 1495 EMITH_SJMP_END(DCOND_LE);
1496 goto end_op;
1497 }
e898de13 1498 goto default_;
ed8cf79b 1499 case 0x06:
1500 case 0x07:
1501 switch (op & 0x3f)
1502 {
1503 case 0x06: // LDS.L @Rm+,MACH 0100mmmm00000110
1504 tmp = SHR_MACH;
1505 break;
1506 case 0x16: // LDS.L @Rm+,MACL 0100mmmm00010110
1507 tmp = SHR_MACL;
1508 break;
1509 case 0x26: // LDS.L @Rm+,PR 0100mmmm00100110
1510 tmp = SHR_PR;
1511 break;
1512 case 0x07: // LDC.L @Rm+,SR 0100mmmm00000111
1513 tmp = SHR_SR;
1514 break;
1515 case 0x17: // LDC.L @Rm+,GBR 0100mmmm00010111
1516 tmp = SHR_GBR;
1517 break;
1518 case 0x27: // LDC.L @Rm+,VBR 0100mmmm00100111
1519 tmp = SHR_VBR;
1520 break;
1521 default:
1522 goto default_;
1523 }
1524 rcache_clean();
1525 rcache_get_reg_arg(0, GET_Rn());
1526 tmp2 = emit_memhandler_read(2);
1527 if (tmp == SHR_SR) {
18b94127 1528 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1529 if (drcf.delayed_op)
1530 DELAY_SAVE_T(sr);
1531 emith_write_sr(sr, tmp2);
1532 drcf.test_irq = 1;
ed8cf79b 1533 } else {
1534 tmp = rcache_get_reg(tmp, RC_GR_WRITE);
1535 emith_move_r_r(tmp, tmp2);
1536 }
1537 rcache_free_tmp(tmp2);
1538 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1539 emith_add_r_imm(tmp, 4);
1540 goto end_op;
52d759c3 1541 case 0x08:
1542 case 0x09:
1543 switch (GET_Fx())
1544 {
1545 case 0:
1546 // SHLL2 Rn 0100nnnn00001000
1547 // SHLR2 Rn 0100nnnn00001001
1548 tmp = 2;
1549 break;
1550 case 1:
1551 // SHLL8 Rn 0100nnnn00011000
1552 // SHLR8 Rn 0100nnnn00011001
1553 tmp = 8;
1554 break;
1555 case 2:
1556 // SHLL16 Rn 0100nnnn00101000
1557 // SHLR16 Rn 0100nnnn00101001
1558 tmp = 16;
1559 break;
1560 default:
1561 goto default_;
1562 }
1563 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1564 if (op & 1) {
1565 emith_lsr(tmp2, tmp2, tmp);
1566 } else
1567 emith_lsl(tmp2, tmp2, tmp);
1568 goto end_op;
1569 case 0x0a:
1570 switch (GET_Fx())
1571 {
1572 case 0: // LDS Rm,MACH 0100mmmm00001010
1573 tmp2 = SHR_MACH;
1574 break;
1575 case 1: // LDS Rm,MACL 0100mmmm00011010
1576 tmp2 = SHR_MACL;
1577 break;
1578 case 2: // LDS Rm,PR 0100mmmm00101010
1579 tmp2 = SHR_PR;
1580 break;
1581 default:
1582 goto default_;
1583 }
1584 emit_move_r_r(tmp2, GET_Rn());
1585 goto end_op;
e898de13 1586 case 0x0b:
52d759c3 1587 switch (GET_Fx())
1588 {
1589 case 0: // JSR @Rm 0100mmmm00001011
1590 case 2: // JMP @Rm 0100mmmm00101011
1591 DELAYED_OP;
1592 if (!(op & 0x20))
1593 emit_move_r_imm32(SHR_PR, pc + 2);
18b94127 1594 emit_move_r_r(SHR_PC, (op >> 8) & 0x0f);
52d759c3 1595 cycles++;
1596 break;
1597 case 1: // TAS.B @Rn 0100nnnn00011011
1598 // XXX: is TAS working on 32X?
1599 rcache_clean();
1600 rcache_get_reg_arg(0, GET_Rn());
8796b7ee 1601 tmp = emit_memhandler_read(0);
1602 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1603 if (drcf.delayed_op)
1604 DELAY_SAVE_T(sr);
8796b7ee 1605 emith_bic_r_imm(sr, T);
52d759c3 1606 emith_cmp_r_imm(tmp, 0);
8796b7ee 1607 emit_or_t_if_eq(sr);
52d759c3 1608 rcache_clean();
1609 emith_or_r_imm(tmp, 0x80);
1610 tmp2 = rcache_get_tmp_arg(1); // assuming it differs to tmp
1611 emith_move_r_r(tmp2, tmp);
1612 rcache_free_tmp(tmp);
1613 rcache_get_reg_arg(0, GET_Rn());
e05b81fc 1614 emit_memhandler_write(0, pc, drcf.delayed_op);
52d759c3 1615 cycles += 3;
1616 break;
1617 default:
e898de13 1618 goto default_;
52d759c3 1619 }
e898de13 1620 goto end_op;
1621 case 0x0e:
52d759c3 1622 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
1623 switch (GET_Fx())
1624 {
1625 case 0: // LDC Rm,SR 0100mmmm00001110
1626 tmp2 = SHR_SR;
1627 break;
1628 case 1: // LDC Rm,GBR 0100mmmm00011110
1629 tmp2 = SHR_GBR;
1630 break;
1631 case 2: // LDC Rm,VBR 0100mmmm00101110
1632 tmp2 = SHR_VBR;
1633 break;
1634 default:
e898de13 1635 goto default_;
52d759c3 1636 }
1637 if (tmp2 == SHR_SR) {
18b94127 1638 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1639 if (drcf.delayed_op)
1640 DELAY_SAVE_T(sr);
1641 emith_write_sr(sr, tmp);
1642 drcf.test_irq = 1;
52d759c3 1643 } else {
1644 tmp2 = rcache_get_reg(tmp2, RC_GR_WRITE);
1645 emith_move_r_r(tmp2, tmp);
1646 }
1647 goto end_op;
1648 case 0x0f:
1649 // MAC @Rm+,@Rn+ 0100nnnnmmmm1111
f0d7b1fa 1650 emit_indirect_read_double(&tmp, &tmp2, GET_Rn(), GET_Rm(), 1);
1651 emith_sext(tmp, tmp, 16);
1652 emith_sext(tmp2, tmp2, 16);
1653 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_RMW);
1654 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_RMW);
1655 emith_mula_s64(tmp3, tmp4, tmp, tmp2);
f0d7b1fa 1656 rcache_free_tmp(tmp2);
f0d7b1fa 1657 // XXX: MACH should be untouched when S is set?
8796b7ee 1658 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
1659 emith_tst_r_imm(sr, S);
1660 EMITH_JMP_START(DCOND_EQ);
1661
1662 emith_asr(tmp, tmp3, 31);
1663 emith_eorf_r_r(tmp, tmp4); // tmp = ((signed)macl >> 31) ^ mach
1664 EMITH_JMP_START(DCOND_EQ);
1665 emith_move_r_imm(tmp3, 0x80000000);
1666 emith_tst_r_r(tmp4, tmp4);
1667 EMITH_SJMP_START(DCOND_MI);
1668 emith_sub_r_imm_c(DCOND_PL, tmp3, 1); // positive
1669 EMITH_SJMP_END(DCOND_MI);
1670 EMITH_JMP_END(DCOND_EQ);
1671
1672 EMITH_JMP_END(DCOND_EQ);
1673 rcache_free_tmp(tmp);
f0d7b1fa 1674 cycles += 2;
1675 goto end_op;
679af8a3 1676 }
1677 goto default_;
1678
52d759c3 1679 /////////////////////////////////////////////
1680 case 0x05:
1681 // MOV.L @(disp,Rm),Rn 0101nnnnmmmmdddd
1682 rcache_clean();
1683 tmp = rcache_get_reg_arg(0, GET_Rm());
1684 emith_add_r_imm(tmp, (op & 0x0f) * 4);
1685 tmp = emit_memhandler_read(2);
1686 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1687 emith_move_r_r(tmp2, tmp);
1688 rcache_free_tmp(tmp);
1689 goto end_op;
1690
1691 /////////////////////////////////////////////
1692 case 0x06:
1693 switch (op & 0x0f)
1694 {
1695 case 0x00: // MOV.B @Rm,Rn 0110nnnnmmmm0000
1696 case 0x01: // MOV.W @Rm,Rn 0110nnnnmmmm0001
1697 case 0x02: // MOV.L @Rm,Rn 0110nnnnmmmm0010
1698 case 0x04: // MOV.B @Rm+,Rn 0110nnnnmmmm0100
1699 case 0x05: // MOV.W @Rm+,Rn 0110nnnnmmmm0101
1700 case 0x06: // MOV.L @Rm+,Rn 0110nnnnmmmm0110
1701 rcache_clean();
1702 rcache_get_reg_arg(0, GET_Rm());
1703 tmp = emit_memhandler_read(op & 3);
1704 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1705 if ((op & 3) != 2) {
1706 emith_sext(tmp2, tmp, (op & 1) ? 16 : 8);
1707 } else
1708 emith_move_r_r(tmp2, tmp);
1709 rcache_free_tmp(tmp);
1710 if ((op & 7) >= 4 && GET_Rn() != GET_Rm()) {
1711 tmp = rcache_get_reg(GET_Rm(), RC_GR_RMW);
1712 emith_add_r_imm(tmp, (1 << (op & 3)));
1713 }
1714 goto end_op;
1715 case 0x03:
1716 case 0x07 ... 0x0f:
1717 tmp = rcache_get_reg(GET_Rm(), RC_GR_READ);
1718 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1719 switch (op & 0x0f)
1720 {
1721 case 0x03: // MOV Rm,Rn 0110nnnnmmmm0011
1722 emith_move_r_r(tmp2, tmp);
1723 break;
1724 case 0x07: // NOT Rm,Rn 0110nnnnmmmm0111
1725 emith_mvn_r_r(tmp2, tmp);
1726 break;
1727 case 0x08: // SWAP.B Rm,Rn 0110nnnnmmmm1000
1728 tmp3 = tmp2;
1729 if (tmp == tmp2)
1730 tmp3 = rcache_get_tmp();
1731 tmp4 = rcache_get_tmp();
1732 emith_lsr(tmp3, tmp, 16);
f0d7b1fa 1733 emith_or_r_r_lsl(tmp3, tmp, 24);
52d759c3 1734 emith_and_r_r_imm(tmp4, tmp, 0xff00);
f0d7b1fa 1735 emith_or_r_r_lsl(tmp3, tmp4, 8);
52d759c3 1736 emith_rol(tmp2, tmp3, 16);
1737 rcache_free_tmp(tmp4);
1738 if (tmp == tmp2)
1739 rcache_free_tmp(tmp3);
1740 break;
1741 case 0x09: // SWAP.W Rm,Rn 0110nnnnmmmm1001
1742 emith_rol(tmp2, tmp, 16);
1743 break;
1744 case 0x0a: // NEGC Rm,Rn 0110nnnnmmmm1010
8796b7ee 1745 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1746 if (drcf.delayed_op)
1747 DELAY_SAVE_T(sr);
8b4f38f4 1748 emith_tpop_carry(sr, 1);
52d759c3 1749 emith_negcf_r_r(tmp2, tmp);
8b4f38f4 1750 emith_tpush_carry(sr, 1);
52d759c3 1751 break;
1752 case 0x0b: // NEG Rm,Rn 0110nnnnmmmm1011
1753 emith_neg_r_r(tmp2, tmp);
1754 break;
1755 case 0x0c: // EXTU.B Rm,Rn 0110nnnnmmmm1100
1756 emith_clear_msb(tmp2, tmp, 24);
1757 break;
1758 case 0x0d: // EXTU.W Rm,Rn 0110nnnnmmmm1101
1759 emith_clear_msb(tmp2, tmp, 16);
1760 break;
1761 case 0x0e: // EXTS.B Rm,Rn 0110nnnnmmmm1110
1762 emith_sext(tmp2, tmp, 8);
1763 break;
1764 case 0x0f: // EXTS.W Rm,Rn 0110nnnnmmmm1111
1765 emith_sext(tmp2, tmp, 16);
1766 break;
1767 }
1768 goto end_op;
1769 }
1770 goto default_;
1771
1772 /////////////////////////////////////////////
1773 case 0x07:
1774 // ADD #imm,Rn 0111nnnniiiiiiii
1775 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1776 if (op & 0x80) { // adding negative
1777 emith_sub_r_imm(tmp, -op & 0xff);
1778 } else
1779 emith_add_r_imm(tmp, op & 0xff);
1780 goto end_op;
1781
3863edbd 1782 /////////////////////////////////////////////
e898de13 1783 case 0x08:
52d759c3 1784 switch (op & 0x0f00)
1785 {
1786 case 0x0000: // MOV.B R0,@(disp,Rn) 10000000nnnndddd
1787 case 0x0100: // MOV.W R0,@(disp,Rn) 10000001nnnndddd
1788 rcache_clean();
1789 tmp = rcache_get_reg_arg(0, GET_Rm());
1790 tmp2 = rcache_get_reg_arg(1, SHR_R0);
1791 tmp3 = (op & 0x100) >> 8;
1792 emith_add_r_imm(tmp, (op & 0x0f) << tmp3);
e05b81fc 1793 emit_memhandler_write(tmp3, pc, drcf.delayed_op);
52d759c3 1794 goto end_op;
1795 case 0x0400: // MOV.B @(disp,Rm),R0 10000100mmmmdddd
1796 case 0x0500: // MOV.W @(disp,Rm),R0 10000101mmmmdddd
1797 rcache_clean();
1798 tmp = rcache_get_reg_arg(0, GET_Rm());
1799 tmp3 = (op & 0x100) >> 8;
1800 emith_add_r_imm(tmp, (op & 0x0f) << tmp3);
1801 tmp = emit_memhandler_read(tmp3);
1802 tmp2 = rcache_get_reg(0, RC_GR_WRITE);
1803 emith_sext(tmp2, tmp, 8 << tmp3);
1804 rcache_free_tmp(tmp);
1805 goto end_op;
1806 case 0x0800: // CMP/EQ #imm,R0 10001000iiiiiiii
1807 // XXX: could use cmn
1808 tmp = rcache_get_tmp();
1809 tmp2 = rcache_get_reg(0, RC_GR_READ);
8796b7ee 1810 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1811 if (drcf.delayed_op)
1812 DELAY_SAVE_T(sr);
52d759c3 1813 emith_move_r_imm_s8(tmp, op & 0xff);
8796b7ee 1814 emith_bic_r_imm(sr, T);
52d759c3 1815 emith_cmp_r_r(tmp2, tmp);
8796b7ee 1816 emit_or_t_if_eq(sr);
52d759c3 1817 rcache_free_tmp(tmp);
1818 goto end_op;
1819 case 0x0d00: // BT/S label 10001101dddddddd
1820 case 0x0f00: // BF/S label 10001111dddddddd
679af8a3 1821 DELAYED_OP;
1822 cycles--;
679af8a3 1823 // fallthrough
52d759c3 1824 case 0x0900: // BT label 10001001dddddddd
1825 case 0x0b00: { // BF label 10001011dddddddd
80599a42 1826 // jmp_cond ~ cond when guest doesn't jump
1827 int jmp_cond = (op & 0x0200) ? DCOND_NE : DCOND_EQ;
1828 int insn_cond = (op & 0x0200) ? DCOND_EQ : DCOND_NE;
1829 signed int offs = ((signed int)(op << 24) >> 23);
18b94127 1830 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1831 if (find_in_array(branch_target_pc, branch_target_count, pc + offs + 2) >= 0) {
1832 branch_patch_pc[branch_patch_count] = pc + offs + 2;
1833 branch_patch_cond = insn_cond;
1834 goto end_op;
1835 }
1836
1837 // can't resolve branch, cause end of block
1838 tmp = rcache_get_reg(SHR_PC, RC_GR_WRITE);
1839 emith_move_r_imm(tmp, pc + (drcf.delayed_op ? 2 : 0));
1840 emith_tst_r_imm(sr, T);
80599a42 1841 EMITH_SJMP_START(jmp_cond);
18b94127 1842 if (!drcf.delayed_op)
80599a42 1843 offs += 2;
1844 if (offs < 0) {
1845 emith_sub_r_imm_c(insn_cond, tmp, -offs);
1846 } else
1847 emith_add_r_imm_c(insn_cond, tmp, offs);
1848 EMITH_SJMP_END(jmp_cond);
e898de13 1849 cycles += 2;
18b94127 1850 if (!drcf.delayed_op)
52d759c3 1851 goto end_block_btf;
e898de13 1852 goto end_op;
80599a42 1853 }}
679af8a3 1854 goto default_;
679af8a3 1855
52d759c3 1856 /////////////////////////////////////////////
1857 case 0x09:
1858 // MOV.W @(disp,PC),Rn 1001nnnndddddddd
f0d7b1fa 1859 rcache_clean();
1860 tmp = rcache_get_tmp_arg(0);
1861 emith_move_r_imm(tmp, pc + (op & 0xff) * 2 + 2);
1862 tmp = emit_memhandler_read(1);
1863 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1864 emith_sext(tmp2, tmp, 16);
1865 rcache_free_tmp(tmp);
1866 goto end_op;
52d759c3 1867
3863edbd 1868 /////////////////////////////////////////////
679af8a3 1869 case 0x0a:
1870 // BRA label 1010dddddddddddd
1871 DELAYED_OP;
1872 do_bra:
1873 tmp = ((signed int)(op << 20) >> 19);
18b94127 1874 emit_move_r_imm32(SHR_PC, pc + tmp + 2);
679af8a3 1875 cycles++;
e898de13 1876 break;
679af8a3 1877
3863edbd 1878 /////////////////////////////////////////////
679af8a3 1879 case 0x0b:
1880 // BSR label 1011dddddddddddd
1881 DELAYED_OP;
e898de13 1882 emit_move_r_imm32(SHR_PR, pc + 2);
679af8a3 1883 goto do_bra;
1884
52d759c3 1885 /////////////////////////////////////////////
1886 case 0x0c:
1887 switch (op & 0x0f00)
1888 {
1889 case 0x0000: // MOV.B R0,@(disp,GBR) 11000000dddddddd
1890 case 0x0100: // MOV.W R0,@(disp,GBR) 11000001dddddddd
1891 case 0x0200: // MOV.L R0,@(disp,GBR) 11000010dddddddd
1892 rcache_clean();
1893 tmp = rcache_get_reg_arg(0, SHR_GBR);
1894 tmp2 = rcache_get_reg_arg(1, SHR_R0);
1895 tmp3 = (op & 0x300) >> 8;
1896 emith_add_r_imm(tmp, (op & 0xff) << tmp3);
e05b81fc 1897 emit_memhandler_write(tmp3, pc, drcf.delayed_op);
52d759c3 1898 goto end_op;
1899 case 0x0400: // MOV.B @(disp,GBR),R0 11000100dddddddd
1900 case 0x0500: // MOV.W @(disp,GBR),R0 11000101dddddddd
1901 case 0x0600: // MOV.L @(disp,GBR),R0 11000110dddddddd
1902 rcache_clean();
1903 tmp = rcache_get_reg_arg(0, SHR_GBR);
1904 tmp3 = (op & 0x300) >> 8;
1905 emith_add_r_imm(tmp, (op & 0xff) << tmp3);
1906 tmp = emit_memhandler_read(tmp3);
1907 tmp2 = rcache_get_reg(0, RC_GR_WRITE);
1908 if (tmp3 != 2) {
1909 emith_sext(tmp2, tmp, 8 << tmp3);
1910 } else
1911 emith_move_r_r(tmp2, tmp);
1912 rcache_free_tmp(tmp);
1913 goto end_op;
1914 case 0x0300: // TRAPA #imm 11000011iiiiiiii
1915 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
1916 emith_sub_r_imm(tmp, 4*2);
1917 rcache_clean();
1918 // push SR
1919 tmp = rcache_get_reg_arg(0, SHR_SP);
1920 emith_add_r_imm(tmp, 4);
1921 tmp = rcache_get_reg_arg(1, SHR_SR);
18b94127 1922 emith_clear_msb(tmp, tmp, 22);
e05b81fc 1923 emit_memhandler_write(2, pc, drcf.delayed_op);
52d759c3 1924 // push PC
1925 rcache_get_reg_arg(0, SHR_SP);
1926 tmp = rcache_get_tmp_arg(1);
1927 emith_move_r_imm(tmp, pc);
e05b81fc 1928 emit_memhandler_write(2, pc, drcf.delayed_op);
52d759c3 1929 // obtain new PC
1930 tmp = rcache_get_reg_arg(0, SHR_VBR);
1931 emith_add_r_imm(tmp, (op & 0xff) * 4);
1932 tmp = emit_memhandler_read(2);
1933 tmp2 = rcache_get_reg(SHR_PC, RC_GR_WRITE);
1934 emith_move_r_r(tmp2, tmp);
1935 rcache_free_tmp(tmp);
1936 cycles += 7;
1937 goto end_block_btf;
1938 case 0x0700: // MOVA @(disp,PC),R0 11000111dddddddd
1939 emit_move_r_imm32(SHR_R0, (pc + (op & 0xff) * 4 + 2) & ~3);
1940 goto end_op;
1941 case 0x0800: // TST #imm,R0 11001000iiiiiiii
8796b7ee 1942 tmp = rcache_get_reg(SHR_R0, RC_GR_READ);
1943 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1944 if (drcf.delayed_op)
1945 DELAY_SAVE_T(sr);
8796b7ee 1946 emith_bic_r_imm(sr, T);
52d759c3 1947 emith_tst_r_imm(tmp, op & 0xff);
8796b7ee 1948 emit_or_t_if_eq(sr);
52d759c3 1949 goto end_op;
1950 case 0x0900: // AND #imm,R0 11001001iiiiiiii
1951 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
1952 emith_and_r_imm(tmp, op & 0xff);
1953 goto end_op;
1954 case 0x0a00: // XOR #imm,R0 11001010iiiiiiii
1955 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
1956 emith_eor_r_imm(tmp, op & 0xff);
1957 goto end_op;
1958 case 0x0b00: // OR #imm,R0 11001011iiiiiiii
1959 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
1960 emith_or_r_imm(tmp, op & 0xff);
1961 goto end_op;
1962 case 0x0c00: // TST.B #imm,@(R0,GBR) 11001100iiiiiiii
8796b7ee 1963 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
1964 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1965 if (drcf.delayed_op)
1966 DELAY_SAVE_T(sr);
8796b7ee 1967 emith_bic_r_imm(sr, T);
52d759c3 1968 emith_tst_r_imm(tmp, op & 0xff);
8796b7ee 1969 emit_or_t_if_eq(sr);
52d759c3 1970 rcache_free_tmp(tmp);
1971 cycles += 2;
1972 goto end_op;
1973 case 0x0d00: // AND.B #imm,@(R0,GBR) 11001101iiiiiiii
1974 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
1975 emith_and_r_imm(tmp, op & 0xff);
8796b7ee 1976 goto end_rmw_op;
52d759c3 1977 case 0x0e00: // XOR.B #imm,@(R0,GBR) 11001110iiiiiiii
1978 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
1979 emith_eor_r_imm(tmp, op & 0xff);
8796b7ee 1980 goto end_rmw_op;
52d759c3 1981 case 0x0f00: // OR.B #imm,@(R0,GBR) 11001111iiiiiiii
1982 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
1983 emith_or_r_imm(tmp, op & 0xff);
8796b7ee 1984 end_rmw_op:
1985 tmp2 = rcache_get_tmp_arg(1);
1986 emith_move_r_r(tmp2, tmp);
1987 rcache_free_tmp(tmp);
1988 tmp3 = rcache_get_reg_arg(0, SHR_GBR);
1989 tmp4 = rcache_get_reg(SHR_R0, RC_GR_READ);
1990 emith_add_r_r(tmp3, tmp4);
e05b81fc 1991 emit_memhandler_write(0, pc, drcf.delayed_op);
52d759c3 1992 cycles += 2;
1993 goto end_op;
1994 }
1995 goto default_;
1996
1997 /////////////////////////////////////////////
1998 case 0x0d:
1999 // MOV.L @(disp,PC),Rn 1101nnnndddddddd
f0d7b1fa 2000 rcache_clean();
2001 tmp = rcache_get_tmp_arg(0);
2002 emith_move_r_imm(tmp, (pc + (op & 0xff) * 4 + 2) & ~3);
2003 tmp = emit_memhandler_read(2);
2004 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
2005 emith_move_r_r(tmp2, tmp);
2006 rcache_free_tmp(tmp);
2007 goto end_op;
52d759c3 2008
2009 /////////////////////////////////////////////
2010 case 0x0e:
2011 // MOV #imm,Rn 1110nnnniiiiiiii
2012 tmp = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
2013 emith_move_r_imm_s8(tmp, op & 0xff);
2014 goto end_op;
2015
679af8a3 2016 default:
2017 default_:
f0d7b1fa 2018 elprintf(EL_ANOMALY, "%csh2 drc: unhandled op %04x @ %08x",
2019 sh2->is_slave ? 's' : 'm', op, pc - 2);
2020#ifdef DRC_DEBUG_INTERP
679af8a3 2021 emit_move_r_imm32(SHR_PC, pc - 2);
c18edb34 2022 rcache_flush();
f4bb5d6b 2023 emith_pass_arg_r(0, CONTEXT_REG);
2024 emith_pass_arg_imm(1, op);
679af8a3 2025 emith_call(sh2_do_op);
f0d7b1fa 2026#endif
679af8a3 2027 break;
2028 }
2029
e898de13 2030end_op:
18b94127 2031 // block-local conditional branch handling (with/without delay)
2032 if (branch_patch_cond != -1 && drcf.delayed_op != 2) {
2033 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2034 // handle cycles
e05b81fc 2035 FLUSH_CYCLES(sr);
18b94127 2036 rcache_clean();
6add7875 2037
18b94127 2038 if (drcf.use_saved_t)
2039 emith_tst_r_imm(sr, T_save);
2040 else
2041 emith_tst_r_imm(sr, T);
2042 branch_patch_ptr[branch_patch_count] = tcache_ptr;
2043 emith_jump_patchable(branch_patch_cond);
2044
2045 drcf.use_saved_t = 0;
2046 branch_patch_cond = -1;
2047 branch_patch_count++;
2048 drcf.delayed_op = 0; // XXX: delayed_op ends block, so must override
2049 if (branch_patch_count == MAX_LOCAL_BRANCHES) {
2050 printf("too many local branches\n");
2051 break;
2052 }
e898de13 2053 }
18b94127 2054 // test irq?
e05b81fc 2055 // XXX: delay slots..
2056 if (drcf.test_irq && drcf.delayed_op != 2) {
2057 if (!drcf.delayed_op)
2058 emit_move_r_imm32(SHR_PC, pc);
2059 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2060 FLUSH_CYCLES(sr);
2061 rcache_flush();
2062 emith_call(sh2_drc_test_irq);
2063 drcf.test_irq = 0;
2064 }
18b94127 2065 if (drcf.delayed_op == 1)
6add7875 2066 break;
e898de13 2067
f4bb5d6b 2068 do_host_disasm(tcache_id);
679af8a3 2069 }
2070
52d759c3 2071 // delayed_op means some kind of branch - PC already handled
18b94127 2072 if (!drcf.delayed_op)
52d759c3 2073 emit_move_r_imm32(SHR_PC, pc);
2074
2075end_block_btf:
f4bb5d6b 2076 this_block->end_addr = pc;
2077
18b94127 2078 tmp = rcache_get_reg(SHR_SR, RC_GR_RMW);
e05b81fc 2079 FLUSH_CYCLES(tmp);
18b94127 2080 rcache_flush();
e05b81fc 2081 emith_jump(sh2_drc_dispatcher);
18b94127 2082
2083 // link local branches
2084 for (i = 0; i < branch_patch_count; i++) {
2085 void *target;
2086 int t;
2087 //printf("patch %08x %p\n", branch_patch_pc[i], branch_patch_ptr[i]);
2088 t = find_in_array(branch_target_pc, branch_target_count, branch_patch_pc[i]);
2089 if (branch_target_ptr[t] != NULL)
2090 target = branch_target_ptr[t];
2091 else {
2092 // flush pc and go back to dispatcher (for now)
2093 printf("stray branch to %08x %p\n", branch_patch_pc[i], tcache_ptr);
2094 target = tcache_ptr;
2095 emit_move_r_imm32(SHR_PC, branch_patch_pc[i]);
2096 rcache_flush();
e05b81fc 2097 emith_jump(sh2_drc_dispatcher);
18b94127 2098 }
2099 emith_jump_patch(branch_patch_ptr[i], target);
2100 }
2101
f4bb5d6b 2102 // mark memory blocks as containing compiled code
18b94127 2103 if (tcache_id != 0) {
f4bb5d6b 2104 // data array, BIOS
2105 u16 *drcblk = Pico32xMem->drcblk_da[sh2->is_slave];
18b94127 2106 tmp = (this_block->addr & 0xfff) >> SH2_DRCBLK_DA_SHIFT;
f4bb5d6b 2107 tmp2 = (this_block->end_addr & 0xfff) >> SH2_DRCBLK_DA_SHIFT;
18b94127 2108 drcblk[tmp] = (blkid_main << 1) | 1;
f4bb5d6b 2109 for (++tmp; tmp < tmp2; tmp++) {
2110 if (drcblk[tmp])
18b94127 2111 continue; // dont overwrite overlay block(s)
2112 drcblk[tmp] = blkid_main << 1;
f4bb5d6b 2113 }
2114 }
2115 else if ((this_block->addr & 0xc7fc0000) == 0x06000000) { // DRAM
18b94127 2116 tmp = (this_block->addr & 0x3ffff) >> SH2_DRCBLK_RAM_SHIFT;
f4bb5d6b 2117 tmp2 = (this_block->end_addr & 0x3ffff) >> SH2_DRCBLK_RAM_SHIFT;
18b94127 2118 Pico32xMem->drcblk_ram[tmp] = (blkid_main << 1) | 1;
f4bb5d6b 2119 for (++tmp; tmp < tmp2; tmp++) {
2120 if (Pico32xMem->drcblk_ram[tmp])
18b94127 2121 continue;
2122 Pico32xMem->drcblk_ram[tmp] = blkid_main << 1;
f4bb5d6b 2123 }
679af8a3 2124 }
2125
f4bb5d6b 2126 tcache_ptrs[tcache_id] = tcache_ptr;
2127
553c3eaa 2128#ifdef ARM
2129 cache_flush_d_inval_i(block_entry, tcache_ptr);
2130#endif
2131
f4bb5d6b 2132 do_host_disasm(tcache_id);
2133 dbg(1, " block #%d,%d tcache %d/%d, insns %d -> %d %.3f",
2134 tcache_id, block_counts[tcache_id],
2135 tcache_ptr - tcache_bases[tcache_id], tcache_sizes[tcache_id],
2136 insns_compiled, host_insn_count, (double)host_insn_count / insns_compiled);
2137 if ((sh2->pc & 0xc6000000) == 0x02000000) // ROM
2138 dbg(1, " hash collisions %d/%d", hash_collisions, block_counts[tcache_id]);
18b94127 2139/*
2140 printf("~~~\n");
2141 tcache_dsm_ptrs[tcache_id] = block_entry;
2142 do_host_disasm(tcache_id);
2143 printf("~~~\n");
2144*/
2145
553c3eaa 2146#if (DRC_DEBUG & 2)
2147 fflush(stdout);
2148#endif
2149
679af8a3 2150 return block_entry;
f4bb5d6b 2151/*
679af8a3 2152unimplemented:
2153 // last op
f4bb5d6b 2154 do_host_disasm(tcache_id);
679af8a3 2155 exit(1);
f4bb5d6b 2156*/
679af8a3 2157}
2158
e05b81fc 2159static void sh2_generate_utils(void)
679af8a3 2160{
e05b81fc 2161 int arg0, arg1, arg2, sr, tmp;
2162 void *sh2_drc_write_end, *sh2_drc_write_slot_end;
52d759c3 2163
e05b81fc 2164 host_arg2reg(arg0, 0);
2165 host_arg2reg(arg1, 1);
2166 host_arg2reg(arg2, 2);
2167 emith_move_r_r(arg0, arg0); // nop
679af8a3 2168
e05b81fc 2169 // sh2_drc_exit(void)
2170 sh2_drc_exit = (void *)tcache_ptr;
2171 emit_do_static_regs(1, arg2);
2172 emith_sh2_drc_exit();
679af8a3 2173
e05b81fc 2174 // sh2_drc_dispatcher(void)
2175 sh2_drc_dispatcher = (void *)tcache_ptr;
2176 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2177 emith_cmp_r_imm(sr, 0);
2178 emith_jump_cond(DCOND_LT, sh2_drc_exit);
2179 rcache_invalidate();
2180 emith_ctx_read(arg0, SHR_PC * 4);
2181 emith_ctx_read(arg1, offsetof(SH2, is_slave));
2182 emith_add_r_r_imm(arg2, CONTEXT_REG, offsetof(SH2, drc_tmp));
2183 emith_call(lookup_block);
2184 emit_block_entry();
2185 // lookup failed, call sh2_translate()
2186 emith_move_r_r(arg0, CONTEXT_REG);
2187 emith_ctx_read(arg1, offsetof(SH2, drc_tmp)); // tcache_id
2188 emith_call(sh2_translate);
2189 emit_block_entry();
2190 // sh2_translate() failed, flush cache and retry
2191 emith_ctx_read(arg0, offsetof(SH2, drc_tmp));
2192 emith_call(flush_tcache);
2193 emith_move_r_r(arg0, CONTEXT_REG);
2194 emith_ctx_read(arg1, offsetof(SH2, drc_tmp));
2195 emith_call(sh2_translate);
2196 emit_block_entry();
2197 // XXX: can't translate, fail
2198 emith_call(exit);
2199
2200 // sh2_drc_test_irq(void)
2201 // assumes it's called from main function (may jump to dispatcher)
2202 sh2_drc_test_irq = (void *)tcache_ptr;
2203 emith_ctx_read(arg1, offsetof(SH2, pending_level));
2204 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2205 emith_lsr(arg0, sr, I_SHIFT);
2206 emith_and_r_imm(arg0, 0x0f);
2207 emith_cmp_r_r(arg1, arg0); // pending_level > ((sr >> 4) & 0x0f)?
2208 EMITH_SJMP_START(DCOND_GT);
2209 emith_ret_c(DCOND_LE); // nope, return
2210 EMITH_SJMP_END(DCOND_GT);
2211 // adjust SP
2212 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
2213 emith_sub_r_imm(tmp, 4*2);
2214 rcache_clean();
2215 // push SR
2216 tmp = rcache_get_reg_arg(0, SHR_SP);
2217 emith_add_r_imm(tmp, 4);
2218 tmp = rcache_get_reg_arg(1, SHR_SR);
2219 emith_clear_msb(tmp, tmp, 22);
2220 emith_move_r_r(arg2, CONTEXT_REG);
2221 emith_call(p32x_sh2_write32);
2222 rcache_invalidate();
2223 // push PC
2224 rcache_get_reg_arg(0, SHR_SP);
2225 emith_ctx_read(arg1, SHR_PC * 4);
2226 emith_move_r_r(arg2, CONTEXT_REG);
2227 emith_call(p32x_sh2_write32);
2228 rcache_invalidate();
2229 // update I, cycles, do callback
2230 emith_ctx_read(arg1, offsetof(SH2, pending_level));
2231 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2232 emith_bic_r_imm(sr, I);
2233 emith_or_r_r_lsl(sr, arg1, I_SHIFT);
2234 emith_sub_r_imm(sr, 13 << 12); // at least 13 cycles
2235 rcache_flush();
2236 emith_move_r_r(arg0, CONTEXT_REG);
2237 emith_call_ctx(offsetof(SH2, irq_callback)); // vector = sh2->irq_callback(sh2, level);
2238 // obtain new PC
2239 emith_lsl(arg0, arg0, 2);
2240 emith_ctx_read(arg1, SHR_VBR * 4);
2241 emith_add_r_r(arg0, arg1);
2242 emit_memhandler_read(2);
2243 emith_ctx_write(arg0, SHR_PC * 4);
2244#ifdef __i386__
2245 emith_add_r_imm(xSP, 4); // fix stack
2246#endif
2247 emith_jump(sh2_drc_dispatcher);
2248 rcache_invalidate();
2249
2250 // sh2_drc_entry(SH2 *sh2)
2251 sh2_drc_entry = (void *)tcache_ptr;
2252 emith_sh2_drc_entry();
2253 emith_move_r_r(CONTEXT_REG, arg0); // move ctx, arg0
2254 emit_do_static_regs(0, arg2);
2255 emith_call(sh2_drc_test_irq);
2256 emith_jump(sh2_drc_dispatcher);
2257
2258 // write-caused irq detection
2259 sh2_drc_write_end = tcache_ptr;
2260 emith_tst_r_r(arg0, arg0);
2261 EMITH_SJMP_START(DCOND_NE);
2262 emith_jump_ctx_c(DCOND_EQ, offsetof(SH2, drc_tmp)); // return
2263 EMITH_SJMP_END(DCOND_NE);
2264 // since PC is up to date, jump to it's block instead of returning
2265 emith_call(sh2_drc_test_irq);
2266 emith_jump_ctx(offsetof(SH2, drc_tmp));
2267
2268 // write-caused irq detection for writes in delay slot
2269 sh2_drc_write_slot_end = tcache_ptr;
2270 emith_tst_r_r(arg0, arg0);
2271 EMITH_SJMP_START(DCOND_NE);
2272 emith_jump_ctx_c(DCOND_EQ, offsetof(SH2, drc_tmp));
2273 EMITH_SJMP_END(DCOND_NE);
2274 // just burn cycles to get back to dispatcher after branch is handled
2275 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2276 emith_ctx_write(sr, offsetof(SH2, irq_cycles));
2277 emith_clear_msb(sr, sr, 20); // clear cycles
2278 rcache_flush();
2279 emith_jump_ctx(offsetof(SH2, drc_tmp));
2280
2281 // sh2_drc_write8(u32 a, u32 d)
2282 sh2_drc_write8 = (void *)tcache_ptr;
2283 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2284 emith_ctx_read(arg2, offsetof(SH2, write8_tab));
2285 emith_sh2_wcall(arg0, arg2, sh2_drc_write_end);
2286
2287 // sh2_drc_write16(u32 a, u32 d)
2288 sh2_drc_write16 = (void *)tcache_ptr;
2289 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2290 emith_ctx_read(arg2, offsetof(SH2, write16_tab));
2291 emith_sh2_wcall(arg0, arg2, sh2_drc_write_end);
2292
2293 // sh2_drc_write8_slot(u32 a, u32 d)
2294 sh2_drc_write8_slot = (void *)tcache_ptr;
2295 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2296 emith_ctx_read(arg2, offsetof(SH2, write8_tab));
2297 emith_sh2_wcall(arg0, arg2, sh2_drc_write_slot_end);
2298
2299 // sh2_drc_write16_slot(u32 a, u32 d)
2300 sh2_drc_write16_slot = (void *)tcache_ptr;
2301 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2302 emith_ctx_read(arg2, offsetof(SH2, write16_tab));
2303 emith_sh2_wcall(arg0, arg2, sh2_drc_write_slot_end);
2304
2305 rcache_invalidate();
2306#if (DRC_DEBUG & 2)
2307 host_dasm_new_symbol(sh2_drc_entry);
2308 host_dasm_new_symbol(sh2_drc_dispatcher);
2309 host_dasm_new_symbol(sh2_drc_exit);
2310 host_dasm_new_symbol(sh2_drc_test_irq);
2311 host_dasm_new_symbol(sh2_drc_write_end);
2312 host_dasm_new_symbol(sh2_drc_write_slot_end);
2313 host_dasm_new_symbol(sh2_drc_write8);
2314 host_dasm_new_symbol(sh2_drc_write8_slot);
2315 host_dasm_new_symbol(sh2_drc_write16);
2316 host_dasm_new_symbol(sh2_drc_write16_slot);
679af8a3 2317#endif
679af8a3 2318}
2319
f4bb5d6b 2320static void sh2_smc_rm_block(u16 *drcblk, u16 *p, block_desc *btab, u32 a)
2321{
2322 u16 id = *p >> 1;
2323 block_desc *bd = btab + id;
2324
18b94127 2325 // FIXME: skip subblocks; do both directions
f4bb5d6b 2326 dbg(1, " killing block %08x", bd->addr);
2327 bd->addr = bd->end_addr = 0;
2328
2329 while (p > drcblk && (p[-1] >> 1) == id)
2330 p--;
2331
2332 // check for possible overlay block
2333 if (p > 0 && p[-1] != 0) {
2334 bd = btab + (p[-1] >> 1);
2335 if (bd->addr <= a && a < bd->end_addr)
2336 sh2_smc_rm_block(drcblk, p - 1, btab, a);
2337 }
2338
2339 do {
2340 *p++ = 0;
2341 }
2342 while ((*p >> 1) == id);
2343}
2344
2345void sh2_drc_wcheck_ram(unsigned int a, int val, int cpuid)
2346{
2347 u16 *drcblk = Pico32xMem->drcblk_ram;
2348 u16 *p = drcblk + ((a & 0x3ffff) >> SH2_DRCBLK_RAM_SHIFT);
2349
2350 dbg(1, "%csh2 smc check @%08x", cpuid ? 's' : 'm', a);
2351 sh2_smc_rm_block(drcblk, p, block_tables[0], a);
2352}
2353
2354void sh2_drc_wcheck_da(unsigned int a, int val, int cpuid)
2355{
2356 u16 *drcblk = Pico32xMem->drcblk_da[cpuid];
2357 u16 *p = drcblk + ((a & 0xfff) >> SH2_DRCBLK_DA_SHIFT);
2358
2359 dbg(1, "%csh2 smc check @%08x", cpuid ? 's' : 'm', a);
2360 sh2_smc_rm_block(drcblk, p, block_tables[1 + cpuid], a);
2361}
2362
52d759c3 2363void sh2_execute(SH2 *sh2c, int cycles)
679af8a3 2364{
e05b81fc 2365 int ret_cycles;
52d759c3 2366 sh2 = sh2c; // XXX
2367
2368 sh2c->cycles_aim += cycles;
2369 cycles = sh2c->cycles_aim - sh2c->cycles_done;
679af8a3 2370
2371 // cycles are kept in SHR_SR unused bits (upper 20)
18b94127 2372 // bit19 contains T saved for delay slot
2373 // others are usual SH2 flags
52d759c3 2374 sh2c->sr &= 0x3f3;
2375 sh2c->sr |= cycles << 12;
e05b81fc 2376 sh2_drc_entry(sh2c);
679af8a3 2377
e05b81fc 2378 // TODO: irq cycles
2379 ret_cycles = (signed int)sh2c->sr >> 12;
2380 if (ret_cycles > 0)
2381 printf("warning: drc returned with cycles: %d\n", ret_cycles);
679af8a3 2382
e05b81fc 2383 sh2c->cycles_done += cycles - ret_cycles;
679af8a3 2384}
2385
f4bb5d6b 2386#if (DRC_DEBUG & 1)
2387static void block_stats(void)
2388{
2389 int c, b, i, total = 0;
2390
2391 for (b = 0; b < ARRAY_SIZE(block_tables); b++)
2392 for (i = 0; i < block_counts[b]; i++)
2393 if (block_tables[b][i].addr != 0)
2394 total += block_tables[b][i].refcount;
2395
2396 for (c = 0; c < 10; c++) {
2397 block_desc *blk, *maxb = NULL;
2398 int max = 0;
2399 for (b = 0; b < ARRAY_SIZE(block_tables); b++) {
2400 for (i = 0; i < block_counts[b]; i++) {
2401 blk = &block_tables[b][i];
2402 if (blk->addr != 0 && blk->refcount > max) {
2403 max = blk->refcount;
2404 maxb = blk;
2405 }
2406 }
2407 }
2408 if (maxb == NULL)
2409 break;
2410 printf("%08x %9d %2.3f%%\n", maxb->addr, maxb->refcount,
2411 (double)maxb->refcount / total * 100.0);
2412 maxb->refcount = 0;
2413 }
553c3eaa 2414
2415 for (b = 0; b < ARRAY_SIZE(block_tables); b++)
2416 for (i = 0; i < block_counts[b]; i++)
2417 block_tables[b][i].refcount = 0;
f4bb5d6b 2418}
553c3eaa 2419#else
2420#define block_stats()
f4bb5d6b 2421#endif
2422
553c3eaa 2423void sh2_drc_flush_all(void)
2424{
2425 block_stats();
2426 flush_tcache(0);
2427 flush_tcache(1);
2428 flush_tcache(2);
2429}
2430
679af8a3 2431int sh2_drc_init(SH2 *sh2)
2432{
f4bb5d6b 2433 if (block_tables[0] == NULL) {
2434 int i, cnt;
7f5a3fc1 2435
2436 drc_cmn_init();
2437
f4bb5d6b 2438 cnt = block_max_counts[0] + block_max_counts[1] + block_max_counts[2];
2439 block_tables[0] = calloc(cnt, sizeof(*block_tables[0]));
2440 if (block_tables[0] == NULL)
e898de13 2441 return -1;
2442
8796b7ee 2443 tcache_ptr = tcache;
2444 sh2_generate_utils();
8b4f38f4 2445#ifdef ARM
2446 cache_flush_d_inval_i(tcache, tcache_ptr);
2447#endif
8796b7ee 2448
f4bb5d6b 2449 memset(block_counts, 0, sizeof(block_counts));
8796b7ee 2450 tcache_bases[0] = tcache_ptrs[0] = tcache_ptr;
f4bb5d6b 2451
2452 for (i = 1; i < ARRAY_SIZE(block_tables); i++) {
2453 block_tables[i] = block_tables[i - 1] + block_max_counts[i - 1];
2454 tcache_bases[i] = tcache_ptrs[i] = tcache_bases[i - 1] + tcache_sizes[i - 1];
2455 }
2456
553c3eaa 2457 // tmp
2458 PicoOpt |= POPT_DIS_VDP_FIFO;
2459
f4bb5d6b 2460#if (DRC_DEBUG & 2)
2461 for (i = 0; i < ARRAY_SIZE(block_tables); i++)
2462 tcache_dsm_ptrs[i] = tcache_bases[i];
8796b7ee 2463 // disasm the utils
2464 tcache_dsm_ptrs[0] = tcache;
2465 do_host_disasm(0);
f4bb5d6b 2466#endif
e898de13 2467#if (DRC_DEBUG & 1)
2468 hash_collisions = 0;
2469#endif
679af8a3 2470 }
2471
f4bb5d6b 2472 if (hash_table == NULL) {
2473 hash_table = calloc(sizeof(hash_table[0]), MAX_HASH_ENTRIES);
2474 if (hash_table == NULL)
2475 return -1;
2476 }
41397701 2477
679af8a3 2478 return 0;
41397701 2479}
2480
e898de13 2481void sh2_drc_finish(SH2 *sh2)
2482{
f4bb5d6b 2483 if (block_tables[0] != NULL) {
f4bb5d6b 2484 block_stats();
f4bb5d6b 2485 free(block_tables[0]);
2486 memset(block_tables, 0, sizeof(block_tables));
7f5a3fc1 2487
2488 drc_cmn_cleanup();
e898de13 2489 }
2490
f4bb5d6b 2491 if (hash_table != NULL) {
2492 free(hash_table);
2493 hash_table = NULL;
2494 }
e898de13 2495}