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