notaz.gp2x.de / picodrive.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
initial libretro port
[picodrive.git] / cpu / sh2 / compiler.c
CommitLineData
e898de13 1/*
cff531af 2 * SH2 recompiler
3 * (C) notaz, 2009,2010
4 *
5 * This work is licensed under the terms of MAME license.
6 * See COPYING file in the top-level directory.
44e6452e 7 *
8 * notes:
9 * - tcache, block descriptor, link buffer overflows result in sh2_translate()
10 * failure, followed by full tcache invalidation for that region
9bb5d91c 11 * - jumps between blocks are tracked for SMC handling (in block_links[]),
12 * except jumps between different tcaches
04092e32 13 * - non-main block entries are called subblocks, as they have same tracking
14 * structures that main blocks have.
9bb5d91c 15 *
16 * implemented:
17 * - static register allocation
18 * - remaining register caching and tracking in temporaries
19 * - block-local branch linking
20 * - block linking (except between tcaches)
23686515 21 * - some constant propagation
9bb5d91c 22 *
23 * TODO:
23686515 24 * - better constant propagation
9bb5d91c 25 * - stack caching?
26 * - bug fixing
e898de13 27 */
f0d7b1fa 28#include <stddef.h>
679af8a3 29#include <stdio.h>
30#include <stdlib.h>
31#include <assert.h>
41397701 32
f4bb5d6b 33#include "../../pico/pico_int.h"
679af8a3 34#include "sh2.h"
35#include "compiler.h"
36#include "../drc/cmn.h"
5686d931 37#include "../debug.h"
679af8a3 38
23686515 39// features
40#define PROPAGATE_CONSTANTS 1
41#define LINK_BRANCHES 1
42
04092e32 43// limits (per block)
44#define BLOCK_CYCLE_LIMIT 100
45#define MAX_BLOCK_SIZE (BLOCK_CYCLE_LIMIT * 6 * 6)
46
23686515 47// max literal offset from the block end
48#define MAX_LITERAL_OFFSET 32*2
04092e32 49#define MAX_LITERALS (BLOCK_CYCLE_LIMIT / 4)
50#define MAX_LOCAL_BRANCHES 32
23686515 51
8796b7ee 52// debug stuff {
e898de13 53#ifndef DRC_DEBUG
54#define DRC_DEBUG 0
55#endif
56
553c3eaa 57#if DRC_DEBUG
f4bb5d6b 58#define dbg(l,...) { \
59 if ((l) & DRC_DEBUG) \
60 elprintf(EL_STATUS, ##__VA_ARGS__); \
61}
62
e898de13 63#include "mame/sh2dasm.h"
64#include <platform/linux/host_dasm.h>
65static int insns_compiled, hash_collisions, host_insn_count;
553c3eaa 66#define COUNT_OP \
67 host_insn_count++
68#else // !DRC_DEBUG
69#define COUNT_OP
70#define dbg(...)
e898de13 71#endif
553c3eaa 72
fcdefcf6 73#if (DRC_DEBUG & 4)
f4bb5d6b 74static u8 *tcache_dsm_ptrs[3];
e898de13 75static char sh2dasm_buff[64];
f4bb5d6b 76#define do_host_disasm(tcid) \
77 host_dasm(tcache_dsm_ptrs[tcid], tcache_ptr - tcache_dsm_ptrs[tcid]); \
78 tcache_dsm_ptrs[tcid] = tcache_ptr
79#else
80#define do_host_disasm(x)
e898de13 81#endif
e05b81fc 82
fcdefcf6 83#if (DRC_DEBUG & 8) || defined(PDB)
5686d931 84static void REGPARM(3) *sh2_drc_log_entry(void *block, SH2 *sh2, u32 sr)
e05b81fc 85{
5686d931 86 if (block != NULL) {
fcdefcf6 87 dbg(8, "= %csh2 enter %08x %p, c=%d", sh2->is_slave ? 's' : 'm',
e05b81fc 88 sh2->pc, block, (signed int)sr >> 12);
5686d931 89 pdb_step(sh2, sh2->pc);
90 }
e05b81fc 91 return block;
92}
93#endif
8796b7ee 94// } debug
e898de13 95
44e6452e 96#define TCACHE_BUFFERS 3
f4bb5d6b 97
98// we have 3 translation cache buffers, split from one drc/cmn buffer.
99// BIOS shares tcache with data array because it's only used for init
100// and can be discarded early
8796b7ee 101// XXX: need to tune sizes
44e6452e 102static const int tcache_sizes[TCACHE_BUFFERS] = {
f4bb5d6b 103 DRC_TCACHE_SIZE * 6 / 8, // ROM, DRAM
104 DRC_TCACHE_SIZE / 8, // BIOS, data array in master sh2
105 DRC_TCACHE_SIZE / 8, // ... slave
106};
679af8a3 107
44e6452e 108static u8 *tcache_bases[TCACHE_BUFFERS];
109static u8 *tcache_ptrs[TCACHE_BUFFERS];
f4bb5d6b 110
111// ptr for code emiters
112static u8 *tcache_ptr;
e898de13 113
44e6452e 114typedef struct block_desc_ {
115 u32 addr; // SH2 PC address
44e6452e 116 void *tcache_ptr; // translated block for above PC
117 struct block_desc_ *next; // next block with the same PC hash
fcdefcf6 118#if (DRC_DEBUG & 2)
44e6452e 119 int refcount;
120#endif
121} block_desc;
122
123typedef struct block_link_ {
124 u32 target_pc;
a2b8c5a5 125 void *jump; // insn address
44e6452e 126// struct block_link_ *next;
127} block_link;
128
129static const int block_max_counts[TCACHE_BUFFERS] = {
130 4*1024,
131 256,
132 256,
133};
134static block_desc *block_tables[TCACHE_BUFFERS];
135static block_link *block_links[TCACHE_BUFFERS];
136static int block_counts[TCACHE_BUFFERS];
137static int block_link_counts[TCACHE_BUFFERS];
138
c18edb34 139// host register tracking
140enum {
141 HR_FREE,
142 HR_CACHED, // 'val' has sh2_reg_e
23686515 143// HR_CONST, // 'val' has a constant
c18edb34 144 HR_TEMP, // reg used for temp storage
145};
146
23686515 147enum {
148 HRF_DIRTY = 1 << 0, // reg has "dirty" value to be written to ctx
149 HRF_LOCKED = 1 << 1, // HR_CACHED can't be evicted
150};
151
c18edb34 152typedef struct {
23686515 153 u32 hreg:5; // "host" reg
154 u32 greg:5; // "guest" reg
155 u32 type:3;
156 u32 flags:3;
157 u32 stamp:16; // kind of a timestamp
c18edb34 158} temp_reg_t;
159
80599a42 160// note: reg_temp[] must have at least the amount of
3863edbd 161// registers used by handlers in worst case (currently 4)
d4d62665 162#ifdef __arm__
65c75cb0 163#include "../drc/emit_arm.c"
164
165static const int reg_map_g2h[] = {
8b4f38f4 166 4, 5, 6, 7,
167 8, -1, -1, -1,
c18edb34 168 -1, -1, -1, -1,
8b4f38f4 169 -1, -1, -1, 9,
170 -1, -1, -1, 10,
c18edb34 171 -1, -1, -1, -1,
172};
173
174static temp_reg_t reg_temp[] = {
175 { 0, },
176 { 1, },
177 { 12, },
178 { 14, },
179 { 2, },
180 { 3, },
65c75cb0 181};
182
e05b81fc 183#elif defined(__i386__)
e898de13 184#include "../drc/emit_x86.c"
185
65c75cb0 186static const int reg_map_g2h[] = {
8b4f38f4 187 xSI,-1, -1, -1,
c18edb34 188 -1, -1, -1, -1,
189 -1, -1, -1, -1,
190 -1, -1, -1, -1,
8b4f38f4 191 -1, -1, -1, xDI,
c18edb34 192 -1, -1, -1, -1,
193};
194
3863edbd 195// ax, cx, dx are usually temporaries by convention
c18edb34 196static temp_reg_t reg_temp[] = {
197 { xAX, },
3863edbd 198 { xBX, },
c18edb34 199 { xCX, },
200 { xDX, },
65c75cb0 201};
202
e05b81fc 203#else
204#error unsupported arch
65c75cb0 205#endif
206
80599a42 207#define T 0x00000001
208#define S 0x00000002
209#define I 0x000000f0
210#define Q 0x00000100
211#define M 0x00000200
18b94127 212#define T_save 0x00000800
80599a42 213
e05b81fc 214#define I_SHIFT 4
f0d7b1fa 215#define Q_SHIFT 8
216#define M_SHIFT 9
217
f4bb5d6b 218// ROM hash table
679af8a3 219#define MAX_HASH_ENTRIES 1024
220#define HASH_MASK (MAX_HASH_ENTRIES - 1)
f4bb5d6b 221static void **hash_table;
679af8a3 222
18b94127 223#define HASH_FUNC(hash_tab, addr) \
224 ((block_desc **)(hash_tab))[(addr) & HASH_MASK]
225
e05b81fc 226static void REGPARM(1) (*sh2_drc_entry)(SH2 *sh2);
227static void (*sh2_drc_dispatcher)(void);
228static void (*sh2_drc_exit)(void);
229static void (*sh2_drc_test_irq)(void);
5686d931 230
231static u32 REGPARM(2) (*sh2_drc_read8)(u32 a, SH2 *sh2);
232static u32 REGPARM(2) (*sh2_drc_read16)(u32 a, SH2 *sh2);
233static u32 REGPARM(2) (*sh2_drc_read32)(u32 a, SH2 *sh2);
e05b81fc 234static void REGPARM(2) (*sh2_drc_write8)(u32 a, u32 d);
235static void REGPARM(2) (*sh2_drc_write8_slot)(u32 a, u32 d);
236static void REGPARM(2) (*sh2_drc_write16)(u32 a, u32 d);
237static void REGPARM(2) (*sh2_drc_write16_slot)(u32 a, u32 d);
5686d931 238static int REGPARM(3) (*sh2_drc_write32)(u32 a, u32 d, SH2 *sh2);
679af8a3 239
553c3eaa 240extern void REGPARM(2) sh2_do_op(SH2 *sh2, int opcode);
679af8a3 241
a2b8c5a5 242// address space stuff
243static void *dr_get_pc_base(u32 pc, int is_slave)
244{
245 void *ret = NULL;
246 u32 mask = 0;
247
248 if ((pc & ~0x7ff) == 0) {
249 // BIOS
250 ret = is_slave ? Pico32xMem->sh2_rom_s : Pico32xMem->sh2_rom_m;
251 mask = 0x7ff;
252 }
253 else if ((pc & 0xfffff000) == 0xc0000000) {
254 // data array
255 ret = Pico32xMem->data_array[is_slave];
256 mask = 0xfff;
257 }
258 else if ((pc & 0xc6000000) == 0x06000000) {
259 // SDRAM
260 ret = Pico32xMem->sdram;
261 mask = 0x03ffff;
262 }
263 else if ((pc & 0xc6000000) == 0x02000000) {
264 // ROM
265 ret = Pico.rom;
266 mask = 0x3fffff;
267 }
268
269 if (ret == NULL)
270 return (void *)-1; // NULL is valid value
271
272 return (char *)ret - (pc & ~mask);
273}
274
275static int dr_ctx_get_mem_ptr(u32 a, u32 *mask)
276{
277 int poffs = -1;
278
279 if ((a & ~0x7ff) == 0) {
280 // BIOS
281 poffs = offsetof(SH2, p_bios);
282 *mask = 0x7ff;
283 }
284 else if ((a & 0xfffff000) == 0xc0000000) {
285 // data array
286 poffs = offsetof(SH2, p_da);
287 *mask = 0xfff;
288 }
289 else if ((a & 0xc6000000) == 0x06000000) {
290 // SDRAM
291 poffs = offsetof(SH2, p_sdram);
292 *mask = 0x03ffff;
293 }
294 else if ((a & 0xc6000000) == 0x02000000) {
295 // ROM
296 poffs = offsetof(SH2, p_rom);
297 *mask = 0x3fffff;
298 }
299
300 return poffs;
301}
302
303static block_desc *dr_get_bd(u32 pc, int is_slave, int *tcache_id)
304{
305 *tcache_id = 0;
306
307 // we have full block id tables for data_array and RAM
308 // BIOS goes to data_array table too
309 if ((pc & 0xe0000000) == 0xc0000000 || (pc & ~0xfff) == 0) {
310 int blkid = Pico32xMem->drcblk_da[is_slave][(pc & 0xfff) >> SH2_DRCBLK_DA_SHIFT];
311 *tcache_id = 1 + is_slave;
312 if (blkid & 1)
313 return &block_tables[*tcache_id][blkid >> 1];
314 }
315 // RAM
316 else if ((pc & 0xc6000000) == 0x06000000) {
317 int blkid = Pico32xMem->drcblk_ram[(pc & 0x3ffff) >> SH2_DRCBLK_RAM_SHIFT];
318 if (blkid & 1)
319 return &block_tables[0][blkid >> 1];
320 }
321 // ROM
322 else if ((pc & 0xc6000000) == 0x02000000) {
323 block_desc *bd = HASH_FUNC(hash_table, pc);
324
325 for (; bd != NULL; bd = bd->next)
326 if (bd->addr == pc)
327 return bd;
328 }
329
330 return NULL;
331}
332
333// ---------------------------------------------------------------
334
335// block management
336static void REGPARM(1) flush_tcache(int tcid)
f4bb5d6b 337{
553c3eaa 338 dbg(1, "tcache #%d flush! (%d/%d, bds %d/%d)", tcid,
f4bb5d6b 339 tcache_ptrs[tcid] - tcache_bases[tcid], tcache_sizes[tcid],
340 block_counts[tcid], block_max_counts[tcid]);
341
342 block_counts[tcid] = 0;
a2b8c5a5 343 block_link_counts[tcid] = 0;
f4bb5d6b 344 tcache_ptrs[tcid] = tcache_bases[tcid];
345 if (tcid == 0) { // ROM, RAM
346 memset(hash_table, 0, sizeof(hash_table[0]) * MAX_HASH_ENTRIES);
347 memset(Pico32xMem->drcblk_ram, 0, sizeof(Pico32xMem->drcblk_ram));
348 }
349 else
350 memset(Pico32xMem->drcblk_da[tcid - 1], 0, sizeof(Pico32xMem->drcblk_da[0]));
fcdefcf6 351#if (DRC_DEBUG & 4)
f4bb5d6b 352 tcache_dsm_ptrs[tcid] = tcache_bases[tcid];
353#endif
354}
355
5686d931 356#if LINK_BRANCHES
44e6452e 357// add block links (tracked branches)
358static int dr_add_block_link(u32 target_pc, void *jump, int tcache_id)
359{
360 block_link *bl = block_links[tcache_id];
361 int cnt = block_link_counts[tcache_id];
362
363 if (cnt >= block_max_counts[tcache_id] * 2) {
fcdefcf6 364 dbg(1, "bl overflow for tcache %d\n", tcache_id);
44e6452e 365 return -1;
366 }
367
368 bl[cnt].target_pc = target_pc;
369 bl[cnt].jump = jump;
370 block_link_counts[tcache_id]++;
371
372 return 0;
373}
5686d931 374#endif
44e6452e 375
a2b8c5a5 376static block_desc *dr_add_block(u32 addr, int is_slave, int *blk_id)
679af8a3 377{
378 block_desc *bd;
a2b8c5a5 379 int tcache_id;
380 int *bcount;
381
382 bd = dr_get_bd(addr, is_slave, &tcache_id);
383 if (bd != NULL) {
fcdefcf6 384 dbg(2, "block override for %08x", addr);
a2b8c5a5 385 bd->tcache_ptr = tcache_ptr;
386 *blk_id = bd - block_tables[tcache_id];
387 return bd;
388 }
679af8a3 389
a2b8c5a5 390 bcount = &block_counts[tcache_id];
44e6452e 391 if (*bcount >= block_max_counts[tcache_id]) {
fcdefcf6 392 dbg(1, "bd overflow for tcache %d", tcache_id);
f4bb5d6b 393 return NULL;
44e6452e 394 }
a2b8c5a5 395 if (*bcount == 0)
396 (*bcount)++; // not using descriptor 0
679af8a3 397
f4bb5d6b 398 bd = &block_tables[tcache_id][*bcount];
679af8a3 399 bd->addr = addr;
400 bd->tcache_ptr = tcache_ptr;
f4bb5d6b 401 *blk_id = *bcount;
402 (*bcount)++;
679af8a3 403
18b94127 404 if ((addr & 0xc6000000) == 0x02000000) { // ROM
405 bd->next = HASH_FUNC(hash_table, addr);
406 HASH_FUNC(hash_table, addr) = bd;
fcdefcf6 407#if (DRC_DEBUG & 2)
18b94127 408 if (bd->next != NULL) {
409 printf(" hash collision with %08x\n", bd->next->addr);
410 hash_collisions++;
411 }
412#endif
413 }
414
679af8a3 415 return bd;
416}
417
a2b8c5a5 418static void REGPARM(3) *dr_lookup_block(u32 pc, int is_slave, int *tcache_id)
419{
420 block_desc *bd = NULL;
421 void *block = NULL;
422
423 bd = dr_get_bd(pc, is_slave, tcache_id);
424 if (bd != NULL)
425 block = bd->tcache_ptr;
426
fcdefcf6 427#if (DRC_DEBUG & 2)
a2b8c5a5 428 if (bd != NULL)
429 bd->refcount++;
430#endif
431 return block;
432}
433
434static void *dr_prepare_ext_branch(u32 pc, SH2 *sh2, int tcache_id)
435{
436#if LINK_BRANCHES
437 int target_tcache_id;
438 void *target;
439 int ret;
440
441 target = dr_lookup_block(pc, sh2->is_slave, &target_tcache_id);
442 if (target_tcache_id == tcache_id) {
443 // allow linking blocks only from local cache
444 ret = dr_add_block_link(pc, tcache_ptr, tcache_id);
445 if (ret < 0)
446 return NULL;
447 }
448 if (target == NULL || target_tcache_id != tcache_id)
449 target = sh2_drc_dispatcher;
450
451 return target;
452#else
453 return sh2_drc_dispatcher;
454#endif
455}
456
457static void dr_link_blocks(void *target, u32 pc, int tcache_id)
458{
459#if LINK_BRANCHES
460 block_link *bl = block_links[tcache_id];
461 int cnt = block_link_counts[tcache_id];
462 int i;
463
464 for (i = 0; i < cnt; i++) {
465 if (bl[i].target_pc == pc) {
fcdefcf6 466 dbg(2, "- link from %p", bl[i].jump);
a2b8c5a5 467 emith_jump_patch(bl[i].jump, target);
468 // XXX: sync ARM caches (old jump should be fine)?
469 }
470 }
471#endif
472}
473
44e6452e 474#define ADD_TO_ARRAY(array, count, item, failcode) \
475 array[count++] = item; \
476 if (count >= ARRAY_SIZE(array)) { \
fcdefcf6 477 dbg(1, "warning: " #array " overflow"); \
44e6452e 478 failcode; \
479 }
480
a2b8c5a5 481static int find_in_array(u32 *array, size_t size, u32 what)
18b94127 482{
483 size_t i;
484 for (i = 0; i < size; i++)
485 if (what == array[i])
486 return i;
487
488 return -1;
489}
679af8a3 490
491// ---------------------------------------------------------------
492
a2b8c5a5 493// register cache / constant propagation stuff
23686515 494typedef enum {
495 RC_GR_READ,
496 RC_GR_WRITE,
497 RC_GR_RMW,
498} rc_gr_mode;
499
500static int rcache_get_reg_(sh2_reg_e r, rc_gr_mode mode, int do_locking);
501
502// guest regs with constants
503static u32 dr_gcregs[24];
504// a mask of constant/dirty regs
505static u32 dr_gcregs_mask;
506static u32 dr_gcregs_dirty;
507
a2b8c5a5 508#if PROPAGATE_CONSTANTS
23686515 509static void gconst_new(sh2_reg_e r, u32 val)
510{
23686515 511 int i;
512
513 dr_gcregs_mask |= 1 << r;
514 dr_gcregs_dirty |= 1 << r;
515 dr_gcregs[r] = val;
516
517 // throw away old r that we might have cached
518 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
519 if ((reg_temp[i].type == HR_CACHED) &&
520 reg_temp[i].greg == r) {
521 reg_temp[i].type = HR_FREE;
522 reg_temp[i].flags = 0;
523 }
524 }
23686515 525}
a2b8c5a5 526#endif
23686515 527
528static int gconst_get(sh2_reg_e r, u32 *val)
529{
530 if (dr_gcregs_mask & (1 << r)) {
531 *val = dr_gcregs[r];
532 return 1;
533 }
534 return 0;
535}
536
537static int gconst_check(sh2_reg_e r)
538{
539 if ((dr_gcregs_mask | dr_gcregs_dirty) & (1 << r))
540 return 1;
541 return 0;
542}
543
544// update hr if dirty, else do nothing
545static int gconst_try_read(int hr, sh2_reg_e r)
546{
547 if (dr_gcregs_dirty & (1 << r)) {
548 emith_move_r_imm(hr, dr_gcregs[r]);
549 dr_gcregs_dirty &= ~(1 << r);
550 return 1;
551 }
552 return 0;
553}
554
555static void gconst_check_evict(sh2_reg_e r)
556{
557 if (dr_gcregs_mask & (1 << r))
558 // no longer cached in reg, make dirty again
559 dr_gcregs_dirty |= 1 << r;
560}
561
562static void gconst_kill(sh2_reg_e r)
563{
564 dr_gcregs_mask &= ~(1 << r);
565 dr_gcregs_dirty &= ~(1 << r);
566}
567
568static void gconst_clean(void)
569{
570 int i;
571
572 for (i = 0; i < ARRAY_SIZE(dr_gcregs); i++)
573 if (dr_gcregs_dirty & (1 << i)) {
574 // using RC_GR_READ here: it will call gconst_try_read,
575 // cache the reg and mark it dirty.
576 rcache_get_reg_(i, RC_GR_READ, 0);
577 }
578}
579
580static void gconst_invalidate(void)
581{
582 dr_gcregs_mask = dr_gcregs_dirty = 0;
583}
584
c18edb34 585static u16 rcache_counter;
586
587static temp_reg_t *rcache_evict(void)
41397701 588{
c18edb34 589 // evict reg with oldest stamp
590 int i, oldest = -1;
591 u16 min_stamp = (u16)-1;
592
593 for (i = 0; i < ARRAY_SIZE(reg_temp); i++) {
23686515 594 if (reg_temp[i].type == HR_CACHED && !(reg_temp[i].flags & HRF_LOCKED) &&
595 reg_temp[i].stamp <= min_stamp) {
596 min_stamp = reg_temp[i].stamp;
597 oldest = i;
598 }
c18edb34 599 }
600
601 if (oldest == -1) {
80599a42 602 printf("no registers to evict, aborting\n");
c18edb34 603 exit(1);
604 }
605
606 i = oldest;
23686515 607 if (reg_temp[i].type == HR_CACHED) {
608 if (reg_temp[i].flags & HRF_DIRTY)
609 // writeback
610 emith_ctx_write(reg_temp[i].hreg, reg_temp[i].greg * 4);
611 gconst_check_evict(reg_temp[i].greg);
c18edb34 612 }
613
23686515 614 reg_temp[i].type = HR_FREE;
615 reg_temp[i].flags = 0;
c18edb34 616 return &reg_temp[i];
679af8a3 617}
618
23686515 619static int get_reg_static(sh2_reg_e r, rc_gr_mode mode)
620{
621 int i = reg_map_g2h[r];
622 if (i != -1) {
623 if (mode != RC_GR_WRITE)
624 gconst_try_read(i, r);
625 }
626 return i;
627}
c18edb34 628
80599a42 629// note: must not be called when doing conditional code
23686515 630static int rcache_get_reg_(sh2_reg_e r, rc_gr_mode mode, int do_locking)
679af8a3 631{
c18edb34 632 temp_reg_t *tr;
23686515 633 int i, ret;
c18edb34 634
23686515 635 // maybe statically mapped?
636 ret = get_reg_static(r, mode);
637 if (ret != -1)
638 goto end;
679af8a3 639
c18edb34 640 rcache_counter++;
641
642 // maybe already cached?
23686515 643 // if so, prefer against gconst (they must be in sync)
c18edb34 644 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
23686515 645 if (reg_temp[i].type == HR_CACHED && reg_temp[i].greg == r) {
c18edb34 646 reg_temp[i].stamp = rcache_counter;
647 if (mode != RC_GR_READ)
23686515 648 reg_temp[i].flags |= HRF_DIRTY;
649 ret = reg_temp[i].hreg;
650 goto end;
c18edb34 651 }
679af8a3 652 }
653
c18edb34 654 // use any free reg
655 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
23686515 656 if (reg_temp[i].type == HR_FREE) {
c18edb34 657 tr = &reg_temp[i];
658 goto do_alloc;
659 }
660 }
661
662 tr = rcache_evict();
663
664do_alloc:
23686515 665 tr->type = HR_CACHED;
666 if (do_locking)
667 tr->flags |= HRF_LOCKED;
668 if (mode != RC_GR_READ)
669 tr->flags |= HRF_DIRTY;
670 tr->greg = r;
c18edb34 671 tr->stamp = rcache_counter;
23686515 672 ret = tr->hreg;
673
674 if (mode != RC_GR_WRITE) {
675 if (gconst_check(r)) {
676 if (gconst_try_read(ret, r))
677 tr->flags |= HRF_DIRTY;
678 }
679 else
680 emith_ctx_read(tr->hreg, r * 4);
681 }
682
683end:
684 if (mode != RC_GR_READ)
685 gconst_kill(r);
686
687 return ret;
688}
689
690static int rcache_get_reg(sh2_reg_e r, rc_gr_mode mode)
691{
692 return rcache_get_reg_(r, mode, 1);
679af8a3 693}
694
c18edb34 695static int rcache_get_tmp(void)
679af8a3 696{
c18edb34 697 temp_reg_t *tr;
698 int i;
699
700 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 701 if (reg_temp[i].type == HR_FREE) {
c18edb34 702 tr = &reg_temp[i];
703 goto do_alloc;
704 }
705
706 tr = rcache_evict();
707
708do_alloc:
709 tr->type = HR_TEMP;
23686515 710 return tr->hreg;
c18edb34 711}
712
80599a42 713static int rcache_get_arg_id(int arg)
714{
715 int i, r = 0;
716 host_arg2reg(r, arg);
717
718 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 719 if (reg_temp[i].hreg == r)
80599a42 720 break;
721
04092e32 722 if (i == ARRAY_SIZE(reg_temp)) // can't happen
723 exit(1);
80599a42 724
23686515 725 if (reg_temp[i].type == HR_CACHED) {
80599a42 726 // writeback
23686515 727 if (reg_temp[i].flags & HRF_DIRTY)
728 emith_ctx_write(reg_temp[i].hreg, reg_temp[i].greg * 4);
729 gconst_check_evict(reg_temp[i].greg);
80599a42 730 }
731 else if (reg_temp[i].type == HR_TEMP) {
732 printf("arg %d reg %d already used, aborting\n", arg, r);
733 exit(1);
734 }
735
23686515 736 reg_temp[i].type = HR_FREE;
737 reg_temp[i].flags = 0;
738
80599a42 739 return i;
740}
741
742// get a reg to be used as function arg
80599a42 743static int rcache_get_tmp_arg(int arg)
744{
745 int id = rcache_get_arg_id(arg);
746 reg_temp[id].type = HR_TEMP;
747
23686515 748 return reg_temp[id].hreg;
80599a42 749}
750
23686515 751// same but caches a reg. RC_GR_READ only.
80599a42 752static int rcache_get_reg_arg(int arg, sh2_reg_e r)
753{
754 int i, srcr, dstr, dstid;
04092e32 755 int dirty = 0, src_dirty = 0;
80599a42 756
757 dstid = rcache_get_arg_id(arg);
23686515 758 dstr = reg_temp[dstid].hreg;
80599a42 759
760 // maybe already statically mapped?
23686515 761 srcr = get_reg_static(r, RC_GR_READ);
80599a42 762 if (srcr != -1)
763 goto do_cache;
764
765 // maybe already cached?
766 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
23686515 767 if ((reg_temp[i].type == HR_CACHED) &&
768 reg_temp[i].greg == r)
80599a42 769 {
23686515 770 srcr = reg_temp[i].hreg;
04092e32 771 if (reg_temp[i].flags & HRF_DIRTY)
772 src_dirty = 1;
80599a42 773 goto do_cache;
774 }
775 }
776
777 // must read
778 srcr = dstr;
23686515 779 if (gconst_check(r)) {
780 if (gconst_try_read(srcr, r))
781 dirty = 1;
782 }
783 else
784 emith_ctx_read(srcr, r * 4);
80599a42 785
786do_cache:
23686515 787 if (dstr != srcr)
80599a42 788 emith_move_r_r(dstr, srcr);
04092e32 789#if 1
790 else
791 dirty |= src_dirty;
792
793 if (dirty)
794 // must clean, callers might want to modify the arg before call
795 emith_ctx_write(dstr, r * 4);
796#else
797 if (dirty)
798 reg_temp[dstid].flags |= HRF_DIRTY;
799#endif
80599a42 800
801 reg_temp[dstid].stamp = ++rcache_counter;
802 reg_temp[dstid].type = HR_CACHED;
23686515 803 reg_temp[dstid].greg = r;
804 reg_temp[dstid].flags |= HRF_LOCKED;
80599a42 805 return dstr;
806}
807
c18edb34 808static void rcache_free_tmp(int hr)
809{
810 int i;
811 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 812 if (reg_temp[i].hreg == hr)
c18edb34 813 break;
814
80599a42 815 if (i == ARRAY_SIZE(reg_temp) || reg_temp[i].type != HR_TEMP) {
c18edb34 816 printf("rcache_free_tmp fail: #%i hr %d, type %d\n", i, hr, reg_temp[i].type);
80599a42 817 return;
818 }
819
820 reg_temp[i].type = HR_FREE;
23686515 821 reg_temp[i].flags = 0;
822}
823
824static void rcache_unlock(int hr)
825{
826 int i;
827 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
828 if (reg_temp[i].type == HR_CACHED && reg_temp[i].hreg == hr)
829 reg_temp[i].flags &= ~HRF_LOCKED;
830}
831
832static void rcache_unlock_all(void)
833{
834 int i;
835 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
836 reg_temp[i].flags &= ~HRF_LOCKED;
c18edb34 837}
838
80599a42 839static void rcache_clean(void)
c18edb34 840{
841 int i;
23686515 842 gconst_clean();
843
80599a42 844 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 845 if (reg_temp[i].type == HR_CACHED && (reg_temp[i].flags & HRF_DIRTY)) {
c18edb34 846 // writeback
23686515 847 emith_ctx_write(reg_temp[i].hreg, reg_temp[i].greg * 4);
848 reg_temp[i].flags &= ~HRF_DIRTY;
c18edb34 849 }
80599a42 850}
851
852static void rcache_invalidate(void)
853{
854 int i;
23686515 855 for (i = 0; i < ARRAY_SIZE(reg_temp); i++) {
c18edb34 856 reg_temp[i].type = HR_FREE;
23686515 857 reg_temp[i].flags = 0;
858 }
c18edb34 859 rcache_counter = 0;
23686515 860
861 gconst_invalidate();
c18edb34 862}
863
80599a42 864static void rcache_flush(void)
865{
866 rcache_clean();
867 rcache_invalidate();
868}
869
c18edb34 870// ---------------------------------------------------------------
871
23686515 872static int emit_get_rbase_and_offs(u32 a, u32 *offs)
873{
23686515 874 u32 mask = 0;
a2b8c5a5 875 int poffs;
23686515 876 int hr;
877
a2b8c5a5 878 poffs = dr_ctx_get_mem_ptr(a, &mask);
23686515 879 if (poffs == -1)
880 return -1;
881
a2b8c5a5 882 // XXX: could use some related reg
23686515 883 hr = rcache_get_tmp();
884 emith_ctx_read(hr, poffs);
885 emith_add_r_imm(hr, a & mask & ~0xff);
886 *offs = a & 0xff; // XXX: ARM oriented..
887 return hr;
888}
889
c18edb34 890static void emit_move_r_imm32(sh2_reg_e dst, u32 imm)
891{
23686515 892#if PROPAGATE_CONSTANTS
893 gconst_new(dst, imm);
894#else
c18edb34 895 int hr = rcache_get_reg(dst, RC_GR_WRITE);
896 emith_move_r_imm(hr, imm);
23686515 897#endif
c18edb34 898}
899
900static void emit_move_r_r(sh2_reg_e dst, sh2_reg_e src)
901{
902 int hr_d = rcache_get_reg(dst, RC_GR_WRITE);
903 int hr_s = rcache_get_reg(src, RC_GR_READ);
904
905 emith_move_r_r(hr_d, hr_s);
679af8a3 906}
907
52d759c3 908// T must be clear, and comparison done just before this
909static void emit_or_t_if_eq(int srr)
910{
911 EMITH_SJMP_START(DCOND_NE);
912 emith_or_r_imm_c(DCOND_EQ, srr, T);
913 EMITH_SJMP_END(DCOND_NE);
914}
915
80599a42 916// arguments must be ready
917// reg cache must be clean before call
23686515 918static int emit_memhandler_read_(int size, int ram_check)
679af8a3 919{
b081408f 920 int arg0, arg1;
921 host_arg2reg(arg0, 0);
922
23686515 923 rcache_clean();
924
b081408f 925 // must writeback cycles for poll detection stuff
23686515 926 // FIXME: rm
b081408f 927 if (reg_map_g2h[SHR_SR] != -1)
928 emith_ctx_write(reg_map_g2h[SHR_SR], SHR_SR * 4);
23686515 929
b081408f 930 arg1 = rcache_get_tmp_arg(1);
931 emith_move_r_r(arg1, CONTEXT_REG);
932
5686d931 933#ifndef PDB_NET
23686515 934 if (ram_check && Pico.rom == (void *)0x02000000 && Pico32xMem->sdram == (void *)0x06000000) {
b081408f 935 int tmp = rcache_get_tmp();
936 emith_and_r_r_imm(tmp, arg0, 0xfb000000);
937 emith_cmp_r_imm(tmp, 0x02000000);
938 switch (size) {
939 case 0: // 8
940 EMITH_SJMP3_START(DCOND_NE);
941 emith_eor_r_imm_c(DCOND_EQ, arg0, 1);
942 emith_read8_r_r_offs_c(DCOND_EQ, arg0, arg0, 0);
943 EMITH_SJMP3_MID(DCOND_NE);
5686d931 944 emith_call_cond(DCOND_NE, sh2_drc_read8);
b081408f 945 EMITH_SJMP3_END();
946 break;
947 case 1: // 16
948 EMITH_SJMP3_START(DCOND_NE);
949 emith_read16_r_r_offs_c(DCOND_EQ, arg0, arg0, 0);
950 EMITH_SJMP3_MID(DCOND_NE);
5686d931 951 emith_call_cond(DCOND_NE, sh2_drc_read16);
b081408f 952 EMITH_SJMP3_END();
953 break;
954 case 2: // 32
955 EMITH_SJMP3_START(DCOND_NE);
956 emith_read_r_r_offs_c(DCOND_EQ, arg0, arg0, 0);
957 emith_ror_c(DCOND_EQ, arg0, arg0, 16);
958 EMITH_SJMP3_MID(DCOND_NE);
5686d931 959 emith_call_cond(DCOND_NE, sh2_drc_read32);
b081408f 960 EMITH_SJMP3_END();
961 break;
962 }
963 }
964 else
965#endif
966 {
967 switch (size) {
968 case 0: // 8
5686d931 969 emith_call(sh2_drc_read8);
b081408f 970 break;
971 case 1: // 16
5686d931 972 emith_call(sh2_drc_read16);
b081408f 973 break;
974 case 2: // 32
5686d931 975 emith_call(sh2_drc_read32);
b081408f 976 break;
977 }
679af8a3 978 }
80599a42 979 rcache_invalidate();
980 // assuming arg0 and retval reg matches
981 return rcache_get_tmp_arg(0);
982}
679af8a3 983
23686515 984static int emit_memhandler_read(int size)
985{
986 return emit_memhandler_read_(size, 1);
987}
988
989static int emit_memhandler_read_rr(sh2_reg_e rd, sh2_reg_e rs, u32 offs, int size)
990{
991 int hr, hr2, ram_check = 1;
992 u32 val, offs2;
993
994 if (gconst_get(rs, &val)) {
995 hr = emit_get_rbase_and_offs(val + offs, &offs2);
996 if (hr != -1) {
997 hr2 = rcache_get_reg(rd, RC_GR_WRITE);
998 switch (size) {
999 case 0: // 8
1000 emith_read8_r_r_offs(hr2, hr, offs2 ^ 1);
1001 emith_sext(hr2, hr2, 8);
1002 break;
1003 case 1: // 16
1004 emith_read16_r_r_offs(hr2, hr, offs2);
1005 emith_sext(hr2, hr2, 16);
1006 break;
1007 case 2: // 32
1008 emith_read_r_r_offs(hr2, hr, offs2);
1009 emith_ror(hr2, hr2, 16);
1010 break;
1011 }
1012 rcache_free_tmp(hr);
1013 return hr2;
1014 }
1015
1016 ram_check = 0;
1017 }
1018
1019 hr = rcache_get_reg_arg(0, rs);
1020 if (offs != 0)
1021 emith_add_r_imm(hr, offs);
1022 hr = emit_memhandler_read_(size, ram_check);
1023 hr2 = rcache_get_reg(rd, RC_GR_WRITE);
1024 if (size != 2) {
1025 emith_sext(hr2, hr, (size == 1) ? 16 : 8);
1026 } else
1027 emith_move_r_r(hr2, hr);
1028 rcache_free_tmp(hr);
1029
1030 return hr2;
1031}
1032
e05b81fc 1033static void emit_memhandler_write(int size, u32 pc, int delay)
80599a42 1034{
1035 int ctxr;
1036 host_arg2reg(ctxr, 2);
80599a42 1037 switch (size) {
1038 case 0: // 8
e05b81fc 1039 // XXX: consider inlining sh2_drc_write8
1040 if (delay) {
1041 emith_call(sh2_drc_write8_slot);
1042 } else {
1043 emit_move_r_imm32(SHR_PC, pc);
1044 rcache_clean();
1045 emith_call(sh2_drc_write8);
1046 }
80599a42 1047 break;
1048 case 1: // 16
e05b81fc 1049 if (delay) {
1050 emith_call(sh2_drc_write16_slot);
1051 } else {
1052 emit_move_r_imm32(SHR_PC, pc);
1053 rcache_clean();
1054 emith_call(sh2_drc_write16);
1055 }
80599a42 1056 break;
1057 case 2: // 32
e05b81fc 1058 emith_move_r_r(ctxr, CONTEXT_REG);
5686d931 1059 emith_call(sh2_drc_write32);
80599a42 1060 break;
1061 }
1062 rcache_invalidate();
679af8a3 1063}
80599a42 1064
52d759c3 1065// @(Rx,Ry)
1066static int emit_indirect_indexed_read(int rx, int ry, int size)
1067{
1068 int a0, t;
52d759c3 1069 a0 = rcache_get_reg_arg(0, rx);
1070 t = rcache_get_reg(ry, RC_GR_READ);
1071 emith_add_r_r(a0, t);
1072 return emit_memhandler_read(size);
1073}
1074
f0d7b1fa 1075// read @Rn, @rm
1076static void emit_indirect_read_double(u32 *rnr, u32 *rmr, int rn, int rm, int size)
1077{
1078 int tmp;
1079
f0d7b1fa 1080 rcache_get_reg_arg(0, rn);
1081 tmp = emit_memhandler_read(size);
1082 emith_ctx_write(tmp, offsetof(SH2, drc_tmp));
1083 rcache_free_tmp(tmp);
1084 tmp = rcache_get_reg(rn, RC_GR_RMW);
1085 emith_add_r_imm(tmp, 1 << size);
23686515 1086 rcache_unlock(tmp);
f0d7b1fa 1087
f0d7b1fa 1088 rcache_get_reg_arg(0, rm);
1089 *rmr = emit_memhandler_read(size);
1090 *rnr = rcache_get_tmp();
1091 emith_ctx_read(*rnr, offsetof(SH2, drc_tmp));
1092 tmp = rcache_get_reg(rm, RC_GR_RMW);
1093 emith_add_r_imm(tmp, 1 << size);
23686515 1094 rcache_unlock(tmp);
f0d7b1fa 1095}
1096
8796b7ee 1097static void emit_do_static_regs(int is_write, int tmpr)
f0d7b1fa 1098{
8796b7ee 1099 int i, r, count;
1100
1101 for (i = 0; i < ARRAY_SIZE(reg_map_g2h); i++) {
1102 r = reg_map_g2h[i];
1103 if (r == -1)
1104 continue;
1105
1106 for (count = 1; i < ARRAY_SIZE(reg_map_g2h) - 1; i++, r++) {
1107 if (reg_map_g2h[i + 1] != r + 1)
1108 break;
1109 count++;
1110 }
1111
1112 if (count > 1) {
1113 // i, r point to last item
1114 if (is_write)
1115 emith_ctx_write_multiple(r - count + 1, (i - count + 1) * 4, count, tmpr);
1116 else
1117 emith_ctx_read_multiple(r - count + 1, (i - count + 1) * 4, count, tmpr);
1118 } else {
1119 if (is_write)
1120 emith_ctx_write(r, i * 4);
1121 else
1122 emith_ctx_read(r, i * 4);
1123 }
f0d7b1fa 1124 }
1125}
1126
e05b81fc 1127static void emit_block_entry(void)
f0d7b1fa 1128{
e05b81fc 1129 int arg0, arg1, arg2;
8796b7ee 1130
e05b81fc 1131 host_arg2reg(arg0, 0);
1132 host_arg2reg(arg1, 1);
1133 host_arg2reg(arg2, 2);
8796b7ee 1134
fcdefcf6 1135#if (DRC_DEBUG & 8) || defined(PDB)
5686d931 1136 emit_do_static_regs(1, arg2);
e05b81fc 1137 emith_move_r_r(arg1, CONTEXT_REG);
1138 emith_move_r_r(arg2, rcache_get_reg(SHR_SR, RC_GR_READ));
5686d931 1139 emith_call(sh2_drc_log_entry);
e05b81fc 1140 rcache_invalidate();
1141#endif
1142 emith_tst_r_r(arg0, arg0);
1143 EMITH_SJMP_START(DCOND_EQ);
1144 emith_jump_reg_c(DCOND_NE, arg0);
1145 EMITH_SJMP_END(DCOND_EQ);
1146}
8796b7ee 1147
e898de13 1148#define DELAYED_OP \
18b94127 1149 drcf.delayed_op = 2
1150
1151#define DELAY_SAVE_T(sr) { \
1152 emith_bic_r_imm(sr, T_save); \
1153 emith_tst_r_imm(sr, T); \
1154 EMITH_SJMP_START(DCOND_EQ); \
1155 emith_or_r_imm_c(DCOND_NE, sr, T_save); \
1156 EMITH_SJMP_END(DCOND_EQ); \
1157 drcf.use_saved_t = 1; \
1158}
e898de13 1159
e05b81fc 1160#define FLUSH_CYCLES(sr) \
1161 if (cycles > 0) { \
1162 emith_sub_r_imm(sr, cycles << 12); \
1163 cycles = 0; \
1164 }
1165
e898de13 1166#define CHECK_UNHANDLED_BITS(mask) { \
1167 if ((op & (mask)) != 0) \
1168 goto default_; \
1169}
1170
23686515 1171#define FETCH_OP(pc) \
1172 dr_pc_base[(pc) / 2]
1173
1174#define FETCH32(a) \
1175 ((dr_pc_base[(a) / 2] << 16) | dr_pc_base[(a) / 2 + 1])
1176
80599a42 1177#define GET_Fx() \
1178 ((op >> 4) & 0x0f)
1179
1180#define GET_Rm GET_Fx
1181
1182#define GET_Rn() \
1183 ((op >> 8) & 0x0f)
1184
ed8cf79b 1185#define CHECK_FX_LT(n) \
52d759c3 1186 if (GET_Fx() >= n) \
80599a42 1187 goto default_
1188
18b94127 1189// op_flags: data from 1st pass
1190#define OP_FLAGS(pc) op_flags[((pc) - base_pc) / 2]
1191#define OF_DELAY_OP (1 << 0)
1192
e05b81fc 1193static void REGPARM(2) *sh2_translate(SH2 *sh2, int tcache_id)
679af8a3 1194{
18b94127 1195 // XXX: maybe use structs instead?
18b94127 1196 u32 branch_target_pc[MAX_LOCAL_BRANCHES];
a2b8c5a5 1197 void *branch_target_ptr[MAX_LOCAL_BRANCHES];
1198 int branch_target_blkid[MAX_LOCAL_BRANCHES];
18b94127 1199 int branch_target_count = 0;
1200 void *branch_patch_ptr[MAX_LOCAL_BRANCHES];
1201 u32 branch_patch_pc[MAX_LOCAL_BRANCHES];
1202 int branch_patch_count = 0;
04092e32 1203 u32 literal_addr[MAX_LITERALS];
1204 int literal_addr_count = 0;
44e6452e 1205 int pending_branch_cond = -1;
1206 int pending_branch_pc = 0;
18b94127 1207 u8 op_flags[BLOCK_CYCLE_LIMIT + 1];
1208 struct {
1209 u32 delayed_op:2;
1210 u32 test_irq:1;
1211 u32 use_saved_t:1; // delayed op modifies T
1212 } drcf = { 0, };
1213
44e6452e 1214 // PC of current, first, last, last_target_blk SH2 insn
1215 u32 pc, base_pc, end_pc, out_pc;
f4bb5d6b 1216 void *block_entry;
679af8a3 1217 block_desc *this_block;
23686515 1218 u16 *dr_pc_base;
18b94127 1219 int blkid_main = 0;
23686515 1220 int skip_op = 0;
18b94127 1221 u32 tmp, tmp2;
1222 int cycles;
1223 int op;
1224 int i;
1225
1226 base_pc = sh2->pc;
679af8a3 1227
23686515 1228 // get base/validate PC
1229 dr_pc_base = dr_get_pc_base(base_pc, sh2->is_slave);
1230 if (dr_pc_base == (void *)-1) {
18b94127 1231 printf("invalid PC, aborting: %08x\n", base_pc);
f4bb5d6b 1232 // FIXME: be less destructive
1233 exit(1);
1234 }
1235
f4bb5d6b 1236 tcache_ptr = tcache_ptrs[tcache_id];
a2b8c5a5 1237 this_block = dr_add_block(base_pc, sh2->is_slave, &blkid_main);
44e6452e 1238 if (this_block == NULL)
1239 return NULL;
f4bb5d6b 1240
18b94127 1241 // predict tcache overflow
f4bb5d6b 1242 tmp = tcache_ptr - tcache_bases[tcache_id];
44e6452e 1243 if (tmp > tcache_sizes[tcache_id] - MAX_BLOCK_SIZE) {
fcdefcf6 1244 dbg(1, "tcache %d overflow", tcache_id);
18b94127 1245 return NULL;
44e6452e 1246 }
18b94127 1247
1248 block_entry = tcache_ptr;
fcdefcf6 1249 dbg(2, "== %csh2 block #%d,%d %08x -> %p", sh2->is_slave ? 's' : 'm',
18b94127 1250 tcache_id, blkid_main, base_pc, block_entry);
1251
44e6452e 1252 dr_link_blocks(tcache_ptr, base_pc, tcache_id);
1253
18b94127 1254 // 1st pass: scan forward for local branches
1255 memset(op_flags, 0, sizeof(op_flags));
1256 for (cycles = 0, pc = base_pc; cycles < BLOCK_CYCLE_LIMIT; cycles++, pc += 2) {
23686515 1257 op = FETCH_OP(pc);
18b94127 1258 if ((op & 0xf000) == 0xa000 || (op & 0xf000) == 0xb000) { // BRA, BSR
44e6452e 1259 signed int offs = ((signed int)(op << 20) >> 19);
18b94127 1260 pc += 2;
1261 OP_FLAGS(pc) |= OF_DELAY_OP;
44e6452e 1262 ADD_TO_ARRAY(branch_target_pc, branch_target_count, pc + offs + 2,);
18b94127 1263 break;
1264 }
1265 if ((op & 0xf000) == 0) {
1266 op &= 0xff;
44e6452e 1267 if (op == 0x1b) // SLEEP
1268 break;
1269 if (op == 0x23 || op == 0x03 || op == 0x0b || op == 0x2b) { // BRAF, BSRF, RTS, RTE
18b94127 1270 pc += 2;
1271 OP_FLAGS(pc) |= OF_DELAY_OP;
1272 break;
1273 }
1274 continue;
1275 }
1276 if ((op & 0xf0df) == 0x400b) { // JMP, JSR
1277 pc += 2;
1278 OP_FLAGS(pc) |= OF_DELAY_OP;
1279 break;
1280 }
1281 if ((op & 0xf900) == 0x8900) { // BT(S), BF(S)
1282 signed int offs = ((signed int)(op << 24) >> 23);
1283 if (op & 0x0400)
1284 OP_FLAGS(pc + 2) |= OF_DELAY_OP;
44e6452e 1285 ADD_TO_ARRAY(branch_target_pc, branch_target_count, pc + offs + 4, break);
18b94127 1286 }
44e6452e 1287 if ((op & 0xff00) == 0xc300) // TRAPA
1288 break;
f4bb5d6b 1289 }
e898de13 1290
18b94127 1291 end_pc = pc;
679af8a3 1292
18b94127 1293 // clean branch_targets that are not really local,
1294 // and that land on delay slots
1295 for (i = 0, tmp = 0; i < branch_target_count; i++) {
1296 pc = branch_target_pc[i];
1297 if (base_pc <= pc && pc <= end_pc && !(OP_FLAGS(pc) & OF_DELAY_OP))
1298 branch_target_pc[tmp++] = branch_target_pc[i];
e898de13 1299 }
18b94127 1300 branch_target_count = tmp;
1301 memset(branch_target_ptr, 0, sizeof(branch_target_ptr[0]) * branch_target_count);
a2b8c5a5 1302 memset(branch_target_blkid, 0, sizeof(branch_target_blkid[0]) * branch_target_count);
679af8a3 1303
18b94127 1304 // -------------------------------------------------
1305 // 2nd pass: actual compilation
44e6452e 1306 out_pc = 0;
18b94127 1307 pc = base_pc;
1308 for (cycles = 0; pc <= end_pc || drcf.delayed_op; )
679af8a3 1309 {
18b94127 1310 u32 tmp3, tmp4, sr;
1311
1312 if (drcf.delayed_op > 0)
1313 drcf.delayed_op--;
1314
23686515 1315 op = FETCH_OP(pc);
1316
18b94127 1317 i = find_in_array(branch_target_pc, branch_target_count, pc);
04092e32 1318 if (i >= 0 || pc == base_pc)
18b94127 1319 {
a2b8c5a5 1320 if (pc != base_pc)
18b94127 1321 {
1322 /* make "subblock" - just a mid-block entry */
1323 block_desc *subblock;
18b94127 1324
1325 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
e05b81fc 1326 FLUSH_CYCLES(sr);
23686515 1327 // decide if to flush rcache
1328 if ((op & 0xf0ff) == 0x4010 && FETCH_OP(pc + 2) == 0x8bfd) // DT; BF #-2
1329 rcache_clean();
1330 else
1331 rcache_flush();
18b94127 1332 do_host_disasm(tcache_id);
1333
fcdefcf6 1334 dbg(2, "-- %csh2 subblock #%d,%d %08x -> %p", sh2->is_slave ? 's' : 'm',
04092e32 1335 tcache_id, branch_target_blkid[i], pc, tcache_ptr);
1336
a2b8c5a5 1337 subblock = dr_add_block(pc, sh2->is_slave, &branch_target_blkid[i]);
18b94127 1338 if (subblock == NULL)
1339 return NULL;
18b94127 1340
44e6452e 1341 // since we made a block entry, link any other blocks that jump to current pc
1342 dr_link_blocks(tcache_ptr, pc, tcache_id);
18b94127 1343 }
04092e32 1344 if (i >= 0)
1345 branch_target_ptr[i] = tcache_ptr;
18b94127 1346
1347 // must update PC
1348 emit_move_r_imm32(SHR_PC, pc);
1349 rcache_clean();
1350
1351 // check cycles
1352 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
1353 emith_cmp_r_imm(sr, 0);
1354 emith_jump_cond(DCOND_LE, sh2_drc_exit);
23686515 1355 do_host_disasm(tcache_id);
04092e32 1356 rcache_unlock_all();
18b94127 1357 }
e898de13 1358
e898de13 1359#if (DRC_DEBUG & 2)
fcdefcf6 1360 insns_compiled++;
1361#if (DRC_DEBUG & 4)
e898de13 1362 DasmSH2(sh2dasm_buff, pc, op);
1363 printf("%08x %04x %s\n", pc, op, sh2dasm_buff);
1364#endif
679af8a3 1365#endif
679af8a3 1366
1367 pc += 2;
1368 cycles++;
1369
23686515 1370 if (skip_op > 0) {
1371 skip_op--;
1372 continue;
1373 }
1374
679af8a3 1375 switch ((op >> 12) & 0x0f)
1376 {
3863edbd 1377 /////////////////////////////////////////////
679af8a3 1378 case 0x00:
80599a42 1379 switch (op & 0x0f)
1380 {
1381 case 0x02:
1382 tmp = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1383 switch (GET_Fx())
1384 {
1385 case 0: // STC SR,Rn 0000nnnn00000010
1386 tmp2 = SHR_SR;
1387 break;
1388 case 1: // STC GBR,Rn 0000nnnn00010010
1389 tmp2 = SHR_GBR;
1390 break;
1391 case 2: // STC VBR,Rn 0000nnnn00100010
1392 tmp2 = SHR_VBR;
1393 break;
1394 default:
1395 goto default_;
1396 }
ed8cf79b 1397 tmp3 = rcache_get_reg(tmp2, RC_GR_READ);
1398 emith_move_r_r(tmp, tmp3);
1399 if (tmp2 == SHR_SR)
18b94127 1400 emith_clear_msb(tmp, tmp, 22); // reserved bits defined by ISA as 0
80599a42 1401 goto end_op;
e898de13 1402 case 0x03:
1403 CHECK_UNHANDLED_BITS(0xd0);
1404 // BRAF Rm 0000mmmm00100011
1405 // BSRF Rm 0000mmmm00000011
679af8a3 1406 DELAYED_OP;
18b94127 1407 tmp = rcache_get_reg(SHR_PC, RC_GR_WRITE);
80599a42 1408 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
c18edb34 1409 emith_move_r_r(tmp, tmp2);
18b94127 1410 if (op & 0x20)
1411 emith_add_r_imm(tmp, pc + 2);
1412 else { // BSRF
1413 tmp3 = rcache_get_reg(SHR_PR, RC_GR_WRITE);
1414 emith_move_r_imm(tmp3, pc + 2);
1415 emith_add_r_r(tmp, tmp3);
1416 }
44e6452e 1417 out_pc = (u32)-1;
679af8a3 1418 cycles++;
e898de13 1419 goto end_op;
80599a42 1420 case 0x04: // MOV.B Rm,@(R0,Rn) 0000nnnnmmmm0100
1421 case 0x05: // MOV.W Rm,@(R0,Rn) 0000nnnnmmmm0101
1422 case 0x06: // MOV.L Rm,@(R0,Rn) 0000nnnnmmmm0110
e05b81fc 1423 rcache_clean();
1424 tmp = rcache_get_reg_arg(1, GET_Rm());
1425 tmp2 = rcache_get_reg_arg(0, SHR_R0);
1426 tmp3 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1427 emith_add_r_r(tmp2, tmp3);
1428 emit_memhandler_write(op & 3, pc, drcf.delayed_op);
80599a42 1429 goto end_op;
1430 case 0x07:
1431 // MUL.L Rm,Rn 0000nnnnmmmm0111
1432 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
1433 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1434 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1435 emith_mul(tmp3, tmp2, tmp);
1436 cycles++;
1437 goto end_op;
1438 case 0x08:
1439 CHECK_UNHANDLED_BITS(0xf00);
1440 switch (GET_Fx())
1441 {
1442 case 0: // CLRT 0000000000001000
8796b7ee 1443 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1444 if (drcf.delayed_op)
1445 DELAY_SAVE_T(sr);
8796b7ee 1446 emith_bic_r_imm(sr, T);
80599a42 1447 break;
1448 case 1: // SETT 0000000000011000
8796b7ee 1449 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1450 if (drcf.delayed_op)
1451 DELAY_SAVE_T(sr);
8796b7ee 1452 emith_or_r_imm(sr, T);
80599a42 1453 break;
1454 case 2: // CLRMAC 0000000000101000
23686515 1455 emit_move_r_imm32(SHR_MACL, 0);
1456 emit_move_r_imm32(SHR_MACH, 0);
80599a42 1457 break;
1458 default:
1459 goto default_;
1460 }
1461 goto end_op;
e898de13 1462 case 0x09:
80599a42 1463 switch (GET_Fx())
1464 {
1465 case 0: // NOP 0000000000001001
1466 CHECK_UNHANDLED_BITS(0xf00);
1467 break;
1468 case 1: // DIV0U 0000000000011001
1469 CHECK_UNHANDLED_BITS(0xf00);
8796b7ee 1470 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1471 if (drcf.delayed_op)
1472 DELAY_SAVE_T(sr);
8796b7ee 1473 emith_bic_r_imm(sr, M|Q|T);
80599a42 1474 break;
1475 case 2: // MOVT Rn 0000nnnn00101001
8796b7ee 1476 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
80599a42 1477 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
8796b7ee 1478 emith_clear_msb(tmp2, sr, 31);
80599a42 1479 break;
1480 default:
1481 goto default_;
1482 }
1483 goto end_op;
1484 case 0x0a:
1485 tmp = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1486 switch (GET_Fx())
1487 {
1488 case 0: // STS MACH,Rn 0000nnnn00001010
ed8cf79b 1489 tmp2 = SHR_MACH;
80599a42 1490 break;
1491 case 1: // STS MACL,Rn 0000nnnn00011010
ed8cf79b 1492 tmp2 = SHR_MACL;
80599a42 1493 break;
1494 case 2: // STS PR,Rn 0000nnnn00101010
ed8cf79b 1495 tmp2 = SHR_PR;
80599a42 1496 break;
1497 default:
1498 goto default_;
1499 }
ed8cf79b 1500 tmp2 = rcache_get_reg(tmp2, RC_GR_READ);
80599a42 1501 emith_move_r_r(tmp, tmp2);
e898de13 1502 goto end_op;
1503 case 0x0b:
80599a42 1504 CHECK_UNHANDLED_BITS(0xf00);
1505 switch (GET_Fx())
1506 {
1507 case 0: // RTS 0000000000001011
1508 DELAYED_OP;
18b94127 1509 emit_move_r_r(SHR_PC, SHR_PR);
44e6452e 1510 out_pc = (u32)-1;
e898de13 1511 cycles++;
80599a42 1512 break;
1513 case 1: // SLEEP 0000000000011011
80599a42 1514 tmp = rcache_get_reg(SHR_SR, RC_GR_RMW);
1515 emith_clear_msb(tmp, tmp, 20); // clear cycles
44e6452e 1516 out_pc = out_pc - 2;
80599a42 1517 cycles = 1;
e05b81fc 1518 goto end_op;
80599a42 1519 case 2: // RTE 0000000000101011
52d759c3 1520 DELAYED_OP;
52d759c3 1521 // pop PC
23686515 1522 emit_memhandler_read_rr(SHR_PC, SHR_SP, 0, 2);
52d759c3 1523 // pop SR
1524 tmp = rcache_get_reg_arg(0, SHR_SP);
1525 emith_add_r_imm(tmp, 4);
1526 tmp = emit_memhandler_read(2);
18b94127 1527 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1528 emith_write_sr(sr, tmp);
52d759c3 1529 rcache_free_tmp(tmp);
1530 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
1531 emith_add_r_imm(tmp, 4*2);
18b94127 1532 drcf.test_irq = 1;
44e6452e 1533 out_pc = (u32)-1;
e898de13 1534 cycles += 3;
80599a42 1535 break;
1536 default:
1537 goto default_;
e898de13 1538 }
1539 goto end_op;
80599a42 1540 case 0x0c: // MOV.B @(R0,Rm),Rn 0000nnnnmmmm1100
1541 case 0x0d: // MOV.W @(R0,Rm),Rn 0000nnnnmmmm1101
1542 case 0x0e: // MOV.L @(R0,Rm),Rn 0000nnnnmmmm1110
52d759c3 1543 tmp = emit_indirect_indexed_read(SHR_R0, GET_Rm(), op & 3);
80599a42 1544 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
80599a42 1545 if ((op & 3) != 2) {
1546 emith_sext(tmp2, tmp, (op & 1) ? 16 : 8);
1547 } else
1548 emith_move_r_r(tmp2, tmp);
52d759c3 1549 rcache_free_tmp(tmp);
80599a42 1550 goto end_op;
1551 case 0x0f: // MAC.L @Rm+,@Rn+ 0000nnnnmmmm1111
f0d7b1fa 1552 emit_indirect_read_double(&tmp, &tmp2, GET_Rn(), GET_Rm(), 2);
f0d7b1fa 1553 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_RMW);
1554 /* MS 16 MAC bits unused if saturated */
23686515 1555 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
8796b7ee 1556 emith_tst_r_imm(sr, S);
f0d7b1fa 1557 EMITH_SJMP_START(DCOND_EQ);
1558 emith_clear_msb_c(DCOND_NE, tmp4, tmp4, 16);
1559 EMITH_SJMP_END(DCOND_EQ);
23686515 1560 rcache_unlock(sr);
f0d7b1fa 1561 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_RMW); // might evict SR
1562 emith_mula_s64(tmp3, tmp4, tmp, tmp2);
f0d7b1fa 1563 rcache_free_tmp(tmp2);
8796b7ee 1564 sr = rcache_get_reg(SHR_SR, RC_GR_READ); // reget just in case
1565 emith_tst_r_imm(sr, S);
1566
1567 EMITH_JMP_START(DCOND_EQ);
1568 emith_asr(tmp, tmp4, 15);
1569 emith_cmp_r_imm(tmp, -1); // negative overflow (0x80000000..0xffff7fff)
1570 EMITH_SJMP_START(DCOND_GE);
1571 emith_move_r_imm_c(DCOND_LT, tmp4, 0x8000);
1572 emith_move_r_imm_c(DCOND_LT, tmp3, 0x0000);
1573 EMITH_SJMP_END(DCOND_GE);
1574 emith_cmp_r_imm(tmp, 0); // positive overflow (0x00008000..0x7fffffff)
1575 EMITH_SJMP_START(DCOND_LE);
1576 emith_move_r_imm_c(DCOND_GT, tmp4, 0x00007fff);
1577 emith_move_r_imm_c(DCOND_GT, tmp3, 0xffffffff);
1578 EMITH_SJMP_END(DCOND_LE);
1579 EMITH_JMP_END(DCOND_EQ);
1580
1581 rcache_free_tmp(tmp);
f0d7b1fa 1582 cycles += 3;
1583 goto end_op;
80599a42 1584 }
1585 goto default_;
1586
3863edbd 1587 /////////////////////////////////////////////
80599a42 1588 case 0x01:
1589 // MOV.L Rm,@(disp,Rn) 0001nnnnmmmmdddd
1590 rcache_clean();
1591 tmp = rcache_get_reg_arg(0, GET_Rn());
1592 tmp2 = rcache_get_reg_arg(1, GET_Rm());
23686515 1593 if (op & 0x0f)
1594 emith_add_r_imm(tmp, (op & 0x0f) * 4);
e05b81fc 1595 emit_memhandler_write(2, pc, drcf.delayed_op);
80599a42 1596 goto end_op;
1597
1598 case 0x02:
1599 switch (op & 0x0f)
1600 {
1601 case 0x00: // MOV.B Rm,@Rn 0010nnnnmmmm0000
1602 case 0x01: // MOV.W Rm,@Rn 0010nnnnmmmm0001
1603 case 0x02: // MOV.L Rm,@Rn 0010nnnnmmmm0010
1604 rcache_clean();
1605 rcache_get_reg_arg(0, GET_Rn());
1606 rcache_get_reg_arg(1, GET_Rm());
e05b81fc 1607 emit_memhandler_write(op & 3, pc, drcf.delayed_op);
80599a42 1608 goto end_op;
1609 case 0x04: // MOV.B Rm,@–Rn 0010nnnnmmmm0100
1610 case 0x05: // MOV.W Rm,@–Rn 0010nnnnmmmm0101
1611 case 0x06: // MOV.L Rm,@–Rn 0010nnnnmmmm0110
1612 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1613 emith_sub_r_imm(tmp, (1 << (op & 3)));
1614 rcache_clean();
1615 rcache_get_reg_arg(0, GET_Rn());
1616 rcache_get_reg_arg(1, GET_Rm());
e05b81fc 1617 emit_memhandler_write(op & 3, pc, drcf.delayed_op);
80599a42 1618 goto end_op;
1619 case 0x07: // DIV0S Rm,Rn 0010nnnnmmmm0111
8796b7ee 1620 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
80599a42 1621 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1622 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
18b94127 1623 if (drcf.delayed_op)
1624 DELAY_SAVE_T(sr);
8796b7ee 1625 emith_bic_r_imm(sr, M|Q|T);
80599a42 1626 emith_tst_r_imm(tmp2, (1<<31));
1627 EMITH_SJMP_START(DCOND_EQ);
8796b7ee 1628 emith_or_r_imm_c(DCOND_NE, sr, Q);
80599a42 1629 EMITH_SJMP_END(DCOND_EQ);
1630 emith_tst_r_imm(tmp3, (1<<31));
1631 EMITH_SJMP_START(DCOND_EQ);
8796b7ee 1632 emith_or_r_imm_c(DCOND_NE, sr, M);
80599a42 1633 EMITH_SJMP_END(DCOND_EQ);
1634 emith_teq_r_r(tmp2, tmp3);
1635 EMITH_SJMP_START(DCOND_PL);
8796b7ee 1636 emith_or_r_imm_c(DCOND_MI, sr, T);
80599a42 1637 EMITH_SJMP_END(DCOND_PL);
1638 goto end_op;
3863edbd 1639 case 0x08: // TST Rm,Rn 0010nnnnmmmm1000
8796b7ee 1640 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
3863edbd 1641 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1642 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
18b94127 1643 if (drcf.delayed_op)
1644 DELAY_SAVE_T(sr);
8796b7ee 1645 emith_bic_r_imm(sr, T);
3863edbd 1646 emith_tst_r_r(tmp2, tmp3);
8796b7ee 1647 emit_or_t_if_eq(sr);
3863edbd 1648 goto end_op;
1649 case 0x09: // AND Rm,Rn 0010nnnnmmmm1001
1650 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1651 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1652 emith_and_r_r(tmp, tmp2);
1653 goto end_op;
1654 case 0x0a: // XOR Rm,Rn 0010nnnnmmmm1010
1655 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1656 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1657 emith_eor_r_r(tmp, tmp2);
1658 goto end_op;
1659 case 0x0b: // OR Rm,Rn 0010nnnnmmmm1011
1660 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1661 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1662 emith_or_r_r(tmp, tmp2);
1663 goto end_op;
1664 case 0x0c: // CMP/STR Rm,Rn 0010nnnnmmmm1100
1665 tmp = rcache_get_tmp();
1666 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1667 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1668 emith_eor_r_r_r(tmp, tmp2, tmp3);
8796b7ee 1669 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1670 if (drcf.delayed_op)
1671 DELAY_SAVE_T(sr);
8796b7ee 1672 emith_bic_r_imm(sr, T);
3863edbd 1673 emith_tst_r_imm(tmp, 0x000000ff);
52d759c3 1674 emit_or_t_if_eq(tmp);
3863edbd 1675 emith_tst_r_imm(tmp, 0x0000ff00);
52d759c3 1676 emit_or_t_if_eq(tmp);
3863edbd 1677 emith_tst_r_imm(tmp, 0x00ff0000);
52d759c3 1678 emit_or_t_if_eq(tmp);
3863edbd 1679 emith_tst_r_imm(tmp, 0xff000000);
52d759c3 1680 emit_or_t_if_eq(tmp);
3863edbd 1681 rcache_free_tmp(tmp);
1682 goto end_op;
1683 case 0x0d: // XTRCT Rm,Rn 0010nnnnmmmm1101
1684 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1685 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1686 emith_lsr(tmp, tmp, 16);
f0d7b1fa 1687 emith_or_r_r_lsl(tmp, tmp2, 16);
3863edbd 1688 goto end_op;
1689 case 0x0e: // MULU.W Rm,Rn 0010nnnnmmmm1110
1690 case 0x0f: // MULS.W Rm,Rn 0010nnnnmmmm1111
1691 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1692 tmp = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1693 if (op & 1) {
1694 emith_sext(tmp, tmp2, 16);
1695 } else
1696 emith_clear_msb(tmp, tmp2, 16);
1697 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1698 tmp2 = rcache_get_tmp();
1699 if (op & 1) {
1700 emith_sext(tmp2, tmp3, 16);
1701 } else
1702 emith_clear_msb(tmp2, tmp3, 16);
1703 emith_mul(tmp, tmp, tmp2);
1704 rcache_free_tmp(tmp2);
1705// FIXME: causes timing issues in Doom?
1706// cycles++;
1707 goto end_op;
679af8a3 1708 }
1709 goto default_;
1710
3863edbd 1711 /////////////////////////////////////////////
1712 case 0x03:
1713 switch (op & 0x0f)
1714 {
1715 case 0x00: // CMP/EQ Rm,Rn 0011nnnnmmmm0000
1716 case 0x02: // CMP/HS Rm,Rn 0011nnnnmmmm0010
1717 case 0x03: // CMP/GE Rm,Rn 0011nnnnmmmm0011
1718 case 0x06: // CMP/HI Rm,Rn 0011nnnnmmmm0110
1719 case 0x07: // CMP/GT Rm,Rn 0011nnnnmmmm0111
8796b7ee 1720 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
3863edbd 1721 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1722 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
18b94127 1723 if (drcf.delayed_op)
1724 DELAY_SAVE_T(sr);
8796b7ee 1725 emith_bic_r_imm(sr, T);
3863edbd 1726 emith_cmp_r_r(tmp2, tmp3);
1727 switch (op & 0x07)
1728 {
1729 case 0x00: // CMP/EQ
8796b7ee 1730 emit_or_t_if_eq(sr);
3863edbd 1731 break;
1732 case 0x02: // CMP/HS
1733 EMITH_SJMP_START(DCOND_LO);
8796b7ee 1734 emith_or_r_imm_c(DCOND_HS, sr, T);
3863edbd 1735 EMITH_SJMP_END(DCOND_LO);
1736 break;
1737 case 0x03: // CMP/GE
1738 EMITH_SJMP_START(DCOND_LT);
8796b7ee 1739 emith_or_r_imm_c(DCOND_GE, sr, T);
3863edbd 1740 EMITH_SJMP_END(DCOND_LT);
1741 break;
1742 case 0x06: // CMP/HI
1743 EMITH_SJMP_START(DCOND_LS);
8796b7ee 1744 emith_or_r_imm_c(DCOND_HI, sr, T);
3863edbd 1745 EMITH_SJMP_END(DCOND_LS);
1746 break;
1747 case 0x07: // CMP/GT
1748 EMITH_SJMP_START(DCOND_LE);
8796b7ee 1749 emith_or_r_imm_c(DCOND_GT, sr, T);
3863edbd 1750 EMITH_SJMP_END(DCOND_LE);
1751 break;
1752 }
1753 goto end_op;
1754 case 0x04: // DIV1 Rm,Rn 0011nnnnmmmm0100
f0d7b1fa 1755 // Q1 = carry(Rn = (Rn << 1) | T)
1756 // if Q ^ M
1757 // Q2 = carry(Rn += Rm)
1758 // else
1759 // Q2 = carry(Rn -= Rm)
1760 // Q = M ^ Q1 ^ Q2
1761 // T = (Q == M) = !(Q ^ M) = !(Q1 ^ Q2)
1762 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1763 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1764 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1765 if (drcf.delayed_op)
1766 DELAY_SAVE_T(sr);
8b4f38f4 1767 emith_tpop_carry(sr, 0);
f0d7b1fa 1768 emith_adcf_r_r(tmp2, tmp2);
8b4f38f4 1769 emith_tpush_carry(sr, 0); // keep Q1 in T for now
f0d7b1fa 1770 tmp4 = rcache_get_tmp();
1771 emith_and_r_r_imm(tmp4, sr, M);
1772 emith_eor_r_r_lsr(sr, tmp4, M_SHIFT - Q_SHIFT); // Q ^= M
1773 rcache_free_tmp(tmp4);
1774 // add or sub, invert T if carry to get Q1 ^ Q2
1775 // in: (Q ^ M) passed in Q, Q1 in T
1776 emith_sh2_div1_step(tmp2, tmp3, sr);
18b94127 1777 emith_bic_r_imm(sr, Q);
1778 emith_tst_r_imm(sr, M);
1779 EMITH_SJMP_START(DCOND_EQ);
1780 emith_or_r_imm_c(DCOND_NE, sr, Q); // Q = M
1781 EMITH_SJMP_END(DCOND_EQ);
1782 emith_tst_r_imm(sr, T);
1783 EMITH_SJMP_START(DCOND_EQ);
1784 emith_eor_r_imm_c(DCOND_NE, sr, Q); // Q = M ^ Q1 ^ Q2
1785 EMITH_SJMP_END(DCOND_EQ);
1786 emith_eor_r_imm(sr, T); // T = !(Q1 ^ Q2)
f0d7b1fa 1787 goto end_op;
3863edbd 1788 case 0x05: // DMULU.L Rm,Rn 0011nnnnmmmm0101
1789 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
1790 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1791 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1792 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_WRITE);
1793 emith_mul_u64(tmp3, tmp4, tmp, tmp2);
1794 goto end_op;
1795 case 0x08: // SUB Rm,Rn 0011nnnnmmmm1000
1796 case 0x0c: // ADD Rm,Rn 0011nnnnmmmm1100
1797 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1798 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1799 if (op & 4) {
1800 emith_add_r_r(tmp, tmp2);
1801 } else
1802 emith_sub_r_r(tmp, tmp2);
1803 goto end_op;
1804 case 0x0a: // SUBC Rm,Rn 0011nnnnmmmm1010
1805 case 0x0e: // ADDC Rm,Rn 0011nnnnmmmm1110
1806 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1807 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 1808 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1809 if (drcf.delayed_op)
1810 DELAY_SAVE_T(sr);
3863edbd 1811 if (op & 4) { // adc
8b4f38f4 1812 emith_tpop_carry(sr, 0);
3863edbd 1813 emith_adcf_r_r(tmp, tmp2);
8b4f38f4 1814 emith_tpush_carry(sr, 0);
3863edbd 1815 } else {
8b4f38f4 1816 emith_tpop_carry(sr, 1);
3863edbd 1817 emith_sbcf_r_r(tmp, tmp2);
8b4f38f4 1818 emith_tpush_carry(sr, 1);
3863edbd 1819 }
3863edbd 1820 goto end_op;
1821 case 0x0b: // SUBV Rm,Rn 0011nnnnmmmm1011
1822 case 0x0f: // ADDV Rm,Rn 0011nnnnmmmm1111
1823 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1824 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 1825 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1826 if (drcf.delayed_op)
1827 DELAY_SAVE_T(sr);
8796b7ee 1828 emith_bic_r_imm(sr, T);
3863edbd 1829 if (op & 4) {
1830 emith_addf_r_r(tmp, tmp2);
1831 } else
1832 emith_subf_r_r(tmp, tmp2);
1833 EMITH_SJMP_START(DCOND_VC);
8796b7ee 1834 emith_or_r_imm_c(DCOND_VS, sr, T);
3863edbd 1835 EMITH_SJMP_END(DCOND_VC);
1836 goto end_op;
1837 case 0x0d: // DMULS.L Rm,Rn 0011nnnnmmmm1101
1838 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
1839 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1840 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1841 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_WRITE);
1842 emith_mul_s64(tmp3, tmp4, tmp, tmp2);
1843 goto end_op;
1844 }
1845 goto default_;
1846
1847 /////////////////////////////////////////////
679af8a3 1848 case 0x04:
3863edbd 1849 switch (op & 0x0f)
1850 {
c18edb34 1851 case 0x00:
3863edbd 1852 switch (GET_Fx())
1853 {
1854 case 0: // SHLL Rn 0100nnnn00000000
1855 case 2: // SHAL Rn 0100nnnn00100000
8796b7ee 1856 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1857 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1858 if (drcf.delayed_op)
1859 DELAY_SAVE_T(sr);
8b4f38f4 1860 emith_tpop_carry(sr, 0); // dummy
3863edbd 1861 emith_lslf(tmp, tmp, 1);
8b4f38f4 1862 emith_tpush_carry(sr, 0);
3863edbd 1863 goto end_op;
1864 case 1: // DT Rn 0100nnnn00010000
8796b7ee 1865 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1866 if (drcf.delayed_op)
1867 DELAY_SAVE_T(sr);
23686515 1868 if (FETCH_OP(pc) == 0x8bfd) { // BF #-2
1869 if (gconst_get(GET_Rn(), &tmp)) {
1870 // XXX: limit burned cycles
1871 emit_move_r_imm32(GET_Rn(), 0);
1872 emith_or_r_imm(sr, T);
a2b8c5a5 1873 cycles += tmp * 4 + 1; // +1 syncs with noconst version, not sure why
23686515 1874 skip_op = 1;
1875 }
1876 else
1877 emith_sh2_dtbf_loop();
1878 goto end_op;
1879 }
1880 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
8796b7ee 1881 emith_bic_r_imm(sr, T);
3863edbd 1882 emith_subf_r_imm(tmp, 1);
8796b7ee 1883 emit_or_t_if_eq(sr);
80599a42 1884 goto end_op;
1885 }
3863edbd 1886 goto default_;
ed8cf79b 1887 case 0x01:
1888 switch (GET_Fx())
1889 {
1890 case 0: // SHLR Rn 0100nnnn00000001
1891 case 2: // SHAR Rn 0100nnnn00100001
8796b7ee 1892 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1893 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1894 if (drcf.delayed_op)
1895 DELAY_SAVE_T(sr);
8b4f38f4 1896 emith_tpop_carry(sr, 0); // dummy
ed8cf79b 1897 if (op & 0x20) {
1898 emith_asrf(tmp, tmp, 1);
1899 } else
1900 emith_lsrf(tmp, tmp, 1);
8b4f38f4 1901 emith_tpush_carry(sr, 0);
ed8cf79b 1902 goto end_op;
1903 case 1: // CMP/PZ Rn 0100nnnn00010001
8796b7ee 1904 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1905 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1906 if (drcf.delayed_op)
1907 DELAY_SAVE_T(sr);
8796b7ee 1908 emith_bic_r_imm(sr, T);
ed8cf79b 1909 emith_cmp_r_imm(tmp, 0);
1910 EMITH_SJMP_START(DCOND_LT);
8796b7ee 1911 emith_or_r_imm_c(DCOND_GE, sr, T);
ed8cf79b 1912 EMITH_SJMP_END(DCOND_LT);
1913 goto end_op;
1914 }
1915 goto default_;
1916 case 0x02:
1917 case 0x03:
1918 switch (op & 0x3f)
1919 {
1920 case 0x02: // STS.L MACH,@–Rn 0100nnnn00000010
1921 tmp = SHR_MACH;
1922 break;
1923 case 0x12: // STS.L MACL,@–Rn 0100nnnn00010010
1924 tmp = SHR_MACL;
1925 break;
1926 case 0x22: // STS.L PR,@–Rn 0100nnnn00100010
1927 tmp = SHR_PR;
1928 break;
1929 case 0x03: // STC.L SR,@–Rn 0100nnnn00000011
1930 tmp = SHR_SR;
1931 break;
1932 case 0x13: // STC.L GBR,@–Rn 0100nnnn00010011
1933 tmp = SHR_GBR;
1934 break;
1935 case 0x23: // STC.L VBR,@–Rn 0100nnnn00100011
1936 tmp = SHR_VBR;
1937 break;
1938 default:
e898de13 1939 goto default_;
ed8cf79b 1940 }
1941 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1942 emith_sub_r_imm(tmp2, 4);
1943 rcache_clean();
1944 rcache_get_reg_arg(0, GET_Rn());
1945 tmp3 = rcache_get_reg_arg(1, tmp);
1946 if (tmp == SHR_SR)
e05b81fc 1947 emith_clear_msb(tmp3, tmp3, 22); // reserved bits defined by ISA as 0
1948 emit_memhandler_write(2, pc, drcf.delayed_op);
ed8cf79b 1949 goto end_op;
1950 case 0x04:
1951 case 0x05:
1952 switch (op & 0x3f)
1953 {
1954 case 0x04: // ROTL Rn 0100nnnn00000100
1955 case 0x05: // ROTR Rn 0100nnnn00000101
8796b7ee 1956 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1957 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1958 if (drcf.delayed_op)
1959 DELAY_SAVE_T(sr);
8b4f38f4 1960 emith_tpop_carry(sr, 0); // dummy
ed8cf79b 1961 if (op & 1) {
1962 emith_rorf(tmp, tmp, 1);
1963 } else
1964 emith_rolf(tmp, tmp, 1);
8b4f38f4 1965 emith_tpush_carry(sr, 0);
ed8cf79b 1966 goto end_op;
1967 case 0x24: // ROTCL Rn 0100nnnn00100100
1968 case 0x25: // ROTCR Rn 0100nnnn00100101
8796b7ee 1969 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1970 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1971 if (drcf.delayed_op)
1972 DELAY_SAVE_T(sr);
8b4f38f4 1973 emith_tpop_carry(sr, 0);
ed8cf79b 1974 if (op & 1) {
1975 emith_rorcf(tmp);
1976 } else
1977 emith_rolcf(tmp);
8b4f38f4 1978 emith_tpush_carry(sr, 0);
ed8cf79b 1979 goto end_op;
1980 case 0x15: // CMP/PL Rn 0100nnnn00010101
8796b7ee 1981 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1982 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 1983 if (drcf.delayed_op)
1984 DELAY_SAVE_T(sr);
8796b7ee 1985 emith_bic_r_imm(sr, T);
ed8cf79b 1986 emith_cmp_r_imm(tmp, 0);
1987 EMITH_SJMP_START(DCOND_LE);
8796b7ee 1988 emith_or_r_imm_c(DCOND_GT, sr, T);
ed8cf79b 1989 EMITH_SJMP_END(DCOND_LE);
1990 goto end_op;
1991 }
e898de13 1992 goto default_;
ed8cf79b 1993 case 0x06:
1994 case 0x07:
1995 switch (op & 0x3f)
1996 {
1997 case 0x06: // LDS.L @Rm+,MACH 0100mmmm00000110
1998 tmp = SHR_MACH;
1999 break;
2000 case 0x16: // LDS.L @Rm+,MACL 0100mmmm00010110
2001 tmp = SHR_MACL;
2002 break;
2003 case 0x26: // LDS.L @Rm+,PR 0100mmmm00100110
2004 tmp = SHR_PR;
2005 break;
2006 case 0x07: // LDC.L @Rm+,SR 0100mmmm00000111
2007 tmp = SHR_SR;
2008 break;
2009 case 0x17: // LDC.L @Rm+,GBR 0100mmmm00010111
2010 tmp = SHR_GBR;
2011 break;
2012 case 0x27: // LDC.L @Rm+,VBR 0100mmmm00100111
2013 tmp = SHR_VBR;
2014 break;
2015 default:
2016 goto default_;
2017 }
ed8cf79b 2018 rcache_get_reg_arg(0, GET_Rn());
2019 tmp2 = emit_memhandler_read(2);
2020 if (tmp == SHR_SR) {
18b94127 2021 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2022 if (drcf.delayed_op)
2023 DELAY_SAVE_T(sr);
2024 emith_write_sr(sr, tmp2);
2025 drcf.test_irq = 1;
ed8cf79b 2026 } else {
2027 tmp = rcache_get_reg(tmp, RC_GR_WRITE);
2028 emith_move_r_r(tmp, tmp2);
2029 }
2030 rcache_free_tmp(tmp2);
2031 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2032 emith_add_r_imm(tmp, 4);
2033 goto end_op;
52d759c3 2034 case 0x08:
2035 case 0x09:
2036 switch (GET_Fx())
2037 {
2038 case 0:
2039 // SHLL2 Rn 0100nnnn00001000
2040 // SHLR2 Rn 0100nnnn00001001
2041 tmp = 2;
2042 break;
2043 case 1:
2044 // SHLL8 Rn 0100nnnn00011000
2045 // SHLR8 Rn 0100nnnn00011001
2046 tmp = 8;
2047 break;
2048 case 2:
2049 // SHLL16 Rn 0100nnnn00101000
2050 // SHLR16 Rn 0100nnnn00101001
2051 tmp = 16;
2052 break;
2053 default:
2054 goto default_;
2055 }
2056 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2057 if (op & 1) {
2058 emith_lsr(tmp2, tmp2, tmp);
2059 } else
2060 emith_lsl(tmp2, tmp2, tmp);
2061 goto end_op;
2062 case 0x0a:
2063 switch (GET_Fx())
2064 {
2065 case 0: // LDS Rm,MACH 0100mmmm00001010
2066 tmp2 = SHR_MACH;
2067 break;
2068 case 1: // LDS Rm,MACL 0100mmmm00011010
2069 tmp2 = SHR_MACL;
2070 break;
2071 case 2: // LDS Rm,PR 0100mmmm00101010
2072 tmp2 = SHR_PR;
2073 break;
2074 default:
2075 goto default_;
2076 }
2077 emit_move_r_r(tmp2, GET_Rn());
2078 goto end_op;
e898de13 2079 case 0x0b:
52d759c3 2080 switch (GET_Fx())
2081 {
2082 case 0: // JSR @Rm 0100mmmm00001011
2083 case 2: // JMP @Rm 0100mmmm00101011
2084 DELAYED_OP;
2085 if (!(op & 0x20))
2086 emit_move_r_imm32(SHR_PR, pc + 2);
18b94127 2087 emit_move_r_r(SHR_PC, (op >> 8) & 0x0f);
44e6452e 2088 out_pc = (u32)-1;
52d759c3 2089 cycles++;
2090 break;
2091 case 1: // TAS.B @Rn 0100nnnn00011011
2092 // XXX: is TAS working on 32X?
52d759c3 2093 rcache_get_reg_arg(0, GET_Rn());
8796b7ee 2094 tmp = emit_memhandler_read(0);
2095 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 2096 if (drcf.delayed_op)
2097 DELAY_SAVE_T(sr);
8796b7ee 2098 emith_bic_r_imm(sr, T);
52d759c3 2099 emith_cmp_r_imm(tmp, 0);
8796b7ee 2100 emit_or_t_if_eq(sr);
52d759c3 2101 rcache_clean();
2102 emith_or_r_imm(tmp, 0x80);
2103 tmp2 = rcache_get_tmp_arg(1); // assuming it differs to tmp
2104 emith_move_r_r(tmp2, tmp);
2105 rcache_free_tmp(tmp);
2106 rcache_get_reg_arg(0, GET_Rn());
e05b81fc 2107 emit_memhandler_write(0, pc, drcf.delayed_op);
52d759c3 2108 cycles += 3;
2109 break;
2110 default:
e898de13 2111 goto default_;
52d759c3 2112 }
e898de13 2113 goto end_op;
2114 case 0x0e:
52d759c3 2115 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
2116 switch (GET_Fx())
2117 {
2118 case 0: // LDC Rm,SR 0100mmmm00001110
2119 tmp2 = SHR_SR;
2120 break;
2121 case 1: // LDC Rm,GBR 0100mmmm00011110
2122 tmp2 = SHR_GBR;
2123 break;
2124 case 2: // LDC Rm,VBR 0100mmmm00101110
2125 tmp2 = SHR_VBR;
2126 break;
2127 default:
e898de13 2128 goto default_;
52d759c3 2129 }
2130 if (tmp2 == SHR_SR) {
18b94127 2131 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2132 if (drcf.delayed_op)
2133 DELAY_SAVE_T(sr);
2134 emith_write_sr(sr, tmp);
2135 drcf.test_irq = 1;
52d759c3 2136 } else {
2137 tmp2 = rcache_get_reg(tmp2, RC_GR_WRITE);
2138 emith_move_r_r(tmp2, tmp);
2139 }
2140 goto end_op;
2141 case 0x0f:
23686515 2142 // MAC.W @Rm+,@Rn+ 0100nnnnmmmm1111
f0d7b1fa 2143 emit_indirect_read_double(&tmp, &tmp2, GET_Rn(), GET_Rm(), 1);
2144 emith_sext(tmp, tmp, 16);
2145 emith_sext(tmp2, tmp2, 16);
2146 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_RMW);
2147 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_RMW);
2148 emith_mula_s64(tmp3, tmp4, tmp, tmp2);
f0d7b1fa 2149 rcache_free_tmp(tmp2);
f0d7b1fa 2150 // XXX: MACH should be untouched when S is set?
8796b7ee 2151 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2152 emith_tst_r_imm(sr, S);
2153 EMITH_JMP_START(DCOND_EQ);
2154
2155 emith_asr(tmp, tmp3, 31);
2156 emith_eorf_r_r(tmp, tmp4); // tmp = ((signed)macl >> 31) ^ mach
2157 EMITH_JMP_START(DCOND_EQ);
2158 emith_move_r_imm(tmp3, 0x80000000);
2159 emith_tst_r_r(tmp4, tmp4);
2160 EMITH_SJMP_START(DCOND_MI);
2161 emith_sub_r_imm_c(DCOND_PL, tmp3, 1); // positive
2162 EMITH_SJMP_END(DCOND_MI);
2163 EMITH_JMP_END(DCOND_EQ);
2164
2165 EMITH_JMP_END(DCOND_EQ);
2166 rcache_free_tmp(tmp);
f0d7b1fa 2167 cycles += 2;
2168 goto end_op;
679af8a3 2169 }
2170 goto default_;
2171
52d759c3 2172 /////////////////////////////////////////////
2173 case 0x05:
2174 // MOV.L @(disp,Rm),Rn 0101nnnnmmmmdddd
23686515 2175 emit_memhandler_read_rr(GET_Rn(), GET_Rm(), (op & 0x0f) * 4, 2);
52d759c3 2176 goto end_op;
2177
2178 /////////////////////////////////////////////
2179 case 0x06:
2180 switch (op & 0x0f)
2181 {
2182 case 0x00: // MOV.B @Rm,Rn 0110nnnnmmmm0000
2183 case 0x01: // MOV.W @Rm,Rn 0110nnnnmmmm0001
2184 case 0x02: // MOV.L @Rm,Rn 0110nnnnmmmm0010
2185 case 0x04: // MOV.B @Rm+,Rn 0110nnnnmmmm0100
2186 case 0x05: // MOV.W @Rm+,Rn 0110nnnnmmmm0101
2187 case 0x06: // MOV.L @Rm+,Rn 0110nnnnmmmm0110
23686515 2188 emit_memhandler_read_rr(GET_Rn(), GET_Rm(), 0, op & 3);
52d759c3 2189 if ((op & 7) >= 4 && GET_Rn() != GET_Rm()) {
2190 tmp = rcache_get_reg(GET_Rm(), RC_GR_RMW);
2191 emith_add_r_imm(tmp, (1 << (op & 3)));
2192 }
2193 goto end_op;
2194 case 0x03:
2195 case 0x07 ... 0x0f:
2196 tmp = rcache_get_reg(GET_Rm(), RC_GR_READ);
2197 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
2198 switch (op & 0x0f)
2199 {
2200 case 0x03: // MOV Rm,Rn 0110nnnnmmmm0011
2201 emith_move_r_r(tmp2, tmp);
2202 break;
2203 case 0x07: // NOT Rm,Rn 0110nnnnmmmm0111
2204 emith_mvn_r_r(tmp2, tmp);
2205 break;
2206 case 0x08: // SWAP.B Rm,Rn 0110nnnnmmmm1000
2207 tmp3 = tmp2;
2208 if (tmp == tmp2)
2209 tmp3 = rcache_get_tmp();
2210 tmp4 = rcache_get_tmp();
2211 emith_lsr(tmp3, tmp, 16);
f0d7b1fa 2212 emith_or_r_r_lsl(tmp3, tmp, 24);
52d759c3 2213 emith_and_r_r_imm(tmp4, tmp, 0xff00);
f0d7b1fa 2214 emith_or_r_r_lsl(tmp3, tmp4, 8);
52d759c3 2215 emith_rol(tmp2, tmp3, 16);
2216 rcache_free_tmp(tmp4);
2217 if (tmp == tmp2)
2218 rcache_free_tmp(tmp3);
2219 break;
2220 case 0x09: // SWAP.W Rm,Rn 0110nnnnmmmm1001
2221 emith_rol(tmp2, tmp, 16);
2222 break;
2223 case 0x0a: // NEGC Rm,Rn 0110nnnnmmmm1010
8796b7ee 2224 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 2225 if (drcf.delayed_op)
2226 DELAY_SAVE_T(sr);
8b4f38f4 2227 emith_tpop_carry(sr, 1);
52d759c3 2228 emith_negcf_r_r(tmp2, tmp);
8b4f38f4 2229 emith_tpush_carry(sr, 1);
52d759c3 2230 break;
2231 case 0x0b: // NEG Rm,Rn 0110nnnnmmmm1011
2232 emith_neg_r_r(tmp2, tmp);
2233 break;
2234 case 0x0c: // EXTU.B Rm,Rn 0110nnnnmmmm1100
2235 emith_clear_msb(tmp2, tmp, 24);
2236 break;
2237 case 0x0d: // EXTU.W Rm,Rn 0110nnnnmmmm1101
2238 emith_clear_msb(tmp2, tmp, 16);
2239 break;
2240 case 0x0e: // EXTS.B Rm,Rn 0110nnnnmmmm1110
2241 emith_sext(tmp2, tmp, 8);
2242 break;
2243 case 0x0f: // EXTS.W Rm,Rn 0110nnnnmmmm1111
2244 emith_sext(tmp2, tmp, 16);
2245 break;
2246 }
2247 goto end_op;
2248 }
2249 goto default_;
2250
2251 /////////////////////////////////////////////
2252 case 0x07:
2253 // ADD #imm,Rn 0111nnnniiiiiiii
2254 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2255 if (op & 0x80) { // adding negative
2256 emith_sub_r_imm(tmp, -op & 0xff);
2257 } else
2258 emith_add_r_imm(tmp, op & 0xff);
2259 goto end_op;
2260
3863edbd 2261 /////////////////////////////////////////////
e898de13 2262 case 0x08:
52d759c3 2263 switch (op & 0x0f00)
2264 {
2265 case 0x0000: // MOV.B R0,@(disp,Rn) 10000000nnnndddd
2266 case 0x0100: // MOV.W R0,@(disp,Rn) 10000001nnnndddd
2267 rcache_clean();
2268 tmp = rcache_get_reg_arg(0, GET_Rm());
2269 tmp2 = rcache_get_reg_arg(1, SHR_R0);
2270 tmp3 = (op & 0x100) >> 8;
23686515 2271 if (op & 0x0f)
2272 emith_add_r_imm(tmp, (op & 0x0f) << tmp3);
e05b81fc 2273 emit_memhandler_write(tmp3, pc, drcf.delayed_op);
52d759c3 2274 goto end_op;
2275 case 0x0400: // MOV.B @(disp,Rm),R0 10000100mmmmdddd
2276 case 0x0500: // MOV.W @(disp,Rm),R0 10000101mmmmdddd
23686515 2277 tmp = (op & 0x100) >> 8;
2278 emit_memhandler_read_rr(SHR_R0, GET_Rm(), (op & 0x0f) << tmp, tmp);
52d759c3 2279 goto end_op;
2280 case 0x0800: // CMP/EQ #imm,R0 10001000iiiiiiii
2281 // XXX: could use cmn
2282 tmp = rcache_get_tmp();
2283 tmp2 = rcache_get_reg(0, RC_GR_READ);
8796b7ee 2284 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 2285 if (drcf.delayed_op)
2286 DELAY_SAVE_T(sr);
52d759c3 2287 emith_move_r_imm_s8(tmp, op & 0xff);
8796b7ee 2288 emith_bic_r_imm(sr, T);
52d759c3 2289 emith_cmp_r_r(tmp2, tmp);
8796b7ee 2290 emit_or_t_if_eq(sr);
52d759c3 2291 rcache_free_tmp(tmp);
2292 goto end_op;
2293 case 0x0d00: // BT/S label 10001101dddddddd
2294 case 0x0f00: // BF/S label 10001111dddddddd
679af8a3 2295 DELAYED_OP;
2296 cycles--;
679af8a3 2297 // fallthrough
44e6452e 2298 case 0x0900: // BT label 10001001dddddddd
2299 case 0x0b00: // BF label 10001011dddddddd
2300 // will handle conditional branches later
2301 pending_branch_cond = (op & 0x0200) ? DCOND_EQ : DCOND_NE;
2302 i = ((signed int)(op << 24) >> 23);
2303 pending_branch_pc = pc + i + 2;
e898de13 2304 cycles += 2;
e898de13 2305 goto end_op;
44e6452e 2306 }
679af8a3 2307 goto default_;
679af8a3 2308
52d759c3 2309 /////////////////////////////////////////////
2310 case 0x09:
2311 // MOV.W @(disp,PC),Rn 1001nnnndddddddd
23686515 2312 tmp = pc + (op & 0xff) * 2 + 2;
2313#if PROPAGATE_CONSTANTS
04092e32 2314 if (tmp < end_pc + MAX_LITERAL_OFFSET && literal_addr_count < MAX_LITERALS) {
2315 ADD_TO_ARRAY(literal_addr, literal_addr_count, tmp,);
23686515 2316 gconst_new(GET_Rn(), (u32)(int)(signed short)FETCH_OP(tmp));
23686515 2317 }
2318 else
2319#endif
2320 {
2321 tmp2 = rcache_get_tmp_arg(0);
2322 emith_move_r_imm(tmp2, tmp);
2323 tmp2 = emit_memhandler_read(1);
2324 tmp3 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
2325 emith_sext(tmp3, tmp2, 16);
2326 rcache_free_tmp(tmp2);
2327 }
f0d7b1fa 2328 goto end_op;
52d759c3 2329
3863edbd 2330 /////////////////////////////////////////////
679af8a3 2331 case 0x0a:
2332 // BRA label 1010dddddddddddd
2333 DELAYED_OP;
44e6452e 2334 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
679af8a3 2335 tmp = ((signed int)(op << 20) >> 19);
44e6452e 2336 out_pc = pc + tmp + 2;
2337 if (tmp == (u32)-4)
2338 emith_clear_msb(sr, sr, 20); // burn cycles
679af8a3 2339 cycles++;
e898de13 2340 break;
679af8a3 2341
3863edbd 2342 /////////////////////////////////////////////
679af8a3 2343 case 0x0b:
2344 // BSR label 1011dddddddddddd
2345 DELAYED_OP;
e898de13 2346 emit_move_r_imm32(SHR_PR, pc + 2);
44e6452e 2347 tmp = ((signed int)(op << 20) >> 19);
2348 out_pc = pc + tmp + 2;
2349 cycles++;
2350 break;
679af8a3 2351
52d759c3 2352 /////////////////////////////////////////////
2353 case 0x0c:
2354 switch (op & 0x0f00)
2355 {
2356 case 0x0000: // MOV.B R0,@(disp,GBR) 11000000dddddddd
2357 case 0x0100: // MOV.W R0,@(disp,GBR) 11000001dddddddd
2358 case 0x0200: // MOV.L R0,@(disp,GBR) 11000010dddddddd
2359 rcache_clean();
2360 tmp = rcache_get_reg_arg(0, SHR_GBR);
2361 tmp2 = rcache_get_reg_arg(1, SHR_R0);
2362 tmp3 = (op & 0x300) >> 8;
2363 emith_add_r_imm(tmp, (op & 0xff) << tmp3);
e05b81fc 2364 emit_memhandler_write(tmp3, pc, drcf.delayed_op);
52d759c3 2365 goto end_op;
2366 case 0x0400: // MOV.B @(disp,GBR),R0 11000100dddddddd
2367 case 0x0500: // MOV.W @(disp,GBR),R0 11000101dddddddd
2368 case 0x0600: // MOV.L @(disp,GBR),R0 11000110dddddddd
23686515 2369 tmp = (op & 0x300) >> 8;
2370 emit_memhandler_read_rr(SHR_R0, SHR_GBR, (op & 0xff) << tmp, tmp);
52d759c3 2371 goto end_op;
2372 case 0x0300: // TRAPA #imm 11000011iiiiiiii
2373 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
2374 emith_sub_r_imm(tmp, 4*2);
52d759c3 2375 // push SR
2376 tmp = rcache_get_reg_arg(0, SHR_SP);
2377 emith_add_r_imm(tmp, 4);
2378 tmp = rcache_get_reg_arg(1, SHR_SR);
18b94127 2379 emith_clear_msb(tmp, tmp, 22);
e05b81fc 2380 emit_memhandler_write(2, pc, drcf.delayed_op);
52d759c3 2381 // push PC
2382 rcache_get_reg_arg(0, SHR_SP);
2383 tmp = rcache_get_tmp_arg(1);
2384 emith_move_r_imm(tmp, pc);
e05b81fc 2385 emit_memhandler_write(2, pc, drcf.delayed_op);
52d759c3 2386 // obtain new PC
23686515 2387 emit_memhandler_read_rr(SHR_PC, SHR_VBR, (op & 0xff) * 4, 2);
44e6452e 2388 out_pc = (u32)-1;
52d759c3 2389 cycles += 7;
44e6452e 2390 goto end_op;
52d759c3 2391 case 0x0700: // MOVA @(disp,PC),R0 11000111dddddddd
2392 emit_move_r_imm32(SHR_R0, (pc + (op & 0xff) * 4 + 2) & ~3);
2393 goto end_op;
2394 case 0x0800: // TST #imm,R0 11001000iiiiiiii
8796b7ee 2395 tmp = rcache_get_reg(SHR_R0, RC_GR_READ);
2396 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 2397 if (drcf.delayed_op)
2398 DELAY_SAVE_T(sr);
8796b7ee 2399 emith_bic_r_imm(sr, T);
52d759c3 2400 emith_tst_r_imm(tmp, op & 0xff);
8796b7ee 2401 emit_or_t_if_eq(sr);
52d759c3 2402 goto end_op;
2403 case 0x0900: // AND #imm,R0 11001001iiiiiiii
2404 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
2405 emith_and_r_imm(tmp, op & 0xff);
2406 goto end_op;
2407 case 0x0a00: // XOR #imm,R0 11001010iiiiiiii
2408 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
2409 emith_eor_r_imm(tmp, op & 0xff);
2410 goto end_op;
2411 case 0x0b00: // OR #imm,R0 11001011iiiiiiii
2412 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
2413 emith_or_r_imm(tmp, op & 0xff);
2414 goto end_op;
2415 case 0x0c00: // TST.B #imm,@(R0,GBR) 11001100iiiiiiii
8796b7ee 2416 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2417 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 2418 if (drcf.delayed_op)
2419 DELAY_SAVE_T(sr);
8796b7ee 2420 emith_bic_r_imm(sr, T);
52d759c3 2421 emith_tst_r_imm(tmp, op & 0xff);
8796b7ee 2422 emit_or_t_if_eq(sr);
52d759c3 2423 rcache_free_tmp(tmp);
2424 cycles += 2;
2425 goto end_op;
2426 case 0x0d00: // AND.B #imm,@(R0,GBR) 11001101iiiiiiii
2427 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2428 emith_and_r_imm(tmp, op & 0xff);
8796b7ee 2429 goto end_rmw_op;
52d759c3 2430 case 0x0e00: // XOR.B #imm,@(R0,GBR) 11001110iiiiiiii
2431 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2432 emith_eor_r_imm(tmp, op & 0xff);
8796b7ee 2433 goto end_rmw_op;
52d759c3 2434 case 0x0f00: // OR.B #imm,@(R0,GBR) 11001111iiiiiiii
2435 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2436 emith_or_r_imm(tmp, op & 0xff);
8796b7ee 2437 end_rmw_op:
2438 tmp2 = rcache_get_tmp_arg(1);
2439 emith_move_r_r(tmp2, tmp);
2440 rcache_free_tmp(tmp);
2441 tmp3 = rcache_get_reg_arg(0, SHR_GBR);
2442 tmp4 = rcache_get_reg(SHR_R0, RC_GR_READ);
2443 emith_add_r_r(tmp3, tmp4);
e05b81fc 2444 emit_memhandler_write(0, pc, drcf.delayed_op);
52d759c3 2445 cycles += 2;
2446 goto end_op;
2447 }
2448 goto default_;
2449
2450 /////////////////////////////////////////////
2451 case 0x0d:
2452 // MOV.L @(disp,PC),Rn 1101nnnndddddddd
23686515 2453 tmp = (pc + (op & 0xff) * 4 + 2) & ~3;
2454#if PROPAGATE_CONSTANTS
04092e32 2455 if (tmp < end_pc + MAX_LITERAL_OFFSET && literal_addr_count < MAX_LITERALS) {
2456 ADD_TO_ARRAY(literal_addr, literal_addr_count, tmp,);
23686515 2457 gconst_new(GET_Rn(), FETCH32(tmp));
23686515 2458 }
2459 else
2460#endif
2461 {
2462 tmp2 = rcache_get_tmp_arg(0);
2463 emith_move_r_imm(tmp2, tmp);
2464 tmp2 = emit_memhandler_read(2);
2465 tmp3 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
2466 emith_move_r_r(tmp3, tmp2);
2467 rcache_free_tmp(tmp2);
2468 }
f0d7b1fa 2469 goto end_op;
52d759c3 2470
2471 /////////////////////////////////////////////
2472 case 0x0e:
2473 // MOV #imm,Rn 1110nnnniiiiiiii
23686515 2474 emit_move_r_imm32(GET_Rn(), (u32)(signed int)(signed char)op);
52d759c3 2475 goto end_op;
2476
679af8a3 2477 default:
2478 default_:
f0d7b1fa 2479 elprintf(EL_ANOMALY, "%csh2 drc: unhandled op %04x @ %08x",
2480 sh2->is_slave ? 's' : 'm', op, pc - 2);
2481#ifdef DRC_DEBUG_INTERP
679af8a3 2482 emit_move_r_imm32(SHR_PC, pc - 2);
c18edb34 2483 rcache_flush();
f4bb5d6b 2484 emith_pass_arg_r(0, CONTEXT_REG);
2485 emith_pass_arg_imm(1, op);
679af8a3 2486 emith_call(sh2_do_op);
f0d7b1fa 2487#endif
679af8a3 2488 break;
2489 }
2490
e898de13 2491end_op:
23686515 2492 rcache_unlock_all();
2493
44e6452e 2494 // conditional branch handling (with/without delay)
2495 if (pending_branch_cond != -1 && drcf.delayed_op != 2)
2496 {
2497 u32 target_pc = pending_branch_pc;
2498 void *target;
2499
18b94127 2500 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2501 // handle cycles
e05b81fc 2502 FLUSH_CYCLES(sr);
18b94127 2503 rcache_clean();
18b94127 2504 if (drcf.use_saved_t)
2505 emith_tst_r_imm(sr, T_save);
2506 else
2507 emith_tst_r_imm(sr, T);
18b94127 2508
5686d931 2509#if LINK_BRANCHES
44e6452e 2510 if (find_in_array(branch_target_pc, branch_target_count, target_pc) >= 0) {
2511 // local branch
2512 // XXX: jumps back can be linked already
2513 branch_patch_pc[branch_patch_count] = target_pc;
2514 branch_patch_ptr[branch_patch_count] = tcache_ptr;
2515 emith_jump_cond_patchable(pending_branch_cond, tcache_ptr);
2516
2517 branch_patch_count++;
2518 if (branch_patch_count == MAX_LOCAL_BRANCHES) {
fcdefcf6 2519 dbg(1, "warning: too many local branches");
44e6452e 2520 break;
2521 }
2522 }
5686d931 2523 else
2524#endif
2525 {
44e6452e 2526 // can't resolve branch locally, make a block exit
2527 emit_move_r_imm32(SHR_PC, target_pc);
2528 rcache_clean();
2529
2530 target = dr_prepare_ext_branch(target_pc, sh2, tcache_id);
2531 if (target == NULL)
2532 return NULL;
2533 emith_jump_cond_patchable(pending_branch_cond, target);
18b94127 2534 }
44e6452e 2535
2536 drcf.use_saved_t = 0;
2537 pending_branch_cond = -1;
e898de13 2538 }
44e6452e 2539
18b94127 2540 // test irq?
e05b81fc 2541 // XXX: delay slots..
2542 if (drcf.test_irq && drcf.delayed_op != 2) {
2543 if (!drcf.delayed_op)
2544 emit_move_r_imm32(SHR_PC, pc);
2545 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2546 FLUSH_CYCLES(sr);
2547 rcache_flush();
2548 emith_call(sh2_drc_test_irq);
2549 drcf.test_irq = 0;
2550 }
e898de13 2551
f4bb5d6b 2552 do_host_disasm(tcache_id);
52d759c3 2553
44e6452e 2554 if (out_pc != 0 && drcf.delayed_op != 2)
2555 break;
2556 }
f4bb5d6b 2557
18b94127 2558 tmp = rcache_get_reg(SHR_SR, RC_GR_RMW);
e05b81fc 2559 FLUSH_CYCLES(tmp);
18b94127 2560 rcache_flush();
44e6452e 2561
2562 if (out_pc == (u32)-1) {
2563 // indirect jump -> back to dispatcher
2564 emith_jump(sh2_drc_dispatcher);
2565 } else {
2566 void *target;
2567 if (out_pc == 0)
2568 out_pc = pc;
2569 emit_move_r_imm32(SHR_PC, out_pc);
2570 rcache_flush();
2571
2572 target = dr_prepare_ext_branch(out_pc, sh2, tcache_id);
2573 if (target == NULL)
2574 return NULL;
2575 emith_jump_patchable(target);
2576 }
18b94127 2577
2578 // link local branches
2579 for (i = 0; i < branch_patch_count; i++) {
2580 void *target;
2581 int t;
18b94127 2582 t = find_in_array(branch_target_pc, branch_target_count, branch_patch_pc[i]);
44e6452e 2583 target = branch_target_ptr[t];
2584 if (target == NULL) {
fcdefcf6 2585 // flush pc and go back to dispatcher (this should no longer happen)
2586 dbg(1, "stray branch to %08x %p", branch_patch_pc[i], tcache_ptr);
18b94127 2587 target = tcache_ptr;
2588 emit_move_r_imm32(SHR_PC, branch_patch_pc[i]);
2589 rcache_flush();
e05b81fc 2590 emith_jump(sh2_drc_dispatcher);
18b94127 2591 }
2592 emith_jump_patch(branch_patch_ptr[i], target);
2593 }
2594
a2b8c5a5 2595 end_pc = pc;
44e6452e 2596
f4bb5d6b 2597 // mark memory blocks as containing compiled code
a2b8c5a5 2598 // override any overlay blocks as they become unreachable anyway
2599 if (tcache_id != 0 || (this_block->addr & 0xc7fc0000) == 0x06000000)
2600 {
2601 u16 *drc_ram_blk = NULL;
2602 u32 mask = 0, shift = 0;
2603
2604 if (tcache_id != 0) {
2605 // data array, BIOS
2606 drc_ram_blk = Pico32xMem->drcblk_da[sh2->is_slave];
2607 shift = SH2_DRCBLK_DA_SHIFT;
2608 mask = 0xfff;
f4bb5d6b 2609 }
a2b8c5a5 2610 else if ((this_block->addr & 0xc7fc0000) == 0x06000000) {
2611 // SDRAM
2612 drc_ram_blk = Pico32xMem->drcblk_ram;
2613 shift = SH2_DRCBLK_RAM_SHIFT;
2614 mask = 0x3ffff;
f4bb5d6b 2615 }
a2b8c5a5 2616
2617 drc_ram_blk[(base_pc >> shift) & mask] = (blkid_main << 1) | 1;
2618 for (pc = base_pc + 2; pc < end_pc; pc += 2)
2619 drc_ram_blk[(pc >> shift) & mask] = blkid_main << 1;
2620
04092e32 2621 // mark subblocks
a2b8c5a5 2622 for (i = 0; i < branch_target_count; i++)
2623 if (branch_target_blkid[i] != 0)
2624 drc_ram_blk[(branch_target_pc[i] >> shift) & mask] =
04092e32 2625 (branch_target_blkid[i] << 1) | 1;
2626
2627 // mark literals
2628 for (i = 0; i < literal_addr_count; i++) {
2629 tmp = literal_addr[i];
04092e32 2630 drc_ram_blk[(tmp >> shift) & mask] = blkid_main << 1;
2631 if (!(tmp & 3)) // assume long
2632 drc_ram_blk[((tmp + 2) >> shift) & mask] = blkid_main << 1;
2633 }
679af8a3 2634 }
2635
f4bb5d6b 2636 tcache_ptrs[tcache_id] = tcache_ptr;
2637
a2b8c5a5 2638 host_instructions_updated(block_entry, tcache_ptr);
553c3eaa 2639
f4bb5d6b 2640 do_host_disasm(tcache_id);
fcdefcf6 2641 dbg(2, " block #%d,%d tcache %d/%d, insns %d -> %d %.3f",
f4bb5d6b 2642 tcache_id, block_counts[tcache_id],
2643 tcache_ptr - tcache_bases[tcache_id], tcache_sizes[tcache_id],
2644 insns_compiled, host_insn_count, (double)host_insn_count / insns_compiled);
2645 if ((sh2->pc & 0xc6000000) == 0x02000000) // ROM
fcdefcf6 2646 dbg(2, " hash collisions %d/%d", hash_collisions, block_counts[tcache_id]);
18b94127 2647/*
2648 printf("~~~\n");
2649 tcache_dsm_ptrs[tcache_id] = block_entry;
2650 do_host_disasm(tcache_id);
2651 printf("~~~\n");
2652*/
2653
fcdefcf6 2654#if (DRC_DEBUG & 4)
553c3eaa 2655 fflush(stdout);
2656#endif
2657
679af8a3 2658 return block_entry;
679af8a3 2659}
2660
e05b81fc 2661static void sh2_generate_utils(void)
679af8a3 2662{
e05b81fc 2663 int arg0, arg1, arg2, sr, tmp;
2664 void *sh2_drc_write_end, *sh2_drc_write_slot_end;
52d759c3 2665
5686d931 2666 sh2_drc_write32 = p32x_sh2_write32;
2667 sh2_drc_read8 = p32x_sh2_read8;
2668 sh2_drc_read16 = p32x_sh2_read16;
2669 sh2_drc_read32 = p32x_sh2_read32;
2670
e05b81fc 2671 host_arg2reg(arg0, 0);
2672 host_arg2reg(arg1, 1);
2673 host_arg2reg(arg2, 2);
2674 emith_move_r_r(arg0, arg0); // nop
679af8a3 2675
e05b81fc 2676 // sh2_drc_exit(void)
2677 sh2_drc_exit = (void *)tcache_ptr;
2678 emit_do_static_regs(1, arg2);
2679 emith_sh2_drc_exit();
679af8a3 2680
e05b81fc 2681 // sh2_drc_dispatcher(void)
2682 sh2_drc_dispatcher = (void *)tcache_ptr;
2683 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2684 emith_cmp_r_imm(sr, 0);
2685 emith_jump_cond(DCOND_LT, sh2_drc_exit);
2686 rcache_invalidate();
2687 emith_ctx_read(arg0, SHR_PC * 4);
2688 emith_ctx_read(arg1, offsetof(SH2, is_slave));
2689 emith_add_r_r_imm(arg2, CONTEXT_REG, offsetof(SH2, drc_tmp));
a2b8c5a5 2690 emith_call(dr_lookup_block);
e05b81fc 2691 emit_block_entry();
2692 // lookup failed, call sh2_translate()
2693 emith_move_r_r(arg0, CONTEXT_REG);
2694 emith_ctx_read(arg1, offsetof(SH2, drc_tmp)); // tcache_id
2695 emith_call(sh2_translate);
2696 emit_block_entry();
2697 // sh2_translate() failed, flush cache and retry
2698 emith_ctx_read(arg0, offsetof(SH2, drc_tmp));
2699 emith_call(flush_tcache);
2700 emith_move_r_r(arg0, CONTEXT_REG);
2701 emith_ctx_read(arg1, offsetof(SH2, drc_tmp));
2702 emith_call(sh2_translate);
2703 emit_block_entry();
2704 // XXX: can't translate, fail
2705 emith_call(exit);
2706
2707 // sh2_drc_test_irq(void)
2708 // assumes it's called from main function (may jump to dispatcher)
2709 sh2_drc_test_irq = (void *)tcache_ptr;
2710 emith_ctx_read(arg1, offsetof(SH2, pending_level));
2711 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2712 emith_lsr(arg0, sr, I_SHIFT);
2713 emith_and_r_imm(arg0, 0x0f);
2714 emith_cmp_r_r(arg1, arg0); // pending_level > ((sr >> 4) & 0x0f)?
2715 EMITH_SJMP_START(DCOND_GT);
2716 emith_ret_c(DCOND_LE); // nope, return
2717 EMITH_SJMP_END(DCOND_GT);
2718 // adjust SP
2719 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
2720 emith_sub_r_imm(tmp, 4*2);
2721 rcache_clean();
2722 // push SR
2723 tmp = rcache_get_reg_arg(0, SHR_SP);
2724 emith_add_r_imm(tmp, 4);
2725 tmp = rcache_get_reg_arg(1, SHR_SR);
2726 emith_clear_msb(tmp, tmp, 22);
2727 emith_move_r_r(arg2, CONTEXT_REG);
5686d931 2728 emith_call(p32x_sh2_write32); // XXX: use sh2_drc_write32?
e05b81fc 2729 rcache_invalidate();
2730 // push PC
2731 rcache_get_reg_arg(0, SHR_SP);
2732 emith_ctx_read(arg1, SHR_PC * 4);
2733 emith_move_r_r(arg2, CONTEXT_REG);
2734 emith_call(p32x_sh2_write32);
2735 rcache_invalidate();
2736 // update I, cycles, do callback
2737 emith_ctx_read(arg1, offsetof(SH2, pending_level));
2738 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2739 emith_bic_r_imm(sr, I);
2740 emith_or_r_r_lsl(sr, arg1, I_SHIFT);
2741 emith_sub_r_imm(sr, 13 << 12); // at least 13 cycles
2742 rcache_flush();
2743 emith_move_r_r(arg0, CONTEXT_REG);
2744 emith_call_ctx(offsetof(SH2, irq_callback)); // vector = sh2->irq_callback(sh2, level);
2745 // obtain new PC
2746 emith_lsl(arg0, arg0, 2);
2747 emith_ctx_read(arg1, SHR_VBR * 4);
2748 emith_add_r_r(arg0, arg1);
2749 emit_memhandler_read(2);
2750 emith_ctx_write(arg0, SHR_PC * 4);
2751#ifdef __i386__
2752 emith_add_r_imm(xSP, 4); // fix stack
2753#endif
2754 emith_jump(sh2_drc_dispatcher);
2755 rcache_invalidate();
2756
2757 // sh2_drc_entry(SH2 *sh2)
2758 sh2_drc_entry = (void *)tcache_ptr;
2759 emith_sh2_drc_entry();
2760 emith_move_r_r(CONTEXT_REG, arg0); // move ctx, arg0
2761 emit_do_static_regs(0, arg2);
2762 emith_call(sh2_drc_test_irq);
2763 emith_jump(sh2_drc_dispatcher);
2764
2765 // write-caused irq detection
2766 sh2_drc_write_end = tcache_ptr;
2767 emith_tst_r_r(arg0, arg0);
2768 EMITH_SJMP_START(DCOND_NE);
2769 emith_jump_ctx_c(DCOND_EQ, offsetof(SH2, drc_tmp)); // return
2770 EMITH_SJMP_END(DCOND_NE);
e05b81fc 2771 emith_call(sh2_drc_test_irq);
2772 emith_jump_ctx(offsetof(SH2, drc_tmp));
2773
2774 // write-caused irq detection for writes in delay slot
2775 sh2_drc_write_slot_end = tcache_ptr;
2776 emith_tst_r_r(arg0, arg0);
2777 EMITH_SJMP_START(DCOND_NE);
2778 emith_jump_ctx_c(DCOND_EQ, offsetof(SH2, drc_tmp));
2779 EMITH_SJMP_END(DCOND_NE);
2780 // just burn cycles to get back to dispatcher after branch is handled
2781 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2782 emith_ctx_write(sr, offsetof(SH2, irq_cycles));
2783 emith_clear_msb(sr, sr, 20); // clear cycles
2784 rcache_flush();
2785 emith_jump_ctx(offsetof(SH2, drc_tmp));
2786
2787 // sh2_drc_write8(u32 a, u32 d)
2788 sh2_drc_write8 = (void *)tcache_ptr;
2789 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2790 emith_ctx_read(arg2, offsetof(SH2, write8_tab));
2791 emith_sh2_wcall(arg0, arg2, sh2_drc_write_end);
2792
2793 // sh2_drc_write16(u32 a, u32 d)
2794 sh2_drc_write16 = (void *)tcache_ptr;
2795 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2796 emith_ctx_read(arg2, offsetof(SH2, write16_tab));
2797 emith_sh2_wcall(arg0, arg2, sh2_drc_write_end);
2798
2799 // sh2_drc_write8_slot(u32 a, u32 d)
2800 sh2_drc_write8_slot = (void *)tcache_ptr;
2801 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2802 emith_ctx_read(arg2, offsetof(SH2, write8_tab));
2803 emith_sh2_wcall(arg0, arg2, sh2_drc_write_slot_end);
2804
2805 // sh2_drc_write16_slot(u32 a, u32 d)
2806 sh2_drc_write16_slot = (void *)tcache_ptr;
2807 emith_ret_to_ctx(offsetof(SH2, drc_tmp));
2808 emith_ctx_read(arg2, offsetof(SH2, write16_tab));
2809 emith_sh2_wcall(arg0, arg2, sh2_drc_write_slot_end);
2810
5686d931 2811#ifdef PDB_NET
2812 // debug
2813 #define MAKE_READ_WRAPPER(func) { \
2814 void *tmp = (void *)tcache_ptr; \
a2b8c5a5 2815 emith_push_ret(); \
5686d931 2816 emith_call(func); \
2817 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[0])); \
2818 emith_addf_r_r(arg2, arg0); \
2819 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[0])); \
2820 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[1])); \
2821 emith_adc_r_imm(arg2, 0x01000000); \
2822 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[1])); \
a2b8c5a5 2823 emith_pop_and_ret(); \
5686d931 2824 func = tmp; \
2825 }
2826 #define MAKE_WRITE_WRAPPER(func) { \
2827 void *tmp = (void *)tcache_ptr; \
2828 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[0])); \
2829 emith_addf_r_r(arg2, arg1); \
2830 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[0])); \
2831 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[1])); \
2832 emith_adc_r_imm(arg2, 0x01000000); \
2833 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[1])); \
2834 emith_move_r_r(arg2, CONTEXT_REG); \
2835 emith_jump(func); \
2836 func = tmp; \
2837 }
2838
2839 MAKE_READ_WRAPPER(sh2_drc_read8);
2840 MAKE_READ_WRAPPER(sh2_drc_read16);
2841 MAKE_READ_WRAPPER(sh2_drc_read32);
2842 MAKE_WRITE_WRAPPER(sh2_drc_write8);
2843 MAKE_WRITE_WRAPPER(sh2_drc_write8_slot);
2844 MAKE_WRITE_WRAPPER(sh2_drc_write16);
2845 MAKE_WRITE_WRAPPER(sh2_drc_write16_slot);
2846 MAKE_WRITE_WRAPPER(sh2_drc_write32);
fcdefcf6 2847#if (DRC_DEBUG & 4)
5686d931 2848 host_dasm_new_symbol(sh2_drc_read8);
2849 host_dasm_new_symbol(sh2_drc_read16);
2850 host_dasm_new_symbol(sh2_drc_read32);
2851 host_dasm_new_symbol(sh2_drc_write32);
2852#endif
2853#endif
2854
e05b81fc 2855 rcache_invalidate();
fcdefcf6 2856#if (DRC_DEBUG & 4)
e05b81fc 2857 host_dasm_new_symbol(sh2_drc_entry);
2858 host_dasm_new_symbol(sh2_drc_dispatcher);
2859 host_dasm_new_symbol(sh2_drc_exit);
2860 host_dasm_new_symbol(sh2_drc_test_irq);
2861 host_dasm_new_symbol(sh2_drc_write_end);
2862 host_dasm_new_symbol(sh2_drc_write_slot_end);
2863 host_dasm_new_symbol(sh2_drc_write8);
2864 host_dasm_new_symbol(sh2_drc_write8_slot);
2865 host_dasm_new_symbol(sh2_drc_write16);
2866 host_dasm_new_symbol(sh2_drc_write16_slot);
679af8a3 2867#endif
679af8a3 2868}
2869
a2b8c5a5 2870static void *sh2_smc_rm_block_entry(block_desc *bd, int tcache_id)
f4bb5d6b 2871{
04092e32 2872 void *tmp;
2873
a2b8c5a5 2874 // XXX: kill links somehow?
fcdefcf6 2875 dbg(2, " killing entry %08x, blkid %d", bd->addr, bd - block_tables[tcache_id]);
04092e32 2876 if (bd->addr == 0 || bd->tcache_ptr == NULL) {
fcdefcf6 2877 dbg(1, " killing dead block!? %08x", bd->addr);
04092e32 2878 return bd->tcache_ptr;
2879 }
2880
a2b8c5a5 2881 // since we never reuse space of dead blocks,
2882 // insert jump to dispatcher for blocks that are linked to this point
04092e32 2883 //emith_jump_at(bd->tcache_ptr, sh2_drc_dispatcher);
2884
2885 // attempt to handle self-modifying blocks by exiting at nearest known PC
2886 tmp = tcache_ptr;
2887 tcache_ptr = bd->tcache_ptr;
2888 emit_move_r_imm32(SHR_PC, bd->addr);
2889 rcache_flush();
2890 emith_jump(sh2_drc_dispatcher);
2891 tcache_ptr = tmp;
2892
2893 bd->addr = 0;
a2b8c5a5 2894 return bd->tcache_ptr;
2895}
f4bb5d6b 2896
a2b8c5a5 2897static void sh2_smc_rm_block(u32 a, u16 *drc_ram_blk, int tcache_id, u32 shift, u32 mask)
2898{
2899 //block_link *bl = block_links[tcache_id];
2900 //int bl_count = block_link_counts[tcache_id];
2901 block_desc *btab = block_tables[tcache_id];
2902 u16 *p = drc_ram_blk + ((a & mask) >> shift);
04092e32 2903 u16 *pmax = drc_ram_blk + (mask >> shift);
a2b8c5a5 2904 void *tcache_min, *tcache_max;
04092e32 2905 int zeros;
2906 u16 *pt;
2907
2908 // Figure out what the main block is, as subblocks also have the flag set.
2909 // This relies on sub having single entry. It's possible that innocent
2910 // block might be hit, but that's not such a big deal.
2911 if ((p[0] >> 1) != (p[1] >> 1)) {
2912 for (; p > drc_ram_blk; p--)
2913 if (p[-1] == 0 || (p[-1] >> 1) == (*p >> 1))
2914 break;
2915 }
2916 pt = p;
a2b8c5a5 2917
04092e32 2918 for (; p > drc_ram_blk; p--)
2919 if ((*p & 1))
2920 break;
f4bb5d6b 2921
04092e32 2922 if (!(*p & 1)) {
fcdefcf6 2923 dbg(1, "smc rm: missing block start for %08x?", a);
04092e32 2924 p = pt;
2925 }
2926
2927 if (*p == 0)
2928 return;
2929
2930 tcache_min = tcache_max = sh2_smc_rm_block_entry(&btab[*p >> 1], tcache_id);
2931 *p = 0;
a2b8c5a5 2932
04092e32 2933 for (p++, zeros = 0; p < pmax && zeros < MAX_LITERAL_OFFSET / 2; p++) {
a2b8c5a5 2934 int id = *p >> 1;
04092e32 2935 if (id == 0) {
2936 // there can be holes because games sometimes keep variables
2937 // directly in literal pool and we don't inline them to avoid recompile
2938 // (Star Wars Arcade)
2939 zeros++;
2940 continue;
2941 }
2942 if (*p & 1) {
2943 if (id == (p[1] >> 1))
2944 // hit other block
2945 break;
2946 tcache_max = sh2_smc_rm_block_entry(&btab[id], tcache_id);
2947 }
a2b8c5a5 2948 *p = 0;
f4bb5d6b 2949 }
2950
04092e32 2951 host_instructions_updated(tcache_min, (void *)((char *)tcache_max + 4*4 + 4));
f4bb5d6b 2952}
2953
2954void sh2_drc_wcheck_ram(unsigned int a, int val, int cpuid)
2955{
fcdefcf6 2956 dbg(2, "%csh2 smc check @%08x", cpuid ? 's' : 'm', a);
a2b8c5a5 2957 sh2_smc_rm_block(a, Pico32xMem->drcblk_ram, 0, SH2_DRCBLK_RAM_SHIFT, 0x3ffff);
f4bb5d6b 2958}
2959
2960void sh2_drc_wcheck_da(unsigned int a, int val, int cpuid)
2961{
fcdefcf6 2962 dbg(2, "%csh2 smc check @%08x", cpuid ? 's' : 'm', a);
a2b8c5a5 2963 sh2_smc_rm_block(a, Pico32xMem->drcblk_da[cpuid],
2964 1 + cpuid, SH2_DRCBLK_DA_SHIFT, 0xfff);
f4bb5d6b 2965}
2966
52d759c3 2967void sh2_execute(SH2 *sh2c, int cycles)
679af8a3 2968{
e05b81fc 2969 int ret_cycles;
52d759c3 2970 sh2 = sh2c; // XXX
2971
2972 sh2c->cycles_aim += cycles;
2973 cycles = sh2c->cycles_aim - sh2c->cycles_done;
679af8a3 2974
2975 // cycles are kept in SHR_SR unused bits (upper 20)
18b94127 2976 // bit19 contains T saved for delay slot
2977 // others are usual SH2 flags
52d759c3 2978 sh2c->sr &= 0x3f3;
2979 sh2c->sr |= cycles << 12;
e05b81fc 2980 sh2_drc_entry(sh2c);
679af8a3 2981
e05b81fc 2982 // TODO: irq cycles
2983 ret_cycles = (signed int)sh2c->sr >> 12;
2984 if (ret_cycles > 0)
fcdefcf6 2985 dbg(1, "warning: drc returned with cycles: %d", ret_cycles);
679af8a3 2986
e05b81fc 2987 sh2c->cycles_done += cycles - ret_cycles;
679af8a3 2988}
2989
fcdefcf6 2990#if (DRC_DEBUG & 2)
9bb5d91c 2991void block_stats(void)
f4bb5d6b 2992{
2993 int c, b, i, total = 0;
2994
9bb5d91c 2995 printf("block stats:\n");
f4bb5d6b 2996 for (b = 0; b < ARRAY_SIZE(block_tables); b++)
2997 for (i = 0; i < block_counts[b]; i++)
2998 if (block_tables[b][i].addr != 0)
2999 total += block_tables[b][i].refcount;
3000
3001 for (c = 0; c < 10; c++) {
3002 block_desc *blk, *maxb = NULL;
3003 int max = 0;
3004 for (b = 0; b < ARRAY_SIZE(block_tables); b++) {
3005 for (i = 0; i < block_counts[b]; i++) {
3006 blk = &block_tables[b][i];
3007 if (blk->addr != 0 && blk->refcount > max) {
3008 max = blk->refcount;
3009 maxb = blk;
3010 }
3011 }
3012 }
3013 if (maxb == NULL)
3014 break;
3015 printf("%08x %9d %2.3f%%\n", maxb->addr, maxb->refcount,
3016 (double)maxb->refcount / total * 100.0);
3017 maxb->refcount = 0;
3018 }
553c3eaa 3019
3020 for (b = 0; b < ARRAY_SIZE(block_tables); b++)
3021 for (i = 0; i < block_counts[b]; i++)
3022 block_tables[b][i].refcount = 0;
f4bb5d6b 3023}
553c3eaa 3024#else
3025#define block_stats()
f4bb5d6b 3026#endif
3027
553c3eaa 3028void sh2_drc_flush_all(void)
3029{
3030 block_stats();
3031 flush_tcache(0);
3032 flush_tcache(1);
3033 flush_tcache(2);
3034}
3035
23686515 3036void sh2_drc_mem_setup(SH2 *sh2)
3037{
3038 // fill the convenience pointers
3039 sh2->p_bios = sh2->is_slave ? Pico32xMem->sh2_rom_s : Pico32xMem->sh2_rom_m;
3040 sh2->p_da = Pico32xMem->data_array[sh2->is_slave];
3041 sh2->p_sdram = Pico32xMem->sdram;
3042 sh2->p_rom = Pico.rom;
3043}
3044
679af8a3 3045int sh2_drc_init(SH2 *sh2)
3046{
44e6452e 3047 int i;
7f5a3fc1 3048
44e6452e 3049 if (block_tables[0] == NULL)
3050 {
3051 for (i = 0; i < TCACHE_BUFFERS; i++) {
3052 block_tables[i] = calloc(block_max_counts[i], sizeof(*block_tables[0]));
3053 if (block_tables[i] == NULL)
3054 goto fail;
3055 // max 2 block links (exits) per block
3056 block_links[i] = calloc(block_max_counts[i] * 2, sizeof(*block_links[0]));
3057 if (block_links[i] == NULL)
3058 goto fail;
3059 }
3060 memset(block_counts, 0, sizeof(block_counts));
3061 memset(block_link_counts, 0, sizeof(block_link_counts));
e898de13 3062
44e6452e 3063 drc_cmn_init();
8796b7ee 3064 tcache_ptr = tcache;
3065 sh2_generate_utils();
a2b8c5a5 3066 host_instructions_updated(tcache, tcache_ptr);
8796b7ee 3067
8796b7ee 3068 tcache_bases[0] = tcache_ptrs[0] = tcache_ptr;
44e6452e 3069 for (i = 1; i < ARRAY_SIZE(tcache_bases); i++)
f4bb5d6b 3070 tcache_bases[i] = tcache_ptrs[i] = tcache_bases[i - 1] + tcache_sizes[i - 1];
f4bb5d6b 3071
553c3eaa 3072 // tmp
3073 PicoOpt |= POPT_DIS_VDP_FIFO;
3074
fcdefcf6 3075#if (DRC_DEBUG & 4)
f4bb5d6b 3076 for (i = 0; i < ARRAY_SIZE(block_tables); i++)
3077 tcache_dsm_ptrs[i] = tcache_bases[i];
8796b7ee 3078 // disasm the utils
3079 tcache_dsm_ptrs[0] = tcache;
3080 do_host_disasm(0);
f4bb5d6b 3081#endif
e898de13 3082#if (DRC_DEBUG & 1)
3083 hash_collisions = 0;
3084#endif
679af8a3 3085 }
3086
f4bb5d6b 3087 if (hash_table == NULL) {
3088 hash_table = calloc(sizeof(hash_table[0]), MAX_HASH_ENTRIES);
3089 if (hash_table == NULL)
44e6452e 3090 goto fail;
f4bb5d6b 3091 }
41397701 3092
679af8a3 3093 return 0;
44e6452e 3094
3095fail:
3096 sh2_drc_finish(sh2);
3097 return -1;
41397701 3098}
3099
e898de13 3100void sh2_drc_finish(SH2 *sh2)
3101{
44e6452e 3102 int i;
3103
f4bb5d6b 3104 if (block_tables[0] != NULL) {
f4bb5d6b 3105 block_stats();
44e6452e 3106
3107 for (i = 0; i < TCACHE_BUFFERS; i++) {
fcdefcf6 3108#if (DRC_DEBUG & 4)
44e6452e 3109 printf("~~~ tcache %d\n", i);
3110 tcache_dsm_ptrs[i] = tcache_bases[i];
3111 tcache_ptr = tcache_ptrs[i];
3112 do_host_disasm(i);
3113#endif
3114
3115 if (block_tables[i] != NULL)
3116 free(block_tables[i]);
3117 block_tables[i] = NULL;
3118 if (block_links[i] == NULL)
3119 free(block_links[i]);
3120 block_links[i] = NULL;
3121 }
7f5a3fc1 3122
3123 drc_cmn_cleanup();
e898de13 3124 }
3125
f4bb5d6b 3126 if (hash_table != NULL) {
3127 free(hash_table);
3128 hash_table = NULL;
3129 }
e898de13 3130}
cff531af 3131
3132// vim:shiftwidth=2:expandtab
fast MegaDrive/MegaCD/32X emulator