nasm/nasm.c

1813 lines
62 KiB
C
Raw Normal View History

2002-05-01 04:51:32 +08:00
/* The Netwide Assembler main program module
*
* The Netwide Assembler is copyright (C) 1996 Simon Tatham and
* Julian Hall. All rights reserved. The software is
* redistributable under the licence given in the file "Licence"
* distributed in the NASM archive.
*/
#include "compiler.h"
2002-05-01 04:51:32 +08:00
#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include <inttypes.h>
#include <limits.h>
2002-05-01 04:51:32 +08:00
#include "nasm.h"
#include "nasmlib.h"
#include "float.h"
#include "stdscan.h"
2002-05-01 04:59:21 +08:00
#include "insns.h"
2002-05-01 04:52:08 +08:00
#include "preproc.h"
2002-05-01 04:51:32 +08:00
#include "parser.h"
2002-05-01 04:52:49 +08:00
#include "eval.h"
2002-05-01 04:51:32 +08:00
#include "assemble.h"
#include "labels.h"
#include "outform.h"
2002-05-01 04:52:26 +08:00
#include "listing.h"
2002-05-01 04:51:32 +08:00
2005-01-16 06:15:51 +08:00
struct forwrefinfo { /* info held on forward refs. */
2002-05-01 04:53:55 +08:00
int lineno;
int operand;
};
static int get_bits(char *value);
static uint32_t get_cpu(char *cpu_str);
static void parse_cmdline(int, char **);
static void assemble_file(char *);
2002-05-01 04:51:32 +08:00
static void register_output_formats(void);
static void report_error_gnu(int severity, const char *fmt, ...);
static void report_error_vc(int severity, const char *fmt, ...);
static void report_error_common(int severity, const char *fmt,
2005-01-16 06:15:51 +08:00
va_list args);
static int is_suppressed_warning(int severity);
2002-05-01 04:51:32 +08:00
static void usage(void);
static efunc report_error;
2002-05-01 04:51:32 +08:00
static int using_debug_info, opt_verbose_info;
bool tasm_compatible_mode = false;
2002-05-01 05:01:08 +08:00
int pass0;
int maxbits = 0;
int globalrel = 0;
2002-05-01 04:53:55 +08:00
static char inname[FILENAME_MAX];
static char outname[FILENAME_MAX];
static char listname[FILENAME_MAX];
static char errname[FILENAME_MAX];
2005-01-16 06:15:51 +08:00
static int globallineno; /* for forward-reference tracking */
2002-05-01 05:00:33 +08:00
/* static int pass = 0; */
2002-05-01 04:51:32 +08:00
static struct ofmt *ofmt = NULL;
2005-01-16 06:15:51 +08:00
static FILE *error_file; /* Where to write error messages */
2002-05-01 04:57:38 +08:00
2002-05-01 04:51:32 +08:00
static FILE *ofile = NULL;
2005-01-16 06:15:51 +08:00
int optimizing = -1; /* number of optimization passes to take */
static int sb, cmd_sb = 16; /* by default */
static uint32_t cmd_cpu = IF_PLEVEL; /* highest level by default */
static uint32_t cpu = IF_PLEVEL; /* passed to insn_size & assemble.c */
bool global_offset_changed; /* referenced in labels.c */
2002-05-01 04:51:32 +08:00
static struct location location;
2005-01-16 06:15:51 +08:00
int in_abs_seg; /* Flag we are in ABSOLUTE seg */
int32_t abs_seg; /* ABSOLUTE segment basis */
int32_t abs_offset; /* ABSOLUTE offset */
2002-05-01 04:52:26 +08:00
2002-05-01 04:51:32 +08:00
static struct RAA *offsets;
2002-05-01 04:51:53 +08:00
2005-01-16 06:15:51 +08:00
static struct SAA *forwrefs; /* keep track of forward references */
static const struct forwrefinfo *forwref;
2002-05-01 04:51:32 +08:00
2002-05-01 04:52:08 +08:00
static Preproc *preproc;
2002-05-01 04:57:38 +08:00
enum op_type {
2005-01-16 06:15:51 +08:00
op_normal, /* Preprocess and assemble */
op_preprocess, /* Preprocess only */
op_depend, /* Generate dependencies */
op_depend_missing_ok, /* Generate dependencies, missing OK */
2002-05-01 04:57:38 +08:00
};
static enum op_type operating_mode;
2002-05-01 04:52:08 +08:00
2002-05-01 04:52:26 +08:00
/*
* Which of the suppressible warnings are suppressed. Entry zero
* doesn't do anything. Initial defaults are given here.
*/
static bool suppressed[1 + ERR_WARN_MAX] = {
0, true, true, true, false, true, false, true, true, false
2002-05-01 04:52:26 +08:00
};
/*
* The option names for the suppressible warnings. As before, entry
* zero does nothing.
*/
static const char *suppressed_names[1 + ERR_WARN_MAX] = {
2005-01-16 06:15:51 +08:00
NULL, "macro-params", "macro-selfref", "orphan-labels",
"number-overflow", "gnu-elf-extensions", "float-overflow",
"float-denorm", "float-underflow", "float-toolong"
2002-05-01 04:52:26 +08:00
};
/*
* The explanations for the suppressible warnings. As before, entry
* zero does nothing.
*/
static const char *suppressed_what[1 + ERR_WARN_MAX] = {
2002-05-01 04:59:21 +08:00
NULL,
"macro calls with wrong no. of params",
"cyclic macro self-references",
2002-05-01 04:52:49 +08:00
"labels alone on lines without trailing `:'",
"numeric constants do not fit in 32 bits",
"using 8- or 16-bit relocation in ELF32, a GNU extension",
"floating point overflow",
"floating point denormal",
"floating point underflow",
"too many digits in floating-point number"
2002-05-01 04:52:26 +08:00
};
2002-05-01 04:52:08 +08:00
/*
* This is a null preprocessor which just copies lines from input
* to output. It's used when someone explicitly requests that NASM
* not preprocess their source file.
*/
static void no_pp_reset(char *, int, efunc, evalfunc, ListGen *);
static char *no_pp_getline(void);
2005-01-16 06:15:51 +08:00
static void no_pp_cleanup(int);
2002-05-01 04:52:08 +08:00
static Preproc no_pp = {
no_pp_reset,
no_pp_getline,
no_pp_cleanup
};
2002-05-01 04:51:32 +08:00
/*
* get/set current offset...
*/
2002-05-01 04:59:21 +08:00
#define GET_CURR_OFFS (in_abs_seg?abs_offset:\
2002-05-01 04:53:55 +08:00
raa_read(offsets,location.segment))
2002-05-01 04:59:21 +08:00
#define SET_CURR_OFFS(x) (in_abs_seg?(void)(abs_offset=(x)):\
2002-05-01 04:53:55 +08:00
(void)(offsets=raa_write(offsets,location.segment,(x))))
2002-05-01 04:51:32 +08:00
static int want_usage;
static int terminate_after_phase;
2005-01-16 06:15:51 +08:00
int user_nolist = 0; /* fbk 9/2/00 */
2002-05-01 04:51:32 +08:00
static void nasm_fputs(const char *line, FILE * outfile)
2002-05-01 04:53:55 +08:00
{
2002-05-15 06:38:55 +08:00
if (outfile) {
2005-01-16 06:15:51 +08:00
fputs(line, outfile);
fputc('\n', outfile);
2002-05-01 04:53:55 +08:00
} else
2005-01-16 06:15:51 +08:00
puts(line);
2002-05-01 04:53:55 +08:00
}
int main(int argc, char **argv)
2002-05-01 04:53:55 +08:00
{
pass0 = 1;
want_usage = terminate_after_phase = false;
report_error = report_error_gnu;
2002-05-01 04:51:32 +08:00
error_file = stderr;
2005-01-16 06:15:51 +08:00
nasm_set_malloc_error(report_error);
2002-05-01 04:51:32 +08:00
offsets = raa_init();
forwrefs = saa_init((int32_t)sizeof(struct forwrefinfo));
2002-05-01 04:51:32 +08:00
2002-05-01 04:52:08 +08:00
preproc = &nasmpp;
2002-05-01 04:57:38 +08:00
operating_mode = op_normal;
2002-05-01 05:01:08 +08:00
2002-05-01 04:51:32 +08:00
seg_init();
register_output_formats();
parse_cmdline(argc, argv);
2005-01-16 06:15:51 +08:00
if (terminate_after_phase) {
if (want_usage)
usage();
return 1;
2002-05-01 04:51:32 +08:00
}
/* If debugging info is disabled, suppress any debug calls */
if (!using_debug_info)
ofmt->current_dfmt = &null_debug_form;
2002-05-01 04:52:49 +08:00
if (ofmt->stdmac)
2005-01-16 06:15:51 +08:00
pp_extra_stdmac(ofmt->stdmac);
parser_global_info(ofmt, &location);
eval_global_info(ofmt, lookup_label, &location);
2002-05-01 04:52:49 +08:00
2002-05-01 04:59:21 +08:00
/* define some macros dependent of command-line */
{
char temp[64];
2005-01-16 06:15:51 +08:00
snprintf(temp, sizeof(temp), "__OUTPUT_FORMAT__=%s\n",
ofmt->shortname);
pp_pre_define(temp);
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
switch (operating_mode) {
case op_depend_missing_ok:
pp_include_path(NULL); /* "assume generated" */
/* fall through */
2002-05-01 04:57:38 +08:00
case op_depend:
2005-01-16 06:15:51 +08:00
{
char *line;
2005-01-16 06:15:51 +08:00
preproc->reset(inname, 0, report_error, evaluate, &nasmlist);
if (outname[0] == '\0')
ofmt->filename(inname, outname, report_error);
ofile = NULL;
fprintf(stdout, "%s: %s", outname, inname);
while ((line = preproc->getline()))
nasm_free(line);
preproc->cleanup(0);
putc('\n', stdout);
}
break;
2002-05-01 04:57:38 +08:00
case op_preprocess:
2005-01-16 06:15:51 +08:00
{
char *line;
char *file_name = NULL;
int32_t prior_linnum = 0;
2005-01-16 06:15:51 +08:00
int lineinc = 0;
if (*outname) {
ofile = fopen(outname, "w");
if (!ofile)
report_error(ERR_FATAL | ERR_NOFILE,
"unable to open output file `%s'",
outname);
} else
ofile = NULL;
location.known = false;
2002-05-01 05:01:08 +08:00
2002-05-01 05:00:33 +08:00
/* pass = 1; */
2005-01-16 06:15:51 +08:00
preproc->reset(inname, 2, report_error, evaluate, &nasmlist);
while ((line = preproc->getline())) {
/*
* We generate %line directives if needed for later programs
*/
int32_t linnum = prior_linnum += lineinc;
2005-01-16 06:15:51 +08:00
int altline = src_get(&linnum, &file_name);
if (altline) {
if (altline == 1 && lineinc == 1)
nasm_fputs("", ofile);
else {
lineinc = (altline != -1 || lineinc != 1);
fprintf(ofile ? ofile : stdout,
2007-04-14 08:10:59 +08:00
"%%line %"PRId32"+%d %s\n", linnum, lineinc,
2005-01-16 06:15:51 +08:00
file_name);
}
prior_linnum = linnum;
}
nasm_fputs(line, ofile);
nasm_free(line);
}
nasm_free(file_name);
preproc->cleanup(0);
if (ofile)
fclose(ofile);
if (ofile && terminate_after_phase)
remove(outname);
}
break;
2002-05-01 04:57:38 +08:00
case op_normal:
2005-01-16 06:15:51 +08:00
{
/*
* We must call ofmt->filename _anyway_, even if the user
* has specified their own output file, because some
* formats (eg OBJ and COFF) use ofmt->filename to find out
* the name of the input file and then put that inside the
* file.
*/
ofmt->filename(inname, outname, report_error);
ofile = fopen(outname, "wb");
if (!ofile) {
report_error(ERR_FATAL | ERR_NOFILE,
"unable to open output file `%s'", outname);
}
/*
* We must call init_labels() before ofmt->init() since
* some object formats will want to define labels in their
* init routines. (eg OS/2 defines the FLAT group)
*/
init_labels();
ofmt->init(ofile, report_error, define_label, evaluate);
assemble_file(inname);
if (!terminate_after_phase) {
ofmt->cleanup(using_debug_info);
cleanup_labels();
} else {
/*
* We had an fclose on the output file here, but we
* actually do that in all the object file drivers as well,
* so we're leaving out the one here.
* fclose (ofile);
*/
remove(outname);
if (listname[0])
remove(listname);
}
}
break;
2002-05-01 04:51:32 +08:00
}
2002-05-01 05:01:08 +08:00
2002-05-01 04:51:32 +08:00
if (want_usage)
2005-01-16 06:15:51 +08:00
usage();
2002-05-01 05:01:08 +08:00
2005-01-16 06:15:51 +08:00
raa_free(offsets);
saa_free(forwrefs);
eval_cleanup();
stdscan_cleanup();
2002-05-01 04:51:32 +08:00
2002-05-01 04:52:26 +08:00
if (terminate_after_phase)
2005-01-16 06:15:51 +08:00
return 1;
2002-05-01 04:52:26 +08:00
else
2005-01-16 06:15:51 +08:00
return 0;
2002-05-01 04:51:32 +08:00
}
2002-05-01 04:53:55 +08:00
/*
* Get a parameter for a command line option.
* First arg must be in the form of e.g. -f...
*/
static char *get_param(char *p, char *q, int *advance)
2002-05-01 04:53:55 +08:00
{
*advance = 0;
2005-01-16 06:15:51 +08:00
if (p[2]) { /* the parameter's in the option */
p += 2;
while (isspace(*p))
p++;
return p;
2002-05-01 04:53:55 +08:00
}
2005-01-16 06:15:51 +08:00
if (q && q[0]) {
*advance = 1;
return q;
2002-05-01 04:53:55 +08:00
}
2005-01-16 06:15:51 +08:00
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"option `-%c' requires an argument", p[1]);
2002-05-01 04:53:55 +08:00
return NULL;
}
2005-01-16 06:15:51 +08:00
struct textargs {
const char *label;
2005-01-16 06:15:51 +08:00
int value;
2002-05-01 05:00:33 +08:00
};
#define OPT_PREFIX 0
#define OPT_POSTFIX 1
2005-01-16 06:15:51 +08:00
struct textargs textopts[] = {
{"prefix", OPT_PREFIX},
{"postfix", OPT_POSTFIX},
{NULL, 0}
2002-05-01 05:00:33 +08:00
};
2002-05-01 04:53:55 +08:00
int stopoptions = 0;
static int process_arg(char *p, char *q)
2002-05-01 04:53:55 +08:00
{
char *param;
2005-01-16 06:15:51 +08:00
int i, advance = 0;
2002-05-01 04:51:32 +08:00
2002-05-01 04:52:26 +08:00
if (!p || !p[0])
2005-01-16 06:15:51 +08:00
return 0;
if (p[0] == '-' && !stopoptions) {
switch (p[1]) {
case 's':
error_file = stdout;
break;
case 'o': /* these parameters take values */
case 'O':
case 'f':
case 'p':
case 'P':
case 'd':
case 'D':
case 'i':
case 'I':
case 'l':
case 'F':
case 'X':
case 'u':
case 'U':
case 'Z':
2005-01-16 06:15:51 +08:00
if (!(param = get_param(p, q, &advance)))
break;
if (p[1] == 'o') { /* output file */
strcpy(outname, param);
} else if (p[1] == 'f') { /* output format */
ofmt = ofmt_find(param);
if (!ofmt) {
report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
"unrecognised output format `%s' - "
"use -hf for a list", param);
} else
ofmt->current_dfmt = ofmt->debug_formats[0];
} else if (p[1] == 'O') { /* Optimization level */
int opt;
if (!*param) {
/* Naked -O == -Ox */
optimizing = INT_MAX >> 1; /* Almost unlimited */
} else {
while (*param) {
switch (*param) {
case '0': case '1': case '2': case '3': case '4':
case '5': case '6': case '7': case '8': case '9':
opt = strtoul(param, &param, 10);
/* -O0 -> optimizing == -1, 0.98 behaviour */
/* -O1 -> optimizing == 0, 0.98.09 behaviour */
if (opt < 2)
optimizing = opt - 1;
else if (opt <= 5)
/* The optimizer seems to have problems with
< 5 passes? Hidden bug? */
optimizing = 5; /* 5 passes */
else
optimizing = opt; /* More than 5 passes */
break;
case 'v':
case '+':
param++;
opt_verbose_info = true;
break;
case 'x':
param++;
optimizing = INT_MAX >> 1; /* Almost unlimited */
break;
default:
report_error(ERR_FATAL,
"unknown optimization option -O%c\n",
*param);
break;
}
}
}
2005-01-16 06:15:51 +08:00
} else if (p[1] == 'P' || p[1] == 'p') { /* pre-include */
pp_pre_include(param);
} else if (p[1] == 'D' || p[1] == 'd') { /* pre-define */
pp_pre_define(param);
} else if (p[1] == 'U' || p[1] == 'u') { /* un-define */
pp_pre_undefine(param);
} else if (p[1] == 'I' || p[1] == 'i') { /* include search path */
pp_include_path(param);
} else if (p[1] == 'l') { /* listing file */
strcpy(listname, param);
} else if (p[1] == 'Z') { /* error messages file */
strcpy(errname, param);
2005-01-16 06:15:51 +08:00
} else if (p[1] == 'F') { /* specify debug format */
ofmt->current_dfmt = dfmt_find(ofmt, param);
if (!ofmt->current_dfmt) {
report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
"unrecognized debug format `%s' for"
" output format `%s'",
param, ofmt->shortname);
2002-05-01 04:53:55 +08:00
}
2005-01-16 06:15:51 +08:00
} else if (p[1] == 'X') { /* specify error reporting format */
if (nasm_stricmp("vc", param) == 0)
report_error = report_error_vc;
else if (nasm_stricmp("gnu", param) == 0)
report_error = report_error_gnu;
else
report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
"unrecognized error reporting format `%s'",
param);
}
break;
case 'g':
using_debug_info = true;
2005-01-16 06:15:51 +08:00
break;
case 'h':
printf
("usage: nasm [-@ response file] [-o outfile] [-f format] "
"[-l listfile]\n"
" [options...] [--] filename\n"
" or nasm -v for version info\n\n"
2005-01-16 06:15:51 +08:00
" -t assemble in SciTech TASM compatible mode\n"
" -g generate debug information in selected format.\n");
printf
(" -E (or -e) preprocess only (writes output to stdout by default)\n"
2005-01-16 06:15:51 +08:00
" -a don't preprocess (assemble only)\n"
" -M generate Makefile dependencies on stdout\n"
" -MG d:o, missing files assumed generated\n\n"
" -Z<file> redirect error messages to file\n"
2005-01-16 06:15:51 +08:00
" -s redirect error messages to stdout\n\n"
" -F format select a debugging format\n\n"
" -I<path> adds a pathname to the include file path\n");
printf
(" -O<digit> optimize branch offsets (-O0 disables, default)\n"
" -P<file> pre-includes a file\n"
" -D<macro>[=<value>] pre-defines a macro\n"
" -U<macro> undefines a macro\n"
" -X<format> specifies error reporting format (gnu or vc)\n"
" -w+foo enables warnings about foo; -w-foo disables them\n"
"where foo can be:\n");
for (i = 1; i <= ERR_WARN_MAX; i++)
printf(" %-23s %s (default %s)\n",
suppressed_names[i], suppressed_what[i],
suppressed[i] ? "off" : "on");
printf
("\nresponse files should contain command line parameters"
", one per line.\n");
if (p[2] == 'f') {
printf("\nvalid output formats for -f are"
" (`*' denotes default):\n");
ofmt_list(ofmt, stdout);
} else {
printf("\nFor a list of valid output formats, use -hf.\n");
printf("For a list of debug formats, use -f <form> -y.\n");
}
exit(0); /* never need usage message here */
break;
case 'y':
printf("\nvalid debug formats for '%s' output format are"
" ('*' denotes default):\n", ofmt->shortname);
dfmt_list(ofmt, stdout);
exit(0);
break;
case 't':
tasm_compatible_mode = true;
2005-01-16 06:15:51 +08:00
break;
case 'v':
{
const char *nasm_version_string =
2005-01-16 06:15:51 +08:00
"NASM version " NASM_VER " compiled on " __DATE__
2002-05-01 04:53:55 +08:00
#ifdef DEBUG
2005-01-16 06:15:51 +08:00
" with -DDEBUG"
2002-05-01 04:53:55 +08:00
#endif
2005-01-16 06:15:51 +08:00
;
puts(nasm_version_string);
exit(0); /* never need usage message here */
}
break;
case 'e': /* preprocess only */
case 'E':
2005-01-16 06:15:51 +08:00
operating_mode = op_preprocess;
break;
case 'a': /* assemble only - don't preprocess */
preproc = &no_pp;
break;
case 'w':
if (p[2] != '+' && p[2] != '-') {
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"invalid option to `-w'");
} else {
for (i = 1; i <= ERR_WARN_MAX; i++)
if (!nasm_stricmp(p + 3, suppressed_names[i]))
break;
if (i <= ERR_WARN_MAX)
suppressed[i] = (p[2] == '-');
else
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"invalid option to `-w'");
}
break;
case 'M':
operating_mode = p[2] == 'G' ? op_depend_missing_ok : op_depend;
2005-01-16 06:15:51 +08:00
break;
case '-':
{
int s;
if (p[2] == 0) { /* -- => stop processing options */
stopoptions = 1;
break;
}
for (s = 0; textopts[s].label; s++) {
if (!nasm_stricmp(p + 2, textopts[s].label)) {
break;
}
}
switch (s) {
case OPT_PREFIX:
case OPT_POSTFIX:
{
if (!q) {
report_error(ERR_NONFATAL | ERR_NOFILE |
ERR_USAGE,
"option `--%s' requires an argument",
p + 2);
break;
} else {
advance = 1, param = q;
}
if (s == OPT_PREFIX) {
strncpy(lprefix, param, PREFIX_MAX - 1);
lprefix[PREFIX_MAX - 1] = 0;
break;
}
if (s == OPT_POSTFIX) {
strncpy(lpostfix, param, POSTFIX_MAX - 1);
lpostfix[POSTFIX_MAX - 1] = 0;
break;
}
break;
}
default:
{
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"unrecognised option `--%s'", p + 2);
break;
}
}
break;
}
default:
if (!ofmt->setinfo(GI_SWITCH, &p))
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"unrecognised option `-%c'", p[1]);
break;
}
} else {
if (*inname) {
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"more than one input file specified");
} else
strcpy(inname, p);
2002-05-01 04:52:26 +08:00
}
return advance;
}
2002-05-01 04:53:55 +08:00
#define ARG_BUF_DELTA 128
2005-01-16 06:15:51 +08:00
static void process_respfile(FILE * rfile)
2002-05-01 04:53:55 +08:00
{
char *buffer, *p, *q, *prevarg;
2002-05-01 04:53:55 +08:00
int bufsize, prevargsize;
bufsize = prevargsize = ARG_BUF_DELTA;
buffer = nasm_malloc(ARG_BUF_DELTA);
prevarg = nasm_malloc(ARG_BUF_DELTA);
prevarg[0] = '\0';
2005-01-16 06:15:51 +08:00
while (1) { /* Loop to handle all lines in file */
p = buffer;
while (1) { /* Loop to handle long lines */
q = fgets(p, bufsize - (p - buffer), rfile);
if (!q)
break;
p += strlen(p);
if (p > buffer && p[-1] == '\n')
break;
if (p - buffer > bufsize - 10) {
int offset;
offset = p - buffer;
bufsize += ARG_BUF_DELTA;
buffer = nasm_realloc(buffer, bufsize);
p = buffer + offset;
}
}
if (!q && p == buffer) {
if (prevarg[0])
process_arg(prevarg, NULL);
nasm_free(buffer);
nasm_free(prevarg);
return;
}
/*
* Play safe: remove CRs, LFs and any spurious ^Zs, if any of
* them are present at the end of the line.
*/
*(p = &buffer[strcspn(buffer, "\r\n\032")]) = '\0';
while (p > buffer && isspace(p[-1]))
*--p = '\0';
p = buffer;
while (isspace(*p))
p++;
if (process_arg(prevarg, p))
*p = '\0';
if (strlen(p) > prevargsize - 10) {
prevargsize += ARG_BUF_DELTA;
prevarg = nasm_realloc(prevarg, prevargsize);
}
strcpy(prevarg, p);
2002-05-01 04:53:55 +08:00
}
}
2002-05-01 05:00:33 +08:00
/* Function to process args from a string of args, rather than the
* argv array. Used by the environment variable and response file
* processing.
*/
static void process_args(char *args)
2005-01-16 06:15:51 +08:00
{
char *p, *q, *arg, *prevarg;
char separator = ' ';
2002-05-01 05:00:33 +08:00
p = args;
if (*p && *p != '-')
2005-01-16 06:15:51 +08:00
separator = *p++;
2002-05-01 05:00:33 +08:00
arg = NULL;
while (*p) {
2005-01-16 06:15:51 +08:00
q = p;
while (*p && *p != separator)
p++;
while (*p == separator)
*p++ = '\0';
prevarg = arg;
arg = q;
if (process_arg(prevarg, arg))
arg = NULL;
2002-05-01 05:00:33 +08:00
}
if (arg)
2005-01-16 06:15:51 +08:00
process_arg(arg, NULL);
2002-05-01 05:00:33 +08:00
}
static void parse_cmdline(int argc, char **argv)
2002-05-01 04:53:55 +08:00
{
FILE *rfile;
char *envreal, *envcopy = NULL, *p, *arg;
2002-05-01 04:52:26 +08:00
*inname = *outname = *listname = *errname = '\0';
2002-05-01 04:52:26 +08:00
/*
2002-05-07 03:41:57 +08:00
* First, process the NASMENV environment variable.
2002-05-01 04:52:26 +08:00
*/
2002-05-07 03:41:57 +08:00
envreal = getenv("NASMENV");
2002-05-01 04:52:26 +08:00
arg = NULL;
if (envreal) {
2005-01-16 06:15:51 +08:00
envcopy = nasm_strdup(envreal);
process_args(envcopy);
nasm_free(envcopy);
2002-05-01 04:52:26 +08:00
}
/*
* Now process the actual command line.
*/
2005-01-16 06:15:51 +08:00
while (--argc) {
int i;
argv++;
if (argv[0][0] == '@') {
/* We have a response file, so process this as a set of
* arguments like the environment variable. This allows us
* to have multiple arguments on a single line, which is
* different to the -@resp file processing below for regular
* NASM.
*/
char *str = malloc(2048);
2005-01-16 06:15:51 +08:00
FILE *f = fopen(&argv[0][1], "r");
if (!str) {
printf("out of memory");
exit(-1);
}
if (f) {
while (fgets(str, 2048, f)) {
process_args(str);
}
fclose(f);
}
free(str);
argc--;
argv++;
}
if (!stopoptions && argv[0][0] == '-' && argv[0][1] == '@') {
p = get_param(argv[0], argc > 1 ? argv[1] : NULL, &i);
if (p) {
rfile = fopen(p, "r");
if (rfile) {
2005-01-16 06:15:51 +08:00
process_respfile(rfile);
fclose(rfile);
} else
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"unable to open response file `%s'", p);
}
} else
i = process_arg(argv[0], argc > 1 ? argv[1] : NULL);
argv += i, argc -= i;
2002-05-01 04:51:32 +08:00
}
2002-05-01 04:52:26 +08:00
2002-05-01 04:51:32 +08:00
if (!*inname)
2005-01-16 06:15:51 +08:00
report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
"no input file specified");
/* Look for basic command line typos. This definitely doesn't
catch all errors, but it might help cases of fumbled fingers. */
if (!strcmp(inname, errname) || !strcmp(inname, outname) ||
!strcmp(inname, listname))
report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
"file `%s' is both input and output file",
inname);
if (*errname) {
error_file = fopen(errname, "w");
if (!error_file) {
error_file = stderr; /* Revert to default! */
report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
"cannot open file `%s' for error messages",
errname);
}
}
2002-05-01 04:51:32 +08:00
}
/* List of directives */
enum directives {
D_NONE, D_ABSOLUTE, D_BITS, D_COMMON, D_CPU, D_DEBUG, D_DEFAULT,
D_EXTERN, D_FLOAT, D_GLOBAL, D_LIST, D_SECTION, D_SEGMENT, D_WARNING
};
static const char *directives[] = {
"", "absolute", "bits", "common", "cpu", "debug", "default",
"extern", "float", "global", "list", "section", "segment", "warning"
};
static enum directives getkw(char **directive, char **value);
static void assemble_file(char *fname)
2002-05-01 04:53:55 +08:00
{
char *directive, *value, *p, *q, *special, *line, debugid[80];
2005-01-16 06:15:51 +08:00
insn output_ins;
int i, validid;
bool rn_error;
int32_t seg, offs;
2002-05-01 04:52:49 +08:00
struct tokenval tokval;
2005-01-16 06:15:51 +08:00
expr *e;
2002-05-01 05:00:33 +08:00
int pass, pass_max;
2005-01-16 06:15:51 +08:00
int pass_cnt = 0; /* count actual passes */
2002-05-01 04:51:32 +08:00
2002-05-01 04:59:21 +08:00
if (cmd_sb == 32 && cmd_cpu < IF_386)
2005-01-16 06:15:51 +08:00
report_error(ERR_FATAL, "command line: "
"32-bit segment size requires a higher cpu");
pass_max = (optimizing > 0 ? optimizing : 0) + 2; /* passes 1, optimizing, then 2 */
pass0 = !(optimizing > 0); /* start at 1 if not optimizing */
for (pass = 1; pass <= pass_max && pass0 <= 2; pass++) {
int pass1, pass2;
ldfunc def_label;
pass1 = pass < pass_max ? 1 : 2; /* seq is 1, 1, 1,..., 1, 2 */
pass2 = pass > 1 ? 2 : 1; /* seq is 1, 2, 2,..., 2, 2 */
/* pass0 seq is 0, 0, 0,..., 1, 2 */
def_label = pass > 1 ? redefine_label : define_label;
globalbits = sb = cmd_sb; /* set 'bits' to command line default */
2005-01-16 06:15:51 +08:00
cpu = cmd_cpu;
if (pass0 == 2) {
if (*listname)
nasmlist.init(listname, report_error);
}
in_abs_seg = false;
global_offset_changed = false; /* set by redefine_label */
2005-01-16 06:15:51 +08:00
location.segment = ofmt->section(NULL, pass2, &sb);
globalbits = sb;
2005-01-16 06:15:51 +08:00
if (pass > 1) {
saa_rewind(forwrefs);
forwref = saa_rstruct(forwrefs);
raa_free(offsets);
offsets = raa_init();
}
preproc->reset(fname, pass1, report_error, evaluate, &nasmlist);
globallineno = 0;
if (pass == 1)
location.known = true;
2005-01-16 06:15:51 +08:00
location.offset = offs = GET_CURR_OFFS;
while ((line = preproc->getline())) {
enum directives d;
2005-01-16 06:15:51 +08:00
globallineno++;
/* here we parse our directives; this is not handled by the 'real'
* parser. */
directive = line;
d = getkw(&directive, &value);
if (d) {
int err = 0;
switch (d) {
case D_SEGMENT: /* [SEGMENT n] */
case D_SECTION:
2005-01-16 06:15:51 +08:00
seg = ofmt->section(value, pass2, &sb);
if (seg == NO_SEG) {
report_error(pass1 == 1 ? ERR_NONFATAL : ERR_PANIC,
"segment name `%s' not recognized",
2005-01-16 06:15:51 +08:00
value);
} else {
in_abs_seg = false;
2005-01-16 06:15:51 +08:00
location.segment = seg;
}
break;
case D_EXTERN: /* [EXTERN label:special] */
2005-01-16 06:15:51 +08:00
if (*value == '$')
value++; /* skip initial $ if present */
if (pass0 == 2) {
2002-05-01 04:59:21 +08:00
q = value;
while (*q && *q != ':')
2005-01-16 06:15:51 +08:00
q++;
2002-05-01 04:59:21 +08:00
if (*q == ':') {
2005-01-16 06:15:51 +08:00
*q++ = '\0';
ofmt->symdef(value, 0L, 0L, 3, q);
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
} else if (pass == 1) { /* pass == 1 */
2002-05-01 04:59:21 +08:00
q = value;
validid = true;
2002-05-01 04:59:21 +08:00
if (!isidstart(*q))
validid = false;
2002-05-01 04:59:21 +08:00
while (*q && *q != ':') {
2005-01-16 06:15:51 +08:00
if (!isidchar(*q))
validid = false;
2005-01-16 06:15:51 +08:00
q++;
2002-05-01 04:59:21 +08:00
}
if (!validid) {
2005-01-16 06:15:51 +08:00
report_error(ERR_NONFATAL,
"identifier expected after EXTERN");
break;
2002-05-01 04:59:21 +08:00
}
if (*q == ':') {
2005-01-16 06:15:51 +08:00
*q++ = '\0';
special = q;
2002-05-01 04:59:21 +08:00
} else
2005-01-16 06:15:51 +08:00
special = NULL;
if (!is_extern(value)) { /* allow re-EXTERN to be ignored */
int temp = pass0;
pass0 = 1; /* fake pass 1 in labels.c */
declare_as_global(value, special,
report_error);
define_label(value, seg_alloc(), 0L, NULL,
false, true, ofmt, report_error);
2005-01-16 06:15:51 +08:00
pass0 = temp;
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
} /* else pass0 == 1 */
break;
case D_BITS: /* [BITS bits] */
globalbits = sb = get_bits(value);
2005-01-16 06:15:51 +08:00
break;
case D_GLOBAL: /* [GLOBAL symbol:special] */
2005-01-16 06:15:51 +08:00
if (*value == '$')
value++; /* skip initial $ if present */
if (pass0 == 2) { /* pass 2 */
2002-05-01 04:59:21 +08:00
q = value;
while (*q && *q != ':')
2005-01-16 06:15:51 +08:00
q++;
2002-05-01 04:59:21 +08:00
if (*q == ':') {
2005-01-16 06:15:51 +08:00
*q++ = '\0';
ofmt->symdef(value, 0L, 0L, 3, q);
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
} else if (pass2 == 1) { /* pass == 1 */
2002-05-01 04:59:21 +08:00
q = value;
validid = true;
2002-05-01 04:59:21 +08:00
if (!isidstart(*q))
validid = false;
2002-05-01 04:59:21 +08:00
while (*q && *q != ':') {
2005-01-16 06:15:51 +08:00
if (!isidchar(*q))
validid = false;
2005-01-16 06:15:51 +08:00
q++;
2002-05-01 04:59:21 +08:00
}
if (!validid) {
2005-01-16 06:15:51 +08:00
report_error(ERR_NONFATAL,
"identifier expected after GLOBAL");
break;
2002-05-01 04:59:21 +08:00
}
if (*q == ':') {
2005-01-16 06:15:51 +08:00
*q++ = '\0';
special = q;
2002-05-01 04:59:21 +08:00
} else
2005-01-16 06:15:51 +08:00
special = NULL;
declare_as_global(value, special, report_error);
} /* pass == 1 */
break;
case D_COMMON: /* [COMMON symbol size:special] */
2005-01-16 06:15:51 +08:00
if (*value == '$')
value++; /* skip initial $ if present */
if (pass0 == 1) {
2002-05-01 04:59:21 +08:00
p = value;
validid = true;
2002-05-01 04:59:21 +08:00
if (!isidstart(*p))
validid = false;
2002-05-01 04:59:21 +08:00
while (*p && !isspace(*p)) {
2005-01-16 06:15:51 +08:00
if (!isidchar(*p))
validid = false;
2005-01-16 06:15:51 +08:00
p++;
2002-05-01 04:59:21 +08:00
}
if (!validid) {
2005-01-16 06:15:51 +08:00
report_error(ERR_NONFATAL,
"identifier expected after COMMON");
break;
2002-05-01 04:59:21 +08:00
}
if (*p) {
int64_t size;
2005-01-16 06:15:51 +08:00
while (*p && isspace(*p))
*p++ = '\0';
q = p;
while (*q && *q != ':')
q++;
if (*q == ':') {
*q++ = '\0';
special = q;
} else
special = NULL;
size = readnum(p, &rn_error);
if (rn_error)
report_error(ERR_NONFATAL,
"invalid size specified"
2002-05-01 04:59:21 +08:00
" in COMMON declaration");
2005-01-16 06:15:51 +08:00
else
define_common(value, seg_alloc(), size,
special, ofmt, report_error);
2002-05-01 04:59:21 +08:00
} else
2005-01-16 06:15:51 +08:00
report_error(ERR_NONFATAL,
"no size specified in"
" COMMON declaration");
} else if (pass0 == 2) { /* pass == 2 */
2002-05-01 04:59:21 +08:00
q = value;
while (*q && *q != ':') {
2005-01-16 06:15:51 +08:00
if (isspace(*q))
*q = '\0';
q++;
2002-05-01 04:59:21 +08:00
}
if (*q == ':') {
2005-01-16 06:15:51 +08:00
*q++ = '\0';
ofmt->symdef(value, 0L, 0L, 3, q);
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
}
break;
case D_ABSOLUTE: /* [ABSOLUTE address] */
2005-01-16 06:15:51 +08:00
stdscan_reset();
stdscan_bufptr = value;
tokval.t_type = TOKEN_INVALID;
e = evaluate(stdscan, NULL, &tokval, NULL, pass2,
report_error, NULL);
if (e) {
if (!is_reloc(e))
report_error(pass0 ==
1 ? ERR_NONFATAL : ERR_PANIC,
"cannot use non-relocatable expression as "
"ABSOLUTE address");
else {
abs_seg = reloc_seg(e);
abs_offset = reloc_value(e);
}
} else if (pass == 1)
abs_offset = 0x100; /* don't go near zero in case of / */
else
report_error(ERR_PANIC, "invalid ABSOLUTE address "
"in pass two");
in_abs_seg = true;
2005-01-16 06:15:51 +08:00
location.segment = NO_SEG;
break;
case D_DEBUG: /* [DEBUG] */
2005-01-16 06:15:51 +08:00
p = value;
q = debugid;
validid = true;
2005-01-16 06:15:51 +08:00
if (!isidstart(*p))
validid = false;
2005-01-16 06:15:51 +08:00
while (*p && !isspace(*p)) {
if (!isidchar(*p))
validid = false;
2005-01-16 06:15:51 +08:00
*q++ = *p++;
}
*q++ = 0;
if (!validid) {
report_error(pass == 1 ? ERR_NONFATAL : ERR_PANIC,
"identifier expected after DEBUG");
break;
}
while (*p && isspace(*p))
p++;
if (pass == pass_max)
ofmt->current_dfmt->debug_directive(debugid, p);
break;
case D_WARNING: /* [WARNING {+|-}warn-name] */
2005-01-16 06:15:51 +08:00
if (pass1 == 1) {
while (*value && isspace(*value))
value++;
if (*value == '+' || *value == '-') {
validid = (*value == '-') ? true : false;
2005-01-16 06:15:51 +08:00
value++;
} else
validid = false;
2005-01-16 06:15:51 +08:00
for (i = 1; i <= ERR_WARN_MAX; i++)
if (!nasm_stricmp(value, suppressed_names[i]))
break;
if (i <= ERR_WARN_MAX)
suppressed[i] = validid;
else
report_error(ERR_NONFATAL,
"invalid warning id in WARNING directive");
}
break;
case D_CPU: /* [CPU] */
2005-01-16 06:15:51 +08:00
cpu = get_cpu(value);
break;
case D_LIST: /* [LIST {+|-}] */
2005-01-16 06:15:51 +08:00
while (*value && isspace(*value))
value++;
if (*value == '+') {
user_nolist = 0;
} else {
if (*value == '-') {
user_nolist = 1;
} else {
err = 1;
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
}
break;
case D_DEFAULT: /* [DEFAULT] */
stdscan_reset();
stdscan_bufptr = value;
tokval.t_type = TOKEN_INVALID;
if (stdscan(NULL, &tokval) == TOKEN_SPECIAL) {
switch ((int)tokval.t_integer) {
case S_REL:
globalrel = 1;
break;
case S_ABS:
globalrel = 0;
break;
default:
err = 1;
break;
}
} else {
err = 1;
}
break;
case D_FLOAT:
if (float_option(value)) {
report_error(pass1 == 1 ? ERR_NONFATAL : ERR_PANIC,
"unknown 'float' directive: %s",
value);
}
break;
2005-01-16 06:15:51 +08:00
default:
if (!ofmt->directive(directive, value, pass2))
report_error(pass1 == 1 ? ERR_NONFATAL : ERR_PANIC,
"unrecognised directive [%s]",
directive);
}
if (err) {
report_error(ERR_NONFATAL,
"invalid parameter to [%s] directive",
directive);
}
2005-01-16 06:15:51 +08:00
} else { /* it isn't a directive */
parse_line(pass1, line, &output_ins,
report_error, evaluate, def_label);
if (!(optimizing > 0) && pass == 2) {
if (forwref != NULL && globallineno == forwref->lineno) {
output_ins.forw_ref = true;
2005-01-16 06:15:51 +08:00
do {
output_ins.oprs[forwref->operand].opflags |=
OPFLAG_FORWARD;
forwref = saa_rstruct(forwrefs);
} while (forwref != NULL
&& forwref->lineno == globallineno);
} else
output_ins.forw_ref = false;
2005-01-16 06:15:51 +08:00
}
if (!(optimizing > 0) && output_ins.forw_ref) {
if (pass == 1) {
for (i = 0; i < output_ins.operands; i++) {
if (output_ins.oprs[i].
opflags & OPFLAG_FORWARD) {
struct forwrefinfo *fwinf =
(struct forwrefinfo *)
saa_wstruct(forwrefs);
fwinf->lineno = globallineno;
fwinf->operand = i;
}
}
} else { /* pass == 2 */
2002-05-01 04:59:21 +08:00
/*
2005-01-16 06:15:51 +08:00
* Hack to prevent phase error in the code
* rol ax,x
* x equ 1
*
* If the second operand is a forward reference,
* the UNITY property of the number 1 in that
* operand is cancelled. Otherwise the above
* sequence will cause a phase error.
*
* This hack means that the above code will
* generate 286+ code.
*
* The forward reference will mean that the
* operand will not have the UNITY property on
* the first pass, so the pass behaviours will
* be consistent.
*/
2002-05-01 04:59:21 +08:00
if (output_ins.operands >= 2 &&
(output_ins.oprs[1].opflags & OPFLAG_FORWARD) &&
!(IMMEDIATE & ~output_ins.oprs[1].type))
{
/* Remove special properties bits */
output_ins.oprs[1].type &= ~REG_SMASK;
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
} /* pass == 2 */
2002-05-01 04:59:21 +08:00
2005-01-16 06:15:51 +08:00
}
2002-05-01 04:59:21 +08:00
2005-01-16 06:15:51 +08:00
/* forw_ref */
if (output_ins.opcode == I_EQU) {
if (pass1 == 1) {
2002-05-01 04:59:21 +08:00
/*
2005-01-16 06:15:51 +08:00
* Special `..' EQUs get processed in pass two,
* except `..@' macro-processor EQUs which are done
* in the normal place.
*/
2002-05-01 04:59:21 +08:00
if (!output_ins.label)
2005-01-16 06:15:51 +08:00
report_error(ERR_NONFATAL,
"EQU not preceded by label");
2002-05-01 04:59:21 +08:00
else if (output_ins.label[0] != '.' ||
output_ins.label[1] != '.' ||
2005-01-16 06:15:51 +08:00
output_ins.label[2] == '@') {
if (output_ins.operands == 1 &&
(output_ins.oprs[0].type & IMMEDIATE) &&
output_ins.oprs[0].wrt == NO_SEG) {
int isext =
output_ins.oprs[0].
opflags & OPFLAG_EXTERN;
def_label(output_ins.label,
output_ins.oprs[0].segment,
output_ins.oprs[0].offset, NULL,
false, isext, ofmt,
2005-01-16 06:15:51 +08:00
report_error);
} else if (output_ins.operands == 2
&& (output_ins.oprs[0].
type & IMMEDIATE)
&& (output_ins.oprs[0].type & COLON)
&& output_ins.oprs[0].segment ==
NO_SEG
&& output_ins.oprs[0].wrt == NO_SEG
&& (output_ins.oprs[1].
type & IMMEDIATE)
&& output_ins.oprs[1].segment ==
NO_SEG
&& output_ins.oprs[1].wrt ==
NO_SEG) {
def_label(output_ins.label,
output_ins.oprs[0].
offset | SEG_ABS,
output_ins.oprs[1].offset, NULL,
false, false, ofmt,
2005-01-16 06:15:51 +08:00
report_error);
} else
report_error(ERR_NONFATAL,
"bad syntax for EQU");
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
} else { /* pass == 2 */
2002-05-01 04:59:21 +08:00
/*
2005-01-16 06:15:51 +08:00
* Special `..' EQUs get processed here, except
* `..@' macro processor EQUs which are done above.
*/
2002-05-01 04:59:21 +08:00
if (output_ins.label[0] == '.' &&
2005-01-16 06:15:51 +08:00
output_ins.label[1] == '.' &&
output_ins.label[2] != '@') {
if (output_ins.operands == 1 &&
(output_ins.oprs[0].type & IMMEDIATE)) {
define_label(output_ins.label,
2002-05-01 04:59:21 +08:00
output_ins.oprs[0].segment,
output_ins.oprs[0].offset,
NULL, false, false, ofmt,
2005-01-16 06:15:51 +08:00
report_error);
} else if (output_ins.operands == 2
&& (output_ins.oprs[0].
type & IMMEDIATE)
&& (output_ins.oprs[0].type & COLON)
&& output_ins.oprs[0].segment ==
NO_SEG
&& (output_ins.oprs[1].
type & IMMEDIATE)
&& output_ins.oprs[1].segment ==
NO_SEG) {
define_label(output_ins.label,
output_ins.oprs[0].
offset | SEG_ABS,
2002-05-01 04:59:21 +08:00
output_ins.oprs[1].offset,
NULL, false, false, ofmt,
2005-01-16 06:15:51 +08:00
report_error);
} else
report_error(ERR_NONFATAL,
"bad syntax for EQU");
2002-05-01 04:59:21 +08:00
}
2005-01-16 06:15:51 +08:00
} /* pass == 2 */
} else { /* instruction isn't an EQU */
if (pass1 == 1) {
int32_t l = insn_size(location.segment, offs, sb, cpu,
2005-01-16 06:15:51 +08:00
&output_ins, report_error);
/* if (using_debug_info) && output_ins.opcode != -1) */
if (using_debug_info)
{ /* fbk 03/25/01 */
/* this is done here so we can do debug type info */
int32_t typeinfo =
2005-01-16 06:15:51 +08:00
TYS_ELEMENTS(output_ins.operands);
switch (output_ins.opcode) {
case I_RESB:
typeinfo =
TYS_ELEMENTS(output_ins.oprs[0].
offset) | TY_BYTE;
break;
case I_RESW:
typeinfo =
TYS_ELEMENTS(output_ins.oprs[0].
offset) | TY_WORD;
break;
case I_RESD:
typeinfo =
TYS_ELEMENTS(output_ins.oprs[0].
offset) | TY_DWORD;
break;
case I_RESQ:
typeinfo =
TYS_ELEMENTS(output_ins.oprs[0].
offset) | TY_QWORD;
break;
case I_REST:
typeinfo =
TYS_ELEMENTS(output_ins.oprs[0].
offset) | TY_TBYTE;
break;
case I_DB:
typeinfo |= TY_BYTE;
break;
case I_DW:
typeinfo |= TY_WORD;
break;
case I_DD:
if (output_ins.eops_float)
typeinfo |= TY_FLOAT;
else
typeinfo |= TY_DWORD;
break;
case I_DQ:
typeinfo |= TY_QWORD;
break;
case I_DT:
typeinfo |= TY_TBYTE;
break;
2007-09-23 12:29:41 +08:00
case I_DO:
typeinfo |= TY_OWORD;
break;
2005-01-16 06:15:51 +08:00
default:
typeinfo = TY_LABEL;
}
ofmt->current_dfmt->debug_typevalue(typeinfo);
2002-05-01 05:00:33 +08:00
2002-05-01 04:59:21 +08:00
}
if (l != -1) {
2005-01-16 06:15:51 +08:00
offs += l;
SET_CURR_OFFS(offs);
2002-05-01 04:59:21 +08:00
}
2002-05-01 05:01:08 +08:00
/*
2005-01-16 06:15:51 +08:00
* else l == -1 => invalid instruction, which will be
* flagged as an error on pass 2
*/
} else { /* pass == 2 */
offs += assemble(location.segment, offs, sb, cpu,
&output_ins, ofmt, report_error,
&nasmlist);
SET_CURR_OFFS(offs);
}
} /* not an EQU */
cleanup_insn(&output_ins);
}
nasm_free(line);
location.offset = offs = GET_CURR_OFFS;
} /* end while (line = preproc->getline... */
if (pass1 == 2 && global_offset_changed)
report_error(ERR_NONFATAL,
"phase error detected at end of assembly.");
if (pass1 == 1)
preproc->cleanup(1);
if (pass1 == 1 && terminate_after_phase) {
fclose(ofile);
remove(outname);
if (want_usage)
usage();
exit(1);
}
pass_cnt++;
if (pass > 1 && !global_offset_changed) {
pass0++;
if (pass0 == 2)
pass = pass_max - 1;
} else if (!(optimizing > 0))
pass0++;
} /* for (pass=1; pass<=2; pass++) */
preproc->cleanup(0);
nasmlist.cleanup();
2002-05-01 04:59:21 +08:00
#if 1
2005-01-16 06:15:51 +08:00
if (optimizing > 0 && opt_verbose_info) /* -On and -Ov switches */
fprintf(stdout,
"info:: assembly required 1+%d+1 passes\n", pass_cnt - 2);
2002-05-01 05:01:08 +08:00
#endif
2005-01-16 06:15:51 +08:00
} /* exit from assemble_file (...) */
2002-05-01 04:53:55 +08:00
static enum directives getkw(char **directive, char **value)
2002-05-01 04:53:55 +08:00
{
char *p, *q, *buf;
2005-01-16 06:15:51 +08:00
buf = *directive;
2002-05-01 04:51:32 +08:00
2002-05-01 05:03:11 +08:00
/* allow leading spaces or tabs */
2005-01-16 06:15:51 +08:00
while (*buf == ' ' || *buf == '\t')
buf++;
2002-05-01 05:03:11 +08:00
2005-01-16 06:15:51 +08:00
if (*buf != '[')
return 0;
2002-05-01 04:53:55 +08:00
2002-05-01 04:51:32 +08:00
p = buf;
2002-05-01 04:53:55 +08:00
2005-01-16 06:15:51 +08:00
while (*p && *p != ']')
p++;
2002-05-01 04:53:55 +08:00
2002-05-01 04:51:32 +08:00
if (!*p)
2005-01-16 06:15:51 +08:00
return 0;
2002-05-01 04:53:55 +08:00
2002-05-01 04:51:32 +08:00
q = p++;
2002-05-01 04:53:55 +08:00
2002-05-01 04:51:32 +08:00
while (*p && *p != ';') {
2005-01-16 06:15:51 +08:00
if (!isspace(*p))
return 0;
p++;
2002-05-01 04:51:32 +08:00
}
q[1] = '\0';
2005-01-16 06:15:51 +08:00
*directive = p = buf + 1;
while (*buf && *buf != ' ' && *buf != ']' && *buf != '\t')
buf++;
if (*buf == ']') {
*buf = '\0';
*value = buf;
2002-05-01 04:51:32 +08:00
} else {
2005-01-16 06:15:51 +08:00
*buf++ = '\0';
while (isspace(*buf))
buf++; /* beppu - skip leading whitespace */
*value = buf;
while (*buf != ']')
buf++;
*buf++ = '\0';
2002-05-01 04:51:32 +08:00
}
return bsii(*directive, directives, elements(directives));
2002-05-01 04:51:32 +08:00
}
/**
* gnu style error reporting
* This function prints an error message to error_file in the
* style used by GNU. An example would be:
* file.asm:50: error: blah blah blah
* where file.asm is the name of the file, 50 is the line number on
* which the error occurs (or is detected) and "error:" is one of
* the possible optional diagnostics -- it can be "error" or "warning"
* or something else. Finally the line terminates with the actual
* error message.
*
* @param severity the severity of the warning or error
* @param fmt the printf style format string
*/
static void report_error_gnu(int severity, const char *fmt, ...)
2002-05-01 04:53:55 +08:00
{
2002-05-01 04:51:32 +08:00
va_list ap;
if (is_suppressed_warning(severity))
2005-01-16 06:15:51 +08:00
return;
2002-05-01 04:52:49 +08:00
2002-05-01 04:51:32 +08:00
if (severity & ERR_NOFILE)
2005-01-16 06:15:51 +08:00
fputs("nasm: ", error_file);
2002-05-01 04:53:55 +08:00
else {
char *currentfile = NULL;
int32_t lineno = 0;
2005-01-16 06:15:51 +08:00
src_get(&lineno, &currentfile);
2007-04-14 08:10:59 +08:00
fprintf(error_file, "%s:%"PRId32": ", currentfile, lineno);
2005-01-16 06:15:51 +08:00
nasm_free(currentfile);
2002-05-01 04:53:55 +08:00
}
2005-01-16 06:15:51 +08:00
va_start(ap, fmt);
report_error_common(severity, fmt, ap);
va_end(ap);
}
/**
* MS style error reporting
* This function prints an error message to error_file in the
* style used by Visual C and some other Microsoft tools. An example
* would be:
* file.asm(50) : error: blah blah blah
* where file.asm is the name of the file, 50 is the line number on
* which the error occurs (or is detected) and "error:" is one of
* the possible optional diagnostics -- it can be "error" or "warning"
* or something else. Finally the line terminates with the actual
* error message.
*
* @param severity the severity of the warning or error
* @param fmt the printf style format string
*/
static void report_error_vc(int severity, const char *fmt, ...)
{
va_list ap;
2005-01-16 06:15:51 +08:00
if (is_suppressed_warning(severity))
return;
2002-05-01 04:51:32 +08:00
if (severity & ERR_NOFILE)
2005-01-16 06:15:51 +08:00
fputs("nasm: ", error_file);
else {
char *currentfile = NULL;
int32_t lineno = 0;
2005-01-16 06:15:51 +08:00
src_get(&lineno, &currentfile);
2007-04-14 08:10:59 +08:00
fprintf(error_file, "%s(%"PRId32") : ", currentfile, lineno);
2005-01-16 06:15:51 +08:00
nasm_free(currentfile);
}
2005-01-16 06:15:51 +08:00
va_start(ap, fmt);
report_error_common(severity, fmt, ap);
va_end(ap);
}
/**
* check for supressed warning
* checks for suppressed warning or pass one only warning and we're
* not in pass 1
*
* @param severity the severity of the warning or error
* @return true if we should abort error/warning printing
*/
2005-01-16 06:15:51 +08:00
static int is_suppressed_warning(int severity)
{
/*
* See if it's a suppressed warning.
*/
return ((severity & ERR_MASK) == ERR_WARNING &&
2005-01-16 06:15:51 +08:00
(severity & ERR_WARN_MASK) != 0 &&
suppressed[(severity & ERR_WARN_MASK) >> ERR_WARN_SHR]) ||
/*
* See if it's a pass-one only warning and we're not in pass one.
*/
((severity & ERR_PASS1) && pass0 == 2);
}
/**
* common error reporting
* This is the common back end of the error reporting schemes currently
* implemented. It prints the nature of the warning and then the
* specific error message to error_file and may or may not return. It
* doesn't return if the error severity is a "panic" or "debug" type.
*
* @param severity the severity of the warning or error
* @param fmt the printf style format string
*/
static void report_error_common(int severity, const char *fmt,
2005-01-16 06:15:51 +08:00
va_list args)
{
2002-05-01 04:59:21 +08:00
switch (severity & ERR_MASK) {
2005-01-16 06:15:51 +08:00
case ERR_WARNING:
fputs("warning: ", error_file);
break;
case ERR_NONFATAL:
fputs("error: ", error_file);
break;
case ERR_FATAL:
fputs("fatal: ", error_file);
break;
case ERR_PANIC:
fputs("panic: ", error_file);
break;
case ERR_DEBUG:
fputs("debug: ", error_file);
break;
2002-05-01 04:59:21 +08:00
}
2002-05-01 05:01:08 +08:00
2005-01-16 06:15:51 +08:00
vfprintf(error_file, fmt, args);
fputc('\n', error_file);
2002-05-01 04:51:32 +08:00
if (severity & ERR_USAGE)
want_usage = true;
2002-05-01 04:51:32 +08:00
switch (severity & ERR_MASK) {
2005-01-16 06:15:51 +08:00
case ERR_WARNING:
case ERR_DEBUG:
/* no further action, by definition */
break;
case ERR_NONFATAL:
/* hack enables listing(!) on errors */
terminate_after_phase = true;
2005-01-16 06:15:51 +08:00
break;
case ERR_FATAL:
if (ofile) {
fclose(ofile);
remove(outname);
}
if (want_usage)
usage();
exit(1); /* instantly die */
break; /* placate silly compilers */
case ERR_PANIC:
fflush(NULL);
/* abort(); *//* halt, catch fire, and dump core */
exit(3);
break;
2002-05-01 04:51:32 +08:00
}
}
2002-05-01 05:01:08 +08:00
static void usage(void)
2002-05-01 04:53:55 +08:00
{
2002-05-01 04:57:38 +08:00
fputs("type `nasm -h' for help\n", error_file);
2002-05-01 04:51:32 +08:00
}
2002-05-01 05:01:08 +08:00
static void register_output_formats(void)
2002-05-01 04:53:55 +08:00
{
2005-01-16 06:15:51 +08:00
ofmt = ofmt_register(report_error);
2002-05-01 04:51:32 +08:00
}
2002-05-01 04:52:08 +08:00
#define BUF_DELTA 512
static FILE *no_pp_fp;
static efunc no_pp_err;
2002-05-01 04:52:49 +08:00
static ListGen *no_pp_list;
static int32_t no_pp_lineinc;
2002-05-01 04:52:08 +08:00
static void no_pp_reset(char *file, int pass, efunc error, evalfunc eval,
2005-01-16 06:15:51 +08:00
ListGen * listgen)
2002-05-01 04:53:55 +08:00
{
src_set_fname(nasm_strdup(file));
src_set_linnum(0);
no_pp_lineinc = 1;
2002-05-01 04:52:08 +08:00
no_pp_err = error;
no_pp_fp = fopen(file, "r");
if (!no_pp_fp)
2005-01-16 06:15:51 +08:00
no_pp_err(ERR_FATAL | ERR_NOFILE,
"unable to open input file `%s'", file);
2002-05-01 04:52:49 +08:00
no_pp_list = listgen;
2005-01-16 06:15:51 +08:00
(void)pass; /* placate compilers */
(void)eval; /* placate compilers */
2002-05-01 04:52:08 +08:00
}
static char *no_pp_getline(void)
2002-05-01 04:53:55 +08:00
{
char *buffer, *p, *q;
2002-05-01 04:52:08 +08:00
int bufsize;
bufsize = BUF_DELTA;
buffer = nasm_malloc(BUF_DELTA);
2002-05-01 04:53:55 +08:00
src_set_linnum(src_get_linnum() + no_pp_lineinc);
2002-05-01 04:52:08 +08:00
2005-01-16 06:15:51 +08:00
while (1) { /* Loop to handle %line */
p = buffer;
while (1) { /* Loop to handle long lines */
q = fgets(p, bufsize - (p - buffer), no_pp_fp);
if (!q)
break;
p += strlen(p);
if (p > buffer && p[-1] == '\n')
break;
if (p - buffer > bufsize - 10) {
int offset;
offset = p - buffer;
bufsize += BUF_DELTA;
buffer = nasm_realloc(buffer, bufsize);
p = buffer + offset;
}
}
if (!q && p == buffer) {
nasm_free(buffer);
return NULL;
}
/*
* Play safe: remove CRs, LFs and any spurious ^Zs, if any of
* them are present at the end of the line.
*/
buffer[strcspn(buffer, "\r\n\032")] = '\0';
2007-10-04 12:22:16 +08:00
if (!nasm_strnicmp(buffer, "%line", 5)) {
int32_t ln;
2005-01-16 06:15:51 +08:00
int li;
char *nm = nasm_malloc(strlen(buffer));
2007-04-14 08:10:59 +08:00
if (sscanf(buffer + 5, "%"PRId32"+%d %s", &ln, &li, nm) == 3) {
2005-01-16 06:15:51 +08:00
nasm_free(src_set_fname(nm));
src_set_linnum(ln);
no_pp_lineinc = li;
continue;
}
nasm_free(nm);
}
break;
2002-05-01 04:53:55 +08:00
}
2002-05-01 04:52:08 +08:00
2005-01-16 06:15:51 +08:00
no_pp_list->line(LIST_READ, buffer);
2002-05-01 04:52:49 +08:00
2002-05-01 04:52:08 +08:00
return buffer;
}
2005-01-16 06:15:51 +08:00
static void no_pp_cleanup(int pass)
2002-05-01 04:53:55 +08:00
{
2007-04-14 08:46:25 +08:00
(void)pass; /* placate GCC */
2002-05-01 04:52:08 +08:00
fclose(no_pp_fp);
}
2002-05-01 04:59:21 +08:00
static uint32_t get_cpu(char *value)
2002-05-01 04:59:21 +08:00
{
2005-01-16 06:15:51 +08:00
if (!strcmp(value, "8086"))
return IF_8086;
if (!strcmp(value, "186"))
return IF_186;
if (!strcmp(value, "286"))
return IF_286;
if (!strcmp(value, "386"))
return IF_386;
if (!strcmp(value, "486"))
return IF_486;
if (!strcmp(value, "586") || !nasm_stricmp(value, "pentium"))
return IF_PENT;
if (!strcmp(value, "686") ||
!nasm_stricmp(value, "ppro") ||
!nasm_stricmp(value, "pentiumpro") || !nasm_stricmp(value, "p2"))
return IF_P6;
if (!nasm_stricmp(value, "p3") || !nasm_stricmp(value, "katmai"))
return IF_KATMAI;
if (!nasm_stricmp(value, "p4") || /* is this right? -- jrc */
!nasm_stricmp(value, "willamette"))
return IF_WILLAMETTE;
if (!nasm_stricmp(value, "prescott"))
return IF_PRESCOTT;
if (!nasm_stricmp(value, "x64") ||
!nasm_stricmp(value, "x86-64"))
return IF_X86_64;
2002-05-28 09:25:06 +08:00
if (!nasm_stricmp(value, "ia64") ||
2005-01-16 06:15:51 +08:00
!nasm_stricmp(value, "ia-64") ||
!nasm_stricmp(value, "itanium") ||
!nasm_stricmp(value, "itanic") || !nasm_stricmp(value, "merced"))
return IF_IA64;
2002-05-01 04:59:21 +08:00
2005-01-16 06:15:51 +08:00
report_error(pass0 < 2 ? ERR_NONFATAL : ERR_FATAL,
"unknown 'cpu' type");
2002-05-01 05:01:08 +08:00
2005-01-16 06:15:51 +08:00
return IF_PLEVEL; /* the maximum level */
2002-05-01 04:59:21 +08:00
}
static int get_bits(char *value)
2002-05-01 04:59:21 +08:00
{
int i;
2002-05-01 05:01:08 +08:00
2005-01-16 06:15:51 +08:00
if ((i = atoi(value)) == 16)
return i; /* set for a 16-bit segment */
2002-05-01 04:59:21 +08:00
else if (i == 32) {
2005-01-16 06:15:51 +08:00
if (cpu < IF_386) {
report_error(ERR_NONFATAL,
"cannot specify 32-bit segment on processor below a 386");
i = 16;
}
} else if (i == 64) {
if (cpu < IF_X86_64) {
report_error(ERR_NONFATAL,
"cannot specify 64-bit segment on processor below an x86-64");
i = 16;
}
if (i != maxbits) {
report_error(ERR_NONFATAL,
"%s output format does not support 64-bit code",
ofmt->shortname);
i = 16;
}
2002-05-01 04:59:21 +08:00
} else {
2005-01-16 06:15:51 +08:00
report_error(pass0 < 2 ? ERR_NONFATAL : ERR_FATAL,
"`%s' is not a valid segment size; must be 16, 32 or 64",
2005-01-16 06:15:51 +08:00
value);
i = 16;
2002-05-01 04:59:21 +08:00
}
return i;
}
/* end of nasm.c */