changelog shortlog tags branches changeset files revisions annotate raw help

Mercurial > hg > plan9front / sys/src/cmd/7l/asm.c

changeset 0: eaccc3e8d226
author: Taru Karttunen <taruti@taruti.net>
date: Wed, 30 Mar 2011 15:46:40 +0300
permissions: -rwxr-xr-x
description: Import sources from 2011-03-30 iso image
1 #include "l.h"
2 
3 #define LPUT(c)\
4  {\
5  cbp[0] = (c);\
6  cbp[1] = (c)>>8;\
7  cbp[2] = (c)>>16;\
8  cbp[3] = (c)>>24;\
9  cbp += 4;\
10  cbc -= 4;\
11  if(cbc <= 0)\
12  cflush();\
13  }
14 
15 #define CPUT(c)\
16  {\
17  cbp[0] = (c);\
18  cbp++;\
19  cbc--;\
20  if(cbc <= 0)\
21  cflush();\
22  }
23 
24 #define VLPUT(c)\
25  {\
26  cbp[0] = (c);\
27  cbp[1] = (c)>>8;\
28  cbp[2] = (c)>>16;\
29  cbp[3] = (c)>>24;\
30  cbp[4] = (c)>>32;\
31  cbp[5] = (c)>>40;\
32  cbp[6] = (c)>>48;\
33  cbp[7] = (c)>>56;\
34  cbp += 8;\
35  cbc -= 8;\
36  if(cbc <= 0)\
37  cflush();\
38  }
39 #define LPUTBE(c)\
40  {\
41  cbp[0] = (c)>>24;\
42  cbp[1] = (c)>>16;\
43  cbp[2] = (c)>>8;\
44  cbp[3] = (c);\
45  cbp += 4;\
46  cbc -= 4;\
47  if(cbc <= 0)\
48  cflush();\
49  }
50 
51 long
52 entryvalue(void)
53 {
54  char *a;
55  Sym *s;
56 
57  a = INITENTRY;
58  if(*a >= '0' && *a <= '9')
59  return atolwhex(a);
60  s = lookup(a, 0);
61  if(s->type == 0)
62  return INITTEXT;
63  if(s->type != STEXT && s->type != SLEAF)
64  diag("entry not text: %s", s->name);
65  return s->value;
66 }
67 
68 void
69 asmb(void)
70 {
71  Prog *p;
72  vlong t;
73  Optab *o;
74 
75  if(debug['v'])
76  Bprint(&bso, "%5.2f asm\n", cputime());
77  Bflush(&bso);
78  seek(cout, HEADR, 0);
79  pc = INITTEXT;
80  for(p = firstp; p != P; p = p->link) {
81  if(p->as == ATEXT) {
82  curtext = p;
83  autosize = p->to.offset + 8;
84  }
85  if(p->pc != pc) {
86  diag("phase error %lux sb %lux",
87  p->pc, pc);
88  if(!debug['a'])
89  prasm(curp);
90  pc = p->pc;
91  }
92  if (p->as == AMOVQ || p->as == AMOVT) {
93  if ((p->from.reg == REGSP) && (p->from.offset&7) != 0
94  || (p->to.reg == REGSP) && (p->to.offset&7) != 0)
95  diag("bad stack alignment: %P", p);
96  if ((p->from.reg == REGSB) && (p->from.offset&7) != 0
97  || (p->to.reg == REGSB) && (p->to.offset&7) != 0)
98  diag("bad global alignment: %P", p);
99  }
100  curp = p;
101  o = oplook(p); /* could probably avoid this call */
102  if(asmout(p, o)) {
103  p = p->link;
104  pc += 4;
105  }
106  pc += o->size;
107  }
108  if(debug['a'])
109  Bprint(&bso, "\n");
110  Bflush(&bso);
111  cflush();
112 
113  curtext = P;
114  switch(HEADTYPE) {
115  case 0:
116  seek(cout, rnd(HEADR+textsize, 8192), 0);
117  break;
118  case 1:
119  case 2:
120  case 3:
121  seek(cout, HEADR+textsize, 0);
122  break;
123  }
124  for(t = 0; t < datsize; t += sizeof(buf)-100) {
125  if(datsize-t > sizeof(buf)-100)
126  datblk(t, sizeof(buf)-100);
127  else
128  datblk(t, datsize-t);
129  }
130 
131  symsize = 0;
132  lcsize = 0;
133  if(!debug['s']) {
134  if(debug['v'])
135  Bprint(&bso, "%5.2f sym\n", cputime());
136  Bflush(&bso);
137  switch(HEADTYPE) {
138  case 0:
139  seek(cout, rnd(HEADR+textsize, 8192)+datsize, 0);
140  break;
141  case 2:
142  case 1:
143  case 3:
144  seek(cout, HEADR+textsize+datsize, 0);
145  break;
146  }
147  if(!debug['s'])
148  asmsym();
149  if(debug['v'])
150  Bprint(&bso, "%5.2f pc\n", cputime());
151  Bflush(&bso);
152  if(!debug['s'])
153  asmlc();
154  cflush();
155  }
156 
157  if(debug['v'])
158  Bprint(&bso, "%5.2f header\n", cputime());
159  Bflush(&bso);
160  seek(cout, 0L, 0);
161  switch(HEADTYPE) {
162  case 0:
163  lput(0x0183L); /* magic and sections */
164  lput(0L); /* time and date */
165  vlput(rnd(HEADR+textsize, 8192)+datsize);
166  lput(symsize); /* nsyms */
167  lput(0x50L|(7L<<16)); /* size of optional hdr and flags */
168  lput(0413|(0x101L<<16)); /* magic and version */
169  lput(-1); /* pad for alignment */
170 
171  vlput(rnd(HEADR+textsize, 8192)); /* sizes */
172  vlput(datsize);
173  vlput(bsssize);
174  vlput(entryvalue()); /* va of entry */
175  vlput(INITTEXT-HEADR); /* va of base of text */
176  vlput(INITDAT); /* va of base of data */
177  vlput(INITDAT+datsize); /* va of base of bss */
178  lput(~0L); /* gp reg mask */
179  /* dubious stuff starts here */
180  lput(0L);
181  lput(0L);
182  lput(0L);
183  lput(0L);
184  lput(~0L); /* gp value ?? */
185  break;
186  case 1:
187  lput(0x0183L); /* magic and sections */
188  lput(0L); /* time and date */
189  vlput(HEADR+textsize+datsize);
190  lput(symsize); /* nsyms */
191  lput(0x54L|(7L<<16)); /* size of optional hdr and flags */
192  lput(0407|(0x101L<<16)); /* magic and version */
193  lput(-1); /* pad for alignment */
194 
195  vlput(textsize); /* sizes */
196  vlput(datsize);
197  vlput(bsssize);
198  vlput(entryvalue()); /* va of entry */
199  vlput(INITTEXT); /* va of base of text */
200  vlput(INITDAT); /* va of base of data */
201  vlput(INITDAT+datsize); /* va of base of bss */
202  lput(~0L); /* gp reg mask */
203  /* dubious stuff starts here */
204  lput(lcsize);
205  lput(0L);
206  lput(0L);
207  lput(0L);
208  lput(~0L); /* gp value ?? */
209  lput(0L); /* complete mystery */
210  break;
211  case 2:
212  lputbe(0x84b); /* magic */
213  lputbe(textsize); /* sizes */
214  lputbe(datsize);
215  lputbe(bsssize);
216  lputbe(symsize); /* nsyms */
217  lputbe(entryvalue()); /* va of entry */
218  lputbe(0L);
219  lputbe(lcsize);
220  break;
221  case 3:
222  /* ``headerless'' boot image -- magic no is a branch */
223  lput(0xc3e00007); /* magic (branch) */
224  lputbe(textsize); /* sizes */
225  lputbe(datsize);
226  lputbe(bsssize);
227  lputbe(symsize); /* nsyms */
228  lputbe(entryvalue()); /* va of entry */
229  lputbe(0L);
230  lputbe(lcsize);
231  break;
232  }
233  cflush();
234 }
235 
236 void
237 lput(long l)
238 {
239  LPUT(l);
240 }
241 
242 void
243 lputbe(long l)
244 {
245  LPUTBE(l);
246 }
247 
248 void
249 vlput(vlong l)
250 {
251  VLPUT(l);
252 }
253 
254 void
255 cflush(void)
256 {
257  int n;
258 
259  n = sizeof(buf.cbuf) - cbc;
260  if(n)
261  write(cout, buf.cbuf, n);
262  cbp = buf.cbuf;
263  cbc = sizeof(buf.cbuf);
264 }
265 
266 void
267 asmsym(void)
268 {
269  Prog *p;
270  Auto *a;
271  Sym *s;
272  int h;
273 
274  s = lookup("etext", 0);
275  if(s->type == STEXT)
276  putsymb(s->name, 'T', s->value, s->version);
277 
278  for(h=0; h<NHASH; h++)
279  for(s=hash[h]; s!=S; s=s->link)
280  switch(s->type) {
281  case SCONST:
282  putsymb(s->name, 'D', s->value, s->version);
283  continue;
284 
285  case SDATA:
286  putsymb(s->name, 'D', s->value+INITDAT, s->version);
287  continue;
288 
289  case SBSS:
290  putsymb(s->name, 'B', s->value+INITDAT, s->version);
291  continue;
292 
293  case SFILE:
294  putsymb(s->name, 'f', s->value, s->version);
295  continue;
296  }
297 
298  for(p=textp; p!=P; p=p->cond) {
299  s = p->from.sym;
300  if(s->type != STEXT && s->type != SLEAF)
301  continue;
302 
303  /* filenames first */
304  for(a=p->to.autom; a; a=a->link)
305  if(a->type == D_FILE)
306  putsymb(a->sym->name, 'z', a->offset, 0);
307  else
308  if(a->type == D_FILE1)
309  putsymb(a->sym->name, 'Z', a->offset, 0);
310 
311  if(s->type == STEXT)
312  putsymb(s->name, 'T', s->value, s->version);
313  else
314  putsymb(s->name, 'L', s->value, s->version);
315 
316  /* frame, auto and param after */
317  putsymb(".frame", 'm', p->to.offset+8, 0);
318  for(a=p->to.autom; a; a=a->link)
319  if(a->type == D_AUTO)
320  putsymb(a->sym->name, 'a', -a->offset, 0);
321  else
322  if(a->type == D_PARAM)
323  putsymb(a->sym->name, 'p', a->offset, 0);
324  }
325  if(debug['v'] || debug['n'])
326  Bprint(&bso, "symsize = %lud\n", symsize);
327  Bflush(&bso);
328 }
329 
330 void
331 putsymb(char *s, int t, long v, int ver)
332 {
333  int i, f;
334 
335  if(t == 'f')
336  s++;
337  LPUTBE(v);
338  if(ver)
339  t += 'a' - 'A';
340  CPUT(t+0x80); /* 0x80 is variable length */
341 
342  if(t == 'Z' || t == 'z') {
343  CPUT(s[0]);
344  for(i=1; s[i] != 0 || s[i+1] != 0; i += 2) {
345  CPUT(s[i]);
346  CPUT(s[i+1]);
347  }
348  CPUT(0);
349  CPUT(0);
350  i++;
351  }
352  else {
353  for(i=0; s[i]; i++)
354  CPUT(s[i]);
355  CPUT(0);
356  }
357  symsize += 4 + 1 + i + 1;
358 
359  if(debug['n']) {
360  if(t == 'z' || t == 'Z') {
361  Bprint(&bso, "%c %.8lux ", t, v);
362  for(i=1; s[i] != 0 || s[i+1] != 0; i+=2) {
363  f = ((s[i]&0xff) << 8) | (s[i+1]&0xff);
364  Bprint(&bso, "/%x", f);
365  }
366  Bprint(&bso, "\n");
367  return;
368  }
369  if(ver)
370  Bprint(&bso, "%c %.8lux %s<%d>\n", t, v, s, ver);
371  else
372  Bprint(&bso, "%c %.8lux %s\n", t, v, s);
373  }
374 }
375 
376 #define MINLC 4
377 void
378 asmlc(void)
379 {
380  long oldpc, oldlc;
381  Prog *p;
382  long v, s;
383 
384  oldpc = INITTEXT;
385  oldlc = 0;
386  for(p = firstp; p != P; p = p->link) {
387  if(p->line == oldlc || p->as == ATEXT || p->as == ANOP) {
388  if(p->as == ATEXT)
389  curtext = p;
390  if(debug['L'])
391  Bprint(&bso, "%6lux %P\n",
392  p->pc, p);
393  continue;
394  }
395  if(debug['L'])
396  Bprint(&bso, "\t\t%6ld", lcsize);
397  v = (p->pc - oldpc) / MINLC;
398  while(v) {
399  s = 127;
400  if(v < 127)
401  s = v;
402  CPUT(s+128); /* 129-255 +pc */
403  if(debug['L'])
404  Bprint(&bso, " pc+%ld*%d(%ld)", s, MINLC, s+128);
405  v -= s;
406  lcsize++;
407  }
408  s = p->line - oldlc;
409  oldlc = p->line;
410  oldpc = p->pc + MINLC;
411  if(s > 64 || s < -64) {
412  CPUT(0); /* 0 vv +lc */
413  CPUT(s>>24);
414  CPUT(s>>16);
415  CPUT(s>>8);
416  CPUT(s);
417  if(debug['L']) {
418  if(s > 0)
419  Bprint(&bso, " lc+%ld(%d,%ld)\n",
420  s, 0, s);
421  else
422  Bprint(&bso, " lc%ld(%d,%ld)\n",
423  s, 0, s);
424  Bprint(&bso, "%6lux %P\n",
425  p->pc, p);
426  }
427  lcsize += 5;
428  continue;
429  }
430  if(s > 0) {
431  CPUT(0+s); /* 1-64 +lc */
432  if(debug['L']) {
433  Bprint(&bso, " lc+%ld(%ld)\n", s, 0+s);
434  Bprint(&bso, "%6lux %P\n",
435  p->pc, p);
436  }
437  } else {
438  CPUT(64-s); /* 65-128 -lc */
439  if(debug['L']) {
440  Bprint(&bso, " lc%ld(%ld)\n", s, 64-s);
441  Bprint(&bso, "%6lux %P\n",
442  p->pc, p);
443  }
444  }
445  lcsize++;
446  }
447  while(lcsize & 1) {
448  s = 129;
449  CPUT(s);
450  lcsize++;
451  }
452  if(debug['v'] || debug['L'])
453  Bprint(&bso, "lcsize = %ld\n", lcsize);
454  Bflush(&bso);
455 }
456 
457 void
458 datblk(long s, long n)
459 {
460  Prog *p;
461  char *cast;
462  long l, fl, j, d;
463  int i, c;
464 
465  memset(buf.dbuf, 0, n+100);
466  for(p = datap; p != P; p = p->link) {
467  curp = p;
468  l = p->from.sym->value + p->from.offset - s;
469  c = p->reg;
470  i = 0;
471  if(l < 0) {
472  if(l+c <= 0)
473  continue;
474  while(l < 0) {
475  l++;
476  i++;
477  }
478  }
479  if(l >= n)
480  continue;
481  if(p->as != AINIT && p->as != ADYNT) {
482  for(j=l+(c-i)-1; j>=l; j--)
483  if(buf.dbuf[j]) {
484  print("%P\n", p);
485  diag("multiple initialization");
486  break;
487  }
488  }
489  switch(p->to.type) {
490  default:
491  diag("unknown mode in initialization\n%P", p);
492  break;
493 
494  case D_FCONST:
495  switch(c) {
496  default:
497  case 4:
498  fl = ieeedtof(p->to.ieee);
499  cast = (char*)&fl;
500  for(; i<c; i++) {
501  buf.dbuf[l] = cast[fnuxi8[i]];
502  l++;
503  }
504  break;
505  case 8:
506  cast = (char*)p->to.ieee;
507  for(; i<c; i++) {
508  buf.dbuf[l] = cast[fnuxi8[i]];
509  l++;
510  }
511  break;
512  }
513  break;
514 
515  case D_SCONST:
516  for(; i<c; i++) {
517  buf.dbuf[l] = p->to.sval[i];
518  l++;
519  }
520  break;
521 
522  case D_CONST:
523  d = p->to.offset;
524  if(p->to.sym) {
525  if(p->to.sym->type == STEXT ||
526  p->to.sym->type == SLEAF)
527  d += p->to.sym->value;
528  if(p->to.sym->type == SDATA)
529  d += p->to.sym->value + INITDAT;
530  if(p->to.sym->type == SBSS)
531  d += p->to.sym->value + INITDAT;
532  }
533  cast = (char*)&d;
534  switch(c) {
535  default:
536  diag("bad nuxi %d %d\n%P", c, i, curp);
537  break;
538  case 1:
539  for(; i<c; i++) {
540  buf.dbuf[l] = cast[inuxi1[i]];
541  l++;
542  }
543  break;
544  case 2:
545  for(; i<c; i++) {
546  buf.dbuf[l] = cast[inuxi2[i]];
547  l++;
548  }
549  break;
550  case 4:
551  for(; i<c; i++) {
552  buf.dbuf[l] = cast[inuxi4[i]];
553  l++;
554  }
555  break;
556  case 8:
557  for(; i<4; i++) {
558  buf.dbuf[l] = cast[inuxi4[i]];
559  l++;
560  }
561  d = p->to.offset >> 32;
562  for(; i<c; i++) {
563  buf.dbuf[l] = cast[inuxi4[i-4]];
564  l++;
565  }
566  break;
567  }
568  break;
569  }
570  }
571  write(cout, buf.dbuf, n);
572 }
573 
574 #define OP_RRR(op,r1,r2,r3)\
575  (op|(((r1)&31L)<<16)|(((r2)&31L)<<21)|((r3)&31L))
576 #define OP_IRR(op,i,r2,r3)\
577  (op|(((i)&255L)<<13)|0x1000|(((r2)&31L)<<21)|((r3)&31L))
578 #define OP_MEM(op,d,r1,r2)\
579  (op|(((r1)&31L)<<16)|(((r2)&31L)<<21)|((d)&0xffff))
580 #define OP_BR(op,d,r1)\
581  (op|((d)&0x1fffff)|(((r1)&31L)<<21))
582 
583 int
584 asmout(Prog *p, Optab *o)
585 {
586  long o1, o2, o3, o4, o5, o6;
587  vlong v;
588  int r, a;
589 
590  o1 = 0;
591  o2 = 0;
592  o3 = 0;
593  o4 = 0;
594  o5 = 0;
595  o6 = 0;
596  switch(o->type) {
597  default:
598  diag("unknown type %d", o->type);
599  if(!debug['a'])
600  prasm(p);
601  break;
602 
603  case 0: /* pseudo ops */
604  break;
605 
606  case 1: /* register-register moves */
607  if(p->as == AMOVB || p->as == AMOVW) /* noop should rewrite */
608  diag("forbidden SEX: %P", p);
609  if(p->as == AMOVBU || p->as == AMOVWU) {
610  v = 1;
611  if (p->as == AMOVWU)
612  v = 3;
613  o1 = OP_IRR(opcode(AZAPNOT), v, p->from.reg, p->to.reg);
614  }
615  else {
616  a = AOR;
617  if(p->as == AMOVL)
618  a = AADDL;
619  if(p->as == AMOVLU)
620  a = AEXTLL;
621  o1 = OP_RRR(opcode(a), REGZERO, p->from.reg, p->to.reg);
622  }
623  break;
624 
625  case 2: /* <operate> r1,[r2],r3 */
626  r = p->reg;
627  if(r == NREG)
628  r = p->to.reg;
629  o1 = OP_RRR(opcode(p->as), p->from.reg, r, p->to.reg);
630  break;
631 
632  case 3: /* <operate> $n,[r2],r3 */
633  v = regoff(&p->from);
634  r = p->reg;
635  if(r == NREG)
636  r = p->to.reg;
637  o1 = OP_IRR(opcode(p->as), v, r, p->to.reg);
638  break;
639 
640  case 4: /* beq r1,sbra */
641  if(p->cond == P)
642  v = -4 >> 2;
643  else
644  v = (p->cond->pc - pc-4) >> 2;
645  o1 = OP_BR(opcode(p->as), v, p->from.reg);
646  break;
647 
648  case 5: /* jmp [r1],0(r2) */
649  r = p->reg;
650  a = p->as;
651  if(r == NREG) {
652  r = o->param;
653 /* if(a == AJMP && p->to.reg == REGLINK)
654  a = ARET; /* this breaks the kernel -- maybe we need to clear prediction stack on each context switch... */
655  }
656  o1 = OP_MEM(opcode(a), 0, p->to.reg, r);
657  break;
658 
659  case 6: /* movq $n,r1 and movq $soreg,r1 */
660  r = p->from.reg;
661  if(r == NREG)
662  r = o->param;
663  v = regoff(&p->from);
664  o1 = OP_MEM(opcode(AMOVA), v, r, p->to.reg);
665  break;
666 
667  case 7: /* movbu r1, r2 */
668  v = 1;
669  if (p->as == AMOVWU)
670  v = 3;
671  o1 = OP_IRR(opcode(AZAPNOT), v, p->from.reg, p->to.reg);
672  break;
673 
674  case 8: /* mov r, soreg ==> stq o(r) */
675  r = p->to.reg;
676  if(r == NREG)
677  r = o->param;
678  v = regoff(&p->to);
679  if (p->as == AMOVQ || p->as == AMOVT)
680  if ((r == REGSP || r == REGSB) && (v&7) != 0)
681  diag("bad alignment: %P", p);
682  o1 = OP_MEM(opcode(p->as+AEND), v, r, p->from.reg);
683  break;
684 
685  case 9: /* mov soreg, r ==> ldq o(r) */
686  r = p->from.reg;
687  if(r == NREG)
688  r = o->param;
689  v = regoff(&p->from);
690  if (p->as == AMOVQ || p->as == AMOVT)
691  if ((r == REGSP || r == REGSB) && (v&7) != 0)
692  diag("bad alignment: %P", p);
693  o1 = OP_MEM(opcode(p->as), v, r, p->to.reg);
694  break;
695 
696  case 10: /* movb r1,r2 */
697  v = 64 - 8;
698  if (p->as == AMOVW)
699  v = 64 - 16;
700  o1 = OP_IRR(opcode(ASLLQ), v, p->from.reg, p->to.reg);
701  o2 = OP_IRR(opcode(ASRAQ), v, p->to.reg, p->to.reg);
702  break;
703 
704  case 11: /* jmp lbra */
705  if(p->cond == P)
706  v = -4 >> 2;
707  else
708  v = (p->cond->pc - pc-4) >> 2;
709  a = ABR;
710  r = REGZERO;
711  if (p->as == AJSR) {
712  a = ABSR;
713  r = REGLINK;
714  }
715  o1 = OP_BR(opcode(a), v, r);
716  break;
717 
718  case 12: /* addq $n,[r2],r3 ==> lda */
719  v = regoff(&p->from);
720  if (p->as == ASUBQ)
721  v = -v;
722  r = p->reg;
723  if(r == NREG)
724  r = p->to.reg;
725  o1 = OP_MEM(opcode(AMOVA), v, r, p->to.reg);
726  break;
727 
728  case 13: /* <op> $scon,[r2],r3 */
729  v = regoff(&p->from);
730  if(p->to.reg == REGTMP || p->reg == REGTMP)
731  diag("cant synthesize large constant\n%P", p);
732  r = p->reg;
733  if(r == NREG)
734  r = p->to.reg;
735  o1 = OP_MEM(opcode(AMOVA), v, REGZERO, REGTMP);
736  o2 = OP_RRR(opcode(p->as), REGTMP, r, p->to.reg);
737  break;
738 
739  case 14: /* <op> $lcon,[r2],r3 */
740  v = regoff(&p->from);
741  if(v & 0x8000)
742  v += 0x10000;
743  if(p->to.reg == REGTMP || p->reg == REGTMP)
744  diag("cant synthesize large constant\n%P", p);
745  r = p->reg;
746  if(r == NREG)
747  r = p->to.reg;
748  o1 = OP_MEM(opcode(AMOVA), v, REGZERO, REGTMP);
749  o2 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
750  o3 = OP_RRR(opcode(p->as), REGTMP, r, p->to.reg);
751  break;
752 
753  case 15: /* mov $lcon,r1 */
754  v = regoff(&p->from);
755  if(v & 0x8000)
756  v += 0x10000;
757  o1 = OP_MEM(opcode(AMOVA), v, o->param, REGTMP);
758  o2 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, p->to.reg);
759  break;
760 
761  case 16: /* mov $qcon,r1 */
762  v = regoff(&p->from);
763  if(v & 0x8000)
764  v += 0x10000;
765  if((v>>31)&1)
766  v += (1LL<<32);
767  if((v>>47)&1)
768  v += (1LL<<48);
769  o1 = OP_MEM(opcode(AMOVA), v>>32, o->param, REGTMP);
770  o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
771  o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
772  o4 = OP_MEM(opcode(AMOVA), v, REGTMP, REGTMP);
773  o5 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, p->to.reg);
774  break;
775 
776  case 17: /* mov f1,f2 ==> fcpys f1,f1,f2 */
777  o1 = OP_RRR(opcode(ACPYS), p->from.reg, p->from.reg, p->to.reg);
778  break;
779 
780  case 18: /* call_pal imm */
781  v = regoff(&p->from);
782  o1 = OP_MEM(opcode(ACALL_PAL), v, 0, 0);
783  break;
784 
785  case 19: /* mov r, loreg ==> ldah,stq */
786  r = p->to.reg;
787  if(r == NREG)
788  r = o->param;
789  v = regoff(&p->to);
790  if (p->as == AMOVQ || p->as == AMOVT)
791  if ((r == REGSP || r == REGSB) && (v&7) != 0)
792  diag("bad alignment: %P", p);
793  if(v & 0x8000)
794  v += 0x10000;
795  o1 = OP_MEM(opcode(AMOVAH), v>>16, r, REGTMP);
796  o2 = OP_MEM(opcode(p->as+AEND), v, REGTMP, p->from.reg);
797  break;
798 
799  case 20: /* mov loreg, r ==> ldah,ldq */
800  r = p->from.reg;
801  if(r == NREG)
802  r = o->param;
803  v = regoff(&p->from);
804  if (p->as == AMOVQ || p->as == AMOVT)
805  if ((r == REGSP || r == REGSB) && (v&7) != 0)
806  diag("bad alignment: %P", p);
807  if(v & 0x8000)
808  v += 0x10000;
809  o1 = OP_MEM(opcode(AMOVAH), v>>16, r, REGTMP);
810  o2 = OP_MEM(opcode(p->as), v, REGTMP, p->to.reg);
811  break;
812 
813 #ifdef NEVER
814  case 21: /* mov r1,$qoreg */
815  r = p->to.reg;
816  if(r == NREG)
817  r = o->param;
818  v = regoff(&p->to);
819  if(v & 0x8000)
820  v += 0x10000;
821  if((v>>31)&1)
822  v += (1LL<<32);
823  if((v>>47)&1)
824  v += (1LL<<48);
825  o1 = OP_MEM(opcode(AMOVA), v>>32, r, REGTMP);
826  o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
827  o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
828  o4 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
829  o5 = OP_MEM(opcode(p->as+AEND), v, REGTMP, p->from.reg);
830  break;
831 
832  case 22: /* mov $qoreg,r1 */
833  r = p->from.reg;
834  if(r == NREG)
835  r = o->param;
836  v = regoff(&p->from);
837  if(v & 0x8000)
838  v += 0x10000;
839  if((v>>31)&1)
840  v += (1LL<<32);
841  if((v>>47)&1)
842  v += (1LL<<48);
843  o1 = OP_MEM(opcode(AMOVA), v>>32, r, REGTMP);
844  o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
845  o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
846  o4 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
847  o5 = OP_MEM(opcode(p->as), v, REGTMP, p->to.reg);
848  break;
849 #endif
850 
851  case 23: /* <op> $qcon,r1 */
852  if(p->to.reg == REGTMP || p->reg == REGTMP)
853  diag("cant synthesize large constant\n%P", p);
854  v = regoff(&p->from);
855  r = p->reg;
856  if(r == NREG)
857  r = p->to.reg;
858  if(v & 0x8000)
859  v += 0x10000;
860  if((v>>31)&1)
861  v += (1LL<<32);
862  if((v>>47)&1)
863  v += (1LL<<48);
864  o1 = OP_MEM(opcode(AMOVA), v>>32, REGZERO, REGTMP);
865  o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
866  o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
867  o4 = OP_MEM(opcode(AMOVA), v, REGTMP, REGTMP);
868  o5 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
869  o6 = OP_RRR(opcode(p->as), REGTMP, r, p->to.reg);
870  break;
871 
872  case 24: /* movq Fn, FPCR */
873  r = p->from.reg;
874  o1 = OP_RRR(opcode(AADDT+AEND), r, r, r);
875  break;
876 
877  case 25: /* movq FPCR, Fn */
878  r = p->to.reg;
879  o1 = OP_RRR(opcode(AADDS+AEND), r, r, r);
880  break;
881 
882  case 26: /* movq Rn, C_PREG */
883  r = p->from.reg;
884  o1 = OP_RRR(opcode(ASUBQ+AEND), r, r, 0) | p->to.reg & 255;
885  break;
886 
887  case 27: /* movq C_PREG, Rn */
888  r = p->to.reg;
889  o1 = OP_RRR(opcode(AADDQ+AEND), r, r, 0) | p->from.reg & 255;
890  break;
891 
892  case 28: /* cvttq r1,r3 */
893  r = p->from.reg;
894  o1 = OP_RRR(opcode(p->as), r, REGZERO, p->to.reg);
895  break;
896 
897  case 29: /* movq pcc, rpcc -> Rn */
898  o1 = OP_MEM(opcode(ARPCC), 0, REGZERO, p->to.reg);
899  break;
900 
901  case 30: /* rei/mb/trapb */
902  o1 = OP_MEM(opcode(p->as), 0, REGZERO, REGZERO);
903  break;
904 
905  case 31: /* fetch (Rn) */
906  o1 = OP_MEM(opcode(p->as), 0, REGZERO, p->from.reg);
907  break;
908 
909  case 32: /* movqp r, soreg ==> stqp o(r) */
910  r = p->to.reg;
911  if(r == NREG)
912  r = o->param;
913  v = regoff(&p->to);
914  if (v < -0x800 || v >= 0x800)
915  diag("physical store out of range\n%P", p);
916  v &= 0xfff;
917  o1 = OP_MEM(opcode(p->as+AEND), v, r, p->from.reg);
918  break;
919 
920  case 33: /* movqp soreg, r ==> ldqp o(r) */
921  r = p->from.reg;
922  if(r == NREG)
923  r = o->param;
924  v = regoff(&p->from);
925  if (v < -0x800 || v >= 0x800)
926  diag("physical load out of range\n%P", p);
927  v &= 0xfff;
928  o1 = OP_MEM(opcode(p->as), v, r, p->to.reg);
929  break;
930 
931  case 34: /* <operate> $-n,[r2],r3 */
932  v = regoff(&p->from);
933  r = p->reg;
934  if(r == NREG)
935  r = p->to.reg;
936  switch (a = p->as) {
937  case AAND:
938  a = AANDNOT;
939  break;
940  case AANDNOT:
941  a = AAND;
942  break;
943  case AOR:
944  a = AORNOT;
945  break;
946  case AORNOT:
947  a = AOR;
948  break;
949  case AXOR:
950  a = AXORNOT;
951  break;
952  case AXORNOT:
953  a = AXOR;
954  break;
955  default:
956  diag("bad in NCON case: %P", p);
957  }
958  v = ~v;
959  o1 = OP_IRR(opcode(a), v, r, p->to.reg);
960  break;
961 
962  case 40: /* word */
963  o1 = regoff(&p->to);
964  break;
965 
966  }
967  switch(o->size) {
968  default:
969  if(debug['a'])
970  Bprint(&bso, " %.8lux:\t\t%P\n", p->pc, p);
971  break;
972  case 4:
973  if(debug['a'])
974  Bprint(&bso, " %.8lux: %.8lux\t%P\n", p->pc, o1, p);
975  LPUT(o1);
976  break;
977  case 8:
978  if(debug['a'])
979  Bprint(&bso, " %.8lux: %.8lux %.8lux %P\n", p->pc, o1, o2, p);
980  LPUT(o1);
981  LPUT(o2);
982  break;
983  case 12:
984  if(debug['a'])
985  Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %P\n", p->pc, o1, o2, o3, p);
986  LPUT(o1);
987  LPUT(o2);
988  LPUT(o3);
989  break;
990  case 16:
991  if(debug['a'])
992  Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %P\n",
993  p->pc, o1, o2, o3, o4, p);
994  LPUT(o1);
995  LPUT(o2);
996  LPUT(o3);
997  LPUT(o4);
998  break;
999  case 20:
1000  if(debug['a'])
1001  Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux %P\n",
1002  p->pc, o1, o2, o3, o4, o5, p);
1003  LPUT(o1);
1004  LPUT(o2);
1005  LPUT(o3);
1006  LPUT(o4);
1007  LPUT(o5);
1008  break;
1009  case 24:
1010  if(debug['a'])
1011  Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux %.8lux %P\n",
1012  p->pc, o1, o2, o3, o4, o5, o6, p);
1013  LPUT(o1);
1014  LPUT(o2);
1015  LPUT(o3);
1016  LPUT(o4);
1017  LPUT(o5);
1018  LPUT(o6);
1019  break;
1020  }
1021  return 0;
1022 }
1023 
1024 #define OP(x,y) (((x)<<26)|((y)<<5))
1025 #define FP(x) OP(22, (x)|0xc0) /* note: this sets round/trap modes (dynamic, software?). not used for cvtxx? */
1026 #define FP2(x) OP(22, (x) /*|0x080*/) /* note: this sets round/trap modes (chopped, software?). used for cvtxx? */
1027 #define FP3(x) OP(22, (x)|0x080) /* note: this sets round/trap modes (dynamic, software?). not used for cvtxx? */
1028 
1029 long
1030 opcode(int a)
1031 {
1032  switch (a) {
1033  /* loads */
1034  case AMOVB: /* misnomer; pretend it's ok for now */
1035 diag("opcode(AMOVB)");
1036  case AMOVBU: return OP(10, 0); /* v 3 */
1037  case AMOVW: /* misnomer; pretend it's ok for now */
1038 diag("opcode(AMOVW)");
1039  case AMOVWU: return OP(12, 0); /* v 3 */
1040  case AMOVL: return OP(40, 0);
1041  case AMOVQ: return OP(41, 0);
1042  case AMOVQU: return OP(11, 0);
1043  case AMOVS: return OP(34, 0);
1044  case AMOVT: return OP(35, 0);
1045 
1046  /* stores */
1047  case AMOVB+AEND: /* misnomer; pretend it's ok for now */
1048  case AMOVBU+AEND: return OP(14, 0); /* v 3 */
1049  case AMOVW+AEND: /* misnomer; pretend it's ok for now */
1050  case AMOVWU+AEND: return OP(13, 0); /* v 3 */
1051  case AMOVL+AEND: return OP(44, 0);
1052  case AMOVQ+AEND: return OP(45, 0);
1053  case AMOVQU+AEND: return OP(15, 0);
1054  case AMOVS+AEND: return OP(38, 0);
1055  case AMOVT+AEND: return OP(39, 0);
1056 
1057  /* physical */
1058  case AMOVLP+AEND: return OP(31, 0)|0x8000;
1059  case AMOVQP+AEND: return OP(31, 0)|0x9000;
1060  case AMOVLP: return OP(27, 0)|0x8000;
1061  case AMOVQP: return OP(27, 0)|0x9000;
1062 
1063  /* load address */
1064  case AMOVA: return OP(8, 0);
1065  case AMOVAH: return OP(9, 0);
1066 
1067  /* locking */
1068  case AMOVLL: return OP(42, 0); /* load locked */
1069  case AMOVQL: return OP(43, 0); /* load locked */
1070  case AMOVLC+AEND: return OP(46, 0); /* store cond */
1071  case AMOVQC+AEND: return OP(47, 0); /* store cond */
1072 
1073  case AADDL: return OP(16, 0);
1074  case AADDLV: return OP(16, 64);
1075  case AADDQ: return OP(16, 32);
1076  case AADDQV: return OP(16, 96);
1077  case AS4ADDL: return OP(16, 2);
1078  case AS4ADDQ: return OP(16, 34);
1079  case AS8ADDL: return OP(16, 18);
1080  case AS8ADDQ: return OP(16, 50);
1081  case AS4SUBL: return OP(16, 11);
1082  case AS4SUBQ: return OP(16, 43);
1083  case AS8SUBL: return OP(16, 27);
1084  case AS8SUBQ: return OP(16, 59);
1085  case ASUBL: return OP(16, 9);
1086  case ASUBLV: return OP(16, 73);
1087  case ASUBQ: return OP(16, 41);
1088  case ASUBQV: return OP(16, 105);
1089  case ACMPEQ: return OP(16, 45);
1090  case ACMPGT: return OP(16, 77);
1091  case ACMPGE: return OP(16, 109);
1092  case ACMPUGT: return OP(16, 29);
1093  case ACMPUGE: return OP(16, 61);
1094  case ACMPBLE: return OP(16, 15);
1095 
1096  case AAND: return OP(17, 0);
1097  case AANDNOT: return OP(17, 8);
1098  case AOR: return OP(17, 32);
1099  case AORNOT: return OP(17, 40);
1100  case AXOR: return OP(17, 64);
1101  case AXORNOT: return OP(17, 72);
1102 
1103  case ACMOVEQ: return OP(17, 36);
1104  case ACMOVNE: return OP(17, 38);
1105  case ACMOVLT: return OP(17, 68);
1106  case ACMOVGE: return OP(17, 70);
1107  case ACMOVLE: return OP(17, 100);
1108  case ACMOVGT: return OP(17, 102);
1109  case ACMOVLBS: return OP(17, 20);
1110  case ACMOVLBC: return OP(17, 22);
1111 
1112  case AMULL: return OP(19, 0);
1113  case AMULQ: return OP(19, 32);
1114  case AMULLV: return OP(19, 64);
1115  case AMULQV: return OP(19, 96);
1116  case AUMULH: return OP(19, 48);
1117 
1118  case ASLLQ: return OP(18, 57);
1119  case ASRLQ: return OP(18, 52);
1120  case ASRAQ: return OP(18, 60);
1121 
1122  case AEXTBL: return OP(18, 6);
1123  case AEXTWL: return OP(18, 22);
1124  case AEXTLL: return OP(18, 38);
1125  case AEXTQL: return OP(18, 54);
1126  case AEXTWH: return OP(18, 90);
1127  case AEXTLH: return OP(18, 106);
1128  case AEXTQH: return OP(18, 122);
1129 
1130  case AINSBL: return OP(18, 11);
1131  case AINSWL: return OP(18, 27);
1132  case AINSLL: return OP(18, 43);
1133  case AINSQL: return OP(18, 59);
1134  case AINSWH: return OP(18, 87);
1135  case AINSLH: return OP(18, 103);
1136  case AINSQH: return OP(18, 119);
1137 
1138  case AMSKBL: return OP(18, 2);
1139  case AMSKWL: return OP(18, 18);
1140  case AMSKLL: return OP(18, 34);
1141  case AMSKQL: return OP(18, 50);
1142  case AMSKWH: return OP(18, 82);
1143  case AMSKLH: return OP(18, 98);
1144  case AMSKQH: return OP(18, 114);
1145 
1146  case AZAP: return OP(18, 48);
1147  case AZAPNOT: return OP(18, 49);
1148 
1149  case AJMP: return OP(26, 0);
1150  case AJSR: return OP(26, 512);
1151  case ARET: return OP(26, 1024);
1152 
1153  case ABR: return OP(48, 0);
1154  case ABSR: return OP(52, 0);
1155 
1156  case ABEQ: return OP(57, 0);
1157  case ABNE: return OP(61, 0);
1158  case ABLT: return OP(58, 0);
1159  case ABGE: return OP(62, 0);
1160  case ABLE: return OP(59, 0);
1161  case ABGT: return OP(63, 0);
1162  case ABLBC: return OP(56, 0);
1163  case ABLBS: return OP(60, 0);
1164 
1165  case AFBEQ: return OP(49, 0);
1166  case AFBNE: return OP(53, 0);
1167  case AFBLT: return OP(50, 0);
1168  case AFBGE: return OP(54, 0);
1169  case AFBLE: return OP(51, 0);
1170  case AFBGT: return OP(55, 0);
1171 
1172  case ATRAPB: return OP(24, 0);
1173  case AMB: return OP(24, 0x200);
1174  case AFETCH: return OP(24, 0x400);
1175  case AFETCHM: return OP(24, 0x500);
1176  case ARPCC: return OP(24, 0x600);
1177 
1178  case ACPYS: return OP(23, 32);
1179  case ACPYSN: return OP(23, 33);
1180  case ACPYSE: return OP(23, 34);
1181  case AADDS+AEND: return OP(23, 37); /* MF_FPCR */
1182  case AADDT+AEND: return OP(23, 36); /* MT_FPCR */
1183  case ACVTLQ: return OP(23, 16);
1184  case ACVTQL: return OP(23, 48); /* XXX trap mode */
1185  case AFCMOVEQ: return OP(23, 42);
1186  case AFCMOVNE: return OP(23, 43);
1187  case AFCMOVLT: return OP(23, 44);
1188  case AFCMOVGE: return OP(23, 45);
1189  case AFCMOVLE: return OP(23, 46);
1190  case AFCMOVGT: return OP(23, 47);
1191 
1192  case AADDS: return FP(0);
1193  case AADDT: return FP(32);
1194  case ACMPTEQ: return FP3(37);
1195  case ACMPTGT: return FP3(38);
1196  case ACMPTGE: return FP3(39);
1197  case ACMPTUN: return FP3(36);
1198 
1199  case ACVTQS: return FP2(60);
1200  case ACVTQT: return FP2(62);
1201  case ACVTTS: return FP2(44);
1202  case ACVTTQ: return FP2(47);
1203 
1204  case ADIVS: return FP(3);
1205  case ADIVT: return FP(35);
1206  case AMULS: return FP(2);
1207  case AMULT: return FP(34);
1208  case ASUBS: return FP(1);
1209  case ASUBT: return FP(33);
1210 
1211  case ACALL_PAL: return 0;
1212  case AREI: return OP(30, 0x400); /* HW_REI */
1213 
1214  case AADDQ+AEND: return OP(25,0); /* HW_MFPR */
1215  case ASUBQ+AEND: return OP(29,0); /* HW_MTPR */
1216  }
1217  diag("bad op %A(%d)", a, a);
1218  return 0;
1219 }
1220