| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494 |
- /* ----------------------------------------------------------------------- *
- *
- * Copyright 1996-2018 The NASM Authors - All Rights Reserved
- * See the file AUTHORS included with the NASM distribution for
- * the specific copyright holders.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following
- * conditions are met:
- *
- * * Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * * Redistributions in binary form must reproduce the above
- * copyright notice, this list of conditions and the following
- * disclaimer in the documentation and/or other materials provided
- * with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
- * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
- * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
- * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
- * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
- * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
- * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
- * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
- * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
- * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
- * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
- * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
- * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- *
- * ----------------------------------------------------------------------- */
- /*
- * outdbg.c output routines for the Netwide Assembler to produce
- * a debugging trace
- */
- #include "compiler.h"
- #include <stdio.h>
- #include <stdlib.h>
- #include <string.h>
- #include <ctype.h>
- #include <errno.h>
- #include "nasm.h"
- #include "nasmlib.h"
- #include "outform.h"
- #include "outlib.h"
- #include "insns.h"
- #ifdef OF_DBG
- struct Section {
- struct Section *next;
- int32_t number;
- char *name;
- } *dbgsect;
- static unsigned long dbg_max_data_dump = 128;
- static bool section_labels = true;
- static bool subsections_via_symbols = false;
- static int32_t init_seg;
- const struct ofmt of_dbg;
- static void dbg_init(void)
- {
- dbgsect = NULL;
- fprintf(ofile, "NASM Output format debug dump\n");
- fprintf(ofile, "input file = %s\n", inname);
- fprintf(ofile, "output file = %s\n", outname);
- init_seg = seg_alloc();
- }
- static void dbg_reset(void)
- {
- fprintf(ofile, "*** pass reset: pass0 = %d, passn = %"PRId64"\n",
- pass0, passn);
- }
- static void dbg_cleanup(void)
- {
- dfmt->cleanup();
- while (dbgsect) {
- struct Section *tmp = dbgsect;
- dbgsect = dbgsect->next;
- nasm_free(tmp->name);
- nasm_free(tmp);
- }
- }
- static int32_t dbg_add_section(char *name, int pass, int *bits,
- const char *whatwecallit)
- {
- int seg;
- /*
- * We must have an initial default: let's make it 16.
- */
- if (!name)
- *bits = 16;
- if (!name) {
- fprintf(ofile, "section_name on init: returning %d\n", init_seg);
- seg = init_seg;
- } else {
- int n = strcspn(name, " \t");
- char *sname = nasm_strndup(name, n);
- char *tail = nasm_skip_spaces(name+n);
- struct Section *s;
- seg = NO_SEG;
- for (s = dbgsect; s; s = s->next)
- if (!strcmp(s->name, sname))
- seg = s->number;
- if (seg == NO_SEG) {
- s = nasm_malloc(sizeof(*s));
- s->name = sname;
- s->number = seg = seg_alloc();
- s->next = dbgsect;
- dbgsect = s;
- fprintf(ofile, "%s %s (%s) pass %d: returning %d\n",
- whatwecallit, name, tail, pass, seg);
- if (section_labels)
- backend_label(s->name, s->number + 1, 0);
- }
- }
- return seg;
- }
- static int32_t dbg_section_names(char *name, int pass, int *bits)
- {
- return dbg_add_section(name, pass, bits, "section_names");
- }
- static int32_t dbg_herelabel(const char *name, enum label_type type,
- int32_t oldseg, int32_t *subsection,
- bool *copyoffset)
- {
- int32_t newseg = oldseg;
-
- if (subsections_via_symbols && type != LBL_LOCAL) {
- newseg = *subsection;
- if (newseg == NO_SEG) {
- newseg = *subsection = seg_alloc();
- *copyoffset = true; /* Minic MachO for now */
- }
- }
- fprintf(ofile, "herelabel %s type %d (seg %08x) -> %08x\n",
- name, type, oldseg, newseg);
- return newseg;
- }
- static void dbg_deflabel(char *name, int32_t segment, int64_t offset,
- int is_global, char *special)
- {
- fprintf(ofile, "deflabel %s := %08"PRIx32":%016"PRIx64" %s (%d)%s%s\n",
- name, segment, offset,
- is_global == 2 ? "common" : is_global ? "global" : "local",
- is_global, special ? ": " : "", special);
- }
- static const char *out_type(enum out_type type)
- {
- static const char *out_types[] = {
- "rawdata",
- "reserve",
- "zerodata",
- "address",
- "reladdr",
- "segment"
- };
- static char invalid_buf[64];
- if (type >= sizeof(out_types)/sizeof(out_types[0])) {
- sprintf(invalid_buf, "[invalid type %d]", type);
- return invalid_buf;
- }
- return out_types[type];
- }
- static const char *out_sign(enum out_sign sign)
- {
- static const char *out_signs[] = {
- "wrap",
- "signed",
- "unsigned"
- };
- static char invalid_buf[64];
- if (sign >= sizeof(out_signs)/sizeof(out_signs[0])) {
- sprintf(invalid_buf, "[invalid sign %d]", sign);
- return invalid_buf;
- }
- return out_signs[sign];
- }
- static void dbg_out(const struct out_data *data)
- {
- fprintf(ofile,
- "out to %"PRIx32":%"PRIx64" %s %s bits %d insoffs %d/%d "
- "size %"PRIu64,
- data->segment, data->offset,
- out_type(data->type), out_sign(data->sign),
- data->bits, data->insoffs, data->inslen, data->size);
- if (data->itemp) {
- fprintf(ofile, " ins %s(%d)",
- nasm_insn_names[data->itemp->opcode], data->itemp->operands);
- } else {
- fprintf(ofile, " no ins (plain data)");
- }
- if (data->type == OUT_ADDRESS || data->type == OUT_RELADDR ||
- data->type == OUT_SEGMENT) {
- fprintf(ofile, " target %"PRIx32":%"PRIx64,
- data->tsegment, data->toffset);
- if (data->twrt != NO_SEG)
- fprintf(ofile, " wrt %"PRIx32, data->twrt);
- }
- if (data->type == OUT_RELADDR)
- fprintf(ofile, " relbase %"PRIx64, data->relbase);
- putc('\n', ofile);
- if (data->type == OUT_RAWDATA) {
- if ((size_t)data->size != data->size) {
- fprintf(ofile, " data: <error: impossible size>\n");
- } else if (!data->data) {
- fprintf(ofile, " data: <error: null pointer>\n");
- } else if (dbg_max_data_dump != -1UL &&
- data->size > dbg_max_data_dump) {
- fprintf(ofile, " data: <%"PRIu64" bytes>\n", data->size);
- } else {
- size_t i, j;
- const uint8_t *bytes = data->data;
- for (i = 0; i < data->size; i += 16) {
- fprintf(ofile, " data:");
- for (j = 0; j < 16; j++) {
- if (i+j >= data->size)
- fprintf(ofile, " ");
- else
- fprintf(ofile, "%c%02x",
- (j == 8) ? '-' : ' ', bytes[i+j]);
- }
- fprintf(ofile," ");
- for (j = 0; j < 16; j++) {
- if (i+j >= data->size) {
- putc(' ', ofile);
- } else {
- if (bytes[i+j] >= 32 && bytes[i+j] <= 126)
- putc(bytes[i+j], ofile);
- else
- putc('.', ofile);
- }
- }
- putc('\n', ofile);
- }
- }
- }
- /* This is probably the only place were we'll call this this way... */
- nasm_do_legacy_output(data);
- }
- static void dbg_legacy_out(int32_t segto, const void *data,
- enum out_type type, uint64_t size,
- int32_t segment, int32_t wrt)
- {
- int32_t ldata;
- if (type == OUT_ADDRESS)
- fprintf(ofile, " legacy: out to %"PRIx32", len = %d: ",
- segto, (int)abs((int)size));
- else
- fprintf(ofile, " legacy: out to %"PRIx32", len = %"PRId64" (0x%"PRIx64"): ",
- segto, (int64_t)size, size);
- switch (type) {
- case OUT_RESERVE:
- fprintf(ofile, "reserved.\n");
- break;
- case OUT_RAWDATA:
- fprintf(ofile, "rawdata\n"); /* Already have a data dump */
- break;
- case OUT_ADDRESS:
- ldata = *(int64_t *)data;
- fprintf(ofile, "addr %08"PRIx32" (seg %08"PRIx32", wrt %08"PRIx32")\n",
- ldata, segment, wrt);
- break;
- case OUT_REL1ADR:
- fprintf(ofile, "rel1adr %02"PRIx8" (seg %08"PRIx32")\n",
- (uint8_t)*(int64_t *)data, segment);
- break;
- case OUT_REL2ADR:
- fprintf(ofile, "rel2adr %04"PRIx16" (seg %08"PRIx32")\n",
- (uint16_t)*(int64_t *)data, segment);
- break;
- case OUT_REL4ADR:
- fprintf(ofile, "rel4adr %08"PRIx32" (seg %08"PRIx32")\n",
- (uint32_t)*(int64_t *)data,
- segment);
- break;
- case OUT_REL8ADR:
- fprintf(ofile, "rel8adr %016"PRIx64" (seg %08"PRIx32")\n",
- (uint64_t)*(int64_t *)data, segment);
- break;
- default:
- fprintf(ofile, "unknown\n");
- break;
- }
- }
- static void dbg_sectalign(int32_t seg, unsigned int value)
- {
- fprintf(ofile, "set alignment (%d) for segment (%u)\n",
- seg, value);
- }
- static int32_t dbg_segbase(int32_t segment)
- {
- return segment;
- }
- static enum directive_result
- dbg_directive(enum directive directive, char *value, int pass)
- {
- switch (directive) {
- /*
- * The .obj GROUP directive is nontrivial to emulate in a macro.
- * It effectively creates a "pseudo-section" containing the first
- * space-separated argument; the rest we ignore.
- */
- case D_GROUP:
- {
- int dummy;
- dbg_add_section(value, pass, &dummy, "directive:group");
- break;
- }
- default:
- break;
- }
- fprintf(ofile, "directive [%s] value [%s] (pass %d)\n",
- directive_dname(directive), value, pass);
- return DIRR_OK;
- }
- static enum directive_result
- dbg_pragma(const struct pragma *pragma);
- static const struct pragma_facility dbg_pragma_list[] = {
- { NULL, dbg_pragma }
- };
- static enum directive_result
- dbg_pragma(const struct pragma *pragma)
- {
- fprintf(ofile, "pragma %s(%s) %s[%s] %s\n",
- pragma->facility_name,
- pragma->facility->name ? pragma->facility->name : "<default>",
- pragma->opname, directive_dname(pragma->opcode),
- pragma->tail);
- if (pragma->facility == &dbg_pragma_list[0]) {
- switch (pragma->opcode) {
- case D_MAXDUMP:
- if (!nasm_stricmp(pragma->tail, "unlimited")) {
- dbg_max_data_dump = -1UL;
- } else {
- char *ep;
- unsigned long arg;
- errno = 0;
- arg = strtoul(pragma->tail, &ep, 0);
- if (errno || *nasm_skip_spaces(ep)) {
- nasm_error(ERR_WARNING | WARN_BAD_PRAGMA | ERR_PASS2,
- "invalid %%pragma dbg maxdump argument");
- return DIRR_ERROR;
- } else {
- dbg_max_data_dump = arg;
- }
- }
- break;
- case D_NOSECLABELS:
- section_labels = false;
- break;
- case D_SUBSECTIONS_VIA_SYMBOLS:
- subsections_via_symbols = true;
- break;
- default:
- break;
- }
- }
- return DIRR_OK;
- }
- static const char * const types[] = {
- "unknown", "label", "byte", "word", "dword", "float", "qword", "tbyte"
- };
- static void dbgdbg_init(void)
- {
- fprintf(ofile, " With debug info\n");
- }
- static void dbgdbg_cleanup(void)
- {
- }
- static void dbgdbg_linnum(const char *lnfname, int32_t lineno, int32_t segto)
- {
- fprintf(ofile, "dbglinenum %s(%"PRId32") segment %"PRIx32"\n",
- lnfname, lineno, segto);
- }
- static void dbgdbg_deflabel(char *name, int32_t segment,
- int64_t offset, int is_global, char *special)
- {
- fprintf(ofile, "dbglabel %s := %08"PRIx32":%016"PRIx64" %s (%d)%s%s\n",
- name,
- segment, offset,
- is_global == 2 ? "common" : is_global ? "global" : "local",
- is_global, special ? ": " : "", special);
- }
- static void dbgdbg_define(const char *type, const char *params)
- {
- fprintf(ofile, "dbgdirective [%s] value [%s]\n", type, params);
- }
- static void dbgdbg_output(int output_type, void *param)
- {
- (void)output_type;
- (void)param;
- }
- static void dbgdbg_typevalue(int32_t type)
- {
- fprintf(ofile, "new type: %s(%"PRIX32")\n",
- types[TYM_TYPE(type) >> 3], TYM_ELEMENTS(type));
- }
- static const struct pragma_facility dbgdbg_pragma_list[] = {
- { "dbgdbg", dbg_pragma },
- { NULL, dbg_pragma } /* Won't trigger, "debug" is a reserved ns */
- };
- static const struct dfmt debug_debug_form = {
- "Trace of all info passed to debug stage",
- "debug",
- dbgdbg_init,
- dbgdbg_linnum,
- dbgdbg_deflabel,
- dbgdbg_define,
- dbgdbg_typevalue,
- dbgdbg_output,
- dbgdbg_cleanup,
- dbgdbg_pragma_list
- };
- static const struct dfmt * const debug_debug_arr[3] = {
- &debug_debug_form,
- &null_debug_form,
- NULL
- };
- extern macros_t dbg_stdmac[];
- const struct ofmt of_dbg = {
- "Trace of all info passed to output stage",
- "dbg",
- ".dbg",
- OFMT_TEXT,
- 64,
- debug_debug_arr,
- &debug_debug_form,
- dbg_stdmac,
- dbg_init,
- dbg_reset,
- dbg_out,
- dbg_legacy_out,
- dbg_deflabel,
- dbg_section_names,
- dbg_herelabel,
- dbg_sectalign,
- dbg_segbase,
- dbg_directive,
- dbg_cleanup,
- dbg_pragma_list
- };
- #endif /* OF_DBG */
|