vdb.c 22 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166
  1. #include <u.h>
  2. #include <libc.h>
  3. #include <bio.h>
  4. #include <mach.h>
  5. /*
  6. * Mips-specific debugger interface
  7. */
  8. static char *mipsexcep(Map*, Rgetter);
  9. static int mipsfoll(Map*, uvlong, Rgetter, uvlong*);
  10. static int mipsinst(Map*, uvlong, char, char*, int);
  11. static int mipsdas(Map*, uvlong, char*, int);
  12. static int mipsinstlen(Map*, uvlong);
  13. /*
  14. * Debugger interface
  15. */
  16. Machdata mipsmach =
  17. {
  18. {0, 0, 0, 0xD}, /* break point */
  19. 4, /* break point size */
  20. beswab, /* short to local byte order */
  21. beswal, /* long to local byte order */
  22. beswav, /* vlong to local byte order */
  23. risctrace, /* C traceback */
  24. riscframe, /* Frame finder */
  25. mipsexcep, /* print exception */
  26. 0, /* breakpoint fixup */
  27. beieeesftos, /* single precision float printer */
  28. beieeedftos, /* double precisioin float printer */
  29. mipsfoll, /* following addresses */
  30. mipsinst, /* print instruction */
  31. mipsdas, /* dissembler */
  32. mipsinstlen, /* instruction size */
  33. };
  34. Machdata mipsmachle =
  35. {
  36. {0, 0, 0, 0xD}, /* break point */
  37. 4, /* break point size */
  38. leswab, /* short to local byte order */
  39. leswal, /* long to local byte order */
  40. leswav, /* vlong to local byte order */
  41. risctrace, /* C traceback */
  42. riscframe, /* Frame finder */
  43. mipsexcep, /* print exception */
  44. 0, /* breakpoint fixup */
  45. leieeesftos, /* single precision float printer */
  46. leieeedftos, /* double precisioin float printer */
  47. mipsfoll, /* following addresses */
  48. mipsinst, /* print instruction */
  49. mipsdas, /* dissembler */
  50. mipsinstlen, /* instruction size */
  51. };
  52. /*
  53. * mips r4k little-endian
  54. */
  55. Machdata mipsmach2le =
  56. {
  57. {0, 0, 0, 0xD}, /* break point */
  58. 4, /* break point size */
  59. leswab, /* short to local byte order */
  60. leswal, /* long to local byte order */
  61. leswav, /* vlong to local byte order */
  62. risctrace, /* C traceback */
  63. riscframe, /* Frame finder */
  64. mipsexcep, /* print exception */
  65. 0, /* breakpoint fixup */
  66. leieeesftos, /* single precision float printer */
  67. leieeedftos, /* double precisioin float printer */
  68. mipsfoll, /* following addresses */
  69. mipsinst, /* print instruction */
  70. mipsdas, /* dissembler */
  71. mipsinstlen, /* instruction size */
  72. };
  73. /*
  74. * mips r4k big-endian
  75. */
  76. Machdata mipsmach2be =
  77. {
  78. {0, 0, 0, 0xD}, /* break point */
  79. 4, /* break point size */
  80. beswab, /* short to local byte order */
  81. beswal, /* long to local byte order */
  82. beswav, /* vlong to local byte order */
  83. risctrace, /* C traceback */
  84. riscframe, /* Frame finder */
  85. mipsexcep, /* print exception */
  86. 0, /* breakpoint fixup */
  87. beieeesftos, /* single precision float printer */
  88. beieeedftos, /* double precisioin float printer */
  89. mipsfoll, /* following addresses */
  90. mipsinst, /* print instruction */
  91. mipsdas, /* dissembler */
  92. mipsinstlen, /* instruction size */
  93. };
  94. static char *excname[] =
  95. {
  96. "external interrupt",
  97. "TLB modification",
  98. "TLB miss (load or fetch)",
  99. "TLB miss (store)",
  100. "address error (load or fetch)",
  101. "address error (store)",
  102. "bus error (fetch)",
  103. "bus error (data load or store)",
  104. "system call",
  105. "breakpoint",
  106. "reserved instruction",
  107. "coprocessor unusable",
  108. "arithmetic overflow",
  109. "undefined 13",
  110. "undefined 14",
  111. "system call",
  112. /* the following is made up */
  113. "floating point exception" /* FPEXC */
  114. };
  115. static char*
  116. mipsexcep(Map *map, Rgetter rget)
  117. {
  118. int e;
  119. long c;
  120. c = (*rget)(map, "CAUSE");
  121. if(c & 0x00002000) /* INTR3 */
  122. e = 16; /* Floating point exception */
  123. else
  124. e = (c>>2)&0x0F;
  125. return excname[e];
  126. }
  127. /* mips disassembler and related functions */
  128. static char FRAMENAME[] = ".frame";
  129. typedef struct {
  130. uvlong addr;
  131. uchar op; /* bits 31-26 */
  132. uchar rs; /* bits 25-21 */
  133. uchar rt; /* bits 20-16 */
  134. uchar rd; /* bits 15-11 */
  135. uchar sa; /* bits 10-6 */
  136. uchar function; /* bits 5-0 */
  137. long immediate; /* bits 15-0 */
  138. ulong cofun; /* bits 24-0 */
  139. ulong target; /* bits 25-0 */
  140. long w0;
  141. long w1;
  142. int size; /* instruction size */
  143. char *curr; /* fill point in buffer */
  144. char *end; /* end of buffer */
  145. char *err; /* error message */
  146. } Instr;
  147. static Map *mymap;
  148. static int
  149. decode(uvlong pc, Instr *i)
  150. {
  151. ulong w;
  152. if (get4(mymap, pc, &w) < 0) {
  153. werrstr("can't read instruction: %r");
  154. return -1;
  155. }
  156. i->addr = pc;
  157. i->size = 1;
  158. i->op = (w >> 26) & 0x3F;
  159. i->rs = (w >> 21) & 0x1F;
  160. i->rt = (w >> 16) & 0x1F;
  161. i->rd = (w >> 11) & 0x1F;
  162. i->sa = (w >> 6) & 0x1F;
  163. i->function = w & 0x3F;
  164. i->immediate = w & 0x0000FFFF;
  165. if (i->immediate & 0x8000)
  166. i->immediate |= ~0x0000FFFF;
  167. i->cofun = w & 0x01FFFFFF;
  168. i->target = w & 0x03FFFFFF;
  169. i->w0 = w;
  170. return 1;
  171. }
  172. static int
  173. mkinstr(uvlong pc, Instr *i)
  174. {
  175. Instr x;
  176. if (decode(pc, i) < 0)
  177. return -1;
  178. /*
  179. * if it's a LUI followed by an ORI,
  180. * it's an immediate load of a large constant.
  181. * fix the LUI immediate in any case.
  182. */
  183. if (i->op == 0x0F) {
  184. if (decode(pc+4, &x) < 0)
  185. return 0;
  186. i->immediate <<= 16;
  187. if (x.op == 0x0D && x.rs == x.rt && x.rt == i->rt) {
  188. i->immediate |= (x.immediate & 0xFFFF);
  189. i->w1 = x.w0;
  190. i->size++;
  191. return 1;
  192. }
  193. }
  194. /*
  195. * if it's a LWC1 followed by another LWC1
  196. * into an adjacent register, it's a load of
  197. * a floating point double.
  198. */
  199. else if (i->op == 0x31 && (i->rt & 0x01)) {
  200. if (decode(pc+4, &x) < 0)
  201. return 0;
  202. if (x.op == 0x31 && x.rt == (i->rt - 1) && x.rs == i->rs) {
  203. i->rt -= 1;
  204. i->w1 = x.w0;
  205. i->size++;
  206. return 1;
  207. }
  208. }
  209. /*
  210. * similarly for double stores
  211. */
  212. else if (i->op == 0x39 && (i->rt & 0x01)) {
  213. if (decode(pc+4, &x) < 0)
  214. return 0;
  215. if (x.op == 0x39 && x.rt == (i->rt - 1) && x.rs == i->rs) {
  216. i->rt -= 1;
  217. i->w1 = x.w0;
  218. i->size++;
  219. }
  220. }
  221. return 1;
  222. }
  223. #pragma varargck argpos bprint 2
  224. static void
  225. bprint(Instr *i, char *fmt, ...)
  226. {
  227. va_list arg;
  228. va_start(arg, fmt);
  229. i->curr = vseprint(i->curr, i->end, fmt, arg);
  230. va_end(arg);
  231. }
  232. typedef struct Opcode Opcode;
  233. struct Opcode {
  234. char *mnemonic;
  235. void (*f)(Opcode *, Instr *);
  236. char *ken;
  237. };
  238. static void format(char *, Instr *, char *);
  239. static void
  240. branch(Opcode *o, Instr *i)
  241. {
  242. if (i->rs == 0 && i->rt == 0)
  243. format("JMP", i, "%b");
  244. else if (i->rs == 0)
  245. format(o->mnemonic, i, "R%t,%b");
  246. else if (i->rt < 2)
  247. format(o->mnemonic, i, "R%s,%b");
  248. else
  249. format(o->mnemonic, i, "R%s,R%t,%b");
  250. }
  251. static void
  252. addi(Opcode *o, Instr *i)
  253. {
  254. if (i->rs == i->rt)
  255. format(o->mnemonic, i, "%i,R%t");
  256. else if (i->rs == 0)
  257. format("MOVW", i, "%i,R%t");
  258. else if (i->rs == 30) {
  259. bprint(i, "MOVW\t$");
  260. i->curr += symoff(i->curr, i->end-i->curr,
  261. i->immediate+mach->sb, CANY);
  262. bprint(i, "(SB),R%d", i->rt);
  263. }
  264. else
  265. format(o->mnemonic, i, o->ken);
  266. }
  267. static void
  268. andi(Opcode *o, Instr *i)
  269. {
  270. if (i->rs == i->rt)
  271. format(o->mnemonic, i, "%i,R%t");
  272. else
  273. format(o->mnemonic, i, o->ken);
  274. }
  275. static int
  276. plocal(Instr *i, char *m, char r, int store)
  277. {
  278. int offset;
  279. char *reg;
  280. Symbol s;
  281. if (!findsym(i->addr, CTEXT, &s) || !findlocal(&s, FRAMENAME, &s))
  282. return 0;
  283. if (s.value > i->immediate) {
  284. if(!getauto(&s, s.value-i->immediate, CAUTO, &s))
  285. return 0;
  286. reg = "(SP)";
  287. offset = i->immediate;
  288. } else {
  289. offset = i->immediate-s.value;
  290. if (!getauto(&s, offset-4, CPARAM, &s))
  291. return 0;
  292. reg = "(FP)";
  293. }
  294. if (store)
  295. bprint(i, "%s\t%c%d,%s+%d%s", m, r, i->rt, s.name, offset, reg);
  296. else
  297. bprint(i, "%s\t%s+%d%s,%c%d", m, s.name, offset, reg, r, i->rt);
  298. return 1;
  299. }
  300. static void
  301. lw(Opcode *o, Instr *i, char r)
  302. {
  303. char *m;
  304. if (r == 'F') {
  305. if (i->size == 2)
  306. m = "MOVD";
  307. else
  308. m = "MOVF";
  309. }
  310. else
  311. m = o->mnemonic;
  312. if (i->rs == 29 && plocal(i, m, r, 0))
  313. return;
  314. if (i->rs == 30 && mach->sb) {
  315. bprint(i, "%s\t", m);
  316. i->curr += symoff(i->curr, i->end-i->curr, i->immediate+mach->sb, CANY);
  317. bprint(i, "(SB),%c%d", r, i->rt);
  318. return;
  319. }
  320. if (r == 'F')
  321. format(m, i, "%l,F%t");
  322. else
  323. format(m, i, o->ken);
  324. }
  325. static void
  326. load(Opcode *o, Instr *i)
  327. {
  328. lw(o, i, 'R');
  329. }
  330. static void
  331. lwc1(Opcode *o, Instr *i)
  332. {
  333. lw(o, i, 'F');
  334. }
  335. static void
  336. sw(Opcode *o, Instr *i, char r)
  337. {
  338. char *m;
  339. if (r == 'F') {
  340. if (i->size == 2)
  341. m = "MOVD";
  342. else
  343. m = "MOVF";
  344. }
  345. else
  346. m = o->mnemonic;
  347. if (i->rs == 29 && plocal(i, m, r, 1))
  348. return;
  349. if (i->rs == 30 && mach->sb) {
  350. bprint(i, "%s\t%c%d,", m, r, i->rt);
  351. i->curr += symoff(i->curr, i->end-i->curr, i->immediate+mach->sb, CANY);
  352. bprint(i, "(SB)");
  353. return;
  354. }
  355. if (r == 'F')
  356. format(m, i, "F%t,%l");
  357. else
  358. format(m, i, o->ken);
  359. }
  360. static void
  361. store(Opcode *o, Instr *i)
  362. {
  363. sw(o, i, 'R');
  364. }
  365. static void
  366. swc1(Opcode *o, Instr *i)
  367. {
  368. sw(o, i, 'F');
  369. }
  370. static void
  371. sll(Opcode *o, Instr *i)
  372. {
  373. if (i->w0 == 0)
  374. bprint(i, "NOOP");
  375. else if (i->rd == i->rt)
  376. format(o->mnemonic, i, "$%a,R%d");
  377. else
  378. format(o->mnemonic, i, o->ken);
  379. }
  380. static void
  381. sl32(Opcode *o, Instr *i)
  382. {
  383. i->sa += 32;
  384. if (i->rd == i->rt)
  385. format(o->mnemonic, i, "$%a,R%d");
  386. else
  387. format(o->mnemonic, i, o->ken);
  388. }
  389. static void
  390. sllv(Opcode *o, Instr *i)
  391. {
  392. if (i->rd == i->rt)
  393. format(o->mnemonic, i, "R%s,R%d");
  394. else
  395. format(o->mnemonic, i, o->ken);
  396. }
  397. static void
  398. jal(Opcode *o, Instr *i)
  399. {
  400. if (i->rd == 31)
  401. format("JAL", i, "(R%s)");
  402. else
  403. format(o->mnemonic, i, o->ken);
  404. }
  405. static void
  406. add(Opcode *o, Instr *i)
  407. {
  408. if (i->rd == i->rs)
  409. format(o->mnemonic, i, "R%t,R%d");
  410. else if (i->rd == i->rt)
  411. format(o->mnemonic, i, "R%s,R%d");
  412. else
  413. format(o->mnemonic, i, o->ken);
  414. }
  415. static void
  416. sub(Opcode *o, Instr *i)
  417. {
  418. if (i->rd == i->rs)
  419. format(o->mnemonic, i, "R%t,R%d");
  420. else
  421. format(o->mnemonic, i, o->ken);
  422. }
  423. static void
  424. or(Opcode *o, Instr *i)
  425. {
  426. if (i->rs == 0 && i->rt == 0)
  427. format("MOVW", i, "$0,R%d");
  428. else if (i->rs == 0)
  429. format("MOVW", i, "R%t,R%d");
  430. else if (i->rt == 0)
  431. format("MOVW", i, "R%s,R%d");
  432. else
  433. add(o, i);
  434. }
  435. static void
  436. nor(Opcode *o, Instr *i)
  437. {
  438. if (i->rs == 0 && i->rt == 0 && i->rd == 0)
  439. format("NOP", i, 0);
  440. else
  441. add(o, i);
  442. }
  443. static char mipscoload[] = "r%t,%l";
  444. static char mipsload[] = "%l,R%t";
  445. static char mipsstore[] = "R%t,%l";
  446. static char mipsalui[] = "%i,R%s,R%t";
  447. static char mipsalu3op[] = "R%t,R%s,R%d";
  448. static char mipsrtrs[] = "R%t,R%s";
  449. static char mipscorsrt[] = "r%s,r%t";
  450. static char mipscorsi[] = "r%s,%i";
  451. static char mipscoxxx[] = "%w";
  452. static char mipscofp3[] = "f%a,f%d,f%t"; /* fd,fs,ft */
  453. static char mipsfp3[] = "F%t,F%d,F%a";
  454. static char mipscofp2[] = "f%a,f%d"; /* fd,fs */
  455. static char mipsfp2[] = "F%d,F%a";
  456. static char mipscofpc[] = "f%d,f%t"; /* fs,ft */
  457. static char mipsfpc[] = "F%t,F%d";
  458. static Opcode opcodes[64] = {
  459. 0, 0, 0,
  460. 0, 0, 0,
  461. "JMP", 0, "%j",
  462. "JAL", 0, "%j",
  463. "BEQ", branch, 0,
  464. "BNE", branch, 0,
  465. "BLEZ", branch, 0,
  466. "BGTZ", branch, 0,
  467. "ADD", addi, mipsalui,
  468. "ADDU", addi, mipsalui,
  469. "SGT", 0, mipsalui,
  470. "SGTU", 0, mipsalui,
  471. "AND", andi, mipsalui,
  472. "OR", andi, mipsalui,
  473. "XOR", andi, mipsalui,
  474. "MOVW", 0, "$%u,R%t",
  475. "cop0", 0, 0,
  476. "cop1", 0, 0,
  477. "cop2", 0, 0,
  478. "cop3", 0, 0,
  479. "BEQL", branch, 0,
  480. "BNEL", branch, 0,
  481. "BLEZL", branch, 0,
  482. "BGTZL", branch, 0,
  483. "instr18", 0, mipscoxxx,
  484. "instr19", 0, mipscoxxx,
  485. "MOVVL", load, mipsload,
  486. "MOVVR", load, mipsload,
  487. "instr1C", 0, mipscoxxx,
  488. "instr1D", 0, mipscoxxx,
  489. "instr1E", 0, mipscoxxx,
  490. "instr1F", 0, mipscoxxx,
  491. "MOVB", load, mipsload,
  492. "MOVH", load, mipsload,
  493. "lwl", 0, mipscoload,
  494. "MOVW", load, mipsload,
  495. "MOVBU", load, mipsload,
  496. "MOVHU", load, mipsload,
  497. "lwr", 0, mipscoload,
  498. "instr27", 0, mipscoxxx,
  499. "MOVB", store, mipsstore,
  500. "MOVH", store, mipsstore,
  501. "swl", 0, mipscoload,
  502. "MOVW", store, mipsstore,
  503. "MOVVL", store, mipsstore,
  504. "MOVVR", store, mipsstore,
  505. "swr", 0, mipscoload,
  506. "CACHE", 0, "%C,%l",
  507. "ll", 0, mipscoload,
  508. "MOVW", lwc1, mipscoload,
  509. "lwc2", 0, mipscoload,
  510. "lwc3", 0, mipscoload,
  511. "instr34", 0, mipscoxxx,
  512. "ldc1", 0, mipscoload,
  513. "ldc2", 0, mipscoload,
  514. "MOVV", load, mipsload,
  515. "sc", 0, mipscoload,
  516. "swc1", swc1, mipscoload,
  517. "swc2", 0, mipscoload,
  518. "swc3", 0, mipscoload,
  519. "instr3C", 0, mipscoxxx,
  520. "sdc1", 0, mipscoload,
  521. "sdc2", 0, mipscoload,
  522. "MOVV", store, mipsstore,
  523. };
  524. static Opcode sopcodes[64] = {
  525. "SLL", sll, "$%a,R%t,R%d",
  526. "special01", 0, mipscoxxx,
  527. "SRL", sll, "$%a,R%t,R%d",
  528. "SRA", sll, "$%a,R%t,R%d",
  529. "SLL", sllv, "R%s,R%t,R%d",
  530. "special05", 0, mipscoxxx,
  531. "SRL", sllv, "R%s,R%t,R%d",
  532. "SRA", sllv, "R%s,R%t,R%d",
  533. "JMP", 0, "(R%s)",
  534. "jal", jal, "r%d,r%s",
  535. "special0A", 0, mipscoxxx,
  536. "special0B", 0, mipscoxxx,
  537. "SYSCALL", 0, 0,
  538. "BREAK", 0, 0,
  539. "special0E", 0, mipscoxxx,
  540. "SYNC", 0, 0,
  541. "MOVW", 0, "HI,R%d",
  542. "MOVW", 0, "R%s,HI",
  543. "MOVW", 0, "LO,R%d",
  544. "MOVW", 0, "R%s,LO",
  545. "SLLV", sllv, "R%s,R%t,R%d",
  546. "special15", 0, mipscoxxx,
  547. "SRLV", sllv, "R%s,R%t,R%d",
  548. "SRAV", sllv, "R%s,R%t,R%d",
  549. "MUL", 0, mipsrtrs,
  550. "MULU", 0, mipsrtrs,
  551. "DIV", 0, mipsrtrs,
  552. "DIVU", 0, mipsrtrs,
  553. "special1C", 0, mipscoxxx,
  554. "special1D", 0, mipscoxxx,
  555. "DDIV", 0, "R%s,R%t",
  556. "special1F", 0, mipscoxxx,
  557. "ADD", add, mipsalu3op,
  558. "ADDU", add, mipsalu3op,
  559. "SUB", sub, mipsalu3op,
  560. "SUBU", sub, mipsalu3op,
  561. "AND", add, mipsalu3op,
  562. "OR", or, mipsalu3op,
  563. "XOR", add, mipsalu3op,
  564. "NOR", nor, mipsalu3op,
  565. "special28", 0, mipscoxxx,
  566. "special29", 0, mipscoxxx,
  567. "SGT", 0, mipsalu3op,
  568. "SGTU", 0, mipsalu3op,
  569. "special2C", 0, mipscoxxx,
  570. "special2D", 0, mipscoxxx,
  571. "special2E", 0, mipscoxxx,
  572. "DSUBU", 0, "R%s,R%t,R%d",
  573. "tge", 0, mipscorsrt,
  574. "tgeu", 0, mipscorsrt,
  575. "tlt", 0, mipscorsrt,
  576. "tltu", 0, mipscorsrt,
  577. "teq", 0, mipscorsrt,
  578. "special35", 0, mipscoxxx,
  579. "tne", 0, mipscorsrt,
  580. "special37", 0, mipscoxxx,
  581. "SLLV", sll, "$%a,R%t,R%d",
  582. "special39", 0, mipscoxxx,
  583. "SRLV", sll, "$%a,R%t,R%d",
  584. "SRAV", sll, "$%a,R%t,R%d",
  585. "SLLV", sl32, "$%a,R%t,R%d",
  586. "special3D", 0, mipscoxxx,
  587. "SRLV", sl32, "$%a,R%t,R%d",
  588. "SRAV", sl32, "$%a,R%t,R%d",
  589. };
  590. static Opcode ropcodes[32] = {
  591. "BLTZ", branch, 0,
  592. "BGEZ", branch, 0,
  593. "BLTZL", branch, 0,
  594. "BGEZL", branch, 0,
  595. "regimm04", 0, mipscoxxx,
  596. "regimm05", 0, mipscoxxx,
  597. "regimm06", 0, mipscoxxx,
  598. "regimm07", 0, mipscoxxx,
  599. "tgei", 0, mipscorsi,
  600. "tgeiu", 0, mipscorsi,
  601. "tlti", 0, mipscorsi,
  602. "tltiu", 0, mipscorsi,
  603. "teqi", 0, mipscorsi,
  604. "regimm0D", 0, mipscoxxx,
  605. "tnei", 0, mipscorsi,
  606. "regimm0F", 0, mipscoxxx,
  607. "BLTZAL", branch, 0,
  608. "BGEZAL", branch, 0,
  609. "BLTZALL", branch, 0,
  610. "BGEZALL", branch, 0,
  611. "regimm14", 0, mipscoxxx,
  612. "regimm15", 0, mipscoxxx,
  613. "regimm16", 0, mipscoxxx,
  614. "regimm17", 0, mipscoxxx,
  615. "regimm18", 0, mipscoxxx,
  616. "regimm19", 0, mipscoxxx,
  617. "regimm1A", 0, mipscoxxx,
  618. "regimm1B", 0, mipscoxxx,
  619. "regimm1C", 0, mipscoxxx,
  620. "regimm1D", 0, mipscoxxx,
  621. "regimm1E", 0, mipscoxxx,
  622. "regimm1F", 0, mipscoxxx,
  623. };
  624. static Opcode fopcodes[64] = {
  625. "ADD%f", 0, mipsfp3,
  626. "SUB%f", 0, mipsfp3,
  627. "MUL%f", 0, mipsfp3,
  628. "DIV%f", 0, mipsfp3,
  629. "sqrt.%f", 0, mipscofp2,
  630. "ABS%f", 0, mipsfp2,
  631. "MOV%f", 0, mipsfp2,
  632. "NEG%f", 0, mipsfp2,
  633. "finstr08", 0, mipscoxxx,
  634. "finstr09", 0, mipscoxxx,
  635. "finstr0A", 0, mipscoxxx,
  636. "finstr0B", 0, mipscoxxx,
  637. "round.w.%f", 0, mipscofp2,
  638. "trunc.w%f", 0, mipscofp2,
  639. "ceil.w%f", 0, mipscofp2,
  640. "floor.w%f", 0, mipscofp2,
  641. "finstr10", 0, mipscoxxx,
  642. "finstr11", 0, mipscoxxx,
  643. "finstr12", 0, mipscoxxx,
  644. "finstr13", 0, mipscoxxx,
  645. "finstr14", 0, mipscoxxx,
  646. "finstr15", 0, mipscoxxx,
  647. "finstr16", 0, mipscoxxx,
  648. "finstr17", 0, mipscoxxx,
  649. "finstr18", 0, mipscoxxx,
  650. "finstr19", 0, mipscoxxx,
  651. "finstr1A", 0, mipscoxxx,
  652. "finstr1B", 0, mipscoxxx,
  653. "finstr1C", 0, mipscoxxx,
  654. "finstr1D", 0, mipscoxxx,
  655. "finstr1E", 0, mipscoxxx,
  656. "finstr1F", 0, mipscoxxx,
  657. "cvt.s.%f", 0, mipscofp2,
  658. "cvt.d.%f", 0, mipscofp2,
  659. "cvt.e.%f", 0, mipscofp2,
  660. "cvt.q.%f", 0, mipscofp2,
  661. "cvt.w.%f", 0, mipscofp2,
  662. "finstr25", 0, mipscoxxx,
  663. "finstr26", 0, mipscoxxx,
  664. "finstr27", 0, mipscoxxx,
  665. "finstr28", 0, mipscoxxx,
  666. "finstr29", 0, mipscoxxx,
  667. "finstr2A", 0, mipscoxxx,
  668. "finstr2B", 0, mipscoxxx,
  669. "finstr2C", 0, mipscoxxx,
  670. "finstr2D", 0, mipscoxxx,
  671. "finstr2E", 0, mipscoxxx,
  672. "finstr2F", 0, mipscoxxx,
  673. "c.f.%f", 0, mipscofpc,
  674. "c.un.%f", 0, mipscofpc,
  675. "CMPEQ%f", 0, mipsfpc,
  676. "c.ueq.%f", 0, mipscofpc,
  677. "c.olt.%f", 0, mipscofpc,
  678. "c.ult.%f", 0, mipscofpc,
  679. "c.ole.%f", 0, mipscofpc,
  680. "c.ule.%f", 0, mipscofpc,
  681. "c.sf.%f", 0, mipscofpc,
  682. "c.ngle.%f", 0, mipscofpc,
  683. "c.seq.%f", 0, mipscofpc,
  684. "c.ngl.%f", 0, mipscofpc,
  685. "CMPGT%f", 0, mipsfpc,
  686. "c.nge.%f", 0, mipscofpc,
  687. "CMPGE%f", 0, mipsfpc,
  688. "c.ngt.%f", 0, mipscofpc,
  689. };
  690. static char *cop0regs[32] = {
  691. "INDEX", "RANDOM", "TLBPHYS", "EntryLo0",
  692. "CONTEXT", "PageMask", "Wired", "Error",
  693. "BADVADDR", "Count", "TLBVIRT", "Compare",
  694. "STATUS", "CAUSE", "EPC", "PRID",
  695. "Config", "LLadr", "WatchLo", "WatchHi",
  696. "20", "21", "22", "23",
  697. "24", "25", "26", "CacheErr",
  698. "TagLo", "TagHi", "ErrorEPC", "31"
  699. };
  700. static char fsub[16] = {
  701. 'F', 'D', 'e', 'q', 'W', '?', '?', '?',
  702. '?', '?', '?', '?', '?', '?', '?', '?'
  703. };
  704. static char *cacheps[] = {
  705. "I", "D", "SI", "SD"
  706. };
  707. static char *cacheop[] = {
  708. "IWBI", "ILT", "IST", "CDE", "HI", "HWBI", "HWB", "HSV"
  709. };
  710. static void
  711. format(char *mnemonic, Instr *i, char *f)
  712. {
  713. if (mnemonic)
  714. format(0, i, mnemonic);
  715. if (f == 0)
  716. return;
  717. if (mnemonic)
  718. if (i->curr < i->end)
  719. *i->curr++ = '\t';
  720. for ( ; *f && i->curr < i->end; f++) {
  721. if (*f != '%') {
  722. *i->curr++ = *f;
  723. continue;
  724. }
  725. switch (*++f) {
  726. case 's':
  727. bprint(i, "%d", i->rs);
  728. break;
  729. case 't':
  730. bprint(i, "%d", i->rt);
  731. break;
  732. case 'd':
  733. bprint(i, "%d", i->rd);
  734. break;
  735. case 'a':
  736. bprint(i, "%d", i->sa);
  737. break;
  738. case 'l':
  739. bprint(i, "%lx(R%d)",i->immediate, i->rs);
  740. break;
  741. case 'i':
  742. bprint(i, "$%lx", i->immediate);
  743. break;
  744. case 'u':
  745. i->curr += symoff(i->curr, i->end-i->curr, i->immediate, CANY);
  746. bprint(i, "(SB)");
  747. break;
  748. case 'j':
  749. i->curr += symoff(i->curr, i->end-i->curr,
  750. (i->target<<2)|(i->addr & 0xF0000000), CANY);
  751. bprint(i, "(SB)");
  752. break;
  753. case 'b':
  754. i->curr += symoff(i->curr, i->end-i->curr,
  755. (i->immediate<<2)+i->addr+4, CANY);
  756. break;
  757. case 'c':
  758. bprint(i, "$%lx", i->cofun);
  759. break;
  760. case 'w':
  761. bprint(i, "[%lux]", i->w0);
  762. break;
  763. case 'm':
  764. bprint(i, "M(%s)", cop0regs[i->rd]);
  765. break;
  766. case 'f':
  767. *i->curr++ = fsub[i->rs & 0x0F];
  768. break;
  769. case 'C':
  770. bprint(i, "%s%s", cacheps[i->rt & 3], cacheop[(i->rt>>2) & 7]);
  771. break;
  772. case '\0':
  773. *i->curr++ = '%';
  774. return;
  775. default:
  776. bprint(i, "%%%c", *f);
  777. break;
  778. }
  779. }
  780. *i->curr = 0;
  781. }
  782. static void
  783. copz(int cop, Instr *i)
  784. {
  785. char *f, *m, buf[16];
  786. m = buf;
  787. f = "%t,%d";
  788. switch (i->rs) {
  789. case 0:
  790. sprint(buf, "mfc%d", cop);
  791. break;
  792. case 2:
  793. sprint(buf, "cfc%d", cop);
  794. break;
  795. case 4:
  796. sprint(buf, "mtc%d", cop);
  797. break;
  798. case 6:
  799. sprint(buf, "ctc%d", cop);
  800. break;
  801. case 8:
  802. f = "%b";
  803. switch (i->rt) {
  804. case 0:
  805. sprint(buf, "bc%df", cop);
  806. break;
  807. case 1:
  808. sprint(buf, "bc%dt", cop);
  809. break;
  810. case 2:
  811. sprint(buf, "bc%dfl", cop);
  812. break;
  813. case 3:
  814. sprint(buf, "bc%dtl", cop);
  815. break;
  816. default:
  817. sprint(buf, "cop%d", cop);
  818. f = mipscoxxx;
  819. break;
  820. }
  821. break;
  822. default:
  823. sprint(buf, "cop%d", cop);
  824. if (i->rs & 0x10)
  825. f = "function %c";
  826. else
  827. f = mipscoxxx;
  828. break;
  829. }
  830. format(m, i, f);
  831. }
  832. static void
  833. cop0(Instr *i)
  834. {
  835. char *m = 0;
  836. if (i->rs < 8) {
  837. switch (i->rs) {
  838. case 0:
  839. case 1:
  840. format("MOVW", i, "%m,R%t");
  841. return;
  842. case 4:
  843. case 5:
  844. format("MOVW", i, "R%t,%m");
  845. return;
  846. }
  847. }
  848. else if (i->rs >= 0x10) {
  849. switch (i->cofun) {
  850. case 1:
  851. m = "TLBR";
  852. break;
  853. case 2:
  854. m = "TLBWI";
  855. break;
  856. case 6:
  857. m = "TLBWR";
  858. break;
  859. case 8:
  860. m = "TLBP";
  861. break;
  862. case 16:
  863. m = "RFE";
  864. break;
  865. case 32:
  866. m = "ERET";
  867. break;
  868. }
  869. if (m) {
  870. format(m, i, 0);
  871. return;
  872. }
  873. }
  874. copz(0, i);
  875. }
  876. static void
  877. cop1(Instr *i)
  878. {
  879. char *m = "MOVW";
  880. switch (i->rs) {
  881. case 0:
  882. format(m, i, "F%d,R%t");
  883. return;
  884. case 2:
  885. format(m, i, "FCR%d,R%t");
  886. return;
  887. case 4:
  888. format(m, i, "R%t,F%d");
  889. return;
  890. case 6:
  891. format(m, i, "R%t,FCR%d");
  892. return;
  893. case 8:
  894. switch (i->rt) {
  895. case 0:
  896. format("BFPF", i, "%b");
  897. return;
  898. case 1:
  899. format("BFPT", i, "%b");
  900. return;
  901. }
  902. break;
  903. }
  904. copz(1, i);
  905. }
  906. static int
  907. printins(Map *map, uvlong pc, char *buf, int n)
  908. {
  909. Instr i;
  910. Opcode *o;
  911. uchar op;
  912. i.curr = buf;
  913. i.end = buf+n-1;
  914. mymap = map;
  915. if (mkinstr(pc, &i) < 0)
  916. return -1;
  917. switch (i.op) {
  918. case 0x00: /* SPECIAL */
  919. o = sopcodes;
  920. op = i.function;
  921. break;
  922. case 0x01: /* REGIMM */
  923. o = ropcodes;
  924. op = i.rt;
  925. break;
  926. case 0x10: /* COP0 */
  927. cop0(&i);
  928. return i.size*4;
  929. case 0x11: /* COP1 */
  930. if (i.rs & 0x10) {
  931. o = fopcodes;
  932. op = i.function;
  933. break;
  934. }
  935. cop1(&i);
  936. return i.size*4;
  937. case 0x12: /* COP2 */
  938. case 0x13: /* COP3 */
  939. copz(i.op-0x10, &i);
  940. return i.size*4;
  941. default:
  942. o = opcodes;
  943. op = i.op;
  944. break;
  945. }
  946. if (o[op].f)
  947. (*o[op].f)(&o[op], &i);
  948. else
  949. format(o[op].mnemonic, &i, o[op].ken);
  950. return i.size*4;
  951. }
  952. extern int _mipscoinst(Map *, uvlong, char*, int);
  953. /* modifier 'I' toggles the default disassembler type */
  954. static int
  955. mipsinst(Map *map, uvlong pc, char modifier, char *buf, int n)
  956. {
  957. if ((asstype == AMIPSCO && modifier == 'i')
  958. || (asstype == AMIPS && modifier == 'I'))
  959. return _mipscoinst(map, pc, buf, n);
  960. else
  961. return printins(map, pc, buf, n);
  962. }
  963. static int
  964. mipsdas(Map *map, uvlong pc, char *buf, int n)
  965. {
  966. Instr i;
  967. i.curr = buf;
  968. i.end = buf+n;
  969. mymap = map;
  970. if (mkinstr(pc, &i) < 0)
  971. return -1;
  972. if (i.end-i.curr > 8)
  973. i.curr = _hexify(buf, i.w0, 7);
  974. if (i.size == 2 && i.end-i.curr > 9) {
  975. *i.curr++ = ' ';
  976. i.curr = _hexify(i.curr, i.w1, 7);
  977. }
  978. *i.curr = 0;
  979. return i.size*4;
  980. }
  981. static int
  982. mipsinstlen(Map *map, uvlong pc)
  983. {
  984. Instr i;
  985. mymap = map;
  986. if (mkinstr(pc, &i) < 0)
  987. return -1;
  988. return i.size*4;
  989. }
  990. static int
  991. mipsfoll(Map *map, uvlong pc, Rgetter rget, uvlong *foll)
  992. {
  993. ulong w, l;
  994. char buf[8];
  995. Instr i;
  996. mymap = map;
  997. if (mkinstr(pc, &i) < 0)
  998. return -1;
  999. w = i.w0;
  1000. if((w&0xF3600000) == 0x41000000){ /* branch on coprocessor */
  1001. Conditional:
  1002. foll[0] = pc+8;
  1003. l = ((w&0xFFFF)<<2);
  1004. if(w & 0x8000)
  1005. l |= 0xFFFC0000;
  1006. foll[1] = pc+4 + l;
  1007. return 2;
  1008. }
  1009. l = (w&0xFC000000)>>26;
  1010. switch(l){
  1011. case 0: /* SPECIAL */
  1012. if((w&0x3E) == 0x08){ /* JR, JALR */
  1013. sprint(buf, "R%ld", (w>>21)&0x1F);
  1014. foll[0] = (*rget)(map, buf);
  1015. return 1;
  1016. }
  1017. foll[0] = pc+i.size*4;
  1018. return 1;
  1019. case 0x30: /* Load-Linked followed by NOP, STC */
  1020. foll[0] = pc+12;
  1021. return 1;
  1022. case 1: /* BCOND */
  1023. case 4: /* BEQ */
  1024. case 20: /* BEQL */
  1025. case 5: /* BNE */
  1026. case 21: /* BNEL */
  1027. case 6: /* BLEZ */
  1028. case 22: /* BLEZL */
  1029. case 7: /* BGTZ */
  1030. case 23: /* BGTZL */
  1031. goto Conditional;
  1032. case 2: /* J */
  1033. case 3: /* JAL */
  1034. foll[0] = (pc&0xF0000000) | ((w&0x03FFFFFF)<<2);
  1035. return 1;
  1036. }
  1037. foll[0] = pc+i.size*4;
  1038. return 1;
  1039. }