xref: /plan9/sys/src/cmd/vl/asm.c (revision ec59a3ddbfceee0efe34584c2c9981a5e5ff1ec4)
1 #include	"l.h"
2 
3 long	OFFSET;
4 /*
5 long	BADOFFSET	=	-1;
6 
7 		if(OFFSET <= BADOFFSET && OFFSET+4 > BADOFFSET)\
8 			abort();\
9 		OFFSET += 4;\
10 
11 		if(OFFSET == BADOFFSET)\
12 			abort();\
13 		OFFSET++;\
14 */
15 
16 #define LPUT(l) { \
17 		if (little) { \
18 			LLEPUT(l); \
19 		} else { \
20 			LBEPUT(l); \
21 		} \
22 	}
23 
24 #define	LLEPUT(c)\
25 	{\
26 		cbp[0] = (c);\
27 		cbp[1] = (c)>>8;\
28 		cbp[2] = (c)>>16;\
29 		cbp[3] = (c)>>24;\
30 		cbp += 4;\
31 		cbc -= 4;\
32 		if(cbc <= 0)\
33 			cflush();\
34 	}
35 
36 #define	LBEPUT(c)\
37 	{\
38 		cbp[0] = (c)>>24;\
39 		cbp[1] = (c)>>16;\
40 		cbp[2] = (c)>>8;\
41 		cbp[3] = (c);\
42 		cbp += 4;\
43 		cbc -= 4;\
44 		if(cbc <= 0)\
45 			cflush();\
46 	}
47 
48 
49 #define	CPUT(c)\
50 	{\
51 		cbp[0] = (c);\
52 		cbp++;\
53 		cbc--;\
54 		if(cbc <= 0)\
55 			cflush();\
56 	}
57 
58 void
59 objput(long l)	/* emit long in byte order appropriate to object machine */
60 {
61 	LPUT(l);
62 }
63 
64 void
65 lput(long l)		/* emit long in big-endian byte order */
66 {
67 	LBEPUT(l);
68 }
69 
70 long
71 entryvalue(void)
72 {
73 	char *a;
74 	Sym *s;
75 
76 	a = INITENTRY;
77 	if(*a >= '0' && *a <= '9')
78 		return atolwhex(a);
79 	s = lookup(a, 0);
80 	if(s->type == 0)
81 		return INITTEXT;
82 	if(s->type != STEXT && s->type != SLEAF)
83 		diag("entry not text: %s", s->name);
84 	return s->value;
85 }
86 
87 void
88 asmb(void)
89 {
90 	Prog *p;
91 	long t, etext;
92 	Optab *o;
93 
94 	if(debug['v'])
95 		Bprint(&bso, "%5.2f asm\n", cputime());
96 	Bflush(&bso);
97 	OFFSET = HEADR;
98 	seek(cout, OFFSET, 0);
99 	pc = INITTEXT;
100 	for(p = firstp; p != P; p = p->link) {
101 		if(p->as == ATEXT) {
102 			curtext = p;
103 			autosize = p->to.offset + 4;
104 		}
105 		if(p->pc != pc) {
106 			diag("phase error %lux sb %lux",
107 				p->pc, pc);
108 			if(!debug['a'])
109 				prasm(curp);
110 			pc = p->pc;
111 		}
112 		curp = p;
113 		o = oplook(p);	/* could probably avoid this call */
114 		if(asmout(p, o, 0)) {
115 			p = p->link;
116 			pc += 4;
117 		}
118 		pc += o->size;
119 	}
120 	if(debug['a'])
121 		Bprint(&bso, "\n");
122 	Bflush(&bso);
123 	cflush();
124 
125 	etext = INITTEXT + textsize;
126 	for(t = pc; t < etext; t += sizeof(buf)-100) {
127 		if(etext-t > sizeof(buf)-100)
128 			datblk(t, sizeof(buf)-100, 1);
129 		else
130 			datblk(t, etext-t, 1);
131 	}
132 
133 	Bflush(&bso);
134 	cflush();
135 
136 	curtext = P;
137 	switch(HEADTYPE) {
138 	case 0:
139 	case 4:
140 		OFFSET = rnd(HEADR+textsize, 4096);
141 		seek(cout, OFFSET, 0);
142 		break;
143 	case 1:
144 	case 2:
145 	case 3:
146 	case 5:
147 	case 6:
148 		OFFSET = HEADR+textsize;
149 		seek(cout, OFFSET, 0);
150 		break;
151 	}
152 	for(t = 0; t < datsize; t += sizeof(buf)-100) {
153 		if(datsize-t > sizeof(buf)-100)
154 			datblk(t, sizeof(buf)-100, 0);
155 		else
156 			datblk(t, datsize-t, 0);
157 	}
158 
159 	symsize = 0;
160 	lcsize = 0;
161 	if(!debug['s']) {
162 		if(debug['v'])
163 			Bprint(&bso, "%5.2f sym\n", cputime());
164 		Bflush(&bso);
165 		switch(HEADTYPE) {
166 		case 0:
167 		case 4:
168 			OFFSET = rnd(HEADR+textsize, 4096)+datsize;
169 			seek(cout, OFFSET, 0);
170 			break;
171 		case 3:
172 		case 2:
173 		case 1:
174 		case 5:
175 		case 6:
176 			OFFSET = HEADR+textsize+datsize;
177 			seek(cout, OFFSET, 0);
178 			break;
179 		}
180 		if(!debug['s'])
181 			asmsym();
182 		if(debug['v'])
183 			Bprint(&bso, "%5.2f pc\n", cputime());
184 		Bflush(&bso);
185 		if(!debug['s'])
186 			asmlc();
187 		cflush();
188 	}
189 
190 	if(debug['v'])
191 		Bprint(&bso, "%5.2f header\n", cputime());
192 	Bflush(&bso);
193 	OFFSET = 0;
194 	seek(cout, OFFSET, 0);
195 	switch(HEADTYPE) {
196 	case 0:
197 		lput(0x160L<<16);		/* magic and sections */
198 		lput(0L);			/* time and date */
199 		lput(rnd(HEADR+textsize, 4096)+datsize);
200 		lput(symsize);			/* nsyms */
201 		lput((0x38L<<16)|7L);		/* size of optional hdr and flags */
202 		lput((0413<<16)|0437L);		/* magic and version */
203 		lput(rnd(HEADR+textsize, 4096));	/* sizes */
204 		lput(datsize);
205 		lput(bsssize);
206 		lput(entryvalue());		/* va of entry */
207 		lput(INITTEXT-HEADR);		/* va of base of text */
208 		lput(INITDAT);			/* va of base of data */
209 		lput(INITDAT+datsize);		/* va of base of bss */
210 		lput(~0L);			/* gp reg mask */
211 		lput(0L);
212 		lput(0L);
213 		lput(0L);
214 		lput(0L);
215 		lput(~0L);			/* gp value ?? */
216 		break;
217 	case 1:
218 		lput(0x160L<<16);		/* magic and sections */
219 		lput(0L);			/* time and date */
220 		lput(HEADR+textsize+datsize);
221 		lput(symsize);			/* nsyms */
222 		lput((0x38L<<16)|7L);		/* size of optional hdr and flags */
223 
224 		lput((0407<<16)|0437L);		/* magic and version */
225 		lput(textsize);			/* sizes */
226 		lput(datsize);
227 		lput(bsssize);
228 		lput(entryvalue());		/* va of entry */
229 		lput(INITTEXT);			/* va of base of text */
230 		lput(INITDAT);			/* va of base of data */
231 		lput(INITDAT+datsize);		/* va of base of bss */
232 		lput(~0L);			/* gp reg mask */
233 		lput(lcsize);
234 		lput(0L);
235 		lput(0L);
236 		lput(0L);
237 		lput(~0L);			/* gp value ?? */
238 		lput(0L);			/* complete mystery */
239 		break;
240 	case 2:
241 		if (little)
242 			t = 24;
243 		else
244 			t = 16;
245 		lput(((((4*t)+0)*t)+7));	/* magic */
246 		lput(textsize);			/* sizes */
247 		lput(datsize);
248 		lput(bsssize);
249 		lput(symsize);			/* nsyms */
250 		lput(entryvalue());		/* va of entry */
251 		lput(0L);
252 		lput(lcsize);
253 		break;
254 	case 3:
255 		lput((0x160L<<16)|3L);		/* magic and sections */
256 		lput(time(0));			/* time and date */
257 		lput(HEADR+textsize+datsize);
258 		lput(symsize);			/* nsyms */
259 		lput((0x38L<<16)|7L);		/* size of optional hdr and flags */
260 
261 		lput((0407<<16)|0437L);		/* magic and version */
262 		lput(textsize);			/* sizes */
263 		lput(datsize);
264 		lput(bsssize);
265 		lput(entryvalue());		/* va of entry */
266 		lput(INITTEXT);			/* va of base of text */
267 		lput(INITDAT);			/* va of base of data */
268 		lput(INITDAT+datsize);		/* va of base of bss */
269 		lput(~0L);			/* gp reg mask */
270 		lput(lcsize);
271 		lput(0L);
272 		lput(0L);
273 		lput(0L);
274 		lput(~0L);			/* gp value ?? */
275 
276 		strnput(".text", 8);		/* text segment */
277 		lput(INITTEXT);			/* address */
278 		lput(INITTEXT);
279 		lput(textsize);
280 		lput(HEADR);
281 		lput(0L);
282 		lput(HEADR+textsize+datsize+symsize);
283 		lput(lcsize);			/* line number size */
284 		lput(0x20L);			/* flags */
285 
286 		strnput(".data", 8);		/* data segment */
287 		lput(INITDAT);			/* address */
288 		lput(INITDAT);
289 		lput(datsize);
290 		lput(HEADR+textsize);
291 		lput(0L);
292 		lput(0L);
293 		lput(0L);
294 		lput(0x40L);			/* flags */
295 
296 		strnput(".bss", 8);		/* bss segment */
297 		lput(INITDAT+datsize);		/* address */
298 		lput(INITDAT+datsize);
299 		lput(bsssize);
300 		lput(0L);
301 		lput(0L);
302 		lput(0L);
303 		lput(0L);
304 		lput(0x80L);			/* flags */
305 		break;
306 	case 4:
307 
308 		lput((0x160L<<16)|3L);		/* magic and sections */
309 		lput(time(0));			/* time and date */
310 		lput(rnd(HEADR+textsize, 4096)+datsize);
311 		lput(symsize);			/* nsyms */
312 		lput((0x38L<<16)|7L);		/* size of optional hdr and flags */
313 
314 		lput((0413<<16)|01012L);	/* magic and version */
315 		lput(textsize);			/* sizes */
316 		lput(datsize);
317 		lput(bsssize);
318 		lput(entryvalue());		/* va of entry */
319 		lput(INITTEXT);			/* va of base of text */
320 		lput(INITDAT);			/* va of base of data */
321 		lput(INITDAT+datsize);		/* va of base of bss */
322 		lput(~0L);			/* gp reg mask */
323 		lput(lcsize);
324 		lput(0L);
325 		lput(0L);
326 		lput(0L);
327 		lput(~0L);			/* gp value ?? */
328 
329 		strnput(".text", 8);		/* text segment */
330 		lput(INITTEXT);			/* address */
331 		lput(INITTEXT);
332 		lput(textsize);
333 		lput(HEADR);
334 		lput(0L);
335 		lput(HEADR+textsize+datsize+symsize);
336 		lput(lcsize);			/* line number size */
337 		lput(0x20L);			/* flags */
338 
339 		strnput(".data", 8);		/* data segment */
340 		lput(INITDAT);			/* address */
341 		lput(INITDAT);
342 		lput(datsize);
343 		lput(rnd(HEADR+textsize, 4096));	/* sizes */
344 		lput(0L);
345 		lput(0L);
346 		lput(0L);
347 		lput(0x40L);			/* flags */
348 
349 		strnput(".bss", 8);		/* bss segment */
350 		lput(INITDAT+datsize);		/* address */
351 		lput(INITDAT+datsize);
352 		lput(bsssize);
353 		lput(0L);
354 		lput(0L);
355 		lput(0L);
356 		lput(0L);
357 		lput(0x80L);			/* flags */
358 		break;
359 	case 5:
360 		strnput("\177ELF", 4);		/* e_ident */
361 		CPUT(1);			/* class = 32 bit */
362 		CPUT(2);			/* data = MSB */
363 		CPUT(1);			/* version = CURRENT */
364 		strnput("", 9);
365 		lput((2L<<16)|8L);		/* type = EXEC; machine = MIPS */
366 		lput(1L);			/* version = CURRENT */
367 		lput(entryvalue());		/* entry vaddr */
368 		lput(52L);			/* offset to first phdr */
369 		lput(0L);			/* offset to first shdr */
370 		lput(0L);			/* flags = MIPS */
371 		lput((52L<<16)|32L);		/* Ehdr & Phdr sizes*/
372 		lput((3L<<16)|0L);		/* # Phdrs & Shdr size */
373 		lput((0L<<16)|0L);		/* # Shdrs & shdr string size */
374 
375 		/* TODO: only these few words are in native byte order? */
376 		objput(1L);			/* text - type = PT_LOAD */
377 		objput(0L);			/* file offset */
378 		objput(INITTEXT-HEADR);		/* vaddr */
379 		objput(INITTEXT-HEADR);		/* paddr */
380 		objput(HEADR+textsize);		/* file size */
381 		objput(HEADR+textsize);		/* memory size */
382 		objput(0x05L);			/* protections = RX */
383 		objput(0x10000L);		/* alignment code?? */
384 
385 		lput(1L);			/* data - type = PT_LOAD */
386 		lput(HEADR+textsize);		/* file offset */
387 		lput(INITDAT);			/* vaddr */
388 		lput(INITDAT);			/* paddr */
389 		lput(datsize);			/* file size */
390 		lput(datsize+bsssize);		/* memory size */
391 		lput(0x06L);			/* protections = RW */
392 		lput(0x10000L);			/* alignment code?? */
393 
394 		lput(0L);			/* data - type = PT_NULL */
395 		lput(HEADR+textsize+datsize);	/* file offset */
396 		lput(0L);
397 		lput(0L);
398 		lput(symsize);			/* symbol table size */
399 		lput(lcsize);			/* line number size */
400 		lput(0x04L);			/* protections = R */
401 		lput(0x04L);			/* alignment code?? */
402 		break;
403 	case 6:
404 		break;
405 	}
406 	cflush();
407 }
408 
409 void
410 strnput(char *s, int n)
411 {
412 	for(; *s; s++){
413 		CPUT(*s);
414 		n--;
415 	}
416 	for(; n > 0; n--)
417 		CPUT(0);
418 }
419 
420 void
421 cflush(void)
422 {
423 	int n;
424 
425 	n = sizeof(buf.cbuf) - cbc;
426 	if(n)
427 		write(cout, buf.cbuf, n);
428 	cbp = buf.cbuf;
429 	cbc = sizeof(buf.cbuf);
430 }
431 
432 void
433 nopstat(char *f, Count *c)
434 {
435 	if(c->outof)
436 	Bprint(&bso, "%s delay %ld/%ld (%.2f)\n", f,
437 		c->outof - c->count, c->outof,
438 		(double)(c->outof - c->count)/c->outof);
439 }
440 
441 void
442 asmsym(void)
443 {
444 	Prog *p;
445 	Auto *a;
446 	Sym *s;
447 	int h;
448 
449 	s = lookup("etext", 0);
450 	if(s->type == STEXT)
451 		putsymb(s->name, 'T', s->value, s->version);
452 
453 	for(h=0; h<NHASH; h++)
454 		for(s=hash[h]; s!=S; s=s->link)
455 			switch(s->type) {
456 			case SCONST:
457 				putsymb(s->name, 'D', s->value, s->version);
458 				continue;
459 
460 			case SSTRING:
461 				putsymb(s->name, 'T', s->value, s->version);
462 				continue;
463 
464 			case SDATA:
465 				putsymb(s->name, 'D', s->value+INITDAT, s->version);
466 				continue;
467 
468 			case SBSS:
469 				putsymb(s->name, 'B', s->value+INITDAT, s->version);
470 				continue;
471 
472 			case SFILE:
473 				putsymb(s->name, 'f', s->value, s->version);
474 				continue;
475 			}
476 
477 	for(p=textp; p!=P; p=p->cond) {
478 		s = p->from.sym;
479 		if(s->type != STEXT && s->type != SLEAF)
480 			continue;
481 
482 		/* filenames first */
483 		for(a=p->to.autom; a; a=a->link)
484 			if(a->type == D_FILE)
485 				putsymb(a->asym->name, 'z', a->aoffset, 0);
486 			else
487 			if(a->type == D_FILE1)
488 				putsymb(a->asym->name, 'Z', a->aoffset, 0);
489 
490 		if(s->type == STEXT)
491 			putsymb(s->name, 'T', s->value, s->version);
492 		else
493 			putsymb(s->name, 'L', s->value, s->version);
494 
495 		/* frame, auto and param after */
496 		putsymb(".frame", 'm', p->to.offset+4, 0);
497 		for(a=p->to.autom; a; a=a->link)
498 			if(a->type == D_AUTO)
499 				putsymb(a->asym->name, 'a', -a->aoffset, 0);
500 			else
501 			if(a->type == D_PARAM)
502 				putsymb(a->asym->name, 'p', a->aoffset, 0);
503 	}
504 	if(debug['v'] || debug['n'])
505 		Bprint(&bso, "symsize = %lud\n", symsize);
506 	Bflush(&bso);
507 }
508 
509 void
510 putsymb(char *s, int t, long v, int ver)
511 {
512 	int i, f;
513 
514 	if(t == 'f')
515 		s++;
516 	LBEPUT(v);
517 	if(ver)
518 		t += 'a' - 'A';
519 	CPUT(t+0x80);			/* 0x80 is variable length */
520 
521 	if(t == 'Z' || t == 'z') {
522 		CPUT(s[0]);
523 		for(i=1; s[i] != 0 || s[i+1] != 0; i += 2) {
524 			CPUT(s[i]);
525 			CPUT(s[i+1]);
526 		}
527 		CPUT(0);
528 		CPUT(0);
529 		i++;
530 	}
531 	else {
532 		for(i=0; s[i]; i++)
533 			CPUT(s[i]);
534 		CPUT(0);
535 	}
536 	symsize += 4 + 1 + i + 1;
537 
538 	if(debug['n']) {
539 		if(t == 'z' || t == 'Z') {
540 			Bprint(&bso, "%c %.8lux ", t, v);
541 			for(i=1; s[i] != 0 || s[i+1] != 0; i+=2) {
542 				f = ((s[i]&0xff) << 8) | (s[i+1]&0xff);
543 				Bprint(&bso, "/%x", f);
544 			}
545 			Bprint(&bso, "\n");
546 			return;
547 		}
548 		if(ver)
549 			Bprint(&bso, "%c %.8lux %s<%d>\n", t, v, s, ver);
550 		else
551 			Bprint(&bso, "%c %.8lux %s\n", t, v, s);
552 	}
553 }
554 
555 #define	MINLC	4
556 void
557 asmlc(void)
558 {
559 	long oldpc, oldlc;
560 	Prog *p;
561 	long v, s;
562 
563 	oldpc = INITTEXT;
564 	oldlc = 0;
565 	for(p = firstp; p != P; p = p->link) {
566 		if(p->line == oldlc || p->as == ATEXT || p->as == ANOP) {
567 			if(p->as == ATEXT)
568 				curtext = p;
569 			if(debug['L'])
570 				Bprint(&bso, "%6lux %P\n",
571 					p->pc, p);
572 			continue;
573 		}
574 		if(debug['L'])
575 			Bprint(&bso, "\t\t%6ld", lcsize);
576 		v = (p->pc - oldpc) / MINLC;
577 		while(v) {
578 			s = 127;
579 			if(v < 127)
580 				s = v;
581 			CPUT(s+128);	/* 129-255 +pc */
582 			if(debug['L'])
583 				Bprint(&bso, " pc+%ld*%d(%ld)", s, MINLC, s+128);
584 			v -= s;
585 			lcsize++;
586 		}
587 		s = p->line - oldlc;
588 		oldlc = p->line;
589 		oldpc = p->pc + MINLC;
590 		if(s > 64 || s < -64) {
591 			CPUT(0);	/* 0 vv +lc */
592 			CPUT(s>>24);
593 			CPUT(s>>16);
594 			CPUT(s>>8);
595 			CPUT(s);
596 			if(debug['L']) {
597 				if(s > 0)
598 					Bprint(&bso, " lc+%ld(%d,%ld)\n",
599 						s, 0, s);
600 				else
601 					Bprint(&bso, " lc%ld(%d,%ld)\n",
602 						s, 0, s);
603 				Bprint(&bso, "%6lux %P\n",
604 					p->pc, p);
605 			}
606 			lcsize += 5;
607 			continue;
608 		}
609 		if(s > 0) {
610 			CPUT(0+s);	/* 1-64 +lc */
611 			if(debug['L']) {
612 				Bprint(&bso, " lc+%ld(%ld)\n", s, 0+s);
613 				Bprint(&bso, "%6lux %P\n",
614 					p->pc, p);
615 			}
616 		} else {
617 			CPUT(64-s);	/* 65-128 -lc */
618 			if(debug['L']) {
619 				Bprint(&bso, " lc%ld(%ld)\n", s, 64-s);
620 				Bprint(&bso, "%6lux %P\n",
621 					p->pc, p);
622 			}
623 		}
624 		lcsize++;
625 	}
626 	while(lcsize & 1) {
627 		s = 129;
628 		CPUT(s);
629 		lcsize++;
630 	}
631 	if(debug['v'] || debug['L'])
632 		Bprint(&bso, "lcsize = %ld\n", lcsize);
633 	Bflush(&bso);
634 }
635 
636 void
637 datblk(long s, long n, int str)
638 {
639 	Prog *p;
640 	char *cast;
641 	long l, fl, j, d;
642 	int i, c;
643 
644 	memset(buf.dbuf, 0, n+100);
645 	for(p = datap; p != P; p = p->link) {
646 		curp = p;
647 		if(str != (p->from.sym->type == SSTRING))
648 			continue;
649 		l = p->from.sym->value + p->from.offset - s;
650 		c = p->reg;
651 		i = 0;
652 		if(l < 0) {
653 			if(l+c <= 0)
654 				continue;
655 			while(l < 0) {
656 				l++;
657 				i++;
658 			}
659 		}
660 		if(l >= n)
661 			continue;
662 		if(p->as != AINIT && p->as != ADYNT) {
663 			for(j=l+(c-i)-1; j>=l; j--)
664 				if(buf.dbuf[j]) {
665 					print("%P\n", p);
666 					diag("multiple initialization");
667 					break;
668 				}
669 		}
670 		switch(p->to.type) {
671 		default:
672 			diag("unknown mode in initialization\n%P", p);
673 			break;
674 
675 		case D_FCONST:
676 			switch(c) {
677 			default:
678 			case 4:
679 				fl = ieeedtof(p->to.ieee);
680 				cast = (char*)&fl;
681 				for(; i<c; i++) {
682 					buf.dbuf[l] = cast[fnuxi8[i+4]];
683 					l++;
684 				}
685 				break;
686 			case 8:
687 				cast = (char*)p->to.ieee;
688 				for(; i<c; i++) {
689 					buf.dbuf[l] = cast[fnuxi8[i]];
690 					l++;
691 				}
692 				break;
693 			}
694 			break;
695 
696 		case D_SCONST:
697 			for(; i<c; i++) {
698 				buf.dbuf[l] = p->to.sval[i];
699 				l++;
700 			}
701 			break;
702 
703 		case D_CONST:
704 			d = p->to.offset;
705 			if(p->to.sym) {
706 				switch(p->to.sym->type) {
707 				case STEXT:
708 				case SLEAF:
709 				case SSTRING:
710 					d += p->to.sym->value;
711 					break;
712 				case SDATA:
713 				case SBSS:
714 					d += p->to.sym->value + INITDAT;
715 					break;
716 				}
717 			}
718 			cast = (char*)&d;
719 			switch(c) {
720 			default:
721 				diag("bad nuxi %d %d\n%P", c, i, curp);
722 				break;
723 			case 1:
724 				for(; i<c; i++) {
725 					buf.dbuf[l] = cast[inuxi1[i]];
726 					l++;
727 				}
728 				break;
729 			case 2:
730 				for(; i<c; i++) {
731 					buf.dbuf[l] = cast[inuxi2[i]];
732 					l++;
733 				}
734 				break;
735 			case 4:
736 				for(; i<c; i++) {
737 					buf.dbuf[l] = cast[inuxi4[i]];
738 					l++;
739 				}
740 				break;
741 			}
742 			break;
743 		}
744 	}
745 	write(cout, buf.dbuf, n);
746 }
747 
748 #define	OP_RRR(op,r1,r2,r3)\
749 	(op|(((r1)&31L)<<16)|(((r2)&31L)<<21)|(((r3)&31L)<<11))
750 #define	OP_IRR(op,i,r2,r3)\
751 	(op|((i)&0xffffL)|(((r2)&31L)<<21)|(((r3)&31L)<<16))
752 #define	OP_SRR(op,s,r2,r3)\
753 	(op|(((s)&31L)<<6)|(((r2)&31L)<<16)|(((r3)&31L)<<11))
754 #define	OP_FRRR(op,r1,r2,r3)\
755 	(op|(((r1)&31L)<<16)|(((r2)&31L)<<11)|(((r3)&31L)<<6))
756 #define	OP_JMP(op,i)\
757 		((op)|((i)&0x3ffffffL))
758 
759 #define	OP(x,y)\
760 	(((x)<<3)|((y)<<0))
761 #define	SP(x,y)\
762 	(((x)<<29)|((y)<<26))
763 #define	BCOND(x,y)\
764 	(((x)<<19)|((y)<<16))
765 #define	MMU(x,y)\
766 	(SP(2,0)|(16<<21)|((x)<<3)|((y)<<0))
767 #define	FPF(x,y)\
768 	(SP(2,1)|(16<<21)|((x)<<3)|((y)<<0))
769 #define	FPD(x,y)\
770 	(SP(2,1)|(17<<21)|((x)<<3)|((y)<<0))
771 #define	FPW(x,y)\
772 	(SP(2,1)|(20<<21)|((x)<<3)|((y)<<0))
773 
774 int vshift(int);
775 
776 int
777 asmout(Prog *p, Optab *o, int aflag)
778 {
779 	long o1, o2, o3, o4, o5, o6, o7, v;
780 	Prog *ct;
781 	int r, a;
782 
783 	o1 = 0;
784 	o2 = 0;
785 	o3 = 0;
786 	o4 = 0;
787 	o5 = 0;
788 	o6 = 0;
789 	o7 = 0;
790 	switch(o->type) {
791 	default:
792 		diag("unknown type %d", o->type);
793 		if(!debug['a'])
794 			prasm(p);
795 		break;
796 
797 	case 0:		/* pseudo ops */
798 		if(aflag) {
799 			if(p->link) {
800 				if(p->as == ATEXT) {
801 					ct = curtext;
802 					o2 = autosize;
803 					curtext = p;
804 					autosize = p->to.offset + 4;
805 					o1 = asmout(p->link, oplook(p->link), aflag);
806 					curtext = ct;
807 					autosize = o2;
808 				} else
809 					o1 = asmout(p->link, oplook(p->link), aflag);
810 			}
811 			return o1;
812 		}
813 		break;
814 
815 	case 1:		/* mov[v] r1,r2 ==> OR r1,r0,r2 */
816 		o1 = OP_RRR(oprrr(AOR), p->from.reg, REGZERO, p->to.reg);
817 		break;
818 
819 	case 2:		/* add/sub r1,[r2],r3 */
820 		r = p->reg;
821 		if(r == NREG)
822 			r = p->to.reg;
823 		o1 = OP_RRR(oprrr(p->as), p->from.reg, r, p->to.reg);
824 		break;
825 
826 	case 3:		/* mov $soreg, r ==> or/add $i,o,r */
827 		v = regoff(&p->from);
828 		r = p->from.reg;
829 		if(r == NREG)
830 			r = o->param;
831 		a = AADDU;
832 		if(o->a1 == C_ANDCON)
833 			a = AOR;
834 		o1 = OP_IRR(opirr(a), v, r, p->to.reg);
835 		break;
836 
837 	case 4:		/* add $scon,[r1],r2 */
838 		v = regoff(&p->from);
839 		r = p->reg;
840 		if(r == NREG)
841 			r = p->to.reg;
842 		o1 = OP_IRR(opirr(p->as), v, r, p->to.reg);
843 		break;
844 
845 	case 5:		/* syscall */
846 		if(aflag)
847 			return 0;
848 		o1 = oprrr(p->as);
849 		break;
850 
851 	case 6:		/* beq r1,[r2],sbra */
852 		if(aflag)
853 			return 0;
854 		if(p->cond == P)
855 			v = -4 >> 2;
856 		else
857 			v = (p->cond->pc - pc-4) >> 2;
858 		if(((v << 16) >> 16) != v)
859 			diag("short branch too far: %d\n%P", v, p);
860 		o1 = OP_IRR(opirr(p->as), v, p->from.reg, p->reg);
861 		break;
862 
863 	case 7:		/* mov r, soreg ==> sw o(r) */
864 		r = p->to.reg;
865 		if(r == NREG)
866 			r = o->param;
867 		v = regoff(&p->to);
868 		o1 = OP_IRR(opirr(p->as), v, r, p->from.reg);
869 		break;
870 
871 	case 8:		/* mov soreg, r ==> lw o(r) */
872 		r = p->from.reg;
873 		if(r == NREG)
874 			r = o->param;
875 		v = regoff(&p->from);
876 		o1 = OP_IRR(opirr(p->as+ALAST), v, r, p->to.reg);
877 		break;
878 
879 	case 9:		/* asl r1,[r2],r3 */
880 		r = p->reg;
881 		if(r == NREG)
882 			r = p->to.reg;
883 		o1 = OP_RRR(oprrr(p->as), r, p->from.reg, p->to.reg);
884 		break;
885 
886 	case 10:	/* add $con,[r1],r2 ==> mov $con,t; add t,[r1],r2 */
887 		v = regoff(&p->from);
888 		r = AOR;
889 		if(v < 0)
890 			r = AADDU;
891 		o1 = OP_IRR(opirr(r), v, 0, REGTMP);
892 		r = p->reg;
893 		if(r == NREG)
894 			r = p->to.reg;
895 		o2 = OP_RRR(oprrr(p->as), REGTMP, r, p->to.reg);
896 		break;
897 
898 	case 11:	/* jmp lbra */
899 		if(aflag)
900 			return 0;
901 		if(p->cond == P)
902 			v = p->pc >> 2;
903 		else
904 			v = p->cond->pc >> 2;
905 		o1 = OP_JMP(opirr(p->as), v);
906 		if(!debug['Y'] && p->link && p->cond && isnop(p->link)) {
907 			nop.branch.count--;
908 			nop.branch.outof--;
909 			nop.jump.outof++;
910 			o2 = asmout(p->cond, oplook(p->cond), 1);
911 			if(o2) {
912 				o1 += 1;
913 				if(debug['a'])
914 					Bprint(&bso, " %.8lux: %.8lux %.8lux%P\n",
915 						p->pc, o1, o2, p);
916 				LPUT(o1);
917 				LPUT(o2);
918 				return 1;
919 			}
920 		}
921 		break;
922 
923 	case 12:	/* movbs r,r */
924 		v = 16;
925 		if(p->as == AMOVB)
926 			v = 24;
927 		o1 = OP_SRR(opirr(ASLL), v, p->from.reg, p->to.reg);
928 		o2 = OP_SRR(opirr(ASRA), v, p->to.reg, p->to.reg);
929 		break;
930 
931 	case 13:	/* movbu r,r */
932 		if(p->as == AMOVBU)
933 			o1 = OP_IRR(opirr(AAND), 0xffL, p->from.reg, p->to.reg);
934 		else
935 			o1 = OP_IRR(opirr(AAND), 0xffffL, p->from.reg, p->to.reg);
936 		break;
937 
938 	case 16:	/* sll $c,[r1],r2 */
939 		v = regoff(&p->from);
940 		r = p->reg;
941 		if(r == NREG)
942 			r = p->to.reg;
943 
944 		/* OP_SRR will use only the low 5 bits of the shift value */
945 		if(v >= 32 && vshift(p->as))
946 			o1 = OP_SRR(opirr(p->as+ALAST), v-32, r, p->to.reg);
947 		else
948 			o1 = OP_SRR(opirr(p->as), v, r, p->to.reg);
949 		break;
950 
951 	case 18:	/* jmp [r1],0(r2) */
952 		if(aflag)
953 			return 0;
954 		r = p->reg;
955 		if(r == NREG)
956 			r = o->param;
957 		o1 = OP_RRR(oprrr(p->as), 0, p->to.reg, r);
958 		break;
959 
960 	case 19:	/* mov $lcon,r ==> lu+or */
961 		v = regoff(&p->from);
962 		o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, p->to.reg);
963 		o2 = OP_IRR(opirr(AOR), v, p->to.reg, p->to.reg);
964 		break;
965 
966 	case 20:	/* mov lohi,r */
967 		r = OP(2,0);		/* mfhi */
968 		if(p->from.type == D_LO)
969 			r = OP(2,2);	/* mflo */
970 		o1 = OP_RRR(r, REGZERO, REGZERO, p->to.reg);
971 		break;
972 
973 	case 21:	/* mov r,lohi */
974 		r = OP(2,1);		/* mthi */
975 		if(p->to.type == D_LO)
976 			r = OP(2,3);	/* mtlo */
977 		o1 = OP_RRR(r, REGZERO, p->from.reg, REGZERO);
978 		break;
979 
980 	case 22:	/* mul r1,r2 */
981 		o1 = OP_RRR(oprrr(p->as), p->from.reg, p->reg, REGZERO);
982 		break;
983 
984 	case 23:	/* add $lcon,r1,r2 ==> lu+or+add */
985 		v = regoff(&p->from);
986 		if(p->to.reg == REGTMP || p->reg == REGTMP)
987 			diag("cant synthesize large constant\n%P", p);
988 		o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
989 		o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
990 		r = p->reg;
991 		if(r == NREG)
992 			r = p->to.reg;
993 		o3 = OP_RRR(oprrr(p->as), REGTMP, r, p->to.reg);
994 		break;
995 
996 	case 24:	/* mov $ucon,,r ==> lu r */
997 		v = regoff(&p->from);
998 		o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, p->to.reg);
999 		break;
1000 
1001 	case 25:	/* add/and $ucon,[r1],r2 ==> lu $con,t; add t,[r1],r2 */
1002 		v = regoff(&p->from);
1003 		o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1004 		r = p->reg;
1005 		if(r == NREG)
1006 			r = p->to.reg;
1007 		o2 = OP_RRR(oprrr(p->as), REGTMP, r, p->to.reg);
1008 		break;
1009 
1010 	case 26:	/* mov $lsext/auto/oreg,,r2 ==> lu+or+add */
1011 		v = regoff(&p->from);
1012 		if(p->to.reg == REGTMP)
1013 			diag("cant synthesize large constant\n%P", p);
1014 		o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1015 		o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
1016 		r = p->from.reg;
1017 		if(r == NREG)
1018 			r = o->param;
1019 		o3 = OP_RRR(oprrr(AADDU), REGTMP, r, p->to.reg);
1020 		break;
1021 
1022 	case 27:		/* mov [sl]ext/auto/oreg,fr ==> lwc1 o(r) */
1023 		r = p->from.reg;
1024 		if(r == NREG)
1025 			r = o->param;
1026 		v = regoff(&p->from);
1027 		switch(o->size) {
1028 		case 20:
1029 			o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1030 			o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
1031 			o3 = OP_RRR(oprrr(AADDU), r, REGTMP, REGTMP);
1032 			o4 = OP_IRR(opirr(AMOVF+ALAST), 0, REGTMP, p->to.reg+1);
1033 			o5 = OP_IRR(opirr(AMOVF+ALAST), 4, REGTMP, p->to.reg);
1034 			break;
1035 		case 16:
1036 			o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1037 			o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
1038 			o3 = OP_RRR(oprrr(AADDU), r, REGTMP, REGTMP);
1039 			o4 = OP_IRR(opirr(AMOVF+ALAST), 0, REGTMP, p->to.reg);
1040 			break;
1041 		case 8:
1042 			o1 = OP_IRR(opirr(AMOVF+ALAST), v, r, p->to.reg+1);
1043 			o2 = OP_IRR(opirr(AMOVF+ALAST), v+4, r, p->to.reg);
1044 			break;
1045 		case 4:
1046 			o1 = OP_IRR(opirr(AMOVF+ALAST), v, r, p->to.reg);
1047 			break;
1048 		}
1049 		break;
1050 
1051 	case 28:		/* mov fr,[sl]ext/auto/oreg ==> swc1 o(r) */
1052 		r = p->to.reg;
1053 		if(r == NREG)
1054 			r = o->param;
1055 		v = regoff(&p->to);
1056 		switch(o->size) {
1057 		case 20:
1058 			if(r == REGTMP)
1059 				diag("cant synthesize large constant\n%P", p);
1060 			o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1061 			o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
1062 			o3 = OP_RRR(oprrr(AADDU), r, REGTMP, REGTMP);
1063 			o4 = OP_IRR(opirr(AMOVF), 0, REGTMP, p->from.reg+1);
1064 			o5 = OP_IRR(opirr(AMOVF), 4, REGTMP, p->from.reg);
1065 			break;
1066 		case 16:
1067 			if(r == REGTMP)
1068 				diag("cant synthesize large constant\n%P", p);
1069 			o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1070 			o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
1071 			o3 = OP_RRR(oprrr(AADDU), r, REGTMP, REGTMP);
1072 			o4 = OP_IRR(opirr(AMOVF), 0, REGTMP, p->from.reg);
1073 			break;
1074 		case 8:
1075 			o1 = OP_IRR(opirr(AMOVF), v, r, p->from.reg+1);
1076 			o2 = OP_IRR(opirr(AMOVF), v+4, r, p->from.reg);
1077 			break;
1078 		case 4:
1079 			o1 = OP_IRR(opirr(AMOVF), v, r, p->from.reg);
1080 			break;
1081 		}
1082 		break;
1083 
1084 	case 30:	/* movw r,fr */
1085 		r = SP(2,1)|(4<<21);		/* mtc1 */
1086 		o1 = OP_RRR(r, p->from.reg, 0, p->to.reg);
1087 		break;
1088 
1089 	case 31:	/* movw fr,r */
1090 		r = SP(2,1)|(0<<21);		/* mfc1 */
1091 		o1 = OP_RRR(r, p->to.reg, 0, p->from.reg);
1092 		break;
1093 
1094 	case 32:	/* fadd fr1,[fr2],fr3 */
1095 		r = p->reg;
1096 		if(r == NREG)
1097 			o1 = OP_FRRR(oprrr(p->as), p->from.reg, p->to.reg, p->to.reg);
1098 		else
1099 			o1 = OP_FRRR(oprrr(p->as), p->from.reg, r, p->to.reg);
1100 		break;
1101 
1102 	case 33:	/* fabs fr1,fr3 */
1103 		o1 = OP_FRRR(oprrr(p->as), 0, p->from.reg, p->to.reg);
1104 		break;
1105 
1106 	case 34:	/* mov $con,fr ==> or/add $i,r,r2 */
1107 		v = regoff(&p->from);
1108 		r = AADDU;
1109 		if(o->a1 == C_ANDCON)
1110 			r = AOR;
1111 		o1 = OP_IRR(opirr(r), v, 0, REGTMP);
1112 		o2 = OP_RRR(SP(2,1)|(4<<21), REGTMP, 0, p->to.reg);	/* mtc1 */
1113 		break;
1114 
1115 	case 35:	/* mov r,lext/luto/oreg ==> sw o(r) */
1116 		/*
1117 		 * the lowbits of the constant cannot
1118 		 * be moved into the offset of the load
1119 		 * because the mips 4000 in 64-bit mode
1120 		 * does a 64-bit add and it will screw up.
1121 		 */
1122 		v = regoff(&p->to);
1123 		r = p->to.reg;
1124 		if(r == NREG)
1125 			r = o->param;
1126 		if(r == REGTMP)
1127 			diag("cant synthesize large constant\n%P", p);
1128 		o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1129 		o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
1130 		o3 = OP_RRR(oprrr(AADDU), r, REGTMP, REGTMP);
1131 		o4 = OP_IRR(opirr(p->as), 0, REGTMP, p->from.reg);
1132 		break;
1133 
1134 	case 36:	/* mov lext/lauto/lreg,r ==> lw o(r30) */
1135 		v = regoff(&p->from);
1136 		r = p->from.reg;
1137 		if(r == NREG)
1138 			r = o->param;
1139 		if(r == REGTMP)
1140 			diag("cant synthesize large constant\n%P", p);
1141 		o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1142 		o2 = OP_IRR(opirr(AOR), v, REGTMP, REGTMP);
1143 		o3 = OP_RRR(oprrr(AADDU), r, REGTMP, REGTMP);
1144 		o4 = OP_IRR(opirr(p->as+ALAST), 0, REGTMP, p->to.reg);
1145 		break;
1146 
1147 	case 37:	/* movw r,mr */
1148 		r = SP(2,0)|(4<<21);		/* mtc0 */
1149 		if(p->as == AMOVV)
1150 			r = SP(2,0)|(5<<21);	/* dmtc0 */
1151 		o1 = OP_RRR(r, p->from.reg, 0, p->to.reg);
1152 		break;
1153 
1154 	case 38:	/* movw mr,r */
1155 		r = SP(2,0)|(0<<21);		/* mfc0 */
1156 		if(p->as == AMOVV)
1157 			r = SP(2,0)|(1<<21);	/* dmfc0 */
1158 		o1 = OP_RRR(r, p->to.reg, 0, p->from.reg);
1159 		break;
1160 
1161 	case 39:	/* rfe ==> jmp+rfe */
1162 		if(aflag)
1163 			return 0;
1164 		o1 = OP_RRR(oprrr(AJMP), 0, p->to.reg, REGZERO);
1165 		o2 = oprrr(p->as);
1166 		break;
1167 
1168 	case 40:	/* word */
1169 		if(aflag)
1170 			return 0;
1171 		o1 = regoff(&p->to);
1172 		break;
1173 
1174 	case 41:	/* movw r,fcr */
1175 		o1 = OP_RRR(SP(2,1)|(2<<21), REGZERO, 0, p->to.reg); 	/* mfcc1 */
1176 		o2 = OP_RRR(SP(2,1)|(6<<21), p->from.reg, 0, p->to.reg);/* mtcc1 */
1177 		break;
1178 
1179 	case 42:	/* movw fcr,r */
1180 		o1 = OP_RRR(SP(2,1)|(2<<21), p->to.reg, 0, p->from.reg);/* mfcc1 */
1181 		break;
1182 
1183 	case 45:	/* case r */
1184 		if(p->link == P)
1185 			v = p->pc+28;
1186 		else
1187 			v = p->link->pc;
1188 		if(v & (1<<15))
1189 			o1 = OP_IRR(opirr(ALAST), (v>>16)+1, REGZERO, REGTMP);
1190 		else
1191 			o1 = OP_IRR(opirr(ALAST), v>>16, REGZERO, REGTMP);
1192 		o2 = OP_SRR(opirr(ASLL), 2, p->from.reg, p->from.reg);
1193 		o3 = OP_RRR(oprrr(AADD), p->from.reg, REGTMP, REGTMP);
1194 		o4 = OP_IRR(opirr(AMOVW+ALAST), v, REGTMP, REGTMP);
1195 		o5 = OP_RRR(oprrr(ANOR), REGZERO, REGZERO, REGZERO);
1196 		o6 = OP_RRR(oprrr(AJMP), 0, REGTMP, REGZERO);
1197 		o7 = OP_RRR(oprrr(ANOR), REGZERO, REGZERO, REGZERO);
1198 		break;
1199 
1200 	case 46:	/* bcase $con,lbra */
1201 		if(p->cond == P)
1202 			v = p->pc;
1203 		else
1204 			v = p->cond->pc;
1205 		o1 = v;
1206 		break;
1207 	}
1208 	if(aflag)
1209 		return o1;
1210 	v = p->pc;
1211 	switch(o->size) {
1212 	default:
1213 		if(debug['a'])
1214 			Bprint(&bso, " %.8lux:\t\t%P\n", v, p);
1215 		break;
1216 	case 4:
1217 		if(debug['a'])
1218 			Bprint(&bso, " %.8lux: %.8lux\t%P\n", v, o1, p);
1219 		LPUT(o1);
1220 		break;
1221 	case 8:
1222 		if(debug['a'])
1223 			Bprint(&bso, " %.8lux: %.8lux %.8lux%P\n", v, o1, o2, p);
1224 		LPUT(o1);
1225 		LPUT(o2);
1226 		break;
1227 	case 12:
1228 		if(debug['a'])
1229 			Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux%P\n", v, o1, o2, o3, p);
1230 		LPUT(o1);
1231 		LPUT(o2);
1232 		LPUT(o3);
1233 		break;
1234 	case 16:
1235 		if(debug['a'])
1236 			Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux%P\n",
1237 				v, o1, o2, o3, o4, p);
1238 		LPUT(o1);
1239 		LPUT(o2);
1240 		LPUT(o3);
1241 		LPUT(o4);
1242 		break;
1243 	case 20:
1244 		if(debug['a'])
1245 			Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux%P\n",
1246 				v, o1, o2, o3, o4, o5, p);
1247 		LPUT(o1);
1248 		LPUT(o2);
1249 		LPUT(o3);
1250 		LPUT(o4);
1251 		LPUT(o5);
1252 		break;
1253 
1254 	case 28:
1255 		if(debug['a'])
1256 			Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux %.8lux %.8lux%P\n",
1257 				v, o1, o2, o3, o4, o5, o6, o7, p);
1258 		LPUT(o1);
1259 		LPUT(o2);
1260 		LPUT(o3);
1261 		LPUT(o4);
1262 		LPUT(o5);
1263 		LPUT(o6);
1264 		LPUT(o7);
1265 		break;
1266 	}
1267 	return 0;
1268 }
1269 
1270 int
1271 isnop(Prog *p)
1272 {
1273 	if(p->as != ANOR)
1274 		return 0;
1275 	if(p->reg != REGZERO && p->reg != NREG)
1276 		return 0;
1277 	if(p->from.type != D_REG || p->from.reg != REGZERO)
1278 		return 0;
1279 	if(p->to.type != D_REG || p->to.reg != REGZERO)
1280 		return 0;
1281 	return 1;
1282 }
1283 
1284 long
1285 oprrr(int a)
1286 {
1287 	switch(a) {
1288 	case AADD:	return OP(4,0);
1289 	case AADDU:	return OP(4,1);
1290 	case ASGT:	return OP(5,2);
1291 	case ASGTU:	return OP(5,3);
1292 	case AAND:	return OP(4,4);
1293 	case AOR:	return OP(4,5);
1294 	case AXOR:	return OP(4,6);
1295 	case ASUB:	return OP(4,2);
1296 	case ASUBU:	return OP(4,3);
1297 	case ANOR:	return OP(4,7);
1298 	case ASLL:	return OP(0,4);
1299 	case ASRL:	return OP(0,6);
1300 	case ASRA:	return OP(0,7);
1301 
1302 	case AREM:
1303 	case ADIV:	return OP(3,2);
1304 	case AREMU:
1305 	case ADIVU:	return OP(3,3);
1306 	case AMUL:	return OP(3,0);
1307 	case AMULU:	return OP(3,1);
1308 
1309 	case AJMP:	return OP(1,0);
1310 	case AJAL:	return OP(1,1);
1311 
1312 	case ABREAK:	return OP(1,5);
1313 	case ASYSCALL:	return OP(1,4);
1314 	case ATLBP:	return MMU(1,0);
1315 	case ATLBR:	return MMU(0,1);
1316 	case ATLBWI:	return MMU(0,2);
1317 	case ATLBWR:	return MMU(0,6);
1318 	case ARFE:	return MMU(2,0);
1319 
1320 	case ADIVF:	return FPF(0,3);
1321 	case ADIVD:	return FPD(0,3);
1322 	case AMULF:	return FPF(0,2);
1323 	case AMULD:	return FPD(0,2);
1324 	case ASUBF:	return FPF(0,1);
1325 	case ASUBD:	return FPD(0,1);
1326 	case AADDF:	return FPF(0,0);
1327 	case AADDD:	return FPD(0,0);
1328 
1329 	case AMOVFW:	return FPF(4,4);
1330 	case AMOVDW:	return FPD(4,4);
1331 	case AMOVWF:	return FPW(4,0);
1332 	case AMOVDF:	return FPD(4,0);
1333 	case AMOVWD:	return FPW(4,1);
1334 	case AMOVFD:	return FPF(4,1);
1335 	case AABSF:	return FPF(0,5);
1336 	case AABSD:	return FPD(0,5);
1337 	case AMOVF:	return FPF(0,6);
1338 	case AMOVD:	return FPD(0,6);
1339 	case ANEGF:	return FPF(0,7);
1340 	case ANEGD:	return FPD(0,7);
1341 
1342 	case ACMPEQF:	return FPF(6,2);
1343 	case ACMPEQD:	return FPD(6,2);
1344 	case ACMPGTF:	return FPF(7,4);
1345 	case ACMPGTD:	return FPD(7,4);
1346 	case ACMPGEF:	return FPF(7,6);
1347 	case ACMPGED:	return FPD(7,6);
1348 
1349 	case ADIVV:	return OP(3,6);
1350 	case ADIVVU:	return OP(3,7);
1351 	case AADDV:	return OP(5,4);
1352 	case AADDVU:	return OP(5,5);
1353 	}
1354 	diag("bad rrr %d", a);
1355 	return 0;
1356 }
1357 
1358 long
1359 opirr(int a)
1360 {
1361 	switch(a) {
1362 	case AADD:	return SP(1,0);
1363 	case AADDU:	return SP(1,1);
1364 	case ASGT:	return SP(1,2);
1365 	case ASGTU:	return SP(1,3);
1366 	case AAND:	return SP(1,4);
1367 	case AOR:	return SP(1,5);
1368 	case AXOR:	return SP(1,6);
1369 	case ALAST:	return SP(1,7);
1370 	case ASLL:	return OP(0,0);
1371 	case ASRL:	return OP(0,2);
1372 	case ASRA:	return OP(0,3);
1373 
1374 	case AJMP:	return SP(0,2);
1375 	case AJAL:	return SP(0,3);
1376 	case ABEQ:	return SP(0,4);
1377 	case ABNE:	return SP(0,5);
1378 
1379 	case ABGEZ:	return SP(0,1)|BCOND(0,1);
1380 	case ABGEZAL:	return SP(0,1)|BCOND(2,1);
1381 	case ABGTZ:	return SP(0,7);
1382 	case ABLEZ:	return SP(0,6);
1383 	case ABLTZ:	return SP(0,1)|BCOND(0,0);
1384 	case ABLTZAL:	return SP(0,1)|BCOND(2,0);
1385 
1386 	case ABFPT:	return SP(2,1)|(257<<16);
1387 	case ABFPF:	return SP(2,1)|(256<<16);
1388 
1389 	case AMOVB:
1390 	case AMOVBU:	return SP(5,0);
1391 	case AMOVH:
1392 	case AMOVHU:	return SP(5,1);
1393 	case AMOVW:	return SP(5,3);
1394 	case AMOVV:	return SP(7,7);
1395 	case AMOVF:	return SP(7,1);
1396 	case AMOVWL:	return SP(5,2);
1397 	case AMOVWR:	return SP(5,6);
1398 	case AMOVVL:	return SP(5,4);
1399 	case AMOVVR:	return SP(5,5);
1400 
1401 	case ABREAK:	return SP(5,7);
1402 
1403 	case AMOVWL+ALAST:	return SP(4,2);
1404 	case AMOVWR+ALAST:	return SP(4,6);
1405 	case AMOVVL+ALAST:	return SP(3,2);
1406 	case AMOVVR+ALAST:	return SP(3,3);
1407 	case AMOVB+ALAST:	return SP(4,0);
1408 	case AMOVBU+ALAST:	return SP(4,4);
1409 	case AMOVH+ALAST:	return SP(4,1);
1410 	case AMOVHU+ALAST:	return SP(4,5);
1411 	case AMOVW+ALAST:	return SP(4,3);
1412 	case AMOVV+ALAST:	return SP(6,7);
1413 	case AMOVF+ALAST:	return SP(6,1);
1414 
1415 	case ASLLV:		return OP(7,0);
1416 	case ASRLV:		return OP(7,2);
1417 	case ASRAV:		return OP(7,3);
1418 	case ASLLV+ALAST:	return OP(7,4);
1419 	case ASRLV+ALAST:	return OP(7,6);
1420 	case ASRAV+ALAST:	return OP(7,7);
1421 
1422 	case AADDV:		return SP(3,0);
1423 	case AADDVU:		return SP(3,1);
1424 	}
1425 	diag("bad irr %d", a);
1426 abort();
1427 	return 0;
1428 }
1429 
1430 int
1431 vshift(int a)
1432 {
1433 	switch(a){
1434 	case ASLLV:		return 1;
1435 	case ASRLV:		return 1;
1436 	case ASRAV:		return 1;
1437 	}
1438 	return 0;
1439 }
1440