drop some unnecessary inlines
[picodrive.git] / cpu / sh2 / compiler.c
CommitLineData
e898de13 1/*
cff531af 2 * SH2 recompiler
228ee974 3 * (C) notaz, 2009,2010,2013
cff531af 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
00a725a8 11 * - jumps between blocks are tracked for SMC handling (in block_entry->links),
9bb5d91c 12 * except jumps between different tcaches
13 *
14 * implemented:
15 * - static register allocation
16 * - remaining register caching and tracking in temporaries
17 * - block-local branch linking
18 * - block linking (except between tcaches)
23686515 19 * - some constant propagation
9bb5d91c 20 *
21 * TODO:
23686515 22 * - better constant propagation
9bb5d91c 23 * - stack caching?
24 * - bug fixing
e898de13 25 */
f0d7b1fa 26#include <stddef.h>
679af8a3 27#include <stdio.h>
28#include <stdlib.h>
29#include <assert.h>
41397701 30
f4bb5d6b 31#include "../../pico/pico_int.h"
679af8a3 32#include "sh2.h"
33#include "compiler.h"
34#include "../drc/cmn.h"
5686d931 35#include "../debug.h"
679af8a3 36
23686515 37// features
38#define PROPAGATE_CONSTANTS 1
39#define LINK_BRANCHES 1
40
04092e32 41// limits (per block)
e1553677 42#define MAX_BLOCK_SIZE (BLOCK_INSN_LIMIT * 6 * 6)
04092e32 43
23686515 44// max literal offset from the block end
45#define MAX_LITERAL_OFFSET 32*2
e1553677 46#define MAX_LITERALS (BLOCK_INSN_LIMIT / 4)
04092e32 47#define MAX_LOCAL_BRANCHES 32
23686515 48
00faec9c 49// debug stuff
e1553677 50// 1 - warnings/errors
51// 2 - block info/smc
52// 4 - asm
228ee974 53// 8 - runtime block entry log
00faec9c 54// {
e898de13 55#ifndef DRC_DEBUG
56#define DRC_DEBUG 0
57#endif
58
553c3eaa 59#if DRC_DEBUG
f4bb5d6b 60#define dbg(l,...) { \
61 if ((l) & DRC_DEBUG) \
62 elprintf(EL_STATUS, ##__VA_ARGS__); \
63}
e898de13 64#include "mame/sh2dasm.h"
009ef50c 65#include <platform/libpicofe/linux/host_dasm.h>
e898de13 66static int insns_compiled, hash_collisions, host_insn_count;
553c3eaa 67#define COUNT_OP \
68 host_insn_count++
69#else // !DRC_DEBUG
70#define COUNT_OP
71#define dbg(...)
e898de13 72#endif
553c3eaa 73
bf092a36 74///
75#define FETCH_OP(pc) \
76 dr_pc_base[(pc) / 2]
77
78#define FETCH32(a) \
79 ((dr_pc_base[(a) / 2] << 16) | dr_pc_base[(a) / 2 + 1])
80
81#define CHECK_UNHANDLED_BITS(mask, label) { \
82 if ((op & (mask)) != 0) \
83 goto label; \
84}
85
86#define GET_Fx() \
87 ((op >> 4) & 0x0f)
88
89#define GET_Rm GET_Fx
90
91#define GET_Rn() \
92 ((op >> 8) & 0x0f)
93
94#define BITMASK1(v0) (1 << (v0))
95#define BITMASK2(v0,v1) ((1 << (v0)) | (1 << (v1)))
96#define BITMASK3(v0,v1,v2) (BITMASK2(v0,v1) | (1 << (v2)))
97#define BITMASK4(v0,v1,v2,v3) (BITMASK3(v0,v1,v2) | (1 << (v3)))
98#define BITMASK5(v0,v1,v2,v3,v4) (BITMASK4(v0,v1,v2,v3) | (1 << (v4)))
99
100#define SHR_T SHR_SR // might make them separate someday
101
102static struct op_data {
103 u8 op;
104 u8 cycles;
105 u8 size; // 0, 1, 2 - byte, word, long
106 s8 rm; // branch or load/store data reg
107 u32 source; // bitmask of src regs
108 u32 dest; // bitmask of dest regs
109 u32 imm; // immediate/io address/branch target
110 // (for literal - address, not value)
111} ops[BLOCK_INSN_LIMIT];
112
113enum op_types {
114 OP_UNHANDLED = 0,
115 OP_BRANCH,
116 OP_BRANCH_CT, // conditional, branch if T set
117 OP_BRANCH_CF, // conditional, branch if T clear
118 OP_BRANCH_R, // indirect
119 OP_BRANCH_RF, // indirect far (PC + Rm)
120 OP_SETCLRT, // T flag set/clear
121 OP_MOVE, // register move
fa841b44 122 OP_LOAD_POOL, // literal pool load, imm is address
123 OP_MOVA,
bf092a36 124 OP_SLEEP,
125 OP_RTE,
126};
127
128#ifdef DRC_SH2
129
405dfdd7 130static int literal_disabled_frames;
131
fcdefcf6 132#if (DRC_DEBUG & 4)
f4bb5d6b 133static u8 *tcache_dsm_ptrs[3];
e898de13 134static char sh2dasm_buff[64];
f4bb5d6b 135#define do_host_disasm(tcid) \
136 host_dasm(tcache_dsm_ptrs[tcid], tcache_ptr - tcache_dsm_ptrs[tcid]); \
137 tcache_dsm_ptrs[tcid] = tcache_ptr
138#else
139#define do_host_disasm(x)
e898de13 140#endif
e05b81fc 141
fcdefcf6 142#if (DRC_DEBUG & 8) || defined(PDB)
5686d931 143static void REGPARM(3) *sh2_drc_log_entry(void *block, SH2 *sh2, u32 sr)
e05b81fc 144{
5686d931 145 if (block != NULL) {
fcdefcf6 146 dbg(8, "= %csh2 enter %08x %p, c=%d", sh2->is_slave ? 's' : 'm',
e05b81fc 147 sh2->pc, block, (signed int)sr >> 12);
5686d931 148 pdb_step(sh2, sh2->pc);
149 }
e05b81fc 150 return block;
151}
152#endif
8796b7ee 153// } debug
e898de13 154
44e6452e 155#define TCACHE_BUFFERS 3
f4bb5d6b 156
157// we have 3 translation cache buffers, split from one drc/cmn buffer.
158// BIOS shares tcache with data array because it's only used for init
159// and can be discarded early
8796b7ee 160// XXX: need to tune sizes
44e6452e 161static const int tcache_sizes[TCACHE_BUFFERS] = {
4943816b 162 DRC_TCACHE_SIZE * 6 / 8, // ROM (rarely used), DRAM
f4bb5d6b 163 DRC_TCACHE_SIZE / 8, // BIOS, data array in master sh2
164 DRC_TCACHE_SIZE / 8, // ... slave
165};
679af8a3 166
44e6452e 167static u8 *tcache_bases[TCACHE_BUFFERS];
168static u8 *tcache_ptrs[TCACHE_BUFFERS];
f4bb5d6b 169
170// ptr for code emiters
171static u8 *tcache_ptr;
e898de13 172
228ee974 173#define MAX_BLOCK_ENTRIES (BLOCK_INSN_LIMIT / 8)
174
00a725a8 175struct block_link {
176 u32 target_pc;
177 void *jump; // insn address
178 struct block_link *next; // either in block_entry->links or
179};
180
228ee974 181struct block_entry {
182 u32 pc;
44e6452e 183 void *tcache_ptr; // translated block for above PC
228ee974 184 struct block_entry *next; // next block in hash_table with same pc hash
00a725a8 185 struct block_link *links; // links to this entry
228ee974 186#if (DRC_DEBUG & 2)
187 struct block_desc *block;
188#endif
189};
190
191struct block_desc {
192 u32 addr; // block start SH2 PC address
51d86e55 193 u16 size; // ..of recompiled insns+lit. pool
194 u16 size_nolit; // same without literals
fcdefcf6 195#if (DRC_DEBUG & 2)
44e6452e 196 int refcount;
197#endif
228ee974 198 int entry_count;
199 struct block_entry entryp[MAX_BLOCK_ENTRIES];
e1553677 200};
44e6452e 201
44e6452e 202static const int block_max_counts[TCACHE_BUFFERS] = {
203 4*1024,
204 256,
205 256,
206};
e1553677 207static struct block_desc *block_tables[TCACHE_BUFFERS];
44e6452e 208static int block_counts[TCACHE_BUFFERS];
228ee974 209
00a725a8 210// we have block_link_pool to avoid using mallocs
211static const int block_link_pool_max_counts[TCACHE_BUFFERS] = {
228ee974 212 4*1024,
213 256,
214 256,
215};
00a725a8 216static struct block_link *block_link_pool[TCACHE_BUFFERS];
217static int block_link_pool_counts[TCACHE_BUFFERS];
218static struct block_link *unresolved_links[TCACHE_BUFFERS];
44e6452e 219
4943816b 220// used for invalidation
221static const int ram_sizes[TCACHE_BUFFERS] = {
222 0x40000,
223 0x1000,
224 0x1000,
225};
51d86e55 226#define INVAL_PAGE_SIZE 0x100
4943816b 227
228struct block_list {
e1553677 229 struct block_desc *block;
4943816b 230 struct block_list *next;
231};
232
233// array of pointers to block_lists for RAM and 2 data arrays
51d86e55 234// each array has len: sizeof(mem) / INVAL_PAGE_SIZE
4943816b 235static struct block_list **inval_lookup[TCACHE_BUFFERS];
569420b0 236
228ee974 237static const int hash_table_sizes[TCACHE_BUFFERS] = {
238 0x1000,
239 0x100,
240 0x100,
241};
242static struct block_entry **hash_tables[TCACHE_BUFFERS];
243
244#define HASH_FUNC(hash_tab, addr, mask) \
245 (hash_tab)[(((addr) >> 20) ^ ((addr) >> 2)) & (mask)]
246
c18edb34 247// host register tracking
248enum {
249 HR_FREE,
250 HR_CACHED, // 'val' has sh2_reg_e
23686515 251// HR_CONST, // 'val' has a constant
c18edb34 252 HR_TEMP, // reg used for temp storage
253};
254
23686515 255enum {
256 HRF_DIRTY = 1 << 0, // reg has "dirty" value to be written to ctx
257 HRF_LOCKED = 1 << 1, // HR_CACHED can't be evicted
258};
259
c18edb34 260typedef struct {
23686515 261 u32 hreg:5; // "host" reg
262 u32 greg:5; // "guest" reg
263 u32 type:3;
264 u32 flags:3;
265 u32 stamp:16; // kind of a timestamp
c18edb34 266} temp_reg_t;
267
80599a42 268// note: reg_temp[] must have at least the amount of
3863edbd 269// registers used by handlers in worst case (currently 4)
d4d62665 270#ifdef __arm__
65c75cb0 271#include "../drc/emit_arm.c"
272
2dbc96b1 273#ifndef __MACH__
274
65c75cb0 275static const int reg_map_g2h[] = {
8b4f38f4 276 4, 5, 6, 7,
277 8, -1, -1, -1,
c18edb34 278 -1, -1, -1, -1,
65514d85 279 -1, -1, -1, 9, // r12 .. sp
280 -1, -1, -1, 10, // SHR_PC, SHR_PPC, SHR_PR, SHR_SR,
281 -1, -1, -1, -1, // SHR_GBR, SHR_VBR, SHR_MACH, SHR_MACL,
c18edb34 282};
283
2dbc96b1 284#else
285
286// no r9..
287static const int reg_map_g2h[] = {
288 4, 5, 6, 7,
289 -1, -1, -1, -1,
290 -1, -1, -1, -1,
291 -1, -1, -1, 8, // r12 .. sp
292 -1, -1, -1, 10, // SHR_PC, SHR_PPC, SHR_PR, SHR_SR,
293 -1, -1, -1, -1, // SHR_GBR, SHR_VBR, SHR_MACH, SHR_MACL,
294};
295
296#endif
297
c18edb34 298static temp_reg_t reg_temp[] = {
299 { 0, },
300 { 1, },
301 { 12, },
302 { 14, },
303 { 2, },
304 { 3, },
65c75cb0 305};
306
e05b81fc 307#elif defined(__i386__)
e898de13 308#include "../drc/emit_x86.c"
309
65c75cb0 310static const int reg_map_g2h[] = {
8b4f38f4 311 xSI,-1, -1, -1,
c18edb34 312 -1, -1, -1, -1,
313 -1, -1, -1, -1,
314 -1, -1, -1, -1,
8b4f38f4 315 -1, -1, -1, xDI,
c18edb34 316 -1, -1, -1, -1,
317};
318
3863edbd 319// ax, cx, dx are usually temporaries by convention
c18edb34 320static temp_reg_t reg_temp[] = {
321 { xAX, },
3863edbd 322 { xBX, },
c18edb34 323 { xCX, },
324 { xDX, },
65c75cb0 325};
326
e05b81fc 327#else
328#error unsupported arch
65c75cb0 329#endif
330
80599a42 331#define T 0x00000001
332#define S 0x00000002
333#define I 0x000000f0
334#define Q 0x00000100
335#define M 0x00000200
18b94127 336#define T_save 0x00000800
80599a42 337
e05b81fc 338#define I_SHIFT 4
f0d7b1fa 339#define Q_SHIFT 8
340#define M_SHIFT 9
341
e05b81fc 342static void REGPARM(1) (*sh2_drc_entry)(SH2 *sh2);
343static void (*sh2_drc_dispatcher)(void);
344static void (*sh2_drc_exit)(void);
345static void (*sh2_drc_test_irq)(void);
5686d931 346
347static u32 REGPARM(2) (*sh2_drc_read8)(u32 a, SH2 *sh2);
348static u32 REGPARM(2) (*sh2_drc_read16)(u32 a, SH2 *sh2);
349static u32 REGPARM(2) (*sh2_drc_read32)(u32 a, SH2 *sh2);
e05b81fc 350static void REGPARM(2) (*sh2_drc_write8)(u32 a, u32 d);
e05b81fc 351static void REGPARM(2) (*sh2_drc_write16)(u32 a, u32 d);
f81107f5 352static void REGPARM(3) (*sh2_drc_write32)(u32 a, u32 d, SH2 *sh2);
679af8a3 353
a2b8c5a5 354// address space stuff
a2b8c5a5 355static int dr_ctx_get_mem_ptr(u32 a, u32 *mask)
356{
357 int poffs = -1;
358
359 if ((a & ~0x7ff) == 0) {
360 // BIOS
361 poffs = offsetof(SH2, p_bios);
362 *mask = 0x7ff;
363 }
364 else if ((a & 0xfffff000) == 0xc0000000) {
365 // data array
f81107f5 366 // FIXME: access sh2->data_array instead
a2b8c5a5 367 poffs = offsetof(SH2, p_da);
368 *mask = 0xfff;
369 }
370 else if ((a & 0xc6000000) == 0x06000000) {
371 // SDRAM
372 poffs = offsetof(SH2, p_sdram);
373 *mask = 0x03ffff;
374 }
375 else if ((a & 0xc6000000) == 0x02000000) {
376 // ROM
377 poffs = offsetof(SH2, p_rom);
378 *mask = 0x3fffff;
379 }
380
381 return poffs;
382}
383
228ee974 384static struct block_entry *dr_get_entry(u32 pc, int is_slave, int *tcache_id)
a2b8c5a5 385{
228ee974 386 struct block_entry *be;
387 u32 tcid = 0, mask;
a2b8c5a5 388
228ee974 389 // data arrays have their own caches
390 if ((pc & 0xe0000000) == 0xc0000000 || (pc & ~0xfff) == 0)
391 tcid = 1 + is_slave;
392
393 *tcache_id = tcid;
394
395 mask = hash_table_sizes[tcid] - 1;
396 be = HASH_FUNC(hash_tables[tcid], pc, mask);
397 for (; be != NULL; be = be->next)
398 if (be->pc == pc)
399 return be;
a2b8c5a5 400
401 return NULL;
402}
403
404// ---------------------------------------------------------------
405
406// block management
e1553677 407static void add_to_block_list(struct block_list **blist, struct block_desc *block)
4943816b 408{
409 struct block_list *added = malloc(sizeof(*added));
410 if (!added) {
411 elprintf(EL_ANOMALY, "drc OOM (1)");
412 return;
413 }
414 added->block = block;
415 added->next = *blist;
416 *blist = added;
417}
418
e1553677 419static void rm_from_block_list(struct block_list **blist, struct block_desc *block)
4943816b 420{
421 struct block_list *prev = NULL, *current = *blist;
422 for (; current != NULL; prev = current, current = current->next) {
423 if (current->block == block) {
424 if (prev == NULL)
425 *blist = current->next;
426 else
427 prev->next = current->next;
428 free(current);
429 return;
430 }
431 }
432 dbg(1, "can't rm block %p (%08x-%08x)",
51d86e55 433 block, block->addr, block->addr + block->size);
4943816b 434}
435
436static void rm_block_list(struct block_list **blist)
437{
438 struct block_list *tmp, *current = *blist;
439 while (current != NULL) {
440 tmp = current;
441 current = current->next;
442 free(tmp);
443 }
444 *blist = NULL;
445}
446
a2b8c5a5 447static void REGPARM(1) flush_tcache(int tcid)
f4bb5d6b 448{
4943816b 449 int i;
450
553c3eaa 451 dbg(1, "tcache #%d flush! (%d/%d, bds %d/%d)", tcid,
f4bb5d6b 452 tcache_ptrs[tcid] - tcache_bases[tcid], tcache_sizes[tcid],
453 block_counts[tcid], block_max_counts[tcid]);
454
455 block_counts[tcid] = 0;
00a725a8 456 block_link_pool_counts[tcid] = 0;
457 unresolved_links[tcid] = NULL;
228ee974 458 memset(hash_tables[tcid], 0, sizeof(*hash_tables[0]) * hash_table_sizes[tcid]);
f4bb5d6b 459 tcache_ptrs[tcid] = tcache_bases[tcid];
228ee974 460 if (Pico32xMem != NULL) {
461 if (tcid == 0) // ROM, RAM
462 memset(Pico32xMem->drcblk_ram, 0,
463 sizeof(Pico32xMem->drcblk_ram));
464 else
465 memset(Pico32xMem->drcblk_da[tcid - 1], 0,
466 sizeof(Pico32xMem->drcblk_da[0]));
f4bb5d6b 467 }
fcdefcf6 468#if (DRC_DEBUG & 4)
f4bb5d6b 469 tcache_dsm_ptrs[tcid] = tcache_bases[tcid];
470#endif
4943816b 471
51d86e55 472 for (i = 0; i < ram_sizes[tcid] / INVAL_PAGE_SIZE; i++)
4943816b 473 rm_block_list(&inval_lookup[tcid][i]);
f4bb5d6b 474}
475
228ee974 476static void add_to_hashlist(struct block_entry *be, int tcache_id)
477{
478 u32 tcmask = hash_table_sizes[tcache_id] - 1;
479
480 be->next = HASH_FUNC(hash_tables[tcache_id], be->pc, tcmask);
481 HASH_FUNC(hash_tables[tcache_id], be->pc, tcmask) = be;
482
483#if (DRC_DEBUG & 2)
484 if (be->next != NULL) {
485 printf(" %08x: hash collision with %08x\n",
486 be->pc, be->next->pc);
487 hash_collisions++;
488 }
489#endif
490}
491
492static void rm_from_hashlist(struct block_entry *be, int tcache_id)
493{
494 u32 tcmask = hash_table_sizes[tcache_id] - 1;
495 struct block_entry *cur, *prev;
496
497 cur = HASH_FUNC(hash_tables[tcache_id], be->pc, tcmask);
498 if (cur == NULL)
499 goto missing;
500
501 if (be == cur) { // first
502 HASH_FUNC(hash_tables[tcache_id], be->pc, tcmask) = be->next;
503 return;
504 }
505
506 for (prev = cur, cur = cur->next; cur != NULL; cur = cur->next) {
507 if (cur == be) {
508 prev->next = cur->next;
509 return;
510 }
511 }
512
513missing:
514 dbg(1, "rm_from_hashlist: be %p %08x missing?", be, be->pc);
515}
516
51d86e55 517static struct block_desc *dr_add_block(u32 addr, u16 size_lit,
518 u16 size_nolit, int is_slave, int *blk_id)
679af8a3 519{
228ee974 520 struct block_entry *be;
e1553677 521 struct block_desc *bd;
a2b8c5a5 522 int tcache_id;
523 int *bcount;
524
228ee974 525 // do a lookup to get tcache_id and override check
526 be = dr_get_entry(addr, is_slave, &tcache_id);
527 if (be != NULL)
528 dbg(1, "block override for %08x", addr);
679af8a3 529
a2b8c5a5 530 bcount = &block_counts[tcache_id];
44e6452e 531 if (*bcount >= block_max_counts[tcache_id]) {
fcdefcf6 532 dbg(1, "bd overflow for tcache %d", tcache_id);
f4bb5d6b 533 return NULL;
44e6452e 534 }
679af8a3 535
f4bb5d6b 536 bd = &block_tables[tcache_id][*bcount];
679af8a3 537 bd->addr = addr;
51d86e55 538 bd->size = size_lit;
539 bd->size_nolit = size_nolit;
679af8a3 540
228ee974 541 bd->entry_count = 1;
542 bd->entryp[0].pc = addr;
543 bd->entryp[0].tcache_ptr = tcache_ptr;
00a725a8 544 bd->entryp[0].links = NULL;
fcdefcf6 545#if (DRC_DEBUG & 2)
228ee974 546 bd->entryp[0].block = bd;
547 bd->refcount = 0;
18b94127 548#endif
228ee974 549 add_to_hashlist(&bd->entryp[0], tcache_id);
550
551 *blk_id = *bcount;
552 (*bcount)++;
18b94127 553
679af8a3 554 return bd;
555}
556
a2b8c5a5 557static void REGPARM(3) *dr_lookup_block(u32 pc, int is_slave, int *tcache_id)
558{
228ee974 559 struct block_entry *be = NULL;
a2b8c5a5 560 void *block = NULL;
561
228ee974 562 be = dr_get_entry(pc, is_slave, tcache_id);
563 if (be != NULL)
564 block = be->tcache_ptr;
a2b8c5a5 565
fcdefcf6 566#if (DRC_DEBUG & 2)
228ee974 567 if (be != NULL)
568 be->block->refcount++;
a2b8c5a5 569#endif
570 return block;
571}
572
c25d78ee 573static void *dr_failure(void)
574{
575 lprintf("recompilation failed\n");
576 exit(1);
577}
578
00a725a8 579static void *dr_prepare_ext_branch(u32 pc, int is_slave, int tcache_id)
a2b8c5a5 580{
581#if LINK_BRANCHES
00a725a8 582 struct block_link *bl = block_link_pool[tcache_id];
583 int cnt = block_link_pool_counts[tcache_id];
584 struct block_entry *be = NULL;
a2b8c5a5 585 int target_tcache_id;
00a725a8 586 int i;
587
588 be = dr_get_entry(pc, is_slave, &target_tcache_id);
589 if (target_tcache_id != tcache_id)
590 return sh2_drc_dispatcher;
591
592 // if pool has been freed, reuse
593 for (i = cnt - 1; i >= 0; i--)
594 if (bl[i].target_pc != 0)
595 break;
596 cnt = i + 1;
597 if (cnt >= block_link_pool_max_counts[tcache_id]) {
6d797957 598 dbg(1, "bl overflow for tcache %d", tcache_id);
00a725a8 599 return NULL;
a2b8c5a5 600 }
00a725a8 601 bl += cnt;
602 block_link_pool_counts[tcache_id]++;
a2b8c5a5 603
00a725a8 604 bl->target_pc = pc;
605 bl->jump = tcache_ptr;
606
607 if (be != NULL) {
608 dbg(2, "- early link from %p to pc %08x", bl->jump, pc);
609 bl->next = be->links;
610 be->links = bl;
611 return be->tcache_ptr;
612 }
613 else {
614 bl->next = unresolved_links[tcache_id];
615 unresolved_links[tcache_id] = bl;
616 return sh2_drc_dispatcher;
617 }
a2b8c5a5 618#else
619 return sh2_drc_dispatcher;
620#endif
621}
622
00a725a8 623static void dr_link_blocks(struct block_entry *be, int tcache_id)
a2b8c5a5 624{
00a725a8 625#if LINK_BRANCHES
626 struct block_link *first = unresolved_links[tcache_id];
627 struct block_link *bl, *prev, *tmp;
628 u32 pc = be->pc;
629
630 for (bl = prev = first; bl != NULL; ) {
631 if (bl->target_pc == pc) {
632 dbg(2, "- link from %p to pc %08x", bl->jump, pc);
633 emith_jump_patch(bl->jump, tcache_ptr);
634
635 // move bl from unresolved_links to block_entry
636 tmp = bl->next;
637 bl->next = be->links;
638 be->links = bl;
639
640 if (bl == first)
641 first = prev = bl = tmp;
642 else
643 prev->next = bl = tmp;
644 continue;
a2b8c5a5 645 }
00a725a8 646 prev = bl;
647 bl = bl->next;
a2b8c5a5 648 }
00a725a8 649 unresolved_links[tcache_id] = first;
650
651 // could sync arm caches here, but that's unnecessary
a2b8c5a5 652#endif
653}
654
44e6452e 655#define ADD_TO_ARRAY(array, count, item, failcode) \
44e6452e 656 if (count >= ARRAY_SIZE(array)) { \
fcdefcf6 657 dbg(1, "warning: " #array " overflow"); \
44e6452e 658 failcode; \
fa841b44 659 } \
660 array[count++] = item;
44e6452e 661
a2b8c5a5 662static int find_in_array(u32 *array, size_t size, u32 what)
18b94127 663{
664 size_t i;
665 for (i = 0; i < size; i++)
666 if (what == array[i])
667 return i;
668
669 return -1;
670}
679af8a3 671
672// ---------------------------------------------------------------
673
a2b8c5a5 674// register cache / constant propagation stuff
23686515 675typedef enum {
676 RC_GR_READ,
677 RC_GR_WRITE,
678 RC_GR_RMW,
679} rc_gr_mode;
680
681static int rcache_get_reg_(sh2_reg_e r, rc_gr_mode mode, int do_locking);
682
683// guest regs with constants
684static u32 dr_gcregs[24];
685// a mask of constant/dirty regs
686static u32 dr_gcregs_mask;
687static u32 dr_gcregs_dirty;
688
a2b8c5a5 689#if PROPAGATE_CONSTANTS
23686515 690static void gconst_new(sh2_reg_e r, u32 val)
691{
23686515 692 int i;
693
694 dr_gcregs_mask |= 1 << r;
695 dr_gcregs_dirty |= 1 << r;
696 dr_gcregs[r] = val;
697
698 // throw away old r that we might have cached
699 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
700 if ((reg_temp[i].type == HR_CACHED) &&
701 reg_temp[i].greg == r) {
702 reg_temp[i].type = HR_FREE;
703 reg_temp[i].flags = 0;
704 }
705 }
23686515 706}
a2b8c5a5 707#endif
23686515 708
709static int gconst_get(sh2_reg_e r, u32 *val)
710{
711 if (dr_gcregs_mask & (1 << r)) {
712 *val = dr_gcregs[r];
713 return 1;
714 }
715 return 0;
716}
717
718static int gconst_check(sh2_reg_e r)
719{
720 if ((dr_gcregs_mask | dr_gcregs_dirty) & (1 << r))
721 return 1;
722 return 0;
723}
724
725// update hr if dirty, else do nothing
726static int gconst_try_read(int hr, sh2_reg_e r)
727{
728 if (dr_gcregs_dirty & (1 << r)) {
729 emith_move_r_imm(hr, dr_gcregs[r]);
730 dr_gcregs_dirty &= ~(1 << r);
731 return 1;
732 }
733 return 0;
734}
735
736static void gconst_check_evict(sh2_reg_e r)
737{
738 if (dr_gcregs_mask & (1 << r))
739 // no longer cached in reg, make dirty again
740 dr_gcregs_dirty |= 1 << r;
741}
742
743static void gconst_kill(sh2_reg_e r)
744{
745 dr_gcregs_mask &= ~(1 << r);
746 dr_gcregs_dirty &= ~(1 << r);
747}
748
749static void gconst_clean(void)
750{
751 int i;
752
753 for (i = 0; i < ARRAY_SIZE(dr_gcregs); i++)
754 if (dr_gcregs_dirty & (1 << i)) {
755 // using RC_GR_READ here: it will call gconst_try_read,
756 // cache the reg and mark it dirty.
757 rcache_get_reg_(i, RC_GR_READ, 0);
758 }
759}
760
761static void gconst_invalidate(void)
762{
763 dr_gcregs_mask = dr_gcregs_dirty = 0;
764}
765
c18edb34 766static u16 rcache_counter;
767
768static temp_reg_t *rcache_evict(void)
41397701 769{
c18edb34 770 // evict reg with oldest stamp
771 int i, oldest = -1;
772 u16 min_stamp = (u16)-1;
773
774 for (i = 0; i < ARRAY_SIZE(reg_temp); i++) {
23686515 775 if (reg_temp[i].type == HR_CACHED && !(reg_temp[i].flags & HRF_LOCKED) &&
776 reg_temp[i].stamp <= min_stamp) {
777 min_stamp = reg_temp[i].stamp;
778 oldest = i;
779 }
c18edb34 780 }
781
782 if (oldest == -1) {
80599a42 783 printf("no registers to evict, aborting\n");
c18edb34 784 exit(1);
785 }
786
787 i = oldest;
23686515 788 if (reg_temp[i].type == HR_CACHED) {
789 if (reg_temp[i].flags & HRF_DIRTY)
790 // writeback
791 emith_ctx_write(reg_temp[i].hreg, reg_temp[i].greg * 4);
792 gconst_check_evict(reg_temp[i].greg);
c18edb34 793 }
794
23686515 795 reg_temp[i].type = HR_FREE;
796 reg_temp[i].flags = 0;
c18edb34 797 return &reg_temp[i];
679af8a3 798}
799
23686515 800static int get_reg_static(sh2_reg_e r, rc_gr_mode mode)
801{
802 int i = reg_map_g2h[r];
803 if (i != -1) {
804 if (mode != RC_GR_WRITE)
805 gconst_try_read(i, r);
806 }
807 return i;
808}
c18edb34 809
80599a42 810// note: must not be called when doing conditional code
23686515 811static int rcache_get_reg_(sh2_reg_e r, rc_gr_mode mode, int do_locking)
679af8a3 812{
c18edb34 813 temp_reg_t *tr;
23686515 814 int i, ret;
c18edb34 815
23686515 816 // maybe statically mapped?
817 ret = get_reg_static(r, mode);
818 if (ret != -1)
819 goto end;
679af8a3 820
c18edb34 821 rcache_counter++;
822
823 // maybe already cached?
23686515 824 // if so, prefer against gconst (they must be in sync)
c18edb34 825 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
23686515 826 if (reg_temp[i].type == HR_CACHED && reg_temp[i].greg == r) {
c18edb34 827 reg_temp[i].stamp = rcache_counter;
828 if (mode != RC_GR_READ)
23686515 829 reg_temp[i].flags |= HRF_DIRTY;
830 ret = reg_temp[i].hreg;
831 goto end;
c18edb34 832 }
679af8a3 833 }
834
c18edb34 835 // use any free reg
836 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
23686515 837 if (reg_temp[i].type == HR_FREE) {
c18edb34 838 tr = &reg_temp[i];
839 goto do_alloc;
840 }
841 }
842
843 tr = rcache_evict();
844
845do_alloc:
23686515 846 tr->type = HR_CACHED;
847 if (do_locking)
848 tr->flags |= HRF_LOCKED;
849 if (mode != RC_GR_READ)
850 tr->flags |= HRF_DIRTY;
851 tr->greg = r;
c18edb34 852 tr->stamp = rcache_counter;
23686515 853 ret = tr->hreg;
854
855 if (mode != RC_GR_WRITE) {
856 if (gconst_check(r)) {
857 if (gconst_try_read(ret, r))
858 tr->flags |= HRF_DIRTY;
859 }
860 else
861 emith_ctx_read(tr->hreg, r * 4);
862 }
863
864end:
865 if (mode != RC_GR_READ)
866 gconst_kill(r);
867
868 return ret;
869}
870
871static int rcache_get_reg(sh2_reg_e r, rc_gr_mode mode)
872{
873 return rcache_get_reg_(r, mode, 1);
679af8a3 874}
875
c18edb34 876static int rcache_get_tmp(void)
679af8a3 877{
c18edb34 878 temp_reg_t *tr;
879 int i;
880
881 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 882 if (reg_temp[i].type == HR_FREE) {
c18edb34 883 tr = &reg_temp[i];
884 goto do_alloc;
885 }
886
887 tr = rcache_evict();
888
889do_alloc:
890 tr->type = HR_TEMP;
23686515 891 return tr->hreg;
c18edb34 892}
893
80599a42 894static int rcache_get_arg_id(int arg)
895{
896 int i, r = 0;
897 host_arg2reg(r, arg);
898
899 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 900 if (reg_temp[i].hreg == r)
80599a42 901 break;
902
04092e32 903 if (i == ARRAY_SIZE(reg_temp)) // can't happen
904 exit(1);
80599a42 905
23686515 906 if (reg_temp[i].type == HR_CACHED) {
80599a42 907 // writeback
23686515 908 if (reg_temp[i].flags & HRF_DIRTY)
909 emith_ctx_write(reg_temp[i].hreg, reg_temp[i].greg * 4);
910 gconst_check_evict(reg_temp[i].greg);
80599a42 911 }
912 else if (reg_temp[i].type == HR_TEMP) {
913 printf("arg %d reg %d already used, aborting\n", arg, r);
914 exit(1);
915 }
916
23686515 917 reg_temp[i].type = HR_FREE;
918 reg_temp[i].flags = 0;
919
80599a42 920 return i;
921}
922
923// get a reg to be used as function arg
80599a42 924static int rcache_get_tmp_arg(int arg)
925{
926 int id = rcache_get_arg_id(arg);
927 reg_temp[id].type = HR_TEMP;
928
23686515 929 return reg_temp[id].hreg;
80599a42 930}
931
23686515 932// same but caches a reg. RC_GR_READ only.
80599a42 933static int rcache_get_reg_arg(int arg, sh2_reg_e r)
934{
935 int i, srcr, dstr, dstid;
04092e32 936 int dirty = 0, src_dirty = 0;
80599a42 937
938 dstid = rcache_get_arg_id(arg);
23686515 939 dstr = reg_temp[dstid].hreg;
80599a42 940
941 // maybe already statically mapped?
23686515 942 srcr = get_reg_static(r, RC_GR_READ);
80599a42 943 if (srcr != -1)
944 goto do_cache;
945
946 // maybe already cached?
947 for (i = ARRAY_SIZE(reg_temp) - 1; i >= 0; i--) {
23686515 948 if ((reg_temp[i].type == HR_CACHED) &&
949 reg_temp[i].greg == r)
80599a42 950 {
23686515 951 srcr = reg_temp[i].hreg;
04092e32 952 if (reg_temp[i].flags & HRF_DIRTY)
953 src_dirty = 1;
80599a42 954 goto do_cache;
955 }
956 }
957
958 // must read
959 srcr = dstr;
23686515 960 if (gconst_check(r)) {
961 if (gconst_try_read(srcr, r))
962 dirty = 1;
963 }
964 else
965 emith_ctx_read(srcr, r * 4);
80599a42 966
967do_cache:
23686515 968 if (dstr != srcr)
80599a42 969 emith_move_r_r(dstr, srcr);
04092e32 970#if 1
971 else
972 dirty |= src_dirty;
973
974 if (dirty)
975 // must clean, callers might want to modify the arg before call
976 emith_ctx_write(dstr, r * 4);
977#else
978 if (dirty)
979 reg_temp[dstid].flags |= HRF_DIRTY;
980#endif
80599a42 981
982 reg_temp[dstid].stamp = ++rcache_counter;
983 reg_temp[dstid].type = HR_CACHED;
23686515 984 reg_temp[dstid].greg = r;
985 reg_temp[dstid].flags |= HRF_LOCKED;
80599a42 986 return dstr;
987}
988
c18edb34 989static void rcache_free_tmp(int hr)
990{
991 int i;
992 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 993 if (reg_temp[i].hreg == hr)
c18edb34 994 break;
995
80599a42 996 if (i == ARRAY_SIZE(reg_temp) || reg_temp[i].type != HR_TEMP) {
c18edb34 997 printf("rcache_free_tmp fail: #%i hr %d, type %d\n", i, hr, reg_temp[i].type);
80599a42 998 return;
999 }
1000
1001 reg_temp[i].type = HR_FREE;
23686515 1002 reg_temp[i].flags = 0;
1003}
1004
1005static void rcache_unlock(int hr)
1006{
1007 int i;
1008 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
1009 if (reg_temp[i].type == HR_CACHED && reg_temp[i].hreg == hr)
1010 reg_temp[i].flags &= ~HRF_LOCKED;
1011}
1012
1013static void rcache_unlock_all(void)
1014{
1015 int i;
1016 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
1017 reg_temp[i].flags &= ~HRF_LOCKED;
c18edb34 1018}
1019
e9a11abb 1020static u32 rcache_used_hreg_mask(void)
6d797957 1021{
1022 u32 mask = 0;
1023 int i;
1024
1025 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
1026 if (reg_temp[i].type != HR_FREE)
1027 mask |= 1 << reg_temp[i].hreg;
1028
1029 return mask;
1030}
1031
80599a42 1032static void rcache_clean(void)
c18edb34 1033{
1034 int i;
23686515 1035 gconst_clean();
1036
80599a42 1037 for (i = 0; i < ARRAY_SIZE(reg_temp); i++)
23686515 1038 if (reg_temp[i].type == HR_CACHED && (reg_temp[i].flags & HRF_DIRTY)) {
c18edb34 1039 // writeback
23686515 1040 emith_ctx_write(reg_temp[i].hreg, reg_temp[i].greg * 4);
1041 reg_temp[i].flags &= ~HRF_DIRTY;
c18edb34 1042 }
80599a42 1043}
1044
1045static void rcache_invalidate(void)
1046{
1047 int i;
23686515 1048 for (i = 0; i < ARRAY_SIZE(reg_temp); i++) {
c18edb34 1049 reg_temp[i].type = HR_FREE;
23686515 1050 reg_temp[i].flags = 0;
1051 }
c18edb34 1052 rcache_counter = 0;
23686515 1053
1054 gconst_invalidate();
c18edb34 1055}
1056
80599a42 1057static void rcache_flush(void)
1058{
1059 rcache_clean();
1060 rcache_invalidate();
1061}
1062
c18edb34 1063// ---------------------------------------------------------------
1064
23686515 1065static int emit_get_rbase_and_offs(u32 a, u32 *offs)
1066{
23686515 1067 u32 mask = 0;
a2b8c5a5 1068 int poffs;
23686515 1069 int hr;
1070
a2b8c5a5 1071 poffs = dr_ctx_get_mem_ptr(a, &mask);
23686515 1072 if (poffs == -1)
1073 return -1;
1074
a2b8c5a5 1075 // XXX: could use some related reg
23686515 1076 hr = rcache_get_tmp();
1077 emith_ctx_read(hr, poffs);
1078 emith_add_r_imm(hr, a & mask & ~0xff);
1079 *offs = a & 0xff; // XXX: ARM oriented..
1080 return hr;
1081}
1082
c18edb34 1083static void emit_move_r_imm32(sh2_reg_e dst, u32 imm)
1084{
23686515 1085#if PROPAGATE_CONSTANTS
1086 gconst_new(dst, imm);
1087#else
c18edb34 1088 int hr = rcache_get_reg(dst, RC_GR_WRITE);
1089 emith_move_r_imm(hr, imm);
23686515 1090#endif
c18edb34 1091}
1092
1093static void emit_move_r_r(sh2_reg_e dst, sh2_reg_e src)
1094{
1095 int hr_d = rcache_get_reg(dst, RC_GR_WRITE);
1096 int hr_s = rcache_get_reg(src, RC_GR_READ);
1097
1098 emith_move_r_r(hr_d, hr_s);
679af8a3 1099}
1100
52d759c3 1101// T must be clear, and comparison done just before this
1102static void emit_or_t_if_eq(int srr)
1103{
1104 EMITH_SJMP_START(DCOND_NE);
1105 emith_or_r_imm_c(DCOND_EQ, srr, T);
1106 EMITH_SJMP_END(DCOND_NE);
1107}
1108
80599a42 1109// arguments must be ready
1110// reg cache must be clean before call
23686515 1111static int emit_memhandler_read_(int size, int ram_check)
679af8a3 1112{
895d1512 1113 int arg1;
1114#if 0
1115 int arg0;
b081408f 1116 host_arg2reg(arg0, 0);
895d1512 1117#endif
b081408f 1118
23686515 1119 rcache_clean();
1120
b081408f 1121 // must writeback cycles for poll detection stuff
23686515 1122 // FIXME: rm
b081408f 1123 if (reg_map_g2h[SHR_SR] != -1)
1124 emith_ctx_write(reg_map_g2h[SHR_SR], SHR_SR * 4);
23686515 1125
b081408f 1126 arg1 = rcache_get_tmp_arg(1);
1127 emith_move_r_r(arg1, CONTEXT_REG);
1128
fa841b44 1129#if 0 // can't do this because of unmapped reads
1130 // ndef PDB_NET
23686515 1131 if (ram_check && Pico.rom == (void *)0x02000000 && Pico32xMem->sdram == (void *)0x06000000) {
b081408f 1132 int tmp = rcache_get_tmp();
1133 emith_and_r_r_imm(tmp, arg0, 0xfb000000);
1134 emith_cmp_r_imm(tmp, 0x02000000);
1135 switch (size) {
1136 case 0: // 8
1137 EMITH_SJMP3_START(DCOND_NE);
1138 emith_eor_r_imm_c(DCOND_EQ, arg0, 1);
1139 emith_read8_r_r_offs_c(DCOND_EQ, arg0, arg0, 0);
1140 EMITH_SJMP3_MID(DCOND_NE);
5686d931 1141 emith_call_cond(DCOND_NE, sh2_drc_read8);
b081408f 1142 EMITH_SJMP3_END();
1143 break;
1144 case 1: // 16
1145 EMITH_SJMP3_START(DCOND_NE);
1146 emith_read16_r_r_offs_c(DCOND_EQ, arg0, arg0, 0);
1147 EMITH_SJMP3_MID(DCOND_NE);
5686d931 1148 emith_call_cond(DCOND_NE, sh2_drc_read16);
b081408f 1149 EMITH_SJMP3_END();
1150 break;
1151 case 2: // 32
1152 EMITH_SJMP3_START(DCOND_NE);
1153 emith_read_r_r_offs_c(DCOND_EQ, arg0, arg0, 0);
1154 emith_ror_c(DCOND_EQ, arg0, arg0, 16);
1155 EMITH_SJMP3_MID(DCOND_NE);
5686d931 1156 emith_call_cond(DCOND_NE, sh2_drc_read32);
b081408f 1157 EMITH_SJMP3_END();
1158 break;
1159 }
1160 }
1161 else
1162#endif
1163 {
1164 switch (size) {
1165 case 0: // 8
5686d931 1166 emith_call(sh2_drc_read8);
b081408f 1167 break;
1168 case 1: // 16
5686d931 1169 emith_call(sh2_drc_read16);
b081408f 1170 break;
1171 case 2: // 32
5686d931 1172 emith_call(sh2_drc_read32);
b081408f 1173 break;
1174 }
679af8a3 1175 }
80599a42 1176 rcache_invalidate();
97e95a29 1177
1178 if (reg_map_g2h[SHR_SR] != -1)
1179 emith_ctx_read(reg_map_g2h[SHR_SR], SHR_SR * 4);
1180
80599a42 1181 // assuming arg0 and retval reg matches
1182 return rcache_get_tmp_arg(0);
1183}
679af8a3 1184
23686515 1185static int emit_memhandler_read(int size)
1186{
1187 return emit_memhandler_read_(size, 1);
1188}
1189
1190static int emit_memhandler_read_rr(sh2_reg_e rd, sh2_reg_e rs, u32 offs, int size)
1191{
1192 int hr, hr2, ram_check = 1;
1193 u32 val, offs2;
1194
1195 if (gconst_get(rs, &val)) {
1196 hr = emit_get_rbase_and_offs(val + offs, &offs2);
1197 if (hr != -1) {
1198 hr2 = rcache_get_reg(rd, RC_GR_WRITE);
1199 switch (size) {
1200 case 0: // 8
1201 emith_read8_r_r_offs(hr2, hr, offs2 ^ 1);
1202 emith_sext(hr2, hr2, 8);
1203 break;
1204 case 1: // 16
1205 emith_read16_r_r_offs(hr2, hr, offs2);
1206 emith_sext(hr2, hr2, 16);
1207 break;
1208 case 2: // 32
1209 emith_read_r_r_offs(hr2, hr, offs2);
1210 emith_ror(hr2, hr2, 16);
1211 break;
1212 }
1213 rcache_free_tmp(hr);
1214 return hr2;
1215 }
1216
1217 ram_check = 0;
1218 }
1219
1220 hr = rcache_get_reg_arg(0, rs);
1221 if (offs != 0)
1222 emith_add_r_imm(hr, offs);
1223 hr = emit_memhandler_read_(size, ram_check);
1224 hr2 = rcache_get_reg(rd, RC_GR_WRITE);
1225 if (size != 2) {
1226 emith_sext(hr2, hr, (size == 1) ? 16 : 8);
1227 } else
1228 emith_move_r_r(hr2, hr);
1229 rcache_free_tmp(hr);
1230
1231 return hr2;
1232}
1233
001f73a0 1234static void emit_memhandler_write(int size)
80599a42 1235{
1236 int ctxr;
1237 host_arg2reg(ctxr, 2);
97e95a29 1238 if (reg_map_g2h[SHR_SR] != -1)
1239 emith_ctx_write(reg_map_g2h[SHR_SR], SHR_SR * 4);
1240
6976a547 1241 rcache_clean();
1242
80599a42 1243 switch (size) {
1244 case 0: // 8
e05b81fc 1245 // XXX: consider inlining sh2_drc_write8
d056bef8 1246 emith_call(sh2_drc_write8);
80599a42 1247 break;
1248 case 1: // 16
d056bef8 1249 emith_call(sh2_drc_write16);
80599a42 1250 break;
1251 case 2: // 32
e05b81fc 1252 emith_move_r_r(ctxr, CONTEXT_REG);
5686d931 1253 emith_call(sh2_drc_write32);
80599a42 1254 break;
1255 }
97e95a29 1256
d056bef8 1257 rcache_invalidate();
97e95a29 1258 if (reg_map_g2h[SHR_SR] != -1)
1259 emith_ctx_read(reg_map_g2h[SHR_SR], SHR_SR * 4);
679af8a3 1260}
80599a42 1261
52d759c3 1262// @(Rx,Ry)
1263static int emit_indirect_indexed_read(int rx, int ry, int size)
1264{
1265 int a0, t;
52d759c3 1266 a0 = rcache_get_reg_arg(0, rx);
1267 t = rcache_get_reg(ry, RC_GR_READ);
1268 emith_add_r_r(a0, t);
1269 return emit_memhandler_read(size);
1270}
1271
f0d7b1fa 1272// read @Rn, @rm
1273static void emit_indirect_read_double(u32 *rnr, u32 *rmr, int rn, int rm, int size)
1274{
1275 int tmp;
1276
f0d7b1fa 1277 rcache_get_reg_arg(0, rn);
1278 tmp = emit_memhandler_read(size);
1279 emith_ctx_write(tmp, offsetof(SH2, drc_tmp));
1280 rcache_free_tmp(tmp);
1281 tmp = rcache_get_reg(rn, RC_GR_RMW);
1282 emith_add_r_imm(tmp, 1 << size);
23686515 1283 rcache_unlock(tmp);
f0d7b1fa 1284
f0d7b1fa 1285 rcache_get_reg_arg(0, rm);
1286 *rmr = emit_memhandler_read(size);
1287 *rnr = rcache_get_tmp();
1288 emith_ctx_read(*rnr, offsetof(SH2, drc_tmp));
1289 tmp = rcache_get_reg(rm, RC_GR_RMW);
1290 emith_add_r_imm(tmp, 1 << size);
23686515 1291 rcache_unlock(tmp);
f0d7b1fa 1292}
1293
8796b7ee 1294static void emit_do_static_regs(int is_write, int tmpr)
f0d7b1fa 1295{
8796b7ee 1296 int i, r, count;
1297
1298 for (i = 0; i < ARRAY_SIZE(reg_map_g2h); i++) {
1299 r = reg_map_g2h[i];
1300 if (r == -1)
1301 continue;
1302
1303 for (count = 1; i < ARRAY_SIZE(reg_map_g2h) - 1; i++, r++) {
1304 if (reg_map_g2h[i + 1] != r + 1)
1305 break;
1306 count++;
1307 }
1308
1309 if (count > 1) {
1310 // i, r point to last item
1311 if (is_write)
1312 emith_ctx_write_multiple(r - count + 1, (i - count + 1) * 4, count, tmpr);
1313 else
1314 emith_ctx_read_multiple(r - count + 1, (i - count + 1) * 4, count, tmpr);
1315 } else {
1316 if (is_write)
1317 emith_ctx_write(r, i * 4);
1318 else
1319 emith_ctx_read(r, i * 4);
1320 }
f0d7b1fa 1321 }
1322}
1323
e05b81fc 1324static void emit_block_entry(void)
f0d7b1fa 1325{
c25d78ee 1326 int arg0;
8796b7ee 1327
e05b81fc 1328 host_arg2reg(arg0, 0);
c25d78ee 1329
1330#if (DRC_DEBUG & 8) || defined(PDB)
1331 int arg1, arg2;
e05b81fc 1332 host_arg2reg(arg1, 1);
1333 host_arg2reg(arg2, 2);
8796b7ee 1334
5686d931 1335 emit_do_static_regs(1, arg2);
e05b81fc 1336 emith_move_r_r(arg1, CONTEXT_REG);
1337 emith_move_r_r(arg2, rcache_get_reg(SHR_SR, RC_GR_READ));
5686d931 1338 emith_call(sh2_drc_log_entry);
e05b81fc 1339 rcache_invalidate();
1340#endif
1341 emith_tst_r_r(arg0, arg0);
1342 EMITH_SJMP_START(DCOND_EQ);
1343 emith_jump_reg_c(DCOND_NE, arg0);
1344 EMITH_SJMP_END(DCOND_EQ);
1345}
8796b7ee 1346
18b94127 1347#define DELAY_SAVE_T(sr) { \
1348 emith_bic_r_imm(sr, T_save); \
1349 emith_tst_r_imm(sr, T); \
1350 EMITH_SJMP_START(DCOND_EQ); \
1351 emith_or_r_imm_c(DCOND_NE, sr, T_save); \
1352 EMITH_SJMP_END(DCOND_EQ); \
18b94127 1353}
e898de13 1354
e05b81fc 1355#define FLUSH_CYCLES(sr) \
1356 if (cycles > 0) { \
1357 emith_sub_r_imm(sr, cycles << 12); \
1358 cycles = 0; \
1359 }
1360
00faec9c 1361static void *dr_get_pc_base(u32 pc, int is_slave);
18b94127 1362
e05b81fc 1363static void REGPARM(2) *sh2_translate(SH2 *sh2, int tcache_id)
679af8a3 1364{
18b94127 1365 u32 branch_target_pc[MAX_LOCAL_BRANCHES];
a2b8c5a5 1366 void *branch_target_ptr[MAX_LOCAL_BRANCHES];
18b94127 1367 int branch_target_count = 0;
1368 void *branch_patch_ptr[MAX_LOCAL_BRANCHES];
1369 u32 branch_patch_pc[MAX_LOCAL_BRANCHES];
1370 int branch_patch_count = 0;
04092e32 1371 u32 literal_addr[MAX_LITERALS];
1372 int literal_addr_count = 0;
e1553677 1373 u8 op_flags[BLOCK_INSN_LIMIT];
18b94127 1374 struct {
18b94127 1375 u32 test_irq:1;
bf092a36 1376 u32 pending_branch_direct:1;
1377 u32 pending_branch_indirect:1;
51d86e55 1378 u32 literals_disabled:1;
18b94127 1379 } drcf = { 0, };
1380
bf092a36 1381 // PC of current, first, last SH2 insn
1382 u32 pc, base_pc, end_pc;
1383 u32 end_literals;
228ee974 1384 void *block_entry_ptr;
1385 struct block_desc *block;
23686515 1386 u16 *dr_pc_base;
bf092a36 1387 struct op_data *opd;
18b94127 1388 int blkid_main = 0;
23686515 1389 int skip_op = 0;
18b94127 1390 u32 tmp, tmp2;
1391 int cycles;
228ee974 1392 int i, v;
18b94127 1393 int op;
18b94127 1394
1395 base_pc = sh2->pc;
51d86e55 1396 drcf.literals_disabled = literal_disabled_frames != 0;
679af8a3 1397
23686515 1398 // get base/validate PC
1399 dr_pc_base = dr_get_pc_base(base_pc, sh2->is_slave);
1400 if (dr_pc_base == (void *)-1) {
18b94127 1401 printf("invalid PC, aborting: %08x\n", base_pc);
f4bb5d6b 1402 // FIXME: be less destructive
1403 exit(1);
1404 }
1405
f4bb5d6b 1406 tcache_ptr = tcache_ptrs[tcache_id];
f4bb5d6b 1407
18b94127 1408 // predict tcache overflow
f4bb5d6b 1409 tmp = tcache_ptr - tcache_bases[tcache_id];
44e6452e 1410 if (tmp > tcache_sizes[tcache_id] - MAX_BLOCK_SIZE) {
fcdefcf6 1411 dbg(1, "tcache %d overflow", tcache_id);
18b94127 1412 return NULL;
44e6452e 1413 }
18b94127 1414
bf092a36 1415 // initial passes to disassemble and analyze the block
1416 scan_block(base_pc, sh2->is_slave, op_flags, &end_pc, &end_literals);
569420b0 1417
51d86e55 1418 if (drcf.literals_disabled)
1419 end_literals = end_pc;
1420
1421 block = dr_add_block(base_pc, end_literals - base_pc,
1422 end_pc - base_pc, sh2->is_slave, &blkid_main);
228ee974 1423 if (block == NULL)
569420b0 1424 return NULL;
1425
228ee974 1426 block_entry_ptr = tcache_ptr;
4943816b 1427 dbg(2, "== %csh2 block #%d,%d %08x-%08x -> %p", sh2->is_slave ? 's' : 'm',
228ee974 1428 tcache_id, blkid_main, base_pc, end_pc, block_entry_ptr);
18b94127 1429
00a725a8 1430 dr_link_blocks(&block->entryp[0], tcache_id);
44e6452e 1431
00faec9c 1432 // collect branch_targets that don't land on delay slots
bf092a36 1433 for (pc = base_pc, i = 0; pc < end_pc; i++, pc += 2) {
1434 if (!(op_flags[i] & OF_BTARGET))
00faec9c 1435 continue;
bf092a36 1436 if (op_flags[i] & OF_DELAY_OP) {
1437 op_flags[i] &= ~OF_BTARGET;
18b94127 1438 continue;
1439 }
00faec9c 1440 ADD_TO_ARRAY(branch_target_pc, branch_target_count, pc, break);
e898de13 1441 }
c25d78ee 1442
c25d78ee 1443 if (branch_target_count > 0) {
1444 memset(branch_target_ptr, 0, sizeof(branch_target_ptr[0]) * branch_target_count);
c25d78ee 1445 }
679af8a3 1446
6976a547 1447 // clear stale state after compile errors
1448 rcache_invalidate();
1449
18b94127 1450 // -------------------------------------------------
bf092a36 1451 // 3rd pass: actual compilation
18b94127 1452 pc = base_pc;
bf092a36 1453 cycles = 0;
1454 for (i = 0; pc < end_pc; i++)
679af8a3 1455 {
bf092a36 1456 u32 delay_dep_fw = 0, delay_dep_bk = 0;
18b94127 1457 u32 tmp3, tmp4, sr;
1458
bf092a36 1459 opd = &ops[i];
23686515 1460 op = FETCH_OP(pc);
1461
bf092a36 1462#if (DRC_DEBUG & 2)
1463 insns_compiled++;
1464#endif
1465#if (DRC_DEBUG & 4)
1466 DasmSH2(sh2dasm_buff, pc, op);
1467 printf("%c%08x %04x %s\n", (op_flags[i] & OF_BTARGET) ? '*' : ' ',
1468 pc, op, sh2dasm_buff);
1469#endif
1470
1471 if ((op_flags[i] & OF_BTARGET) || pc == base_pc)
18b94127 1472 {
a2b8c5a5 1473 if (pc != base_pc)
18b94127 1474 {
18b94127 1475 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
e05b81fc 1476 FLUSH_CYCLES(sr);
bf092a36 1477 rcache_flush();
18b94127 1478
bf092a36 1479 // make block entry
228ee974 1480 v = block->entry_count;
1481 if (v < ARRAY_SIZE(block->entryp)) {
1482 block->entryp[v].pc = pc;
1483 block->entryp[v].tcache_ptr = tcache_ptr;
00a725a8 1484 block->entryp[v].links = NULL;
228ee974 1485#if (DRC_DEBUG & 2)
1486 block->entryp[v].block = block;
1487#endif
1488 add_to_hashlist(&block->entryp[v], tcache_id);
1489 block->entry_count++;
04092e32 1490
bf092a36 1491 dbg(2, "-- %csh2 block #%d,%d entry %08x -> %p",
1492 sh2->is_slave ? 's' : 'm', tcache_id, blkid_main,
1493 pc, tcache_ptr);
18b94127 1494
00a725a8 1495 // since we made a block entry, link any other blocks
1496 // that jump to current pc
1497 dr_link_blocks(&block->entryp[v], tcache_id);
228ee974 1498 }
1499 else {
1500 dbg(1, "too many entryp for block #%d,%d pc=%08x",
1501 tcache_id, blkid_main, pc);
1502 }
bf092a36 1503
1504 do_host_disasm(tcache_id);
18b94127 1505 }
bf092a36 1506
1507 v = find_in_array(branch_target_pc, branch_target_count, pc);
1508 if (v >= 0)
1509 branch_target_ptr[v] = tcache_ptr;
18b94127 1510
1511 // must update PC
1512 emit_move_r_imm32(SHR_PC, pc);
1513 rcache_clean();
1514
1515 // check cycles
1516 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
1517 emith_cmp_r_imm(sr, 0);
1518 emith_jump_cond(DCOND_LE, sh2_drc_exit);
23686515 1519 do_host_disasm(tcache_id);
04092e32 1520 rcache_unlock_all();
18b94127 1521 }
e898de13 1522
00faec9c 1523#ifdef DRC_CMP
bf092a36 1524 if (!(op_flags[i] & OF_DELAY_OP)) {
00faec9c 1525 emit_move_r_imm32(SHR_PC, pc);
1526 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1527 FLUSH_CYCLES(sr);
6d797957 1528 rcache_clean();
1529
1530 tmp = rcache_used_hreg_mask();
1531 emith_save_caller_regs(tmp);
00faec9c 1532 emit_do_static_regs(1, 0);
1533 emith_pass_arg_r(0, CONTEXT_REG);
1534 emith_call(do_sh2_cmp);
6d797957 1535 emith_restore_caller_regs(tmp);
00faec9c 1536 }
679af8a3 1537#endif
679af8a3 1538
1539 pc += 2;
679af8a3 1540
23686515 1541 if (skip_op > 0) {
1542 skip_op--;
1543 continue;
1544 }
1545
bf092a36 1546 if (op_flags[i] & OF_DELAY_OP)
1547 {
1548 // handle delay slot dependencies
1549 delay_dep_fw = opd->dest & ops[i-1].source;
1550 delay_dep_bk = opd->source & ops[i-1].dest;
1551 if (delay_dep_fw & BITMASK1(SHR_T)) {
1552 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1553 DELAY_SAVE_T(sr);
1554 }
fa841b44 1555 if (delay_dep_bk & BITMASK1(SHR_PC)) {
1556 if (opd->op != OP_LOAD_POOL && opd->op != OP_MOVA) {
1557 // can only be those 2 really..
f8675e28 1558 elprintf_sh2(sh2, EL_ANOMALY,
1559 "drc: illegal slot insn %04x @ %08x?", op, pc - 2);
fa841b44 1560 }
1561 if (opd->imm != 0)
1562 ; // addr already resolved somehow
1563 else {
1564 switch (ops[i-1].op) {
1565 case OP_BRANCH:
1566 emit_move_r_imm32(SHR_PC, ops[i-1].imm);
1567 break;
1568 case OP_BRANCH_CT:
1569 case OP_BRANCH_CF:
1570 tmp = rcache_get_reg(SHR_PC, RC_GR_WRITE);
1571 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
1572 emith_move_r_imm(tmp, pc);
1573 emith_tst_r_imm(sr, T);
1574 tmp2 = ops[i-1].op == OP_BRANCH_CT ? DCOND_NE : DCOND_EQ;
1575 emith_move_r_imm_c(tmp2, tmp, ops[i-1].imm);
1576 break;
1577 // case OP_BRANCH_R OP_BRANCH_RF - PC already loaded
1578 }
1579 }
1580 }
1581 //if (delay_dep_fw & ~BITMASK1(SHR_T))
1582 // dbg(1, "unhandled delay_dep_fw: %x", delay_dep_fw & ~BITMASK1(SHR_T));
1583 if (delay_dep_bk & ~BITMASK2(SHR_PC, SHR_PR))
bf092a36 1584 dbg(1, "unhandled delay_dep_bk: %x", delay_dep_bk);
1585 }
1586
1587 switch (opd->op)
1588 {
1589 case OP_BRANCH:
1590 case OP_BRANCH_CT:
1591 case OP_BRANCH_CF:
1592 if (opd->dest & BITMASK1(SHR_PR))
1593 emit_move_r_imm32(SHR_PR, pc + 2);
1594 drcf.pending_branch_direct = 1;
1595 goto end_op;
1596
1597 case OP_BRANCH_R:
1598 if (opd->dest & BITMASK1(SHR_PR))
1599 emit_move_r_imm32(SHR_PR, pc + 2);
1600 emit_move_r_r(SHR_PC, opd->rm);
1601 drcf.pending_branch_indirect = 1;
1602 goto end_op;
1603
1604 case OP_BRANCH_RF:
1605 tmp = rcache_get_reg(SHR_PC, RC_GR_WRITE);
1606 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1607 if (opd->dest & BITMASK1(SHR_PR)) {
1608 tmp3 = rcache_get_reg(SHR_PR, RC_GR_WRITE);
1609 emith_move_r_imm(tmp3, pc + 2);
1610 emith_add_r_r_r(tmp, tmp2, tmp3);
1611 }
1612 else {
1613 emith_move_r_r(tmp, tmp2);
1614 emith_add_r_imm(tmp, pc + 2);
1615 }
1616 drcf.pending_branch_indirect = 1;
1617 goto end_op;
1618
1619 case OP_SLEEP:
1620 printf("TODO sleep\n");
1621 goto end_op;
1622
1623 case OP_RTE:
1624 // pop PC
1625 emit_memhandler_read_rr(SHR_PC, SHR_SP, 0, 2);
1626 // pop SR
1627 tmp = rcache_get_reg_arg(0, SHR_SP);
1628 emith_add_r_imm(tmp, 4);
1629 tmp = emit_memhandler_read(2);
1630 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1631 emith_write_sr(sr, tmp);
1632 rcache_free_tmp(tmp);
1633 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
1634 emith_add_r_imm(tmp, 4*2);
1635 drcf.test_irq = 1;
1636 drcf.pending_branch_indirect = 1;
fa841b44 1637 goto end_op;
1638
1639 case OP_LOAD_POOL:
1640#if PROPAGATE_CONSTANTS
51d86e55 1641 if (opd->imm != 0 && opd->imm < end_literals
fa841b44 1642 && literal_addr_count < MAX_LITERALS)
1643 {
1644 ADD_TO_ARRAY(literal_addr, literal_addr_count, opd->imm,);
1645 if (opd->size == 2)
1646 tmp = FETCH32(opd->imm);
1647 else
1648 tmp = (u32)(int)(signed short)FETCH_OP(opd->imm);
1649 gconst_new(GET_Rn(), tmp);
1650 }
1651 else
1652#endif
1653 {
1654 tmp = rcache_get_tmp_arg(0);
1655 if (opd->imm != 0)
1656 emith_move_r_imm(tmp, opd->imm);
1657 else {
1658 // have to calculate read addr from PC
1659 tmp2 = rcache_get_reg(SHR_PC, RC_GR_READ);
1660 if (opd->size == 2) {
1661 emith_add_r_r_imm(tmp, tmp2, 2 + (op & 0xff) * 4);
1662 emith_bic_r_imm(tmp, 3);
1663 }
1664 else
1665 emith_add_r_r_imm(tmp, tmp2, 2 + (op & 0xff) * 2);
1666 }
1667 tmp2 = emit_memhandler_read(opd->size);
1668 tmp3 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1669 if (opd->size == 2)
1670 emith_move_r_r(tmp3, tmp2);
1671 else
1672 emith_sext(tmp3, tmp2, 16);
1673 rcache_free_tmp(tmp2);
1674 }
1675 goto end_op;
1676
1677 case OP_MOVA:
1678 if (opd->imm != 0)
1679 emit_move_r_imm32(SHR_R0, opd->imm);
1680 else {
1681 tmp = rcache_get_reg(SHR_R0, RC_GR_WRITE);
1682 tmp2 = rcache_get_reg(SHR_PC, RC_GR_READ);
1683 emith_add_r_r_imm(tmp, tmp2, 2 + (op & 0xff) * 4);
1684 emith_bic_r_imm(tmp, 3);
1685 }
1686 goto end_op;
bf092a36 1687 }
1688
679af8a3 1689 switch ((op >> 12) & 0x0f)
1690 {
3863edbd 1691 /////////////////////////////////////////////
679af8a3 1692 case 0x00:
80599a42 1693 switch (op & 0x0f)
1694 {
1695 case 0x02:
1696 tmp = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1697 switch (GET_Fx())
1698 {
1699 case 0: // STC SR,Rn 0000nnnn00000010
1700 tmp2 = SHR_SR;
1701 break;
1702 case 1: // STC GBR,Rn 0000nnnn00010010
1703 tmp2 = SHR_GBR;
1704 break;
1705 case 2: // STC VBR,Rn 0000nnnn00100010
1706 tmp2 = SHR_VBR;
1707 break;
1708 default:
1709 goto default_;
1710 }
ed8cf79b 1711 tmp3 = rcache_get_reg(tmp2, RC_GR_READ);
1712 emith_move_r_r(tmp, tmp3);
1713 if (tmp2 == SHR_SR)
18b94127 1714 emith_clear_msb(tmp, tmp, 22); // reserved bits defined by ISA as 0
80599a42 1715 goto end_op;
80599a42 1716 case 0x04: // MOV.B Rm,@(R0,Rn) 0000nnnnmmmm0100
1717 case 0x05: // MOV.W Rm,@(R0,Rn) 0000nnnnmmmm0101
1718 case 0x06: // MOV.L Rm,@(R0,Rn) 0000nnnnmmmm0110
e05b81fc 1719 rcache_clean();
1720 tmp = rcache_get_reg_arg(1, GET_Rm());
1721 tmp2 = rcache_get_reg_arg(0, SHR_R0);
1722 tmp3 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1723 emith_add_r_r(tmp2, tmp3);
001f73a0 1724 emit_memhandler_write(op & 3);
80599a42 1725 goto end_op;
1726 case 0x07:
1727 // MUL.L Rm,Rn 0000nnnnmmmm0111
1728 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
1729 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1730 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1731 emith_mul(tmp3, tmp2, tmp);
80599a42 1732 goto end_op;
1733 case 0x08:
80599a42 1734 switch (GET_Fx())
1735 {
1736 case 0: // CLRT 0000000000001000
8796b7ee 1737 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1738 emith_bic_r_imm(sr, T);
80599a42 1739 break;
1740 case 1: // SETT 0000000000011000
8796b7ee 1741 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1742 emith_or_r_imm(sr, T);
80599a42 1743 break;
1744 case 2: // CLRMAC 0000000000101000
23686515 1745 emit_move_r_imm32(SHR_MACL, 0);
1746 emit_move_r_imm32(SHR_MACH, 0);
80599a42 1747 break;
1748 default:
1749 goto default_;
1750 }
1751 goto end_op;
e898de13 1752 case 0x09:
80599a42 1753 switch (GET_Fx())
1754 {
1755 case 0: // NOP 0000000000001001
80599a42 1756 break;
1757 case 1: // DIV0U 0000000000011001
8796b7ee 1758 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1759 emith_bic_r_imm(sr, M|Q|T);
80599a42 1760 break;
1761 case 2: // MOVT Rn 0000nnnn00101001
8796b7ee 1762 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
80599a42 1763 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
8796b7ee 1764 emith_clear_msb(tmp2, sr, 31);
80599a42 1765 break;
1766 default:
1767 goto default_;
1768 }
1769 goto end_op;
1770 case 0x0a:
1771 tmp = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
1772 switch (GET_Fx())
1773 {
1774 case 0: // STS MACH,Rn 0000nnnn00001010
ed8cf79b 1775 tmp2 = SHR_MACH;
80599a42 1776 break;
1777 case 1: // STS MACL,Rn 0000nnnn00011010
ed8cf79b 1778 tmp2 = SHR_MACL;
80599a42 1779 break;
1780 case 2: // STS PR,Rn 0000nnnn00101010
ed8cf79b 1781 tmp2 = SHR_PR;
80599a42 1782 break;
1783 default:
1784 goto default_;
1785 }
ed8cf79b 1786 tmp2 = rcache_get_reg(tmp2, RC_GR_READ);
80599a42 1787 emith_move_r_r(tmp, tmp2);
e898de13 1788 goto end_op;
80599a42 1789 case 0x0c: // MOV.B @(R0,Rm),Rn 0000nnnnmmmm1100
1790 case 0x0d: // MOV.W @(R0,Rm),Rn 0000nnnnmmmm1101
1791 case 0x0e: // MOV.L @(R0,Rm),Rn 0000nnnnmmmm1110
52d759c3 1792 tmp = emit_indirect_indexed_read(SHR_R0, GET_Rm(), op & 3);
80599a42 1793 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
80599a42 1794 if ((op & 3) != 2) {
1795 emith_sext(tmp2, tmp, (op & 1) ? 16 : 8);
1796 } else
1797 emith_move_r_r(tmp2, tmp);
52d759c3 1798 rcache_free_tmp(tmp);
80599a42 1799 goto end_op;
1800 case 0x0f: // MAC.L @Rm+,@Rn+ 0000nnnnmmmm1111
f0d7b1fa 1801 emit_indirect_read_double(&tmp, &tmp2, GET_Rn(), GET_Rm(), 2);
f0d7b1fa 1802 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_RMW);
1803 /* MS 16 MAC bits unused if saturated */
23686515 1804 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
8796b7ee 1805 emith_tst_r_imm(sr, S);
f0d7b1fa 1806 EMITH_SJMP_START(DCOND_EQ);
1807 emith_clear_msb_c(DCOND_NE, tmp4, tmp4, 16);
1808 EMITH_SJMP_END(DCOND_EQ);
23686515 1809 rcache_unlock(sr);
f0d7b1fa 1810 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_RMW); // might evict SR
1811 emith_mula_s64(tmp3, tmp4, tmp, tmp2);
f0d7b1fa 1812 rcache_free_tmp(tmp2);
8796b7ee 1813 sr = rcache_get_reg(SHR_SR, RC_GR_READ); // reget just in case
1814 emith_tst_r_imm(sr, S);
1815
1816 EMITH_JMP_START(DCOND_EQ);
1817 emith_asr(tmp, tmp4, 15);
1818 emith_cmp_r_imm(tmp, -1); // negative overflow (0x80000000..0xffff7fff)
1819 EMITH_SJMP_START(DCOND_GE);
1820 emith_move_r_imm_c(DCOND_LT, tmp4, 0x8000);
1821 emith_move_r_imm_c(DCOND_LT, tmp3, 0x0000);
1822 EMITH_SJMP_END(DCOND_GE);
1823 emith_cmp_r_imm(tmp, 0); // positive overflow (0x00008000..0x7fffffff)
1824 EMITH_SJMP_START(DCOND_LE);
1825 emith_move_r_imm_c(DCOND_GT, tmp4, 0x00007fff);
1826 emith_move_r_imm_c(DCOND_GT, tmp3, 0xffffffff);
1827 EMITH_SJMP_END(DCOND_LE);
1828 EMITH_JMP_END(DCOND_EQ);
1829
1830 rcache_free_tmp(tmp);
f0d7b1fa 1831 goto end_op;
80599a42 1832 }
1833 goto default_;
1834
3863edbd 1835 /////////////////////////////////////////////
80599a42 1836 case 0x01:
1837 // MOV.L Rm,@(disp,Rn) 0001nnnnmmmmdddd
1838 rcache_clean();
1839 tmp = rcache_get_reg_arg(0, GET_Rn());
1840 tmp2 = rcache_get_reg_arg(1, GET_Rm());
23686515 1841 if (op & 0x0f)
1842 emith_add_r_imm(tmp, (op & 0x0f) * 4);
001f73a0 1843 emit_memhandler_write(2);
80599a42 1844 goto end_op;
1845
1846 case 0x02:
1847 switch (op & 0x0f)
1848 {
1849 case 0x00: // MOV.B Rm,@Rn 0010nnnnmmmm0000
1850 case 0x01: // MOV.W Rm,@Rn 0010nnnnmmmm0001
1851 case 0x02: // MOV.L Rm,@Rn 0010nnnnmmmm0010
1852 rcache_clean();
1853 rcache_get_reg_arg(0, GET_Rn());
1854 rcache_get_reg_arg(1, GET_Rm());
001f73a0 1855 emit_memhandler_write(op & 3);
80599a42 1856 goto end_op;
f2dde871 1857 case 0x04: // MOV.B Rm,@-Rn 0010nnnnmmmm0100
1858 case 0x05: // MOV.W Rm,@-Rn 0010nnnnmmmm0101
1859 case 0x06: // MOV.L Rm,@-Rn 0010nnnnmmmm0110
fa841b44 1860 rcache_get_reg_arg(1, GET_Rm()); // for Rm == Rn
80599a42 1861 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1862 emith_sub_r_imm(tmp, (1 << (op & 3)));
1863 rcache_clean();
1864 rcache_get_reg_arg(0, GET_Rn());
001f73a0 1865 emit_memhandler_write(op & 3);
80599a42 1866 goto end_op;
1867 case 0x07: // DIV0S Rm,Rn 0010nnnnmmmm0111
8796b7ee 1868 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
80599a42 1869 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1870 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 1871 emith_bic_r_imm(sr, M|Q|T);
80599a42 1872 emith_tst_r_imm(tmp2, (1<<31));
1873 EMITH_SJMP_START(DCOND_EQ);
8796b7ee 1874 emith_or_r_imm_c(DCOND_NE, sr, Q);
80599a42 1875 EMITH_SJMP_END(DCOND_EQ);
1876 emith_tst_r_imm(tmp3, (1<<31));
1877 EMITH_SJMP_START(DCOND_EQ);
8796b7ee 1878 emith_or_r_imm_c(DCOND_NE, sr, M);
80599a42 1879 EMITH_SJMP_END(DCOND_EQ);
1880 emith_teq_r_r(tmp2, tmp3);
1881 EMITH_SJMP_START(DCOND_PL);
8796b7ee 1882 emith_or_r_imm_c(DCOND_MI, sr, T);
80599a42 1883 EMITH_SJMP_END(DCOND_PL);
1884 goto end_op;
3863edbd 1885 case 0x08: // TST Rm,Rn 0010nnnnmmmm1000
8796b7ee 1886 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
3863edbd 1887 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1888 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 1889 emith_bic_r_imm(sr, T);
3863edbd 1890 emith_tst_r_r(tmp2, tmp3);
8796b7ee 1891 emit_or_t_if_eq(sr);
3863edbd 1892 goto end_op;
1893 case 0x09: // AND Rm,Rn 0010nnnnmmmm1001
1894 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1895 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1896 emith_and_r_r(tmp, tmp2);
1897 goto end_op;
1898 case 0x0a: // XOR Rm,Rn 0010nnnnmmmm1010
1899 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1900 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1901 emith_eor_r_r(tmp, tmp2);
1902 goto end_op;
1903 case 0x0b: // OR Rm,Rn 0010nnnnmmmm1011
1904 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1905 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1906 emith_or_r_r(tmp, tmp2);
1907 goto end_op;
1908 case 0x0c: // CMP/STR Rm,Rn 0010nnnnmmmm1100
1909 tmp = rcache_get_tmp();
1910 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1911 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1912 emith_eor_r_r_r(tmp, tmp2, tmp3);
8796b7ee 1913 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
1914 emith_bic_r_imm(sr, T);
3863edbd 1915 emith_tst_r_imm(tmp, 0x000000ff);
fa841b44 1916 emit_or_t_if_eq(sr);
3863edbd 1917 emith_tst_r_imm(tmp, 0x0000ff00);
fa841b44 1918 emit_or_t_if_eq(sr);
3863edbd 1919 emith_tst_r_imm(tmp, 0x00ff0000);
fa841b44 1920 emit_or_t_if_eq(sr);
3863edbd 1921 emith_tst_r_imm(tmp, 0xff000000);
fa841b44 1922 emit_or_t_if_eq(sr);
3863edbd 1923 rcache_free_tmp(tmp);
1924 goto end_op;
1925 case 0x0d: // XTRCT Rm,Rn 0010nnnnmmmm1101
1926 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
1927 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1928 emith_lsr(tmp, tmp, 16);
f0d7b1fa 1929 emith_or_r_r_lsl(tmp, tmp2, 16);
3863edbd 1930 goto end_op;
1931 case 0x0e: // MULU.W Rm,Rn 0010nnnnmmmm1110
1932 case 0x0f: // MULS.W Rm,Rn 0010nnnnmmmm1111
1933 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1934 tmp = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
1935 if (op & 1) {
1936 emith_sext(tmp, tmp2, 16);
1937 } else
1938 emith_clear_msb(tmp, tmp2, 16);
1939 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
1940 tmp2 = rcache_get_tmp();
1941 if (op & 1) {
1942 emith_sext(tmp2, tmp3, 16);
1943 } else
1944 emith_clear_msb(tmp2, tmp3, 16);
1945 emith_mul(tmp, tmp, tmp2);
1946 rcache_free_tmp(tmp2);
3863edbd 1947 goto end_op;
679af8a3 1948 }
1949 goto default_;
1950
3863edbd 1951 /////////////////////////////////////////////
1952 case 0x03:
1953 switch (op & 0x0f)
1954 {
1955 case 0x00: // CMP/EQ Rm,Rn 0011nnnnmmmm0000
1956 case 0x02: // CMP/HS Rm,Rn 0011nnnnmmmm0010
1957 case 0x03: // CMP/GE Rm,Rn 0011nnnnmmmm0011
1958 case 0x06: // CMP/HI Rm,Rn 0011nnnnmmmm0110
1959 case 0x07: // CMP/GT Rm,Rn 0011nnnnmmmm0111
8796b7ee 1960 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
3863edbd 1961 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_READ);
1962 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 1963 emith_bic_r_imm(sr, T);
3863edbd 1964 emith_cmp_r_r(tmp2, tmp3);
1965 switch (op & 0x07)
1966 {
1967 case 0x00: // CMP/EQ
8796b7ee 1968 emit_or_t_if_eq(sr);
3863edbd 1969 break;
1970 case 0x02: // CMP/HS
1971 EMITH_SJMP_START(DCOND_LO);
8796b7ee 1972 emith_or_r_imm_c(DCOND_HS, sr, T);
3863edbd 1973 EMITH_SJMP_END(DCOND_LO);
1974 break;
1975 case 0x03: // CMP/GE
1976 EMITH_SJMP_START(DCOND_LT);
8796b7ee 1977 emith_or_r_imm_c(DCOND_GE, sr, T);
3863edbd 1978 EMITH_SJMP_END(DCOND_LT);
1979 break;
1980 case 0x06: // CMP/HI
1981 EMITH_SJMP_START(DCOND_LS);
8796b7ee 1982 emith_or_r_imm_c(DCOND_HI, sr, T);
3863edbd 1983 EMITH_SJMP_END(DCOND_LS);
1984 break;
1985 case 0x07: // CMP/GT
1986 EMITH_SJMP_START(DCOND_LE);
8796b7ee 1987 emith_or_r_imm_c(DCOND_GT, sr, T);
3863edbd 1988 EMITH_SJMP_END(DCOND_LE);
1989 break;
1990 }
1991 goto end_op;
1992 case 0x04: // DIV1 Rm,Rn 0011nnnnmmmm0100
f0d7b1fa 1993 // Q1 = carry(Rn = (Rn << 1) | T)
1994 // if Q ^ M
1995 // Q2 = carry(Rn += Rm)
1996 // else
1997 // Q2 = carry(Rn -= Rm)
1998 // Q = M ^ Q1 ^ Q2
1999 // T = (Q == M) = !(Q ^ M) = !(Q1 ^ Q2)
2000 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2001 tmp3 = rcache_get_reg(GET_Rm(), RC_GR_READ);
2002 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
8b4f38f4 2003 emith_tpop_carry(sr, 0);
f0d7b1fa 2004 emith_adcf_r_r(tmp2, tmp2);
8b4f38f4 2005 emith_tpush_carry(sr, 0); // keep Q1 in T for now
f0d7b1fa 2006 tmp4 = rcache_get_tmp();
2007 emith_and_r_r_imm(tmp4, sr, M);
2008 emith_eor_r_r_lsr(sr, tmp4, M_SHIFT - Q_SHIFT); // Q ^= M
2009 rcache_free_tmp(tmp4);
2010 // add or sub, invert T if carry to get Q1 ^ Q2
2011 // in: (Q ^ M) passed in Q, Q1 in T
2012 emith_sh2_div1_step(tmp2, tmp3, sr);
18b94127 2013 emith_bic_r_imm(sr, Q);
2014 emith_tst_r_imm(sr, M);
2015 EMITH_SJMP_START(DCOND_EQ);
2016 emith_or_r_imm_c(DCOND_NE, sr, Q); // Q = M
2017 EMITH_SJMP_END(DCOND_EQ);
2018 emith_tst_r_imm(sr, T);
2019 EMITH_SJMP_START(DCOND_EQ);
2020 emith_eor_r_imm_c(DCOND_NE, sr, Q); // Q = M ^ Q1 ^ Q2
2021 EMITH_SJMP_END(DCOND_EQ);
2022 emith_eor_r_imm(sr, T); // T = !(Q1 ^ Q2)
f0d7b1fa 2023 goto end_op;
3863edbd 2024 case 0x05: // DMULU.L Rm,Rn 0011nnnnmmmm0101
2025 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
2026 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
2027 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
2028 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_WRITE);
2029 emith_mul_u64(tmp3, tmp4, tmp, tmp2);
2030 goto end_op;
2031 case 0x08: // SUB Rm,Rn 0011nnnnmmmm1000
2032 case 0x0c: // ADD Rm,Rn 0011nnnnmmmm1100
2033 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2034 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
2035 if (op & 4) {
2036 emith_add_r_r(tmp, tmp2);
2037 } else
2038 emith_sub_r_r(tmp, tmp2);
2039 goto end_op;
2040 case 0x0a: // SUBC Rm,Rn 0011nnnnmmmm1010
2041 case 0x0e: // ADDC Rm,Rn 0011nnnnmmmm1110
2042 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2043 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 2044 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
3863edbd 2045 if (op & 4) { // adc
8b4f38f4 2046 emith_tpop_carry(sr, 0);
3863edbd 2047 emith_adcf_r_r(tmp, tmp2);
8b4f38f4 2048 emith_tpush_carry(sr, 0);
3863edbd 2049 } else {
8b4f38f4 2050 emith_tpop_carry(sr, 1);
3863edbd 2051 emith_sbcf_r_r(tmp, tmp2);
8b4f38f4 2052 emith_tpush_carry(sr, 1);
3863edbd 2053 }
3863edbd 2054 goto end_op;
2055 case 0x0b: // SUBV Rm,Rn 0011nnnnmmmm1011
2056 case 0x0f: // ADDV Rm,Rn 0011nnnnmmmm1111
2057 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2058 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
8796b7ee 2059 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2060 emith_bic_r_imm(sr, T);
3863edbd 2061 if (op & 4) {
2062 emith_addf_r_r(tmp, tmp2);
2063 } else
2064 emith_subf_r_r(tmp, tmp2);
2065 EMITH_SJMP_START(DCOND_VC);
8796b7ee 2066 emith_or_r_imm_c(DCOND_VS, sr, T);
3863edbd 2067 EMITH_SJMP_END(DCOND_VC);
2068 goto end_op;
2069 case 0x0d: // DMULS.L Rm,Rn 0011nnnnmmmm1101
2070 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
2071 tmp2 = rcache_get_reg(GET_Rm(), RC_GR_READ);
2072 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_WRITE);
2073 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_WRITE);
2074 emith_mul_s64(tmp3, tmp4, tmp, tmp2);
2075 goto end_op;
2076 }
2077 goto default_;
2078
2079 /////////////////////////////////////////////
679af8a3 2080 case 0x04:
3863edbd 2081 switch (op & 0x0f)
2082 {
c18edb34 2083 case 0x00:
3863edbd 2084 switch (GET_Fx())
2085 {
2086 case 0: // SHLL Rn 0100nnnn00000000
2087 case 2: // SHAL Rn 0100nnnn00100000
8796b7ee 2088 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2089 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
8b4f38f4 2090 emith_tpop_carry(sr, 0); // dummy
3863edbd 2091 emith_lslf(tmp, tmp, 1);
8b4f38f4 2092 emith_tpush_carry(sr, 0);
3863edbd 2093 goto end_op;
2094 case 1: // DT Rn 0100nnnn00010000
8796b7ee 2095 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
fa841b44 2096#if 0 // scheduling needs tuning
23686515 2097 if (FETCH_OP(pc) == 0x8bfd) { // BF #-2
2098 if (gconst_get(GET_Rn(), &tmp)) {
2099 // XXX: limit burned cycles
2100 emit_move_r_imm32(GET_Rn(), 0);
2101 emith_or_r_imm(sr, T);
a2b8c5a5 2102 cycles += tmp * 4 + 1; // +1 syncs with noconst version, not sure why
23686515 2103 skip_op = 1;
2104 }
2105 else
2106 emith_sh2_dtbf_loop();
2107 goto end_op;
2108 }
00faec9c 2109#endif
23686515 2110 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
8796b7ee 2111 emith_bic_r_imm(sr, T);
3863edbd 2112 emith_subf_r_imm(tmp, 1);
8796b7ee 2113 emit_or_t_if_eq(sr);
80599a42 2114 goto end_op;
2115 }
3863edbd 2116 goto default_;
ed8cf79b 2117 case 0x01:
2118 switch (GET_Fx())
2119 {
2120 case 0: // SHLR Rn 0100nnnn00000001
2121 case 2: // SHAR Rn 0100nnnn00100001
8796b7ee 2122 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2123 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
8b4f38f4 2124 emith_tpop_carry(sr, 0); // dummy
ed8cf79b 2125 if (op & 0x20) {
2126 emith_asrf(tmp, tmp, 1);
2127 } else
2128 emith_lsrf(tmp, tmp, 1);
8b4f38f4 2129 emith_tpush_carry(sr, 0);
ed8cf79b 2130 goto end_op;
2131 case 1: // CMP/PZ Rn 0100nnnn00010001
bf092a36 2132 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
8796b7ee 2133 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2134 emith_bic_r_imm(sr, T);
ed8cf79b 2135 emith_cmp_r_imm(tmp, 0);
2136 EMITH_SJMP_START(DCOND_LT);
8796b7ee 2137 emith_or_r_imm_c(DCOND_GE, sr, T);
ed8cf79b 2138 EMITH_SJMP_END(DCOND_LT);
2139 goto end_op;
2140 }
2141 goto default_;
2142 case 0x02:
2143 case 0x03:
2144 switch (op & 0x3f)
2145 {
f2dde871 2146 case 0x02: // STS.L MACH,@-Rn 0100nnnn00000010
ed8cf79b 2147 tmp = SHR_MACH;
2148 break;
f2dde871 2149 case 0x12: // STS.L MACL,@-Rn 0100nnnn00010010
ed8cf79b 2150 tmp = SHR_MACL;
2151 break;
f2dde871 2152 case 0x22: // STS.L PR,@-Rn 0100nnnn00100010
ed8cf79b 2153 tmp = SHR_PR;
2154 break;
f2dde871 2155 case 0x03: // STC.L SR,@-Rn 0100nnnn00000011
ed8cf79b 2156 tmp = SHR_SR;
2157 break;
f2dde871 2158 case 0x13: // STC.L GBR,@-Rn 0100nnnn00010011
ed8cf79b 2159 tmp = SHR_GBR;
2160 break;
f2dde871 2161 case 0x23: // STC.L VBR,@-Rn 0100nnnn00100011
ed8cf79b 2162 tmp = SHR_VBR;
2163 break;
2164 default:
e898de13 2165 goto default_;
ed8cf79b 2166 }
2167 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2168 emith_sub_r_imm(tmp2, 4);
2169 rcache_clean();
2170 rcache_get_reg_arg(0, GET_Rn());
2171 tmp3 = rcache_get_reg_arg(1, tmp);
2172 if (tmp == SHR_SR)
e05b81fc 2173 emith_clear_msb(tmp3, tmp3, 22); // reserved bits defined by ISA as 0
001f73a0 2174 emit_memhandler_write(2);
ed8cf79b 2175 goto end_op;
2176 case 0x04:
2177 case 0x05:
2178 switch (op & 0x3f)
2179 {
2180 case 0x04: // ROTL Rn 0100nnnn00000100
2181 case 0x05: // ROTR Rn 0100nnnn00000101
8796b7ee 2182 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2183 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
8b4f38f4 2184 emith_tpop_carry(sr, 0); // dummy
ed8cf79b 2185 if (op & 1) {
2186 emith_rorf(tmp, tmp, 1);
2187 } else
2188 emith_rolf(tmp, tmp, 1);
8b4f38f4 2189 emith_tpush_carry(sr, 0);
ed8cf79b 2190 goto end_op;
2191 case 0x24: // ROTCL Rn 0100nnnn00100100
2192 case 0x25: // ROTCR Rn 0100nnnn00100101
8796b7ee 2193 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2194 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
8b4f38f4 2195 emith_tpop_carry(sr, 0);
ed8cf79b 2196 if (op & 1) {
2197 emith_rorcf(tmp);
2198 } else
2199 emith_rolcf(tmp);
8b4f38f4 2200 emith_tpush_carry(sr, 0);
ed8cf79b 2201 goto end_op;
2202 case 0x15: // CMP/PL Rn 0100nnnn00010101
8796b7ee 2203 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2204 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2205 emith_bic_r_imm(sr, T);
ed8cf79b 2206 emith_cmp_r_imm(tmp, 0);
2207 EMITH_SJMP_START(DCOND_LE);
8796b7ee 2208 emith_or_r_imm_c(DCOND_GT, sr, T);
ed8cf79b 2209 EMITH_SJMP_END(DCOND_LE);
2210 goto end_op;
2211 }
e898de13 2212 goto default_;
ed8cf79b 2213 case 0x06:
2214 case 0x07:
2215 switch (op & 0x3f)
2216 {
2217 case 0x06: // LDS.L @Rm+,MACH 0100mmmm00000110
2218 tmp = SHR_MACH;
2219 break;
2220 case 0x16: // LDS.L @Rm+,MACL 0100mmmm00010110
2221 tmp = SHR_MACL;
2222 break;
2223 case 0x26: // LDS.L @Rm+,PR 0100mmmm00100110
2224 tmp = SHR_PR;
2225 break;
2226 case 0x07: // LDC.L @Rm+,SR 0100mmmm00000111
2227 tmp = SHR_SR;
2228 break;
2229 case 0x17: // LDC.L @Rm+,GBR 0100mmmm00010111
2230 tmp = SHR_GBR;
2231 break;
2232 case 0x27: // LDC.L @Rm+,VBR 0100mmmm00100111
2233 tmp = SHR_VBR;
2234 break;
2235 default:
2236 goto default_;
2237 }
ed8cf79b 2238 rcache_get_reg_arg(0, GET_Rn());
2239 tmp2 = emit_memhandler_read(2);
2240 if (tmp == SHR_SR) {
18b94127 2241 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 2242 emith_write_sr(sr, tmp2);
2243 drcf.test_irq = 1;
ed8cf79b 2244 } else {
2245 tmp = rcache_get_reg(tmp, RC_GR_WRITE);
2246 emith_move_r_r(tmp, tmp2);
2247 }
2248 rcache_free_tmp(tmp2);
2249 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2250 emith_add_r_imm(tmp, 4);
2251 goto end_op;
52d759c3 2252 case 0x08:
2253 case 0x09:
2254 switch (GET_Fx())
2255 {
2256 case 0:
2257 // SHLL2 Rn 0100nnnn00001000
2258 // SHLR2 Rn 0100nnnn00001001
2259 tmp = 2;
2260 break;
2261 case 1:
2262 // SHLL8 Rn 0100nnnn00011000
2263 // SHLR8 Rn 0100nnnn00011001
2264 tmp = 8;
2265 break;
2266 case 2:
2267 // SHLL16 Rn 0100nnnn00101000
2268 // SHLR16 Rn 0100nnnn00101001
2269 tmp = 16;
2270 break;
2271 default:
2272 goto default_;
2273 }
2274 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2275 if (op & 1) {
2276 emith_lsr(tmp2, tmp2, tmp);
2277 } else
2278 emith_lsl(tmp2, tmp2, tmp);
2279 goto end_op;
2280 case 0x0a:
2281 switch (GET_Fx())
2282 {
2283 case 0: // LDS Rm,MACH 0100mmmm00001010
2284 tmp2 = SHR_MACH;
2285 break;
2286 case 1: // LDS Rm,MACL 0100mmmm00011010
2287 tmp2 = SHR_MACL;
2288 break;
2289 case 2: // LDS Rm,PR 0100mmmm00101010
2290 tmp2 = SHR_PR;
2291 break;
2292 default:
2293 goto default_;
2294 }
2295 emit_move_r_r(tmp2, GET_Rn());
2296 goto end_op;
e898de13 2297 case 0x0b:
52d759c3 2298 switch (GET_Fx())
2299 {
52d759c3 2300 case 1: // TAS.B @Rn 0100nnnn00011011
2301 // XXX: is TAS working on 32X?
52d759c3 2302 rcache_get_reg_arg(0, GET_Rn());
8796b7ee 2303 tmp = emit_memhandler_read(0);
2304 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2305 emith_bic_r_imm(sr, T);
52d759c3 2306 emith_cmp_r_imm(tmp, 0);
8796b7ee 2307 emit_or_t_if_eq(sr);
52d759c3 2308 rcache_clean();
2309 emith_or_r_imm(tmp, 0x80);
2310 tmp2 = rcache_get_tmp_arg(1); // assuming it differs to tmp
2311 emith_move_r_r(tmp2, tmp);
2312 rcache_free_tmp(tmp);
2313 rcache_get_reg_arg(0, GET_Rn());
001f73a0 2314 emit_memhandler_write(0);
52d759c3 2315 break;
2316 default:
e898de13 2317 goto default_;
52d759c3 2318 }
e898de13 2319 goto end_op;
2320 case 0x0e:
52d759c3 2321 tmp = rcache_get_reg(GET_Rn(), RC_GR_READ);
2322 switch (GET_Fx())
2323 {
2324 case 0: // LDC Rm,SR 0100mmmm00001110
2325 tmp2 = SHR_SR;
2326 break;
2327 case 1: // LDC Rm,GBR 0100mmmm00011110
2328 tmp2 = SHR_GBR;
2329 break;
2330 case 2: // LDC Rm,VBR 0100mmmm00101110
2331 tmp2 = SHR_VBR;
2332 break;
2333 default:
e898de13 2334 goto default_;
52d759c3 2335 }
2336 if (tmp2 == SHR_SR) {
18b94127 2337 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
18b94127 2338 emith_write_sr(sr, tmp);
2339 drcf.test_irq = 1;
52d759c3 2340 } else {
2341 tmp2 = rcache_get_reg(tmp2, RC_GR_WRITE);
2342 emith_move_r_r(tmp2, tmp);
2343 }
2344 goto end_op;
2345 case 0x0f:
23686515 2346 // MAC.W @Rm+,@Rn+ 0100nnnnmmmm1111
f0d7b1fa 2347 emit_indirect_read_double(&tmp, &tmp2, GET_Rn(), GET_Rm(), 1);
2348 emith_sext(tmp, tmp, 16);
2349 emith_sext(tmp2, tmp2, 16);
2350 tmp3 = rcache_get_reg(SHR_MACL, RC_GR_RMW);
2351 tmp4 = rcache_get_reg(SHR_MACH, RC_GR_RMW);
2352 emith_mula_s64(tmp3, tmp4, tmp, tmp2);
f0d7b1fa 2353 rcache_free_tmp(tmp2);
f0d7b1fa 2354 // XXX: MACH should be untouched when S is set?
8796b7ee 2355 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2356 emith_tst_r_imm(sr, S);
2357 EMITH_JMP_START(DCOND_EQ);
2358
2359 emith_asr(tmp, tmp3, 31);
2360 emith_eorf_r_r(tmp, tmp4); // tmp = ((signed)macl >> 31) ^ mach
2361 EMITH_JMP_START(DCOND_EQ);
2362 emith_move_r_imm(tmp3, 0x80000000);
2363 emith_tst_r_r(tmp4, tmp4);
2364 EMITH_SJMP_START(DCOND_MI);
2365 emith_sub_r_imm_c(DCOND_PL, tmp3, 1); // positive
2366 EMITH_SJMP_END(DCOND_MI);
2367 EMITH_JMP_END(DCOND_EQ);
2368
2369 EMITH_JMP_END(DCOND_EQ);
2370 rcache_free_tmp(tmp);
f0d7b1fa 2371 goto end_op;
679af8a3 2372 }
2373 goto default_;
2374
52d759c3 2375 /////////////////////////////////////////////
2376 case 0x05:
2377 // MOV.L @(disp,Rm),Rn 0101nnnnmmmmdddd
23686515 2378 emit_memhandler_read_rr(GET_Rn(), GET_Rm(), (op & 0x0f) * 4, 2);
52d759c3 2379 goto end_op;
2380
2381 /////////////////////////////////////////////
2382 case 0x06:
2383 switch (op & 0x0f)
2384 {
2385 case 0x00: // MOV.B @Rm,Rn 0110nnnnmmmm0000
2386 case 0x01: // MOV.W @Rm,Rn 0110nnnnmmmm0001
2387 case 0x02: // MOV.L @Rm,Rn 0110nnnnmmmm0010
2388 case 0x04: // MOV.B @Rm+,Rn 0110nnnnmmmm0100
2389 case 0x05: // MOV.W @Rm+,Rn 0110nnnnmmmm0101
2390 case 0x06: // MOV.L @Rm+,Rn 0110nnnnmmmm0110
23686515 2391 emit_memhandler_read_rr(GET_Rn(), GET_Rm(), 0, op & 3);
52d759c3 2392 if ((op & 7) >= 4 && GET_Rn() != GET_Rm()) {
2393 tmp = rcache_get_reg(GET_Rm(), RC_GR_RMW);
2394 emith_add_r_imm(tmp, (1 << (op & 3)));
2395 }
2396 goto end_op;
2397 case 0x03:
2398 case 0x07 ... 0x0f:
2399 tmp = rcache_get_reg(GET_Rm(), RC_GR_READ);
2400 tmp2 = rcache_get_reg(GET_Rn(), RC_GR_WRITE);
2401 switch (op & 0x0f)
2402 {
2403 case 0x03: // MOV Rm,Rn 0110nnnnmmmm0011
2404 emith_move_r_r(tmp2, tmp);
2405 break;
2406 case 0x07: // NOT Rm,Rn 0110nnnnmmmm0111
2407 emith_mvn_r_r(tmp2, tmp);
2408 break;
2409 case 0x08: // SWAP.B Rm,Rn 0110nnnnmmmm1000
2410 tmp3 = tmp2;
2411 if (tmp == tmp2)
2412 tmp3 = rcache_get_tmp();
2413 tmp4 = rcache_get_tmp();
2414 emith_lsr(tmp3, tmp, 16);
f0d7b1fa 2415 emith_or_r_r_lsl(tmp3, tmp, 24);
52d759c3 2416 emith_and_r_r_imm(tmp4, tmp, 0xff00);
f0d7b1fa 2417 emith_or_r_r_lsl(tmp3, tmp4, 8);
52d759c3 2418 emith_rol(tmp2, tmp3, 16);
2419 rcache_free_tmp(tmp4);
2420 if (tmp == tmp2)
2421 rcache_free_tmp(tmp3);
2422 break;
2423 case 0x09: // SWAP.W Rm,Rn 0110nnnnmmmm1001
2424 emith_rol(tmp2, tmp, 16);
2425 break;
2426 case 0x0a: // NEGC Rm,Rn 0110nnnnmmmm1010
8796b7ee 2427 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
8b4f38f4 2428 emith_tpop_carry(sr, 1);
52d759c3 2429 emith_negcf_r_r(tmp2, tmp);
8b4f38f4 2430 emith_tpush_carry(sr, 1);
52d759c3 2431 break;
2432 case 0x0b: // NEG Rm,Rn 0110nnnnmmmm1011
2433 emith_neg_r_r(tmp2, tmp);
2434 break;
2435 case 0x0c: // EXTU.B Rm,Rn 0110nnnnmmmm1100
2436 emith_clear_msb(tmp2, tmp, 24);
2437 break;
2438 case 0x0d: // EXTU.W Rm,Rn 0110nnnnmmmm1101
2439 emith_clear_msb(tmp2, tmp, 16);
2440 break;
2441 case 0x0e: // EXTS.B Rm,Rn 0110nnnnmmmm1110
2442 emith_sext(tmp2, tmp, 8);
2443 break;
2444 case 0x0f: // EXTS.W Rm,Rn 0110nnnnmmmm1111
2445 emith_sext(tmp2, tmp, 16);
2446 break;
2447 }
2448 goto end_op;
2449 }
2450 goto default_;
2451
2452 /////////////////////////////////////////////
2453 case 0x07:
2454 // ADD #imm,Rn 0111nnnniiiiiiii
2455 tmp = rcache_get_reg(GET_Rn(), RC_GR_RMW);
2456 if (op & 0x80) { // adding negative
2457 emith_sub_r_imm(tmp, -op & 0xff);
2458 } else
2459 emith_add_r_imm(tmp, op & 0xff);
2460 goto end_op;
2461
3863edbd 2462 /////////////////////////////////////////////
e898de13 2463 case 0x08:
52d759c3 2464 switch (op & 0x0f00)
2465 {
2466 case 0x0000: // MOV.B R0,@(disp,Rn) 10000000nnnndddd
2467 case 0x0100: // MOV.W R0,@(disp,Rn) 10000001nnnndddd
2468 rcache_clean();
2469 tmp = rcache_get_reg_arg(0, GET_Rm());
2470 tmp2 = rcache_get_reg_arg(1, SHR_R0);
2471 tmp3 = (op & 0x100) >> 8;
23686515 2472 if (op & 0x0f)
2473 emith_add_r_imm(tmp, (op & 0x0f) << tmp3);
001f73a0 2474 emit_memhandler_write(tmp3);
52d759c3 2475 goto end_op;
2476 case 0x0400: // MOV.B @(disp,Rm),R0 10000100mmmmdddd
2477 case 0x0500: // MOV.W @(disp,Rm),R0 10000101mmmmdddd
23686515 2478 tmp = (op & 0x100) >> 8;
2479 emit_memhandler_read_rr(SHR_R0, GET_Rm(), (op & 0x0f) << tmp, tmp);
52d759c3 2480 goto end_op;
2481 case 0x0800: // CMP/EQ #imm,R0 10001000iiiiiiii
2482 // XXX: could use cmn
2483 tmp = rcache_get_tmp();
2484 tmp2 = rcache_get_reg(0, RC_GR_READ);
8796b7ee 2485 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
52d759c3 2486 emith_move_r_imm_s8(tmp, op & 0xff);
8796b7ee 2487 emith_bic_r_imm(sr, T);
52d759c3 2488 emith_cmp_r_r(tmp2, tmp);
8796b7ee 2489 emit_or_t_if_eq(sr);
52d759c3 2490 rcache_free_tmp(tmp);
2491 goto end_op;
44e6452e 2492 }
679af8a3 2493 goto default_;
679af8a3 2494
52d759c3 2495 /////////////////////////////////////////////
2496 case 0x0c:
2497 switch (op & 0x0f00)
2498 {
2499 case 0x0000: // MOV.B R0,@(disp,GBR) 11000000dddddddd
2500 case 0x0100: // MOV.W R0,@(disp,GBR) 11000001dddddddd
2501 case 0x0200: // MOV.L R0,@(disp,GBR) 11000010dddddddd
2502 rcache_clean();
2503 tmp = rcache_get_reg_arg(0, SHR_GBR);
2504 tmp2 = rcache_get_reg_arg(1, SHR_R0);
2505 tmp3 = (op & 0x300) >> 8;
2506 emith_add_r_imm(tmp, (op & 0xff) << tmp3);
001f73a0 2507 emit_memhandler_write(tmp3);
52d759c3 2508 goto end_op;
2509 case 0x0400: // MOV.B @(disp,GBR),R0 11000100dddddddd
2510 case 0x0500: // MOV.W @(disp,GBR),R0 11000101dddddddd
2511 case 0x0600: // MOV.L @(disp,GBR),R0 11000110dddddddd
23686515 2512 tmp = (op & 0x300) >> 8;
2513 emit_memhandler_read_rr(SHR_R0, SHR_GBR, (op & 0xff) << tmp, tmp);
52d759c3 2514 goto end_op;
2515 case 0x0300: // TRAPA #imm 11000011iiiiiiii
2516 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
2517 emith_sub_r_imm(tmp, 4*2);
52d759c3 2518 // push SR
2519 tmp = rcache_get_reg_arg(0, SHR_SP);
2520 emith_add_r_imm(tmp, 4);
2521 tmp = rcache_get_reg_arg(1, SHR_SR);
18b94127 2522 emith_clear_msb(tmp, tmp, 22);
001f73a0 2523 emit_memhandler_write(2);
52d759c3 2524 // push PC
2525 rcache_get_reg_arg(0, SHR_SP);
2526 tmp = rcache_get_tmp_arg(1);
2527 emith_move_r_imm(tmp, pc);
001f73a0 2528 emit_memhandler_write(2);
52d759c3 2529 // obtain new PC
23686515 2530 emit_memhandler_read_rr(SHR_PC, SHR_VBR, (op & 0xff) * 4, 2);
bf092a36 2531 // indirect jump -> back to dispatcher
6976a547 2532 rcache_flush();
bf092a36 2533 emith_jump(sh2_drc_dispatcher);
44e6452e 2534 goto end_op;
52d759c3 2535 case 0x0800: // TST #imm,R0 11001000iiiiiiii
8796b7ee 2536 tmp = rcache_get_reg(SHR_R0, RC_GR_READ);
2537 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2538 emith_bic_r_imm(sr, T);
52d759c3 2539 emith_tst_r_imm(tmp, op & 0xff);
8796b7ee 2540 emit_or_t_if_eq(sr);
52d759c3 2541 goto end_op;
2542 case 0x0900: // AND #imm,R0 11001001iiiiiiii
2543 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
2544 emith_and_r_imm(tmp, op & 0xff);
2545 goto end_op;
2546 case 0x0a00: // XOR #imm,R0 11001010iiiiiiii
2547 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
2548 emith_eor_r_imm(tmp, op & 0xff);
2549 goto end_op;
2550 case 0x0b00: // OR #imm,R0 11001011iiiiiiii
2551 tmp = rcache_get_reg(SHR_R0, RC_GR_RMW);
2552 emith_or_r_imm(tmp, op & 0xff);
2553 goto end_op;
2554 case 0x0c00: // TST.B #imm,@(R0,GBR) 11001100iiiiiiii
8796b7ee 2555 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2556 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2557 emith_bic_r_imm(sr, T);
52d759c3 2558 emith_tst_r_imm(tmp, op & 0xff);
8796b7ee 2559 emit_or_t_if_eq(sr);
52d759c3 2560 rcache_free_tmp(tmp);
52d759c3 2561 goto end_op;
2562 case 0x0d00: // AND.B #imm,@(R0,GBR) 11001101iiiiiiii
2563 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2564 emith_and_r_imm(tmp, op & 0xff);
8796b7ee 2565 goto end_rmw_op;
52d759c3 2566 case 0x0e00: // XOR.B #imm,@(R0,GBR) 11001110iiiiiiii
2567 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2568 emith_eor_r_imm(tmp, op & 0xff);
8796b7ee 2569 goto end_rmw_op;
52d759c3 2570 case 0x0f00: // OR.B #imm,@(R0,GBR) 11001111iiiiiiii
2571 tmp = emit_indirect_indexed_read(SHR_R0, SHR_GBR, 0);
2572 emith_or_r_imm(tmp, op & 0xff);
8796b7ee 2573 end_rmw_op:
2574 tmp2 = rcache_get_tmp_arg(1);
2575 emith_move_r_r(tmp2, tmp);
2576 rcache_free_tmp(tmp);
2577 tmp3 = rcache_get_reg_arg(0, SHR_GBR);
2578 tmp4 = rcache_get_reg(SHR_R0, RC_GR_READ);
2579 emith_add_r_r(tmp3, tmp4);
001f73a0 2580 emit_memhandler_write(0);
52d759c3 2581 goto end_op;
2582 }
2583 goto default_;
2584
52d759c3 2585 /////////////////////////////////////////////
2586 case 0x0e:
2587 // MOV #imm,Rn 1110nnnniiiiiiii
23686515 2588 emit_move_r_imm32(GET_Rn(), (u32)(signed int)(signed char)op);
52d759c3 2589 goto end_op;
2590
679af8a3 2591 default:
2592 default_:
6a5b1b36 2593 if (!(op_flags[i] & OF_B_IN_DS))
2594 elprintf_sh2(sh2, EL_ANOMALY,
2595 "drc: illegal op %04x @ %08x", op, pc - 2);
001f73a0 2596
2597 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
2598 emith_sub_r_imm(tmp, 4*2);
2599 // push SR
2600 tmp = rcache_get_reg_arg(0, SHR_SP);
2601 emith_add_r_imm(tmp, 4);
2602 tmp = rcache_get_reg_arg(1, SHR_SR);
2603 emith_clear_msb(tmp, tmp, 22);
2604 emit_memhandler_write(2);
2605 // push PC
2606 rcache_get_reg_arg(0, SHR_SP);
2607 tmp = rcache_get_tmp_arg(1);
6a5b1b36 2608 if (drcf.pending_branch_indirect) {
2609 tmp2 = rcache_get_reg(SHR_PC, RC_GR_READ);
2610 emith_move_r_r(tmp, tmp2);
2611 }
2612 else
2613 emith_move_r_imm(tmp, pc - 2);
001f73a0 2614 emit_memhandler_write(2);
2615 // obtain new PC
6a5b1b36 2616 v = (op_flags[i] & OF_B_IN_DS) ? 6 : 4;
2617 emit_memhandler_read_rr(SHR_PC, SHR_VBR, v * 4, 2);
001f73a0 2618 // indirect jump -> back to dispatcher
2619 rcache_flush();
2620 emith_jump(sh2_drc_dispatcher);
679af8a3 2621 break;
2622 }
2623
e898de13 2624end_op:
23686515 2625 rcache_unlock_all();
2626
6d797957 2627 cycles += opd->cycles;
2628
bf092a36 2629 if (op_flags[i+1] & OF_DELAY_OP) {
2630 do_host_disasm(tcache_id);
2631 continue;
2632 }
2633
2634 // test irq?
2635 if (drcf.test_irq && !drcf.pending_branch_direct) {
2636 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2637 FLUSH_CYCLES(sr);
fa841b44 2638 if (!drcf.pending_branch_indirect)
2639 emit_move_r_imm32(SHR_PC, pc);
bf092a36 2640 rcache_flush();
2641 emith_call(sh2_drc_test_irq);
2642 drcf.test_irq = 0;
2643 }
2644
2645 // branch handling (with/without delay)
2646 if (drcf.pending_branch_direct)
44e6452e 2647 {
bf092a36 2648 struct op_data *opd_b =
2649 (op_flags[i] & OF_DELAY_OP) ? &ops[i-1] : opd;
2650 u32 target_pc = opd_b->imm;
2651 int cond = -1;
2652 void *target = NULL;
44e6452e 2653
18b94127 2654 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
e05b81fc 2655 FLUSH_CYCLES(sr);
18b94127 2656
bf092a36 2657 if (opd_b->op != OP_BRANCH)
2658 cond = (opd_b->op == OP_BRANCH_CF) ? DCOND_EQ : DCOND_NE;
2659 if (cond != -1) {
2660 int ctaken = (op_flags[i] & OF_DELAY_OP) ? 1 : 2;
2661
2662 if (delay_dep_fw & BITMASK1(SHR_T))
2663 emith_tst_r_imm(sr, T_save);
2664 else
2665 emith_tst_r_imm(sr, T);
2666
2667 emith_sub_r_imm_c(cond, sr, ctaken<<12);
2668 }
5f0ca48f 2669 rcache_clean();
2670
5686d931 2671#if LINK_BRANCHES
bf092a36 2672 if (find_in_array(branch_target_pc, branch_target_count, target_pc) >= 0)
2673 {
44e6452e 2674 // local branch
2675 // XXX: jumps back can be linked already
bf092a36 2676 if (branch_patch_count < MAX_LOCAL_BRANCHES) {
2677 target = tcache_ptr;
2678 branch_patch_pc[branch_patch_count] = target_pc;
2679 branch_patch_ptr[branch_patch_count] = target;
2680 branch_patch_count++;
44e6452e 2681 }
bf092a36 2682 else
2683 dbg(1, "warning: too many local branches");
44e6452e 2684 }
bf092a36 2685
2686 if (target == NULL)
5686d931 2687#endif
2688 {
44e6452e 2689 // can't resolve branch locally, make a block exit
2690 emit_move_r_imm32(SHR_PC, target_pc);
2691 rcache_clean();
2692
00a725a8 2693 target = dr_prepare_ext_branch(target_pc, sh2->is_slave, tcache_id);
44e6452e 2694 if (target == NULL)
2695 return NULL;
18b94127 2696 }
44e6452e 2697
bf092a36 2698 if (cond != -1)
2699 emith_jump_cond_patchable(cond, target);
6976a547 2700 else {
bf092a36 2701 emith_jump_patchable(target);
6976a547 2702 rcache_invalidate();
2703 }
44e6452e 2704
bf092a36 2705 drcf.pending_branch_direct = 0;
2706 }
2707 else if (drcf.pending_branch_indirect) {
e05b81fc 2708 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2709 FLUSH_CYCLES(sr);
2710 rcache_flush();
bf092a36 2711 emith_jump(sh2_drc_dispatcher);
2712 drcf.pending_branch_indirect = 0;
e05b81fc 2713 }
e898de13 2714
f4bb5d6b 2715 do_host_disasm(tcache_id);
44e6452e 2716 }
f4bb5d6b 2717
18b94127 2718 tmp = rcache_get_reg(SHR_SR, RC_GR_RMW);
e05b81fc 2719 FLUSH_CYCLES(tmp);
18b94127 2720 rcache_flush();
44e6452e 2721
bf092a36 2722 // check the last op
2723 if (op_flags[i-1] & OF_DELAY_OP)
2724 opd = &ops[i-2];
2725 else
2726 opd = &ops[i-1];
2727
2728 if (opd->op != OP_BRANCH && opd->op != OP_BRANCH_R
2729 && opd->op != OP_BRANCH_RF && opd->op != OP_RTE)
2730 {
44e6452e 2731 void *target;
bf092a36 2732
2733 emit_move_r_imm32(SHR_PC, pc);
44e6452e 2734 rcache_flush();
2735
bf092a36 2736 target = dr_prepare_ext_branch(pc, sh2->is_slave, tcache_id);
44e6452e 2737 if (target == NULL)
2738 return NULL;
2739 emith_jump_patchable(target);
2740 }
18b94127 2741
2742 // link local branches
2743 for (i = 0; i < branch_patch_count; i++) {
2744 void *target;
2745 int t;
18b94127 2746 t = find_in_array(branch_target_pc, branch_target_count, branch_patch_pc[i]);
44e6452e 2747 target = branch_target_ptr[t];
2748 if (target == NULL) {
fcdefcf6 2749 // flush pc and go back to dispatcher (this should no longer happen)
2750 dbg(1, "stray branch to %08x %p", branch_patch_pc[i], tcache_ptr);
18b94127 2751 target = tcache_ptr;
2752 emit_move_r_imm32(SHR_PC, branch_patch_pc[i]);
2753 rcache_flush();
e05b81fc 2754 emith_jump(sh2_drc_dispatcher);
18b94127 2755 }
2756 emith_jump_patch(branch_patch_ptr[i], target);
2757 }
2758
f4bb5d6b 2759 // mark memory blocks as containing compiled code
a2b8c5a5 2760 // override any overlay blocks as they become unreachable anyway
fa841b44 2761 if ((block->addr & 0xc7fc0000) == 0x06000000
2762 || (block->addr & 0xfffff000) == 0xc0000000)
a2b8c5a5 2763 {
228ee974 2764 u16 *drc_ram_blk = NULL;
4943816b 2765 u32 addr, mask = 0, shift = 0;
a2b8c5a5 2766
2767 if (tcache_id != 0) {
2768 // data array, BIOS
2769 drc_ram_blk = Pico32xMem->drcblk_da[sh2->is_slave];
2770 shift = SH2_DRCBLK_DA_SHIFT;
4943816b 2771 mask = 0xfff;
f4bb5d6b 2772 }
fa841b44 2773 else {
a2b8c5a5 2774 // SDRAM
2775 drc_ram_blk = Pico32xMem->drcblk_ram;
2776 shift = SH2_DRCBLK_RAM_SHIFT;
4943816b 2777 mask = 0x3ffff;
f4bb5d6b 2778 }
a2b8c5a5 2779
228ee974 2780 // mark recompiled insns
2781 drc_ram_blk[(base_pc & mask) >> shift] = 1;
2782 for (pc = base_pc; pc < end_pc; pc += 2)
2783 drc_ram_blk[(pc & mask) >> shift] = 1;
04092e32 2784
2785 // mark literals
2786 for (i = 0; i < literal_addr_count; i++) {
2787 tmp = literal_addr[i];
228ee974 2788 drc_ram_blk[(tmp & mask) >> shift] = 1;
04092e32 2789 }
4943816b 2790
2791 // add to invalidation lookup lists
51d86e55 2792 addr = base_pc & ~(INVAL_PAGE_SIZE - 1);
2793 for (; addr < end_literals; addr += INVAL_PAGE_SIZE) {
2794 i = (addr & mask) / INVAL_PAGE_SIZE;
228ee974 2795 add_to_block_list(&inval_lookup[tcache_id][i], block);
4943816b 2796 }
679af8a3 2797 }
2798
f4bb5d6b 2799 tcache_ptrs[tcache_id] = tcache_ptr;
2800
228ee974 2801 host_instructions_updated(block_entry_ptr, tcache_ptr);
553c3eaa 2802
f4bb5d6b 2803 do_host_disasm(tcache_id);
51d86e55 2804
2805 if (drcf.literals_disabled && literal_addr_count)
2806 dbg(1, "literals_disabled && literal_addr_count?");
fcdefcf6 2807 dbg(2, " block #%d,%d tcache %d/%d, insns %d -> %d %.3f",
4943816b 2808 tcache_id, blkid_main,
f4bb5d6b 2809 tcache_ptr - tcache_bases[tcache_id], tcache_sizes[tcache_id],
4943816b 2810 insns_compiled, host_insn_count, (float)host_insn_count / insns_compiled);
f4bb5d6b 2811 if ((sh2->pc & 0xc6000000) == 0x02000000) // ROM
fcdefcf6 2812 dbg(2, " hash collisions %d/%d", hash_collisions, block_counts[tcache_id]);
18b94127 2813/*
2814 printf("~~~\n");
228ee974 2815 tcache_dsm_ptrs[tcache_id] = block_entry_ptr;
18b94127 2816 do_host_disasm(tcache_id);
2817 printf("~~~\n");
2818*/
2819
fcdefcf6 2820#if (DRC_DEBUG & 4)
553c3eaa 2821 fflush(stdout);
2822#endif
2823
228ee974 2824 return block_entry_ptr;
679af8a3 2825}
2826
e05b81fc 2827static void sh2_generate_utils(void)
679af8a3 2828{
e05b81fc 2829 int arg0, arg1, arg2, sr, tmp;
52d759c3 2830
5686d931 2831 sh2_drc_write32 = p32x_sh2_write32;
2832 sh2_drc_read8 = p32x_sh2_read8;
2833 sh2_drc_read16 = p32x_sh2_read16;
2834 sh2_drc_read32 = p32x_sh2_read32;
2835
e05b81fc 2836 host_arg2reg(arg0, 0);
2837 host_arg2reg(arg1, 1);
2838 host_arg2reg(arg2, 2);
2839 emith_move_r_r(arg0, arg0); // nop
679af8a3 2840
e05b81fc 2841 // sh2_drc_exit(void)
2842 sh2_drc_exit = (void *)tcache_ptr;
2843 emit_do_static_regs(1, arg2);
2844 emith_sh2_drc_exit();
679af8a3 2845
e05b81fc 2846 // sh2_drc_dispatcher(void)
2847 sh2_drc_dispatcher = (void *)tcache_ptr;
2848 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2849 emith_cmp_r_imm(sr, 0);
2850 emith_jump_cond(DCOND_LT, sh2_drc_exit);
2851 rcache_invalidate();
2852 emith_ctx_read(arg0, SHR_PC * 4);
2853 emith_ctx_read(arg1, offsetof(SH2, is_slave));
2854 emith_add_r_r_imm(arg2, CONTEXT_REG, offsetof(SH2, drc_tmp));
a2b8c5a5 2855 emith_call(dr_lookup_block);
e05b81fc 2856 emit_block_entry();
2857 // lookup failed, call sh2_translate()
2858 emith_move_r_r(arg0, CONTEXT_REG);
2859 emith_ctx_read(arg1, offsetof(SH2, drc_tmp)); // tcache_id
2860 emith_call(sh2_translate);
2861 emit_block_entry();
2862 // sh2_translate() failed, flush cache and retry
2863 emith_ctx_read(arg0, offsetof(SH2, drc_tmp));
2864 emith_call(flush_tcache);
2865 emith_move_r_r(arg0, CONTEXT_REG);
2866 emith_ctx_read(arg1, offsetof(SH2, drc_tmp));
2867 emith_call(sh2_translate);
2868 emit_block_entry();
2869 // XXX: can't translate, fail
c25d78ee 2870 emith_call(dr_failure);
e05b81fc 2871
2872 // sh2_drc_test_irq(void)
2873 // assumes it's called from main function (may jump to dispatcher)
2874 sh2_drc_test_irq = (void *)tcache_ptr;
2875 emith_ctx_read(arg1, offsetof(SH2, pending_level));
2876 sr = rcache_get_reg(SHR_SR, RC_GR_READ);
2877 emith_lsr(arg0, sr, I_SHIFT);
2878 emith_and_r_imm(arg0, 0x0f);
2879 emith_cmp_r_r(arg1, arg0); // pending_level > ((sr >> 4) & 0x0f)?
2880 EMITH_SJMP_START(DCOND_GT);
2881 emith_ret_c(DCOND_LE); // nope, return
2882 EMITH_SJMP_END(DCOND_GT);
2883 // adjust SP
2884 tmp = rcache_get_reg(SHR_SP, RC_GR_RMW);
2885 emith_sub_r_imm(tmp, 4*2);
2886 rcache_clean();
2887 // push SR
2888 tmp = rcache_get_reg_arg(0, SHR_SP);
2889 emith_add_r_imm(tmp, 4);
2890 tmp = rcache_get_reg_arg(1, SHR_SR);
2891 emith_clear_msb(tmp, tmp, 22);
2892 emith_move_r_r(arg2, CONTEXT_REG);
5686d931 2893 emith_call(p32x_sh2_write32); // XXX: use sh2_drc_write32?
e05b81fc 2894 rcache_invalidate();
2895 // push PC
2896 rcache_get_reg_arg(0, SHR_SP);
2897 emith_ctx_read(arg1, SHR_PC * 4);
2898 emith_move_r_r(arg2, CONTEXT_REG);
2899 emith_call(p32x_sh2_write32);
2900 rcache_invalidate();
2901 // update I, cycles, do callback
2902 emith_ctx_read(arg1, offsetof(SH2, pending_level));
2903 sr = rcache_get_reg(SHR_SR, RC_GR_RMW);
2904 emith_bic_r_imm(sr, I);
2905 emith_or_r_r_lsl(sr, arg1, I_SHIFT);
2906 emith_sub_r_imm(sr, 13 << 12); // at least 13 cycles
2907 rcache_flush();
2908 emith_move_r_r(arg0, CONTEXT_REG);
2909 emith_call_ctx(offsetof(SH2, irq_callback)); // vector = sh2->irq_callback(sh2, level);
2910 // obtain new PC
2911 emith_lsl(arg0, arg0, 2);
2912 emith_ctx_read(arg1, SHR_VBR * 4);
2913 emith_add_r_r(arg0, arg1);
2914 emit_memhandler_read(2);
2915 emith_ctx_write(arg0, SHR_PC * 4);
2916#ifdef __i386__
2917 emith_add_r_imm(xSP, 4); // fix stack
2918#endif
2919 emith_jump(sh2_drc_dispatcher);
2920 rcache_invalidate();
2921
2922 // sh2_drc_entry(SH2 *sh2)
2923 sh2_drc_entry = (void *)tcache_ptr;
2924 emith_sh2_drc_entry();
2925 emith_move_r_r(CONTEXT_REG, arg0); // move ctx, arg0
2926 emit_do_static_regs(0, arg2);
2927 emith_call(sh2_drc_test_irq);
2928 emith_jump(sh2_drc_dispatcher);
2929
e05b81fc 2930 // sh2_drc_write8(u32 a, u32 d)
2931 sh2_drc_write8 = (void *)tcache_ptr;
e05b81fc 2932 emith_ctx_read(arg2, offsetof(SH2, write8_tab));
d056bef8 2933 emith_sh2_wcall(arg0, arg2);
e05b81fc 2934
2935 // sh2_drc_write16(u32 a, u32 d)
2936 sh2_drc_write16 = (void *)tcache_ptr;
e05b81fc 2937 emith_ctx_read(arg2, offsetof(SH2, write16_tab));
d056bef8 2938 emith_sh2_wcall(arg0, arg2);
e05b81fc 2939
5686d931 2940#ifdef PDB_NET
2941 // debug
2942 #define MAKE_READ_WRAPPER(func) { \
2943 void *tmp = (void *)tcache_ptr; \
a2b8c5a5 2944 emith_push_ret(); \
5686d931 2945 emith_call(func); \
2946 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[0])); \
2947 emith_addf_r_r(arg2, arg0); \
2948 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[0])); \
2949 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[1])); \
2950 emith_adc_r_imm(arg2, 0x01000000); \
2951 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[1])); \
a2b8c5a5 2952 emith_pop_and_ret(); \
5686d931 2953 func = tmp; \
2954 }
2955 #define MAKE_WRITE_WRAPPER(func) { \
2956 void *tmp = (void *)tcache_ptr; \
2957 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[0])); \
2958 emith_addf_r_r(arg2, arg1); \
2959 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[0])); \
2960 emith_ctx_read(arg2, offsetof(SH2, pdb_io_csum[1])); \
2961 emith_adc_r_imm(arg2, 0x01000000); \
2962 emith_ctx_write(arg2, offsetof(SH2, pdb_io_csum[1])); \
2963 emith_move_r_r(arg2, CONTEXT_REG); \
2964 emith_jump(func); \
2965 func = tmp; \
2966 }
2967
2968 MAKE_READ_WRAPPER(sh2_drc_read8);
2969 MAKE_READ_WRAPPER(sh2_drc_read16);
2970 MAKE_READ_WRAPPER(sh2_drc_read32);
2971 MAKE_WRITE_WRAPPER(sh2_drc_write8);
5686d931 2972 MAKE_WRITE_WRAPPER(sh2_drc_write16);
5686d931 2973 MAKE_WRITE_WRAPPER(sh2_drc_write32);
fcdefcf6 2974#if (DRC_DEBUG & 4)
5686d931 2975 host_dasm_new_symbol(sh2_drc_read8);
2976 host_dasm_new_symbol(sh2_drc_read16);
2977 host_dasm_new_symbol(sh2_drc_read32);
2978 host_dasm_new_symbol(sh2_drc_write32);
2979#endif
2980#endif
2981
e05b81fc 2982 rcache_invalidate();
fcdefcf6 2983#if (DRC_DEBUG & 4)
e05b81fc 2984 host_dasm_new_symbol(sh2_drc_entry);
2985 host_dasm_new_symbol(sh2_drc_dispatcher);
2986 host_dasm_new_symbol(sh2_drc_exit);
2987 host_dasm_new_symbol(sh2_drc_test_irq);
e05b81fc 2988 host_dasm_new_symbol(sh2_drc_write8);
e05b81fc 2989 host_dasm_new_symbol(sh2_drc_write16);
679af8a3 2990#endif
679af8a3 2991}
2992
e1553677 2993static void sh2_smc_rm_block_entry(struct block_desc *bd, int tcache_id, u32 ram_mask)
f4bb5d6b 2994{
00a725a8 2995 struct block_link *bl, *bl_next, *bl_unresolved;
51d86e55 2996 u32 i, addr, end_addr;
04092e32 2997 void *tmp;
2998
51d86e55 2999 dbg(2, " killing entry %08x-%08x-%08x, blkid %d,%d",
3000 bd->addr, bd->addr + bd->size_nolit, bd->addr + bd->size,
3001 tcache_id, bd - block_tables[tcache_id]);
228ee974 3002 if (bd->addr == 0 || bd->entry_count == 0) {
fcdefcf6 3003 dbg(1, " killing dead block!? %08x", bd->addr);
569420b0 3004 return;
04092e32 3005 }
3006
4943816b 3007 // remove from inval_lookup
51d86e55 3008 addr = bd->addr & ~(INVAL_PAGE_SIZE - 1);
3009 end_addr = bd->addr + bd->size;
3010 for (; addr < end_addr; addr += INVAL_PAGE_SIZE) {
3011 i = (addr & ram_mask) / INVAL_PAGE_SIZE;
4943816b 3012 rm_from_block_list(&inval_lookup[tcache_id][i], bd);
3013 }
3014
04092e32 3015 tmp = tcache_ptr;
00a725a8 3016 bl_unresolved = unresolved_links[tcache_id];
569420b0 3017
00a725a8 3018 // remove from hash table, make incoming links unresolved
3019 // XXX: maybe patch branches w/flush instead?
228ee974 3020 for (i = 0; i < bd->entry_count; i++) {
3021 rm_from_hashlist(&bd->entryp[i], tcache_id);
3022
3023 // since we never reuse tcache space of dead blocks,
3024 // insert jump to dispatcher for blocks that are linked to this
3025 tcache_ptr = bd->entryp[i].tcache_ptr;
fa841b44 3026 emit_move_r_imm32(SHR_PC, bd->entryp[i].pc);
228ee974 3027 rcache_flush();
3028 emith_jump(sh2_drc_dispatcher);
3029
3030 host_instructions_updated(bd->entryp[i].tcache_ptr, tcache_ptr);
00a725a8 3031
3032 for (bl = bd->entryp[i].links; bl != NULL; ) {
3033 bl_next = bl->next;
3034 bl->next = bl_unresolved;
3035 bl_unresolved = bl;
3036 bl = bl_next;
3037 }
228ee974 3038 }
3039
04092e32 3040 tcache_ptr = tmp;
00a725a8 3041 unresolved_links[tcache_id] = bl_unresolved;
04092e32 3042
51d86e55 3043 bd->addr = bd->size = bd->size_nolit = 0;
228ee974 3044 bd->entry_count = 0;
a2b8c5a5 3045}
f4bb5d6b 3046
a2b8c5a5 3047static void sh2_smc_rm_block(u32 a, u16 *drc_ram_blk, int tcache_id, u32 shift, u32 mask)
3048{
4943816b 3049 struct block_list **blist = NULL, *entry;
51d86e55 3050 u32 from = ~0, to = 0, end_addr, taddr, i;
e1553677 3051 struct block_desc *block;
4943816b 3052
51d86e55 3053 blist = &inval_lookup[tcache_id][(a & mask) / INVAL_PAGE_SIZE];
4943816b 3054 entry = *blist;
3055 while (entry != NULL) {
3056 block = entry->block;
51d86e55 3057 end_addr = block->addr + block->size;
3058 if (block->addr <= a && a < end_addr) {
3059 // get addr range that includes all removed blocks
3060 if (from > block->addr)
4943816b 3061 from = block->addr;
51d86e55 3062 if (to < end_addr)
3063 to = end_addr;
4943816b 3064
3065 sh2_smc_rm_block_entry(block, tcache_id, mask);
51d86e55 3066 if (a >= block->addr + block->size_nolit)
3067 literal_disabled_frames = 3;
4943816b 3068
3069 // entry lost, restart search
3070 entry = *blist;
569420b0 3071 continue;
3072 }
4943816b 3073 entry = entry->next;
04092e32 3074 }
3075
51d86e55 3076 if (from >= to)
3077 return;
3078
3079 // update range around a to match latest state
3080 from &= ~(INVAL_PAGE_SIZE - 1);
3081 to |= (INVAL_PAGE_SIZE - 1);
3082 for (taddr = from; taddr < to; taddr += INVAL_PAGE_SIZE) {
3083 i = (taddr & mask) / INVAL_PAGE_SIZE;
3084 entry = inval_lookup[tcache_id][i];
3085
3086 for (; entry != NULL; entry = entry->next) {
3087 block = entry->block;
3088
3089 if (block->addr > a) {
3090 if (to > block->addr)
3091 to = block->addr;
3092 }
3093 else {
3094 end_addr = block->addr + block->size;
3095 if (from < end_addr)
3096 from = end_addr;
3097 }
6976a547 3098 }
3099 }
3100
3101 // clear code marks
4943816b 3102 if (from < to) {
3103 u16 *p = drc_ram_blk + ((from & mask) >> shift);
3104 memset(p, 0, (to - from) >> (shift - 1));
f4bb5d6b 3105 }
f4bb5d6b 3106}
3107
3108void sh2_drc_wcheck_ram(unsigned int a, int val, int cpuid)
3109{
fcdefcf6 3110 dbg(2, "%csh2 smc check @%08x", cpuid ? 's' : 'm', a);
a2b8c5a5 3111 sh2_smc_rm_block(a, Pico32xMem->drcblk_ram, 0, SH2_DRCBLK_RAM_SHIFT, 0x3ffff);
f4bb5d6b 3112}
3113
3114void sh2_drc_wcheck_da(unsigned int a, int val, int cpuid)
3115{
fcdefcf6 3116 dbg(2, "%csh2 smc check @%08x", cpuid ? 's' : 'm', a);
a2b8c5a5 3117 sh2_smc_rm_block(a, Pico32xMem->drcblk_da[cpuid],
3118 1 + cpuid, SH2_DRCBLK_DA_SHIFT, 0xfff);
f4bb5d6b 3119}
3120
0185b677 3121int sh2_execute_drc(SH2 *sh2c, int cycles)
679af8a3 3122{
e05b81fc 3123 int ret_cycles;
52d759c3 3124
679af8a3 3125 // cycles are kept in SHR_SR unused bits (upper 20)
65514d85 3126 // bit11 contains T saved for delay slot
18b94127 3127 // others are usual SH2 flags
52d759c3 3128 sh2c->sr &= 0x3f3;
3129 sh2c->sr |= cycles << 12;
e05b81fc 3130 sh2_drc_entry(sh2c);
679af8a3 3131
e05b81fc 3132 // TODO: irq cycles
3133 ret_cycles = (signed int)sh2c->sr >> 12;
3134 if (ret_cycles > 0)
fcdefcf6 3135 dbg(1, "warning: drc returned with cycles: %d", ret_cycles);
679af8a3 3136
0219d379 3137 sh2c->sr &= 0x3f3;
0185b677 3138 return ret_cycles;
679af8a3 3139}
3140
fcdefcf6 3141#if (DRC_DEBUG & 2)
9bb5d91c 3142void block_stats(void)
f4bb5d6b 3143{
3144 int c, b, i, total = 0;
3145
9bb5d91c 3146 printf("block stats:\n");
f4bb5d6b 3147 for (b = 0; b < ARRAY_SIZE(block_tables); b++)
3148 for (i = 0; i < block_counts[b]; i++)
3149 if (block_tables[b][i].addr != 0)
3150 total += block_tables[b][i].refcount;
3151
3152 for (c = 0; c < 10; c++) {
e1553677 3153 struct block_desc *blk, *maxb = NULL;
f4bb5d6b 3154 int max = 0;
3155 for (b = 0; b < ARRAY_SIZE(block_tables); b++) {
3156 for (i = 0; i < block_counts[b]; i++) {
3157 blk = &block_tables[b][i];
3158 if (blk->addr != 0 && blk->refcount > max) {
3159 max = blk->refcount;
3160 maxb = blk;
3161 }
3162 }
3163 }
3164 if (maxb == NULL)
3165 break;
3166 printf("%08x %9d %2.3f%%\n", maxb->addr, maxb->refcount,
3167 (double)maxb->refcount / total * 100.0);
3168 maxb->refcount = 0;
3169 }
553c3eaa 3170
3171 for (b = 0; b < ARRAY_SIZE(block_tables); b++)
3172 for (i = 0; i < block_counts[b]; i++)
3173 block_tables[b][i].refcount = 0;
f4bb5d6b 3174}
553c3eaa 3175#else
3176#define block_stats()
f4bb5d6b 3177#endif
3178
553c3eaa 3179void sh2_drc_flush_all(void)
3180{
3181 block_stats();
3182 flush_tcache(0);
3183 flush_tcache(1);
3184 flush_tcache(2);
3185}
3186
23686515 3187void sh2_drc_mem_setup(SH2 *sh2)
3188{
3189 // fill the convenience pointers
895d1512 3190 sh2->p_bios = sh2->is_slave ? Pico32xMem->sh2_rom_s.w : Pico32xMem->sh2_rom_m.w;
f81107f5 3191 sh2->p_da = sh2->data_array;
23686515 3192 sh2->p_sdram = Pico32xMem->sdram;
3193 sh2->p_rom = Pico.rom;
3194}
3195
51d86e55 3196void sh2_drc_frame(void)
3197{
3198 if (literal_disabled_frames > 0)
3199 literal_disabled_frames--;
3200}
3201
679af8a3 3202int sh2_drc_init(SH2 *sh2)
3203{
44e6452e 3204 int i;
7f5a3fc1 3205
44e6452e 3206 if (block_tables[0] == NULL)
3207 {
3208 for (i = 0; i < TCACHE_BUFFERS; i++) {
3209 block_tables[i] = calloc(block_max_counts[i], sizeof(*block_tables[0]));
3210 if (block_tables[i] == NULL)
3211 goto fail;
3212 // max 2 block links (exits) per block
00a725a8 3213 block_link_pool[i] = calloc(block_link_pool_max_counts[i],
3214 sizeof(*block_link_pool[0]));
3215 if (block_link_pool[i] == NULL)
44e6452e 3216 goto fail;
4943816b 3217
51d86e55 3218 inval_lookup[i] = calloc(ram_sizes[i] / INVAL_PAGE_SIZE,
4943816b 3219 sizeof(inval_lookup[0]));
3220 if (inval_lookup[i] == NULL)
3221 goto fail;
228ee974 3222
3223 hash_tables[i] = calloc(hash_table_sizes[i], sizeof(*hash_tables[0]));
3224 if (hash_tables[i] == NULL)
3225 goto fail;
44e6452e 3226 }
3227 memset(block_counts, 0, sizeof(block_counts));
00a725a8 3228 memset(block_link_pool_counts, 0, sizeof(block_link_pool_counts));
e898de13 3229
44e6452e 3230 drc_cmn_init();
8796b7ee 3231 tcache_ptr = tcache;
3232 sh2_generate_utils();
a2b8c5a5 3233 host_instructions_updated(tcache, tcache_ptr);
8796b7ee 3234
8796b7ee 3235 tcache_bases[0] = tcache_ptrs[0] = tcache_ptr;
44e6452e 3236 for (i = 1; i < ARRAY_SIZE(tcache_bases); i++)
f4bb5d6b 3237 tcache_bases[i] = tcache_ptrs[i] = tcache_bases[i - 1] + tcache_sizes[i - 1];
f4bb5d6b 3238
fcdefcf6 3239#if (DRC_DEBUG & 4)
f4bb5d6b 3240 for (i = 0; i < ARRAY_SIZE(block_tables); i++)
3241 tcache_dsm_ptrs[i] = tcache_bases[i];
8796b7ee 3242 // disasm the utils
3243 tcache_dsm_ptrs[0] = tcache;
3244 do_host_disasm(0);
f4bb5d6b 3245#endif
e898de13 3246#if (DRC_DEBUG & 1)
3247 hash_collisions = 0;
3248#endif
679af8a3 3249 }
3250
679af8a3 3251 return 0;
44e6452e 3252
3253fail:
3254 sh2_drc_finish(sh2);
3255 return -1;
41397701 3256}
3257
e898de13 3258void sh2_drc_finish(SH2 *sh2)
3259{
44e6452e 3260 int i;
3261
228ee974 3262 if (block_tables[0] == NULL)
3263 return;
4943816b 3264
228ee974 3265 sh2_drc_flush_all();
44e6452e 3266
228ee974 3267 for (i = 0; i < TCACHE_BUFFERS; i++) {
fcdefcf6 3268#if (DRC_DEBUG & 4)
228ee974 3269 printf("~~~ tcache %d\n", i);
3270 tcache_dsm_ptrs[i] = tcache_bases[i];
3271 tcache_ptr = tcache_ptrs[i];
3272 do_host_disasm(i);
44e6452e 3273#endif
3274
228ee974 3275 if (block_tables[i] != NULL)
3276 free(block_tables[i]);
3277 block_tables[i] = NULL;
00a725a8 3278 if (block_link_pool[i] == NULL)
3279 free(block_link_pool[i]);
3280 block_link_pool[i] = NULL;
4943816b 3281
228ee974 3282 if (inval_lookup[i] == NULL)
3283 free(inval_lookup[i]);
3284 inval_lookup[i] = NULL;
7f5a3fc1 3285
228ee974 3286 if (hash_tables[i] != NULL) {
3287 free(hash_tables[i]);
3288 hash_tables[i] = NULL;
3289 }
e898de13 3290 }
3291
228ee974 3292 drc_cmn_cleanup();
e898de13 3293}
cff531af 3294
00faec9c 3295#endif /* DRC_SH2 */
3296
3297static void *dr_get_pc_base(u32 pc, int is_slave)
3298{
3299 void *ret = NULL;
3300 u32 mask = 0;
3301
3302 if ((pc & ~0x7ff) == 0) {
3303 // BIOS
895d1512 3304 ret = is_slave ? Pico32xMem->sh2_rom_s.w : Pico32xMem->sh2_rom_m.w;
00faec9c 3305 mask = 0x7ff;
3306 }
3307 else if ((pc & 0xfffff000) == 0xc0000000) {
3308 // data array
f81107f5 3309 ret = sh2s[is_slave].data_array;
00faec9c 3310 mask = 0xfff;
3311 }
3312 else if ((pc & 0xc6000000) == 0x06000000) {
3313 // SDRAM
3314 ret = Pico32xMem->sdram;
3315 mask = 0x03ffff;
3316 }
3317 else if ((pc & 0xc6000000) == 0x02000000) {
3318 // ROM
eb35ce15 3319 if ((pc & 0x3fffff) < Pico.romsize)
3320 ret = Pico.rom;
00faec9c 3321 mask = 0x3fffff;
3322 }
3323
3324 if (ret == NULL)
3325 return (void *)-1; // NULL is valid value
3326
3327 return (char *)ret - (pc & ~mask);
3328}
3329
bf092a36 3330void scan_block(u32 base_pc, int is_slave, u8 *op_flags, u32 *end_pc_out,
3331 u32 *end_literals_out)
00faec9c 3332{
3333 u16 *dr_pc_base;
bf092a36 3334 u32 pc, op, tmp;
3335 u32 end_pc, end_literals = 0;
ee5f7e99 3336 u32 lowest_mova = 0;
bf092a36 3337 struct op_data *opd;
3338 int next_is_delay = 0;
3339 int end_block = 0;
3340 int i, i_end;
00faec9c 3341
e1553677 3342 memset(op_flags, 0, BLOCK_INSN_LIMIT);
00faec9c 3343
3344 dr_pc_base = dr_get_pc_base(base_pc, is_slave);
3345
bf092a36 3346 // 1st pass: disassemble
3347 for (i = 0, pc = base_pc; ; i++, pc += 2) {
3348 // we need an ops[] entry after the last one initialized,
3349 // so do it before end_block checks
3350 opd = &ops[i];
3351 opd->op = OP_UNHANDLED;
3352 opd->rm = -1;
3353 opd->source = opd->dest = 0;
3354 opd->cycles = 1;
3355 opd->imm = 0;
3356
3357 if (next_is_delay) {
3358 op_flags[i] |= OF_DELAY_OP;
3359 next_is_delay = 0;
00faec9c 3360 }
bf092a36 3361 else if (end_block || i >= BLOCK_INSN_LIMIT - 2)
3362 break;
3363
3364 op = FETCH_OP(pc);
3365 switch ((op & 0xf000) >> 12)
3366 {
3367 /////////////////////////////////////////////
3368 case 0x00:
3369 switch (op & 0x0f)
3370 {
3371 case 0x02:
3372 switch (GET_Fx())
3373 {
3374 case 0: // STC SR,Rn 0000nnnn00000010
3375 tmp = SHR_SR;
3376 break;
3377 case 1: // STC GBR,Rn 0000nnnn00010010
3378 tmp = SHR_GBR;
3379 break;
3380 case 2: // STC VBR,Rn 0000nnnn00100010
3381 tmp = SHR_VBR;
3382 break;
3383 default:
3384 goto undefined;
3385 }
3386 opd->op = OP_MOVE;
3387 opd->source = BITMASK1(tmp);
3388 opd->dest = BITMASK1(GET_Rn());
00faec9c 3389 break;
bf092a36 3390 case 0x03:
3391 CHECK_UNHANDLED_BITS(0xd0, undefined);
3392 // BRAF Rm 0000mmmm00100011
3393 // BSRF Rm 0000mmmm00000011
3394 opd->op = OP_BRANCH_RF;
3395 opd->rm = GET_Rn();
3396 opd->source = BITMASK1(opd->rm);
3397 opd->dest = BITMASK1(SHR_PC);
3398 if (!(op & 0x20))
3399 opd->dest |= BITMASK1(SHR_PR);
3400 opd->cycles = 2;
3401 next_is_delay = 1;
3402 end_block = 1;
00faec9c 3403 break;
bf092a36 3404 case 0x04: // MOV.B Rm,@(R0,Rn) 0000nnnnmmmm0100
3405 case 0x05: // MOV.W Rm,@(R0,Rn) 0000nnnnmmmm0101
3406 case 0x06: // MOV.L Rm,@(R0,Rn) 0000nnnnmmmm0110
3407 opd->source = BITMASK3(GET_Rm(), SHR_R0, GET_Rn());
3408 break;
3409 case 0x07:
3410 // MUL.L Rm,Rn 0000nnnnmmmm0111
3411 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3412 opd->dest = BITMASK1(SHR_MACL);
3413 opd->cycles = 2;
3414 break;
3415 case 0x08:
3416 CHECK_UNHANDLED_BITS(0xf00, undefined);
3417 switch (GET_Fx())
3418 {
3419 case 0: // CLRT 0000000000001000
3420 opd->op = OP_SETCLRT;
3421 opd->dest = BITMASK1(SHR_T);
3422 opd->imm = 0;
3423 break;
3424 case 1: // SETT 0000000000011000
3425 opd->op = OP_SETCLRT;
3426 opd->dest = BITMASK1(SHR_T);
3427 opd->imm = 1;
3428 break;
3429 case 2: // CLRMAC 0000000000101000
3430 opd->dest = BITMASK3(SHR_T, SHR_MACL, SHR_MACH);
3431 break;
3432 default:
3433 goto undefined;
3434 }
3435 break;
3436 case 0x09:
3437 switch (GET_Fx())
3438 {
3439 case 0: // NOP 0000000000001001
3440 CHECK_UNHANDLED_BITS(0xf00, undefined);
3441 break;
3442 case 1: // DIV0U 0000000000011001
3443 CHECK_UNHANDLED_BITS(0xf00, undefined);
3444 opd->dest = BITMASK2(SHR_SR, SHR_T);
3445 break;
3446 case 2: // MOVT Rn 0000nnnn00101001
3447 opd->source = BITMASK1(SHR_T);
3448 opd->dest = BITMASK1(GET_Rn());
3449 break;
3450 default:
3451 goto undefined;
3452 }
3453 break;
3454 case 0x0a:
3455 switch (GET_Fx())
3456 {
3457 case 0: // STS MACH,Rn 0000nnnn00001010
3458 tmp = SHR_MACH;
3459 break;
3460 case 1: // STS MACL,Rn 0000nnnn00011010
3461 tmp = SHR_MACL;
3462 break;
3463 case 2: // STS PR,Rn 0000nnnn00101010
3464 tmp = SHR_PR;
3465 break;
3466 default:
3467 goto undefined;
3468 }
3469 opd->op = OP_MOVE;
3470 opd->source = BITMASK1(tmp);
3471 opd->dest = BITMASK1(GET_Rn());
3472 break;
3473 case 0x0b:
3474 CHECK_UNHANDLED_BITS(0xf00, undefined);
3475 switch (GET_Fx())
3476 {
3477 case 0: // RTS 0000000000001011
3478 opd->op = OP_BRANCH_R;
3479 opd->rm = SHR_PR;
3480 opd->source = BITMASK1(opd->rm);
3481 opd->dest = BITMASK1(SHR_PC);
3482 opd->cycles = 2;
3483 next_is_delay = 1;
3484 end_block = 1;
3485 break;
3486 case 1: // SLEEP 0000000000011011
3487 opd->op = OP_SLEEP;
3488 end_block = 1;
3489 break;
3490 case 2: // RTE 0000000000101011
3491 opd->op = OP_RTE;
3492 opd->source = BITMASK1(SHR_SP);
3493 opd->dest = BITMASK2(SHR_SR, SHR_PC);
3494 opd->cycles = 4;
3495 next_is_delay = 1;
3496 end_block = 1;
3497 break;
3498 default:
3499 goto undefined;
3500 }
3501 break;
3502 case 0x0c: // MOV.B @(R0,Rm),Rn 0000nnnnmmmm1100
3503 case 0x0d: // MOV.W @(R0,Rm),Rn 0000nnnnmmmm1101
3504 case 0x0e: // MOV.L @(R0,Rm),Rn 0000nnnnmmmm1110
3505 opd->source = BITMASK2(GET_Rm(), SHR_R0);
3506 opd->dest = BITMASK1(GET_Rn());
3507 break;
3508 case 0x0f: // MAC.L @Rm+,@Rn+ 0000nnnnmmmm1111
3509 opd->source = BITMASK5(GET_Rm(), GET_Rn(), SHR_SR, SHR_MACL, SHR_MACH);
3510 opd->dest = BITMASK4(GET_Rm(), GET_Rn(), SHR_MACL, SHR_MACH);
3511 opd->cycles = 3;
3512 break;
3513 default:
3514 goto undefined;
3515 }
3516 break;
3517
3518 /////////////////////////////////////////////
3519 case 0x01:
3520 // MOV.L Rm,@(disp,Rn) 0001nnnnmmmmdddd
3521 opd->source = BITMASK1(GET_Rm());
3522 opd->source = BITMASK1(GET_Rn());
3523 opd->imm = (op & 0x0f) * 4;
3524 break;
3525
3526 /////////////////////////////////////////////
3527 case 0x02:
3528 switch (op & 0x0f)
3529 {
3530 case 0x00: // MOV.B Rm,@Rn 0010nnnnmmmm0000
3531 case 0x01: // MOV.W Rm,@Rn 0010nnnnmmmm0001
3532 case 0x02: // MOV.L Rm,@Rn 0010nnnnmmmm0010
3533 opd->source = BITMASK1(GET_Rm());
3534 opd->source = BITMASK1(GET_Rn());
3535 break;
f2dde871 3536 case 0x04: // MOV.B Rm,@-Rn 0010nnnnmmmm0100
3537 case 0x05: // MOV.W Rm,@-Rn 0010nnnnmmmm0101
3538 case 0x06: // MOV.L Rm,@-Rn 0010nnnnmmmm0110
bf092a36 3539 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3540 opd->dest = BITMASK1(GET_Rn());
3541 break;
3542 case 0x07: // DIV0S Rm,Rn 0010nnnnmmmm0111
3543 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3544 opd->dest = BITMASK1(SHR_SR);
3545 break;
3546 case 0x08: // TST Rm,Rn 0010nnnnmmmm1000
3547 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3548 opd->dest = BITMASK1(SHR_T);
3549 break;
3550 case 0x09: // AND Rm,Rn 0010nnnnmmmm1001
3551 case 0x0a: // XOR Rm,Rn 0010nnnnmmmm1010
3552 case 0x0b: // OR Rm,Rn 0010nnnnmmmm1011
3553 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3554 opd->dest = BITMASK1(GET_Rn());
3555 break;
3556 case 0x0c: // CMP/STR Rm,Rn 0010nnnnmmmm1100
3557 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3558 opd->dest = BITMASK1(SHR_T);
3559 break;
3560 case 0x0d: // XTRCT Rm,Rn 0010nnnnmmmm1101
3561 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3562 opd->dest = BITMASK1(GET_Rn());
3563 break;
3564 case 0x0e: // MULU.W Rm,Rn 0010nnnnmmmm1110
3565 case 0x0f: // MULS.W Rm,Rn 0010nnnnmmmm1111
3566 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3567 opd->dest = BITMASK1(SHR_MACL);
3568 break;
3569 default:
3570 goto undefined;
3571 }
3572 break;
3573
3574 /////////////////////////////////////////////
3575 case 0x03:
3576 switch (op & 0x0f)
3577 {
3578 case 0x00: // CMP/EQ Rm,Rn 0011nnnnmmmm0000
3579 case 0x02: // CMP/HS Rm,Rn 0011nnnnmmmm0010
3580 case 0x03: // CMP/GE Rm,Rn 0011nnnnmmmm0011
3581 case 0x06: // CMP/HI Rm,Rn 0011nnnnmmmm0110
3582 case 0x07: // CMP/GT Rm,Rn 0011nnnnmmmm0111
3583 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3584 opd->dest = BITMASK1(SHR_T);
3585 break;
3586 case 0x04: // DIV1 Rm,Rn 0011nnnnmmmm0100
3587 opd->source = BITMASK3(GET_Rm(), GET_Rn(), SHR_SR);
3588 opd->dest = BITMASK2(GET_Rn(), SHR_SR);
3589 break;
3590 case 0x05: // DMULU.L Rm,Rn 0011nnnnmmmm0101
3591 case 0x0d: // DMULS.L Rm,Rn 0011nnnnmmmm1101
3592 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3593 opd->dest = BITMASK2(SHR_MACL, SHR_MACH);
3594 opd->cycles = 2;
3595 break;
3596 case 0x08: // SUB Rm,Rn 0011nnnnmmmm1000
3597 case 0x0c: // ADD Rm,Rn 0011nnnnmmmm1100
3598 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3599 opd->dest = BITMASK1(GET_Rn());
3600 break;
3601 case 0x0a: // SUBC Rm,Rn 0011nnnnmmmm1010
3602 case 0x0e: // ADDC Rm,Rn 0011nnnnmmmm1110
3603 opd->source = BITMASK3(GET_Rm(), GET_Rn(), SHR_T);
3604 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3605 break;
3606 case 0x0b: // SUBV Rm,Rn 0011nnnnmmmm1011
3607 case 0x0f: // ADDV Rm,Rn 0011nnnnmmmm1111
3608 opd->source = BITMASK2(GET_Rm(), GET_Rn());
3609 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3610 break;
3611 default:
3612 goto undefined;
3613 }
3614 break;
3615
3616 /////////////////////////////////////////////
3617 case 0x04:
3618 switch (op & 0x0f)
3619 {
3620 case 0x00:
3621 switch (GET_Fx())
3622 {
3623 case 0: // SHLL Rn 0100nnnn00000000
3624 case 2: // SHAL Rn 0100nnnn00100000
3625 opd->source = BITMASK1(GET_Rn());
3626 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3627 break;
3628 case 1: // DT Rn 0100nnnn00010000
3629 opd->source = BITMASK1(GET_Rn());
3630 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3631 break;
3632 default:
3633 goto undefined;
3634 }
3635 break;
3636 case 0x01:
3637 switch (GET_Fx())
3638 {
3639 case 0: // SHLR Rn 0100nnnn00000001
3640 case 2: // SHAR Rn 0100nnnn00100001
3641 opd->source = BITMASK1(GET_Rn());
3642 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3643 break;
3644 case 1: // CMP/PZ Rn 0100nnnn00010001
3645 opd->source = BITMASK1(GET_Rn());
3646 opd->dest = BITMASK1(SHR_T);
3647 break;
3648 default:
3649 goto undefined;
3650 }
3651 break;
3652 case 0x02:
3653 case 0x03:
3654 switch (op & 0x3f)
3655 {
f2dde871 3656 case 0x02: // STS.L MACH,@-Rn 0100nnnn00000010
bf092a36 3657 tmp = SHR_MACH;
3658 break;
f2dde871 3659 case 0x12: // STS.L MACL,@-Rn 0100nnnn00010010
bf092a36 3660 tmp = SHR_MACL;
3661 break;
f2dde871 3662 case 0x22: // STS.L PR,@-Rn 0100nnnn00100010
bf092a36 3663 tmp = SHR_PR;
3664 break;
f2dde871 3665 case 0x03: // STC.L SR,@-Rn 0100nnnn00000011
bf092a36 3666 tmp = SHR_SR;
3667 opd->cycles = 2;
3668 break;
f2dde871 3669 case 0x13: // STC.L GBR,@-Rn 0100nnnn00010011
bf092a36 3670 tmp = SHR_GBR;
3671 opd->cycles = 2;
3672 break;
f2dde871 3673 case 0x23: // STC.L VBR,@-Rn 0100nnnn00100011
bf092a36 3674 tmp = SHR_VBR;
3675 opd->cycles = 2;
3676 break;
3677 default:
3678 goto undefined;
3679 }
3680 opd->source = BITMASK2(GET_Rn(), tmp);
3681 opd->dest = BITMASK1(GET_Rn());
3682 break;
3683 case 0x04:
3684 case 0x05:
3685 switch (op & 0x3f)
3686 {
3687 case 0x04: // ROTL Rn 0100nnnn00000100
3688 case 0x05: // ROTR Rn 0100nnnn00000101
3689 opd->source = BITMASK1(GET_Rn());
3690 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3691 break;
3692 case 0x24: // ROTCL Rn 0100nnnn00100100
3693 case 0x25: // ROTCR Rn 0100nnnn00100101
3694 opd->source = BITMASK2(GET_Rn(), SHR_T);
3695 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3696 break;
3697 case 0x15: // CMP/PL Rn 0100nnnn00010101
3698 opd->source = BITMASK1(GET_Rn());
3699 opd->dest = BITMASK1(SHR_T);
3700 break;
3701 default:
3702 goto undefined;
3703 }
3704 break;
3705 case 0x06:
3706 case 0x07:
3707 switch (op & 0x3f)
3708 {
3709 case 0x06: // LDS.L @Rm+,MACH 0100mmmm00000110
3710 tmp = SHR_MACH;
3711 break;
3712 case 0x16: // LDS.L @Rm+,MACL 0100mmmm00010110
3713 tmp = SHR_MACL;
3714 break;
3715 case 0x26: // LDS.L @Rm+,PR 0100mmmm00100110
3716 tmp = SHR_PR;
3717 break;
3718 case 0x07: // LDC.L @Rm+,SR 0100mmmm00000111
3719 tmp = SHR_SR;
3720 opd->cycles = 3;
3721 break;
3722 case 0x17: // LDC.L @Rm+,GBR 0100mmmm00010111
3723 tmp = SHR_GBR;
3724 opd->cycles = 3;
3725 break;
3726 case 0x27: // LDC.L @Rm+,VBR 0100mmmm00100111
3727 tmp = SHR_VBR;
3728 opd->cycles = 3;
3729 break;
3730 default:
3731 goto undefined;
3732 }
3733 opd->source = BITMASK1(GET_Rn());
3734 opd->dest = BITMASK2(GET_Rn(), tmp);
3735 break;
3736 case 0x08:
3737 case 0x09:
3738 switch (GET_Fx())
3739 {
3740 case 0:
3741 // SHLL2 Rn 0100nnnn00001000
3742 // SHLR2 Rn 0100nnnn00001001
3743 break;
3744 case 1:
3745 // SHLL8 Rn 0100nnnn00011000
3746 // SHLR8 Rn 0100nnnn00011001
3747 break;
3748 case 2:
3749 // SHLL16 Rn 0100nnnn00101000
3750 // SHLR16 Rn 0100nnnn00101001
3751 break;
3752 default:
3753 goto undefined;
3754 }
3755 opd->source = BITMASK1(GET_Rn());
3756 opd->dest = BITMASK1(GET_Rn());
3757 break;
3758 case 0x0a:
3759 switch (GET_Fx())
3760 {
3761 case 0: // LDS Rm,MACH 0100mmmm00001010
3762 tmp = SHR_MACH;
3763 break;
3764 case 1: // LDS Rm,MACL 0100mmmm00011010
3765 tmp = SHR_MACL;
3766 break;
3767 case 2: // LDS Rm,PR 0100mmmm00101010
3768 tmp = SHR_PR;
3769 break;
3770 default:
3771 goto undefined;
3772 }
3773 opd->op = OP_MOVE;
3774 opd->source = BITMASK1(GET_Rn());
3775 opd->dest = BITMASK1(tmp);
3776 break;
3777 case 0x0b:
3778 switch (GET_Fx())
3779 {
3780 case 0: // JSR @Rm 0100mmmm00001011
3781 opd->dest = BITMASK1(SHR_PR);
3782 case 2: // JMP @Rm 0100mmmm00101011
3783 opd->op = OP_BRANCH_R;
3784 opd->rm = GET_Rn();
3785 opd->source = BITMASK1(opd->rm);
3786 opd->dest |= BITMASK1(SHR_PC);
3787 opd->cycles = 2;
3788 next_is_delay = 1;
3789 end_block = 1;
3790 break;
3791 case 1: // TAS.B @Rn 0100nnnn00011011
3792 opd->source = BITMASK1(GET_Rn());
3793 opd->dest = BITMASK1(SHR_T);
3794 opd->cycles = 4;
3795 break;
3796 default:
3797 goto undefined;
3798 }
3799 break;
3800 case 0x0e:
3801 switch (GET_Fx())
3802 {
3803 case 0: // LDC Rm,SR 0100mmmm00001110
3804 tmp = SHR_SR;
3805 break;
3806 case 1: // LDC Rm,GBR 0100mmmm00011110
3807 tmp = SHR_GBR;
3808 break;
3809 case 2: // LDC Rm,VBR 0100mmmm00101110
3810 tmp = SHR_VBR;
3811 break;
3812 default:
3813 goto undefined;
3814 }
3815 opd->op = OP_MOVE;
3816 opd->source = BITMASK1(GET_Rn());
3817 opd->dest = BITMASK1(tmp);
3818 break;
3819 case 0x0f:
3820 // MAC.W @Rm+,@Rn+ 0100nnnnmmmm1111
3821 opd->source = BITMASK5(GET_Rm(), GET_Rn(), SHR_SR, SHR_MACL, SHR_MACH);
3822 opd->dest = BITMASK4(GET_Rm(), GET_Rn(), SHR_MACL, SHR_MACH);
3823 opd->cycles = 3;
3824 break;
3825 default:
3826 goto undefined;
3827 }
3828 break;
3829
3830 /////////////////////////////////////////////
3831 case 0x05:
3832 // MOV.L @(disp,Rm),Rn 0101nnnnmmmmdddd
3833 opd->source = BITMASK1(GET_Rm());
3834 opd->dest = BITMASK1(GET_Rn());
3835 opd->imm = (op & 0x0f) * 4;
3836 break;
3837
3838 /////////////////////////////////////////////
3839 case 0x06:
3840 switch (op & 0x0f)
3841 {
3842 case 0x04: // MOV.B @Rm+,Rn 0110nnnnmmmm0100
3843 case 0x05: // MOV.W @Rm+,Rn 0110nnnnmmmm0101
3844 case 0x06: // MOV.L @Rm+,Rn 0110nnnnmmmm0110
3845 opd->dest = BITMASK1(GET_Rm());
3846 case 0x00: // MOV.B @Rm,Rn 0110nnnnmmmm0000
3847 case 0x01: // MOV.W @Rm,Rn 0110nnnnmmmm0001
3848 case 0x02: // MOV.L @Rm,Rn 0110nnnnmmmm0010
3849 opd->source = BITMASK1(GET_Rm());
3850 opd->dest |= BITMASK1(GET_Rn());
3851 break;
fa841b44 3852 case 0x0a: // NEGC Rm,Rn 0110nnnnmmmm1010
3853 opd->source = BITMASK2(GET_Rm(), SHR_T);
3854 opd->dest = BITMASK2(GET_Rn(), SHR_T);
3855 break;
bf092a36 3856 case 0x03: // MOV Rm,Rn 0110nnnnmmmm0011
3857 opd->op = OP_MOVE;
3858 goto arith_rmrn;
3859 case 0x07: // NOT Rm,Rn 0110nnnnmmmm0111
3860 case 0x08: // SWAP.B Rm,Rn 0110nnnnmmmm1000
3861 case 0x09: // SWAP.W Rm,Rn 0110nnnnmmmm1001
bf092a36 3862 case 0x0b: // NEG Rm,Rn 0110nnnnmmmm1011
3863 case 0x0c: // EXTU.B Rm,Rn 0110nnnnmmmm1100
3864 case 0x0d: // EXTU.W Rm,Rn 0110nnnnmmmm1101
3865 case 0x0e: // EXTS.B Rm,Rn 0110nnnnmmmm1110
3866 case 0x0f: // EXTS.W Rm,Rn 0110nnnnmmmm1111
3867 arith_rmrn:
3868 opd->source = BITMASK1(GET_Rm());
3869 opd->dest = BITMASK1(GET_Rn());
3870 break;
3871 }
3872 break;
3873
3874 /////////////////////////////////////////////
3875 case 0x07:
3876 // ADD #imm,Rn 0111nnnniiiiiiii
3877 opd->source = opd->dest = BITMASK1(GET_Rn());
3878 opd->imm = (int)(signed char)op;
3879 break;
3880
3881 /////////////////////////////////////////////
3882 case 0x08:
3883 switch (op & 0x0f00)
3884 {
3885 case 0x0000: // MOV.B R0,@(disp,Rn) 10000000nnnndddd
3886 opd->source = BITMASK2(GET_Rm(), SHR_R0);
3887 opd->imm = (op & 0x0f);
3888 break;
3889 case 0x0100: // MOV.W R0,@(disp,Rn) 10000001nnnndddd
3890 opd->source = BITMASK2(GET_Rm(), SHR_R0);
3891 opd->imm = (op & 0x0f) * 2;
3892 break;
3893 case 0x0400: // MOV.B @(disp,Rm),R0 10000100mmmmdddd
3894 opd->source = BITMASK1(GET_Rm());
3895 opd->dest = BITMASK1(SHR_R0);
3896 opd->imm = (op & 0x0f);
3897 break;
3898 case 0x0500: // MOV.W @(disp,Rm),R0 10000101mmmmdddd
3899 opd->source = BITMASK1(GET_Rm());
3900 opd->dest = BITMASK1(SHR_R0);
3901 opd->imm = (op & 0x0f) * 2;
3902 break;
3903 case 0x0800: // CMP/EQ #imm,R0 10001000iiiiiiii
3904 opd->source = BITMASK1(SHR_R0);
3905 opd->dest = BITMASK1(SHR_T);
3906 opd->imm = (int)(signed char)op;
3907 break;
3908 case 0x0d00: // BT/S label 10001101dddddddd
3909 case 0x0f00: // BF/S label 10001111dddddddd
3910 next_is_delay = 1;
3911 // fallthrough
3912 case 0x0900: // BT label 10001001dddddddd
3913 case 0x0b00: // BF label 10001011dddddddd
3914 opd->op = (op & 0x0200) ? OP_BRANCH_CF : OP_BRANCH_CT;
3915 opd->source = BITMASK1(SHR_T);
3916 opd->dest = BITMASK1(SHR_PC);
3917 opd->imm = ((signed int)(op << 24) >> 23);
3918 opd->imm += pc + 4;
3919 if (base_pc <= opd->imm && opd->imm < base_pc + BLOCK_INSN_LIMIT * 2)
3920 op_flags[(opd->imm - base_pc) / 2] |= OF_BTARGET;
3921 break;
3922 default:
3923 goto undefined;
3924 }
3925 break;
3926
3927 /////////////////////////////////////////////
3928 case 0x09:
3929 // MOV.W @(disp,PC),Rn 1001nnnndddddddd
3930 opd->op = OP_LOAD_POOL;
fa841b44 3931 tmp = pc + 2;
3932 if (op_flags[i] & OF_DELAY_OP) {
3933 if (ops[i-1].op == OP_BRANCH)
3934 tmp = ops[i-1].imm;
3935 else
3936 tmp = 0;
3937 }
bf092a36 3938 opd->source = BITMASK1(SHR_PC);
3939 opd->dest = BITMASK1(GET_Rn());
fa841b44 3940 if (tmp)
3941 opd->imm = tmp + 2 + (op & 0xff) * 2;
bf092a36 3942 opd->size = 1;
3943 break;
3944
3945 /////////////////////////////////////////////
3946 case 0x0b:
3947 // BSR label 1011dddddddddddd
3948 opd->dest = BITMASK1(SHR_PR);
3949 case 0x0a:
3950 // BRA label 1010dddddddddddd
3951 opd->op = OP_BRANCH;
3952 opd->dest |= BITMASK1(SHR_PC);
3953 opd->imm = ((signed int)(op << 20) >> 19);
3954 opd->imm += pc + 4;
3955 opd->cycles = 2;
3956 next_is_delay = 1;
3957 end_block = 1;
3958 if (base_pc <= opd->imm && opd->imm < base_pc + BLOCK_INSN_LIMIT * 2)
3959 op_flags[(opd->imm - base_pc) / 2] |= OF_BTARGET;
3960 break;
3961
3962 /////////////////////////////////////////////
3963 case 0x0c:
3964 switch (op & 0x0f00)
3965 {
3966 case 0x0000: // MOV.B R0,@(disp,GBR) 11000000dddddddd
3967 case 0x0100: // MOV.W R0,@(disp,GBR) 11000001dddddddd
3968 case 0x0200: // MOV.L R0,@(disp,GBR) 11000010dddddddd
3969 opd->source = BITMASK2(SHR_GBR, SHR_R0);
3970 opd->size = (op & 0x300) >> 8;
3971 opd->imm = (op & 0xff) << opd->size;
3972 break;
3973 case 0x0400: // MOV.B @(disp,GBR),R0 11000100dddddddd
3974 case 0x0500: // MOV.W @(disp,GBR),R0 11000101dddddddd
3975 case 0x0600: // MOV.L @(disp,GBR),R0 11000110dddddddd
3976 opd->source = BITMASK1(SHR_GBR);
3977 opd->dest = BITMASK1(SHR_R0);
3978 opd->size = (op & 0x300) >> 8;
3979 opd->imm = (op & 0xff) << opd->size;
3980 break;
3981 case 0x0300: // TRAPA #imm 11000011iiiiiiii
3982 opd->source = BITMASK2(SHR_PC, SHR_SR);
3983 opd->dest = BITMASK1(SHR_PC);
3984 opd->imm = (op & 0xff) * 4;
3985 opd->cycles = 8;
3986 end_block = 1; // FIXME
3987 break;
3988 case 0x0700: // MOVA @(disp,PC),R0 11000111dddddddd
fa841b44 3989 opd->op = OP_MOVA;
3990 tmp = pc + 2;
3991 if (op_flags[i] & OF_DELAY_OP) {
3992 if (ops[i-1].op == OP_BRANCH)
3993 tmp = ops[i-1].imm;
3994 else
3995 tmp = 0;
3996 }
bf092a36 3997 opd->dest = BITMASK1(SHR_R0);
ee5f7e99 3998 if (tmp) {
fa841b44 3999 opd->imm = (tmp + 2 + (op & 0xff) * 4) & ~3;
ee5f7e99 4000 if (opd->imm >= base_pc) {
4001 if (lowest_mova == 0 || opd->imm < lowest_mova)
4002 lowest_mova = opd->imm;
4003 }
4004 }
bf092a36 4005 break;
4006 case 0x0800: // TST #imm,R0 11001000iiiiiiii
4007 opd->source = BITMASK1(SHR_R0);
4008 opd->dest = BITMASK1(SHR_T);
4009 opd->imm = op & 0xff;
4010 break;
4011 case 0x0900: // AND #imm,R0 11001001iiiiiiii
4012 opd->source = opd->dest = BITMASK1(SHR_R0);
4013 opd->imm = op & 0xff;
4014 break;
4015 case 0x0a00: // XOR #imm,R0 11001010iiiiiiii
4016 opd->source = opd->dest = BITMASK1(SHR_R0);
4017 opd->imm = op & 0xff;
4018 break;
4019 case 0x0b00: // OR #imm,R0 11001011iiiiiiii
4020 opd->source = opd->dest = BITMASK1(SHR_R0);
4021 opd->imm = op & 0xff;
4022 break;
4023 case 0x0c00: // TST.B #imm,@(R0,GBR) 11001100iiiiiiii
4024 opd->source = BITMASK2(SHR_GBR, SHR_R0);
4025 opd->dest = BITMASK1(SHR_T);
4026 opd->imm = op & 0xff;
4027 opd->cycles = 3;
4028 break;
4029 case 0x0d00: // AND.B #imm,@(R0,GBR) 11001101iiiiiiii
4030 case 0x0e00: // XOR.B #imm,@(R0,GBR) 11001110iiiiiiii
4031 case 0x0f00: // OR.B #imm,@(R0,GBR) 11001111iiiiiiii
4032 opd->source = BITMASK2(SHR_GBR, SHR_R0);
4033 opd->imm = op & 0xff;
4034 opd->cycles = 3;
4035 break;
4036 default:
4037 goto undefined;
4038 }
4039 break;
4040
4041 /////////////////////////////////////////////
4042 case 0x0d:
4043 // MOV.L @(disp,PC),Rn 1101nnnndddddddd
4044 opd->op = OP_LOAD_POOL;
fa841b44 4045 tmp = pc + 2;
4046 if (op_flags[i] & OF_DELAY_OP) {
4047 if (ops[i-1].op == OP_BRANCH)
4048 tmp = ops[i-1].imm;
4049 else
4050 tmp = 0;
4051 }
bf092a36 4052 opd->source = BITMASK1(SHR_PC);
4053 opd->dest = BITMASK1(GET_Rn());
fa841b44 4054 if (tmp)
4055 opd->imm = (tmp + 2 + (op & 0xff) * 4) & ~3;
bf092a36 4056 opd->size = 2;
4057 break;
4058
4059 /////////////////////////////////////////////
4060 case 0x0e:
4061 // MOV #imm,Rn 1110nnnniiiiiiii
4062 opd->dest = BITMASK1(GET_Rn());
4063 opd->imm = (u32)(signed int)(signed char)op;
4064 break;
4065
4066 default:
4067 undefined:
4068 elprintf(EL_ANOMALY, "%csh2 drc: unhandled op %04x @ %08x",
4069 is_slave ? 's' : 'm', op, pc);
4070 break;
4071 }
6a5b1b36 4072
4073 if (op_flags[i] & OF_DELAY_OP) {
4074 switch (opd->op) {
4075 case OP_BRANCH:
4076 case OP_BRANCH_CT:
4077 case OP_BRANCH_CF:
4078 case OP_BRANCH_R:
4079 case OP_BRANCH_RF:
4080 elprintf(EL_ANOMALY, "%csh2 drc: branch in DS @ %08x",
4081 is_slave ? 's' : 'm', pc);
4082 opd->op = OP_UNHANDLED;
4083 op_flags[i] |= OF_B_IN_DS;
4084 next_is_delay = 0;
4085 break;
4086 }
4087 }
bf092a36 4088 }
4089 i_end = i;
4090 end_pc = pc;
4091
4092 // 2nd pass: some analysis
4093 for (i = 0; i < i_end; i++) {
4094 opd = &ops[i];
4095
4096 // propagate T (TODO: DIV0U)
4097 if ((opd->op == OP_SETCLRT && !opd->imm) || opd->op == OP_BRANCH_CT)
4098 op_flags[i + 1] |= OF_T_CLEAR;
4099 else if ((opd->op == OP_SETCLRT && opd->imm) || opd->op == OP_BRANCH_CF)
4100 op_flags[i + 1] |= OF_T_SET;
4101
4102 if ((op_flags[i] & OF_BTARGET) || (opd->dest & BITMASK1(SHR_T)))
4103 op_flags[i] &= ~(OF_T_SET | OF_T_CLEAR);
4104 else
4105 op_flags[i + 1] |= op_flags[i] & (OF_T_SET | OF_T_CLEAR);
4106
4107 if ((opd->op == OP_BRANCH_CT && (op_flags[i] & OF_T_SET))
4108 || (opd->op == OP_BRANCH_CF && (op_flags[i] & OF_T_CLEAR)))
4109 {
4110 opd->op = OP_BRANCH;
4111 opd->cycles = 3;
4112 i_end = i + 1;
4113 if (op_flags[i + 1] & OF_DELAY_OP) {
4114 opd->cycles = 2;
4115 i_end++;
4116 }
4117 }
4118 else if (opd->op == OP_LOAD_POOL)
4119 {
4120 if (opd->imm < end_pc + MAX_LITERAL_OFFSET) {
4121 if (end_literals < opd->imm + opd->size * 2)
4122 end_literals = opd->imm + opd->size * 2;
4123 }
4124 }
4125 }
4126 end_pc = base_pc + i_end * 2;
4127 if (end_literals < end_pc)
4128 end_literals = end_pc;
4129
ee5f7e99 4130 // end_literals is used to decide to inline a literal or not
4131 // XXX: need better detection if this actually is used in write
4132 if (lowest_mova >= base_pc) {
4133 if (lowest_mova < end_literals) {
4134 dbg(1, "mova for %08x, block %08x", lowest_mova, base_pc);
4135 end_literals = end_pc;
4136 }
4137 if (lowest_mova < end_pc) {
4138 dbg(1, "warning: mova inside of blk for %08x, block %08x",
4139 lowest_mova, base_pc);
4140 end_literals = end_pc;
4141 }
4142 }
4143
bf092a36 4144 *end_pc_out = end_pc;
4145 if (end_literals_out != NULL)
4146 *end_literals_out = end_literals;
00faec9c 4147}
4148
5f0ca48f 4149// vim:shiftwidth=2:ts=2:expandtab