1 a84cbb2a 2004-04-19 devnull #include <u.h>
  2 a84cbb2a 2004-04-19 devnull #include <libc.h>
  3 a84cbb2a 2004-04-19 devnull #include <bio.h>
  4 a84cbb2a 2004-04-19 devnull #include <mach.h>
  5 a84cbb2a 2004-04-19 devnull #include "elf.h"
  6 a84cbb2a 2004-04-19 devnull #include "dwarf.h"
  7 a84cbb2a 2004-04-19 devnull 
  8 a84cbb2a 2004-04-19 devnull static void	dwarfsymclose(Fhdr*);
  9 a84cbb2a 2004-04-19 devnull static int	dwarfpc2file(Fhdr*, ulong, char*, uint, ulong*);
 10 a84cbb2a 2004-04-19 devnull static int	dwarfline2pc(Fhdr*, ulong, ulong, ulong*);
 11 a84cbb2a 2004-04-19 devnull static int	dwarflookuplsym(Fhdr*, Symbol*, char*, Symbol*);
 12 a84cbb2a 2004-04-19 devnull static int	dwarfindexlsym(Fhdr*, Symbol*, uint, Symbol*);
 13 a84cbb2a 2004-04-19 devnull static int	dwarffindlsym(Fhdr*, Symbol*, Loc, Symbol*);
 14 a84cbb2a 2004-04-19 devnull static void	dwarfsyminit(Fhdr*);
 15 a84cbb2a 2004-04-19 devnull static int	dwarftosym(Fhdr*, Dwarf*, DwarfSym*, Symbol*, int);
 16 a84cbb2a 2004-04-19 devnull static int	_dwarfunwind(Fhdr *fhdr, Map *map, Regs *regs, ulong *next);
 17 a84cbb2a 2004-04-19 devnull 
 18 a84cbb2a 2004-04-19 devnull int
 19 a84cbb2a 2004-04-19 devnull symdwarf(Fhdr *hdr)
 20 a84cbb2a 2004-04-19 devnull {
 21 a84cbb2a 2004-04-19 devnull 	if(hdr->dwarf == nil){
 22 a84cbb2a 2004-04-19 devnull 		werrstr("no dwarf debugging symbols");
 23 a84cbb2a 2004-04-19 devnull 		return -1;
 24 a84cbb2a 2004-04-19 devnull 	}
 25 a84cbb2a 2004-04-19 devnull 
 26 a84cbb2a 2004-04-19 devnull 	hdr->symclose = dwarfsymclose;
 27 a84cbb2a 2004-04-19 devnull 	hdr->pc2file = dwarfpc2file;
 28 a84cbb2a 2004-04-19 devnull 	hdr->line2pc = dwarfline2pc;
 29 a84cbb2a 2004-04-19 devnull 	hdr->lookuplsym = dwarflookuplsym;
 30 a84cbb2a 2004-04-19 devnull 	hdr->indexlsym = dwarfindexlsym;
 31 a84cbb2a 2004-04-19 devnull 	hdr->findlsym = dwarffindlsym;
 32 a84cbb2a 2004-04-19 devnull 	hdr->unwind = _dwarfunwind;
 33 a84cbb2a 2004-04-19 devnull 	dwarfsyminit(hdr);
 34 a84cbb2a 2004-04-19 devnull 
 35 a84cbb2a 2004-04-19 devnull 	return 0;
 36 a84cbb2a 2004-04-19 devnull }
 37 a84cbb2a 2004-04-19 devnull 
 38 a84cbb2a 2004-04-19 devnull static void
 39 a84cbb2a 2004-04-19 devnull dwarfsymclose(Fhdr *hdr)
 40 a84cbb2a 2004-04-19 devnull {
 41 a84cbb2a 2004-04-19 devnull 	dwarfclose(hdr->dwarf);
 42 a84cbb2a 2004-04-19 devnull 	hdr->dwarf = nil;
 43 a84cbb2a 2004-04-19 devnull }
 44 a84cbb2a 2004-04-19 devnull 
 45 a84cbb2a 2004-04-19 devnull static int
 46 a84cbb2a 2004-04-19 devnull dwarfpc2file(Fhdr *fhdr, ulong pc, char *buf, uint nbuf, ulong *line)
 47 a84cbb2a 2004-04-19 devnull {
 48 a84cbb2a 2004-04-19 devnull 	char *cdir, *dir, *file;
 49 a84cbb2a 2004-04-19 devnull 
 50 a84cbb2a 2004-04-19 devnull 	if(dwarfpctoline(fhdr->dwarf, pc, &cdir, &dir, &file, line, nil, nil) < 0)
 51 a84cbb2a 2004-04-19 devnull 		return -1;
 52 a84cbb2a 2004-04-19 devnull 
 53 a84cbb2a 2004-04-19 devnull 	if(file[0] == '/' || (dir==nil && cdir==nil))
 54 a84cbb2a 2004-04-19 devnull 		strecpy(buf, buf+nbuf, file);
 55 a84cbb2a 2004-04-19 devnull 	else if((dir && dir[0] == '/') || cdir==nil)
 56 a84cbb2a 2004-04-19 devnull 		snprint(buf, nbuf, "%s/%s", dir, file);
 57 a84cbb2a 2004-04-19 devnull 	else
 58 a84cbb2a 2004-04-19 devnull 		snprint(buf, nbuf, "%s/%s/%s", cdir, dir ? dir : "", file);
 59 a84cbb2a 2004-04-19 devnull 	cleanname(buf);
 60 a84cbb2a 2004-04-19 devnull 	return 0;;
 61 a84cbb2a 2004-04-19 devnull }
 62 a84cbb2a 2004-04-19 devnull 
 63 a84cbb2a 2004-04-19 devnull static int
 64 a84cbb2a 2004-04-19 devnull dwarfline2pc(Fhdr *fhdr, ulong basepc, ulong line, ulong *pc)
 65 a84cbb2a 2004-04-19 devnull {
 66 a84cbb2a 2004-04-19 devnull 	werrstr("dwarf line2pc not implemented");
 67 a84cbb2a 2004-04-19 devnull 	return -1;
 68 a84cbb2a 2004-04-19 devnull }
 69 a84cbb2a 2004-04-19 devnull 
 70 a84cbb2a 2004-04-19 devnull static uint
 71 a84cbb2a 2004-04-19 devnull typesize(Dwarf *dwarf, ulong unit, ulong tref, char *name)
 72 a84cbb2a 2004-04-19 devnull {
 73 a84cbb2a 2004-04-19 devnull 	DwarfSym ds;
 74 a84cbb2a 2004-04-19 devnull 
 75 a84cbb2a 2004-04-19 devnull top:
 76 a84cbb2a 2004-04-19 devnull 	if(dwarfseeksym(dwarf, unit, tref-unit, &ds) < 0){
 77 a84cbb2a 2004-04-19 devnull 	cannot:
 78 a84cbb2a 2004-04-19 devnull 		fprint(2, "warning: cannot compute size of parameter %s (%lud %lud: %r)\n",
 79 a84cbb2a 2004-04-19 devnull 			name, unit, tref);
 80 a84cbb2a 2004-04-19 devnull 		return 0;
 81 a84cbb2a 2004-04-19 devnull 	}
 82 a84cbb2a 2004-04-19 devnull 	
 83 a84cbb2a 2004-04-19 devnull 	if(ds.attrs.have.bytesize)
 84 a84cbb2a 2004-04-19 devnull 		return ds.attrs.bytesize;
 85 a84cbb2a 2004-04-19 devnull 
 86 a84cbb2a 2004-04-19 devnull 	switch(ds.attrs.tag){
 87 a84cbb2a 2004-04-19 devnull 	case TagVolatileType:
 88 a84cbb2a 2004-04-19 devnull 	case TagRestrictType:
 89 a84cbb2a 2004-04-19 devnull 	case TagTypedef:
 90 a84cbb2a 2004-04-19 devnull 		if(ds.attrs.have.type != TReference)
 91 a84cbb2a 2004-04-19 devnull 			goto cannot;
 92 a84cbb2a 2004-04-19 devnull 		tref = ds.attrs.type;
 93 a84cbb2a 2004-04-19 devnull 		goto top;
 94 a84cbb2a 2004-04-19 devnull 	}
 95 a84cbb2a 2004-04-19 devnull 
 96 a84cbb2a 2004-04-19 devnull 	goto cannot;
 97 a84cbb2a 2004-04-19 devnull }
 98 a84cbb2a 2004-04-19 devnull 
 99 a84cbb2a 2004-04-19 devnull static int
