vdb.c 22 KB

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