xref: /plan9-contrib/sys/src/cmd/kl/obj.c (revision d46c239f8612929b7dbade67d0d071633df3a15d)
1 #define	EXTERN
2 #include	"l.h"
3 #include	<ar.h>
4 
5 #ifndef	DEFAULT
6 #define	DEFAULT	'9'
7 #endif
8 
9 char	*noname		= "<none>";
10 char	symname[]	= SYMDEF;
11 char	thechar		= 'k';
12 char	*thestring 	= "sparc";
13 
14 /*
15  *	-H0 -T0x200000 -R0		is boot
16  *	-H2 -T4128 -R4096		is plan9 format
17  *	-H3 -T0xE0004000 -R4		is javastation boot format
18  */
19 
20 void
21 main(int argc, char *argv[])
22 {
23 	int c;
24 	char *a;
25 
26 	Binit(&bso, 1, OWRITE);
27 	cout = -1;
28 	listinit();
29 	outfile = 0;
30 	nerrors = 0;
31 	curtext = P;
32 	HEADTYPE = -1;
33 	INITTEXT = -1;
34 	INITDAT = -1;
35 	INITRND = -1;
36 	INITENTRY = 0;
37 
38 	ARGBEGIN {
39 	default:
40 		c = ARGC();
41 		if(c >= 0 && c < sizeof(debug))
42 			debug[c]++;
43 		break;
44 	case 'o':
45 		outfile = ARGF();
46 		break;
47 	case 'E':
48 		a = ARGF();
49 		if(a)
50 			INITENTRY = a;
51 		break;
52 	case 'T':
53 		a = ARGF();
54 		if(a)
55 			INITTEXT = atolwhex(a);
56 		break;
57 	case 'D':
58 		a = ARGF();
59 		if(a)
60 			INITDAT = atolwhex(a);
61 		break;
62 	case 'R':
63 		a = ARGF();
64 		if(a)
65 			INITRND = atolwhex(a);
66 		break;
67 	case 'H':
68 		a = ARGF();
69 		if(a)
70 			HEADTYPE = atolwhex(a);
71 		break;
72 	} ARGEND
73 	USED(argc);
74 	if(*argv == 0) {
75 		diag("usage: vl [-options] objects\n");
76 		errorexit();
77 	}
78 	if(!debug['9'] && !debug['U'] && !debug['B'])
79 		debug[DEFAULT] = 1;
80 	if(HEADTYPE == -1) {
81 		if(debug['U'])
82 			HEADTYPE = 0;
83 		if(debug['B'])
84 			HEADTYPE = 1;
85 		if(debug['9'])
86 			HEADTYPE = 2;
87 	}
88 	switch(HEADTYPE) {
89 	default:
90 		diag("unknown -H option");
91 		errorexit();
92 
93 	case 0:	/* boot */
94 		HEADR = 32L;
95 		if(INITTEXT == -1)
96 			INITTEXT = 0x200000L;
97 		if(INITDAT == -1)
98 			INITDAT = 0;
99 		if(INITRND == -1)
100 			INITRND = 4096L;
101 		break;
102 	case 1:	/* garbage */
103 		HEADR = 20L+60L;
104 		if(INITTEXT == -1)
105 			INITTEXT = 0x80020000L;
106 		if(INITDAT == -1)
107 			INITDAT = 0;
108 		if(INITRND == -1)
109 			INITRND = 4;
110 		break;
111 	case 2:	/* plan 9 */
112 		HEADR = 32L;
113 		if(INITTEXT == -1)
114 			INITTEXT = 4128;
115 		if(INITDAT == -1)
116 			INITDAT = 0;
117 		if(INITRND == -1)
118 			INITRND = 4096;
119 		break;
120 	case 3:	/* javastation boot */
121 		HEADR = 32L;
122 		if(INITTEXT == -1)
123 			INITTEXT = 0xE0004020L;
124 		if(INITDAT == -1)
125 			INITDAT = 0;
126 		if(INITRND == -1)
127 			INITRND = 4;
128 		break;
129 	}
130 	if(INITDAT != 0 && INITRND != 0)
131 		print("warning: -D0x%lux is ignored because of -R0x%lux\n",
132 			INITDAT, INITRND);
133 	if(debug['v'])
134 		Bprint(&bso, "HEADER = -H0x%d -T0x%lux -D0x%lux -R0x%lux\n",
135 			HEADTYPE, INITTEXT, INITDAT, INITRND);
136 	Bflush(&bso);
137 	zprg.as = AGOK;
138 	zprg.reg = NREG;
139 	zprg.from.name = D_NONE;
140 	zprg.from.type = D_NONE;
141 	zprg.from.reg = NREG;
142 	zprg.to = zprg.from;
143 	buildop();
144 	histgen = 0;
145 	textp = P;
146 	datap = P;
147 	pc = 0;
148 	dtype = 4;
149 	if(outfile == 0)
150 		outfile = "k.out";
151 	cout = create(outfile, 1, 0775);
152 	if(cout < 0) {
153 		diag("%s: cannot create\n", outfile);
154 		errorexit();
155 	}
156 	nuxiinit();
157 	version = 0;
158 	cbp = buf.cbuf;
159 	cbc = sizeof(buf.cbuf);
160 	firstp = prg();
161 	lastp = firstp;
162 
163 	if(INITENTRY == 0) {
164 		INITENTRY = "_main";
165 		if(debug['p'])
166 			INITENTRY = "_mainp";
167 		if(!debug['l'])
168 			lookup(INITENTRY, 0)->type = SXREF;
169 	} else
170 		lookup(INITENTRY, 0)->type = SXREF;
171 
172 	while(*argv)
173 		objfile(*argv++);
174 	if(!debug['l'])
175 		loadlib();
176 	firstp = firstp->link;
177 	if(firstp == P)
178 		goto out;
179 	patch();
180 	if(debug['p'])
181 		if(debug['1'])
182 			doprof1();
183 		else
184 			doprof2();
185 	dodata();
186 	follow();
187 	if(firstp == P)
188 		goto out;
189 	noops();
190 	span();
191 	asmb();
192 	undef();
193 
194 out:
195 	if(debug['v']) {
196 		Bprint(&bso, "%5.2f cpu time\n", cputime());
197 		Bprint(&bso, "%ld memory used\n", tothunk);
198 		Bprint(&bso, "%d sizeof adr\n", sizeof(Adr));
199 		Bprint(&bso, "%d sizeof prog\n", sizeof(Prog));
200 	}
201 	errorexit();
202 }
203 
204 void
205 loadlib(void)
206 {
207 	int i;
208 	long h;
209 	Sym *s;
210 
211 loop:
212 	xrefresolv = 0;
213 	for(i=0; i<libraryp; i++) {
214 		if(debug['v'])
215 			Bprint(&bso, "%5.2f autolib: %s\n", cputime(), library[i]);
216 		objfile(library[i]);
217 	}
218 	if(xrefresolv)
219 	for(h=0; h<nelem(hash); h++)
220 	for(s = hash[h]; s != S; s = s->link)
221 		if(s->type == SXREF)
222 			goto loop;
223 }
224 
225 void
226 errorexit(void)
227 {
228 
229 	Bflush(&bso);
230 	if(nerrors) {
231 		if(cout >= 0)
232 			remove(outfile);
233 		exits("error");
234 	}
235 	exits(0);
236 }
237 
238 void
239 objfile(char *file)
240 {
241 	long off, esym, cnt, l;
242 	int f, work;
243 	Sym *s;
244 	char magbuf[SARMAG];
245 	char name[100], pname[150];
246 	struct ar_hdr arhdr;
247 	char *e, *start, *stop;
248 
249 	if(file[0] == '-' && file[1] == 'l') {
250 		if(debug['9'])
251 			sprint(name, "/%s/lib/lib", thestring);
252 		else
253 			sprint(name, "/usr/%clib/lib", thechar);
254 		strcat(name, file+2);
255 		strcat(name, ".a");
256 		file = name;
257 	}
258 	if(debug['v'])
259 		Bprint(&bso, "%5.2f ldobj: %s\n", cputime(), file);
260 	Bflush(&bso);
261 	f = open(file, 0);
262 	if(f < 0) {
263 		diag("cannot open file: %s\n", file);
264 		errorexit();
265 	}
266 	l = read(f, magbuf, SARMAG);
267 	if(l != SARMAG || strncmp(magbuf, ARMAG, SARMAG)){
268 		/* load it as a regular file */
269 		l = seek(f, 0L, 2);
270 		seek(f, 0L, 0);
271 		ldobj(f, l, file);
272 		close(f);
273 		return;
274 	}
275 
276 	l = read(f, &arhdr, SAR_HDR);
277 	if(l != SAR_HDR) {
278 		diag("%s: short read on archive file symbol header\n", file);
279 		goto out;
280 	}
281 	if(strncmp(arhdr.name, symname, strlen(symname))) {
282 		diag("%s: first entry not symbol header\n", file);
283 		goto out;
284 	}
285 
286 	esym = SARMAG + SAR_HDR + atolwhex(arhdr.size);
287 	off = SARMAG + SAR_HDR;
288 
289 	/*
290 	 * just bang the whole symbol file into memory
291 	 */
292 	seek(f, off, 0);
293 	cnt = esym - off;
294 	start = malloc(cnt + 10);
295 	cnt = read(f, start, cnt);
296 	if(cnt <= 0){
297 		close(f);
298 		return;
299 	}
300 	stop = &start[cnt];
301 	memset(stop, 0, 10);
302 
303 	work = 1;
304 	while(work){
305 		if(debug['v'])
306 			Bprint(&bso, "%5.2f library pass: %s\n", cputime(), file);
307 		Bflush(&bso);
308 		work = 0;
309 		for(e = start; e < stop; e = strchr(e+5, 0) + 1) {
310 			s = lookup(e+5, 0);
311 			if(s->type != SXREF)
312 				continue;
313 			sprint(pname, "%s(%s)", file, s->name);
314 			if(debug['v'])
315 				Bprint(&bso, "%5.2f library: %s\n", cputime(), pname);
316 			Bflush(&bso);
317 			l = e[1] & 0xff;
318 			l |= (e[2] & 0xff) << 8;
319 			l |= (e[3] & 0xff) << 16;
320 			l |= (e[4] & 0xff) << 24;
321 			seek(f, l, 0);
322 			l = read(f, &arhdr, SAR_HDR);
323 			if(l != SAR_HDR)
324 				goto bad;
325 			if(strncmp(arhdr.fmag, ARFMAG, sizeof(arhdr.fmag)))
326 				goto bad;
327 			l = atolwhex(arhdr.size);
328 			ldobj(f, l, pname);
329 			if(s->type == SXREF) {
330 				diag("%s: failed to load: %s\n", file, s->name);
331 				errorexit();
332 			}
333 			work = 1;
334 			xrefresolv = 1;
335 		}
336 	}
337 	return;
338 
339 bad:
340 	diag("%s: bad or out of date archive\n", file);
341 out:
342 	close(f);
343 }
344 
345 int
346 zaddr(uchar *p, Adr *a, Sym *h[])
347 {
348 	int i, c;
349 	long l;
350 	Sym *s;
351 	Auto *u;
352 
353 	c = p[2];
354 	if(c < 0 || c > NSYM){
355 		print("sym out of range: %d\n", c);
356 		p[0] = AEND+1;
357 		return 0;
358 	}
359 	a->type = p[0];
360 	a->reg = p[1];
361 	a->sym = h[c];
362 	a->name = p[3];
363 	c = 4;
364 
365 	if(a->reg < 0 || a->reg > NREG) {
366 		print("register out of range %d\n", a->reg);
367 		p[0] = AEND+1;
368 		return 0;	/*  force real diagnostic */
369 	}
370 
371 	switch(a->type) {
372 	default:
373 		print("unknown type %d\n", a->type);
374 		p[0] = AEND+1;
375 		return 0;	/* force real diagnostic */
376 
377 	case D_NONE:
378 	case D_REG:
379 	case D_FREG:
380 	case D_CREG:
381 	case D_PREG:
382 		break;
383 
384 	case D_BRANCH:
385 	case D_OREG:
386 	case D_ASI:
387 	case D_CONST:
388 		a->offset = p[4] | (p[5]<<8) |
389 			(p[6]<<16) | (p[7]<<24);
390 		c += 4;
391 		break;
392 
393 	case D_SCONST:
394 		memmove(a->sval, p+4, NSNAME);
395 		c += NSNAME;
396 		break;
397 
398 	case D_FCONST:
399 		a->ieee.l = p[4] | (p[5]<<8) |
400 			(p[6]<<16) | (p[7]<<24);
401 		a->ieee.h = p[8] | (p[9]<<8) |
402 			(p[10]<<16) | (p[11]<<24);
403 		c += 8;
404 		break;
405 	}
406 	s = a->sym;
407 	if(s == S)
408 		goto out;
409 	i = a->name;
410 	if(i != D_AUTO && i != D_PARAM)
411 		goto out;
412 
413 	l = a->offset;
414 	for(u=curauto; u; u=u->link)
415 		if(u->asym == s)
416 		if(u->type == i) {
417 			if(u->aoffset > l)
418 				u->aoffset = l;
419 			goto out;
420 		}
421 
422 	u = malloc(sizeof(Auto));
423 
424 	u->link = curauto;
425 	curauto = u;
426 	u->asym = s;
427 	u->aoffset = l;
428 	u->type = i;
429 out:
430 	return c;
431 }
432 
433 void
434 addlib(char *obj)
435 {
436 	char name[1024], comp[256], *p;
437 	int i;
438 
439 	if(histfrogp <= 0)
440 		return;
441 
442 	if(histfrog[0]->name[1] == '/') {
443 		sprint(name, "");
444 		i = 1;
445 	} else
446 	if(histfrog[0]->name[1] == '.') {
447 		sprint(name, ".");
448 		i = 0;
449 	} else {
450 		if(debug['9'])
451 			sprint(name, "/%s/lib", thestring);
452 		else
453 			sprint(name, "/usr/%clib", thechar);
454 		i = 0;
455 	}
456 
457 	for(; i<histfrogp; i++) {
458 		snprint(comp, sizeof comp, histfrog[i]->name+1);
459 		for(;;) {
460 			p = strstr(comp, "$O");
461 			if(p == 0)
462 				break;
463 			memmove(p+1, p+2, strlen(p+2)+1);
464 			p[0] = thechar;
465 		}
466 		for(;;) {
467 			p = strstr(comp, "$M");
468 			if(p == 0)
469 				break;
470 			if(strlen(comp)+strlen(thestring)-2+1 >= sizeof comp) {
471 				diag("library component too long");
472 				return;
473 			}
474 			memmove(p+strlen(thestring), p+2, strlen(p+2)+1);
475 			memmove(p, thestring, strlen(thestring));
476 		}
477 		if(strlen(name) + strlen(comp) + 3 >= sizeof(name)) {
478 			diag("library component too long");
479 			return;
480 		}
481 		strcat(name, "/");
482 		strcat(name, comp);
483 	}
484 	for(i=0; i<libraryp; i++)
485 		if(strcmp(name, library[i]) == 0)
486 			return;
487 	if(libraryp == nelem(library)){
488 		diag("too many autolibs; skipping %s", name);
489 		return;
490 	}
491 
492 	p = malloc(strlen(name) + 1);
493 	strcpy(p, name);
494 	library[libraryp] = p;
495 	p = malloc(strlen(obj) + 1);
496 	strcpy(p, obj);
497 	libraryobj[libraryp] = p;
498 	libraryp++;
499 }
500 
501 void
502 addhist(long line, int type)
503 {
504 	Auto *u;
505 	Sym *s;
506 	int i, j, k;
507 
508 	u = malloc(sizeof(Auto));
509 	s = malloc(sizeof(Sym));
510 	s->name = malloc(2*(histfrogp+1) + 1);
511 
512 	u->asym = s;
513 	u->type = type;
514 	u->aoffset = line;
515 	u->link = curhist;
516 	curhist = u;
517 
518 	j = 1;
519 	for(i=0; i<histfrogp; i++) {
520 		k = histfrog[i]->value;
521 		s->name[j+0] = k>>8;
522 		s->name[j+1] = k;
523 		j += 2;
524 	}
525 }
526 
527 void
528 histtoauto(void)
529 {
530 	Auto *l;
531 
532 	while(l = curhist) {
533 		curhist = l->link;
534 		l->link = curauto;
535 		curauto = l;
536 	}
537 }
538 
539 void
540 collapsefrog(Sym *s)
541 {
542 	int i;
543 
544 	/*
545 	 * bad encoding of path components only allows
546 	 * MAXHIST components. if there is an overflow,
547 	 * first try to collapse xxx/..
548 	 */
549 	for(i=1; i<histfrogp; i++)
550 		if(strcmp(histfrog[i]->name+1, "..") == 0) {
551 			memmove(histfrog+i-1, histfrog+i+1,
552 				(histfrogp-i-1)*sizeof(histfrog[0]));
553 			histfrogp--;
554 			goto out;
555 		}
556 
557 	/*
558 	 * next try to collapse .
559 	 */
560 	for(i=0; i<histfrogp; i++)
561 		if(strcmp(histfrog[i]->name+1, ".") == 0) {
562 			memmove(histfrog+i, histfrog+i+1,
563 				(histfrogp-i-1)*sizeof(histfrog[0]));
564 			goto out;
565 		}
566 
567 	/*
568 	 * last chance, just truncate from front
569 	 */
570 	memmove(histfrog+0, histfrog+1,
571 		(histfrogp-1)*sizeof(histfrog[0]));
572 
573 out:
574 	histfrog[histfrogp-1] = s;
575 }
576 
577 void
578 nopout(Prog *p)
579 {
580 	p->as = ANOP;
581 	p->from.type = D_NONE;
582 	p->to.type = D_NONE;
583 }
584 
585 uchar*
586 readsome(int f, uchar *buf, uchar *good, uchar *stop, int max)
587 {
588 	int n;
589 
590 	n = stop - good;
591 	memmove(buf, good, stop - good);
592 	stop = buf + n;
593 	n = MAXIO - n;
594 	if(n > max)
595 		n = max;
596 	n = read(f, stop, n);
597 	if(n <= 0)
598 		return 0;
599 	return stop + n;
600 }
601 
602 void
603 ldobj(int f, long c, char *pn)
604 {
605 	Prog *p, *t;
606 	Sym *h[NSYM], *s, *di;
607 	int v, o, r, skip;
608 	long ipc;
609 	uchar *bloc, *bsize, *stop;
610 
611 	bsize = buf.xbuf;
612 	bloc = buf.xbuf;
613 	di = S;
614 
615 newloop:
616 	memset(h, 0, sizeof(h));
617 	histfrogp = 0;
618 	version++;
619 	ipc = pc;
620 	skip = 0;
621 
622 loop:
623 	if(c <= 0)
624 		goto eof;
625 	r = bsize - bloc;
626 	if(r < 100 && r < c) {		/* enough for largest prog */
627 		bsize = readsome(f, buf.xbuf, bloc, bsize, c);
628 		if(bsize == 0)
629 			goto eof;
630 		bloc = buf.xbuf;
631 		goto loop;
632 	}
633 	o = bloc[0];		/* as */
634 	if(o <= 0 || o >= ALAST) {
635 		diag("%s: opcode out of range %d\n", pn, o);
636 		print("	probably not a .k file\n");
637 		errorexit();
638 	}
639 	if(o == ANAME) {
640 		stop = memchr(&bloc[3], 0, bsize-&bloc[3]);
641 		if(stop == 0){
642 			bsize = readsome(f, buf.xbuf, bloc, bsize, c);
643 			if(bsize == 0)
644 				goto eof;
645 			bloc = buf.xbuf;
646 			stop = memchr(&bloc[3], 0, bsize-&bloc[3]);
647 			if(stop == 0){
648 				fprint(2, "%s: name too long\n", pn);
649 				errorexit();
650 			}
651 		}
652 		v = bloc[1];	/* type */
653 		o = bloc[2];	/* sym */
654 		bloc += 3;
655 		c -= 3;
656 
657 		r = 0;
658 		if(v == D_STATIC)
659 			r = version;
660 		s = lookup((char*)bloc, r);
661 		c -= &stop[1] - bloc;
662 		bloc = stop + 1;
663 
664 		if(debug['W'])
665 			print("	ANAME	%s\n", s->name);
666 		h[o] = s;
667 		if((v == D_EXTERN || v == D_STATIC) && s->type == 0)
668 			s->type = SXREF;
669 		if(v == D_FILE) {
670 			if(s->type != SFILE) {
671 				histgen++;
672 				s->type = SFILE;
673 				s->value = histgen;
674 			}
675 			if(histfrogp < MAXHIST) {
676 				histfrog[histfrogp] = s;
677 				histfrogp++;
678 			} else
679 				collapsefrog(s);
680 		}
681 		goto loop;
682 	}
683 
684 	if(nhunk < sizeof(Prog))
685 		gethunk();
686 	p = (Prog*)hunk;
687 	nhunk -= sizeof(Prog);
688 	hunk += sizeof(Prog);
689 
690 	p->as = o;
691 	p->reg = bloc[1] & 0x7f;
692 	if(bloc[1] & 0x80)
693 		p->mark = NOSCHED;
694 	p->line = bloc[2] | (bloc[3]<<8) | (bloc[4]<<16) | (bloc[5]<<24);
695 	r = zaddr(bloc+6, &p->from, h) + 6;
696 	r += zaddr(bloc+r, &p->to, h);
697 	bloc += r;
698 	c -= r;
699 
700 	if(p->reg < 0 || p->reg > NREG)
701 		diag("register out of range %d\n", p->reg);
702 
703 	p->link = P;
704 	p->cond = P;
705 
706 	if(debug['W'])
707 		print("%P\n", p);
708 
709 	switch(o) {
710 	case AHISTORY:
711 		if(p->to.offset == -1) {
712 			addlib(pn);
713 			histfrogp = 0;
714 			goto loop;
715 		}
716 		addhist(p->line, D_FILE);		/* 'z' */
717 		if(p->to.offset)
718 			addhist(p->to.offset, D_FILE1);	/* 'Z' */
719 		histfrogp = 0;
720 		goto loop;
721 
722 	case AEND:
723 		histtoauto();
724 		if(curtext != P)
725 			curtext->to.autom = curauto;
726 		curauto = 0;
727 		curtext = P;
728 		if(c)
729 			goto newloop;
730 		return;
731 
732 	case AGLOBL:
733 		s = p->from.sym;
734 		if(s == S) {
735 			diag("GLOBL must have a name\n%P\n", p);
736 			errorexit();
737 		}
738 		if(s->type == 0 || s->type == SXREF) {
739 			s->type = SBSS;
740 			s->value = 0;
741 		}
742 		if(s->type != SBSS) {
743 			diag("redefinition: %s\n%P\n", s->name, p);
744 			s->type = SBSS;
745 			s->value = 0;
746 		}
747 		if(p->to.offset > s->value)
748 			s->value = p->to.offset;
749 		break;
750 
751 	case ADYNT:
752 		if(p->to.sym == S) {
753 			diag("DYNT without a sym\n%P\n", p);
754 			break;
755 		}
756 		di = p->to.sym;
757 		p->reg = 4;
758 		if(di->type == SXREF) {
759 			if(debug['z'])
760 				Bprint(&bso, "%P set to %d\n", p, dtype);
761 			di->type = SCONST;
762 			di->value = dtype;
763 			dtype += 4;
764 		}
765 		if(p->from.sym == S)
766 			break;
767 
768 		p->from.offset = di->value;
769 		p->from.sym->type = SDATA;
770 		if(curtext == P) {
771 			diag("DYNT not in text: %P\n", p);
772 			break;
773 		}
774 		p->to.sym = curtext->from.sym;
775 		p->to.type = D_CONST;
776 		p->link = datap;
777 		datap = p;
778 		break;
779 
780 	case AINIT:
781 		if(p->from.sym == S) {
782 			diag("INIT without a sym\n%P\n", p);
783 			break;
784 		}
785 		if(di == S) {
786 			diag("INIT without previous DYNT\n%P\n", p);
787 			break;
788 		}
789 		p->from.offset = di->value;
790 		p->from.sym->type = SDATA;
791 		p->link = datap;
792 		datap = p;
793 		break;
794 
795 	case ADATA:
796 		p->link = datap;
797 		datap = p;
798 		break;
799 
800 	case AGOK:
801 		diag("unknown opcode\n%P\n", p);
802 		p->pc = pc;
803 		pc++;
804 		break;
805 
806 	case ATEXT:
807 		if(curtext != P) {
808 			histtoauto();
809 			curtext->to.autom = curauto;
810 			curauto = 0;
811 		}
812 		curtext = p;
813 		autosize = (p->to.offset+3L) & ~3L;
814 		p->to.offset = autosize;
815 		autosize += 4;
816 		s = p->from.sym;
817 		if(s == S) {
818 			diag("TEXT must have a name\n%P\n", p);
819 			errorexit();
820 		}
821 		if(s->type != 0 && s->type != SXREF) {
822 			if(p->reg & DUPOK) {
823 				skip = 1;
824 				goto casedef;
825 			}
826 			diag("redefinition: %s\n%P\n", s->name, p);
827 		}
828 		s->type = STEXT;
829 		s->value = pc;
830 		if(textp != P) {
831 			for(t = textp; t->cond != P; t = t->cond)
832 				;
833 			t->cond = p;
834 		} else
835 			textp = p;
836 		lastp->link = p;
837 		lastp = p;
838 		p->pc = pc;
839 		pc++;
840 		break;
841 
842 	case AFMOVF:
843 		if(skip)
844 			goto casedef;
845 
846 		if(p->from.type == D_FCONST) {
847 			/* size sb 9 max */
848 			sprint(literal, "$%lux", ieeedtof(&p->from.ieee));
849 			s = lookup(literal, 0);
850 			if(s->type == 0) {
851 				s->type = SBSS;
852 				s->value = 4;
853 				t = prg();
854 				t->as = ADATA;
855 				t->line = p->line;
856 				t->from.type = D_OREG;
857 				t->from.sym = s;
858 				t->from.name = D_EXTERN;
859 				t->reg = 4;
860 				t->to = p->from;
861 				t->link = datap;
862 				datap = t;
863 			}
864 			p->from.type = D_OREG;
865 			p->from.sym = s;
866 			p->from.name = D_EXTERN;
867 			p->from.offset = 0;
868 		}
869 		goto casedef;
870 
871 	case AFMOVD:
872 		if(skip)
873 			goto casedef;
874 		if(p->from.type == D_FCONST) {
875 			/* size sb 18 max */
876 			sprint(literal, "$%lux.%lux",
877 				p->from.ieee.l, p->from.ieee.h);
878 			s = lookup(literal, 0);
879 			if(s->type == 0) {
880 				s->type = SBSS;
881 				s->value = 8;
882 				t = prg();
883 				t->as = ADATA;
884 				t->line = p->line;
885 				t->from.type = D_OREG;
886 				t->from.sym = s;
887 				t->from.name = D_EXTERN;
888 				t->reg = 8;
889 				t->to = p->from;
890 				t->link = datap;
891 				datap = t;
892 			}
893 			p->from.type = D_OREG;
894 			p->from.sym = s;
895 			p->from.name = D_EXTERN;
896 			p->from.offset = 0;
897 		}
898 		goto casedef;
899 
900 	default:
901 	casedef:
902 		if(skip)
903 			nopout(p);
904 
905 		if(p->to.type == D_BRANCH)
906 			p->to.offset += ipc;
907 		lastp->link = p;
908 		lastp = p;
909 		p->pc = pc;
910 		pc++;
911 		break;
912 	}
913 	goto loop;
914 
915 eof:
916 	diag("truncated object file: %s\n", pn);
917 }
918 
919 Sym*
920 lookup(char *symb, int v)
921 {
922 	Sym *s;
923 	char *p;
924 	long h;
925 	int c, l;
926 
927 	h = v;
928 	for(p=symb; c = *p; p++)
929 		h = h+h+h + c;
930 	l = (p - symb) + 1;
931 	if(h < 0)
932 		h = ~h;
933 	h %= NHASH;
934 	for(s = hash[h]; s != S; s = s->link)
935 		if(s->version == v)
936 		if(memcmp(s->name, symb, l) == 0)
937 			return s;
938 
939 	while(nhunk < sizeof(Sym))
940 		gethunk();
941 	s = (Sym*)hunk;
942 	nhunk -= sizeof(Sym);
943 	hunk += sizeof(Sym);
944 
945 	s->name = malloc(l + 1);
946 	memmove(s->name, symb, l);
947 
948 	s->link = hash[h];
949 	s->type = 0;
950 	s->version = v;
951 	s->value = 0;
952 	hash[h] = s;
953 	return s;
954 }
955 
956 Prog*
957 prg(void)
958 {
959 	Prog *p;
960 	int n;
961 
962 	n = (sizeof(Prog) + 3) & ~3;
963 	while(nhunk < n)
964 		gethunk();
965 
966 	p = (Prog*)hunk;
967 	nhunk -= n;
968 	hunk += n;
969 
970 	*p = zprg;
971 	return p;
972 }
973 
974 void
975 gethunk(void)
976 {
977 	char *h;
978 
979 	h = mysbrk((int)NHUNK);
980 	if(h == (char *)-1) {
981 		diag("out of memory\n");
982 		errorexit();
983 	}
984 
985 	hunk = h;
986 	nhunk = NHUNK;
987 	tothunk += NHUNK;
988 }
989 
990 void
991 doprof1(void)
992 {
993 	Sym *s;
994 	long n;
995 	Prog *p, *q;
996 
997 	if(debug['v'])
998 		Bprint(&bso, "%5.2f profile 1\n", cputime());
999 	Bflush(&bso);
1000 	s = lookup("__mcount", 0);
1001 	n = 1;
1002 	for(p = firstp->link; p != P; p = p->link) {
1003 		if(p->as == ATEXT) {
1004 			q = prg();
1005 			q->line = p->line;
1006 			q->link = datap;
1007 			datap = q;
1008 			q->as = ADATA;
1009 			q->from.type = D_OREG;
1010 			q->from.name = D_EXTERN;
1011 			q->from.offset = n*4;
1012 			q->from.sym = s;
1013 			q->reg = 4;
1014 			q->to = p->from;
1015 			q->to.type = D_CONST;
1016 
1017 			q = prg();
1018 			q->line = p->line;
1019 			q->pc = p->pc;
1020 			q->link = p->link;
1021 			p->link = q;
1022 			p = q;
1023 			p->as = AMOVW;
1024 			p->from.type = D_OREG;
1025 			p->from.name = D_EXTERN;
1026 			p->from.sym = s;
1027 			p->from.offset = n*4 + 4;
1028 			p->to.type = D_REG;
1029 			p->to.reg = REGTMP;
1030 
1031 			q = prg();
1032 			q->line = p->line;
1033 			q->pc = p->pc;
1034 			q->link = p->link;
1035 			p->link = q;
1036 			p = q;
1037 			p->as = AADD;
1038 			p->from.type = D_CONST;
1039 			p->from.offset = 1;
1040 			p->to.type = D_REG;
1041 			p->to.reg = REGTMP;
1042 
1043 			q = prg();
1044 			q->line = p->line;
1045 			q->pc = p->pc;
1046 			q->link = p->link;
1047 			p->link = q;
1048 			p = q;
1049 			p->as = AMOVW;
1050 			p->from.type = D_REG;
1051 			p->from.reg = REGTMP;
1052 			p->to.type = D_OREG;
1053 			p->to.name = D_EXTERN;
1054 			p->to.sym = s;
1055 			p->to.offset = n*4 + 4;
1056 
1057 			n += 2;
1058 			continue;
1059 		}
1060 	}
1061 	q = prg();
1062 	q->line = 0;
1063 	q->link = datap;
1064 	datap = q;
1065 
1066 	q->as = ADATA;
1067 	q->from.type = D_OREG;
1068 	q->from.name = D_EXTERN;
1069 	q->from.sym = s;
1070 	q->reg = 4;
1071 	q->to.type = D_CONST;
1072 	q->to.offset = n;
1073 
1074 	s->type = SBSS;
1075 	s->value = n*4;
1076 }
1077 
1078 void
1079 doprof2(void)
1080 {
1081 	Sym *s2, *s4;
1082 	Prog *p, *q, *ps2, *ps4;
1083 
1084 	if(debug['v'])
1085 		Bprint(&bso, "%5.2f profile 2\n", cputime());
1086 	Bflush(&bso);
1087 
1088 	s2 = lookup("_profin", 0);
1089 	s4 = lookup("_profout", 0);
1090 	if(s2->type != STEXT || s4->type != STEXT) {
1091 		diag("_profin/_profout not defined\n");
1092 		return;
1093 	}
1094 
1095 	ps2 = P;
1096 	ps4 = P;
1097 	for(p = firstp; p != P; p = p->link) {
1098 		if(p->as == ATEXT) {
1099 			if(p->from.sym == s2) {
1100 				p->reg = 1;
1101 				ps2 = p;
1102 			}
1103 			if(p->from.sym == s4) {
1104 				p->reg = 1;
1105 				ps4 = p;
1106 			}
1107 		}
1108 	}
1109 	for(p = firstp; p != P; p = p->link) {
1110 		if(p->as == ATEXT) {
1111 			curtext = p;
1112 
1113 			if(p->reg & NOPROF) {	/* dont profile */
1114 				for(;;) {
1115 					q = p->link;
1116 					if(q == P)
1117 						break;
1118 					if(q->as == ATEXT)
1119 						break;
1120 					p = q;
1121 				}
1122 				continue;
1123 			}
1124 
1125 			/*
1126 			 * JMPL	profin
1127 			 */
1128 			q = prg();
1129 			q->line = p->line;
1130 			q->pc = p->pc;
1131 			q->link = p->link;
1132 			p->link = q;
1133 			p = q;
1134 			p->as = AJMPL;
1135 			p->to.type = D_BRANCH;
1136 			p->cond = ps2;
1137 			p->to.sym = s2;
1138 
1139 			continue;
1140 		}
1141 		if(p->as == ARETURN) {
1142 
1143 			/*
1144 			 * RETURN
1145 			 */
1146 			q = prg();
1147 			q->as = ARETURN;
1148 			q->from = p->from;
1149 			q->to = p->to;
1150 			q->link = p->link;
1151 			p->link = q;
1152 
1153 			/*
1154 			 * JMPL profout
1155 			 */
1156 			p->as = AJMPL;
1157 			p->from = zprg.from;
1158 			p->to = zprg.to;
1159 			p->to.type = D_BRANCH;
1160 			p->cond = ps4;
1161 			p->to.sym = s4;
1162 
1163 			p = q;
1164 
1165 			continue;
1166 		}
1167 	}
1168 }
1169 
1170 void
1171 nuxiinit(void)
1172 {
1173 	int i, c;
1174 
1175 	for(i=0; i<4; i++) {
1176 		c = find1(0x01020304L, i+1);
1177 		if(i >= 2)
1178 			inuxi2[i-2] = c;
1179 		if(i >= 3)
1180 			inuxi1[i-3] = c;
1181 		inuxi4[i] = c;
1182 
1183 		fnuxi8[i] = c+4;
1184 		fnuxi8[i+4] = c;
1185 	}
1186 	if(debug['v']) {
1187 		Bprint(&bso, "inuxi = ");
1188 		for(i=0; i<1; i++)
1189 			Bprint(&bso, "%d", inuxi1[i]);
1190 		Bprint(&bso, " ");
1191 		for(i=0; i<2; i++)
1192 			Bprint(&bso, "%d", inuxi2[i]);
1193 		Bprint(&bso, " ");
1194 		for(i=0; i<4; i++)
1195 			Bprint(&bso, "%d", inuxi4[i]);
1196 		Bprint(&bso, "\nfnuxi = ");
1197 		for(i=0; i<8; i++)
1198 			Bprint(&bso, "%d", fnuxi8[i]);
1199 		Bprint(&bso, "\n");
1200 	}
1201 	Bflush(&bso);
1202 }
1203 
1204 int
1205 find1(long l, int c)
1206 {
1207 	char *p;
1208 	int i;
1209 
1210 	p = (char*)&l;
1211 	for(i=0; i<4; i++)
1212 		if(*p++ == c)
1213 			return i;
1214 	return 0;
1215 }
1216 
1217 long
1218 ieeedtof(Ieee *ieeep)
1219 {
1220 	int exp;
1221 	long v;
1222 
1223 	if(ieeep->h == 0)
1224 		return 0;
1225 	exp = (ieeep->h>>20) & ((1L<<11)-1L);
1226 	exp -= (1L<<10) - 2L;
1227 	v = (ieeep->h & 0xfffffL) << 3;
1228 	v |= (ieeep->l >> 29) & 0x7L;
1229 	if((ieeep->l >> 28) & 1) {
1230 		v++;
1231 		if(v & 0x800000L) {
1232 			v = (v & 0x7fffffL) >> 1;
1233 			exp++;
1234 		}
1235 	}
1236 	if(exp <= -126 || exp >= 130)
1237 		diag("double fp to single fp overflow\n");
1238 	v |= ((exp + 126) & 0xffL) << 23;
1239 	v |= ieeep->h & 0x80000000L;
1240 	return v;
1241 }
1242 
1243 double
1244 ieeedtod(Ieee *ieeep)
1245 {
1246 	Ieee e;
1247 	double fr;
1248 	int exp;
1249 
1250 	if(ieeep->h & (1L<<31)) {
1251 		e.h = ieeep->h & ~(1L<<31);
1252 		e.l = ieeep->l;
1253 		return -ieeedtod(&e);
1254 	}
1255 	if(ieeep->l == 0 && ieeep->h == 0)
1256 		return 0;
1257 	fr = ieeep->l & ((1L<<16)-1L);
1258 	fr /= 1L<<16;
1259 	fr += (ieeep->l>>16) & ((1L<<16)-1L);
1260 	fr /= 1L<<16;
1261 	fr += (ieeep->h & (1L<<20)-1L) | (1L<<20);
1262 	fr /= 1L<<21;
1263 	exp = (ieeep->h>>20) & ((1L<<11)-1L);
1264 	exp -= (1L<<10) - 2L;
1265 	return ldexp(fr, exp);
1266 }
1267