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