1 /* ----------------------------------------------------------------------- *
3 * Copyright 1996-2017 The NASM Authors - All Rights Reserved
4 * See the file AUTHORS included with the NASM distribution for
5 * the specific copyright holders.
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following
11 * * Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * * Redistributions in binary form must reproduce the above
14 * copyright notice, this list of conditions and the following
15 * disclaimer in the documentation and/or other materials provided
16 * with the distribution.
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
19 * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
20 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
21 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
22 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
23 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
25 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
26 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
28 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
29 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
30 * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32 * ----------------------------------------------------------------------- */
35 * codeview.c Codeview Debug Format support for COFF
55 static void cv8_init(void);
56 static void cv8_linenum(const char *filename
, int32_t linenumber
,
58 static void cv8_deflabel(char *name
, int32_t segment
, int64_t offset
,
59 int is_global
, char *special
);
60 static void cv8_typevalue(int32_t type
);
61 static void cv8_output(int type
, void *param
);
62 static void cv8_cleanup(void);
64 const struct dfmt df_cv8
= {
65 "Codeview 8", /* .fullname */
66 "cv8", /* .shortname */
68 cv8_linenum
, /* .linenum */
69 cv8_deflabel
, /* .debug_deflabel */
70 null_debug_directive
, /* .debug_directive */
71 cv8_typevalue
, /* .debug_typevalue */
72 cv8_output
, /* .debug_output */
73 cv8_cleanup
, /* .cleanup */
76 /*******************************************************************************
78 ******************************************************************************/
86 struct source_file
*next
;
89 uint32_t sourcetbl_off
;
94 unsigned char md5sum
[MD5_HASHBYTES
];
112 enum symbol_type type
;
121 TYPE_UNREGISTERED
= 0x0000, /* T_NOTYPE */
127 TYPE_REAL32
= 0x0040,
128 TYPE_REAL64
= 0x0041,
129 TYPE_REAL80
= 0x0042,
130 TYPE_REAL128
= 0x0043,
131 TYPE_REAL256
= 0x0044,
140 uint32_t text_offset
;
142 struct source_file
*source_files
, **source_files_tail
;
143 const char *last_filename
;
144 struct source_file
*last_source_file
;
145 struct hash_table file_hash
;
147 uint32_t total_filename_len
;
150 unsigned total_lines
;
153 struct cv8_symbol
*last_sym
;
154 unsigned num_syms
[SYMTYPE_MAX
];
155 unsigned symbol_lengths
;
163 struct cv8_state cv8_state
;
165 static void cv8_init(void)
167 const uint32_t sect_flags
= IMAGE_SCN_MEM_READ
|
168 IMAGE_SCN_MEM_DISCARDABLE
|
169 IMAGE_SCN_CNT_INITIALIZED_DATA
|
170 IMAGE_SCN_ALIGN_1BYTES
;
172 cv8_state
.symbol_sect
= coff_make_section(".debug$S", sect_flags
);
173 cv8_state
.type_sect
= coff_make_section(".debug$T", sect_flags
);
175 cv8_state
.text_offset
= 0;
177 cv8_state
.source_files
= NULL
;
178 cv8_state
.source_files_tail
= &cv8_state
.source_files
;
179 hash_init(&cv8_state
.file_hash
, HASH_MEDIUM
);
181 cv8_state
.num_files
= 0;
182 cv8_state
.total_filename_len
= 0;
184 cv8_state
.total_lines
= 0;
186 cv8_state
.symbols
= saa_init(sizeof(struct cv8_symbol
));
187 cv8_state
.last_sym
= NULL
;
190 static struct source_file
*register_file(const char *filename
);
191 static struct coff_Section
*find_section(int32_t segto
);
193 static void cv8_linenum(const char *filename
, int32_t linenumber
,
196 struct coff_Section
*s
;
198 struct source_file
*file
;
200 file
= register_file(filename
);
202 s
= find_section(segto
);
206 if ((s
->flags
& IMAGE_SCN_MEM_EXECUTE
) == 0)
209 li
= saa_wstruct(file
->lines
);
210 li
->file_offset
= cv8_state
.text_offset
;
211 li
->linenumber
= linenumber
;
214 cv8_state
.total_lines
++;
217 static void cv8_deflabel(char *name
, int32_t segment
, int64_t offset
,
218 int is_global
, char *special
)
220 struct cv8_symbol
*sym
;
221 struct coff_Section
*s
;
225 s
= find_section(segment
);
229 sym
= saa_wstruct(cv8_state
.symbols
);
231 if (s
->flags
& IMAGE_SCN_MEM_EXECUTE
)
232 sym
->type
= is_global
? SYMTYPE_PROC
: SYMTYPE_CODE
;
234 sym
->type
= is_global
? SYMTYPE_GDATA
: SYMTYPE_LDATA
;
235 cv8_state
.num_syms
[sym
->type
]++;
236 cv8_state
.total_syms
++;
238 sym
->section
= segment
;
239 sym
->secrel
= offset
;
240 sym
->symtype
= TYPE_UNREGISTERED
;
244 sym
->name
= nasm_strdup(name
);
245 cv8_state
.symbol_lengths
+= strlen(sym
->name
) + 1;
247 if (cv8_state
.last_sym
&& cv8_state
.last_sym
->section
== segment
)
248 cv8_state
.last_sym
->size
= offset
- cv8_state
.last_sym
->secrel
;
249 cv8_state
.last_sym
= sym
;
252 static void cv8_typevalue(int32_t type
)
254 if (!cv8_state
.last_sym
)
256 if (cv8_state
.last_sym
->symtype
!= TYPE_UNREGISTERED
)
259 switch (TYM_TYPE(type
)) {
261 cv8_state
.last_sym
->symtype
= TYPE_BYTE
;
264 cv8_state
.last_sym
->symtype
= TYPE_WORD
;
267 cv8_state
.last_sym
->symtype
= TYPE_DWORD
;
270 cv8_state
.last_sym
->symtype
= TYPE_QUAD
;
273 cv8_state
.last_sym
->symtype
= TYPE_REAL32
;
276 cv8_state
.last_sym
->symtype
= TYPE_REAL80
;
279 cv8_state
.last_sym
->symtype
= TYPE_REAL128
;
282 cv8_state
.last_sym
->symtype
= TYPE_REAL256
;
291 static void cv8_output(int type
, void *param
)
293 struct coff_DebugInfo
*dinfo
= param
;
297 if (dinfo
->section
&& dinfo
->section
->name
&&
298 !strncmp(dinfo
->section
->name
, ".text", 5))
299 cv8_state
.text_offset
+= dinfo
->size
;
302 static void build_symbol_table(struct coff_Section
*const sect
);
303 static void build_type_table(struct coff_Section
*const sect
);
305 static void cv8_cleanup(void)
307 struct cv8_symbol
*sym
;
308 struct source_file
*file
;
310 struct coff_Section
*symbol_sect
= coff_sects
[cv8_state
.symbol_sect
];
311 struct coff_Section
*type_sect
= coff_sects
[cv8_state
.type_sect
];
313 cv8_state
.outfile
.name
= nasm_realpath(coff_outfile
);
314 cv8_state
.outfile
.namebytes
= strlen(cv8_state
.outfile
.name
) + 1;
316 build_symbol_table(symbol_sect
);
317 build_type_table(type_sect
);
319 list_for_each(file
, cv8_state
.source_files
) {
320 nasm_free(file
->fullname
);
321 saa_free(file
->lines
);
324 hash_free(&cv8_state
.file_hash
);
326 saa_rewind(cv8_state
.symbols
);
327 while ((sym
= saa_rstruct(cv8_state
.symbols
)))
328 nasm_free(sym
->name
);
329 saa_free(cv8_state
.symbols
);
331 nasm_free(cv8_state
.outfile
.name
);
334 /*******************************************************************************
336 ******************************************************************************/
337 static void calc_md5(const char *const filename
,
338 unsigned char sum
[MD5_HASHBYTES
])
341 unsigned char *file_buf
;
345 f
= pp_input_fopen(filename
, NF_BINARY
);
349 file_buf
= nasm_zalloc(BUFSIZ
);
353 size_t i
= fread(file_buf
, 1, BUFSIZ
, f
);
358 MD5Update(&ctx
, file_buf
, i
);
368 nasm_error(ERR_NONFATAL
, "unable to hash file %s. "
369 "Debug information may be unavailable.\n",
375 static struct source_file
*register_file(const char *filename
)
377 struct source_file
*file
;
380 struct hash_insert hi
;
383 * The common case is that we are invoked with the same filename
384 * as we were last time. Make this a pointer comparison: this is
385 * safe because the NASM core code allocates each filename once
386 * and never frees it.
388 if (likely(cv8_state
.last_filename
== filename
))
389 return cv8_state
.last_source_file
;
391 cv8_state
.last_filename
= filename
;
393 filep
= hash_find(&cv8_state
.file_hash
, filename
, &hi
);
397 /* New filename encounter */
399 fullpath
= nasm_realpath(filename
);
401 file
= nasm_zalloc(sizeof(*file
));
403 file
->filename
= filename
;
404 file
->fullname
= fullpath
;
405 file
->fullnamelen
= strlen(fullpath
);
406 file
->lines
= saa_init(sizeof(struct linepair
));
407 *cv8_state
.source_files_tail
= file
;
408 cv8_state
.source_files_tail
= &file
->next
;
409 calc_md5(fullpath
, file
->md5sum
);
411 hash_add(&hi
, filename
, file
);
413 cv8_state
.num_files
++;
414 cv8_state
.total_filename_len
+= file
->fullnamelen
+ 1;
417 cv8_state
.last_source_file
= file
;
421 static struct coff_Section
*find_section(int32_t segto
)
425 for (i
= 0; i
< coff_nsects
; i
++) {
426 struct coff_Section
*sec
;
429 if (segto
== sec
->index
)
435 static void register_reloc(struct coff_Section
*const sect
,
436 char *sym
, uint32_t addr
, uint16_t type
)
438 struct coff_Reloc
*r
;
439 struct coff_Section
*sec
;
442 r
= *sect
->tail
= nasm_malloc(sizeof(struct coff_Reloc
));
443 sect
->tail
= &r
->next
;
448 r
->symbase
= SECT_SYMBOLS
;
452 for (i
= 0; i
< (uint32_t)coff_nsects
; i
++) {
454 if (!strcmp(sym
, sec
->name
)) {
460 saa_rewind(coff_syms
);
461 for (i
= 0; i
< coff_nsyms
; i
++) {
462 struct coff_Symbol
*s
= saa_rstruct(coff_syms
);
464 if (s
->strpos
== -1 && !strcmp(sym
, s
->name
)) {
466 } else if (s
->strpos
!= -1) {
470 symname
= nasm_malloc(s
->namlen
+ 1);
471 saa_fread(coff_strs
, s
->strpos
-4, symname
, s
->namlen
);
472 symname
[s
->namlen
] = '\0';
473 res
= strcmp(sym
, symname
);
479 nasm_panic(0, "codeview: relocation for unregistered symbol: %s", sym
);
482 static inline void section_write32(struct coff_Section
*sect
, uint32_t val
)
484 saa_write32(sect
->data
, val
);
488 static inline void section_write16(struct coff_Section
*sect
, uint16_t val
)
490 saa_write16(sect
->data
, val
);
494 static inline void section_write8(struct coff_Section
*sect
, uint8_t val
)
496 saa_write8(sect
->data
, val
);
500 static inline void section_wbytes(struct coff_Section
*sect
, const void *buf
,
503 saa_wbytes(sect
->data
, buf
, len
);
507 static void write_filename_table(struct coff_Section
*const sect
)
509 uint32_t field_length
;
510 uint32_t tbl_off
= 1; /* offset starts at 1 to skip NULL entry */
511 struct source_file
*file
;
513 nasm_assert(cv8_state
.source_files
!= NULL
);
514 nasm_assert(cv8_state
.num_files
> 0);
515 nasm_assert(cv8_state
.total_filename_len
> 0);
517 field_length
= 1 + cv8_state
.total_filename_len
;
519 section_write32(sect
, 0x000000F3);
520 section_write32(sect
, field_length
);
522 section_write8(sect
, 0);
524 list_for_each(file
, cv8_state
.source_files
) {
525 section_wbytes(sect
, file
->fullname
, file
->fullnamelen
+ 1);
526 file
->filetbl_off
= tbl_off
;
527 tbl_off
+= file
->fullnamelen
+ 1;
531 static void write_sourcefile_table(struct coff_Section
*const sect
)
533 const uint32_t entry_size
= 4 + 2 + MD5_HASHBYTES
+ 2;
535 uint32_t field_length
= 0;
536 uint32_t tbl_off
= 0;
537 struct source_file
*file
;
539 field_length
= entry_size
* cv8_state
.num_files
;
541 section_write32(sect
, 0x000000F4);
542 section_write32(sect
, field_length
);
544 list_for_each(file
, cv8_state
.source_files
) {
545 nasm_assert(file
->filetbl_off
> 0);
546 section_write32(sect
, file
->filetbl_off
);
547 section_write16(sect
, 0x0110);
548 section_wbytes(sect
, file
->md5sum
, MD5_HASHBYTES
);
549 section_write16(sect
, 0);
551 file
->sourcetbl_off
= tbl_off
;
552 tbl_off
+= entry_size
;
556 static void write_linenumber_table(struct coff_Section
*const sect
)
558 const uint32_t file_field_len
= 12;
559 const uint32_t line_field_len
= 8;
562 uint32_t field_length
= 0;
564 struct source_file
*file
;
565 struct coff_Section
*s
;
567 for (i
= 0; i
< coff_nsects
; i
++) {
568 if (!strncmp(coff_sects
[i
]->name
, ".text", 5))
572 if (i
== coff_nsects
)
577 field_length
+= (cv8_state
.num_files
* file_field_len
);
578 field_length
+= (cv8_state
.total_lines
* line_field_len
);
580 section_write32(sect
, 0x000000F2);
581 section_write32(sect
, field_length
);
583 field_base
= sect
->len
;
584 section_write32(sect
, 0); /* SECREL, updated by relocation */
585 section_write16(sect
, 0); /* SECTION, updated by relocation*/
586 section_write16(sect
, 0); /* pad */
587 section_write32(sect
, s
->len
);
589 register_reloc(sect
, ".text", field_base
,
590 win64
? IMAGE_REL_AMD64_SECREL
: IMAGE_REL_I386_SECREL
);
592 register_reloc(sect
, ".text", field_base
+ 4,
593 win64
? IMAGE_REL_AMD64_SECTION
: IMAGE_REL_I386_SECTION
);
595 list_for_each(file
, cv8_state
.source_files
) {
599 section_write32(sect
, file
->sourcetbl_off
);
600 section_write32(sect
, file
->num_lines
);
601 section_write32(sect
, file_field_len
+ (file
->num_lines
* line_field_len
));
604 saa_rewind(file
->lines
);
605 while ((li
= saa_rstruct(file
->lines
))) {
606 section_write32(sect
, li
->file_offset
);
607 section_write32(sect
, li
->linenumber
|= 0x80000000);
612 static uint16_t write_symbolinfo_obj(struct coff_Section
*sect
)
616 obj_len
= 2 + 4 + cv8_state
.outfile
.namebytes
;
618 section_write16(sect
, obj_len
);
619 section_write16(sect
, 0x1101);
620 section_write32(sect
, 0); /* ASM language */
621 section_wbytes(sect
, cv8_state
.outfile
.name
, cv8_state
.outfile
.namebytes
);
626 static uint16_t write_symbolinfo_properties(struct coff_Section
*sect
,
627 const char *const creator_str
)
629 /* https://github.com/Microsoft/microsoft-pdb/blob/1d60e041/include/cvinfo.h#L3313 */
630 uint16_t creator_len
;
632 creator_len
= 2 + 4 + 2 + 3*2 + 3*2 + strlen(creator_str
)+1 + 2;
634 section_write16(sect
, creator_len
);
635 section_write16(sect
, 0x1116);
636 section_write32(sect
, 3); /* language/flags */
638 section_write16(sect
, 0x00D0); /* machine */
640 section_write16(sect
, 0x0006); /* machine */
642 nasm_assert(!"neither win32 nor win64 are set!");
643 section_write16(sect
, 0); /* verFEMajor */
644 section_write16(sect
, 0); /* verFEMinor */
645 section_write16(sect
, 0); /* verFEBuild */
647 /* BinScope/WACK insist on version >= 8.0.50727 */
648 section_write16(sect
, 8); /* verMajor */
649 section_write16(sect
, 0); /* verMinor */
650 section_write16(sect
, 50727); /* verBuild */
652 section_wbytes(sect
, creator_str
, strlen(creator_str
)+1); /* verSt */
654 * normally there would be key/value pairs here, but they aren't
655 * necessary. They are terminated by 2B
657 section_write16(sect
, 0);
662 static uint16_t write_symbolinfo_symbols(struct coff_Section
*sect
)
664 uint16_t len
= 0, field_len
;
666 struct cv8_symbol
*sym
;
668 saa_rewind(cv8_state
.symbols
);
669 while ((sym
= saa_rstruct(cv8_state
.symbols
))) {
673 field_len
= 12 + strlen(sym
->name
) + 1;
674 len
+= field_len
- 2;
675 section_write16(sect
, field_len
);
676 if (sym
->type
== SYMTYPE_LDATA
)
677 section_write16(sect
, 0x110C);
679 section_write16(sect
, 0x110D);
680 section_write32(sect
, sym
->symtype
);
682 field_base
= sect
->len
;
683 section_write32(sect
, 0); /* SECREL */
684 section_write16(sect
, 0); /* SECTION */
688 field_len
= 9 + strlen(sym
->name
) + 1;
689 len
+= field_len
- 2;
690 section_write16(sect
, field_len
);
691 section_write16(sect
, 0x1105);
693 field_base
= sect
->len
;
694 section_write32(sect
, 0); /* SECREL */
695 section_write16(sect
, 0); /* SECTION */
696 section_write8(sect
, 0); /* FLAG */
699 nasm_assert(!"unknown symbol type");
702 section_wbytes(sect
, sym
->name
, strlen(sym
->name
) + 1);
704 register_reloc(sect
, sym
->name
, field_base
,
705 win64
? IMAGE_REL_AMD64_SECREL
:
706 IMAGE_REL_I386_SECREL
);
707 register_reloc(sect
, sym
->name
, field_base
+ 4,
708 win64
? IMAGE_REL_AMD64_SECTION
:
709 IMAGE_REL_I386_SECTION
);
715 static void write_symbolinfo_table(struct coff_Section
*const sect
)
717 static const char creator_str
[] = "The Netwide Assembler " NASM_VER
;
718 uint16_t obj_length
, creator_length
, sym_length
;
719 uint32_t field_length
= 0, out_len
;
721 nasm_assert(cv8_state
.outfile
.namebytes
);
723 /* signature, language, outfile NULL */
724 obj_length
= 2 + 4 + cv8_state
.outfile
.namebytes
;
725 creator_length
= 2 + 4 + 2 + 3*2 + 3*2 + strlen(creator_str
)+1 + 2;
727 sym_length
= ( cv8_state
.num_syms
[SYMTYPE_CODE
] * 7) +
728 ( cv8_state
.num_syms
[SYMTYPE_PROC
] * 7) +
729 ( cv8_state
.num_syms
[SYMTYPE_LDATA
] * 10) +
730 ( cv8_state
.num_syms
[SYMTYPE_GDATA
] * 10) +
731 cv8_state
.symbol_lengths
;
733 field_length
= 2 + obj_length
+
735 (4 * cv8_state
.total_syms
) + sym_length
;
737 section_write32(sect
, 0x000000F1);
738 section_write32(sect
, field_length
);
740 /* for sub fields, length preceeds type */
742 out_len
= write_symbolinfo_obj(sect
);
743 nasm_assert(out_len
== obj_length
);
745 out_len
= write_symbolinfo_properties(sect
, creator_str
);
746 nasm_assert(out_len
== creator_length
);
748 out_len
= write_symbolinfo_symbols(sect
);
749 nasm_assert(out_len
== sym_length
);
752 static inline void align4_table(struct coff_Section
*const sect
)
756 struct SAA
*data
= sect
->data
;
758 if (data
->wptr
% 4 == 0)
761 diff
= 4 - (data
->wptr
% 4);
763 section_wbytes(sect
, &zero
, diff
);
766 static void build_symbol_table(struct coff_Section
*const sect
)
768 section_write32(sect
, 0x00000004);
770 write_filename_table(sect
);
772 write_sourcefile_table(sect
);
774 write_linenumber_table(sect
);
776 write_symbolinfo_table(sect
);
780 static void build_type_table(struct coff_Section
*const sect
)
783 struct cv8_symbol
*sym
;
785 section_write32(sect
, 0x00000004);
787 saa_rewind(cv8_state
.symbols
);
788 while ((sym
= saa_rstruct(cv8_state
.symbols
))) {
789 if (sym
->type
!= SYMTYPE_PROC
)
794 field_len
= 2 + 4 + 4 + 4 + 2;
795 section_write16(sect
, field_len
);
796 section_write16(sect
, 0x1008); /* PROC type */
798 section_write32(sect
, 0x00000003); /* return type */
799 section_write32(sect
, 0); /* calling convention (default) */
800 section_write32(sect
, sym
->typeindex
);
801 section_write16(sect
, 0); /* # params */
806 section_write16(sect
, field_len
);
807 section_write16(sect
, 0x1201); /* ARGLIST */
808 section_write32(sect
, 0); /*num params */