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