asm.c 32 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614
  1. #include "l.h"
  2. long OFFSET;
  3. static Prog *PP;
  4. long
  5. entryvalue(void)
  6. {
  7. char *a;
  8. Sym *s;
  9. a = INITENTRY;
  10. if(*a >= '0' && *a <= '9')
  11. return atolwhex(a);
  12. s = lookup(a, 0);
  13. if(s->type == 0)
  14. return INITTEXT;
  15. switch(s->type) {
  16. case STEXT:
  17. case SLEAF:
  18. break;
  19. case SDATA:
  20. if(reloc)
  21. return s->value+INITDAT;
  22. default:
  23. diag("entry not text: %s", s->name);
  24. }
  25. return s->value;
  26. }
  27. void
  28. asmb(void)
  29. {
  30. Prog *p;
  31. long t, etext;
  32. Optab *o;
  33. if(debug['v'])
  34. Bprint(&bso, "%5.2f asm\n", cputime());
  35. Bflush(&bso);
  36. OFFSET = HEADR;
  37. seek(cout, OFFSET, 0);
  38. pc = INITTEXT;
  39. for(p = firstp; p != P; p = p->link) {
  40. if(p->as == ATEXT) {
  41. curtext = p;
  42. autosize = p->to.offset + 4;
  43. }
  44. if(p->pc != pc) {
  45. diag("phase error %lux sb %lux",
  46. p->pc, pc);
  47. if(!debug['a'])
  48. prasm(curp);
  49. pc = p->pc;
  50. }
  51. curp = p;
  52. o = oplook(p); /* could probably avoid this call */
  53. asmout(p, o);
  54. pc += o->size;
  55. }
  56. if(debug['a'])
  57. Bprint(&bso, "\n");
  58. Bflush(&bso);
  59. cflush();
  60. /* output strings in text segment */
  61. etext = INITTEXT + textsize;
  62. for(t = pc; t < etext; t += sizeof(buf)-100) {
  63. if(etext-t > sizeof(buf)-100)
  64. datblk(t, sizeof(buf)-100, 1);
  65. else
  66. datblk(t, etext-t, 1);
  67. }
  68. curtext = P;
  69. switch(HEADTYPE) {
  70. case 0:
  71. case 1:
  72. case 2:
  73. case 5:
  74. OFFSET = HEADR+textsize;
  75. seek(cout, OFFSET, 0);
  76. break;
  77. case 3:
  78. OFFSET = rnd(HEADR+textsize, 4096);
  79. seek(cout, OFFSET, 0);
  80. break;
  81. }
  82. for(t = 0; t < datsize; t += sizeof(buf)-100) {
  83. if(datsize-t > sizeof(buf)-100)
  84. datblk(t, sizeof(buf)-100, 0);
  85. else
  86. datblk(t, datsize-t, 0);
  87. }
  88. symsize = 0;
  89. lcsize = 0;
  90. if(!debug['s']) {
  91. if(debug['v'])
  92. Bprint(&bso, "%5.2f sym\n", cputime());
  93. Bflush(&bso);
  94. switch(HEADTYPE) {
  95. case 0:
  96. case 1:
  97. case 4:
  98. case 5:
  99. debug['s'] = 1;
  100. break;
  101. case 2:
  102. OFFSET = HEADR+textsize+datsize;
  103. seek(cout, OFFSET, 0);
  104. break;
  105. case 3:
  106. OFFSET += rnd(datsize, 4096);
  107. seek(cout, OFFSET, 0);
  108. break;
  109. }
  110. if(!debug['s'])
  111. asmsym();
  112. if(debug['v'])
  113. Bprint(&bso, "%5.2f pc\n", cputime());
  114. Bflush(&bso);
  115. if(!debug['s'])
  116. asmlc();
  117. cflush();
  118. }
  119. if(debug['v'])
  120. Bprint(&bso, "%5.2f header\n", cputime());
  121. Bflush(&bso);
  122. OFFSET = 0;
  123. seek(cout, OFFSET, 0);
  124. switch(HEADTYPE) {
  125. case 0: /* no header */
  126. break;
  127. case 1: /* aif for risc os */
  128. lputl(0xe1a00000); /* NOP - decompress code */
  129. lputl(0xe1a00000); /* NOP - relocation code */
  130. lputl(0xeb000000 + 12); /* BL - zero init code */
  131. lputl(0xeb000000 +
  132. (entryvalue()
  133. - INITTEXT
  134. + HEADR
  135. - 12
  136. - 8) / 4); /* BL - entry code */
  137. lputl(0xef000011); /* SWI - exit code */
  138. lputl(textsize+HEADR); /* text size */
  139. lputl(datsize); /* data size */
  140. lputl(0); /* sym size */
  141. lputl(bsssize); /* bss size */
  142. lputl(0); /* sym type */
  143. lputl(INITTEXT-HEADR); /* text addr */
  144. lputl(0); /* workspace - ignored */
  145. lputl(32); /* addr mode / data addr flag */
  146. lputl(0); /* data addr */
  147. for(t=0; t<2; t++)
  148. lputl(0); /* reserved */
  149. for(t=0; t<15; t++)
  150. lputl(0xe1a00000); /* NOP - zero init code */
  151. lputl(0xe1a0f00e); /* B (R14) - zero init return */
  152. break;
  153. case 2: /* plan 9 */
  154. lput(0x647); /* magic */
  155. lput(textsize); /* sizes */
  156. lput(datsize);
  157. lput(bsssize);
  158. lput(symsize); /* nsyms */
  159. lput(entryvalue()); /* va of entry */
  160. lput(0L);
  161. lput(lcsize);
  162. break;
  163. case 3: /* boot for NetBSD */
  164. lput((143<<16)|0413); /* magic */
  165. lputl(rnd(HEADR+textsize, 4096));
  166. lputl(rnd(datsize, 4096));
  167. lputl(bsssize);
  168. lputl(symsize); /* nsyms */
  169. lputl(entryvalue()); /* va of entry */
  170. lputl(0L);
  171. lputl(0L);
  172. break;
  173. case 4: /* boot for IXP1200 */
  174. break;
  175. case 5: /* boot for ipaq */
  176. lputl(0xe3300000); /* nop */
  177. lputl(0xe3300000); /* nop */
  178. lputl(0xe3300000); /* nop */
  179. lputl(0xe3300000); /* nop */
  180. break;
  181. }
  182. cflush();
  183. }
  184. void
  185. strnput(char *s, int n)
  186. {
  187. for(; *s; s++){
  188. cput(*s);
  189. n--;
  190. }
  191. for(; n > 0; n--)
  192. cput(0);
  193. }
  194. void
  195. cput(int c)
  196. {
  197. cbp[0] = c;
  198. cbp++;
  199. cbc--;
  200. if(cbc <= 0)
  201. cflush();
  202. }
  203. void
  204. lput(long l)
  205. {
  206. cbp[0] = l>>24;
  207. cbp[1] = l>>16;
  208. cbp[2] = l>>8;
  209. cbp[3] = l;
  210. cbp += 4;
  211. cbc -= 4;
  212. if(cbc <= 0)
  213. cflush();
  214. }
  215. void
  216. lputl(long l)
  217. {
  218. cbp[3] = l>>24;
  219. cbp[2] = l>>16;
  220. cbp[1] = l>>8;
  221. cbp[0] = l;
  222. cbp += 4;
  223. cbc -= 4;
  224. if(cbc <= 0)
  225. cflush();
  226. }
  227. void
  228. cflush(void)
  229. {
  230. int n;
  231. n = sizeof(buf.cbuf) - cbc;
  232. if(n)
  233. write(cout, buf.cbuf, n);
  234. cbp = buf.cbuf;
  235. cbc = sizeof(buf.cbuf);
  236. }
  237. void
  238. nopstat(char *f, Count *c)
  239. {
  240. if(c->outof)
  241. Bprint(&bso, "%s delay %ld/%ld (%.2f)\n", f,
  242. c->outof - c->count, c->outof,
  243. (double)(c->outof - c->count)/c->outof);
  244. }
  245. void
  246. asmsym(void)
  247. {
  248. Prog *p;
  249. Auto *a;
  250. Sym *s;
  251. int h;
  252. s = lookup("etext", 0);
  253. if(s->type == STEXT)
  254. putsymb(s->name, 'T', s->value, s->version);
  255. for(h=0; h<NHASH; h++)
  256. for(s=hash[h]; s!=S; s=s->link)
  257. switch(s->type) {
  258. case SCONST:
  259. putsymb(s->name, 'D', s->value, s->version);
  260. continue;
  261. case SDATA:
  262. putsymb(s->name, 'D', s->value+INITDAT, s->version);
  263. continue;
  264. case SBSS:
  265. putsymb(s->name, 'B', s->value+INITDAT, s->version);
  266. continue;
  267. case SSTRING:
  268. putsymb(s->name, 'T', s->value, s->version);
  269. continue;
  270. case SFILE:
  271. putsymb(s->name, 'f', s->value, s->version);
  272. continue;
  273. }
  274. for(p=textp; p!=P; p=p->cond) {
  275. s = p->from.sym;
  276. if(s->type != STEXT && s->type != SLEAF)
  277. continue;
  278. /* filenames first */
  279. for(a=p->to.autom; a; a=a->link)
  280. if(a->type == D_FILE)
  281. putsymb(a->asym->name, 'z', a->aoffset, 0);
  282. else
  283. if(a->type == D_FILE1)
  284. putsymb(a->asym->name, 'Z', a->aoffset, 0);
  285. if(s->type == STEXT)
  286. putsymb(s->name, 'T', s->value, s->version);
  287. else
  288. putsymb(s->name, 'L', s->value, s->version);
  289. /* frame, auto and param after */
  290. putsymb(".frame", 'm', p->to.offset+4, 0);
  291. for(a=p->to.autom; a; a=a->link)
  292. if(a->type == D_AUTO)
  293. putsymb(a->asym->name, 'a', -a->aoffset, 0);
  294. else
  295. if(a->type == D_PARAM)
  296. putsymb(a->asym->name, 'p', a->aoffset, 0);
  297. }
  298. if(debug['v'] || debug['n'])
  299. Bprint(&bso, "symsize = %lud\n", symsize);
  300. Bflush(&bso);
  301. }
  302. void
  303. putsymb(char *s, int t, long v, int ver)
  304. {
  305. int i, f;
  306. if(t == 'f')
  307. s++;
  308. lput(v);
  309. if(ver)
  310. t += 'a' - 'A';
  311. cput(t+0x80); /* 0x80 is variable length */
  312. if(t == 'Z' || t == 'z') {
  313. cput(s[0]);
  314. for(i=1; s[i] != 0 || s[i+1] != 0; i += 2) {
  315. cput(s[i]);
  316. cput(s[i+1]);
  317. }
  318. cput(0);
  319. cput(0);
  320. i++;
  321. }
  322. else {
  323. for(i=0; s[i]; i++)
  324. cput(s[i]);
  325. cput(0);
  326. }
  327. symsize += 4 + 1 + i + 1;
  328. if(debug['n']) {
  329. if(t == 'z' || t == 'Z') {
  330. Bprint(&bso, "%c %.8lux ", t, v);
  331. for(i=1; s[i] != 0 || s[i+1] != 0; i+=2) {
  332. f = ((s[i]&0xff) << 8) | (s[i+1]&0xff);
  333. Bprint(&bso, "/%x", f);
  334. }
  335. Bprint(&bso, "\n");
  336. return;
  337. }
  338. if(ver)
  339. Bprint(&bso, "%c %.8lux %s<%d>\n", t, v, s, ver);
  340. else
  341. Bprint(&bso, "%c %.8lux %s\n", t, v, s);
  342. }
  343. }
  344. #define MINLC 4
  345. void
  346. asmlc(void)
  347. {
  348. long oldpc, oldlc;
  349. Prog *p;
  350. long v, s;
  351. oldpc = INITTEXT;
  352. oldlc = 0;
  353. for(p = firstp; p != P; p = p->link) {
  354. if(p->line == oldlc || p->as == ATEXT || p->as == ANOP) {
  355. if(p->as == ATEXT)
  356. curtext = p;
  357. if(debug['L'])
  358. Bprint(&bso, "%6lux %P\n",
  359. p->pc, p);
  360. continue;
  361. }
  362. if(debug['L'])
  363. Bprint(&bso, "\t\t%6ld", lcsize);
  364. v = (p->pc - oldpc) / MINLC;
  365. while(v) {
  366. s = 127;
  367. if(v < 127)
  368. s = v;
  369. cput(s+128); /* 129-255 +pc */
  370. if(debug['L'])
  371. Bprint(&bso, " pc+%ld*%d(%ld)", s, MINLC, s+128);
  372. v -= s;
  373. lcsize++;
  374. }
  375. s = p->line - oldlc;
  376. oldlc = p->line;
  377. oldpc = p->pc + MINLC;
  378. if(s > 64 || s < -64) {
  379. cput(0); /* 0 vv +lc */
  380. cput(s>>24);
  381. cput(s>>16);
  382. cput(s>>8);
  383. cput(s);
  384. if(debug['L']) {
  385. if(s > 0)
  386. Bprint(&bso, " lc+%ld(%d,%ld)\n",
  387. s, 0, s);
  388. else
  389. Bprint(&bso, " lc%ld(%d,%ld)\n",
  390. s, 0, s);
  391. Bprint(&bso, "%6lux %P\n",
  392. p->pc, p);
  393. }
  394. lcsize += 5;
  395. continue;
  396. }
  397. if(s > 0) {
  398. cput(0+s); /* 1-64 +lc */
  399. if(debug['L']) {
  400. Bprint(&bso, " lc+%ld(%ld)\n", s, 0+s);
  401. Bprint(&bso, "%6lux %P\n",
  402. p->pc, p);
  403. }
  404. } else {
  405. cput(64-s); /* 65-128 -lc */
  406. if(debug['L']) {
  407. Bprint(&bso, " lc%ld(%ld)\n", s, 64-s);
  408. Bprint(&bso, "%6lux %P\n",
  409. p->pc, p);
  410. }
  411. }
  412. lcsize++;
  413. }
  414. while(lcsize & 1) {
  415. s = 129;
  416. cput(s);
  417. lcsize++;
  418. }
  419. if(debug['v'] || debug['L'])
  420. Bprint(&bso, "lcsize = %ld\n", lcsize);
  421. Bflush(&bso);
  422. }
  423. void
  424. datblk(long s, long n, int str)
  425. {
  426. Sym *v;
  427. Prog *p;
  428. char *cast;
  429. long a, l, fl, j, d;
  430. int i, c;
  431. memset(buf.dbuf, 0, n+100);
  432. for(p = datap; p != P; p = p->link) {
  433. if(str != (p->from.sym->type == SSTRING))
  434. continue;
  435. curp = p;
  436. a = p->from.sym->value + p->from.offset;
  437. l = a - s;
  438. c = p->reg;
  439. i = 0;
  440. if(l < 0) {
  441. if(l+c <= 0)
  442. continue;
  443. while(l < 0) {
  444. l++;
  445. i++;
  446. }
  447. }
  448. if(l >= n)
  449. continue;
  450. if(p->as != AINIT && p->as != ADYNT) {
  451. for(j=l+(c-i)-1; j>=l; j--)
  452. if(buf.dbuf[j]) {
  453. print("%P\n", p);
  454. diag("multiple initialization");
  455. break;
  456. }
  457. }
  458. switch(p->to.type) {
  459. default:
  460. diag("unknown mode in initialization%P", p);
  461. break;
  462. case D_FCONST:
  463. switch(c) {
  464. default:
  465. case 4:
  466. fl = ieeedtof(p->to.ieee);
  467. cast = (char*)&fl;
  468. for(; i<c; i++) {
  469. buf.dbuf[l] = cast[fnuxi4[i]];
  470. l++;
  471. }
  472. break;
  473. case 8:
  474. cast = (char*)p->to.ieee;
  475. for(; i<c; i++) {
  476. buf.dbuf[l] = cast[fnuxi8[i]];
  477. l++;
  478. }
  479. break;
  480. }
  481. break;
  482. case D_SCONST:
  483. for(; i<c; i++) {
  484. buf.dbuf[l] = p->to.sval[i];
  485. l++;
  486. }
  487. break;
  488. case D_CONST:
  489. d = p->to.offset;
  490. v = p->to.sym;
  491. if(v) {
  492. switch(v->type) {
  493. case STEXT:
  494. if(v->value == -1)
  495. undefsym(v);
  496. case SLEAF:
  497. case SSTRING:
  498. d += p->to.sym->value;
  499. break;
  500. case SDATA:
  501. case SBSS:
  502. d += p->to.sym->value + INITDAT;
  503. }
  504. if(reloc)
  505. undefpc(a + INITDAT);
  506. }
  507. cast = (char*)&d;
  508. switch(c) {
  509. default:
  510. diag("bad nuxi %d %d%P", c, i, curp);
  511. break;
  512. case 1:
  513. for(; i<c; i++) {
  514. buf.dbuf[l] = cast[inuxi1[i]];
  515. l++;
  516. }
  517. break;
  518. case 2:
  519. for(; i<c; i++) {
  520. buf.dbuf[l] = cast[inuxi2[i]];
  521. l++;
  522. }
  523. break;
  524. case 4:
  525. for(; i<c; i++) {
  526. buf.dbuf[l] = cast[inuxi4[i]];
  527. l++;
  528. }
  529. break;
  530. }
  531. break;
  532. }
  533. }
  534. write(cout, buf.dbuf, n);
  535. }
  536. void
  537. asmout(Prog *p, Optab *o)
  538. {
  539. long o1, o2, o3, o4, o5, o6, v;
  540. int r, rf, rt, rt2;
  541. Sym *s;
  542. PP = p;
  543. o1 = 0;
  544. o2 = 0;
  545. o3 = 0;
  546. o4 = 0;
  547. o5 = 0;
  548. o6 = 0;
  549. switch(o->type) {
  550. default:
  551. diag("unknown asm %d", o->type);
  552. prasm(p);
  553. break;
  554. case 0: /* pseudo ops */
  555. break;
  556. case 1: /* op R,[R],R */
  557. o1 = oprrr(p->as, p->scond);
  558. rf = p->from.reg;
  559. rt = p->to.reg;
  560. r = p->reg;
  561. if(p->to.type == D_NONE)
  562. rt = 0;
  563. if(r == NREG)
  564. r = rt;
  565. o1 |= rf | (r<<16) | (rt<<12);
  566. break;
  567. case 2: /* movbu $I,[R],R */
  568. aclass(&p->from);
  569. o1 = oprrr(p->as, p->scond);
  570. o1 |= immrot(instoffset);
  571. rt = p->to.reg;
  572. r = p->reg;
  573. if(p->to.type == D_NONE)
  574. rt = 0;
  575. if(r == NREG)
  576. r = rt;
  577. o1 |= (r<<16) | (rt<<12);
  578. break;
  579. case 3: /* add R<<[IR],[R],R */
  580. mov:
  581. aclass(&p->from);
  582. o1 = oprrr(p->as, p->scond);
  583. o1 |= p->from.offset;
  584. rt = p->to.reg;
  585. r = p->reg;
  586. if(p->to.type == D_NONE)
  587. rt = 0;
  588. if(r == NREG)
  589. r = rt;
  590. o1 |= (r<<16) | (rt<<12);
  591. break;
  592. case 4: /* add $I,[R],R */
  593. aclass(&p->from);
  594. o1 = oprrr(AADD, p->scond);
  595. o1 |= immrot(instoffset);
  596. r = p->from.reg;
  597. if(r == NREG)
  598. r = o->param;
  599. o1 |= r << 16;
  600. o1 |= p->to.reg << 12;
  601. break;
  602. case 5: /* bra s */
  603. v = -8;
  604. if(p->cond == UP) {
  605. s = p->to.sym;
  606. if(s->value == -1)
  607. undefsym(s);
  608. v = s->value;
  609. undefpc(p->pc);
  610. }
  611. else if(p->cond != P)
  612. v = (p->cond->pc - pc) - 8;
  613. o1 = opbra(p->as, p->scond);
  614. o1 |= (v >> 2) & 0xffffff;
  615. break;
  616. case 6: /* b ,O(R) -> add $O,R,PC */
  617. aclass(&p->to);
  618. o1 = oprrr(AADD, p->scond);
  619. o1 |= immrot(instoffset);
  620. o1 |= p->to.reg << 16;
  621. o1 |= REGPC << 12;
  622. break;
  623. case 7: /* bl ,O(R) -> mov PC,link; add $O,R,PC */
  624. aclass(&p->to);
  625. o1 = oprrr(AADD, p->scond);
  626. o1 |= immrot(0);
  627. o1 |= REGPC << 16;
  628. o1 |= REGLINK << 12;
  629. o2 = oprrr(AADD, p->scond);
  630. o2 |= immrot(instoffset);
  631. o2 |= p->to.reg << 16;
  632. o2 |= REGPC << 12;
  633. break;
  634. case 8: /* sll $c,[R],R -> mov (R<<$c),R */
  635. aclass(&p->from);
  636. o1 = oprrr(p->as, p->scond);
  637. r = p->reg;
  638. if(r == NREG)
  639. r = p->to.reg;
  640. o1 |= r;
  641. o1 |= (instoffset&31) << 7;
  642. o1 |= p->to.reg << 12;
  643. break;
  644. case 9: /* sll R,[R],R -> mov (R<<R),R */
  645. o1 = oprrr(p->as, p->scond);
  646. r = p->reg;
  647. if(r == NREG)
  648. r = p->to.reg;
  649. o1 |= r;
  650. o1 |= (p->from.reg << 8) | (1<<4);
  651. o1 |= p->to.reg << 12;
  652. break;
  653. case 10: /* swi [$con] */
  654. o1 = oprrr(p->as, p->scond);
  655. if(p->to.type != D_NONE) {
  656. aclass(&p->to);
  657. o1 |= instoffset & 0xffffff;
  658. }
  659. break;
  660. case 11: /* word */
  661. switch(aclass(&p->to)) {
  662. case C_LCON:
  663. if(!reloc)
  664. break;
  665. if(p->to.name != D_EXTERN && p->to.name != D_STATIC)
  666. break;
  667. case C_ADDR:
  668. if(p->to.offset < 0 || p->to.offset >= (1 << UIXSHIFT))
  669. diag("reloc offset out of range: %s %ld", p->to.sym->name, p->to.offset);
  670. undefpc(p->pc);
  671. }
  672. o1 = instoffset;
  673. break;
  674. case 12: /* movw $lcon, reg */
  675. o1 = omvl(p, &p->from, p->to.reg);
  676. break;
  677. case 13: /* op $lcon, [R], R */
  678. o1 = omvl(p, &p->from, REGTMP);
  679. if(!o1)
  680. break;
  681. o2 = oprrr(p->as, p->scond);
  682. o2 |= REGTMP;
  683. r = p->reg;
  684. if(r == NREG)
  685. r = p->to.reg;
  686. o2 |= r << 16;
  687. if(p->to.type != D_NONE)
  688. o2 |= p->to.reg << 12;
  689. break;
  690. case 14: /* movb/movbu/movh/movhu R,R */
  691. o1 = oprrr(ASLL, p->scond);
  692. if(p->as == AMOVBU || p->as == AMOVHU)
  693. o2 = oprrr(ASRL, p->scond);
  694. else
  695. o2 = oprrr(ASRA, p->scond);
  696. r = p->to.reg;
  697. o1 |= (p->from.reg)|(r<<12);
  698. o2 |= (r)|(r<<12);
  699. if(p->as == AMOVB || p->as == AMOVBU) {
  700. o1 |= (24<<7);
  701. o2 |= (24<<7);
  702. } else {
  703. o1 |= (16<<7);
  704. o2 |= (16<<7);
  705. }
  706. break;
  707. case 15: /* mul r,[r,]r */
  708. o1 = oprrr(p->as, p->scond);
  709. rf = p->from.reg;
  710. rt = p->to.reg;
  711. r = p->reg;
  712. if(r == NREG)
  713. r = rt;
  714. if(rt == r) {
  715. r = rf;
  716. rf = rt;
  717. }
  718. if(0)
  719. if(rt == r || rf == REGPC || r == REGPC || rt == REGPC) {
  720. diag("bad registers in MUL");
  721. prasm(p);
  722. }
  723. o1 |= (rf<<8) | r | (rt<<16);
  724. break;
  725. case 16: /* div r,[r,]r */
  726. o1 = 0xf << 28;
  727. o2 = 0;
  728. break;
  729. case 17:
  730. o1 = oprrr(p->as, p->scond);
  731. rf = p->from.reg;
  732. rt = p->to.reg;
  733. rt2 = p->to.offset;
  734. r = p->reg;
  735. o1 |= (rf<<8) | r | (rt<<16) | (rt2<<12);
  736. break;
  737. case 20: /* mov/movb/movbu R,O(R) */
  738. aclass(&p->to);
  739. r = p->to.reg;
  740. if(r == NREG)
  741. r = o->param;
  742. o1 = osr(p->as, p->from.reg, instoffset, r, p->scond);
  743. break;
  744. case 21: /* mov/movbu O(R),R -> lr */
  745. aclass(&p->from);
  746. r = p->from.reg;
  747. if(r == NREG)
  748. r = o->param;
  749. o1 = olr(instoffset, r, p->to.reg, p->scond);
  750. if(p->as != AMOVW)
  751. o1 |= 1<<22;
  752. break;
  753. case 22: /* movb/movh/movhu O(R),R -> lr,shl,shr */
  754. aclass(&p->from);
  755. r = p->from.reg;
  756. if(r == NREG)
  757. r = o->param;
  758. o1 = olr(instoffset, r, p->to.reg, p->scond);
  759. o2 = oprrr(ASLL, p->scond);
  760. o3 = oprrr(ASRA, p->scond);
  761. r = p->to.reg;
  762. if(p->as == AMOVB) {
  763. o2 |= (24<<7)|(r)|(r<<12);
  764. o3 |= (24<<7)|(r)|(r<<12);
  765. } else {
  766. o2 |= (16<<7)|(r)|(r<<12);
  767. if(p->as == AMOVHU)
  768. o3 = oprrr(ASRL, p->scond);
  769. o3 |= (16<<7)|(r)|(r<<12);
  770. }
  771. break;
  772. case 23: /* movh/movhu R,O(R) -> sb,sb */
  773. aclass(&p->to);
  774. r = p->to.reg;
  775. if(r == NREG)
  776. r = o->param;
  777. o1 = osr(AMOVH, p->from.reg, instoffset, r, p->scond);
  778. o2 = oprrr(ASRL, p->scond);
  779. o2 |= (8<<7)|(p->from.reg)|(REGTMP<<12);
  780. o3 = osr(AMOVH, REGTMP, instoffset+1, r, p->scond);
  781. break;
  782. case 30: /* mov/movb/movbu R,L(R) */
  783. o1 = omvl(p, &p->to, REGTMP);
  784. if(!o1)
  785. break;
  786. r = p->to.reg;
  787. if(r == NREG)
  788. r = o->param;
  789. o2 = osrr(p->from.reg, REGTMP,r, p->scond);
  790. if(p->as != AMOVW)
  791. o2 |= 1<<22;
  792. break;
  793. case 31: /* mov/movbu L(R),R -> lr[b] */
  794. case 32: /* movh/movb L(R),R -> lr[b] */
  795. o1 = omvl(p, &p->from, REGTMP);
  796. if(!o1)
  797. break;
  798. r = p->from.reg;
  799. if(r == NREG)
  800. r = o->param;
  801. o2 = olrr(REGTMP,r, p->to.reg, p->scond);
  802. if(p->as == AMOVBU || p->as == AMOVB)
  803. o2 |= 1<<22;
  804. if(o->type == 31)
  805. break;
  806. o3 = oprrr(ASLL, p->scond);
  807. if(p->as == AMOVBU || p->as == AMOVHU)
  808. o4 = oprrr(ASRL, p->scond);
  809. else
  810. o4 = oprrr(ASRA, p->scond);
  811. r = p->to.reg;
  812. o3 |= (r)|(r<<12);
  813. o4 |= (r)|(r<<12);
  814. if(p->as == AMOVB || p->as == AMOVBU) {
  815. o3 |= (24<<7);
  816. o4 |= (24<<7);
  817. } else {
  818. o3 |= (16<<7);
  819. o4 |= (16<<7);
  820. }
  821. break;
  822. case 33: /* movh/movhu R,L(R) -> sb, sb */
  823. o1 = omvl(p, &p->to, REGTMP);
  824. if(!o1)
  825. break;
  826. r = p->to.reg;
  827. if(r == NREG)
  828. r = o->param;
  829. o2 = osrr(p->from.reg, REGTMP, r, p->scond);
  830. o2 |= (1<<22) ;
  831. o3 = oprrr(ASRL, p->scond);
  832. o3 |= (8<<7)|(p->from.reg)|(p->from.reg<<12);
  833. o3 |= (1<<6); /* ROR 8 */
  834. o4 = oprrr(AADD, p->scond);
  835. o4 |= (REGTMP << 12) | (REGTMP << 16);
  836. o4 |= immrot(1);
  837. o5 = osrr(p->from.reg, REGTMP,r,p->scond);
  838. o5 |= (1<<22);
  839. o6 = oprrr(ASRL, p->scond);
  840. o6 |= (24<<7)|(p->from.reg)|(p->from.reg<<12);
  841. o6 |= (1<<6); /* ROL 8 */
  842. break;
  843. case 34: /* mov $lacon,R */
  844. o1 = omvl(p, &p->from, REGTMP);
  845. if(!o1)
  846. break;
  847. o2 = oprrr(AADD, p->scond);
  848. o2 |= REGTMP;
  849. r = p->from.reg;
  850. if(r == NREG)
  851. r = o->param;
  852. o2 |= r << 16;
  853. if(p->to.type != D_NONE)
  854. o2 |= p->to.reg << 12;
  855. break;
  856. case 35: /* mov PSR,R */
  857. o1 = (2<<23) | (0xf<<16) | (0<<0);
  858. o1 |= (p->scond & C_SCOND) << 28;
  859. o1 |= (p->from.reg & 1) << 22;
  860. o1 |= p->to.reg << 12;
  861. break;
  862. case 36: /* mov R,PSR */
  863. o1 = (2<<23) | (0x29f<<12) | (0<<4);
  864. if(p->scond & C_FBIT)
  865. o1 ^= 0x010 << 12;
  866. o1 |= (p->scond & C_SCOND) << 28;
  867. o1 |= (p->to.reg & 1) << 22;
  868. o1 |= p->from.reg << 0;
  869. break;
  870. case 37: /* mov $con,PSR */
  871. aclass(&p->from);
  872. o1 = (2<<23) | (0x29f<<12) | (0<<4);
  873. if(p->scond & C_FBIT)
  874. o1 ^= 0x010 << 12;
  875. o1 |= (p->scond & C_SCOND) << 28;
  876. o1 |= immrot(instoffset);
  877. o1 |= (p->to.reg & 1) << 22;
  878. o1 |= p->from.reg << 0;
  879. break;
  880. case 38: /* movm $con,oreg -> stm */
  881. o1 = (0x4 << 25);
  882. o1 |= p->from.offset & 0xffff;
  883. o1 |= p->to.reg << 16;
  884. aclass(&p->to);
  885. goto movm;
  886. case 39: /* movm oreg,$con -> ldm */
  887. o1 = (0x4 << 25) | (1 << 20);
  888. o1 |= p->to.offset & 0xffff;
  889. o1 |= p->from.reg << 16;
  890. aclass(&p->from);
  891. movm:
  892. if(instoffset != 0)
  893. diag("offset must be zero in MOVM");
  894. o1 |= (p->scond & C_SCOND) << 28;
  895. if(p->scond & C_PBIT)
  896. o1 |= 1 << 24;
  897. if(p->scond & C_UBIT)
  898. o1 |= 1 << 23;
  899. if(p->scond & C_SBIT)
  900. o1 |= 1 << 22;
  901. if(p->scond & C_WBIT)
  902. o1 |= 1 << 21;
  903. break;
  904. case 40: /* swp oreg,reg,reg */
  905. aclass(&p->from);
  906. if(instoffset != 0)
  907. diag("offset must be zero in SWP");
  908. o1 = (0x2<<23) | (0x9<<4);
  909. if(p->as != ASWPW)
  910. o1 |= 1 << 22;
  911. o1 |= p->from.reg << 16;
  912. o1 |= p->reg << 0;
  913. o1 |= p->to.reg << 12;
  914. o1 |= (p->scond & C_SCOND) << 28;
  915. break;
  916. case 41: /* rfe -> movm.s.w.u 0(r13),[r15] */
  917. o1 = 0xe8fd8000;
  918. break;
  919. case 50: /* floating point store */
  920. v = regoff(&p->to);
  921. r = p->to.reg;
  922. if(r == NREG)
  923. r = o->param;
  924. o1 = ofsr(p->as, p->from.reg, v, r, p->scond, p);
  925. break;
  926. case 51: /* floating point load */
  927. v = regoff(&p->from);
  928. r = p->from.reg;
  929. if(r == NREG)
  930. r = o->param;
  931. o1 = ofsr(p->as, p->to.reg, v, r, p->scond, p) | (1<<20);
  932. break;
  933. case 52: /* floating point store, long offset UGLY */
  934. o1 = omvl(p, &p->to, REGTMP);
  935. if(!o1)
  936. break;
  937. r = p->to.reg;
  938. if(r == NREG)
  939. r = o->param;
  940. o2 = oprrr(AADD, p->scond) | (REGTMP << 12) | (REGTMP << 16) | r;
  941. o3 = ofsr(p->as, p->from.reg, 0, REGTMP, p->scond, p);
  942. break;
  943. case 53: /* floating point load, long offset UGLY */
  944. o1 = omvl(p, &p->from, REGTMP);
  945. if(!o1)
  946. break;
  947. r = p->from.reg;
  948. if(r == NREG)
  949. r = o->param;
  950. o2 = oprrr(AADD, p->scond) | (REGTMP << 12) | (REGTMP << 16) | r;
  951. o3 = ofsr(p->as, p->to.reg, 0, REGTMP, p->scond, p) | (1<<20);
  952. break;
  953. case 54: /* floating point arith */
  954. o1 = oprrr(p->as, p->scond);
  955. if(p->from.type == D_FCONST) {
  956. rf = chipfloat(p->from.ieee);
  957. if(rf < 0){
  958. diag("invalid floating-point immediate\n%P", p);
  959. rf = 0;
  960. }
  961. rf |= (1<<3);
  962. } else
  963. rf = p->from.reg;
  964. rt = p->to.reg;
  965. r = p->reg;
  966. if(p->to.type == D_NONE)
  967. rt = 0; /* CMP[FD] */
  968. else if(o1 & (1<<15))
  969. r = 0; /* monadic */
  970. else if(r == NREG)
  971. r = rt;
  972. o1 |= rf | (r<<16) | (rt<<12);
  973. break;
  974. case 55: /* floating point fix and float */
  975. o1 = oprrr(p->as, p->scond);
  976. rf = p->from.reg;
  977. rt = p->to.reg;
  978. if(p->to.type == D_NONE){
  979. rt = 0;
  980. diag("to.type==D_NONE (asm/fp)");
  981. }
  982. if(p->from.type == D_REG)
  983. o1 |= (rf<<12) | (rt<<16);
  984. else
  985. o1 |= rf | (rt<<12);
  986. break;
  987. case 56: /* move to FP[CS]R */
  988. o1 = ((p->scond & C_SCOND) << 28) | (0xe << 24) | (1<<8) | (1<<4);
  989. o1 |= ((p->to.reg+1)<<21) | (p->from.reg << 12);
  990. break;
  991. case 57: /* move from FP[CS]R */
  992. o1 = ((p->scond & C_SCOND) << 28) | (0xe << 24) | (1<<8) | (1<<4);
  993. o1 |= ((p->from.reg+1)<<21) | (p->to.reg<<12) | (1<<20);
  994. break;
  995. case 58: /* movbu R,R */
  996. o1 = oprrr(AAND, p->scond);
  997. o1 |= immrot(0xff);
  998. rt = p->to.reg;
  999. r = p->from.reg;
  1000. if(p->to.type == D_NONE)
  1001. rt = 0;
  1002. if(r == NREG)
  1003. r = rt;
  1004. o1 |= (r<<16) | (rt<<12);
  1005. break;
  1006. case 59: /* movw/bu R<<I(R),R -> ldr indexed */
  1007. if(p->from.reg == NREG) {
  1008. if(p->as != AMOVW)
  1009. diag("byte MOV from shifter operand");
  1010. goto mov;
  1011. }
  1012. if(p->from.offset&(1<<4))
  1013. diag("bad shift in LDR");
  1014. o1 = olrr(p->from.offset, p->from.reg, p->to.reg, p->scond);
  1015. if(p->as == AMOVBU)
  1016. o1 |= 1<<22;
  1017. break;
  1018. case 60: /* movb R(R),R -> ldrsb indexed */
  1019. if(p->from.reg == NREG) {
  1020. diag("byte MOV from shifter operand");
  1021. goto mov;
  1022. }
  1023. if(p->from.offset&(~0xf))
  1024. diag("bad shift in LDRSB");
  1025. o1 = olhrr(p->from.offset, p->from.reg, p->to.reg, p->scond);
  1026. o1 ^= (1<<5)|(1<<6);
  1027. break;
  1028. case 61: /* movw/b/bu R,R<<[IR](R) -> str indexed */
  1029. if(p->to.reg == NREG)
  1030. diag("MOV to shifter operand");
  1031. o1 = osrr(p->from.reg, p->to.offset, p->to.reg, p->scond);
  1032. if(p->as == AMOVB || p->as == AMOVBU)
  1033. o1 |= 1<<22;
  1034. break;
  1035. case 62: /* case R -> movw R<<2(PC),PC */
  1036. o1 = olrr(p->from.reg, REGPC, REGPC, p->scond);
  1037. o1 |= 2<<7;
  1038. break;
  1039. case 63: /* bcase */
  1040. if(p->cond != P) {
  1041. if(reloc)
  1042. undefpc(p->pc);
  1043. o1 = p->cond->pc;
  1044. }
  1045. break;
  1046. /* reloc ops */
  1047. case 64: /* mov/movb/movbu R,addr */
  1048. o1 = omvl(p, &p->to, REGTMP);
  1049. if(!o1)
  1050. break;
  1051. o2 = osr(p->as, p->from.reg, 0, REGTMP, p->scond);
  1052. break;
  1053. case 65: /* mov/movbu addr,R */
  1054. case 66: /* movh/movhu/movb addr,R */
  1055. o1 = omvl(p, &p->from, REGTMP);
  1056. if(!o1)
  1057. break;
  1058. o2 = olr(0, REGTMP, p->to.reg, p->scond);
  1059. if(p->as == AMOVBU || p->as == AMOVB)
  1060. o2 |= 1<<22;
  1061. if(o->type == 65)
  1062. break;
  1063. o3 = oprrr(ASLL, p->scond);
  1064. if(p->as == AMOVBU || p->as == AMOVHU)
  1065. o4 = oprrr(ASRL, p->scond);
  1066. else
  1067. o4 = oprrr(ASRA, p->scond);
  1068. r = p->to.reg;
  1069. o3 |= (r)|(r<<12);
  1070. o4 |= (r)|(r<<12);
  1071. if(p->as == AMOVB || p->as == AMOVBU) {
  1072. o3 |= (24<<7);
  1073. o4 |= (24<<7);
  1074. } else {
  1075. o3 |= (16<<7);
  1076. o4 |= (16<<7);
  1077. }
  1078. break;
  1079. case 67: /* movh/movhu R,addr -> sb, sb */
  1080. o1 = omvl(p, &p->to, REGTMP);
  1081. if(!o1)
  1082. break;
  1083. o2 = osr(p->as, p->from.reg, 0, REGTMP, p->scond);
  1084. o3 = oprrr(ASRL, p->scond);
  1085. o3 |= (8<<7)|(p->from.reg)|(p->from.reg<<12);
  1086. o3 |= (1<<6); /* ROR 8 */
  1087. o4 = oprrr(AADD, p->scond);
  1088. o4 |= (REGTMP << 12) | (REGTMP << 16);
  1089. o4 |= immrot(1);
  1090. o5 = osr(p->as, p->from.reg, 0, REGTMP, p->scond);
  1091. o6 = oprrr(ASRL, p->scond);
  1092. o6 |= (24<<7)|(p->from.reg)|(p->from.reg<<12);
  1093. o6 |= (1<<6); /* ROL 8 */
  1094. break;
  1095. case 68: /* floating point store -> ADDR */
  1096. o1 = omvl(p, &p->to, REGTMP);
  1097. if(!o1)
  1098. break;
  1099. o2 = ofsr(p->as, p->from.reg, 0, REGTMP, p->scond, p);
  1100. break;
  1101. case 69: /* floating point load <- ADDR */
  1102. o1 = omvl(p, &p->from, REGTMP);
  1103. if(!o1)
  1104. break;
  1105. o2 = ofsr(p->as, p->to.reg, 0, REGTMP, p->scond, p) | (1<<20);
  1106. break;
  1107. /* ArmV4 ops: */
  1108. case 70: /* movh/movhu R,O(R) -> strh */
  1109. aclass(&p->to);
  1110. r = p->to.reg;
  1111. if(r == NREG)
  1112. r = o->param;
  1113. o1 = oshr(p->from.reg, instoffset, r, p->scond);
  1114. break;
  1115. case 71: /* movb/movh/movhu O(R),R -> ldrsb/ldrsh/ldrh */
  1116. aclass(&p->from);
  1117. r = p->from.reg;
  1118. if(r == NREG)
  1119. r = o->param;
  1120. o1 = olhr(instoffset, r, p->to.reg, p->scond);
  1121. if(p->as == AMOVB)
  1122. o1 ^= (1<<5)|(1<<6);
  1123. else if(p->as == AMOVH)
  1124. o1 ^= (1<<6);
  1125. break;
  1126. case 72: /* movh/movhu R,L(R) -> strh */
  1127. o1 = omvl(p, &p->to, REGTMP);
  1128. if(!o1)
  1129. break;
  1130. r = p->to.reg;
  1131. if(r == NREG)
  1132. r = o->param;
  1133. o2 = oshrr(p->from.reg, REGTMP,r, p->scond);
  1134. break;
  1135. case 73: /* movb/movh/movhu L(R),R -> ldrsb/ldrsh/ldrh */
  1136. o1 = omvl(p, &p->from, REGTMP);
  1137. if(!o1)
  1138. break;
  1139. r = p->from.reg;
  1140. if(r == NREG)
  1141. r = o->param;
  1142. o2 = olhrr(REGTMP, r, p->to.reg, p->scond);
  1143. if(p->as == AMOVB)
  1144. o2 ^= (1<<5)|(1<<6);
  1145. else if(p->as == AMOVH)
  1146. o2 ^= (1<<6);
  1147. break;
  1148. }
  1149. if(debug['a'] > 1)
  1150. Bprint(&bso, "%2d ", o->type);
  1151. v = p->pc;
  1152. switch(o->size) {
  1153. default:
  1154. if(debug['a'])
  1155. Bprint(&bso, " %.8lux:\t\t%P\n", v, p);
  1156. break;
  1157. case 4:
  1158. if(debug['a'])
  1159. Bprint(&bso, " %.8lux: %.8lux\t%P\n", v, o1, p);
  1160. lputl(o1);
  1161. break;
  1162. case 8:
  1163. if(debug['a'])
  1164. Bprint(&bso, " %.8lux: %.8lux %.8lux%P\n", v, o1, o2, p);
  1165. lputl(o1);
  1166. lputl(o2);
  1167. break;
  1168. case 12:
  1169. if(debug['a'])
  1170. Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux%P\n", v, o1, o2, o3, p);
  1171. lputl(o1);
  1172. lputl(o2);
  1173. lputl(o3);
  1174. break;
  1175. case 16:
  1176. if(debug['a'])
  1177. Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux%P\n",
  1178. v, o1, o2, o3, o4, p);
  1179. lputl(o1);
  1180. lputl(o2);
  1181. lputl(o3);
  1182. lputl(o4);
  1183. break;
  1184. case 20:
  1185. if(debug['a'])
  1186. Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux%P\n",
  1187. v, o1, o2, o3, o4, o5, p);
  1188. lputl(o1);
  1189. lputl(o2);
  1190. lputl(o3);
  1191. lputl(o4);
  1192. lputl(o5);
  1193. break;
  1194. case 24:
  1195. if(debug['a'])
  1196. Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux %.8lux%P\n",
  1197. v, o1, o2, o3, o4, o5, o6, p);
  1198. lputl(o1);
  1199. lputl(o2);
  1200. lputl(o3);
  1201. lputl(o4);
  1202. lputl(o5);
  1203. lputl(o6);
  1204. break;
  1205. }
  1206. }
  1207. long
  1208. oprrr(int a, int sc)
  1209. {
  1210. long o;
  1211. o = (sc & C_SCOND) << 28;
  1212. if(sc & C_SBIT)
  1213. o |= 1 << 20;
  1214. if(sc & (C_PBIT|C_WBIT))
  1215. diag(".P/.W on dp instruction");
  1216. switch(a) {
  1217. case AMULU:
  1218. case AMUL: return o | (0x0<<21) | (0x9<<4);
  1219. case AMULA: return o | (0x1<<21) | (0x9<<4);
  1220. case AMULLU: return o | (0x4<<21) | (0x9<<4);
  1221. case AMULL: return o | (0x6<<21) | (0x9<<4);
  1222. case AMULALU: return o | (0x5<<21) | (0x9<<4);
  1223. case AMULAL: return o | (0x7<<21) | (0x9<<4);
  1224. case AAND: return o | (0x0<<21);
  1225. case AEOR: return o | (0x1<<21);
  1226. case ASUB: return o | (0x2<<21);
  1227. case ARSB: return o | (0x3<<21);
  1228. case AADD: return o | (0x4<<21);
  1229. case AADC: return o | (0x5<<21);
  1230. case ASBC: return o | (0x6<<21);
  1231. case ARSC: return o | (0x7<<21);
  1232. case ATST: return o | (0x8<<21) | (1<<20);
  1233. case ATEQ: return o | (0x9<<21) | (1<<20);
  1234. case ACMP: return o | (0xa<<21) | (1<<20);
  1235. case ACMN: return o | (0xb<<21) | (1<<20);
  1236. case AORR: return o | (0xc<<21);
  1237. case AMOVW: return o | (0xd<<21);
  1238. case ABIC: return o | (0xe<<21);
  1239. case AMVN: return o | (0xf<<21);
  1240. case ASLL: return o | (0xd<<21) | (0<<5);
  1241. case ASRL: return o | (0xd<<21) | (1<<5);
  1242. case ASRA: return o | (0xd<<21) | (2<<5);
  1243. case ASWI: return o | (0xf<<24);
  1244. case AADDD: return o | (0xe<<24) | (0x0<<20) | (1<<8) | (1<<7);
  1245. case AADDF: return o | (0xe<<24) | (0x0<<20) | (1<<8);
  1246. case AMULD: return o | (0xe<<24) | (0x1<<20) | (1<<8) | (1<<7);
  1247. case AMULF: return o | (0xe<<24) | (0x1<<20) | (1<<8);
  1248. case ASUBD: return o | (0xe<<24) | (0x2<<20) | (1<<8) | (1<<7);
  1249. case ASUBF: return o | (0xe<<24) | (0x2<<20) | (1<<8);
  1250. case ADIVD: return o | (0xe<<24) | (0x4<<20) | (1<<8) | (1<<7);
  1251. case ADIVF: return o | (0xe<<24) | (0x4<<20) | (1<<8);
  1252. case ACMPD:
  1253. case ACMPF: return o | (0xe<<24) | (0x9<<20) | (0xF<<12) | (1<<8) | (1<<4); /* arguably, ACMPF should expand to RNDF, CMPD */
  1254. case AMOVF:
  1255. case AMOVDF: return o | (0xe<<24) | (0x0<<20) | (1<<15) | (1<<8);
  1256. case AMOVD:
  1257. case AMOVFD: return o | (0xe<<24) | (0x0<<20) | (1<<15) | (1<<8) | (1<<7);
  1258. case AMOVWF: return o | (0xe<<24) | (0<<20) | (1<<8) | (1<<4);
  1259. case AMOVWD: return o | (0xe<<24) | (0<<20) | (1<<8) | (1<<4) | (1<<7);
  1260. case AMOVFW: return o | (0xe<<24) | (1<<20) | (1<<8) | (1<<4);
  1261. case AMOVDW: return o | (0xe<<24) | (1<<20) | (1<<8) | (1<<4) | (1<<7);
  1262. }
  1263. diag("bad rrr %d", a);
  1264. prasm(curp);
  1265. return 0;
  1266. }
  1267. long
  1268. opbra(int a, int sc)
  1269. {
  1270. if(sc & (C_SBIT|C_PBIT|C_WBIT))
  1271. diag(".S/.P/.W on bra instruction");
  1272. sc &= C_SCOND;
  1273. if(a == ABL)
  1274. return (sc<<28)|(0x5<<25)|(0x1<<24);
  1275. if(sc != 0xe)
  1276. diag(".COND on bcond instruction");
  1277. switch(a) {
  1278. case ABEQ: return (0x0<<28)|(0x5<<25);
  1279. case ABNE: return (0x1<<28)|(0x5<<25);
  1280. case ABCS: return (0x2<<28)|(0x5<<25);
  1281. case ABHS: return (0x2<<28)|(0x5<<25);
  1282. case ABCC: return (0x3<<28)|(0x5<<25);
  1283. case ABLO: return (0x3<<28)|(0x5<<25);
  1284. case ABMI: return (0x4<<28)|(0x5<<25);
  1285. case ABPL: return (0x5<<28)|(0x5<<25);
  1286. case ABVS: return (0x6<<28)|(0x5<<25);
  1287. case ABVC: return (0x7<<28)|(0x5<<25);
  1288. case ABHI: return (0x8<<28)|(0x5<<25);
  1289. case ABLS: return (0x9<<28)|(0x5<<25);
  1290. case ABGE: return (0xa<<28)|(0x5<<25);
  1291. case ABLT: return (0xb<<28)|(0x5<<25);
  1292. case ABGT: return (0xc<<28)|(0x5<<25);
  1293. case ABLE: return (0xd<<28)|(0x5<<25);
  1294. case AB: return (0xe<<28)|(0x5<<25);
  1295. }
  1296. diag("bad bra %A", a);
  1297. prasm(curp);
  1298. return 0;
  1299. }
  1300. long
  1301. olr(long v, int b, int r, int sc)
  1302. {
  1303. long o;
  1304. if(sc & C_SBIT)
  1305. diag(".S on LDR/STR instruction");
  1306. o = (sc & C_SCOND) << 28;
  1307. if(!(sc & C_PBIT))
  1308. o |= 1 << 24;
  1309. if(!(sc & C_UBIT))
  1310. o |= 1 << 23;
  1311. if(sc & C_WBIT)
  1312. o |= 1 << 21;
  1313. o |= (0x1<<26) | (1<<20);
  1314. if(v < 0) {
  1315. v = -v;
  1316. o ^= 1 << 23;
  1317. }
  1318. if(v >= (1<<12))
  1319. diag("literal span too large: %d (R%d)\n%P", v, b, PP);
  1320. o |= v;
  1321. o |= b << 16;
  1322. o |= r << 12;
  1323. return o;
  1324. }
  1325. long
  1326. olhr(long v, int b, int r, int sc)
  1327. {
  1328. long o;
  1329. if(sc & C_SBIT)
  1330. diag(".S on LDRH/STRH instruction");
  1331. o = (sc & C_SCOND) << 28;
  1332. if(!(sc & C_PBIT))
  1333. o |= 1 << 24;
  1334. if(sc & C_WBIT)
  1335. o |= 1 << 21;
  1336. o |= (1<<23) | (1<<20)|(0xb<<4);
  1337. if(v < 0) {
  1338. v = -v;
  1339. o ^= 1 << 23;
  1340. }
  1341. if(v >= (1<<8))
  1342. diag("literal span too large: %d (R%d)\n%P", v, b, PP);
  1343. o |= (v&0xf)|((v>>4)<<8)|(1<<22);
  1344. o |= b << 16;
  1345. o |= r << 12;
  1346. return o;
  1347. }
  1348. long
  1349. osr(int a, int r, long v, int b, int sc)
  1350. {
  1351. long o;
  1352. o = olr(v, b, r, sc) ^ (1<<20);
  1353. if(a != AMOVW)
  1354. o |= 1<<22;
  1355. return o;
  1356. }
  1357. long
  1358. oshr(int r, long v, int b, int sc)
  1359. {
  1360. long o;
  1361. o = olhr(v, b, r, sc) ^ (1<<20);
  1362. return o;
  1363. }
  1364. long
  1365. osrr(int r, int i, int b, int sc)
  1366. {
  1367. return olr(i, b, r, sc) ^ ((1<<25) | (1<<20));
  1368. }
  1369. long
  1370. oshrr(int r, int i, int b, int sc)
  1371. {
  1372. return olhr(i, b, r, sc) ^ ((1<<22) | (1<<20));
  1373. }
  1374. long
  1375. olrr(int i, int b, int r, int sc)
  1376. {
  1377. return olr(i, b, r, sc) ^ (1<<25);
  1378. }
  1379. long
  1380. olhrr(int i, int b, int r, int sc)
  1381. {
  1382. return olhr(i, b, r, sc) ^ (1<<22);
  1383. }
  1384. long
  1385. ofsr(int a, int r, long v, int b, int sc, Prog *p)
  1386. {
  1387. long o;
  1388. if(sc & C_SBIT)
  1389. diag(".S on FLDR/FSTR instruction");
  1390. o = (sc & C_SCOND) << 28;
  1391. if(!(sc & C_PBIT))
  1392. o |= 1 << 24;
  1393. if(sc & C_WBIT)
  1394. o |= 1 << 21;
  1395. o |= (6<<25) | (1<<24) | (1<<23);
  1396. if(v < 0) {
  1397. v = -v;
  1398. o ^= 1 << 23;
  1399. }
  1400. if(v & 3)
  1401. diag("odd offset for floating point op: %d\n%P", v, p);
  1402. else if(v >= (1<<10))
  1403. diag("literal span too large: %d\n%P", v, p);
  1404. o |= (v>>2) & 0xFF;
  1405. o |= b << 16;
  1406. o |= r << 12;
  1407. o |= 1 << 8;
  1408. switch(a) {
  1409. default:
  1410. diag("bad fst %A", a);
  1411. case AMOVD:
  1412. o |= 1<<15;
  1413. case AMOVF:
  1414. break;
  1415. }
  1416. return o;
  1417. }
  1418. long
  1419. omvl(Prog *p, Adr *a, int dr)
  1420. {
  1421. long v, o1;
  1422. if(!p->cond) {
  1423. aclass(a);
  1424. v = immrot(~instoffset);
  1425. if(v == 0) {
  1426. diag("missing literal");
  1427. prasm(p);
  1428. return 0;
  1429. }
  1430. o1 = oprrr(AMVN, p->scond&C_SCOND);
  1431. o1 |= v;
  1432. o1 |= dr << 12;
  1433. } else {
  1434. v = p->cond->pc - p->pc - 8;
  1435. o1 = olr(v, REGPC, dr, p->scond&C_SCOND);
  1436. }
  1437. return o1;
  1438. }
  1439. static Ieee chipfloats[] = {
  1440. {0x00000000, 0x00000000}, /* 0 */
  1441. {0x00000000, 0x3ff00000}, /* 1 */
  1442. {0x00000000, 0x40000000}, /* 2 */
  1443. {0x00000000, 0x40080000}, /* 3 */
  1444. {0x00000000, 0x40100000}, /* 4 */
  1445. {0x00000000, 0x40140000}, /* 5 */
  1446. {0x00000000, 0x3fe00000}, /* .5 */
  1447. {0x00000000, 0x40240000}, /* 10 */
  1448. };
  1449. int
  1450. chipfloat(Ieee *e)
  1451. {
  1452. Ieee *p;
  1453. int n;
  1454. for(n = sizeof(chipfloats)/sizeof(chipfloats[0]); --n >= 0;){
  1455. p = &chipfloats[n];
  1456. if(p->l == e->l && p->h == e->h)
  1457. return n;
  1458. }
  1459. return -1;
  1460. }