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