kdb.c 21 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051
  1. #include <u.h>
  2. #include <libc.h>
  3. #include <bio.h>
  4. #include <mach.h>
  5. /*
  6. * Sparc-specific debugger interface
  7. */
  8. static char *sparcexcep(Map*, Rgetter);
  9. static int sparcfoll(Map*, uvlong, Rgetter, uvlong*);
  10. static int sparcinst(Map*, uvlong, char, char*, int);
  11. static int sparcdas(Map*, uvlong, char*, int);
  12. static int sparcinstlen(Map*, uvlong);
  13. Machdata sparcmach =
  14. {
  15. {0x91, 0xd0, 0x20, 0x01}, /* breakpoint: TA $1 */
  16. 4, /* break point size */
  17. beswab, /* convert short to local byte order */
  18. beswal, /* convert long to local byte order */
  19. beswav, /* convert vlong to local byte order */
  20. risctrace, /* C traceback */
  21. riscframe, /* frame finder */
  22. sparcexcep, /* print exception */
  23. 0, /* breakpoint fixup */
  24. beieeesftos, /* single precision float printer */
  25. beieeedftos, /* double precision float printer */
  26. sparcfoll, /* following addresses */
  27. sparcinst, /* print instruction */
  28. sparcdas, /* dissembler */
  29. sparcinstlen, /* instruction size */
  30. };
  31. static char *trapname[] =
  32. {
  33. "reset",
  34. "instruction access exception",
  35. "illegal instruction",
  36. "privileged instruction",
  37. "fp disabled",
  38. "window overflow",
  39. "window underflow",
  40. "unaligned address",
  41. "fp exception",
  42. "data access exception",
  43. "tag overflow",
  44. };
  45. static char*
  46. excname(ulong tbr)
  47. {
  48. static char buf[32];
  49. if(tbr < sizeof trapname/sizeof(char*))
  50. return trapname[tbr];
  51. if(tbr >= 130)
  52. sprint(buf, "trap instruction %ld", tbr-128);
  53. else if(17<=tbr && tbr<=31)
  54. sprint(buf, "interrupt level %ld", tbr-16);
  55. else switch(tbr){
  56. case 36:
  57. return "cp disabled";
  58. case 40:
  59. return "cp exception";
  60. case 128:
  61. return "syscall";
  62. case 129:
  63. return "breakpoint";
  64. default:
  65. sprint(buf, "unknown trap %ld", tbr);
  66. }
  67. return buf;
  68. }
  69. static char*
  70. sparcexcep(Map *map, Rgetter rget)
  71. {
  72. long tbr;
  73. tbr = (*rget)(map, "TBR");
  74. tbr = (tbr&0xFFF)>>4;
  75. return excname(tbr);
  76. }
  77. /* Sparc disassembler and related functions */
  78. struct opcode {
  79. char *mnemonic;
  80. void (*f)(struct instr*, char*);
  81. int flag;
  82. };
  83. static char FRAMENAME[] = ".frame";
  84. typedef struct instr Instr;
  85. struct instr {
  86. uchar op; /* bits 31-30 */
  87. uchar rd; /* bits 29-25 */
  88. uchar op2; /* bits 24-22 */
  89. uchar a; /* bit 29 */
  90. uchar cond; /* bits 28-25 */
  91. uchar op3; /* bits 24-19 */
  92. uchar rs1; /* bits 18-14 */
  93. uchar i; /* bit 13 */
  94. uchar asi; /* bits 12-05 */
  95. uchar rs2; /* bits 04-00 */
  96. short simm13; /* bits 12-00, signed */
  97. ushort opf; /* bits 13-05 */
  98. ulong immdisp22; /* bits 21-00 */
  99. ulong simmdisp22; /* bits 21-00, signed */
  100. ulong disp30; /* bits 30-00 */
  101. ulong imm32; /* SETHI+ADD constant */
  102. int target; /* SETHI+ADD dest reg */
  103. long w0;
  104. long w1;
  105. uvlong addr; /* pc of instruction */
  106. char *curr; /* current fill level in output buffer */
  107. char *end; /* end of buffer */
  108. int size; /* number of longs in instr */
  109. char *err; /* errmsg */
  110. };
  111. static Map *mymap; /* disassembler context */
  112. static int dascase;
  113. static int mkinstr(uvlong, Instr*);
  114. static void bra1(Instr*, char*, char*[]);
  115. static void bra(Instr*, char*);
  116. static void fbra(Instr*, char*);
  117. static void cbra(Instr*, char*);
  118. static void unimp(Instr*, char*);
  119. static void fpop(Instr*, char*);
  120. static void shift(Instr*, char*);
  121. static void sethi(Instr*, char*);
  122. static void load(Instr*, char*);
  123. static void loada(Instr*, char*);
  124. static void store(Instr*, char*);
  125. static void storea(Instr*, char*);
  126. static void add(Instr*, char*);
  127. static void cmp(Instr*, char*);
  128. static void wr(Instr*, char*);
  129. static void jmpl(Instr*, char*);
  130. static void rd(Instr*, char*);
  131. static void loadf(Instr*, char*);
  132. static void storef(Instr*, char*);
  133. static void loadc(Instr*, char*);
  134. static void loadcsr(Instr*, char*);
  135. static void trap(Instr*, char*);
  136. static struct opcode sparcop0[8] = {
  137. [0] "UNIMP", unimp, 0, /* page 137 */
  138. [2] "B", bra, 0, /* page 119 */
  139. [4] "SETHI", sethi, 0, /* page 104 */
  140. [6] "FB", fbra, 0, /* page 121 */
  141. [7] "CB", cbra, 0, /* page 123 */
  142. };
  143. static struct opcode sparcop2[64] = {
  144. [0x00] "ADD", add, 0, /* page 108 */
  145. [0x10] "ADDCC", add, 0,
  146. [0x08] "ADDX", add, 0,
  147. [0x18] "ADDXCC", add, 0,
  148. [0x20] "TADD", add, 0, /* page 109 */
  149. [0x22] "TADDCCTV", add, 0,
  150. [0x04] "SUB", add, 0, /* page 110 */
  151. [0x14] "SUBCC", cmp, 0,
  152. [0x0C] "SUBX", add, 0,
  153. [0x1C] "SUBXCC", add, 0,
  154. [0x21] "TSUB", add, 0, /* page 111 */
  155. [0x23] "TSUBCCTV", add, 0,
  156. [0x24] "MULSCC", add, 0, /* page 112 */
  157. [0x0A] "UMUL", add, 0, /* page 113 */
  158. [0x0B] "SMUL", add, 0,
  159. [0x1A] "UMULCC", add, 0,
  160. [0x1B] "SMULCC", add, 0,
  161. [0x0E] "UDIV", add, 0, /* page 115 */
  162. [0x0F] "SDIV", add, 0,
  163. [0x1E] "UDIVCC", add, 0,
  164. [0x1F] "SDIVCC", add, 0,
  165. [0x01] "AND", add, 0, /* page 106 */
  166. [0x11] "ANDCC", add, 0,
  167. [0x05] "ANDN", add, 0,
  168. [0x15] "ANDNCC", add, 0,
  169. [0x02] "OR", add, 0,
  170. [0x12] "ORCC", add, 0,
  171. [0x06] "ORN", add, 0,
  172. [0x16] "ORNCC", add, 0,
  173. [0x03] "XOR", add, 0,
  174. [0x13] "XORCC", add, 0,
  175. [0x07] "XORN", add, 0,
  176. [0x17] "XORNCC", add, 0,
  177. [0x25] "SLL", shift, 0, /* page 107 */
  178. [0x26] "SRL", shift, 0,
  179. [0x27] "SRA", shift, 0,
  180. [0x3C] "SAVE", add, 0, /* page 117 */
  181. [0x3D] "RESTORE", add, 0,
  182. [0x38] "JMPL", jmpl, 0, /* page 126 */
  183. [0x39] "RETT", add, 0, /* page 127 */
  184. [0x3A] "T", trap, 0, /* page 129 */
  185. [0x28] "rdy", rd, 0, /* page 131 */
  186. [0x29] "rdpsr", rd, 0,
  187. [0x2A] "rdwim", rd, 0,
  188. [0x2B] "rdtbr", rd, 0,
  189. [0x30] "wry", wr, 0, /* page 133 */
  190. [0x31] "wrpsr", wr, 0,
  191. [0x32] "wrwim", wr, 0,
  192. [0x33] "wrtbr", wr, 0,
  193. [0x3B] "flush", add, 0, /* page 138 */
  194. [0x34] "FPOP", fpop, 0, /* page 140 */
  195. [0x35] "FPOP", fpop, 0,
  196. };
  197. static struct opcode sparcop3[64]={
  198. [0x09] "ldsb", load, 0, /* page 90 */
  199. [0x19] "ldsba", loada, 0,
  200. [0x0A] "ldsh", load, 0,
  201. [0x1A] "ldsha", loada, 0,
  202. [0x01] "ldub", load, 0,
  203. [0x11] "lduba", loada, 0,
  204. [0x02] "lduh", load, 0,
  205. [0x12] "lduha", loada, 0,
  206. [0x00] "ld", load, 0,
  207. [0x10] "lda", loada, 0,
  208. [0x03] "ldd", load, 0,
  209. [0x13] "ldda", loada, 0,
  210. [0x20] "ldf", loadf, 0, /* page 92 */
  211. [0x23] "lddf", loadf, 0,
  212. [0x21] "ldfsr", loadf,0,
  213. [0x30] "ldc", loadc, 0, /* page 94 */
  214. [0x33] "lddc", loadc, 0,
  215. [0x31] "ldcsr", loadcsr,0,
  216. [0x05] "stb", store, 0, /* page 95 */
  217. [0x15] "stba", storea, 0,
  218. [0x06] "sth", store, 0,
  219. [0x16] "stha", storea, 0,
  220. [0x04] "st", store, 0,
  221. [0x14] "sta", storea, 0,
  222. [0x07] "std", store, 0,
  223. [0x17] "stda", storea, 0,
  224. [0x24] "stf", storef, 0, /* page 97 */
  225. [0x27] "stdf", storef, 0,
  226. [0x25] "stfsr", storef,0,
  227. [0x26] "stdfq", storef,0,
  228. [0x34] "stc", loadc, 0, /* page 99 */
  229. [0x37] "stdc", loadc, 0,
  230. [0x35] "stcsr", loadcsr,0,
  231. [0x36] "stdcq", loadcsr,0,
  232. [0x0D] "ldstub", store, 0, /* page 101 */
  233. [0x1D] "ldstuba", storea, 0,
  234. [0x0F] "swap", load, 0, /* page 102 */
  235. [0x1F] "swapa", loada, 0,
  236. };
  237. #pragma varargck argpos bprint 2
  238. #pragma varargck type "T" char*
  239. /* convert to lower case from upper, according to dascase */
  240. static int
  241. Tfmt(Fmt *f)
  242. {
  243. char buf[128];
  244. char *s, *t, *oa;
  245. oa = va_arg(f->args, char*);
  246. if(dascase){
  247. for(s=oa,t=buf; *t = *s; s++,t++)
  248. if('A'<=*t && *t<='Z')
  249. *t += 'a'-'A';
  250. return fmtstrcpy(f, buf);
  251. }
  252. return fmtstrcpy(f, oa);
  253. }
  254. static void
  255. bprint(Instr *i, char *fmt, ...)
  256. {
  257. va_list arg;
  258. va_start(arg, fmt);
  259. i->curr = vseprint(i->curr, i->end, fmt, arg);
  260. va_end(arg);
  261. }
  262. static int
  263. decode(uvlong pc, Instr *i)
  264. {
  265. ulong w;
  266. if (get4(mymap, pc, &w) < 0) {
  267. werrstr("can't read instruction: %r");
  268. return -1;
  269. }
  270. i->op = (w >> 30) & 0x03;
  271. i->rd = (w >> 25) & 0x1F;
  272. i->op2 = (w >> 22) & 0x07;
  273. i->a = (w >> 29) & 0x01;
  274. i->cond = (w >> 25) & 0x0F;
  275. i->op3 = (w >> 19) & 0x3F;
  276. i->rs1 = (w >> 14) & 0x1F;
  277. i->i = (w >> 13) & 0x01;
  278. i->asi = (w >> 5) & 0xFF;
  279. i->rs2 = (w >> 0) & 0x1F;
  280. i->simm13 = (w >> 0) & 0x1FFF;
  281. if(i->simm13 & (1<<12))
  282. i->simm13 |= ~((1<<13)-1);
  283. i->opf = (w >> 5) & 0x1FF;
  284. i->immdisp22 = (w >> 0) & 0x3FFFFF;
  285. i->simmdisp22 = i->immdisp22;
  286. if(i->simmdisp22 & (1<<21))
  287. i->simmdisp22 |= ~((1<<22)-1);
  288. i->disp30 = (w >> 0) & 0x3FFFFFFF;
  289. i->w0 = w;
  290. i->target = -1;
  291. i->addr = pc;
  292. i->size = 1;
  293. return 1;
  294. }
  295. static int
  296. mkinstr(uvlong pc, Instr *i)
  297. {
  298. Instr xi;
  299. if (decode(pc, i) < 0)
  300. return -1;
  301. if(i->op==0 && i->op2==4 && !dascase){ /* SETHI */
  302. if (decode(pc+4, &xi) < 0)
  303. return -1;
  304. if(xi.op==2 && xi.op3==0) /* ADD */
  305. if(xi.i == 1 && xi.rs1 == i->rd){ /* immediate to same reg */
  306. i->imm32 = xi.simm13 + (i->immdisp22<<10);
  307. i->target = xi.rd;
  308. i->w1 = xi.w0;
  309. i->size++;
  310. return 1;
  311. }
  312. }
  313. if(i->op==2 && i->opf==1 && !dascase){ /* FMOVS */
  314. if (decode(pc+4, &xi) < 0)
  315. return -1;
  316. if(i->op==2 && i->opf==1) /* FMOVS */
  317. if(xi.rd==i->rd+1 && xi.rs2==i->rs2+1){ /* next pair */
  318. i->w1 = xi.w0;
  319. i->size++;
  320. }
  321. }
  322. return 1;
  323. }
  324. static int
  325. printins(Map *map, uvlong pc, char *buf, int n)
  326. {
  327. Instr instr;
  328. void (*f)(Instr*, char*);
  329. mymap = map;
  330. memset(&instr, 0, sizeof(instr));
  331. instr.curr = buf;
  332. instr.end = buf+n-1;
  333. if (mkinstr(pc, &instr) < 0)
  334. return -1;
  335. switch(instr.op){
  336. case 0:
  337. f = sparcop0[instr.op2].f;
  338. if(f)
  339. (*f)(&instr, sparcop0[instr.op2].mnemonic);
  340. else
  341. bprint(&instr, "unknown %lux", instr.w0);
  342. break;
  343. case 1:
  344. bprint(&instr, "%T", "CALL\t");
  345. instr.curr += symoff(instr.curr, instr.end-instr.curr,
  346. pc+instr.disp30*4, CTEXT);
  347. if (!dascase)
  348. bprint(&instr, "(SB)");
  349. break;
  350. case 2:
  351. f = sparcop2[instr.op3].f;
  352. if(f)
  353. (*f)(&instr, sparcop2[instr.op3].mnemonic);
  354. else
  355. bprint(&instr, "unknown %lux", instr.w0);
  356. break;
  357. case 3:
  358. f = sparcop3[instr.op3].f;
  359. if(f)
  360. (*f)(&instr, sparcop3[instr.op3].mnemonic);
  361. else
  362. bprint(&instr, "unknown %lux", instr.w0);
  363. break;
  364. }
  365. if (instr.err) {
  366. if (instr.curr != buf)
  367. bprint(&instr, "\t\t;");
  368. bprint(&instr, instr.err);
  369. }
  370. return instr.size*4;
  371. }
  372. static int
  373. sparcinst(Map *map, uvlong pc, char modifier, char *buf, int n)
  374. {
  375. static int fmtinstalled = 0;
  376. /* a modifier of 'I' toggles the dissassembler type */
  377. if (!fmtinstalled) {
  378. fmtinstalled = 1;
  379. fmtinstall('T', Tfmt);
  380. }
  381. if ((asstype == ASUNSPARC && modifier == 'i')
  382. || (asstype == ASPARC && modifier == 'I'))
  383. dascase = 'a'-'A';
  384. else
  385. dascase = 0;
  386. return printins(map, pc, buf, n);
  387. }
  388. static int
  389. sparcdas(Map *map, uvlong pc, char *buf, int n)
  390. {
  391. Instr instr;
  392. mymap = map;
  393. memset(&instr, 0, sizeof(instr));
  394. instr.curr = buf;
  395. instr.end = buf+n-1;
  396. if (mkinstr(pc, &instr) < 0)
  397. return -1;
  398. if (instr.end-instr.curr > 8)
  399. instr.curr = _hexify(instr.curr, instr.w0, 7);
  400. if (instr.end-instr.curr > 9 && instr.size == 2) {
  401. *instr.curr++ = ' ';
  402. instr.curr = _hexify(instr.curr, instr.w1, 7);
  403. }
  404. *instr.curr = 0;
  405. return instr.size*4;
  406. }
  407. static int
  408. sparcinstlen(Map *map, uvlong pc)
  409. {
  410. Instr i;
  411. mymap = map;
  412. if (mkinstr(pc, &i) < 0)
  413. return -1;
  414. return i.size*4;
  415. }
  416. static int
  417. plocal(Instr *i)
  418. {
  419. int offset;
  420. Symbol s;
  421. if (!findsym(i->addr, CTEXT, &s) || !findlocal(&s, FRAMENAME, &s))
  422. return -1;
  423. if (s.value > i->simm13) {
  424. if(getauto(&s, s.value-i->simm13, CAUTO, &s)) {
  425. bprint(i, "%s+%lld(SP)", s.name, s.value);
  426. return 1;
  427. }
  428. } else {
  429. offset = i->simm13-s.value;
  430. if (getauto(&s, offset-4, CPARAM, &s)) {
  431. bprint(i, "%s+%d(FP)", s.name, offset);
  432. return 1;
  433. }
  434. }
  435. return -1;
  436. }
  437. static void
  438. address(Instr *i)
  439. {
  440. Symbol s, s2;
  441. uvlong off, off1;
  442. if (i->rs1 == 1 && plocal(i) >= 0)
  443. return;
  444. off = mach->sb+i->simm13;
  445. if(i->rs1 == 2 && findsym(off, CANY, &s)
  446. && s.value-off < 4096
  447. && (s.class == CDATA || s.class == CTEXT)) {
  448. if(off==s.value && s.name[0]=='$'){
  449. off1 = 0;
  450. geta(mymap, s.value, &off1);
  451. if(off1 && findsym(off1, CANY, &s2) && s2.value == off1){
  452. bprint(i, "$%s(SB)", s2.name);
  453. return;
  454. }
  455. }
  456. bprint(i, "%s", s.name);
  457. if (s.value != off)
  458. bprint(i, "+%llux", s.value-off);
  459. bprint(i, "(SB)");
  460. return;
  461. }
  462. bprint(i, "%ux(R%d)", i->simm13, i->rs1);
  463. }
  464. static void
  465. unimp(Instr *i, char *m)
  466. {
  467. bprint(i, "%T", m);
  468. }
  469. static char *bratab[16] = { /* page 91 */
  470. [0X8] "A",
  471. [0X0] "N",
  472. [0X9] "NE",
  473. [0X1] "E",
  474. [0XA] "G",
  475. [0X2] "LE",
  476. [0XB] "GE",
  477. [0X3] "L",
  478. [0XC] "GU",
  479. [0X4] "LEU",
  480. [0XD] "CC",
  481. [0X5] "CS",
  482. [0XE] "POS",
  483. [0X6] "NEG",
  484. [0XF] "VC",
  485. [0X7] "VS",
  486. };
  487. static char *fbratab[16] = { /* page 91 */
  488. [0X8] "A",
  489. [0X0] "N",
  490. [0X7] "U",
  491. [0X6] "G",
  492. [0X5] "UG",
  493. [0X4] "L",
  494. [0X3] "UL",
  495. [0X2] "LG",
  496. [0X1] "NE",
  497. [0X9] "E",
  498. [0XA] "UE",
  499. [0XB] "GE",
  500. [0XC] "UGE",
  501. [0XD] "LE",
  502. [0XE] "ULE",
  503. [0XF] "O",
  504. };
  505. static char *cbratab[16] = { /* page 91 */
  506. [0X8] "A",
  507. [0X0] "N",
  508. [0X7] "3",
  509. [0X6] "2",
  510. [0X5] "23",
  511. [0X4] "1",
  512. [0X3] "13",
  513. [0X2] "12",
  514. [0X1] "123",
  515. [0X9] "0",
  516. [0XA] "03",
  517. [0XB] "02",
  518. [0XC] "023",
  519. [0XD] "01",
  520. [0XE] "013",
  521. [0XF] "012",
  522. };
  523. static void
  524. bra1(Instr *i, char *m, char *tab[])
  525. {
  526. long imm;
  527. imm = i->simmdisp22;
  528. if(i->a)
  529. bprint(i, "%T%T.%c\t", m, tab[i->cond], 'A'+dascase);
  530. else
  531. bprint(i, "%T%T\t", m, tab[i->cond]);
  532. i->curr += symoff(i->curr, i->end-i->curr, i->addr+4*imm, CTEXT);
  533. if (!dascase)
  534. bprint(i, "(SB)");
  535. }
  536. static void
  537. bra(Instr *i, char *m) /* page 91 */
  538. {
  539. bra1(i, m, bratab);
  540. }
  541. static void
  542. fbra(Instr *i, char *m) /* page 93 */
  543. {
  544. bra1(i, m, fbratab);
  545. }
  546. static void
  547. cbra(Instr *i, char *m) /* page 95 */
  548. {
  549. bra1(i, m, cbratab);
  550. }
  551. static void
  552. trap(Instr *i, char *m) /* page 101 */
  553. {
  554. if(i->i == 0)
  555. bprint(i, "%T%T\tR%d+R%d", m, bratab[i->cond], i->rs2, i->rs1);
  556. else
  557. bprint(i, "%T%T\t$%ux+R%d", m, bratab[i->cond], i->simm13, i->rs1);
  558. }
  559. static void
  560. sethi(Instr *i, char *m) /* page 89 */
  561. {
  562. ulong imm;
  563. imm = i->immdisp22<<10;
  564. if(dascase){
  565. bprint(i, "%T\t%lux, R%d", m, imm, i->rd);
  566. return;
  567. }
  568. if(imm==0 && i->rd==0){
  569. bprint(i, "NOP");
  570. return;
  571. }
  572. if(i->target < 0){
  573. bprint(i, "MOVW\t$%lux, R%d", imm, i->rd);
  574. return;
  575. }
  576. bprint(i, "MOVW\t$%lux, R%d", i->imm32, i->target);
  577. }
  578. static char ldtab[] = {
  579. 'W',
  580. 'B',
  581. 'H',
  582. 'D',
  583. };
  584. static char*
  585. moveinstr(int op3, char *m)
  586. {
  587. char *s;
  588. int c;
  589. static char buf[8];
  590. if(!dascase){
  591. /* batshit cases */
  592. if(op3 == 0xF || op3 == 0x1F)
  593. return "SWAP";
  594. if(op3 == 0xD || op3 == 0x1D)
  595. return "TAS"; /* really LDSTUB */
  596. c = ldtab[op3&3];
  597. s = "";
  598. if((op3&11)==1 || (op3&11)==2)
  599. s="U";
  600. sprint(buf, "MOV%c%s", c, s);
  601. return buf;
  602. }
  603. return m;
  604. }
  605. static void
  606. load(Instr *i, char *m) /* page 68 */
  607. {
  608. m = moveinstr(i->op3, m);
  609. if(i->i == 0)
  610. bprint(i, "%s\t(R%d+R%d), R%d", m, i->rs1, i->rs2, i->rd);
  611. else{
  612. bprint(i, "%s\t", m);
  613. address(i);
  614. bprint(i, ", R%d", i->rd);
  615. }
  616. }
  617. static void
  618. loada(Instr *i, char *m) /* page 68 */
  619. {
  620. m = moveinstr(i->op3, m);
  621. if(i->i == 0)
  622. bprint(i, "%s\t(R%d+R%d, %d), R%d", m, i->rs1, i->rs2, i->asi, i->rd);
  623. else
  624. bprint(i, "unknown ld asi %lux", i->w0);
  625. }
  626. static void
  627. store(Instr *i, char *m) /* page 74 */
  628. {
  629. m = moveinstr(i->op3, m);
  630. if(i->i == 0)
  631. bprint(i, "%s\tR%d, (R%d+R%d)",
  632. m, i->rd, i->rs1, i->rs2);
  633. else{
  634. bprint(i, "%s\tR%d, ", m, i->rd);
  635. address(i);
  636. }
  637. }
  638. static void
  639. storea(Instr *i, char *m) /* page 74 */
  640. {
  641. m = moveinstr(i->op3, m);
  642. if(i->i == 0)
  643. bprint(i, "%s\tR%d, (R%d+R%d, %d)", m, i->rd, i->rs1, i->rs2, i->asi);
  644. else
  645. bprint(i, "%s\tR%d, %d(R%d, %d), ???", m, i->rd, i->simm13, i->rs1, i->asi);
  646. }
  647. static void
  648. shift(Instr *i, char *m) /* page 88 */
  649. {
  650. if(i->i == 0){
  651. if(i->rs1 == i->rd)
  652. if(dascase)
  653. bprint(i, "%T\tR%d, R%d", m, i->rs1, i->rs2);
  654. else
  655. bprint(i, "%T\tR%d, R%d", m, i->rs2, i->rs1);
  656. else
  657. if(dascase)
  658. bprint(i, "%T\tR%d, R%d, R%d", m, i->rs1, i->rs2, i->rd);
  659. else
  660. bprint(i, "%T\tR%d, R%d, R%d", m, i->rs2, i->rs1, i->rd);
  661. }else{
  662. if(i->rs1 == i->rd)
  663. if(dascase)
  664. bprint(i, "%T\t$%d,R%d", m, i->simm13&0x1F, i->rs1);
  665. else
  666. bprint(i, "%T\tR%d, $%d", m, i->rs1, i->simm13&0x1F);
  667. else
  668. if(dascase)
  669. bprint(i, "%T\tR%d, $%d, R%d",m,i->rs1,i->simm13&0x1F,i->rd);
  670. else
  671. bprint(i, "%T\t$%d, R%d, R%d",m,i->simm13&0x1F,i->rs1,i->rd);
  672. }
  673. }
  674. static void
  675. add(Instr *i, char *m) /* page 82 */
  676. {
  677. if(i->i == 0){
  678. if(dascase)
  679. bprint(i, "%T\tR%d, R%d", m, i->rs1, i->rs2);
  680. else
  681. if(i->op3==2 && i->rs1==0 && i->rd) /* OR R2, R0, R1 */
  682. bprint(i, "MOVW\tR%d", i->rs2);
  683. else
  684. bprint(i, "%T\tR%d, R%d", m, i->rs2, i->rs1);
  685. }else{
  686. if(dascase)
  687. bprint(i, "%T\tR%d, $%ux", m, i->rs1, i->simm13);
  688. else
  689. if(i->op3==0 && i->rd && i->rs1==0) /* ADD $x, R0, R1 */
  690. bprint(i, "MOVW\t$%ux", i->simm13);
  691. else if(i->op3==0 && i->rd && i->rs1==2){
  692. /* ADD $x, R2, R1 -> MOVW $x(SB), R1 */
  693. bprint(i, "MOVW\t$");
  694. address(i);
  695. } else
  696. bprint(i, "%T\t$%ux, R%d", m, i->simm13, i->rs1);
  697. }
  698. if(i->rs1 != i->rd)
  699. bprint(i, ", R%d", i->rd);
  700. }
  701. static void
  702. cmp(Instr *i, char *m)
  703. {
  704. if(dascase || i->rd){
  705. add(i, m);
  706. return;
  707. }
  708. if(i->i == 0)
  709. bprint(i, "CMP\tR%d, R%d", i->rs1, i->rs2);
  710. else
  711. bprint(i, "CMP\tR%d, $%ux", i->rs1, i->simm13);
  712. }
  713. static char *regtab[4] = {
  714. "Y",
  715. "PSR",
  716. "WIM",
  717. "TBR",
  718. };
  719. static void
  720. wr(Instr *i, char *m) /* page 82 */
  721. {
  722. if(dascase){
  723. if(i->i == 0)
  724. bprint(i, "%s\tR%d, R%d", m, i->rs1, i->rs2);
  725. else
  726. bprint(i, "%s\tR%d, $%ux", m, i->rs1, i->simm13);
  727. }else{
  728. if(i->i && i->simm13==0)
  729. bprint(i, "MOVW\tR%d", i->rs1);
  730. else if(i->i == 0)
  731. bprint(i, "wr\tR%d, R%d", i->rs2, i->rs1);
  732. else
  733. bprint(i, "wr\t$%ux, R%d", i->simm13, i->rs1);
  734. }
  735. bprint(i, ", %s", regtab[i->op3&3]);
  736. }
  737. static void
  738. rd(Instr *i, char *m) /* page 103 */
  739. {
  740. if(i->rs1==15 && i->rd==0){
  741. m = "stbar";
  742. if(!dascase)
  743. m = "STBAR";
  744. bprint(i, "%s", m);
  745. }else{
  746. if(!dascase)
  747. m = "MOVW";
  748. bprint(i, "%s\t%s, R%d", m, regtab[i->op3&3], i->rd);
  749. }
  750. }
  751. static void
  752. jmpl(Instr *i, char *m) /* page 82 */
  753. {
  754. if(i->i == 0){
  755. if(i->rd == 15)
  756. bprint(i, "%T\t(R%d+R%d)", "CALL", i->rs2, i->rs1);
  757. else
  758. bprint(i, "%T\t(R%d+R%d), R%d", m, i->rs2, i->rs1, i->rd);
  759. }else{
  760. if(!dascase && i->simm13==8 && i->rs1==15 && i->rd==0)
  761. bprint(i, "RETURN");
  762. else{
  763. bprint(i, "%T\t", m);
  764. address(i);
  765. bprint(i, ", R%d", i->rd);
  766. }
  767. }
  768. }
  769. static void
  770. loadf(Instr *i, char *m) /* page 70 */
  771. {
  772. if(!dascase){
  773. m = "FMOVD";
  774. if(i->op3 == 0x20)
  775. m = "FMOVF";
  776. else if(i->op3 == 0x21)
  777. m = "MOVW";
  778. }
  779. if(i->i == 0)
  780. bprint(i, "%s\t(R%d+R%d)", m, i->rs1, i->rs2);
  781. else{
  782. bprint(i, "%s\t", m);
  783. address(i);
  784. }
  785. if(i->op3 == 0x21)
  786. bprint(i, ", FSR");
  787. else
  788. bprint(i, ", R%d", i->rd);
  789. }
  790. static void
  791. storef(Instr *i, char *m) /* page 70 */
  792. {
  793. if(!dascase){
  794. m = "FMOVD";
  795. if(i->op3 == 0x25 || i->op3 == 0x26)
  796. m = "MOVW";
  797. else if(i->op3 == 0x20)
  798. m = "FMOVF";
  799. }
  800. bprint(i, "%s\t", m);
  801. if(i->op3 == 0x25)
  802. bprint(i, "FSR, ");
  803. else if(i->op3 == 0x26)
  804. bprint(i, "FQ, ");
  805. else
  806. bprint(i, "R%d, ", i->rd);
  807. if(i->i == 0)
  808. bprint(i, "(R%d+R%d)", i->rs1, i->rs2);
  809. else
  810. address(i);
  811. }
  812. static void
  813. loadc(Instr *i, char *m) /* page 72 */
  814. {
  815. if(i->i == 0)
  816. bprint(i, "%s\t(R%d+R%d), C%d", m, i->rs1, i->rs2, i->rd);
  817. else{
  818. bprint(i, "%s\t", m);
  819. address(i);
  820. bprint(i, ", C%d", i->rd);
  821. }
  822. }
  823. static void
  824. loadcsr(Instr *i, char *m) /* page 72 */
  825. {
  826. if(i->i == 0)
  827. bprint(i, "%s\t(R%d+R%d), CSR", m, i->rs1, i->rs2);
  828. else{
  829. bprint(i, "%s\t", m);
  830. address(i);
  831. bprint(i, ", CSR");
  832. }
  833. }
  834. static struct{
  835. int opf;
  836. char *name;
  837. } fptab1[] = { /* ignores rs1 */
  838. 0xC4, "FITOS", /* page 109 */
  839. 0xC8, "FITOD",
  840. 0xCC, "FITOX",
  841. 0xD1, "FSTOI", /* page 110 */
  842. 0xD2, "FDTOI",
  843. 0xD3, "FXTOI",
  844. 0xC9, "FSTOD", /* page 111 */
  845. 0xCD, "FSTOX",
  846. 0xC6, "FDTOS",
  847. 0xCE, "FDTOX",
  848. 0xC7, "FXTOS",
  849. 0xCB, "FXTOD",
  850. 0x01, "FMOVS", /* page 112 */
  851. 0x05, "FNEGS",
  852. 0x09, "FABSS",
  853. 0x29, "FSQRTS", /* page 113 */
  854. 0x2A, "FSQRTD",
  855. 0x2B, "FSQRTX",
  856. 0, 0,
  857. };
  858. static struct{
  859. int opf;
  860. char *name;
  861. } fptab2[] = { /* uses rs1 */
  862. 0x41, "FADDS", /* page 114 */
  863. 0x42, "FADDD",
  864. 0x43, "FADDX",
  865. 0x45, "FSUBS",
  866. 0x46, "FSUBD",
  867. 0x47, "FSUBX",
  868. 0x49, "FMULS", /* page 115 */
  869. 0x4A, "FMULD",
  870. 0x4B, "FMULX",
  871. 0x4D, "FDIVS",
  872. 0x4E, "FDIVD",
  873. 0x4F, "FDIVX",
  874. 0x51, "FCMPS", /* page 116 */
  875. 0x52, "FCMPD",
  876. 0x53, "FCMPX",
  877. 0x55, "FCMPES",
  878. 0x56, "FCMPED",
  879. 0x57, "FCMPEX",
  880. 0, 0
  881. };
  882. static void
  883. fpop(Instr *i, char *m) /* page 108-116 */
  884. {
  885. int j;
  886. if(dascase==0 && i->size==2){
  887. bprint(i, "FMOVD\tF%d, F%d", i->rs2, i->rd);
  888. return;
  889. }
  890. for(j=0; fptab1[j].name; j++)
  891. if(fptab1[j].opf == i->opf){
  892. bprint(i, "%T\tF%d, F%d", fptab1[j].name, i->rs2, i->rd);
  893. return;
  894. }
  895. for(j=0; fptab2[j].name; j++)
  896. if(fptab2[j].opf == i->opf){
  897. bprint(i, "%T\tF%d, F%d, F%d", fptab2[j].name, i->rs1, i->rs2, i->rd);
  898. return;
  899. }
  900. bprint(i, "%T%ux\tF%d, F%d, F%d", m, i->opf, i->rs1, i->rs2, i->rd);
  901. }
  902. static int
  903. sparcfoll(Map *map, uvlong pc, Rgetter rget, uvlong *foll)
  904. {
  905. ulong w, r1, r2;
  906. char buf[8];
  907. Instr i;
  908. mymap = map;
  909. if (mkinstr(pc, &i) < 0)
  910. return -1;
  911. w = i.w0;
  912. switch(w & 0xC1C00000){
  913. case 0x00800000: /* branch on int cond */
  914. case 0x01800000: /* branch on fp cond */
  915. case 0x01C00000: /* branch on copr cond */
  916. foll[0] = pc+8;
  917. foll[1] = pc + (i.simmdisp22<<2);
  918. return 2;
  919. }
  920. if((w&0xC0000000) == 0x40000000){ /* CALL */
  921. foll[0] = pc + (i.disp30<<2);
  922. return 1;
  923. }
  924. if((w&0xC1F80000) == 0x81C00000){ /* JMPL */
  925. sprint(buf, "R%ld", (w>>14)&0xF);
  926. r1 = (*rget)(map, buf);
  927. if(w & 0x2000) /* JMPL R1+simm13 */
  928. r2 = i.simm13;
  929. else{ /* JMPL R1+R2 */
  930. sprint(buf, "R%ld", w&0xF);
  931. r2 = (*rget)(map, buf);
  932. }
  933. foll[0] = r1 + r2;
  934. return 1;
  935. }
  936. foll[0] = pc+i.size*4;
  937. return 1;
  938. }