xref: /plan9-contrib/sys/src/libmach/4obj.c (revision f8bc6aaf8056e137bcdfb6117a990ac3eff62cc9)
1*f8bc6aafSDavid du Colombier /*
2*f8bc6aafSDavid du Colombier  * 4obj.c - identify and parse a mips object file
3*f8bc6aafSDavid du Colombier  */
4*f8bc6aafSDavid du Colombier #include <u.h>
5*f8bc6aafSDavid du Colombier #include <libc.h>
6*f8bc6aafSDavid du Colombier #include <bio.h>
7*f8bc6aafSDavid du Colombier #include <mach.h>
8*f8bc6aafSDavid du Colombier #include "4c/4.out.h"
9*f8bc6aafSDavid du Colombier #include "obj.h"
10*f8bc6aafSDavid du Colombier 
11*f8bc6aafSDavid du Colombier typedef struct Addr	Addr;
12*f8bc6aafSDavid du Colombier struct Addr
13*f8bc6aafSDavid du Colombier {
14*f8bc6aafSDavid du Colombier 	char	type;
15*f8bc6aafSDavid du Colombier 	char	sym;
16*f8bc6aafSDavid du Colombier 	char	name;
17*f8bc6aafSDavid du Colombier };
18*f8bc6aafSDavid du Colombier static Addr addr(Biobuf*);
19*f8bc6aafSDavid du Colombier static char type2char(int);
20*f8bc6aafSDavid du Colombier static void skip(Biobuf*, int);
21*f8bc6aafSDavid du Colombier 
22*f8bc6aafSDavid du Colombier int
_is4(char * s)23*f8bc6aafSDavid du Colombier _is4(char *s)
24*f8bc6aafSDavid du Colombier {
25*f8bc6aafSDavid du Colombier 	return  s[0] == ANAME				/* ANAME */
26*f8bc6aafSDavid du Colombier 		&& s[1] == D_FILE			/* type */
27*f8bc6aafSDavid du Colombier 		&& s[2] == 1				/* sym */
28*f8bc6aafSDavid du Colombier 		&& s[3] == '<';				/* name of file */
29*f8bc6aafSDavid du Colombier }
30*f8bc6aafSDavid du Colombier 
31*f8bc6aafSDavid du Colombier int
_read4(Biobuf * bp,Prog * p)32*f8bc6aafSDavid du Colombier _read4(Biobuf *bp, Prog *p)
33*f8bc6aafSDavid du Colombier {
34*f8bc6aafSDavid du Colombier 	int as, n;
35*f8bc6aafSDavid du Colombier 	Addr a;
36*f8bc6aafSDavid du Colombier 
37*f8bc6aafSDavid du Colombier 	as = Bgetc(bp);			/* as */
38*f8bc6aafSDavid du Colombier 	if(as < 0)
39*f8bc6aafSDavid du Colombier 		return 0;
40*f8bc6aafSDavid du Colombier 	p->kind = aNone;
41*f8bc6aafSDavid du Colombier 	p->sig = 0;
42*f8bc6aafSDavid du Colombier 	if(as == ANAME || as == ASIGNAME){
43*f8bc6aafSDavid du Colombier 		if(as == ASIGNAME){
44*f8bc6aafSDavid du Colombier 			Bread(bp, &p->sig, 4);
45*f8bc6aafSDavid du Colombier 			p->sig = leswal(p->sig);
46*f8bc6aafSDavid du Colombier 		}
47*f8bc6aafSDavid du Colombier 		p->kind = aName;
48*f8bc6aafSDavid du Colombier 		p->type = type2char(Bgetc(bp));		/* type */
49*f8bc6aafSDavid du Colombier 		p->sym = Bgetc(bp);			/* sym */
50*f8bc6aafSDavid du Colombier 		n = 0;
51*f8bc6aafSDavid du Colombier 		for(;;) {
52*f8bc6aafSDavid du Colombier 			as = Bgetc(bp);
53*f8bc6aafSDavid du Colombier 			if(as < 0)
54*f8bc6aafSDavid du Colombier 				return 0;
55*f8bc6aafSDavid du Colombier 			n++;
56*f8bc6aafSDavid du Colombier 			if(as == 0)
57*f8bc6aafSDavid du Colombier 				break;
58*f8bc6aafSDavid du Colombier 		}
59*f8bc6aafSDavid du Colombier 		p->id = malloc(n);
60*f8bc6aafSDavid du Colombier 		if(p->id == 0)
61*f8bc6aafSDavid du Colombier 			return 0;
62*f8bc6aafSDavid du Colombier 		Bseek(bp, -n, 1);
63*f8bc6aafSDavid du Colombier 		if(Bread(bp, p->id, n) != n)
64*f8bc6aafSDavid du Colombier 			return 0;
65*f8bc6aafSDavid du Colombier 		return 1;
66*f8bc6aafSDavid du Colombier 	}
67*f8bc6aafSDavid du Colombier 	if(as == ATEXT)
68*f8bc6aafSDavid du Colombier 		p->kind = aText;
69*f8bc6aafSDavid du Colombier 	else if(as == AGLOBL)
70*f8bc6aafSDavid du Colombier 		p->kind = aData;
71*f8bc6aafSDavid du Colombier 	skip(bp, 5);		/* reg(1), lineno(4) */
72*f8bc6aafSDavid du Colombier 	a = addr(bp);
73*f8bc6aafSDavid du Colombier 	addr(bp);
74*f8bc6aafSDavid du Colombier 	if(a.type != D_OREG || a.name != D_STATIC && a.name != D_EXTERN)
75*f8bc6aafSDavid du Colombier 		p->kind = aNone;
76*f8bc6aafSDavid du Colombier 	p->sym = a.sym;
77*f8bc6aafSDavid du Colombier 	return 1;
78*f8bc6aafSDavid du Colombier }
79*f8bc6aafSDavid du Colombier 
80*f8bc6aafSDavid du Colombier static Addr
addr(Biobuf * bp)81*f8bc6aafSDavid du Colombier addr(Biobuf *bp)
82*f8bc6aafSDavid du Colombier {
83*f8bc6aafSDavid du Colombier 	Addr a;
84*f8bc6aafSDavid du Colombier 	vlong off;
85*f8bc6aafSDavid du Colombier 	long l;
86*f8bc6aafSDavid du Colombier 
87*f8bc6aafSDavid du Colombier 	a.type = Bgetc(bp);	/* a.type */
88*f8bc6aafSDavid du Colombier 	skip(bp,1);		/* reg */
89*f8bc6aafSDavid du Colombier 	a.sym = Bgetc(bp);	/* sym index */
90*f8bc6aafSDavid du Colombier 	a.name = Bgetc(bp);	/* sym type */
91*f8bc6aafSDavid du Colombier 	switch(a.type){
92*f8bc6aafSDavid du Colombier 	default:
93*f8bc6aafSDavid du Colombier 	case D_NONE: case D_REG: case D_FREG: case D_MREG:
94*f8bc6aafSDavid du Colombier 	case D_FCREG: case D_LO: case D_HI:
95*f8bc6aafSDavid du Colombier 		break;
96*f8bc6aafSDavid du Colombier 	case D_OREG:
97*f8bc6aafSDavid du Colombier 	case D_CONST:
98*f8bc6aafSDavid du Colombier 	case D_BRANCH:
99*f8bc6aafSDavid du Colombier 	case D_VCONST:
100*f8bc6aafSDavid du Colombier 		l = Bgetc(bp);
101*f8bc6aafSDavid du Colombier 		l |= Bgetc(bp) << 8;
102*f8bc6aafSDavid du Colombier 		l |= Bgetc(bp) << 16;
103*f8bc6aafSDavid du Colombier 		l |= Bgetc(bp) << 24;
104*f8bc6aafSDavid du Colombier 		off = l;
105*f8bc6aafSDavid du Colombier 		if(a.type == D_VCONST){
106*f8bc6aafSDavid du Colombier 			l = Bgetc(bp);
107*f8bc6aafSDavid du Colombier 			l |= Bgetc(bp) << 8;
108*f8bc6aafSDavid du Colombier 			l |= Bgetc(bp) << 16;
109*f8bc6aafSDavid du Colombier 			l |= Bgetc(bp) << 24;
110*f8bc6aafSDavid du Colombier 			off = ((vlong)l << 32) | (off & 0xFFFFFFFF);
111*f8bc6aafSDavid du Colombier 			a.type = D_CONST;		/* perhaps */
112*f8bc6aafSDavid du Colombier 		}
113*f8bc6aafSDavid du Colombier 		if(off < 0)
114*f8bc6aafSDavid du Colombier 			off = -off;
115*f8bc6aafSDavid du Colombier 		if(a.sym && (a.name==D_PARAM || a.name==D_AUTO))
116*f8bc6aafSDavid du Colombier 			_offset(a.sym, off);
117*f8bc6aafSDavid du Colombier 		break;
118*f8bc6aafSDavid du Colombier 	case D_SCONST:
119*f8bc6aafSDavid du Colombier 		skip(bp, NSNAME);
120*f8bc6aafSDavid du Colombier 		break;
121*f8bc6aafSDavid du Colombier 	case D_FCONST:
122*f8bc6aafSDavid du Colombier 		skip(bp, 8);
123*f8bc6aafSDavid du Colombier 		break;
124*f8bc6aafSDavid du Colombier 	}
125*f8bc6aafSDavid du Colombier 	return a;
126*f8bc6aafSDavid du Colombier }
127*f8bc6aafSDavid du Colombier 
128*f8bc6aafSDavid du Colombier static char
type2char(int t)129*f8bc6aafSDavid du Colombier type2char(int t)
130*f8bc6aafSDavid du Colombier {
131*f8bc6aafSDavid du Colombier 	switch(t){
132*f8bc6aafSDavid du Colombier 	case D_EXTERN:		return 'U';
133*f8bc6aafSDavid du Colombier 	case D_STATIC:		return 'b';
134*f8bc6aafSDavid du Colombier 	case D_AUTO:		return 'a';
135*f8bc6aafSDavid du Colombier 	case D_PARAM:		return 'p';
136*f8bc6aafSDavid du Colombier 	default:		return UNKNOWN;
137*f8bc6aafSDavid du Colombier 	}
138*f8bc6aafSDavid du Colombier }
139*f8bc6aafSDavid du Colombier 
140*f8bc6aafSDavid du Colombier static void
skip(Biobuf * bp,int n)141*f8bc6aafSDavid du Colombier skip(Biobuf *bp, int n)
142*f8bc6aafSDavid du Colombier {
143*f8bc6aafSDavid du Colombier 	while (n-- > 0)
144*f8bc6aafSDavid du Colombier 		Bgetc(bp);
145*f8bc6aafSDavid du Colombier }
146