push f98ef5dce4886db1f9801e7c454145e1b633b4ff
[wine/hacks.git] / dlls / dbghelp / dwarf.c
bloba03b04908005a61bd870f7a5f6b3f93c28720d70
1 /*
2 * File dwarf.c - read dwarf2 information from the ELF modules
4 * Copyright (C) 2005, Raphael Junqueira
5 * Copyright (C) 2006, Eric Pouech
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2.1 of the License, or (at your option) any later version.
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the Free Software
19 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
22 #include "config.h"
24 #include <sys/types.h>
25 #include <fcntl.h>
26 #ifdef HAVE_SYS_STAT_H
27 # include <sys/stat.h>
28 #endif
29 #ifdef HAVE_SYS_MMAN_H
30 #include <sys/mman.h>
31 #endif
32 #include <limits.h>
33 #include <stdlib.h>
34 #include <string.h>
35 #ifdef HAVE_UNISTD_H
36 # include <unistd.h>
37 #endif
38 #include <stdio.h>
39 #ifndef PATH_MAX
40 #define PATH_MAX MAX_PATH
41 #endif
42 #include <assert.h>
43 #include <stdarg.h>
45 #include "windef.h"
46 #include "winbase.h"
47 #include "winuser.h"
48 #include "ole2.h"
49 #include "oleauto.h"
51 #include "dbghelp_private.h"
53 #include "wine/debug.h"
55 WINE_DEFAULT_DEBUG_CHANNEL(dbghelp_dwarf);
57 /* FIXME:
58 * - Functions:
59 * o unspecified parameters
60 * o inlined functions
61 * o Debug{Start|End}Point
62 * o CFA
63 * - Udt
64 * o proper types loading (nesting)
67 #if 0
68 static void dump(const void* ptr, unsigned len)
70 int i, j;
71 BYTE msg[128];
72 static const char hexof[] = "0123456789abcdef";
73 const BYTE* x = (const BYTE*)ptr;
75 for (i = 0; i < len; i += 16)
77 sprintf(msg, "%08x: ", i);
78 memset(msg + 10, ' ', 3 * 16 + 1 + 16);
79 for (j = 0; j < min(16, len - i); j++)
81 msg[10 + 3 * j + 0] = hexof[x[i + j] >> 4];
82 msg[10 + 3 * j + 1] = hexof[x[i + j] & 15];
83 msg[10 + 3 * j + 2] = ' ';
84 msg[10 + 3 * 16 + 1 + j] = (x[i + j] >= 0x20 && x[i + j] < 0x7f) ?
85 x[i + j] : '.';
87 msg[10 + 3 * 16] = ' ';
88 msg[10 + 3 * 16 + 1 + 16] = '\0';
89 TRACE("%s\n", msg);
92 #endif
94 /**
96 * Main Specs:
97 * http://www.eagercon.com/dwarf/dwarf3std.htm
98 * http://www.eagercon.com/dwarf/dwarf-2.0.0.pdf
100 * dwarf2.h: http://www.hakpetzna.com/b/binutils/dwarf2_8h-source.html
102 * example of projects who do dwarf2 parsing:
103 * http://www.x86-64.org/cgi-bin/cvsweb.cgi/binutils.dead/binutils/readelf.c?rev=1.1.1.2
104 * http://elis.ugent.be/diota/log/ltrace_elf.c
106 #include "dwarf.h"
109 * Parsers
112 typedef struct dwarf2_abbrev_entry_attr_s
114 unsigned long attribute;
115 unsigned long form;
116 struct dwarf2_abbrev_entry_attr_s* next;
117 } dwarf2_abbrev_entry_attr_t;
119 typedef struct dwarf2_abbrev_entry_s
121 unsigned long entry_code;
122 unsigned long tag;
123 unsigned char have_child;
124 unsigned num_attr;
125 dwarf2_abbrev_entry_attr_t* attrs;
126 } dwarf2_abbrev_entry_t;
128 struct dwarf2_block
130 unsigned size;
131 const unsigned char* ptr;
134 struct attribute
136 unsigned long form;
137 union
139 unsigned long uvalue;
140 long svalue;
141 const char* string;
142 struct dwarf2_block block;
143 } u;
146 typedef struct dwarf2_debug_info_s
148 const dwarf2_abbrev_entry_t*abbrev;
149 struct symt* symt;
150 const unsigned char** data;
151 struct vector children;
152 } dwarf2_debug_info_t;
154 typedef struct dwarf2_section_s
156 const unsigned char* address;
157 unsigned size;
158 } dwarf2_section_t;
160 enum dwarf2_sections {section_debug, section_string, section_abbrev, section_line, section_max};
162 typedef struct dwarf2_traverse_context_s
164 const unsigned char* data;
165 const unsigned char* start_data;
166 const unsigned char* end_data;
167 unsigned char word_size;
168 } dwarf2_traverse_context_t;
170 typedef struct dwarf2_parse_context_s
172 const dwarf2_section_t* sections;
173 unsigned section;
174 struct pool pool;
175 struct module* module;
176 const struct elf_thunk_area*thunks;
177 struct sparse_array abbrev_table;
178 struct sparse_array debug_info_table;
179 unsigned long load_offset;
180 unsigned long ref_offset;
181 unsigned char word_size;
182 } dwarf2_parse_context_t;
184 /* stored in the dbghelp's module internal structure for later reuse */
185 struct dwarf2_module_info_s
187 dwarf2_section_t debug_loc;
190 #define loc_dwarf2_location_list (loc_user + 0)
191 #define loc_dwarf2_block (loc_user + 1)
193 /* forward declarations */
194 static struct symt* dwarf2_parse_enumeration_type(dwarf2_parse_context_t* ctx, dwarf2_debug_info_t* entry);
196 static unsigned char dwarf2_get_byte(const unsigned char* ptr)
198 return *ptr;
201 static unsigned char dwarf2_parse_byte(dwarf2_traverse_context_t* ctx)
203 unsigned char uvalue = dwarf2_get_byte(ctx->data);
204 ctx->data += 1;
205 return uvalue;
208 static unsigned short dwarf2_get_u2(const unsigned char* ptr)
210 return *(const unsigned short*)ptr;
213 static unsigned short dwarf2_parse_u2(dwarf2_traverse_context_t* ctx)
215 unsigned short uvalue = dwarf2_get_u2(ctx->data);
216 ctx->data += 2;
217 return uvalue;
220 static unsigned long dwarf2_get_u4(const unsigned char* ptr)
222 return *(const unsigned long*)ptr;
225 static unsigned long dwarf2_parse_u4(dwarf2_traverse_context_t* ctx)
227 unsigned long uvalue = dwarf2_get_u4(ctx->data);
228 ctx->data += 4;
229 return uvalue;
232 static unsigned long dwarf2_get_leb128_as_unsigned(const unsigned char* ptr, const unsigned char** end)
234 unsigned long ret = 0;
235 unsigned char byte;
236 unsigned shift = 0;
240 byte = dwarf2_get_byte(ptr++);
241 ret |= (byte & 0x7f) << shift;
242 shift += 7;
243 } while (byte & 0x80);
245 if (end) *end = ptr;
246 return ret;
249 static unsigned long dwarf2_leb128_as_unsigned(dwarf2_traverse_context_t* ctx)
251 unsigned long ret;
253 assert(ctx);
255 ret = dwarf2_get_leb128_as_unsigned(ctx->data, &ctx->data);
257 return ret;
260 static long dwarf2_get_leb128_as_signed(const unsigned char* ptr, const unsigned char** end)
262 long ret = 0;
263 unsigned char byte;
264 unsigned shift = 0;
265 const unsigned size = sizeof(int) * 8;
269 byte = dwarf2_get_byte(ptr++);
270 ret |= (byte & 0x7f) << shift;
271 shift += 7;
272 } while (byte & 0x80);
273 if (end) *end = ptr;
275 /* as spec: sign bit of byte is 2nd high order bit (80x40)
276 * -> 0x80 is used as flag.
278 if ((shift < size) && (byte & 0x40))
280 ret |= - (1 << shift);
282 return ret;
285 static long dwarf2_leb128_as_signed(dwarf2_traverse_context_t* ctx)
287 long ret = 0;
289 assert(ctx);
291 ret = dwarf2_get_leb128_as_signed(ctx->data, &ctx->data);
292 return ret;
295 static unsigned dwarf2_leb128_length(const dwarf2_traverse_context_t* ctx)
297 unsigned ret;
298 for (ret = 0; ctx->data[ret] & 0x80; ret++);
299 return ret + 1;
302 static unsigned long dwarf2_get_addr(const unsigned char* ptr, unsigned word_size)
304 unsigned long ret;
306 switch (word_size)
308 case 4:
309 ret = dwarf2_get_u4(ptr);
310 break;
311 default:
312 FIXME("Unsupported Word Size %u\n", word_size);
313 ret = 0;
315 return ret;
318 static unsigned long dwarf2_parse_addr(dwarf2_traverse_context_t* ctx)
320 unsigned long ret = dwarf2_get_addr(ctx->data, ctx->word_size);
321 ctx->data += ctx->word_size;
322 return ret;
325 static const char* dwarf2_debug_traverse_ctx(const dwarf2_traverse_context_t* ctx)
327 return wine_dbg_sprintf("ctx(%p)", ctx->data);
330 static const char* dwarf2_debug_ctx(const dwarf2_parse_context_t* ctx)
332 return wine_dbg_sprintf("ctx(%p,%s)",
333 ctx, debugstr_w(ctx->module->module.ModuleName));
336 static const char* dwarf2_debug_di(const dwarf2_debug_info_t* di)
338 return wine_dbg_sprintf("debug_info(abbrev:%p,symt:%p)",
339 di->abbrev, di->symt);
342 static dwarf2_abbrev_entry_t*
343 dwarf2_abbrev_table_find_entry(const struct sparse_array* abbrev_table,
344 unsigned long entry_code)
346 assert( NULL != abbrev_table );
347 return sparse_array_find(abbrev_table, entry_code);
350 static void dwarf2_parse_abbrev_set(dwarf2_traverse_context_t* abbrev_ctx,
351 struct sparse_array* abbrev_table,
352 struct pool* pool)
354 unsigned long entry_code;
355 dwarf2_abbrev_entry_t* abbrev_entry;
356 dwarf2_abbrev_entry_attr_t* new = NULL;
357 dwarf2_abbrev_entry_attr_t* last = NULL;
358 unsigned long attribute;
359 unsigned long form;
361 assert( NULL != abbrev_ctx );
363 TRACE("%s, end at %p\n",
364 dwarf2_debug_traverse_ctx(abbrev_ctx), abbrev_ctx->end_data);
366 sparse_array_init(abbrev_table, sizeof(dwarf2_abbrev_entry_t), 32);
367 while (abbrev_ctx->data < abbrev_ctx->end_data)
369 TRACE("now at %s\n", dwarf2_debug_traverse_ctx(abbrev_ctx));
370 entry_code = dwarf2_leb128_as_unsigned(abbrev_ctx);
371 TRACE("found entry_code %lu\n", entry_code);
372 if (!entry_code)
374 TRACE("NULL entry code at %s\n", dwarf2_debug_traverse_ctx(abbrev_ctx));
375 break;
377 abbrev_entry = sparse_array_add(abbrev_table, entry_code, pool);
378 assert( NULL != abbrev_entry );
380 abbrev_entry->entry_code = entry_code;
381 abbrev_entry->tag = dwarf2_leb128_as_unsigned(abbrev_ctx);
382 abbrev_entry->have_child = dwarf2_parse_byte(abbrev_ctx);
383 abbrev_entry->attrs = NULL;
384 abbrev_entry->num_attr = 0;
386 TRACE("table:(%p,#%u) entry_code(%lu) tag(0x%lx) have_child(%u) -> %p\n",
387 abbrev_table, sparse_array_length(abbrev_table),
388 entry_code, abbrev_entry->tag, abbrev_entry->have_child, abbrev_entry);
390 last = NULL;
391 while (1)
393 attribute = dwarf2_leb128_as_unsigned(abbrev_ctx);
394 form = dwarf2_leb128_as_unsigned(abbrev_ctx);
395 if (!attribute) break;
397 new = pool_alloc(pool, sizeof(dwarf2_abbrev_entry_attr_t));
398 assert(new);
400 new->attribute = attribute;
401 new->form = form;
402 new->next = NULL;
403 if (abbrev_entry->attrs) last->next = new;
404 else abbrev_entry->attrs = new;
405 last = new;
406 abbrev_entry->num_attr++;
409 TRACE("found %u entries\n", sparse_array_length(abbrev_table));
412 static void dwarf2_swallow_attribute(dwarf2_traverse_context_t* ctx,
413 const dwarf2_abbrev_entry_attr_t* abbrev_attr)
415 unsigned step;
417 TRACE("(attr:0x%lx,form:0x%lx)\n", abbrev_attr->attribute, abbrev_attr->form);
419 switch (abbrev_attr->form)
421 case DW_FORM_ref_addr:
422 case DW_FORM_addr: step = ctx->word_size; break;
423 case DW_FORM_flag:
424 case DW_FORM_data1:
425 case DW_FORM_ref1: step = 1; break;
426 case DW_FORM_data2:
427 case DW_FORM_ref2: step = 2; break;
428 case DW_FORM_data4:
429 case DW_FORM_ref4:
430 case DW_FORM_strp: step = 4; break;
431 case DW_FORM_data8:
432 case DW_FORM_ref8: step = 8; break;
433 case DW_FORM_sdata:
434 case DW_FORM_ref_udata:
435 case DW_FORM_udata: step = dwarf2_leb128_length(ctx); break;
436 case DW_FORM_string: step = strlen((const char*)ctx->data) + 1; break;
437 case DW_FORM_block: step = dwarf2_leb128_as_unsigned(ctx); break;
438 case DW_FORM_block1: step = dwarf2_parse_byte(ctx); break;
439 case DW_FORM_block2: step = dwarf2_parse_u2(ctx); break;
440 case DW_FORM_block4: step = dwarf2_parse_u4(ctx); break;
441 default:
442 FIXME("Unhandled attribute form %lx\n", abbrev_attr->form);
443 return;
445 ctx->data += step;
448 static void dwarf2_fill_attr(const dwarf2_parse_context_t* ctx,
449 const dwarf2_abbrev_entry_attr_t* abbrev_attr,
450 const unsigned char* data,
451 struct attribute* attr)
453 attr->form = abbrev_attr->form;
454 switch (attr->form)
456 case DW_FORM_ref_addr:
457 case DW_FORM_addr:
458 attr->u.uvalue = dwarf2_get_addr(data, ctx->word_size);
459 TRACE("addr<0x%lx>\n", attr->u.uvalue);
460 break;
462 case DW_FORM_flag:
463 attr->u.uvalue = dwarf2_get_byte(data);
464 TRACE("flag<0x%lx>\n", attr->u.uvalue);
465 break;
467 case DW_FORM_data1:
468 attr->u.uvalue = dwarf2_get_byte(data);
469 TRACE("data1<%lu>\n", attr->u.uvalue);
470 break;
472 case DW_FORM_data2:
473 attr->u.uvalue = dwarf2_get_u2(data);
474 TRACE("data2<%lu>\n", attr->u.uvalue);
475 break;
477 case DW_FORM_data4:
478 attr->u.uvalue = dwarf2_get_u4(data);
479 TRACE("data4<%lu>\n", attr->u.uvalue);
480 break;
482 case DW_FORM_data8:
483 FIXME("Unhandled 64bits support\n");
484 break;
486 case DW_FORM_ref1:
487 attr->u.uvalue = ctx->ref_offset + dwarf2_get_byte(data);
488 TRACE("ref1<0x%lx>\n", attr->u.uvalue);
489 break;
491 case DW_FORM_ref2:
492 attr->u.uvalue = ctx->ref_offset + dwarf2_get_u2(data);
493 TRACE("ref2<0x%lx>\n", attr->u.uvalue);
494 break;
496 case DW_FORM_ref4:
497 attr->u.uvalue = ctx->ref_offset + dwarf2_get_u4(data);
498 TRACE("ref4<0x%lx>\n", attr->u.uvalue);
499 break;
501 case DW_FORM_ref8:
502 FIXME("Unhandled 64 bit support\n");
503 break;
505 case DW_FORM_sdata:
506 attr->u.svalue = dwarf2_get_leb128_as_signed(data, NULL);
507 break;
509 case DW_FORM_ref_udata:
510 attr->u.uvalue = dwarf2_get_leb128_as_unsigned(data, NULL);
511 break;
513 case DW_FORM_udata:
514 attr->u.uvalue = dwarf2_get_leb128_as_unsigned(data, NULL);
515 break;
517 case DW_FORM_string:
518 attr->u.string = (const char *)data;
519 TRACE("string<%s>\n", attr->u.string);
520 break;
522 case DW_FORM_strp:
524 unsigned long offset = dwarf2_get_u4(data);
525 attr->u.string = (const char*)ctx->sections[section_string].address + offset;
527 TRACE("strp<%s>\n", attr->u.string);
528 break;
530 case DW_FORM_block:
531 attr->u.block.size = dwarf2_get_leb128_as_unsigned(data, &attr->u.block.ptr);
532 break;
534 case DW_FORM_block1:
535 attr->u.block.size = dwarf2_get_byte(data);
536 attr->u.block.ptr = data + 1;
537 break;
539 case DW_FORM_block2:
540 attr->u.block.size = dwarf2_get_u2(data);
541 attr->u.block.ptr = data + 2;
542 break;
544 case DW_FORM_block4:
545 attr->u.block.size = dwarf2_get_u4(data);
546 attr->u.block.ptr = data + 4;
547 break;
549 default:
550 FIXME("Unhandled attribute form %lx\n", abbrev_attr->form);
551 break;
555 static BOOL dwarf2_find_attribute(const dwarf2_parse_context_t* ctx,
556 const dwarf2_debug_info_t* di,
557 unsigned at, struct attribute* attr)
559 unsigned i, ai = 0;
560 dwarf2_abbrev_entry_attr_t* abbrev_attr;
561 dwarf2_abbrev_entry_attr_t* abstract_abbrev_attr;
563 while (di)
565 abstract_abbrev_attr = NULL;
566 for (i = 0, abbrev_attr = di->abbrev->attrs; abbrev_attr; i++, abbrev_attr = abbrev_attr->next)
568 if (abbrev_attr->attribute == at)
570 dwarf2_fill_attr(ctx, abbrev_attr, di->data[i], attr);
571 return TRUE;
573 if (abbrev_attr->attribute == DW_AT_abstract_origin &&
574 at != DW_AT_sibling)
576 abstract_abbrev_attr = abbrev_attr;
577 ai = i;
580 /* do we have an abstract origin debug entry to look into ? */
581 if (!abstract_abbrev_attr) break;
582 dwarf2_fill_attr(ctx, abstract_abbrev_attr, di->data[ai], attr);
583 if (!(di = sparse_array_find(&ctx->debug_info_table, attr->u.uvalue)))
584 FIXME("Should have found the debug info entry\n");
586 return FALSE;
589 static void dwarf2_load_one_entry(dwarf2_parse_context_t*, dwarf2_debug_info_t*,
590 struct symt_compiland*);
592 #define Wine_DW_no_register 0x7FFFFFFF
594 static unsigned dwarf2_map_register(int regno)
596 unsigned reg;
598 switch (regno)
600 case Wine_DW_no_register: FIXME("What the heck map reg 0x%x\n",regno); reg = 0; break;
601 case 0: reg = CV_REG_EAX; break;
602 case 1: reg = CV_REG_ECX; break;
603 case 2: reg = CV_REG_EDX; break;
604 case 3: reg = CV_REG_EBX; break;
605 case 4: reg = CV_REG_ESP; break;
606 case 5: reg = CV_REG_EBP; break;
607 case 6: reg = CV_REG_ESI; break;
608 case 7: reg = CV_REG_EDI; break;
609 case 8: reg = CV_REG_EIP; break;
610 case 9: reg = CV_REG_EFLAGS; break;
611 case 10: reg = CV_REG_CS; break;
612 case 11: reg = CV_REG_SS; break;
613 case 12: reg = CV_REG_DS; break;
614 case 13: reg = CV_REG_ES; break;
615 case 14: reg = CV_REG_FS; break;
616 case 15: reg = CV_REG_GS; break;
617 case 16: case 17: case 18: case 19:
618 case 20: case 21: case 22: case 23:
619 reg = CV_REG_ST0 + regno - 16; break;
620 case 24: reg = CV_REG_CTRL; break;
621 case 25: reg = CV_REG_STAT; break;
622 case 26: reg = CV_REG_TAG; break;
624 reg: fiseg 27
625 reg: fioff 28
626 reg: foseg 29
627 reg: fooff 30
628 reg: fop 31
630 case 32: case 33: case 34: case 35:
631 case 36: case 37: case 38: case 39:
632 reg = CV_REG_XMM0 + regno - 32; break;
633 case 40: reg = CV_REG_MXCSR; break;
634 default:
635 FIXME("Don't know how to map register %d\n", regno);
636 return 0;
638 return reg;
641 static enum location_error
642 compute_location(dwarf2_traverse_context_t* ctx, struct location* loc,
643 HANDLE hproc, const struct location* frame)
645 unsigned long stack[64];
646 unsigned stk;
647 unsigned char op;
648 BOOL piece_found = FALSE;
650 stack[stk = 0] = 0;
652 loc->kind = loc_absolute;
653 loc->reg = Wine_DW_no_register;
655 while (ctx->data < ctx->end_data)
657 op = dwarf2_parse_byte(ctx);
658 switch (op)
660 case DW_OP_addr: stack[++stk] = dwarf2_parse_addr(ctx); break;
661 case DW_OP_const1u: stack[++stk] = dwarf2_parse_byte(ctx); break;
662 case DW_OP_const1s: stack[++stk] = (long)(signed char)dwarf2_parse_byte(ctx); break;
663 case DW_OP_const2u: stack[++stk] = dwarf2_parse_u2(ctx); break;
664 case DW_OP_const2s: stack[++stk] = (long)(short)dwarf2_parse_u2(ctx); break;
665 case DW_OP_const4u: stack[++stk] = dwarf2_parse_u4(ctx); break;
666 case DW_OP_const4s: stack[++stk] = dwarf2_parse_u4(ctx); break;
667 case DW_OP_constu: stack[++stk] = dwarf2_leb128_as_unsigned(ctx); break;
668 case DW_OP_consts: stack[++stk] = dwarf2_leb128_as_signed(ctx); break;
669 case DW_OP_plus_uconst:
670 stack[stk] += dwarf2_leb128_as_unsigned(ctx); break;
671 case DW_OP_reg0: case DW_OP_reg1: case DW_OP_reg2: case DW_OP_reg3:
672 case DW_OP_reg4: case DW_OP_reg5: case DW_OP_reg6: case DW_OP_reg7:
673 case DW_OP_reg8: case DW_OP_reg9: case DW_OP_reg10: case DW_OP_reg11:
674 case DW_OP_reg12: case DW_OP_reg13: case DW_OP_reg14: case DW_OP_reg15:
675 case DW_OP_reg16: case DW_OP_reg17: case DW_OP_reg18: case DW_OP_reg19:
676 case DW_OP_reg20: case DW_OP_reg21: case DW_OP_reg22: case DW_OP_reg23:
677 case DW_OP_reg24: case DW_OP_reg25: case DW_OP_reg26: case DW_OP_reg27:
678 case DW_OP_reg28: case DW_OP_reg29: case DW_OP_reg30: case DW_OP_reg31:
679 /* dbghelp APIs don't know how to cope with this anyway
680 * (for example 'long long' stored in two registers)
681 * FIXME: We should tell winedbg how to deal with it (sigh)
683 if (!piece_found)
685 if (loc->reg != Wine_DW_no_register)
686 FIXME("Only supporting one reg (%d -> %d)\n",
687 loc->reg, dwarf2_map_register(op - DW_OP_reg0));
688 loc->reg = dwarf2_map_register(op - DW_OP_reg0);
690 loc->kind = loc_register;
691 break;
692 case DW_OP_breg0: case DW_OP_breg1: case DW_OP_breg2: case DW_OP_breg3:
693 case DW_OP_breg4: case DW_OP_breg5: case DW_OP_breg6: case DW_OP_breg7:
694 case DW_OP_breg8: case DW_OP_breg9: case DW_OP_breg10: case DW_OP_breg11:
695 case DW_OP_breg12: case DW_OP_breg13: case DW_OP_breg14: case DW_OP_breg15:
696 case DW_OP_breg16: case DW_OP_breg17: case DW_OP_breg18: case DW_OP_breg19:
697 case DW_OP_breg20: case DW_OP_breg21: case DW_OP_breg22: case DW_OP_breg23:
698 case DW_OP_breg24: case DW_OP_breg25: case DW_OP_breg26: case DW_OP_breg27:
699 case DW_OP_breg28: case DW_OP_breg29: case DW_OP_breg30: case DW_OP_breg31:
700 /* dbghelp APIs don't know how to cope with this anyway
701 * (for example 'long long' stored in two registers)
702 * FIXME: We should tell winedbg how to deal with it (sigh)
704 if (!piece_found)
706 if (loc->reg != Wine_DW_no_register)
707 FIXME("Only supporting one reg (%d -> %d)\n",
708 loc->reg, dwarf2_map_register(op - DW_OP_breg0));
709 loc->reg = dwarf2_map_register(op - DW_OP_breg0);
711 stack[++stk] = dwarf2_leb128_as_signed(ctx);
712 loc->kind = loc_regrel;
713 break;
714 case DW_OP_fbreg:
715 if (loc->reg != Wine_DW_no_register)
716 FIXME("Only supporting one reg (%d -> -2)\n", loc->reg);
717 if (frame && frame->kind == loc_register)
719 loc->kind = loc_regrel;
720 loc->reg = frame->reg;
721 stack[++stk] = dwarf2_leb128_as_signed(ctx);
723 else if (frame && frame->kind == loc_regrel)
725 loc->kind = loc_regrel;
726 loc->reg = frame->reg;
727 stack[++stk] = dwarf2_leb128_as_signed(ctx) + frame->offset;
729 else
731 /* FIXME: this could be later optimized by not recomputing
732 * this very location expression
734 loc->kind = loc_dwarf2_block;
735 stack[++stk] = dwarf2_leb128_as_signed(ctx);
737 break;
738 case DW_OP_piece:
740 unsigned sz = dwarf2_leb128_as_unsigned(ctx);
741 WARN("Not handling OP_piece (size=%d)\n", sz);
742 piece_found = TRUE;
744 break;
745 case DW_OP_deref:
746 if (!stk)
748 FIXME("Unexpected empty stack\n");
749 return loc_err_internal;
751 if (loc->reg != Wine_DW_no_register)
753 WARN("Too complex expression for deref\n");
754 return loc_err_too_complex;
756 if (hproc)
758 DWORD addr = stack[stk--];
759 DWORD deref;
761 if (!ReadProcessMemory(hproc, (void*)addr, &deref, sizeof(deref), NULL))
763 WARN("Couldn't read memory at %x\n", addr);
764 return loc_err_cant_read;
766 stack[++stk] = deref;
768 else
770 loc->kind = loc_dwarf2_block;
772 break;
773 default:
774 FIXME("Unhandled attr op: %x\n", op);
775 return loc_err_internal;
778 loc->offset = stack[stk];
779 return 0;
782 static BOOL dwarf2_compute_location_attr(dwarf2_parse_context_t* ctx,
783 const dwarf2_debug_info_t* di,
784 unsigned long dw,
785 struct location* loc,
786 const struct location* frame)
788 struct attribute xloc;
790 if (!dwarf2_find_attribute(ctx, di, dw, &xloc)) return FALSE;
792 switch (xloc.form)
794 case DW_FORM_data1: case DW_FORM_data2:
795 case DW_FORM_udata: case DW_FORM_sdata:
796 loc->kind = loc_absolute;
797 loc->reg = 0;
798 loc->offset = xloc.u.uvalue;
799 return TRUE;
800 case DW_FORM_data4: case DW_FORM_data8:
801 loc->kind = loc_dwarf2_location_list;
802 loc->reg = Wine_DW_no_register;
803 loc->offset = xloc.u.uvalue;
804 return TRUE;
807 /* assume we have a block form */
809 if (xloc.u.block.size)
811 dwarf2_traverse_context_t lctx;
812 enum location_error err;
814 lctx.data = xloc.u.block.ptr;
815 lctx.end_data = xloc.u.block.ptr + xloc.u.block.size;
816 lctx.word_size = ctx->word_size;
818 err = compute_location(&lctx, loc, NULL, frame);
819 if (err < 0)
821 loc->kind = loc_error;
822 loc->reg = err;
824 else if (loc->kind == loc_dwarf2_block)
826 unsigned* ptr = pool_alloc(&ctx->module->pool,
827 sizeof(unsigned) + xloc.u.block.size);
828 *ptr = xloc.u.block.size;
829 memcpy(ptr + 1, xloc.u.block.ptr, xloc.u.block.size);
830 loc->offset = (unsigned long)ptr;
833 return TRUE;
836 static struct symt* dwarf2_lookup_type(dwarf2_parse_context_t* ctx,
837 const dwarf2_debug_info_t* di)
839 struct attribute attr;
841 if (dwarf2_find_attribute(ctx, di, DW_AT_type, &attr))
843 dwarf2_debug_info_t* type;
845 type = sparse_array_find(&ctx->debug_info_table, attr.u.uvalue);
846 if (!type) FIXME("Unable to find back reference to type %lx\n", attr.u.uvalue);
847 if (!type->symt)
849 /* load the debug info entity */
850 dwarf2_load_one_entry(ctx, type, NULL);
852 return type->symt;
854 return NULL;
857 /******************************************************************
858 * dwarf2_read_one_debug_info
860 * Loads into memory one debug info entry, and recursively its children (if any)
862 static BOOL dwarf2_read_one_debug_info(dwarf2_parse_context_t* ctx,
863 dwarf2_traverse_context_t* traverse,
864 dwarf2_debug_info_t** pdi)
866 const dwarf2_abbrev_entry_t*abbrev;
867 unsigned long entry_code;
868 unsigned long offset;
869 dwarf2_debug_info_t* di;
870 dwarf2_debug_info_t* child;
871 dwarf2_debug_info_t** where;
872 dwarf2_abbrev_entry_attr_t* attr;
873 unsigned i;
874 struct attribute sibling;
876 offset = traverse->data - ctx->sections[ctx->section].address;
877 entry_code = dwarf2_leb128_as_unsigned(traverse);
878 TRACE("found entry_code %lu at 0x%lx\n", entry_code, offset);
879 if (!entry_code)
881 *pdi = NULL;
882 return TRUE;
884 abbrev = dwarf2_abbrev_table_find_entry(&ctx->abbrev_table, entry_code);
885 if (!abbrev)
887 WARN("Cannot find abbrev entry for %lu at 0x%lx\n", entry_code, offset);
888 return FALSE;
890 di = sparse_array_add(&ctx->debug_info_table, offset, &ctx->pool);
891 if (!di) return FALSE;
892 di->abbrev = abbrev;
893 di->symt = NULL;
895 if (abbrev->num_attr)
897 di->data = pool_alloc(&ctx->pool, abbrev->num_attr * sizeof(const char*));
898 for (i = 0, attr = abbrev->attrs; attr; i++, attr = attr->next)
900 di->data[i] = traverse->data;
901 dwarf2_swallow_attribute(traverse, attr);
904 else di->data = NULL;
905 if (abbrev->have_child)
907 vector_init(&di->children, sizeof(dwarf2_debug_info_t*), 16);
908 while (traverse->data < traverse->end_data)
910 if (!dwarf2_read_one_debug_info(ctx, traverse, &child)) return FALSE;
911 if (!child) break;
912 where = vector_add(&di->children, &ctx->pool);
913 if (!where) return FALSE;
914 *where = child;
917 if (dwarf2_find_attribute(ctx, di, DW_AT_sibling, &sibling) &&
918 traverse->data != ctx->sections[ctx->section].address + sibling.u.uvalue)
920 WARN("setting cursor for %s to next sibling <0x%lx>\n",
921 dwarf2_debug_traverse_ctx(traverse), sibling.u.uvalue);
922 traverse->data = ctx->sections[ctx->section].address + sibling.u.uvalue;
924 *pdi = di;
925 return TRUE;
928 static struct symt* dwarf2_parse_base_type(dwarf2_parse_context_t* ctx,
929 dwarf2_debug_info_t* di)
931 struct attribute name;
932 struct attribute size;
933 struct attribute encoding;
934 enum BasicType bt;
936 if (di->symt) return di->symt;
938 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
940 if (!dwarf2_find_attribute(ctx, di, DW_AT_name, &name))
941 name.u.string = NULL;
942 if (!dwarf2_find_attribute(ctx, di, DW_AT_byte_size, &size)) size.u.uvalue = 0;
943 if (!dwarf2_find_attribute(ctx, di, DW_AT_encoding, &encoding)) encoding.u.uvalue = DW_ATE_void;
945 switch (encoding.u.uvalue)
947 case DW_ATE_void: bt = btVoid; break;
948 case DW_ATE_address: bt = btULong; break;
949 case DW_ATE_boolean: bt = btBool; break;
950 case DW_ATE_complex_float: bt = btComplex; break;
951 case DW_ATE_float: bt = btFloat; break;
952 case DW_ATE_signed: bt = btInt; break;
953 case DW_ATE_unsigned: bt = btUInt; break;
954 case DW_ATE_signed_char: bt = btChar; break;
955 case DW_ATE_unsigned_char: bt = btChar; break;
956 default: bt = btNoType; break;
958 di->symt = &symt_new_basic(ctx->module, bt, name.u.string, size.u.uvalue)->symt;
959 if (di->abbrev->have_child) FIXME("Unsupported children\n");
960 return di->symt;
963 static struct symt* dwarf2_parse_typedef(dwarf2_parse_context_t* ctx,
964 dwarf2_debug_info_t* di)
966 struct symt* ref_type;
967 struct attribute name;
969 if (di->symt) return di->symt;
971 TRACE("%s, for %lu\n", dwarf2_debug_ctx(ctx), di->abbrev->entry_code);
973 if (!dwarf2_find_attribute(ctx, di, DW_AT_name, &name)) name.u.string = NULL;
974 ref_type = dwarf2_lookup_type(ctx, di);
976 if (name.u.string)
977 di->symt = &symt_new_typedef(ctx->module, ref_type, name.u.string)->symt;
978 if (di->abbrev->have_child) FIXME("Unsupported children\n");
979 return di->symt;
982 static struct symt* dwarf2_parse_pointer_type(dwarf2_parse_context_t* ctx,
983 dwarf2_debug_info_t* di)
985 struct symt* ref_type;
986 struct attribute size;
988 if (di->symt) return di->symt;
990 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
992 if (!dwarf2_find_attribute(ctx, di, DW_AT_byte_size, &size)) size.u.uvalue = 0;
993 if (!(ref_type = dwarf2_lookup_type(ctx, di)))
994 ref_type = &symt_new_basic(ctx->module, btVoid, "void", 0)->symt;
996 di->symt = &symt_new_pointer(ctx->module, ref_type)->symt;
997 if (di->abbrev->have_child) FIXME("Unsupported children\n");
998 return di->symt;
1001 static struct symt* dwarf2_parse_array_type(dwarf2_parse_context_t* ctx,
1002 dwarf2_debug_info_t* di)
1004 struct symt* ref_type;
1005 struct symt* idx_type = NULL;
1006 struct attribute min, max, cnt;
1007 dwarf2_debug_info_t* child;
1008 int i;
1010 if (di->symt) return di->symt;
1012 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1014 if (!di->abbrev->have_child)
1016 FIXME("array without range information\n");
1017 return NULL;
1019 ref_type = dwarf2_lookup_type(ctx, di);
1021 for (i=0; i<vector_length(&di->children); i++)
1023 child = *(dwarf2_debug_info_t**)vector_at(&di->children, i);
1024 switch (child->abbrev->tag)
1026 case DW_TAG_subrange_type:
1027 idx_type = dwarf2_lookup_type(ctx, child);
1028 if (!dwarf2_find_attribute(ctx, child, DW_AT_lower_bound, &min))
1029 min.u.uvalue = 0;
1030 if (!dwarf2_find_attribute(ctx, child, DW_AT_upper_bound, &max))
1031 max.u.uvalue = 0;
1032 if (dwarf2_find_attribute(ctx, child, DW_AT_count, &cnt))
1033 max.u.uvalue = min.u.uvalue + cnt.u.uvalue;
1034 break;
1035 default:
1036 FIXME("Unhandled Tag type 0x%lx at %s, for %s\n",
1037 child->abbrev->tag, dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1038 break;
1041 di->symt = &symt_new_array(ctx->module, min.u.uvalue, max.u.uvalue, ref_type, idx_type)->symt;
1042 return di->symt;
1045 static struct symt* dwarf2_parse_const_type(dwarf2_parse_context_t* ctx,
1046 dwarf2_debug_info_t* di)
1048 struct symt* ref_type;
1050 if (di->symt) return di->symt;
1052 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1054 ref_type = dwarf2_lookup_type(ctx, di);
1055 if (di->abbrev->have_child) FIXME("Unsupported children\n");
1056 di->symt = ref_type;
1058 return ref_type;
1061 static struct symt* dwarf2_parse_volatile_type(dwarf2_parse_context_t* ctx,
1062 dwarf2_debug_info_t* di)
1064 struct symt* ref_type;
1066 if (di->symt) return di->symt;
1068 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1070 ref_type = dwarf2_lookup_type(ctx, di);
1071 if (di->abbrev->have_child) FIXME("Unsupported children\n");
1072 di->symt = ref_type;
1074 return ref_type;
1077 static struct symt* dwarf2_parse_reference_type(dwarf2_parse_context_t* ctx,
1078 dwarf2_debug_info_t* di)
1080 struct symt* ref_type = NULL;
1082 if (di->symt) return di->symt;
1084 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1086 ref_type = dwarf2_lookup_type(ctx, di);
1087 /* FIXME: for now, we hard-wire C++ references to pointers */
1088 di->symt = &symt_new_pointer(ctx->module, ref_type)->symt;
1090 if (di->abbrev->have_child) FIXME("Unsupported children\n");
1092 return di->symt;
1095 static void dwarf2_parse_udt_member(dwarf2_parse_context_t* ctx,
1096 const dwarf2_debug_info_t* di,
1097 struct symt_udt* parent)
1099 struct symt* elt_type;
1100 struct attribute name;
1101 struct attribute bit_size;
1102 struct attribute bit_offset;
1103 struct location loc;
1105 assert(parent);
1107 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1109 if (!dwarf2_find_attribute(ctx, di, DW_AT_name, &name)) name.u.string = NULL;
1110 elt_type = dwarf2_lookup_type(ctx, di);
1111 if (dwarf2_compute_location_attr(ctx, di, DW_AT_data_member_location, &loc, NULL))
1113 if (loc.kind != loc_absolute)
1115 FIXME("Found register, while not expecting it\n");
1116 loc.offset = 0;
1118 else
1119 TRACE("found member_location at %s -> %lu\n",
1120 dwarf2_debug_ctx(ctx), loc.offset);
1122 else
1123 loc.offset = 0;
1124 if (!dwarf2_find_attribute(ctx, di, DW_AT_bit_size, &bit_size))
1125 bit_size.u.uvalue = 0;
1126 if (dwarf2_find_attribute(ctx, di, DW_AT_bit_offset, &bit_offset))
1128 /* FIXME: we should only do this when implementation is LSB (which is
1129 * the case on i386 processors)
1131 struct attribute nbytes;
1132 if (!dwarf2_find_attribute(ctx, di, DW_AT_byte_size, &nbytes))
1134 DWORD64 size;
1135 nbytes.u.uvalue = symt_get_info(elt_type, TI_GET_LENGTH, &size) ? (unsigned long)size : 0;
1137 bit_offset.u.uvalue = nbytes.u.uvalue * 8 - bit_offset.u.uvalue - bit_size.u.uvalue;
1139 else bit_offset.u.uvalue = 0;
1140 symt_add_udt_element(ctx->module, parent, name.u.string, elt_type,
1141 (loc.offset << 3) + bit_offset.u.uvalue,
1142 bit_size.u.uvalue);
1144 if (di->abbrev->have_child) FIXME("Unsupported children\n");
1147 static struct symt* dwarf2_parse_udt_type(dwarf2_parse_context_t* ctx,
1148 dwarf2_debug_info_t* di,
1149 enum UdtKind udt)
1151 struct attribute name;
1152 struct attribute size;
1154 if (di->symt) return di->symt;
1156 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1158 if (!dwarf2_find_attribute(ctx, di, DW_AT_name, &name)) name.u.string = NULL;
1159 if (!dwarf2_find_attribute(ctx, di, DW_AT_byte_size, &size)) size.u.uvalue = 0;
1161 di->symt = &symt_new_udt(ctx->module, name.u.string, size.u.uvalue, udt)->symt;
1163 if (di->abbrev->have_child) /** any interest to not have child ? */
1165 dwarf2_debug_info_t* child;
1166 int i;
1168 for (i=0; i<vector_length(&di->children); i++)
1170 child = *(dwarf2_debug_info_t**)vector_at(&di->children, i);
1172 switch (child->abbrev->tag)
1174 case DW_TAG_member:
1175 /* FIXME: should I follow the sibling stuff ?? */
1176 dwarf2_parse_udt_member(ctx, child, (struct symt_udt*)di->symt);
1177 break;
1178 case DW_TAG_enumeration_type:
1179 dwarf2_parse_enumeration_type(ctx, child);
1180 break;
1181 case DW_TAG_structure_type:
1182 case DW_TAG_class_type:
1183 case DW_TAG_union_type:
1184 /* FIXME: we need to handle nested udt definitions */
1185 break;
1186 default:
1187 FIXME("Unhandled Tag type 0x%lx at %s, for %s\n",
1188 child->abbrev->tag, dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1189 break;
1194 return di->symt;
1197 static void dwarf2_parse_enumerator(dwarf2_parse_context_t* ctx,
1198 const dwarf2_debug_info_t* di,
1199 struct symt_enum* parent)
1201 struct attribute name;
1202 struct attribute value;
1204 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1206 if (!dwarf2_find_attribute(ctx, di, DW_AT_name, &name)) return;
1207 if (!dwarf2_find_attribute(ctx, di, DW_AT_const_value, &value)) value.u.svalue = 0;
1208 symt_add_enum_element(ctx->module, parent, name.u.string, value.u.svalue);
1210 if (di->abbrev->have_child) FIXME("Unsupported children\n");
1213 static struct symt* dwarf2_parse_enumeration_type(dwarf2_parse_context_t* ctx,
1214 dwarf2_debug_info_t* di)
1216 struct attribute name;
1217 struct attribute size;
1219 if (di->symt) return di->symt;
1221 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1223 if (!dwarf2_find_attribute(ctx, di, DW_AT_name, &name)) name.u.string = NULL;
1224 if (!dwarf2_find_attribute(ctx, di, DW_AT_byte_size, &size)) size.u.uvalue = 0;
1226 di->symt = &symt_new_enum(ctx->module, name.u.string)->symt;
1228 if (di->abbrev->have_child) /* any interest to not have child ? */
1230 dwarf2_debug_info_t* child;
1231 int i;
1233 /* FIXME: should we use the sibling stuff ?? */
1234 for (i=0; i<vector_length(&di->children); i++)
1236 child = *(dwarf2_debug_info_t**)vector_at(&di->children, i);
1238 switch (child->abbrev->tag)
1240 case DW_TAG_enumerator:
1241 dwarf2_parse_enumerator(ctx, child, (struct symt_enum*)di->symt);
1242 break;
1243 default:
1244 FIXME("Unhandled Tag type 0x%lx at %s, for %s\n",
1245 di->abbrev->tag, dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1249 return di->symt;
1252 /* structure used to pass information around when parsing a subprogram */
1253 typedef struct dwarf2_subprogram_s
1255 dwarf2_parse_context_t* ctx;
1256 struct symt_compiland* compiland;
1257 struct symt_function* func;
1258 BOOL non_computed_variable;
1259 struct location frame;
1260 } dwarf2_subprogram_t;
1262 /******************************************************************
1263 * dwarf2_parse_variable
1265 * Parses any variable (parameter, local/global variable)
1267 static void dwarf2_parse_variable(dwarf2_subprogram_t* subpgm,
1268 struct symt_block* block,
1269 dwarf2_debug_info_t* di)
1271 struct symt* param_type;
1272 struct attribute name, value;
1273 struct location loc;
1274 BOOL is_pmt;
1276 TRACE("%s, for %s\n", dwarf2_debug_ctx(subpgm->ctx), dwarf2_debug_di(di));
1278 is_pmt = !block && di->abbrev->tag == DW_TAG_formal_parameter;
1279 param_type = dwarf2_lookup_type(subpgm->ctx, di);
1281 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_name, &name)) {
1282 /* cannot do much without the name, the functions below won't like it. */
1283 return;
1285 if (dwarf2_compute_location_attr(subpgm->ctx, di, DW_AT_location,
1286 &loc, &subpgm->frame))
1288 struct attribute ext;
1290 TRACE("found parameter %s (kind=%d, offset=%ld, reg=%d) at %s\n",
1291 name.u.string, loc.kind, loc.offset, loc.reg,
1292 dwarf2_debug_ctx(subpgm->ctx));
1294 switch (loc.kind)
1296 case loc_absolute:
1297 /* it's a global variable */
1298 /* FIXME: we don't handle its scope yet */
1299 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_external, &ext))
1300 ext.u.uvalue = 0;
1301 symt_new_global_variable(subpgm->ctx->module, subpgm->compiland,
1302 name.u.string, !ext.u.uvalue,
1303 subpgm->ctx->load_offset + loc.offset,
1304 0, param_type);
1305 break;
1306 default:
1307 subpgm->non_computed_variable = TRUE;
1308 /* fall through */
1309 case loc_register:
1310 case loc_regrel:
1311 /* either a pmt/variable relative to frame pointer or
1312 * pmt/variable in a register
1314 assert(subpgm->func);
1315 symt_add_func_local(subpgm->ctx->module, subpgm->func,
1316 is_pmt ? DataIsParam : DataIsLocal,
1317 &loc, block, param_type, name.u.string);
1318 break;
1321 else if (dwarf2_find_attribute(subpgm->ctx, di, DW_AT_const_value, &value))
1323 VARIANT v;
1324 if (subpgm->func) WARN("Unsupported constant %s in function\n", name.u.string);
1325 if (is_pmt) FIXME("Unsupported constant (parameter) %s in function\n", name.u.string);
1326 switch (value.form)
1328 case DW_FORM_data1:
1329 case DW_FORM_data2:
1330 case DW_FORM_data4:
1331 case DW_FORM_udata:
1332 case DW_FORM_addr:
1333 v.n1.n2.vt = VT_UI4;
1334 v.n1.n2.n3.lVal = value.u.uvalue;
1335 break;
1337 case DW_FORM_sdata:
1338 v.n1.n2.vt = VT_I4;
1339 v.n1.n2.n3.lVal = value.u.svalue;
1340 break;
1342 case DW_FORM_strp:
1343 case DW_FORM_string:
1344 /* FIXME: native doesn't report const strings from here !!
1345 * however, the value of the string is in the code somewhere
1347 v.n1.n2.vt = VT_I1 | VT_BYREF;
1348 v.n1.n2.n3.byref = pool_strdup(&subpgm->ctx->module->pool, value.u.string);
1349 break;
1351 case DW_FORM_data8:
1352 case DW_FORM_block:
1353 case DW_FORM_block1:
1354 case DW_FORM_block2:
1355 case DW_FORM_block4:
1357 default:
1358 FIXME("Unsupported form for const value %s (%lx)\n",
1359 name.u.string, value.form);
1360 v.n1.n2.vt = VT_EMPTY;
1362 di->symt = &symt_new_constant(subpgm->ctx->module, subpgm->compiland,
1363 name.u.string, param_type, &v)->symt;
1365 if (is_pmt && subpgm->func && subpgm->func->type)
1366 symt_add_function_signature_parameter(subpgm->ctx->module,
1367 (struct symt_function_signature*)subpgm->func->type,
1368 param_type);
1370 if (di->abbrev->have_child) FIXME("Unsupported children\n");
1373 static void dwarf2_parse_subprogram_label(dwarf2_subprogram_t* subpgm,
1374 const dwarf2_debug_info_t* di)
1376 struct attribute name;
1377 struct attribute low_pc;
1378 struct location loc;
1380 TRACE("%s, for %s\n", dwarf2_debug_ctx(subpgm->ctx), dwarf2_debug_di(di));
1382 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_low_pc, &low_pc)) low_pc.u.uvalue = 0;
1383 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_name, &name))
1384 name.u.string = NULL;
1386 loc.kind = loc_absolute;
1387 loc.offset = subpgm->ctx->load_offset + low_pc.u.uvalue;
1388 symt_add_function_point(subpgm->ctx->module, subpgm->func, SymTagLabel,
1389 &loc, name.u.string);
1392 static void dwarf2_parse_subprogram_block(dwarf2_subprogram_t* subpgm,
1393 struct symt_block* parent_block,
1394 const dwarf2_debug_info_t* di);
1396 static void dwarf2_parse_inlined_subroutine(dwarf2_subprogram_t* subpgm,
1397 struct symt_block* parent_block,
1398 const dwarf2_debug_info_t* di)
1400 struct symt_block* block;
1401 struct attribute low_pc;
1402 struct attribute high_pc;
1404 TRACE("%s, for %s\n", dwarf2_debug_ctx(subpgm->ctx), dwarf2_debug_di(di));
1406 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_low_pc, &low_pc)) low_pc.u.uvalue = 0;
1407 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_high_pc, &high_pc)) high_pc.u.uvalue = 0;
1409 block = symt_open_func_block(subpgm->ctx->module, subpgm->func, parent_block,
1410 subpgm->ctx->load_offset + low_pc.u.uvalue - subpgm->func->address,
1411 high_pc.u.uvalue - low_pc.u.uvalue);
1413 if (di->abbrev->have_child) /** any interest to not have child ? */
1415 dwarf2_debug_info_t* child;
1416 int i;
1418 for (i=0; i<vector_length(&di->children); i++)
1420 child = *(dwarf2_debug_info_t**)vector_at(&di->children, i);
1422 switch (child->abbrev->tag)
1424 case DW_TAG_formal_parameter:
1425 case DW_TAG_variable:
1426 dwarf2_parse_variable(subpgm, block, child);
1427 break;
1428 case DW_TAG_lexical_block:
1429 dwarf2_parse_subprogram_block(subpgm, block, child);
1430 break;
1431 case DW_TAG_inlined_subroutine:
1432 dwarf2_parse_inlined_subroutine(subpgm, block, child);
1433 break;
1434 case DW_TAG_label:
1435 dwarf2_parse_subprogram_label(subpgm, child);
1436 break;
1437 default:
1438 FIXME("Unhandled Tag type 0x%lx at %s, for %s\n",
1439 child->abbrev->tag, dwarf2_debug_ctx(subpgm->ctx),
1440 dwarf2_debug_di(di));
1444 symt_close_func_block(subpgm->ctx->module, subpgm->func, block, 0);
1447 static void dwarf2_parse_subprogram_block(dwarf2_subprogram_t* subpgm,
1448 struct symt_block* parent_block,
1449 const dwarf2_debug_info_t* di)
1451 struct symt_block* block;
1452 struct attribute low_pc;
1453 struct attribute high_pc;
1455 TRACE("%s, for %s\n", dwarf2_debug_ctx(subpgm->ctx), dwarf2_debug_di(di));
1457 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_low_pc, &low_pc))
1458 low_pc.u.uvalue = 0;
1459 if (!dwarf2_find_attribute(subpgm->ctx, di, DW_AT_high_pc, &high_pc))
1460 high_pc.u.uvalue = 0;
1462 block = symt_open_func_block(subpgm->ctx->module, subpgm->func, parent_block,
1463 subpgm->ctx->load_offset + low_pc.u.uvalue - subpgm->func->address,
1464 high_pc.u.uvalue - low_pc.u.uvalue);
1466 if (di->abbrev->have_child) /** any interest to not have child ? */
1468 dwarf2_debug_info_t* child;
1469 int i;
1471 for (i=0; i<vector_length(&di->children); i++)
1473 child = *(dwarf2_debug_info_t**)vector_at(&di->children, i);
1475 switch (child->abbrev->tag)
1477 case DW_TAG_inlined_subroutine:
1478 dwarf2_parse_inlined_subroutine(subpgm, block, child);
1479 break;
1480 case DW_TAG_variable:
1481 dwarf2_parse_variable(subpgm, block, child);
1482 break;
1483 case DW_TAG_lexical_block:
1484 dwarf2_parse_subprogram_block(subpgm, block, child);
1485 break;
1486 case DW_TAG_subprogram:
1487 /* FIXME: likely a declaration (to be checked)
1488 * skip it for now
1490 break;
1491 case DW_TAG_formal_parameter:
1492 /* FIXME: likely elements for exception handling (GCC flavor)
1493 * Skip it for now
1495 break;
1496 case DW_TAG_label:
1497 dwarf2_parse_subprogram_label(subpgm, child);
1498 break;
1499 case DW_TAG_class_type:
1500 case DW_TAG_structure_type:
1501 case DW_TAG_union_type:
1502 case DW_TAG_enumeration_type:
1503 case DW_TAG_typedef:
1504 /* the type referred to will be loaded when we need it, so skip it */
1505 break;
1506 default:
1507 FIXME("Unhandled Tag type 0x%lx at %s, for %s\n",
1508 child->abbrev->tag, dwarf2_debug_ctx(subpgm->ctx), dwarf2_debug_di(di));
1513 symt_close_func_block(subpgm->ctx->module, subpgm->func, block, 0);
1516 static struct symt* dwarf2_parse_subprogram(dwarf2_parse_context_t* ctx,
1517 dwarf2_debug_info_t* di,
1518 struct symt_compiland* compiland)
1520 struct attribute name;
1521 struct attribute low_pc;
1522 struct attribute high_pc;
1523 struct attribute is_decl;
1524 struct attribute inline_flags;
1525 struct symt* ret_type;
1526 struct symt_function_signature* sig_type;
1527 dwarf2_subprogram_t subpgm;
1529 if (di->symt) return di->symt;
1531 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1533 if (!dwarf2_find_attribute(ctx, di, DW_AT_name, &name)) name.u.string = NULL;
1534 /* if it's an abstract representation of an inline function, there should be
1535 * a concrete object that we'll handle
1537 if (dwarf2_find_attribute(ctx, di, DW_AT_inline, &inline_flags))
1539 TRACE("Function %s declared as inlined (%ld)... skipping\n",
1540 name.u.string ? name.u.string : "(null)", inline_flags.u.uvalue);
1541 return NULL;
1544 if (!dwarf2_find_attribute(ctx, di, DW_AT_low_pc, &low_pc)) low_pc.u.uvalue = 0;
1545 if (!dwarf2_find_attribute(ctx, di, DW_AT_high_pc, &high_pc)) high_pc.u.uvalue = 0;
1546 /* As functions (defined as inline assembly) get debug info with dwarf
1547 * (not the case for stabs), we just drop Wine's thunks here...
1548 * Actual thunks will be created in elf_module from the symbol table
1550 if (elf_is_in_thunk_area(ctx->load_offset + low_pc.u.uvalue,
1551 ctx->thunks) >= 0)
1552 return NULL;
1553 if (!dwarf2_find_attribute(ctx, di, DW_AT_declaration, &is_decl))
1554 is_decl.u.uvalue = 0;
1556 if (!(ret_type = dwarf2_lookup_type(ctx, di)))
1557 ret_type = &symt_new_basic(ctx->module, btVoid, "void", 0)->symt;
1559 /* FIXME: assuming C source code */
1560 sig_type = symt_new_function_signature(ctx->module, ret_type, CV_CALL_FAR_C);
1561 if (!is_decl.u.uvalue)
1563 subpgm.func = symt_new_function(ctx->module, compiland, name.u.string,
1564 ctx->load_offset + low_pc.u.uvalue,
1565 high_pc.u.uvalue - low_pc.u.uvalue,
1566 &sig_type->symt);
1567 di->symt = &subpgm.func->symt;
1569 else subpgm.func = NULL;
1571 subpgm.ctx = ctx;
1572 subpgm.compiland = compiland;
1573 if (!dwarf2_compute_location_attr(ctx, di, DW_AT_frame_base,
1574 &subpgm.frame, NULL))
1576 /* on stack !! */
1577 subpgm.frame.kind = loc_regrel;
1578 subpgm.frame.reg = 0;
1579 subpgm.frame.offset = 0;
1581 subpgm.non_computed_variable = FALSE;
1583 if (di->abbrev->have_child) /** any interest to not have child ? */
1585 dwarf2_debug_info_t* child;
1586 int i;
1588 for (i=0; i<vector_length(&di->children); i++)
1590 child = *(dwarf2_debug_info_t**)vector_at(&di->children, i);
1592 switch (child->abbrev->tag)
1594 case DW_TAG_variable:
1595 case DW_TAG_formal_parameter:
1596 dwarf2_parse_variable(&subpgm, NULL, child);
1597 break;
1598 case DW_TAG_lexical_block:
1599 dwarf2_parse_subprogram_block(&subpgm, NULL, child);
1600 break;
1601 case DW_TAG_inlined_subroutine:
1602 dwarf2_parse_inlined_subroutine(&subpgm, NULL, child);
1603 break;
1604 case DW_TAG_subprogram:
1605 /* FIXME: likely a declaration (to be checked)
1606 * skip it for now
1608 break;
1609 case DW_TAG_label:
1610 dwarf2_parse_subprogram_label(&subpgm, child);
1611 break;
1612 case DW_TAG_class_type:
1613 case DW_TAG_structure_type:
1614 case DW_TAG_union_type:
1615 case DW_TAG_enumeration_type:
1616 case DW_TAG_typedef:
1617 /* the type referred to will be loaded when we need it, so skip it */
1618 break;
1619 case DW_TAG_unspecified_parameters:
1620 /* FIXME: no support in dbghelp's internals so far */
1621 break;
1622 default:
1623 FIXME("Unhandled Tag type 0x%lx at %s, for %s\n",
1624 child->abbrev->tag, dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1629 if (subpgm.non_computed_variable || subpgm.frame.kind >= loc_user)
1631 symt_add_function_point(ctx->module, subpgm.func, SymTagCustom,
1632 &subpgm.frame, NULL);
1634 symt_normalize_function(subpgm.ctx->module, subpgm.func);
1636 return di->symt;
1639 static struct symt* dwarf2_parse_subroutine_type(dwarf2_parse_context_t* ctx,
1640 dwarf2_debug_info_t* di)
1642 struct symt* ret_type;
1643 struct symt_function_signature* sig_type;
1645 if (di->symt) return di->symt;
1647 TRACE("%s, for %s\n", dwarf2_debug_ctx(ctx), dwarf2_debug_di(di));
1649 if (!(ret_type = dwarf2_lookup_type(ctx, di)))
1650 ret_type = &symt_new_basic(ctx->module, btVoid, "void", 0)->symt;
1652 /* FIXME: assuming C source code */
1653 sig_type = symt_new_function_signature(ctx->module, ret_type, CV_CALL_FAR_C);
1655 if (di->abbrev->have_child) /** any interest to not have child ? */
1657 dwarf2_debug_info_t* child;
1658 int i;
1660 for (i=0; i<vector_length(&di->children); i++)
1662 child = *(dwarf2_debug_info_t**)vector_at(&di->children, i);
1664 switch (child->abbrev->tag)
1666 case DW_TAG_formal_parameter:
1667 symt_add_function_signature_parameter(ctx->module, sig_type,
1668 dwarf2_lookup_type(ctx, child));
1669 break;
1670 case DW_TAG_unspecified_parameters:
1671 WARN("Unsupported unspecified parameters\n");
1672 break;
1677 return di->symt = &sig_type->symt;
1680 static void dwarf2_load_one_entry(dwarf2_parse_context_t* ctx,
1681 dwarf2_debug_info_t* di,
1682 struct symt_compiland* compiland)
1684 switch (di->abbrev->tag)
1686 case DW_TAG_typedef:
1687 dwarf2_parse_typedef(ctx, di);
1688 break;
1689 case DW_TAG_base_type:
1690 dwarf2_parse_base_type(ctx, di);
1691 break;
1692 case DW_TAG_pointer_type:
1693 dwarf2_parse_pointer_type(ctx, di);
1694 break;
1695 case DW_TAG_class_type:
1696 dwarf2_parse_udt_type(ctx, di, UdtClass);
1697 break;
1698 case DW_TAG_structure_type:
1699 dwarf2_parse_udt_type(ctx, di, UdtStruct);
1700 break;
1701 case DW_TAG_union_type:
1702 dwarf2_parse_udt_type(ctx, di, UdtUnion);
1703 break;
1704 case DW_TAG_array_type:
1705 dwarf2_parse_array_type(ctx, di);
1706 break;
1707 case DW_TAG_const_type:
1708 dwarf2_parse_const_type(ctx, di);
1709 break;
1710 case DW_TAG_volatile_type:
1711 dwarf2_parse_volatile_type(ctx, di);
1712 break;
1713 case DW_TAG_reference_type:
1714 dwarf2_parse_reference_type(ctx, di);
1715 break;
1716 case DW_TAG_enumeration_type:
1717 dwarf2_parse_enumeration_type(ctx, di);
1718 break;
1719 case DW_TAG_subprogram:
1720 dwarf2_parse_subprogram(ctx, di, compiland);
1721 break;
1722 case DW_TAG_subroutine_type:
1723 dwarf2_parse_subroutine_type(ctx, di);
1724 break;
1725 case DW_TAG_variable:
1727 dwarf2_subprogram_t subpgm;
1729 subpgm.ctx = ctx;
1730 subpgm.compiland = compiland;
1731 subpgm.func = NULL;
1732 subpgm.frame.kind = loc_absolute;
1733 subpgm.frame.offset = 0;
1734 subpgm.frame.reg = Wine_DW_no_register;
1735 dwarf2_parse_variable(&subpgm, NULL, di);
1737 break;
1738 default:
1739 FIXME("Unhandled Tag type 0x%lx at %s, for %lu\n",
1740 di->abbrev->tag, dwarf2_debug_ctx(ctx), di->abbrev->entry_code);
1744 static void dwarf2_set_line_number(struct module* module, unsigned long address,
1745 const struct vector* v, unsigned file, unsigned line)
1747 struct symt_function* func;
1748 struct symt_ht* symt;
1749 unsigned* psrc;
1751 if (!file || !(psrc = vector_at(v, file - 1))) return;
1753 TRACE("%s %lx %s %u\n",
1754 debugstr_w(module->module.ModuleName), address, source_get(module, *psrc), line);
1755 if (!(symt = symt_find_nearest(module, address)) ||
1756 symt->symt.tag != SymTagFunction) return;
1757 func = (struct symt_function*)symt;
1758 symt_add_func_line(module, func, *psrc, line, address - func->address);
1761 static BOOL dwarf2_parse_line_numbers(const dwarf2_section_t* sections,
1762 dwarf2_parse_context_t* ctx,
1763 const char* compile_dir,
1764 unsigned long offset)
1766 dwarf2_traverse_context_t traverse;
1767 unsigned long length;
1768 unsigned version, header_len, insn_size, default_stmt;
1769 unsigned line_range, opcode_base;
1770 int line_base;
1771 const unsigned char* opcode_len;
1772 struct vector dirs;
1773 struct vector files;
1774 const char** p;
1776 /* section with line numbers stripped */
1777 if (sections[section_line].address == ELF_NO_MAP)
1778 return FALSE;
1780 traverse.data = sections[section_line].address + offset;
1781 traverse.start_data = traverse.data;
1782 traverse.end_data = traverse.data + 4;
1783 traverse.word_size = ctx->word_size;
1785 length = dwarf2_parse_u4(&traverse);
1786 traverse.end_data = traverse.start_data + length;
1788 version = dwarf2_parse_u2(&traverse);
1789 header_len = dwarf2_parse_u4(&traverse);
1790 insn_size = dwarf2_parse_byte(&traverse);
1791 default_stmt = dwarf2_parse_byte(&traverse);
1792 line_base = (signed char)dwarf2_parse_byte(&traverse);
1793 line_range = dwarf2_parse_byte(&traverse);
1794 opcode_base = dwarf2_parse_byte(&traverse);
1796 opcode_len = traverse.data;
1797 traverse.data += opcode_base - 1;
1799 vector_init(&dirs, sizeof(const char*), 4);
1800 p = vector_add(&dirs, &ctx->pool);
1801 *p = compile_dir ? compile_dir : ".";
1802 while (*traverse.data)
1804 const char* rel = (const char*)traverse.data;
1805 unsigned rellen = strlen(rel);
1806 TRACE("Got include %s\n", rel);
1807 traverse.data += rellen + 1;
1808 p = vector_add(&dirs, &ctx->pool);
1810 if (*rel == '/' || !compile_dir)
1811 *p = rel;
1812 else
1814 /* include directory relative to compile directory */
1815 unsigned baselen = strlen(compile_dir);
1816 char* tmp = pool_alloc(&ctx->pool, baselen + 1 + rellen + 1);
1817 strcpy(tmp, compile_dir);
1818 if (tmp[baselen - 1] != '/') tmp[baselen++] = '/';
1819 strcpy(&tmp[baselen], rel);
1820 *p = tmp;
1824 traverse.data++;
1826 vector_init(&files, sizeof(unsigned), 16);
1827 while (*traverse.data)
1829 unsigned int dir_index, mod_time, length;
1830 const char* name;
1831 const char* dir;
1832 unsigned* psrc;
1834 name = (const char*)traverse.data;
1835 traverse.data += strlen(name) + 1;
1836 dir_index = dwarf2_leb128_as_unsigned(&traverse);
1837 mod_time = dwarf2_leb128_as_unsigned(&traverse);
1838 length = dwarf2_leb128_as_unsigned(&traverse);
1839 dir = *(const char**)vector_at(&dirs, dir_index);
1840 TRACE("Got file %s/%s (%u,%u)\n", dir, name, mod_time, length);
1841 psrc = vector_add(&files, &ctx->pool);
1842 *psrc = source_new(ctx->module, dir, name);
1844 traverse.data++;
1846 while (traverse.data < traverse.end_data)
1848 unsigned long address = 0;
1849 unsigned file = 1;
1850 unsigned line = 1;
1851 unsigned is_stmt = default_stmt;
1852 BOOL basic_block = FALSE, end_sequence = FALSE;
1853 unsigned opcode, extopcode, i;
1855 while (!end_sequence)
1857 opcode = dwarf2_parse_byte(&traverse);
1858 TRACE("Got opcode %x\n", opcode);
1860 if (opcode >= opcode_base)
1862 unsigned delta = opcode - opcode_base;
1864 address += (delta / line_range) * insn_size;
1865 line += line_base + (delta % line_range);
1866 basic_block = TRUE;
1867 dwarf2_set_line_number(ctx->module, address, &files, file, line);
1869 else
1871 switch (opcode)
1873 case DW_LNS_copy:
1874 basic_block = FALSE;
1875 dwarf2_set_line_number(ctx->module, address, &files, file, line);
1876 break;
1877 case DW_LNS_advance_pc:
1878 address += insn_size * dwarf2_leb128_as_unsigned(&traverse);
1879 break;
1880 case DW_LNS_advance_line:
1881 line += dwarf2_leb128_as_signed(&traverse);
1882 break;
1883 case DW_LNS_set_file:
1884 file = dwarf2_leb128_as_unsigned(&traverse);
1885 break;
1886 case DW_LNS_set_column:
1887 dwarf2_leb128_as_unsigned(&traverse);
1888 break;
1889 case DW_LNS_negate_stmt:
1890 is_stmt = !is_stmt;
1891 break;
1892 case DW_LNS_set_basic_block:
1893 basic_block = 1;
1894 break;
1895 case DW_LNS_const_add_pc:
1896 address += ((255 - opcode_base) / line_range) * insn_size;
1897 break;
1898 case DW_LNS_fixed_advance_pc:
1899 address += dwarf2_parse_u2(&traverse);
1900 break;
1901 case DW_LNS_extended_op:
1902 dwarf2_leb128_as_unsigned(&traverse);
1903 extopcode = dwarf2_parse_byte(&traverse);
1904 switch (extopcode)
1906 case DW_LNE_end_sequence:
1907 dwarf2_set_line_number(ctx->module, address, &files, file, line);
1908 end_sequence = TRUE;
1909 break;
1910 case DW_LNE_set_address:
1911 address = ctx->load_offset + dwarf2_parse_addr(&traverse);
1912 break;
1913 case DW_LNE_define_file:
1914 FIXME("not handled %s\n", traverse.data);
1915 traverse.data += strlen((const char *)traverse.data) + 1;
1916 dwarf2_leb128_as_unsigned(&traverse);
1917 dwarf2_leb128_as_unsigned(&traverse);
1918 dwarf2_leb128_as_unsigned(&traverse);
1919 break;
1920 default:
1921 FIXME("Unsupported extended opcode %x\n", extopcode);
1922 break;
1924 break;
1925 default:
1926 WARN("Unsupported opcode %x\n", opcode);
1927 for (i = 0; i < opcode_len[opcode]; i++)
1928 dwarf2_leb128_as_unsigned(&traverse);
1929 break;
1934 return TRUE;
1937 static BOOL dwarf2_parse_compilation_unit(const dwarf2_section_t* sections,
1938 const dwarf2_comp_unit_t* comp_unit,
1939 struct module* module,
1940 const struct elf_thunk_area* thunks,
1941 const unsigned char* comp_unit_cursor,
1942 unsigned long load_offset)
1944 dwarf2_parse_context_t ctx;
1945 dwarf2_traverse_context_t traverse;
1946 dwarf2_traverse_context_t abbrev_ctx;
1947 dwarf2_debug_info_t* di;
1948 BOOL ret = FALSE;
1950 TRACE("Compilation Unit Header found at 0x%x:\n",
1951 comp_unit_cursor - sections[section_debug].address);
1952 TRACE("- length: %lu\n", comp_unit->length);
1953 TRACE("- version: %u\n", comp_unit->version);
1954 TRACE("- abbrev_offset: %lu\n", comp_unit->abbrev_offset);
1955 TRACE("- word_size: %u\n", comp_unit->word_size);
1957 if (comp_unit->version != 2)
1959 WARN("%u DWARF version unsupported. Wine dbghelp only support DWARF 2.\n",
1960 comp_unit->version);
1961 return FALSE;
1964 pool_init(&ctx.pool, 65536);
1965 ctx.sections = sections;
1966 ctx.section = section_debug;
1967 ctx.module = module;
1968 ctx.word_size = comp_unit->word_size;
1969 ctx.thunks = thunks;
1970 ctx.load_offset = load_offset;
1971 ctx.ref_offset = comp_unit_cursor - sections[section_debug].address;
1973 traverse.start_data = comp_unit_cursor + sizeof(dwarf2_comp_unit_stream_t);
1974 traverse.data = traverse.start_data;
1975 traverse.word_size = comp_unit->word_size;
1976 traverse.end_data = comp_unit_cursor + comp_unit->length + sizeof(unsigned);
1978 abbrev_ctx.start_data = sections[section_abbrev].address + comp_unit->abbrev_offset;
1979 abbrev_ctx.data = abbrev_ctx.start_data;
1980 abbrev_ctx.end_data = sections[section_abbrev].address + sections[section_abbrev].size;
1981 abbrev_ctx.word_size = comp_unit->word_size;
1982 dwarf2_parse_abbrev_set(&abbrev_ctx, &ctx.abbrev_table, &ctx.pool);
1984 sparse_array_init(&ctx.debug_info_table, sizeof(dwarf2_debug_info_t), 128);
1985 dwarf2_read_one_debug_info(&ctx, &traverse, &di);
1987 if (di->abbrev->tag == DW_TAG_compile_unit)
1989 struct attribute name;
1990 dwarf2_debug_info_t** pdi = NULL;
1991 struct attribute stmt_list, low_pc;
1992 struct attribute comp_dir;
1994 if (!dwarf2_find_attribute(&ctx, di, DW_AT_name, &name))
1995 name.u.string = NULL;
1997 /* get working directory of current compilation unit */
1998 if (!dwarf2_find_attribute(&ctx, di, DW_AT_comp_dir, &comp_dir))
1999 comp_dir.u.string = NULL;
2001 if (!dwarf2_find_attribute(&ctx, di, DW_AT_low_pc, &low_pc))
2002 low_pc.u.uvalue = 0;
2003 di->symt = &symt_new_compiland(module,
2004 ctx.load_offset + low_pc.u.uvalue,
2005 source_new(module, comp_dir.u.string, name.u.string))->symt;
2007 if (di->abbrev->have_child)
2009 int i;
2010 for (i=0; i<vector_length(&di->children); i++)
2012 pdi = vector_at(&di->children, i);
2013 dwarf2_load_one_entry(&ctx, *pdi, (struct symt_compiland*)di->symt);
2016 if (dwarf2_find_attribute(&ctx, di, DW_AT_stmt_list, &stmt_list))
2018 if (dwarf2_parse_line_numbers(sections, &ctx, comp_dir.u.string, stmt_list.u.uvalue))
2019 module->module.LineNumbers = TRUE;
2021 ret = TRUE;
2023 else FIXME("Should have a compilation unit here\n");
2024 pool_destroy(&ctx.pool);
2025 return ret;
2028 static BOOL dwarf2_lookup_loclist(const struct module* module, const BYTE* start,
2029 unsigned long ip,
2030 dwarf2_traverse_context_t* lctx)
2032 DWORD beg, end;
2033 const BYTE* ptr = start;
2034 DWORD len;
2036 while (ptr < module->dwarf2_info->debug_loc.address + module->dwarf2_info->debug_loc.size)
2038 beg = dwarf2_get_u4(ptr); ptr += 4;
2039 end = dwarf2_get_u4(ptr); ptr += 4;
2040 if (!beg && !end) break;
2041 len = dwarf2_get_u2(ptr); ptr += 2;
2043 if (beg <= ip && ip < end)
2045 lctx->data = ptr;
2046 lctx->end_data = ptr + len;
2047 lctx->word_size = 4; /* FIXME word size !!! */
2048 return TRUE;
2050 ptr += len;
2052 WARN("Couldn't find ip in location list\n");
2053 return FALSE;
2056 static enum location_error loc_compute_frame(struct process* pcs,
2057 const struct module* module,
2058 const struct symt_function* func,
2059 DWORD ip, struct location* frame)
2061 struct symt** psym = NULL;
2062 struct location* pframe;
2063 dwarf2_traverse_context_t lctx;
2064 enum location_error err;
2065 int i;
2067 for (i=0; i<vector_length(&func->vchildren); i++)
2069 psym = vector_at(&func->vchildren, i);
2070 if ((*psym)->tag == SymTagCustom)
2072 pframe = &((struct symt_function_point*)*psym)->loc;
2074 /* First, recompute the frame information, if needed */
2075 switch (pframe->kind)
2077 case loc_regrel:
2078 case loc_register:
2079 *frame = *pframe;
2080 break;
2081 case loc_dwarf2_location_list:
2082 WARN("Searching loclist for %s\n", func->hash_elt.name);
2083 if (!dwarf2_lookup_loclist(module,
2084 module->dwarf2_info->debug_loc.address + pframe->offset,
2085 ip, &lctx))
2086 return loc_err_out_of_scope;
2087 if ((err = compute_location(&lctx, frame, pcs->handle, NULL)) < 0) return err;
2088 if (frame->kind >= loc_user)
2090 WARN("Couldn't compute runtime frame location\n");
2091 return loc_err_too_complex;
2093 break;
2094 default:
2095 WARN("Unsupported frame kind %d\n", pframe->kind);
2096 return loc_err_internal;
2098 return 0;
2101 WARN("Couldn't find Custom function point, whilst location list offset is searched\n");
2102 return loc_err_internal;
2105 static void dwarf2_location_compute(struct process* pcs,
2106 const struct module* module,
2107 const struct symt_function* func,
2108 struct location* loc)
2110 struct location frame;
2111 DWORD ip;
2112 int err;
2113 dwarf2_traverse_context_t lctx;
2115 if (!func->container || func->container->tag != SymTagCompiland)
2117 WARN("We'd expect function %s's container to exist and be a compiland\n", func->hash_elt.name);
2118 err = loc_err_internal;
2120 else
2122 /* instruction pointer relative to compiland's start */
2123 ip = pcs->ctx_frame.InstructionOffset - ((struct symt_compiland*)func->container)->address;
2125 if ((err = loc_compute_frame(pcs, module, func, ip, &frame)) == 0)
2127 switch (loc->kind)
2129 case loc_dwarf2_location_list:
2130 /* Then, if the variable has a location list, find it !! */
2131 if (dwarf2_lookup_loclist(module,
2132 module->dwarf2_info->debug_loc.address + loc->offset,
2133 ip, &lctx))
2134 goto do_compute;
2135 err = loc_err_out_of_scope;
2136 break;
2137 case loc_dwarf2_block:
2138 /* or if we have a copy of an existing block, get ready for it */
2140 unsigned* ptr = (unsigned*)loc->offset;
2142 lctx.data = (const BYTE*)(ptr + 1);
2143 lctx.end_data = lctx.data + *ptr;
2144 lctx.word_size = 4; /* FIXME !! */
2146 do_compute:
2147 /* now get the variable */
2148 err = compute_location(&lctx, loc, pcs->handle, &frame);
2149 break;
2150 case loc_register:
2151 case loc_regrel:
2152 /* nothing to do */
2153 break;
2154 default:
2155 WARN("Unsupported local kind %d\n", loc->kind);
2156 err = loc_err_internal;
2160 if (err < 0)
2162 loc->kind = loc_register;
2163 loc->reg = err;
2167 BOOL dwarf2_parse(struct module* module, unsigned long load_offset,
2168 const struct elf_thunk_area* thunks,
2169 const unsigned char* debug, unsigned int debug_size,
2170 const unsigned char* abbrev, unsigned int abbrev_size,
2171 const unsigned char* str, unsigned int str_size,
2172 const unsigned char* line, unsigned int line_size,
2173 const unsigned char* loclist, unsigned int loclist_size)
2175 dwarf2_section_t section[section_max];
2176 unsigned char* ptr;
2177 const unsigned char*comp_unit_cursor = debug;
2178 const unsigned char*end_debug = debug + debug_size;
2180 module->loc_compute = dwarf2_location_compute;
2182 section[section_debug].address = debug;
2183 section[section_debug].size = debug_size;
2184 section[section_abbrev].address = abbrev;
2185 section[section_abbrev].size = abbrev_size;
2186 section[section_string].address = str;
2187 section[section_string].size = str_size;
2188 section[section_line].address = line;
2189 section[section_line].size = line_size;
2191 if (loclist_size)
2193 /* initialize the dwarf2 specific info block for this module.
2194 * As we'll need later on the .debug_loc section content, we copy it in
2195 * the module structure for later reuse
2197 module->dwarf2_info = HeapAlloc(GetProcessHeap(), 0, sizeof(*module->dwarf2_info) + loclist_size);
2198 if (!module->dwarf2_info) return FALSE;
2199 ptr = (unsigned char*)(module->dwarf2_info + 1);
2200 memcpy(ptr, loclist, loclist_size);
2201 module->dwarf2_info->debug_loc.address = ptr;
2202 module->dwarf2_info->debug_loc.size = loclist_size;
2205 while (comp_unit_cursor < end_debug)
2207 const dwarf2_comp_unit_stream_t* comp_unit_stream;
2208 dwarf2_comp_unit_t comp_unit;
2210 comp_unit_stream = (const dwarf2_comp_unit_stream_t*) comp_unit_cursor;
2211 comp_unit.length = *(const unsigned long*) comp_unit_stream->length;
2212 comp_unit.version = *(const unsigned short*) comp_unit_stream->version;
2213 comp_unit.abbrev_offset = *(const unsigned long*) comp_unit_stream->abbrev_offset;
2214 comp_unit.word_size = *(const unsigned char*) comp_unit_stream->word_size;
2216 dwarf2_parse_compilation_unit(section, &comp_unit, module,
2217 thunks, comp_unit_cursor, load_offset);
2218 comp_unit_cursor += comp_unit.length + sizeof(unsigned);
2220 module->module.SymType = SymDia;
2221 module->module.CVSig = 'D' | ('W' << 8) | ('A' << 16) | ('R' << 24);
2222 /* FIXME: we could have a finer grain here */
2223 module->module.GlobalSymbols = TRUE;
2224 module->module.TypeInfo = TRUE;
2225 module->module.SourceIndexed = TRUE;
2226 module->module.Publics = TRUE;
2227 return TRUE;