emit.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679
  1. #include "all.h"
  2. typedef struct E E;
  3. struct E {
  4. FILE *f;
  5. Fn *fn;
  6. uint64_t frame;
  7. uint padding;
  8. };
  9. #define CMP(X) \
  10. X(Cieq, "eq") \
  11. X(Cine, "ne") \
  12. X(Cisge, "ge") \
  13. X(Cisgt, "gt") \
  14. X(Cisle, "le") \
  15. X(Cislt, "lt") \
  16. X(Ciuge, "cs") \
  17. X(Ciugt, "hi") \
  18. X(Ciule, "ls") \
  19. X(Ciult, "cc") \
  20. X(NCmpI+Cfeq, "eq") \
  21. X(NCmpI+Cfge, "ge") \
  22. X(NCmpI+Cfgt, "gt") \
  23. X(NCmpI+Cfle, "ls") \
  24. X(NCmpI+Cflt, "mi") \
  25. X(NCmpI+Cfne, "ne") \
  26. X(NCmpI+Cfo, "vc") \
  27. X(NCmpI+Cfuo, "vs")
  28. enum {
  29. Ki = -1, /* matches Kw and Kl */
  30. Ka = -2, /* matches all classes */
  31. };
  32. static struct {
  33. short op;
  34. short cls;
  35. char *fmt;
  36. } omap[] = {
  37. { Oadd, Ki, "add %=, %0, %1" },
  38. { Oadd, Ka, "fadd %=, %0, %1" },
  39. { Osub, Ki, "sub %=, %0, %1" },
  40. { Osub, Ka, "fsub %=, %0, %1" },
  41. { Oneg, Ki, "neg %=, %0" },
  42. { Oneg, Ka, "fneg %=, %0" },
  43. { Oand, Ki, "and %=, %0, %1" },
  44. { Oor, Ki, "orr %=, %0, %1" },
  45. { Oxor, Ki, "eor %=, %0, %1" },
  46. { Osar, Ki, "asr %=, %0, %1" },
  47. { Oshr, Ki, "lsr %=, %0, %1" },
  48. { Oshl, Ki, "lsl %=, %0, %1" },
  49. { Omul, Ki, "mul %=, %0, %1" },
  50. { Omul, Ka, "fmul %=, %0, %1" },
  51. { Odiv, Ki, "sdiv %=, %0, %1" },
  52. { Odiv, Ka, "fdiv %=, %0, %1" },
  53. { Oudiv, Ki, "udiv %=, %0, %1" },
  54. { Orem, Ki, "sdiv %?, %0, %1\n\tmsub\t%=, %?, %1, %0" },
  55. { Ourem, Ki, "udiv %?, %0, %1\n\tmsub\t%=, %?, %1, %0" },
  56. { Ocopy, Ki, "mov %=, %0" },
  57. { Ocopy, Ka, "fmov %=, %0" },
  58. { Oswap, Ki, "mov %?, %0\n\tmov\t%0, %1\n\tmov\t%1, %?" },
  59. { Oswap, Ka, "fmov %?, %0\n\tfmov\t%0, %1\n\tfmov\t%1, %?" },
  60. { Ostoreb, Kw, "strb %W0, %M1" },
  61. { Ostoreh, Kw, "strh %W0, %M1" },
  62. { Ostorew, Kw, "str %W0, %M1" },
  63. { Ostorel, Kw, "str %L0, %M1" },
  64. { Ostores, Kw, "str %S0, %M1" },
  65. { Ostored, Kw, "str %D0, %M1" },
  66. { Oloadsb, Ki, "ldrsb %=, %M0" },
  67. { Oloadub, Ki, "ldrb %W=, %M0" },
  68. { Oloadsh, Ki, "ldrsh %=, %M0" },
  69. { Oloaduh, Ki, "ldrh %W=, %M0" },
  70. { Oloadsw, Kw, "ldr %=, %M0" },
  71. { Oloadsw, Kl, "ldrsw %=, %M0" },
  72. { Oloaduw, Ki, "ldr %W=, %M0" },
  73. { Oload, Ka, "ldr %=, %M0" },
  74. { Oextsb, Ki, "sxtb %=, %W0" },
  75. { Oextub, Ki, "uxtb %W=, %W0" },
  76. { Oextsh, Ki, "sxth %=, %W0" },
  77. { Oextuh, Ki, "uxth %W=, %W0" },
  78. { Oextsw, Ki, "sxtw %L=, %W0" },
  79. { Oextuw, Ki, "mov %W=, %W0" },
  80. { Oexts, Kd, "fcvt %=, %S0" },
  81. { Otruncd, Ks, "fcvt %=, %D0" },
  82. { Ocast, Kw, "fmov %=, %S0" },
  83. { Ocast, Kl, "fmov %=, %D0" },
  84. { Ocast, Ks, "fmov %=, %W0" },
  85. { Ocast, Kd, "fmov %=, %L0" },
  86. { Ostosi, Ka, "fcvtzs %=, %S0" },
  87. { Ostoui, Ka, "fcvtzu %=, %S0" },
  88. { Odtosi, Ka, "fcvtzs %=, %D0" },
  89. { Odtoui, Ka, "fcvtzu %=, %D0" },
  90. { Oswtof, Ka, "scvtf %=, %W0" },
  91. { Ouwtof, Ka, "ucvtf %=, %W0" },
  92. { Osltof, Ka, "scvtf %=, %L0" },
  93. { Oultof, Ka, "ucvtf %=, %L0" },
  94. { Ocall, Kw, "blr %L0" },
  95. { Oacmp, Ki, "cmp %0, %1" },
  96. { Oacmn, Ki, "cmn %0, %1" },
  97. { Oafcmp, Ka, "fcmpe %0, %1" },
  98. #define X(c, str) \
  99. { Oflag+c, Ki, "cset %=, " str },
  100. CMP(X)
  101. #undef X
  102. { NOp, 0, 0 }
  103. };
  104. enum {
  105. V31 = 0x1fffffff, /* local name for V31 */
  106. };
  107. static char *
  108. rname(int r, int k)
  109. {
  110. static char buf[4];
  111. if (r == SP) {
  112. assert(k == Kl);
  113. sprintf(buf, "sp");
  114. }
  115. else if (R0 <= r && r <= LR)
  116. switch (k) {
  117. default: die("invalid class");
  118. case Kw: sprintf(buf, "w%d", r-R0); break;
  119. case Kx:
  120. case Kl: sprintf(buf, "x%d", r-R0); break;
  121. }
  122. else if (V0 <= r && r <= V30)
  123. switch (k) {
  124. default: die("invalid class");
  125. case Ks: sprintf(buf, "s%d", r-V0); break;
  126. case Kx:
  127. case Kd: sprintf(buf, "d%d", r-V0); break;
  128. }
  129. else if (r == V31)
  130. switch (k) {
  131. default: die("invalid class");
  132. case Ks: sprintf(buf, "s31"); break;
  133. case Kd: sprintf(buf, "d31"); break;
  134. }
  135. else
  136. die("invalid register");
  137. return buf;
  138. }
  139. static uint64_t
  140. slot(Ref r, E *e)
  141. {
  142. int s;
  143. s = rsval(r);
  144. if (s == -1)
  145. return 16 + e->frame;
  146. if (s < 0) {
  147. if (e->fn->vararg && !T.apple)
  148. return 16 + e->frame + 192 - (s+2);
  149. else
  150. return 16 + e->frame - (s+2);
  151. } else
  152. return 16 + e->padding + 4 * s;
  153. }
  154. static void
  155. emitf(char *s, Ins *i, E *e)
  156. {
  157. Ref r;
  158. int k, c;
  159. Con *pc;
  160. uint64_t n;
  161. uint sp;
  162. fputc('\t', e->f);
  163. sp = 0;
  164. for (;;) {
  165. k = i->cls;
  166. while ((c = *s++) != '%')
  167. if (c == ' ' && !sp) {
  168. fputc('\t', e->f);
  169. sp = 1;
  170. } else if (!c) {
  171. fputc('\n', e->f);
  172. return;
  173. } else
  174. fputc(c, e->f);
  175. Switch:
  176. switch ((c = *s++)) {
  177. default:
  178. die("invalid escape");
  179. case 'W':
  180. k = Kw;
  181. goto Switch;
  182. case 'L':
  183. k = Kl;
  184. goto Switch;
  185. case 'S':
  186. k = Ks;
  187. goto Switch;
  188. case 'D':
  189. k = Kd;
  190. goto Switch;
  191. case '?':
  192. if (KBASE(k) == 0)
  193. fputs(rname(IP1, k), e->f);
  194. else
  195. fputs(rname(V31, k), e->f);
  196. break;
  197. case '=':
  198. case '0':
  199. r = c == '=' ? i->to : i->arg[0];
  200. assert(isreg(r) || req(r, TMP(V31)));
  201. fputs(rname(r.val, k), e->f);
  202. break;
  203. case '1':
  204. r = i->arg[1];
  205. switch (rtype(r)) {
  206. default:
  207. die("invalid second argument");
  208. case RTmp:
  209. assert(isreg(r));
  210. fputs(rname(r.val, k), e->f);
  211. break;
  212. case RCon:
  213. pc = &e->fn->con[r.val];
  214. n = pc->bits.i;
  215. assert(pc->type == CBits);
  216. if (n >> 24) {
  217. assert(arm64_logimm(n, k));
  218. fprintf(e->f, "#%"PRIu64, n);
  219. } else if (n & 0xfff000) {
  220. assert(!(n & ~0xfff000ull));
  221. fprintf(e->f, "#%"PRIu64", lsl #12",
  222. n>>12);
  223. } else {
  224. assert(!(n & ~0xfffull));
  225. fprintf(e->f, "#%"PRIu64, n);
  226. }
  227. break;
  228. }
  229. break;
  230. case 'M':
  231. c = *s++;
  232. assert(c == '0' || c == '1' || c == '=');
  233. r = c == '=' ? i->to : i->arg[c - '0'];
  234. switch (rtype(r)) {
  235. default:
  236. die("todo (arm emit): unhandled ref");
  237. case RTmp:
  238. assert(isreg(r));
  239. fprintf(e->f, "[%s]", rname(r.val, Kl));
  240. break;
  241. case RSlot:
  242. fprintf(e->f, "[x29, %"PRIu64"]", slot(r, e));
  243. break;
  244. }
  245. break;
  246. }
  247. }
  248. }
  249. static void
  250. loadaddr(Con *c, char *rn, E *e)
  251. {
  252. char *p, *l, *s;
  253. switch (c->sym.type) {
  254. default:
  255. die("unreachable");
  256. case SGlo:
  257. if (T.apple)
  258. s = "\tadrp\tR, S@pageO\n"
  259. "\tadd\tR, R, S@pageoffO\n";
  260. else
  261. s = "\tadrp\tR, SO\n"
  262. "\tadd\tR, R, #:lo12:SO\n";
  263. break;
  264. case SThr:
  265. if (T.apple)
  266. s = "\tadrp\tR, S@tlvppage\n"
  267. "\tldr\tR, [R, S@tlvppageoff]\n";
  268. else
  269. s = "\tmrs\tR, tpidr_el0\n"
  270. "\tadd\tR, R, #:tprel_hi12:SO, lsl #12\n"
  271. "\tadd\tR, R, #:tprel_lo12_nc:SO\n";
  272. break;
  273. }
  274. l = str(c->sym.id);
  275. p = l[0] == '"' ? "" : T.assym;
  276. for (; *s; s++)
  277. switch (*s) {
  278. default:
  279. fputc(*s, e->f);
  280. break;
  281. case 'R':
  282. fputs(rn, e->f);
  283. break;
  284. case 'S':
  285. fputs(p, e->f);
  286. fputs(l, e->f);
  287. break;
  288. case 'O':
  289. if (c->bits.i)
  290. /* todo, handle large offsets */
  291. fprintf(e->f, "+%"PRIi64, c->bits.i);
  292. break;
  293. }
  294. }
  295. static void
  296. loadcon(Con *c, int r, int k, E *e)
  297. {
  298. char *rn;
  299. int64_t n;
  300. int w, sh;
  301. w = KWIDE(k);
  302. rn = rname(r, k);
  303. n = c->bits.i;
  304. if (c->type == CAddr) {
  305. rn = rname(r, Kl);
  306. loadaddr(c, rn, e);
  307. return;
  308. }
  309. assert(c->type == CBits);
  310. if (!w)
  311. n = (int32_t)n;
  312. if ((n | 0xffff) == -1 || arm64_logimm(n, k)) {
  313. fprintf(e->f, "\tmov\t%s, #%"PRIi64"\n", rn, n);
  314. } else {
  315. fprintf(e->f, "\tmov\t%s, #%d\n",
  316. rn, (int)(n & 0xffff));
  317. for (sh=16; n>>=16; sh+=16) {
  318. if ((!w && sh == 32) || sh == 64)
  319. break;
  320. fprintf(e->f, "\tmovk\t%s, #0x%x, lsl #%d\n",
  321. rn, (uint)(n & 0xffff), sh);
  322. }
  323. }
  324. }
  325. static void emitins(Ins *, E *);
  326. static int
  327. fixarg(Ref *pr, int sz, int t, E *e)
  328. {
  329. Ins *i;
  330. Ref r;
  331. uint64_t s;
  332. r = *pr;
  333. if (rtype(r) == RSlot) {
  334. s = slot(r, e);
  335. if (s > sz * 4095u) {
  336. if (t < 0)
  337. return 1;
  338. i = &(Ins){Oaddr, Kl, TMP(t), {r}};
  339. emitins(i, e);
  340. *pr = TMP(t);
  341. }
  342. }
  343. return 0;
  344. }
  345. static void
  346. emitins(Ins *i, E *e)
  347. {
  348. char *l, *p, *rn;
  349. uint64_t s;
  350. int o, t;
  351. Ref r;
  352. Con *c;
  353. switch (i->op) {
  354. default:
  355. if (isload(i->op))
  356. fixarg(&i->arg[0], loadsz(i), IP1, e);
  357. if (isstore(i->op)) {
  358. t = T.apple ? -1 : R18;
  359. if (fixarg(&i->arg[1], storesz(i), t, e)) {
  360. if (req(i->arg[0], TMP(IP1))) {
  361. fprintf(e->f,
  362. "\tfmov\t%c31, %c17\n",
  363. "ds"[i->cls == Kw],
  364. "xw"[i->cls == Kw]);
  365. i->arg[0] = TMP(V31);
  366. i->op = Ostores + (i->cls-Kw);
  367. }
  368. fixarg(&i->arg[1], storesz(i), IP1, e);
  369. }
  370. }
  371. Table:
  372. /* most instructions are just pulled out of
  373. * the table omap[], some special cases are
  374. * detailed below */
  375. for (o=0;; o++) {
  376. /* this linear search should really be a binary
  377. * search */
  378. if (omap[o].op == NOp)
  379. die("no match for %s(%c)",
  380. optab[i->op].name, "wlsd"[i->cls]);
  381. if (omap[o].op == i->op)
  382. if (omap[o].cls == i->cls || omap[o].cls == Ka
  383. || (omap[o].cls == Ki && KBASE(i->cls) == 0))
  384. break;
  385. }
  386. emitf(omap[o].fmt, i, e);
  387. break;
  388. case Onop:
  389. break;
  390. case Ocopy:
  391. if (req(i->to, i->arg[0]))
  392. break;
  393. if (rtype(i->to) == RSlot) {
  394. r = i->to;
  395. if (!isreg(i->arg[0])) {
  396. i->to = TMP(IP1);
  397. emitins(i, e);
  398. i->arg[0] = i->to;
  399. }
  400. i->op = Ostorew + i->cls;
  401. i->cls = Kw;
  402. i->arg[1] = r;
  403. emitins(i, e);
  404. break;
  405. }
  406. assert(isreg(i->to));
  407. switch (rtype(i->arg[0])) {
  408. case RCon:
  409. c = &e->fn->con[i->arg[0].val];
  410. loadcon(c, i->to.val, i->cls, e);
  411. break;
  412. case RSlot:
  413. i->op = Oload;
  414. emitins(i, e);
  415. break;
  416. default:
  417. assert(i->to.val != IP1);
  418. goto Table;
  419. }
  420. break;
  421. case Oaddr:
  422. assert(rtype(i->arg[0]) == RSlot);
  423. rn = rname(i->to.val, Kl);
  424. s = slot(i->arg[0], e);
  425. if (s <= 4095)
  426. fprintf(e->f, "\tadd\t%s, x29, #%"PRIu64"\n", rn, s);
  427. else if (s <= 65535)
  428. fprintf(e->f,
  429. "\tmov\t%s, #%"PRIu64"\n"
  430. "\tadd\t%s, x29, %s\n",
  431. rn, s, rn, rn
  432. );
  433. else
  434. fprintf(e->f,
  435. "\tmov\t%s, #%"PRIu64"\n"
  436. "\tmovk\t%s, #%"PRIu64", lsl #16\n"
  437. "\tadd\t%s, x29, %s\n",
  438. rn, s & 0xFFFF, rn, s >> 16, rn, rn
  439. );
  440. break;
  441. case Ocall:
  442. if (rtype(i->arg[0]) != RCon)
  443. goto Table;
  444. c = &e->fn->con[i->arg[0].val];
  445. if (c->type != CAddr
  446. || c->sym.type != SGlo
  447. || c->bits.i)
  448. die("invalid call argument");
  449. l = str(c->sym.id);
  450. p = l[0] == '"' ? "" : T.assym;
  451. fprintf(e->f, "\tbl\t%s%s\n", p, l);
  452. break;
  453. case Osalloc:
  454. emitf("sub sp, sp, %0", i, e);
  455. if (!req(i->to, R))
  456. emitf("mov %=, sp", i, e);
  457. break;
  458. case Odbgloc:
  459. emitdbgloc(i->arg[0].val, i->arg[1].val, e->f);
  460. break;
  461. }
  462. }
  463. static void
  464. framelayout(E *e)
  465. {
  466. int *r;
  467. uint o;
  468. uint64_t f;
  469. for (o=0, r=arm64_rclob; *r>=0; r++)
  470. o += 1 & (e->fn->reg >> *r);
  471. f = e->fn->slot;
  472. f = (f + 3) & -4;
  473. o += o & 1;
  474. e->padding = 4*(f-e->fn->slot);
  475. e->frame = 4*f + 8*o;
  476. }
  477. /*
  478. Stack-frame layout:
  479. +=============+
  480. | varargs |
  481. | save area |
  482. +-------------+
  483. | callee-save | ^
  484. | registers | |
  485. +-------------+ |
  486. | ... | |
  487. | spill slots | |
  488. | ... | | e->frame
  489. +-------------+ |
  490. | ... | |
  491. | locals | |
  492. | ... | |
  493. +-------------+ |
  494. | e->padding | v
  495. +-------------+
  496. | saved x29 |
  497. | saved x30 |
  498. +=============+ <- x29
  499. */
  500. void
  501. arm64_emitfn(Fn *fn, FILE *out)
  502. {
  503. static char *ctoa[] = {
  504. #define X(c, s) [c] = s,
  505. CMP(X)
  506. #undef X
  507. };
  508. static int id0;
  509. int s, n, c, lbl, *r;
  510. uint64_t o;
  511. Blk *b, *t;
  512. Ins *i;
  513. E *e;
  514. e = &(E){.f = out, .fn = fn};
  515. if (T.apple)
  516. e->fn->lnk.align = 4;
  517. emitfnlnk(e->fn->name, &e->fn->lnk, e->f);
  518. fputs("\thint\t#34\n", e->f);
  519. framelayout(e);
  520. if (e->fn->vararg && !T.apple) {
  521. for (n=7; n>=0; n--)
  522. fprintf(e->f, "\tstr\tq%d, [sp, -16]!\n", n);
  523. for (n=7; n>=0; n-=2)
  524. fprintf(e->f, "\tstp\tx%d, x%d, [sp, -16]!\n", n-1, n);
  525. }
  526. if (e->frame + 16 <= 512)
  527. fprintf(e->f,
  528. "\tstp\tx29, x30, [sp, -%"PRIu64"]!\n",
  529. e->frame + 16
  530. );
  531. else if (e->frame <= 4095)
  532. fprintf(e->f,
  533. "\tsub\tsp, sp, #%"PRIu64"\n"
  534. "\tstp\tx29, x30, [sp, -16]!\n",
  535. e->frame
  536. );
  537. else if (e->frame <= 65535)
  538. fprintf(e->f,
  539. "\tmov\tx16, #%"PRIu64"\n"
  540. "\tsub\tsp, sp, x16\n"
  541. "\tstp\tx29, x30, [sp, -16]!\n",
  542. e->frame
  543. );
  544. else
  545. fprintf(e->f,
  546. "\tmov\tx16, #%"PRIu64"\n"
  547. "\tmovk\tx16, #%"PRIu64", lsl #16\n"
  548. "\tsub\tsp, sp, x16\n"
  549. "\tstp\tx29, x30, [sp, -16]!\n",
  550. e->frame & 0xFFFF, e->frame >> 16
  551. );
  552. fputs("\tmov\tx29, sp\n", e->f);
  553. s = (e->frame - e->padding) / 4;
  554. for (r=arm64_rclob; *r>=0; r++)
  555. if (e->fn->reg & BIT(*r)) {
  556. s -= 2;
  557. i = &(Ins){.arg = {TMP(*r), SLOT(s)}};
  558. i->op = *r >= V0 ? Ostored : Ostorel;
  559. emitins(i, e);
  560. }
  561. for (lbl=0, b=e->fn->start; b; b=b->link) {
  562. if (lbl || b->npred > 1)
  563. fprintf(e->f, "%s%d:\n", T.asloc, id0+b->id);
  564. for (i=b->ins; i!=&b->ins[b->nins]; i++)
  565. emitins(i, e);
  566. lbl = 1;
  567. switch (b->jmp.type) {
  568. case Jhlt:
  569. fprintf(e->f, "\tbrk\t#1000\n");
  570. break;
  571. case Jret0:
  572. s = (e->frame - e->padding) / 4;
  573. for (r=arm64_rclob; *r>=0; r++)
  574. if (e->fn->reg & BIT(*r)) {
  575. s -= 2;
  576. i = &(Ins){Oload, 0, TMP(*r), {SLOT(s)}};
  577. i->cls = *r >= V0 ? Kd : Kl;
  578. emitins(i, e);
  579. }
  580. if (e->fn->dynalloc)
  581. fputs("\tmov sp, x29\n", e->f);
  582. o = e->frame + 16;
  583. if (e->fn->vararg && !T.apple)
  584. o += 192;
  585. if (o <= 504)
  586. fprintf(e->f,
  587. "\tldp\tx29, x30, [sp], %"PRIu64"\n",
  588. o
  589. );
  590. else if (o - 16 <= 4095)
  591. fprintf(e->f,
  592. "\tldp\tx29, x30, [sp], 16\n"
  593. "\tadd\tsp, sp, #%"PRIu64"\n",
  594. o - 16
  595. );
  596. else if (o - 16 <= 65535)
  597. fprintf(e->f,
  598. "\tldp\tx29, x30, [sp], 16\n"
  599. "\tmov\tx16, #%"PRIu64"\n"
  600. "\tadd\tsp, sp, x16\n",
  601. o - 16
  602. );
  603. else
  604. fprintf(e->f,
  605. "\tldp\tx29, x30, [sp], 16\n"
  606. "\tmov\tx16, #%"PRIu64"\n"
  607. "\tmovk\tx16, #%"PRIu64", lsl #16\n"
  608. "\tadd\tsp, sp, x16\n",
  609. (o - 16) & 0xFFFF, (o - 16) >> 16
  610. );
  611. fprintf(e->f, "\tret\n");
  612. break;
  613. case Jjmp:
  614. Jmp:
  615. if (b->s1 != b->link)
  616. fprintf(e->f,
  617. "\tb\t%s%d\n",
  618. T.asloc, id0+b->s1->id
  619. );
  620. else
  621. lbl = 0;
  622. break;
  623. default:
  624. c = b->jmp.type - Jjf;
  625. if (c < 0 || c > NCmp)
  626. die("unhandled jump %d", b->jmp.type);
  627. if (b->link == b->s2) {
  628. t = b->s1;
  629. b->s1 = b->s2;
  630. b->s2 = t;
  631. } else
  632. c = cmpneg(c);
  633. fprintf(e->f,
  634. "\tb%s\t%s%d\n",
  635. ctoa[c], T.asloc, id0+b->s2->id
  636. );
  637. goto Jmp;
  638. }
  639. }
  640. id0 += e->fn->nblk;
  641. if (!T.apple)
  642. elf_emitfnfin(fn->name, out);
  643. }