100 a84cbb2a 2004-04-19 devnull roundup(int s, int n)
101 a84cbb2a 2004-04-19 devnull {
102 a84cbb2a 2004-04-19 devnull 	return (s+n-1)&~(n-1);
103 a84cbb2a 2004-04-19 devnull }
104 a84cbb2a 2004-04-19 devnull 
105 a84cbb2a 2004-04-19 devnull static int
106 a84cbb2a 2004-04-19 devnull dwarflenum(Fhdr *fhdr, Symbol *p, char *name, uint j, Loc l, Symbol *s)
107 a84cbb2a 2004-04-19 devnull {
108 a84cbb2a 2004-04-19 devnull 	int depth, bpoff;
109 a84cbb2a 2004-04-19 devnull 	DwarfSym ds;
110 a84cbb2a 2004-04-19 devnull 	Symbol s1;
111 a84cbb2a 2004-04-19 devnull 
112 a84cbb2a 2004-04-19 devnull 	if(p == nil)
113 a84cbb2a 2004-04-19 devnull 		return -1;
114 a84cbb2a 2004-04-19 devnull 
115 a84cbb2a 2004-04-19 devnull 	if(dwarfseeksym(fhdr->dwarf, p->u.dwarf.unit, p->u.dwarf.uoff, &ds) < 0)
116 a84cbb2a 2004-04-19 devnull 		return -1;
117 a84cbb2a 2004-04-19 devnull 
118 a84cbb2a 2004-04-19 devnull 	ds.depth = 1;
119 a84cbb2a 2004-04-19 devnull 	depth = 1;
120 a84cbb2a 2004-04-19 devnull 
121 a84cbb2a 2004-04-19 devnull 	bpoff = 8;
122 a84cbb2a 2004-04-19 devnull 	while(dwarfnextsym(fhdr->dwarf, &ds, 1) == 1 && depth < ds.depth){
123 a84cbb2a 2004-04-19 devnull 		if(ds.attrs.tag != TagVariable){
124 a84cbb2a 2004-04-19 devnull 			if(ds.attrs.tag != TagFormalParameter
125 a84cbb2a 2004-04-19 devnull 			&& ds.attrs.tag != TagUnspecifiedParameters)
126 a84cbb2a 2004-04-19 devnull 				continue;
127 a84cbb2a 2004-04-19 devnull 			if(ds.depth != depth+1)
128 a84cbb2a 2004-04-19 devnull 				continue;
129 a84cbb2a 2004-04-19 devnull 		}
130 a84cbb2a 2004-04-19 devnull 		if(dwarftosym(fhdr, fhdr->dwarf, &ds, &s1, 1) < 0)
131 a84cbb2a 2004-04-19 devnull 			continue;
132 a84cbb2a 2004-04-19 devnull 		/* XXX move this out once there is another architecture */
133 a84cbb2a 2004-04-19 devnull 		/*
134 a84cbb2a 2004-04-19 devnull 		 * gcc tells us the registers where the parameters might be
135 a84cbb2a 2004-04-19 devnull 		 * held for an instruction or two.  use the parameter list to
136 a84cbb2a 2004-04-19 devnull 		 * recompute the actual stack locations.
137 a84cbb2a 2004-04-19 devnull 		 */
138 a84cbb2a 2004-04-19 devnull 		if(fhdr->mtype == M386)
139 a84cbb2a 2004-04-19 devnull 		if(ds.attrs.tag==TagFormalParameter || ds.attrs.tag==TagUnspecifiedParameters){
140 a84cbb2a 2004-04-19 devnull 			if(s1.loc.type==LOFFSET
141 a84cbb2a 2004-04-19 devnull 			&& strcmp(s1.loc.reg, "BP")==0
142 a84cbb2a 2004-04-19 devnull 			&& s1.loc.offset >= 8)
143 a84cbb2a 2004-04-19 devnull 				bpoff = s1.loc.offset;
144 a84cbb2a 2004-04-19 devnull 			else{
145 a84cbb2a 2004-04-19 devnull 				s1.loc.type = LOFFSET;
146 a84cbb2a 2004-04-19 devnull 				s1.loc.reg = "BP";
147 a84cbb2a 2004-04-19 devnull 				s1.loc.offset = bpoff;
148 a84cbb2a 2004-04-19 devnull 			}
149 a84cbb2a 2004-04-19 devnull 			if(ds.attrs.tag == TagFormalParameter){
150 a84cbb2a 2004-04-19 devnull 				if(ds.attrs.have.type)
151 a84cbb2a 2004-04-19 devnull 					bpoff += roundup(typesize(fhdr->dwarf, p->u.dwarf.unit, ds.attrs.type, s1.name), 4);
152 a84cbb2a 2004-04-19 devnull 				else
153 a84cbb2a 2004-04-19 devnull 					fprint(2, "warning: cannot compute size of parameter %s\n", s1.name);
154 a84cbb2a 2004-04-19 devnull 			}
155 a84cbb2a 2004-04-19 devnull 		}
156 a84cbb2a 2004-04-19 devnull 		if(name){
157 a84cbb2a 2004-04-19 devnull 			if(strcmp(ds.attrs.name, name) != 0)
158 a84cbb2a 2004-04-19 devnull 				continue;
159 a84cbb2a 2004-04-19 devnull 		}else if(l.type){
160 a84cbb2a 2004-04-19 devnull 			if(loccmp(&s1.loc, &l) != 0)
161 a84cbb2a 2004-04-19 devnull 				continue;
162 a84cbb2a 2004-04-19 devnull 		}else{
163 a84cbb2a 2004-04-19 devnull 			if(j-- > 0)
164 a84cbb2a 2004-04-19 devnull 				continue;
165 a84cbb2a 2004-04-19 devnull 		}
166 a84cbb2a 2004-04-19 devnull 		*s = s1;
167 a84cbb2a 2004-04-19 devnull 		return 0;
168 a84cbb2a 2004-04-19 devnull 	}
169 a84cbb2a 2004-04-19 devnull 	return -1;
170 a84cbb2a 2004-04-19 devnull }
171 a84cbb2a 2004-04-19 devnull 
172 a84cbb2a 2004-04-19 devnull static Loc zl;
173 a84cbb2a 2004-04-19 devnull 
174 a84cbb2a 2004-04-19 devnull static int
175 a84cbb2a 2004-04-19 devnull dwarflookuplsym(Fhdr *fhdr, Symbol *p, char *name, Symbol *s)
176 a84cbb2a 2004-04-19 devnull {
177 a84cbb2a 2004-04-19 devnull 	return dwarflenum(fhdr, p, name, 0, zl, s);
178 a84cbb2a 2004-04-19 devnull }
179 a84cbb2a 2004-04-19 devnull 
180 a84cbb2a 2004-04-19 devnull static int
181 a84cbb2a 2004-04-19 devnull dwarfindexlsym(Fhdr *fhdr, Symbol *p, uint i, Symbol *s)
182 a84cbb2a 2004-04-19 devnull {
183 a84cbb2a 2004-04-19 devnull 	return dwarflenum(fhdr, p, nil, i, zl, s);
184 a84cbb2a 2004-04-19 devnull }
185 a84cbb2a 2004-04-19 devnull 
186 a84cbb2a 2004-04-19 devnull static int
187 a84cbb2a 2004-04-19 devnull dwarffindlsym(Fhdr *fhdr, Symbol *p, Loc l, Symbol *s)
188 a84cbb2a 2004-04-19 devnull {
189 a84cbb2a 2004-04-19 devnull 	return dwarflenum(fhdr, p, nil, 0, l, s);
190 a84cbb2a 2004-04-19 devnull }
191 a84cbb2a 2004-04-19 devnull 
192 a84cbb2a 2004-04-19 devnull static void
193 a84cbb2a 2004-04-19 devnull dwarfsyminit(Fhdr *fp)
194 a84cbb2a 2004-04-19 devnull {
195 a84cbb2a 2004-04-19 devnull 	Dwarf *d;
196 a84cbb2a 2004-04-19 devnull 	DwarfSym s;
197 a84cbb2a 2004-04-19 devnull 	Symbol sym;
198 a84cbb2a 2004-04-19 devnull 
199 a84cbb2a 2004-04-19 devnull 	d = fp->dwarf;
200 a84cbb2a 2004-04-19 devnull 	if(dwarfenum(d, &s) < 0)
201 a84cbb2a 2004-04-19 devnull 		return;
202 a84cbb2a 2004-04-19 devnull 
203 a84cbb2a 2004-04-19 devnull 	while(dwarfnextsym(d, &s, s.depth!=1) == 1){
204 a84cbb2a 2004-04-19 devnull 		if(s.depth != 1)
205 a84cbb2a 2004-04-19 devnull 			continue;
206 a84cbb2a 2004-04-19 devnull 		if(s.attrs.name == nil)
207 a84cbb2a 2004-04-19 devnull 			continue;
208 a84cbb2a 2004-04-19 devnull 		switch(s.attrs.tag){
209 a84cbb2a 2004-04-19 devnull 		case TagSubprogram:
210 a84cbb2a 2004-04-19 devnull 		case TagVariable:
211 a84cbb2a 2004-04-19 devnull 			if(dwarftosym(fp, d, &s, &sym, 0) < 0)
212 a84cbb2a 2004-04-19 devnull 				continue;
213 a84cbb2a 2004-04-19 devnull 			addsym(fp, &sym);
214 a84cbb2a 2004-04-19 devnull 		}
215 a84cbb2a 2004-04-19 devnull 	}
216 a84cbb2a 2004-04-19 devnull }
217 a84cbb2a 2004-04-19 devnull 
218 a84cbb2a 2004-04-19 devnull static char*
219 a84cbb2a 2004-04-19 devnull regname(Dwarf *d, int i)
220 a84cbb2a 2004-04-19 devnull {
221 a84cbb2a 2004-04-19 devnull 	if(i < 0 || i >= d->nreg)
222 a84cbb2a 2004-04-19 devnull 		return nil;
223 a84cbb2a 2004-04-19 devnull 	return d->reg[i];
224 a84cbb2a 2004-04-19 devnull }
225 a84cbb2a 2004-04-19 devnull 
226 a84cbb2a 2004-04-19 devnull static int
227 a84cbb2a 2004-04-19 devnull dwarftosym(Fhdr *fp, Dwarf *d, DwarfSym *ds, Symbol *s, int infn)
228 a84cbb2a 2004-04-19 devnull {
229 a84cbb2a 2004-04-19 devnull 	DwarfBuf buf;
230 a84cbb2a 2004-04-19 devnull 	DwarfBlock b;
231 a84cbb2a 2004-04-19 devnull 	
232 a84cbb2a 2004-04-19 devnull 	memset(s, 0, sizeof *s);
233 a84cbb2a 2004-04-19 devnull 	s->u.dwarf.uoff = ds->uoff;
234 a84cbb2a 2004-04-19 devnull 	s->u.dwarf.unit = ds->unit;
235 a84cbb2a 2004-04-19 devnull 	switch(ds->attrs.tag){
236 a84cbb2a 2004-04-19 devnull 	default:
237 a84cbb2a 2004-04-19 devnull 		return -1;
238 a84cbb2a 2004-04-19 devnull 	case TagUnspecifiedParameters:
239 a84cbb2a 2004-04-19 devnull 		ds->attrs.name = "...";
240 a84cbb2a 2004-04-19 devnull 		s->type = 'p';
241 a84cbb2a 2004-04-19 devnull 		goto sym;
242 a84cbb2a 2004-04-19 devnull 	case TagFormalParameter:
243 a84cbb2a 2004-04-19 devnull 		s->type = 'p';
244 a84cbb2a 2004-04-19 devnull 		s->class = CPARAM;
245 a84cbb2a 2004-04-19 devnull 		goto sym;
246 a84cbb2a 2004-04-19 devnull 	case TagSubprogram:
247 a84cbb2a 2004-04-19 devnull 		s->type = 't';
248 a84cbb2a 2004-04-19 devnull 		s->class = CTEXT;
249 a84cbb2a 2004-04-19 devnull 		goto sym;
250 a84cbb2a 2004-04-19 devnull 	case TagVariable:
251 a84cbb2a 2004-04-19 devnull 		if(infn){
252 a84cbb2a 2004-04-19 devnull 			s->type = 'a';
253 a84cbb2a 2004-04-19 devnull 			s->class = CAUTO;
254 a84cbb2a 2004-04-19 devnull 		}else{
255 a84cbb2a 2004-04-19 devnull 			s->type = 'd';
256 a84cbb2a 2004-04-19 devnull 			s->class = CDATA;
257 a84cbb2a 2004-04-19 devnull 		}
258 a84cbb2a 2004-04-19 devnull 	sym:
259 a84cbb2a 2004-04-19 devnull 		s->name = ds->attrs.name;
260 a84cbb2a 2004-04-19 devnull 		if(ds->attrs.have.lowpc){
261 a84cbb2a 2004-04-19 devnull 			s->loc.type = LADDR;
262 a84cbb2a 2004-04-19 devnull 			s->loc.addr = ds->attrs.lowpc;
263 a84cbb2a 2004-04-19 devnull 			if(ds->attrs.have.highpc){
264 a84cbb2a 2004-04-19 devnull 				s->hiloc.type = LADDR;
265 a84cbb2a 2004-04-19 devnull 				s->hiloc.addr = ds->attrs.highpc;
266 a84cbb2a 2004-04-19 devnull 			}
267 a84cbb2a 2004-04-19 devnull 		}else if(ds->attrs.have.location == TConstant){
268 a84cbb2a 2004-04-19 devnull 			s->loc.type = LADDR;
269 a84cbb2a 2004-04-19 devnull 			s->loc.addr = ds->attrs.location.c;
270 a84cbb2a 2004-04-19 devnull 		}else if(ds->attrs.have.location == TBlock){
271 a84cbb2a 2004-04-19 devnull 			b = ds->attrs.location.b;
272 a84cbb2a 2004-04-19 devnull 			if(b.len == 0)
273 a84cbb2a 2004-04-19 devnull 				return -1;
274 a84cbb2a 2004-04-19 devnull 			buf.p = b.data+1;
275 a84cbb2a 2004-04-19 devnull 			buf.ep = b.data+b.len;
276 a84cbb2a 2004-04-19 devnull 			buf.d = d;
277 a84cbb2a 2004-04-19 devnull 			buf.addrsize = 0;
278 a84cbb2a 2004-04-19 devnull 			if(b.data[0]==OpAddr){
279 a84cbb2a 2004-04-19 devnull 				if(b.len != 5)
280 a84cbb2a 2004-04-19 devnull 					return -1;
281 a84cbb2a 2004-04-19 devnull 				s->loc.type = LADDR;
282 a84cbb2a 2004-04-19 devnull 				s->loc.addr = dwarfgetaddr(&buf);
283 a84cbb2a 2004-04-19 devnull 			}else if(OpReg0 <= b.data[0] && b.data[0] < OpReg0+0x20){
284 a84cbb2a 2004-04-19 devnull 				if(b.len != 1 || (s->loc.reg = regname(d, b.data[0]-OpReg0)) == nil)
285 a84cbb2a 2004-04-19 devnull 					return -1;
286 a84cbb2a 2004-04-19 devnull 				s->loc.type = LREG;
287 a84cbb2a 2004-04-19 devnull 			}else if(OpBreg0 <= b.data[0] && b.data[0] < OpBreg0+0x20){
288 a84cbb2a 2004-04-19 devnull 				s->loc.type = LOFFSET;
289 a84cbb2a 2004-04-19 devnull 				s->loc.reg = regname(d, b.data[0]-0x70);
290 a84cbb2a 2004-04-19 devnull 				s->loc.offset = dwarfget128s(&buf);
291 a84cbb2a 2004-04-19 devnull 				if(s->loc.reg == nil)
292 a84cbb2a 2004-04-19 devnull 					return -1;
293 a84cbb2a 2004-04-19 devnull 			}else if(b.data[0] == OpRegx){
294 a84cbb2a 2004-04-19 devnull 				s->loc.type = LREG;
295 a84cbb2a 2004-04-19 devnull 				s->loc.reg = regname(d, dwarfget128(&buf));
296 a84cbb2a 2004-04-19 devnull 				if(s->loc.reg == nil)
297 a84cbb2a 2004-04-19 devnull 					return -1;
298 a84cbb2a 2004-04-19 devnull 			}else if(b.data[0] == OpFbreg){
299 a84cbb2a 2004-04-19 devnull 				s->loc.type = LOFFSET;
300 a84cbb2a 2004-04-19 devnull 				s->loc.reg = mach->fp;
301 a84cbb2a 2004-04-19 devnull 				s->loc.offset = dwarfget128s(&buf);
302 a84cbb2a 2004-04-19 devnull 			}else if(b.data[0] == OpBregx){
303 a84cbb2a 2004-04-19 devnull 				s->loc.type = LOFFSET;
304 a84cbb2a 2004-04-19 devnull 				s->loc.reg = regname(d, dwarfget128(&buf));
305 a84cbb2a 2004-04-19 devnull 				s->loc.offset = dwarfget128s(&buf);
306 a84cbb2a 2004-04-19 devnull 				if(s->loc.reg == nil)
307 a84cbb2a 2004-04-19 devnull 					return -1;
308 a84cbb2a 2004-04-19 devnull 			}else
309 a84cbb2a 2004-04-19 devnull 				s->loc.type = LNONE;
310 a84cbb2a 2004-04-19 devnull 			if(buf.p != buf.ep)
311 a84cbb2a 2004-04-19 devnull 				s->loc.type = LNONE;
312 a84cbb2a 2004-04-19 devnull 		}else
313 a84cbb2a 2004-04-19 devnull 			return -1;
314 a84cbb2a 2004-04-19 devnull 		if(ds->attrs.isexternal)
315 a84cbb2a 2004-04-19 devnull 			s->type += 'A' - 'a';
316 a84cbb2a 2004-04-19 devnull 		if(ds->attrs.tag==TagVariable && s->loc.type==LADDR && s->loc.addr>=fp->dataddr+fp->datsz)
317 a84cbb2a 2004-04-19 devnull 			s->type += 'b' - 'd';
318 a84cbb2a 2004-04-19 devnull 		s->fhdr = fp;
319 a84cbb2a 2004-04-19 devnull 		return 0;
320 a84cbb2a 2004-04-19 devnull 	}
321 a84cbb2a 2004-04-19 devnull }
322 a84cbb2a 2004-04-19 devnull 
323 a84cbb2a 2004-04-19 devnull static int
324 a84cbb2a 2004-04-19 devnull dwarfeval(Dwarf *d, Map *map, Regs *regs, ulong cfa, int rno, DwarfExpr e, ulong *u)
325 a84cbb2a 2004-04-19 devnull {
326 a84cbb2a 2004-04-19 devnull 	int i;
327 a84cbb2a 2004-04-19 devnull 	u32int u4;
328 a84cbb2a 2004-04-19 devnull 	ulong uu;
329 a84cbb2a 2004-04-19 devnull 
330 a84cbb2a 2004-04-19 devnull 	switch(e.type){
331 a84cbb2a 2004-04-19 devnull 	case RuleUndef:
332 a84cbb2a 2004-04-19 devnull 		*u = 0;
333 a84cbb2a 2004-04-19 devnull 		return 0;
334 a84cbb2a 2004-04-19 devnull 	case RuleSame:
335 a84cbb2a 2004-04-19 devnull 		if(rno == -1){
336 a84cbb2a 2004-04-19 devnull 			werrstr("pc cannot be `same'");
337 a84cbb2a 2004-04-19 devnull 			return -1;
338 a84cbb2a 2004-04-19 devnull 		}
339 a84cbb2a 2004-04-19 devnull 		return rget(regs, regname(d, rno), u);
340 a84cbb2a 2004-04-19 devnull 	case RuleRegister:
341 a84cbb2a 2004-04-19 devnull 		if((i = windindex(regname(d, e.reg))) < 0)
342 a84cbb2a 2004-04-19 devnull 			return -1;
343 a84cbb2a 2004-04-19 devnull 		return rget(regs, regname(d, i), u);
344 a84cbb2a 2004-04-19 devnull 	case RuleCfaOffset:
345 a84cbb2a 2004-04-19 devnull 		if(cfa == 0){
346 a84cbb2a 2004-04-19 devnull 			werrstr("unknown cfa");
347 a84cbb2a 2004-04-19 devnull 			return -1;
348 a84cbb2a 2004-04-19 devnull 		}
349 a84cbb2a 2004-04-19 devnull 		if(get4(map, cfa + e.offset, &u4) < 0)
350 a84cbb2a 2004-04-19 devnull 			return -1;
351 a84cbb2a 2004-04-19 devnull 		*u = u4;
352 a84cbb2a 2004-04-19 devnull 		return 0;
353 a84cbb2a 2004-04-19 devnull 	case RuleRegOff:
354 a84cbb2a 2004-04-19 devnull 		if(rget(regs, regname(d, e.reg), &uu) < 0)
355 a84cbb2a 2004-04-19 devnull 			return -1;
356 a84cbb2a 2004-04-19 devnull 		if(get4(map, uu+e.offset, &u4) < 0)
357 a84cbb2a 2004-04-19 devnull 			return -1;	
358 a84cbb2a 2004-04-19 devnull 		*u = u4;
359 a84cbb2a 2004-04-19 devnull 		return 0;
360 a84cbb2a 2004-04-19 devnull 	case RuleLocation:
361 a84cbb2a 2004-04-19 devnull 		werrstr("not evaluating dwarf loc expressions");
362 a84cbb2a 2004-04-19 devnull 		return -1;
363 a84cbb2a 2004-04-19 devnull 	}
364 a84cbb2a 2004-04-19 devnull 	werrstr("not reached in dwarfeval");
365 a84cbb2a 2004-04-19 devnull 	return -1;
366 a84cbb2a 2004-04-19 devnull }
367 a84cbb2a 2004-04-19 devnull 
368 a84cbb2a 2004-04-19 devnull #if 0
369 a84cbb2a 2004-04-19 devnull static int
370 a84cbb2a 2004-04-19 devnull dwarfexprfmt(Fmt *fmt)
371 a84cbb2a 2004-04-19 devnull {
372 a84cbb2a 2004-04-19 devnull 	DwarfExpr *e;
373 a84cbb2a 2004-04-19 devnull 
374 a84cbb2a 2004-04-19 devnull 	if((e = va_arg(fmt->args, DwarfExpr*)) == nil)
375 a84cbb2a 2004-04-19 devnull 		return fmtstrcpy(fmt, "<nil>");
376 a84cbb2a 2004-04-19 devnull 
377 a84cbb2a 2004-04-19 devnull 	switch(e->type){
378 a84cbb2a 2004-04-19 devnull 	case RuleUndef:
379 a84cbb2a 2004-04-19 devnull 		return fmtstrcpy(fmt, "undef");
380 a84cbb2a 2004-04-19 devnull 	case RuleSame:
381 a84cbb2a 2004-04-19 devnull 		return fmtstrcpy(fmt, "same");
382 a84cbb2a 2004-04-19 devnull 	case RuleCfaOffset:
383 a84cbb2a 2004-04-19 devnull 		return fmtprint(fmt, "%ld(cfa)", e->offset);
384 a84cbb2a 2004-04-19 devnull 	case RuleRegister:
385 a84cbb2a 2004-04-19 devnull 		return fmtprint(fmt, "r%ld", e->reg);
386 a84cbb2a 2004-04-19 devnull 	case RuleRegOff:
387 a84cbb2a 2004-04-19 devnull 		return fmtprint(fmt, "%ld(r%ld)", e->offset, e->reg);
388 a84cbb2a 2004-04-19 devnull 	case RuleLocation:
389 a84cbb2a 2004-04-19 devnull 		return fmtprint(fmt, "l.%.*H", e->loc.len, e->loc.data);
390 a84cbb2a 2004-04-19 devnull 	default:
391 a84cbb2a 2004-04-19 devnull 		return fmtprint(fmt, "?%d", e->type);
392 a84cbb2a 2004-04-19 devnull 	}
393 a84cbb2a 2004-04-19 devnull }
394 a84cbb2a 2004-04-19 devnull #endif
395 a84cbb2a 2004-04-19 devnull 
396 a84cbb2a 2004-04-19 devnull static int
397 a84cbb2a 2004-04-19 devnull _dwarfunwind(Fhdr *fhdr, Map *map, Regs *regs, ulong *next)
398 a84cbb2a 2004-04-19 devnull {
399 a84cbb2a 2004-04-19 devnull 	char *name;
400 a84cbb2a 2004-04-19 devnull 	int i, j;
401 a84cbb2a 2004-04-19 devnull 	ulong cfa, pc, u;
402 a84cbb2a 2004-04-19 devnull 	Dwarf *d;
403 a84cbb2a 2004-04-19 devnull 	DwarfExpr *e, epc, ecfa;
404 a84cbb2a 2004-04-19 devnull 
405 a84cbb2a 2004-04-19 devnull 
406 a84cbb2a 2004-04-19 devnull 	/*
407 a84cbb2a 2004-04-19 devnull 	 * Use dwarfunwind to tell us what to do.
408 a84cbb2a 2004-04-19 devnull 	 */
409 a84cbb2a 2004-04-19 devnull 	d = fhdr->dwarf;
410 a84cbb2a 2004-04-19 devnull 	e = malloc(d->nreg*sizeof(e[0]));
411 a84cbb2a 2004-04-19 devnull 	if(e == nil)
412 a84cbb2a 2004-04-19 devnull 		return -1;
413 a84cbb2a 2004-04-19 devnull 	if(rget(regs, mach->pc, &pc) < 0)
414 a84cbb2a 2004-04-19 devnull 		goto err;
415 a84cbb2a 2004-04-19 devnull 	if(dwarfunwind(d, pc, &ecfa, &epc, e, d->nreg) < 0)
416 a84cbb2a 2004-04-19 devnull 		goto err;
417 a84cbb2a 2004-04-19 devnull 
418 a84cbb2a 2004-04-19 devnull 	/*
419 a84cbb2a 2004-04-19 devnull 	 * Compute CFA.
420 a84cbb2a 2004-04-19 devnull 	 */
421 a84cbb2a 2004-04-19 devnull 	switch(ecfa.type){
422 a84cbb2a 2004-04-19 devnull 	default:
423 a84cbb2a 2004-04-19 devnull 		werrstr("invalid call-frame-address in _dwarfunwind");
424 a84cbb2a 2004-04-19 devnull 		goto err;
425 a84cbb2a 2004-04-19 devnull 	case RuleRegister:
426 a84cbb2a 2004-04-19 devnull 		ecfa.offset = 0;
427 a84cbb2a 2004-04-19 devnull 	case RuleRegOff:
428 a84cbb2a 2004-04-19 devnull 		if((name = regname(d, ecfa.reg)) == nil){
429 a84cbb2a 2004-04-19 devnull 			werrstr("invalid call-frame-address register %d", (int)ecfa.reg);
430 a84cbb2a 2004-04-19 devnull 			goto err;
431 a84cbb2a 2004-04-19 devnull 		}
432 a84cbb2a 2004-04-19 devnull 		if(rget(regs, name, &cfa) < 0){
433 a84cbb2a 2004-04-19 devnull 			werrstr("fetching %s for call-frame-address: %r", name);
434 a84cbb2a 2004-04-19 devnull 			goto err;
435 a84cbb2a 2004-04-19 devnull 		}
436 a84cbb2a 2004-04-19 devnull 		cfa += ecfa.offset;
437 a84cbb2a 2004-04-19 devnull 	}
438 a84cbb2a 2004-04-19 devnull 
439 a84cbb2a 2004-04-19 devnull 	/*
440 a84cbb2a 2004-04-19 devnull 	 * Compute registers.
441 a84cbb2a 2004-04-19 devnull 	 */
442 a84cbb2a 2004-04-19 devnull 	for(i=0; i<d->nreg; i++){
443 a84cbb2a 2004-04-19 devnull 		j = windindex(d->reg[i]);
444 a84cbb2a 2004-04-19 devnull 		if(j == -1)
445 a84cbb2a 2004-04-19 devnull 			continue;
446 a84cbb2a 2004-04-19 devnull 		if(dwarfeval(d, map, regs, cfa, i, e[i], &u) < 0)
447 a84cbb2a 2004-04-19 devnull 			u = ~(ulong)0;
448 a84cbb2a 2004-04-19 devnull 		next[j] = u;
449 a84cbb2a 2004-04-19 devnull 	}
450 a84cbb2a 2004-04-19 devnull 
451 a84cbb2a 2004-04-19 devnull 	/*
452 a84cbb2a 2004-04-19 devnull 	 * Compute caller pc
453 a84cbb2a 2004-04-19 devnull 	 */
454 a84cbb2a 2004-04-19 devnull 	if(dwarfeval(d, map, regs, cfa, -1, epc, &u) < 0){
455 a84cbb2a 2004-04-19 devnull 		werrstr("computing caller %s: %r", mach->pc);
456 a84cbb2a 2004-04-19 devnull 		goto err;
457 a84cbb2a 2004-04-19 devnull 	}
458 a84cbb2a 2004-04-19 devnull 	next[windindex(mach->pc)] = u;
459 a84cbb2a 2004-04-19 devnull 	free(e);
460 a84cbb2a 2004-04-19 devnull 	return 0;
461 a84cbb2a 2004-04-19 devnull 
462 a84cbb2a 2004-04-19 devnull err:
463 a84cbb2a 2004-04-19 devnull 	free(e);
464 a84cbb2a 2004-04-19 devnull 	return -1;
465 a84cbb2a 2004-04-19 devnull }
466 a84cbb2a 2004-04-19 devnull