blob: d20fd26254c8bde14fc0ad60ca0d3c88dc938f3a [file] [log] [blame]
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001/* The Netwide Assembler main program module
2 *
3 * The Netwide Assembler is copyright (C) 1996 Simon Tatham and
4 * Julian Hall. All rights reserved. The software is
5 * redistributable under the licence given in the file "Licence"
6 * distributed in the NASM archive.
7 */
8
9#include <stdio.h>
10#include <stdarg.h>
11#include <stdlib.h>
12#include <string.h>
13#include <ctype.h>
Keith Kaniosb7a89542007-04-12 02:40:54 +000014#include <inttypes.h>
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000015
16#include "nasm.h"
17#include "nasmlib.h"
H. Peter Anvin74cc5e52007-08-30 22:35:34 +000018#include "stdscan.h"
H. Peter Anvinaf535c12002-04-30 20:59:21 +000019#include "insns.h"
H. Peter Anvind7ed89e2002-04-30 20:52:08 +000020#include "preproc.h"
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000021#include "parser.h"
H. Peter Anvin76690a12002-04-30 20:52:49 +000022#include "eval.h"
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000023#include "assemble.h"
24#include "labels.h"
25#include "outform.h"
H. Peter Anvin6768eb72002-04-30 20:52:26 +000026#include "listing.h"
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000027
H. Peter Anvine2c80182005-01-15 22:15:51 +000028struct forwrefinfo { /* info held on forward refs. */
H. Peter Anvineba20a72002-04-30 20:53:55 +000029 int lineno;
30 int operand;
31};
32
Keith Kaniosa6dfa782007-04-13 16:47:53 +000033static int get_bits(char *value);
34static uint32_t get_cpu(char *cpu_str);
35static void parse_cmdline(int, char **);
36static void assemble_file(char *);
37static int getkw(char **directive, char **value);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000038static void register_output_formats(void);
Keith Kaniosa6dfa782007-04-13 16:47:53 +000039static void report_error_gnu(int severity, const char *fmt, ...);
40static void report_error_vc(int severity, const char *fmt, ...);
41static void report_error_common(int severity, const char *fmt,
H. Peter Anvine2c80182005-01-15 22:15:51 +000042 va_list args);
43static int is_suppressed_warning(int severity);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000044static void usage(void);
Ed Berosetfa771012002-06-09 20:56:40 +000045static efunc report_error;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000046
John Coffman0efaec92002-05-26 19:20:08 +000047static int using_debug_info, opt_verbose_info;
H. Peter Anvine2c80182005-01-15 22:15:51 +000048int tasm_compatible_mode = FALSE;
H. Peter Anvin734b1882002-04-30 21:01:08 +000049int pass0;
Keith Kaniosb7a89542007-04-12 02:40:54 +000050int maxbits = 0;
H. Peter Anvin99c4ecd2007-08-28 23:06:00 +000051int globalrel = 0;
H. Peter Anvineba20a72002-04-30 20:53:55 +000052
Keith Kaniosa6dfa782007-04-13 16:47:53 +000053static char inname[FILENAME_MAX];
54static char outname[FILENAME_MAX];
55static char listname[FILENAME_MAX];
H. Peter Anvine2c80182005-01-15 22:15:51 +000056static int globallineno; /* for forward-reference tracking */
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +000057/* static int pass = 0; */
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000058static struct ofmt *ofmt = NULL;
59
H. Peter Anvine2c80182005-01-15 22:15:51 +000060static FILE *error_file; /* Where to write error messages */
H. Peter Anvin620515a2002-04-30 20:57:38 +000061
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000062static FILE *ofile = NULL;
H. Peter Anvine2c80182005-01-15 22:15:51 +000063int optimizing = -1; /* number of optimization passes to take */
64static int sb, cmd_sb = 16; /* by default */
Keith Kaniosb7a89542007-04-12 02:40:54 +000065static uint32_t cmd_cpu = IF_PLEVEL; /* highest level by default */
66static uint32_t cpu = IF_PLEVEL; /* passed to insn_size & assemble.c */
H. Peter Anvine2c80182005-01-15 22:15:51 +000067int global_offset_changed; /* referenced in labels.c */
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000068
H. Peter Anvineba20a72002-04-30 20:53:55 +000069static loc_t location;
H. Peter Anvine2c80182005-01-15 22:15:51 +000070int in_abs_seg; /* Flag we are in ABSOLUTE seg */
Keith Kaniosb7a89542007-04-12 02:40:54 +000071int32_t abs_seg; /* ABSOLUTE segment basis */
72int32_t abs_offset; /* ABSOLUTE offset */
H. Peter Anvin6768eb72002-04-30 20:52:26 +000073
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000074static struct RAA *offsets;
H. Peter Anvinea838272002-04-30 20:51:53 +000075
H. Peter Anvine2c80182005-01-15 22:15:51 +000076static struct SAA *forwrefs; /* keep track of forward references */
H. Peter Anvineba20a72002-04-30 20:53:55 +000077static struct forwrefinfo *forwref;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000078
H. Peter Anvind7ed89e2002-04-30 20:52:08 +000079static Preproc *preproc;
H. Peter Anvin620515a2002-04-30 20:57:38 +000080enum op_type {
H. Peter Anvine2c80182005-01-15 22:15:51 +000081 op_normal, /* Preprocess and assemble */
82 op_preprocess, /* Preprocess only */
83 op_depend /* Generate dependencies */
H. Peter Anvin620515a2002-04-30 20:57:38 +000084};
85static enum op_type operating_mode;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +000086
H. Peter Anvind7ed89e2002-04-30 20:52:08 +000087/*
H. Peter Anvin6768eb72002-04-30 20:52:26 +000088 * Which of the suppressible warnings are suppressed. Entry zero
89 * doesn't do anything. Initial defaults are given here.
90 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +000091static char suppressed[1 + ERR_WARN_MAX] = {
H. Peter Anvine2c80182005-01-15 22:15:51 +000092 0, TRUE, TRUE, TRUE, FALSE, TRUE
H. Peter Anvin6768eb72002-04-30 20:52:26 +000093};
94
95/*
96 * The option names for the suppressible warnings. As before, entry
97 * zero does nothing.
98 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +000099static const char *suppressed_names[1 + ERR_WARN_MAX] = {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000100 NULL, "macro-params", "macro-selfref", "orphan-labels",
101 "number-overflow",
H. Peter Anvin8ac36412002-04-30 21:09:12 +0000102 "gnu-elf-extensions"
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000103};
104
105/*
106 * The explanations for the suppressible warnings. As before, entry
107 * zero does nothing.
108 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000109static const char *suppressed_what[1 + ERR_WARN_MAX] = {
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000110 NULL,
111 "macro calls with wrong no. of params",
112 "cyclic macro self-references",
H. Peter Anvin76690a12002-04-30 20:52:49 +0000113 "labels alone on lines without trailing `:'",
H. Peter Anvin8ac36412002-04-30 21:09:12 +0000114 "numeric constants greater than 0xFFFFFFFF",
115 "using 8- or 16-bit relocation in ELF, a GNU extension"
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000116};
117
118/*
H. Peter Anvind7ed89e2002-04-30 20:52:08 +0000119 * This is a null preprocessor which just copies lines from input
120 * to output. It's used when someone explicitly requests that NASM
121 * not preprocess their source file.
122 */
123
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000124static void no_pp_reset(char *, int, efunc, evalfunc, ListGen *);
125static char *no_pp_getline(void);
H. Peter Anvine2c80182005-01-15 22:15:51 +0000126static void no_pp_cleanup(int);
H. Peter Anvind7ed89e2002-04-30 20:52:08 +0000127static Preproc no_pp = {
128 no_pp_reset,
129 no_pp_getline,
130 no_pp_cleanup
131};
132
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000133/*
134 * get/set current offset...
135 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000136#define GET_CURR_OFFS (in_abs_seg?abs_offset:\
H. Peter Anvineba20a72002-04-30 20:53:55 +0000137 raa_read(offsets,location.segment))
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000138#define SET_CURR_OFFS(x) (in_abs_seg?(void)(abs_offset=(x)):\
H. Peter Anvineba20a72002-04-30 20:53:55 +0000139 (void)(offsets=raa_write(offsets,location.segment,(x))))
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000140
141static int want_usage;
142static int terminate_after_phase;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000143int user_nolist = 0; /* fbk 9/2/00 */
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000144
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000145static void nasm_fputs(const char *line, FILE * outfile)
H. Peter Anvineba20a72002-04-30 20:53:55 +0000146{
H. Peter Anvin310b3e12002-05-14 22:38:55 +0000147 if (outfile) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000148 fputs(line, outfile);
149 fputc('\n', outfile);
H. Peter Anvineba20a72002-04-30 20:53:55 +0000150 } else
H. Peter Anvine2c80182005-01-15 22:15:51 +0000151 puts(line);
H. Peter Anvineba20a72002-04-30 20:53:55 +0000152}
153
H. Peter Anvin038d8612007-04-12 16:54:50 +0000154int main(int argc, char **argv)
H. Peter Anvineba20a72002-04-30 20:53:55 +0000155{
Ed Berosetfa771012002-06-09 20:56:40 +0000156 pass0 = 1;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000157 want_usage = terminate_after_phase = FALSE;
Ed Berosetfa771012002-06-09 20:56:40 +0000158 report_error = report_error_gnu;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000159
H. Peter Anvine2c80182005-01-15 22:15:51 +0000160 nasm_set_malloc_error(report_error);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000161 offsets = raa_init();
Keith Kaniosb7a89542007-04-12 02:40:54 +0000162 forwrefs = saa_init((int32_t)sizeof(struct forwrefinfo));
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000163
H. Peter Anvind7ed89e2002-04-30 20:52:08 +0000164 preproc = &nasmpp;
H. Peter Anvin620515a2002-04-30 20:57:38 +0000165 operating_mode = op_normal;
H. Peter Anvin734b1882002-04-30 21:01:08 +0000166
H. Peter Anvinef7468f2002-04-30 20:57:59 +0000167 error_file = stderr;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +0000168
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000169 seg_init();
170
171 register_output_formats();
172
173 parse_cmdline(argc, argv);
174
H. Peter Anvine2c80182005-01-15 22:15:51 +0000175 if (terminate_after_phase) {
176 if (want_usage)
177 usage();
178 return 1;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000179 }
180
H. Peter Anvinbb88d012003-09-10 23:34:23 +0000181 /* If debugging info is disabled, suppress any debug calls */
182 if (!using_debug_info)
183 ofmt->current_dfmt = &null_debug_form;
184
H. Peter Anvin76690a12002-04-30 20:52:49 +0000185 if (ofmt->stdmac)
H. Peter Anvine2c80182005-01-15 22:15:51 +0000186 pp_extra_stdmac(ofmt->stdmac);
187 parser_global_info(ofmt, &location);
188 eval_global_info(ofmt, lookup_label, &location);
H. Peter Anvin76690a12002-04-30 20:52:49 +0000189
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000190 /* define some macros dependent of command-line */
191 {
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000192 char temp[64];
H. Peter Anvine2c80182005-01-15 22:15:51 +0000193 snprintf(temp, sizeof(temp), "__OUTPUT_FORMAT__=%s\n",
194 ofmt->shortname);
195 pp_pre_define(temp);
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000196 }
197
H. Peter Anvine2c80182005-01-15 22:15:51 +0000198 switch (operating_mode) {
H. Peter Anvin620515a2002-04-30 20:57:38 +0000199 case op_depend:
H. Peter Anvine2c80182005-01-15 22:15:51 +0000200 {
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000201 char *line;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000202 preproc->reset(inname, 0, report_error, evaluate, &nasmlist);
203 if (outname[0] == '\0')
204 ofmt->filename(inname, outname, report_error);
205 ofile = NULL;
206 fprintf(stdout, "%s: %s", outname, inname);
207 while ((line = preproc->getline()))
208 nasm_free(line);
209 preproc->cleanup(0);
210 putc('\n', stdout);
211 }
212 break;
H. Peter Anvin620515a2002-04-30 20:57:38 +0000213
214 case op_preprocess:
H. Peter Anvine2c80182005-01-15 22:15:51 +0000215 {
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000216 char *line;
217 char *file_name = NULL;
Keith Kaniosb7a89542007-04-12 02:40:54 +0000218 int32_t prior_linnum = 0;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000219 int lineinc = 0;
H. Peter Anvin734b1882002-04-30 21:01:08 +0000220
H. Peter Anvine2c80182005-01-15 22:15:51 +0000221 if (*outname) {
222 ofile = fopen(outname, "w");
223 if (!ofile)
224 report_error(ERR_FATAL | ERR_NOFILE,
225 "unable to open output file `%s'",
226 outname);
227 } else
228 ofile = NULL;
H. Peter Anvin734b1882002-04-30 21:01:08 +0000229
H. Peter Anvine2c80182005-01-15 22:15:51 +0000230 location.known = FALSE;
H. Peter Anvin734b1882002-04-30 21:01:08 +0000231
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000232/* pass = 1; */
H. Peter Anvine2c80182005-01-15 22:15:51 +0000233 preproc->reset(inname, 2, report_error, evaluate, &nasmlist);
234 while ((line = preproc->getline())) {
235 /*
236 * We generate %line directives if needed for later programs
237 */
Keith Kaniosb7a89542007-04-12 02:40:54 +0000238 int32_t linnum = prior_linnum += lineinc;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000239 int altline = src_get(&linnum, &file_name);
240 if (altline) {
241 if (altline == 1 && lineinc == 1)
242 nasm_fputs("", ofile);
243 else {
244 lineinc = (altline != -1 || lineinc != 1);
245 fprintf(ofile ? ofile : stdout,
Keith Kanios93f2e9a2007-04-14 00:10:59 +0000246 "%%line %"PRId32"+%d %s\n", linnum, lineinc,
H. Peter Anvine2c80182005-01-15 22:15:51 +0000247 file_name);
248 }
249 prior_linnum = linnum;
250 }
251 nasm_fputs(line, ofile);
252 nasm_free(line);
253 }
254 nasm_free(file_name);
255 preproc->cleanup(0);
256 if (ofile)
257 fclose(ofile);
258 if (ofile && terminate_after_phase)
259 remove(outname);
260 }
261 break;
H. Peter Anvin620515a2002-04-30 20:57:38 +0000262
263 case op_normal:
H. Peter Anvine2c80182005-01-15 22:15:51 +0000264 {
265 /*
266 * We must call ofmt->filename _anyway_, even if the user
267 * has specified their own output file, because some
268 * formats (eg OBJ and COFF) use ofmt->filename to find out
269 * the name of the input file and then put that inside the
270 * file.
271 */
272 ofmt->filename(inname, outname, report_error);
273
274 ofile = fopen(outname, "wb");
275 if (!ofile) {
276 report_error(ERR_FATAL | ERR_NOFILE,
277 "unable to open output file `%s'", outname);
278 }
279
280 /*
281 * We must call init_labels() before ofmt->init() since
282 * some object formats will want to define labels in their
283 * init routines. (eg OS/2 defines the FLAT group)
284 */
285 init_labels();
286
287 ofmt->init(ofile, report_error, define_label, evaluate);
288
289 assemble_file(inname);
290
291 if (!terminate_after_phase) {
292 ofmt->cleanup(using_debug_info);
293 cleanup_labels();
294 } else {
295 /*
296 * We had an fclose on the output file here, but we
297 * actually do that in all the object file drivers as well,
298 * so we're leaving out the one here.
299 * fclose (ofile);
300 */
301 remove(outname);
302 if (listname[0])
303 remove(listname);
304 }
305 }
306 break;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000307 }
H. Peter Anvin734b1882002-04-30 21:01:08 +0000308
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000309 if (want_usage)
H. Peter Anvine2c80182005-01-15 22:15:51 +0000310 usage();
H. Peter Anvin734b1882002-04-30 21:01:08 +0000311
H. Peter Anvine2c80182005-01-15 22:15:51 +0000312 raa_free(offsets);
313 saa_free(forwrefs);
314 eval_cleanup();
H. Peter Anvin74cc5e52007-08-30 22:35:34 +0000315 stdscan_cleanup();
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000316
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000317 if (terminate_after_phase)
H. Peter Anvine2c80182005-01-15 22:15:51 +0000318 return 1;
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000319 else
H. Peter Anvine2c80182005-01-15 22:15:51 +0000320 return 0;
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000321}
322
H. Peter Anvineba20a72002-04-30 20:53:55 +0000323/*
324 * Get a parameter for a command line option.
325 * First arg must be in the form of e.g. -f...
326 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000327static char *get_param(char *p, char *q, int *advance)
H. Peter Anvineba20a72002-04-30 20:53:55 +0000328{
329 *advance = 0;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000330 if (p[2]) { /* the parameter's in the option */
331 p += 2;
332 while (isspace(*p))
333 p++;
334 return p;
H. Peter Anvineba20a72002-04-30 20:53:55 +0000335 }
H. Peter Anvine2c80182005-01-15 22:15:51 +0000336 if (q && q[0]) {
337 *advance = 1;
338 return q;
H. Peter Anvineba20a72002-04-30 20:53:55 +0000339 }
H. Peter Anvine2c80182005-01-15 22:15:51 +0000340 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
341 "option `-%c' requires an argument", p[1]);
H. Peter Anvineba20a72002-04-30 20:53:55 +0000342 return NULL;
343}
344
H. Peter Anvine2c80182005-01-15 22:15:51 +0000345struct textargs {
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000346 const char *label;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000347 int value;
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000348};
349
350#define OPT_PREFIX 0
351#define OPT_POSTFIX 1
H. Peter Anvine2c80182005-01-15 22:15:51 +0000352struct textargs textopts[] = {
353 {"prefix", OPT_PREFIX},
354 {"postfix", OPT_POSTFIX},
355 {NULL, 0}
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000356};
357
H. Peter Anvineba20a72002-04-30 20:53:55 +0000358int stopoptions = 0;
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000359static int process_arg(char *p, char *q)
H. Peter Anvineba20a72002-04-30 20:53:55 +0000360{
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000361 char *param;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000362 int i, advance = 0;
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000363
364 if (!p || !p[0])
H. Peter Anvine2c80182005-01-15 22:15:51 +0000365 return 0;
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000366
H. Peter Anvine2c80182005-01-15 22:15:51 +0000367 if (p[0] == '-' && !stopoptions) {
368 switch (p[1]) {
369 case 's':
370 error_file = stdout;
371 break;
372 case 'o': /* these parameters take values */
373 case 'O':
374 case 'f':
375 case 'p':
376 case 'P':
377 case 'd':
378 case 'D':
379 case 'i':
380 case 'I':
381 case 'l':
382 case 'E':
383 case 'F':
384 case 'X':
385 case 'u':
386 case 'U':
387 if (!(param = get_param(p, q, &advance)))
388 break;
389 if (p[1] == 'o') { /* output file */
390 strcpy(outname, param);
391 } else if (p[1] == 'f') { /* output format */
392 ofmt = ofmt_find(param);
393 if (!ofmt) {
394 report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
395 "unrecognised output format `%s' - "
396 "use -hf for a list", param);
397 } else
398 ofmt->current_dfmt = ofmt->debug_formats[0];
399 } else if (p[1] == 'O') { /* Optimization level */
400 int opt;
401 opt = -99;
402 while (*param) {
403 if (isdigit(*param)) {
404 opt = atoi(param);
405 while (isdigit(*++param)) ;
406 if (opt <= 0)
407 optimizing = -1; /* 0.98 behaviour */
408 else if (opt == 1)
409 optimizing = 0; /* Two passes, 0.98.09 behavior */
H. Peter Anvin26970092007-09-22 18:16:52 -0700410 else if (opt <= 5)
411 /* The optimizer seems to have problems with
412 < 5 passes? Hidden bug? */
413 optimizing = 5; /* 5 passes */
414 else
415 optimizing = opt; /* More than 5 passes */
H. Peter Anvine2c80182005-01-15 22:15:51 +0000416 } else {
417 if (*param == 'v' || *param == '+') {
418 ++param;
419 opt_verbose_info = TRUE;
420 opt = 0;
421 } else { /* garbage */
422 opt = -99;
423 break;
424 }
425 }
426 } /* while (*param) */
427 if (opt == -99)
428 report_error(ERR_FATAL,
429 "command line optimization level must be 'v', 0..3 or <nn>");
430 } else if (p[1] == 'P' || p[1] == 'p') { /* pre-include */
431 pp_pre_include(param);
432 } else if (p[1] == 'D' || p[1] == 'd') { /* pre-define */
433 pp_pre_define(param);
434 } else if (p[1] == 'U' || p[1] == 'u') { /* un-define */
435 pp_pre_undefine(param);
436 } else if (p[1] == 'I' || p[1] == 'i') { /* include search path */
437 pp_include_path(param);
438 } else if (p[1] == 'l') { /* listing file */
439 strcpy(listname, param);
440 } else if (p[1] == 'E') { /* error messages file */
441 error_file = fopen(param, "w");
442 if (!error_file) {
443 error_file = stderr; /* Revert to default! */
444 report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
445 "cannot open file `%s' for error messages",
446 param);
H. Peter Anvineba20a72002-04-30 20:53:55 +0000447 }
H. Peter Anvine2c80182005-01-15 22:15:51 +0000448 } else if (p[1] == 'F') { /* specify debug format */
449 ofmt->current_dfmt = dfmt_find(ofmt, param);
450 if (!ofmt->current_dfmt) {
451 report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
452 "unrecognized debug format `%s' for"
453 " output format `%s'",
454 param, ofmt->shortname);
455 }
456 } else if (p[1] == 'X') { /* specify error reporting format */
457 if (nasm_stricmp("vc", param) == 0)
458 report_error = report_error_vc;
459 else if (nasm_stricmp("gnu", param) == 0)
460 report_error = report_error_gnu;
461 else
462 report_error(ERR_FATAL | ERR_NOFILE | ERR_USAGE,
463 "unrecognized error reporting format `%s'",
464 param);
465 }
466 break;
467 case 'g':
468 using_debug_info = TRUE;
469 break;
470 case 'h':
471 printf
472 ("usage: nasm [-@ response file] [-o outfile] [-f format] "
473 "[-l listfile]\n"
474 " [options...] [--] filename\n"
475 " or nasm -r for version info (obsolete)\n"
476 " or nasm -v for version info (preferred)\n\n"
477 " -t assemble in SciTech TASM compatible mode\n"
478 " -g generate debug information in selected format.\n");
479 printf
480 (" -e preprocess only (writes output to stdout by default)\n"
481 " -a don't preprocess (assemble only)\n"
482 " -M generate Makefile dependencies on stdout\n\n"
483 " -E<file> redirect error messages to file\n"
484 " -s redirect error messages to stdout\n\n"
485 " -F format select a debugging format\n\n"
486 " -I<path> adds a pathname to the include file path\n");
487 printf
488 (" -O<digit> optimize branch offsets (-O0 disables, default)\n"
489 " -P<file> pre-includes a file\n"
490 " -D<macro>[=<value>] pre-defines a macro\n"
491 " -U<macro> undefines a macro\n"
492 " -X<format> specifies error reporting format (gnu or vc)\n"
493 " -w+foo enables warnings about foo; -w-foo disables them\n"
494 "where foo can be:\n");
495 for (i = 1; i <= ERR_WARN_MAX; i++)
496 printf(" %-23s %s (default %s)\n",
497 suppressed_names[i], suppressed_what[i],
498 suppressed[i] ? "off" : "on");
499 printf
500 ("\nresponse files should contain command line parameters"
501 ", one per line.\n");
502 if (p[2] == 'f') {
503 printf("\nvalid output formats for -f are"
504 " (`*' denotes default):\n");
505 ofmt_list(ofmt, stdout);
506 } else {
507 printf("\nFor a list of valid output formats, use -hf.\n");
508 printf("For a list of debug formats, use -f <form> -y.\n");
509 }
510 exit(0); /* never need usage message here */
511 break;
512 case 'y':
513 printf("\nvalid debug formats for '%s' output format are"
514 " ('*' denotes default):\n", ofmt->shortname);
515 dfmt_list(ofmt, stdout);
516 exit(0);
517 break;
518 case 't':
519 tasm_compatible_mode = TRUE;
520 break;
521 case 'r':
522 case 'v':
523 {
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000524 const char *nasm_version_string =
H. Peter Anvine2c80182005-01-15 22:15:51 +0000525 "NASM version " NASM_VER " compiled on " __DATE__
H. Peter Anvineba20a72002-04-30 20:53:55 +0000526#ifdef DEBUG
H. Peter Anvine2c80182005-01-15 22:15:51 +0000527 " with -DDEBUG"
H. Peter Anvineba20a72002-04-30 20:53:55 +0000528#endif
H. Peter Anvine2c80182005-01-15 22:15:51 +0000529 ;
530 puts(nasm_version_string);
531 exit(0); /* never need usage message here */
532 }
533 break;
534 case 'e': /* preprocess only */
535 operating_mode = op_preprocess;
536 break;
537 case 'a': /* assemble only - don't preprocess */
538 preproc = &no_pp;
539 break;
540 case 'w':
541 if (p[2] != '+' && p[2] != '-') {
542 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
543 "invalid option to `-w'");
544 } else {
545 for (i = 1; i <= ERR_WARN_MAX; i++)
546 if (!nasm_stricmp(p + 3, suppressed_names[i]))
547 break;
548 if (i <= ERR_WARN_MAX)
549 suppressed[i] = (p[2] == '-');
550 else
551 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
552 "invalid option to `-w'");
553 }
554 break;
555 case 'M':
556 operating_mode = op_depend;
557 break;
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000558
H. Peter Anvine2c80182005-01-15 22:15:51 +0000559 case '-':
560 {
561 int s;
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000562
H. Peter Anvine2c80182005-01-15 22:15:51 +0000563 if (p[2] == 0) { /* -- => stop processing options */
564 stopoptions = 1;
565 break;
566 }
567 for (s = 0; textopts[s].label; s++) {
568 if (!nasm_stricmp(p + 2, textopts[s].label)) {
569 break;
570 }
571 }
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000572
H. Peter Anvine2c80182005-01-15 22:15:51 +0000573 switch (s) {
574
575 case OPT_PREFIX:
576 case OPT_POSTFIX:
577 {
578 if (!q) {
579 report_error(ERR_NONFATAL | ERR_NOFILE |
580 ERR_USAGE,
581 "option `--%s' requires an argument",
582 p + 2);
583 break;
584 } else {
585 advance = 1, param = q;
586 }
587
588 if (s == OPT_PREFIX) {
589 strncpy(lprefix, param, PREFIX_MAX - 1);
590 lprefix[PREFIX_MAX - 1] = 0;
591 break;
592 }
593 if (s == OPT_POSTFIX) {
594 strncpy(lpostfix, param, POSTFIX_MAX - 1);
595 lpostfix[POSTFIX_MAX - 1] = 0;
596 break;
597 }
598 break;
599 }
600 default:
601 {
602 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
603 "unrecognised option `--%s'", p + 2);
604 break;
605 }
606 }
607 break;
608 }
609
610 default:
611 if (!ofmt->setinfo(GI_SWITCH, &p))
612 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
613 "unrecognised option `-%c'", p[1]);
614 break;
615 }
616 } else {
617 if (*inname) {
618 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
619 "more than one input file specified");
620 } else
621 strcpy(inname, p);
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000622 }
623
624 return advance;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000625}
626
H. Peter Anvineba20a72002-04-30 20:53:55 +0000627#define ARG_BUF_DELTA 128
628
H. Peter Anvine2c80182005-01-15 22:15:51 +0000629static void process_respfile(FILE * rfile)
H. Peter Anvineba20a72002-04-30 20:53:55 +0000630{
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000631 char *buffer, *p, *q, *prevarg;
H. Peter Anvineba20a72002-04-30 20:53:55 +0000632 int bufsize, prevargsize;
633
634 bufsize = prevargsize = ARG_BUF_DELTA;
635 buffer = nasm_malloc(ARG_BUF_DELTA);
636 prevarg = nasm_malloc(ARG_BUF_DELTA);
637 prevarg[0] = '\0';
638
H. Peter Anvine2c80182005-01-15 22:15:51 +0000639 while (1) { /* Loop to handle all lines in file */
H. Peter Anvineba20a72002-04-30 20:53:55 +0000640
H. Peter Anvine2c80182005-01-15 22:15:51 +0000641 p = buffer;
642 while (1) { /* Loop to handle long lines */
643 q = fgets(p, bufsize - (p - buffer), rfile);
644 if (!q)
645 break;
646 p += strlen(p);
647 if (p > buffer && p[-1] == '\n')
648 break;
649 if (p - buffer > bufsize - 10) {
650 int offset;
651 offset = p - buffer;
652 bufsize += ARG_BUF_DELTA;
653 buffer = nasm_realloc(buffer, bufsize);
654 p = buffer + offset;
655 }
656 }
H. Peter Anvineba20a72002-04-30 20:53:55 +0000657
H. Peter Anvine2c80182005-01-15 22:15:51 +0000658 if (!q && p == buffer) {
659 if (prevarg[0])
660 process_arg(prevarg, NULL);
661 nasm_free(buffer);
662 nasm_free(prevarg);
663 return;
664 }
H. Peter Anvineba20a72002-04-30 20:53:55 +0000665
H. Peter Anvine2c80182005-01-15 22:15:51 +0000666 /*
667 * Play safe: remove CRs, LFs and any spurious ^Zs, if any of
668 * them are present at the end of the line.
669 */
670 *(p = &buffer[strcspn(buffer, "\r\n\032")]) = '\0';
H. Peter Anvineba20a72002-04-30 20:53:55 +0000671
H. Peter Anvine2c80182005-01-15 22:15:51 +0000672 while (p > buffer && isspace(p[-1]))
673 *--p = '\0';
H. Peter Anvineba20a72002-04-30 20:53:55 +0000674
H. Peter Anvine2c80182005-01-15 22:15:51 +0000675 p = buffer;
676 while (isspace(*p))
677 p++;
H. Peter Anvineba20a72002-04-30 20:53:55 +0000678
H. Peter Anvine2c80182005-01-15 22:15:51 +0000679 if (process_arg(prevarg, p))
680 *p = '\0';
H. Peter Anvineba20a72002-04-30 20:53:55 +0000681
H. Peter Anvine2c80182005-01-15 22:15:51 +0000682 if (strlen(p) > prevargsize - 10) {
683 prevargsize += ARG_BUF_DELTA;
684 prevarg = nasm_realloc(prevarg, prevargsize);
685 }
686 strcpy(prevarg, p);
H. Peter Anvineba20a72002-04-30 20:53:55 +0000687 }
688}
689
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000690/* Function to process args from a string of args, rather than the
691 * argv array. Used by the environment variable and response file
692 * processing.
693 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000694static void process_args(char *args)
H. Peter Anvine2c80182005-01-15 22:15:51 +0000695{
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000696 char *p, *q, *arg, *prevarg;
697 char separator = ' ';
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000698
699 p = args;
700 if (*p && *p != '-')
H. Peter Anvine2c80182005-01-15 22:15:51 +0000701 separator = *p++;
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000702 arg = NULL;
703 while (*p) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000704 q = p;
705 while (*p && *p != separator)
706 p++;
707 while (*p == separator)
708 *p++ = '\0';
709 prevarg = arg;
710 arg = q;
711 if (process_arg(prevarg, arg))
712 arg = NULL;
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000713 }
714 if (arg)
H. Peter Anvine2c80182005-01-15 22:15:51 +0000715 process_arg(arg, NULL);
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000716}
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000717
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000718static void parse_cmdline(int argc, char **argv)
H. Peter Anvineba20a72002-04-30 20:53:55 +0000719{
720 FILE *rfile;
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000721 char *envreal, *envcopy = NULL, *p, *arg;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000722
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000723 *inname = *outname = *listname = '\0';
724
725 /*
H. Peter Anvinff7ccc02002-05-06 19:41:57 +0000726 * First, process the NASMENV environment variable.
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000727 */
H. Peter Anvinff7ccc02002-05-06 19:41:57 +0000728 envreal = getenv("NASMENV");
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000729 arg = NULL;
730 if (envreal) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000731 envcopy = nasm_strdup(envreal);
732 process_args(envcopy);
733 nasm_free(envcopy);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000734 }
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000735
736 /*
737 * Now process the actual command line.
738 */
H. Peter Anvine2c80182005-01-15 22:15:51 +0000739 while (--argc) {
740 int i;
741 argv++;
742 if (argv[0][0] == '@') {
743 /* We have a response file, so process this as a set of
744 * arguments like the environment variable. This allows us
745 * to have multiple arguments on a single line, which is
746 * different to the -@resp file processing below for regular
747 * NASM.
748 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000749 char *str = malloc(2048);
H. Peter Anvine2c80182005-01-15 22:15:51 +0000750 FILE *f = fopen(&argv[0][1], "r");
751 if (!str) {
752 printf("out of memory");
753 exit(-1);
754 }
755 if (f) {
756 while (fgets(str, 2048, f)) {
757 process_args(str);
758 }
759 fclose(f);
760 }
761 free(str);
762 argc--;
763 argv++;
764 }
765 if (!stopoptions && argv[0][0] == '-' && argv[0][1] == '@') {
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000766 p = get_param(argv[0], argc > 1 ? argv[1] : NULL, &i);
767 if (p) {
768 rfile = fopen(p, "r");
769 if (rfile) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000770 process_respfile(rfile);
771 fclose(rfile);
772 } else
773 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
774 "unable to open response file `%s'", p);
775 }
776 } else
777 i = process_arg(argv[0], argc > 1 ? argv[1] : NULL);
778 argv += i, argc -= i;
H. Peter Anvin6768eb72002-04-30 20:52:26 +0000779 }
780
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000781 if (!*inname)
H. Peter Anvine2c80182005-01-15 22:15:51 +0000782 report_error(ERR_NONFATAL | ERR_NOFILE | ERR_USAGE,
783 "no input file specified");
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000784}
785
H. Peter Anvin62b24d72007-08-29 16:38:05 +0000786/* List of directives */
787enum {
788 D_NONE, D_ABSOLUTE, D_BITS, D_COMMON, D_CPU, D_DEBUG, D_DEFAULT,
789 D_EXTERN, D_GLOBAL, D_LIST, D_SECTION, D_SEGMENT, D_WARNING
790};
791static const char *directives[] = {
792 "", "absolute", "bits", "common", "cpu", "debug", "default",
793 "extern", "global", "list", "section", "segment", "warning"
794};
795
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000796static void assemble_file(char *fname)
H. Peter Anvineba20a72002-04-30 20:53:55 +0000797{
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000798 char *directive, *value, *p, *q, *special, *line, debugid[80];
H. Peter Anvine2c80182005-01-15 22:15:51 +0000799 insn output_ins;
800 int i, rn_error, validid;
Keith Kaniosb7a89542007-04-12 02:40:54 +0000801 int32_t seg, offs;
H. Peter Anvin76690a12002-04-30 20:52:49 +0000802 struct tokenval tokval;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000803 expr *e;
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +0000804 int pass, pass_max;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000805 int pass_cnt = 0; /* count actual passes */
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000806
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000807 if (cmd_sb == 32 && cmd_cpu < IF_386)
H. Peter Anvine2c80182005-01-15 22:15:51 +0000808 report_error(ERR_FATAL, "command line: "
809 "32-bit segment size requires a higher cpu");
H. Peter Anvineba20a72002-04-30 20:53:55 +0000810
H. Peter Anvine2c80182005-01-15 22:15:51 +0000811 pass_max = (optimizing > 0 ? optimizing : 0) + 2; /* passes 1, optimizing, then 2 */
812 pass0 = !(optimizing > 0); /* start at 1 if not optimizing */
813 for (pass = 1; pass <= pass_max && pass0 <= 2; pass++) {
814 int pass1, pass2;
815 ldfunc def_label;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +0000816
H. Peter Anvine2c80182005-01-15 22:15:51 +0000817 pass1 = pass < pass_max ? 1 : 2; /* seq is 1, 1, 1,..., 1, 2 */
818 pass2 = pass > 1 ? 2 : 1; /* seq is 1, 2, 2,..., 2, 2 */
819 /* pass0 seq is 0, 0, 0,..., 1, 2 */
H. Peter Anvin734b1882002-04-30 21:01:08 +0000820
H. Peter Anvine2c80182005-01-15 22:15:51 +0000821 def_label = pass > 1 ? redefine_label : define_label;
H. Peter Anvin734b1882002-04-30 21:01:08 +0000822
Keith Kaniosb7a89542007-04-12 02:40:54 +0000823 globalbits = sb = cmd_sb; /* set 'bits' to command line default */
H. Peter Anvine2c80182005-01-15 22:15:51 +0000824 cpu = cmd_cpu;
825 if (pass0 == 2) {
826 if (*listname)
827 nasmlist.init(listname, report_error);
828 }
829 in_abs_seg = FALSE;
830 global_offset_changed = FALSE; /* set by redefine_label */
831 location.segment = ofmt->section(NULL, pass2, &sb);
Keith Kaniosb7a89542007-04-12 02:40:54 +0000832 globalbits = sb;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000833 if (pass > 1) {
834 saa_rewind(forwrefs);
835 forwref = saa_rstruct(forwrefs);
836 raa_free(offsets);
837 offsets = raa_init();
838 }
839 preproc->reset(fname, pass1, report_error, evaluate, &nasmlist);
840 globallineno = 0;
841 if (pass == 1)
842 location.known = TRUE;
843 location.offset = offs = GET_CURR_OFFS;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000844
H. Peter Anvine2c80182005-01-15 22:15:51 +0000845 while ((line = preproc->getline())) {
846 globallineno++;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +0000847
H. Peter Anvine2c80182005-01-15 22:15:51 +0000848 /* here we parse our directives; this is not handled by the 'real'
849 * parser. */
850 directive = line;
Keith Kaniosa6dfa782007-04-13 16:47:53 +0000851 i = getkw(&directive, &value);
852 if (i) {
H. Peter Anvin62b24d72007-08-29 16:38:05 +0000853 int err = 0;
854
H. Peter Anvine2c80182005-01-15 22:15:51 +0000855 switch (i) {
H. Peter Anvin62b24d72007-08-29 16:38:05 +0000856 case D_SEGMENT: /* [SEGMENT n] */
857 case D_SECTION:
H. Peter Anvine2c80182005-01-15 22:15:51 +0000858 seg = ofmt->section(value, pass2, &sb);
859 if (seg == NO_SEG) {
860 report_error(pass1 == 1 ? ERR_NONFATAL : ERR_PANIC,
Keith Kaniosb7a89542007-04-12 02:40:54 +0000861 "segment name `%s' not recognized",
H. Peter Anvine2c80182005-01-15 22:15:51 +0000862 value);
863 } else {
864 in_abs_seg = FALSE;
865 location.segment = seg;
866 }
867 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +0000868 case D_EXTERN: /* [EXTERN label:special] */
H. Peter Anvine2c80182005-01-15 22:15:51 +0000869 if (*value == '$')
870 value++; /* skip initial $ if present */
871 if (pass0 == 2) {
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000872 q = value;
873 while (*q && *q != ':')
H. Peter Anvine2c80182005-01-15 22:15:51 +0000874 q++;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000875 if (*q == ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000876 *q++ = '\0';
877 ofmt->symdef(value, 0L, 0L, 3, q);
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000878 }
H. Peter Anvine2c80182005-01-15 22:15:51 +0000879 } else if (pass == 1) { /* pass == 1 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000880 q = value;
881 validid = TRUE;
882 if (!isidstart(*q))
H. Peter Anvine2c80182005-01-15 22:15:51 +0000883 validid = FALSE;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000884 while (*q && *q != ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000885 if (!isidchar(*q))
886 validid = FALSE;
887 q++;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000888 }
889 if (!validid) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000890 report_error(ERR_NONFATAL,
891 "identifier expected after EXTERN");
892 break;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000893 }
894 if (*q == ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000895 *q++ = '\0';
896 special = q;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000897 } else
H. Peter Anvine2c80182005-01-15 22:15:51 +0000898 special = NULL;
899 if (!is_extern(value)) { /* allow re-EXTERN to be ignored */
900 int temp = pass0;
901 pass0 = 1; /* fake pass 1 in labels.c */
902 declare_as_global(value, special,
903 report_error);
904 define_label(value, seg_alloc(), 0L, NULL,
905 FALSE, TRUE, ofmt, report_error);
906 pass0 = temp;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000907 }
H. Peter Anvine2c80182005-01-15 22:15:51 +0000908 } /* else pass0 == 1 */
909 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +0000910 case D_BITS: /* [BITS bits] */
Keith Kaniosb7a89542007-04-12 02:40:54 +0000911 globalbits = sb = get_bits(value);
H. Peter Anvine2c80182005-01-15 22:15:51 +0000912 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +0000913 case D_GLOBAL: /* [GLOBAL symbol:special] */
H. Peter Anvine2c80182005-01-15 22:15:51 +0000914 if (*value == '$')
915 value++; /* skip initial $ if present */
916 if (pass0 == 2) { /* pass 2 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000917 q = value;
918 while (*q && *q != ':')
H. Peter Anvine2c80182005-01-15 22:15:51 +0000919 q++;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000920 if (*q == ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000921 *q++ = '\0';
922 ofmt->symdef(value, 0L, 0L, 3, q);
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000923 }
H. Peter Anvine2c80182005-01-15 22:15:51 +0000924 } else if (pass2 == 1) { /* pass == 1 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000925 q = value;
926 validid = TRUE;
927 if (!isidstart(*q))
H. Peter Anvine2c80182005-01-15 22:15:51 +0000928 validid = FALSE;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000929 while (*q && *q != ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000930 if (!isidchar(*q))
931 validid = FALSE;
932 q++;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000933 }
934 if (!validid) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000935 report_error(ERR_NONFATAL,
936 "identifier expected after GLOBAL");
937 break;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000938 }
939 if (*q == ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000940 *q++ = '\0';
941 special = q;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000942 } else
H. Peter Anvine2c80182005-01-15 22:15:51 +0000943 special = NULL;
944 declare_as_global(value, special, report_error);
945 } /* pass == 1 */
946 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +0000947 case D_COMMON: /* [COMMON symbol size:special] */
H. Peter Anvine2c80182005-01-15 22:15:51 +0000948 if (*value == '$')
949 value++; /* skip initial $ if present */
950 if (pass0 == 1) {
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000951 p = value;
952 validid = TRUE;
953 if (!isidstart(*p))
H. Peter Anvine2c80182005-01-15 22:15:51 +0000954 validid = FALSE;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000955 while (*p && !isspace(*p)) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000956 if (!isidchar(*p))
957 validid = FALSE;
958 p++;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000959 }
960 if (!validid) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000961 report_error(ERR_NONFATAL,
962 "identifier expected after COMMON");
963 break;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000964 }
965 if (*p) {
Keith Kaniosb7a89542007-04-12 02:40:54 +0000966 int64_t size;
H. Peter Anvineba20a72002-04-30 20:53:55 +0000967
H. Peter Anvine2c80182005-01-15 22:15:51 +0000968 while (*p && isspace(*p))
969 *p++ = '\0';
970 q = p;
971 while (*q && *q != ':')
972 q++;
973 if (*q == ':') {
974 *q++ = '\0';
975 special = q;
976 } else
977 special = NULL;
978 size = readnum(p, &rn_error);
979 if (rn_error)
980 report_error(ERR_NONFATAL,
981 "invalid size specified"
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000982 " in COMMON declaration");
H. Peter Anvine2c80182005-01-15 22:15:51 +0000983 else
984 define_common(value, seg_alloc(), size,
985 special, ofmt, report_error);
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000986 } else
H. Peter Anvine2c80182005-01-15 22:15:51 +0000987 report_error(ERR_NONFATAL,
988 "no size specified in"
989 " COMMON declaration");
990 } else if (pass0 == 2) { /* pass == 2 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000991 q = value;
992 while (*q && *q != ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000993 if (isspace(*q))
994 *q = '\0';
995 q++;
H. Peter Anvinaf535c12002-04-30 20:59:21 +0000996 }
997 if (*q == ':') {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000998 *q++ = '\0';
999 ofmt->symdef(value, 0L, 0L, 3, q);
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001000 }
H. Peter Anvine2c80182005-01-15 22:15:51 +00001001 }
1002 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001003 case D_ABSOLUTE: /* [ABSOLUTE address] */
H. Peter Anvine2c80182005-01-15 22:15:51 +00001004 stdscan_reset();
1005 stdscan_bufptr = value;
1006 tokval.t_type = TOKEN_INVALID;
1007 e = evaluate(stdscan, NULL, &tokval, NULL, pass2,
1008 report_error, NULL);
1009 if (e) {
1010 if (!is_reloc(e))
1011 report_error(pass0 ==
1012 1 ? ERR_NONFATAL : ERR_PANIC,
1013 "cannot use non-relocatable expression as "
1014 "ABSOLUTE address");
1015 else {
1016 abs_seg = reloc_seg(e);
1017 abs_offset = reloc_value(e);
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001018 }
H. Peter Anvine2c80182005-01-15 22:15:51 +00001019 } else if (pass == 1)
1020 abs_offset = 0x100; /* don't go near zero in case of / */
1021 else
1022 report_error(ERR_PANIC, "invalid ABSOLUTE address "
1023 "in pass two");
1024 in_abs_seg = TRUE;
1025 location.segment = NO_SEG;
1026 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001027 case D_DEBUG: /* [DEBUG] */
H. Peter Anvine2c80182005-01-15 22:15:51 +00001028 p = value;
1029 q = debugid;
1030 validid = TRUE;
1031 if (!isidstart(*p))
1032 validid = FALSE;
1033 while (*p && !isspace(*p)) {
1034 if (!isidchar(*p))
1035 validid = FALSE;
1036 *q++ = *p++;
1037 }
1038 *q++ = 0;
1039 if (!validid) {
1040 report_error(pass == 1 ? ERR_NONFATAL : ERR_PANIC,
1041 "identifier expected after DEBUG");
1042 break;
1043 }
1044 while (*p && isspace(*p))
1045 p++;
1046 if (pass == pass_max)
1047 ofmt->current_dfmt->debug_directive(debugid, p);
1048 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001049 case D_WARNING: /* [WARNING {+|-}warn-name] */
H. Peter Anvine2c80182005-01-15 22:15:51 +00001050 if (pass1 == 1) {
1051 while (*value && isspace(*value))
1052 value++;
1053
1054 if (*value == '+' || *value == '-') {
1055 validid = (*value == '-') ? TRUE : FALSE;
1056 value++;
1057 } else
1058 validid = FALSE;
1059
1060 for (i = 1; i <= ERR_WARN_MAX; i++)
1061 if (!nasm_stricmp(value, suppressed_names[i]))
1062 break;
1063 if (i <= ERR_WARN_MAX)
1064 suppressed[i] = validid;
1065 else
1066 report_error(ERR_NONFATAL,
1067 "invalid warning id in WARNING directive");
1068 }
1069 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001070 case D_CPU: /* [CPU] */
H. Peter Anvine2c80182005-01-15 22:15:51 +00001071 cpu = get_cpu(value);
1072 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001073 case D_LIST: /* [LIST {+|-}] */
H. Peter Anvine2c80182005-01-15 22:15:51 +00001074 while (*value && isspace(*value))
1075 value++;
1076
1077 if (*value == '+') {
1078 user_nolist = 0;
1079 } else {
1080 if (*value == '-') {
1081 user_nolist = 1;
1082 } else {
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001083 err = 1;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001084 }
1085 }
1086 break;
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001087 case D_DEFAULT: /* [DEFAULT] */
1088 stdscan_reset();
1089 stdscan_bufptr = value;
1090 tokval.t_type = TOKEN_INVALID;
1091 if (stdscan(NULL, &tokval) == TOKEN_SPECIAL) {
1092 switch ((int)tokval.t_integer) {
1093 case S_REL:
1094 globalrel = 1;
1095 break;
1096 case S_ABS:
1097 globalrel = 0;
1098 break;
1099 default:
1100 err = 1;
1101 break;
1102 }
1103 } else {
1104 err = 1;
1105 }
1106 break;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001107 default:
1108 if (!ofmt->directive(directive, value, pass2))
1109 report_error(pass1 == 1 ? ERR_NONFATAL : ERR_PANIC,
1110 "unrecognised directive [%s]",
1111 directive);
1112 }
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001113 if (err) {
1114 report_error(ERR_NONFATAL,
1115 "invalid parameter to [%s] directive",
1116 directive);
1117 }
H. Peter Anvine2c80182005-01-15 22:15:51 +00001118 } else { /* it isn't a directive */
1119
1120 parse_line(pass1, line, &output_ins,
1121 report_error, evaluate, def_label);
1122
1123 if (!(optimizing > 0) && pass == 2) {
1124 if (forwref != NULL && globallineno == forwref->lineno) {
1125 output_ins.forw_ref = TRUE;
1126 do {
1127 output_ins.oprs[forwref->operand].opflags |=
1128 OPFLAG_FORWARD;
1129 forwref = saa_rstruct(forwrefs);
1130 } while (forwref != NULL
1131 && forwref->lineno == globallineno);
1132 } else
1133 output_ins.forw_ref = FALSE;
1134 }
1135
1136 if (!(optimizing > 0) && output_ins.forw_ref) {
1137 if (pass == 1) {
1138 for (i = 0; i < output_ins.operands; i++) {
1139 if (output_ins.oprs[i].
1140 opflags & OPFLAG_FORWARD) {
1141 struct forwrefinfo *fwinf =
1142 (struct forwrefinfo *)
1143 saa_wstruct(forwrefs);
1144 fwinf->lineno = globallineno;
1145 fwinf->operand = i;
1146 }
1147 }
1148 } else { /* pass == 2 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001149 /*
H. Peter Anvine2c80182005-01-15 22:15:51 +00001150 * Hack to prevent phase error in the code
1151 * rol ax,x
1152 * x equ 1
1153 *
1154 * If the second operand is a forward reference,
1155 * the UNITY property of the number 1 in that
1156 * operand is cancelled. Otherwise the above
1157 * sequence will cause a phase error.
1158 *
1159 * This hack means that the above code will
1160 * generate 286+ code.
1161 *
1162 * The forward reference will mean that the
1163 * operand will not have the UNITY property on
1164 * the first pass, so the pass behaviours will
1165 * be consistent.
1166 */
H. Peter Anvineba20a72002-04-30 20:53:55 +00001167
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001168 if (output_ins.operands >= 2 &&
H. Peter Anvin5a640e12007-05-29 23:57:12 +00001169 (output_ins.oprs[1].opflags & OPFLAG_FORWARD) &&
1170 !(IMMEDIATE & ~output_ins.oprs[1].type))
1171 {
1172 /* Remove special properties bits */
1173 output_ins.oprs[1].type &= ~REG_SMASK;
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001174 }
H. Peter Anvineba20a72002-04-30 20:53:55 +00001175
H. Peter Anvine2c80182005-01-15 22:15:51 +00001176 } /* pass == 2 */
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001177
H. Peter Anvine2c80182005-01-15 22:15:51 +00001178 }
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001179
H. Peter Anvine2c80182005-01-15 22:15:51 +00001180 /* forw_ref */
1181 if (output_ins.opcode == I_EQU) {
1182 if (pass1 == 1) {
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001183 /*
H. Peter Anvine2c80182005-01-15 22:15:51 +00001184 * Special `..' EQUs get processed in pass two,
1185 * except `..@' macro-processor EQUs which are done
1186 * in the normal place.
1187 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001188 if (!output_ins.label)
H. Peter Anvine2c80182005-01-15 22:15:51 +00001189 report_error(ERR_NONFATAL,
1190 "EQU not preceded by label");
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001191
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001192 else if (output_ins.label[0] != '.' ||
1193 output_ins.label[1] != '.' ||
H. Peter Anvine2c80182005-01-15 22:15:51 +00001194 output_ins.label[2] == '@') {
1195 if (output_ins.operands == 1 &&
1196 (output_ins.oprs[0].type & IMMEDIATE) &&
1197 output_ins.oprs[0].wrt == NO_SEG) {
1198 int isext =
1199 output_ins.oprs[0].
1200 opflags & OPFLAG_EXTERN;
1201 def_label(output_ins.label,
1202 output_ins.oprs[0].segment,
1203 output_ins.oprs[0].offset, NULL,
1204 FALSE, isext, ofmt,
1205 report_error);
1206 } else if (output_ins.operands == 2
1207 && (output_ins.oprs[0].
1208 type & IMMEDIATE)
1209 && (output_ins.oprs[0].type & COLON)
1210 && output_ins.oprs[0].segment ==
1211 NO_SEG
1212 && output_ins.oprs[0].wrt == NO_SEG
1213 && (output_ins.oprs[1].
1214 type & IMMEDIATE)
1215 && output_ins.oprs[1].segment ==
1216 NO_SEG
1217 && output_ins.oprs[1].wrt ==
1218 NO_SEG) {
1219 def_label(output_ins.label,
1220 output_ins.oprs[0].
1221 offset | SEG_ABS,
1222 output_ins.oprs[1].offset, NULL,
1223 FALSE, FALSE, ofmt,
1224 report_error);
1225 } else
1226 report_error(ERR_NONFATAL,
1227 "bad syntax for EQU");
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001228 }
H. Peter Anvine2c80182005-01-15 22:15:51 +00001229 } else { /* pass == 2 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001230 /*
H. Peter Anvine2c80182005-01-15 22:15:51 +00001231 * Special `..' EQUs get processed here, except
1232 * `..@' macro processor EQUs which are done above.
1233 */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001234 if (output_ins.label[0] == '.' &&
H. Peter Anvine2c80182005-01-15 22:15:51 +00001235 output_ins.label[1] == '.' &&
1236 output_ins.label[2] != '@') {
1237 if (output_ins.operands == 1 &&
1238 (output_ins.oprs[0].type & IMMEDIATE)) {
1239 define_label(output_ins.label,
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001240 output_ins.oprs[0].segment,
1241 output_ins.oprs[0].offset,
H. Peter Anvine2c80182005-01-15 22:15:51 +00001242 NULL, FALSE, FALSE, ofmt,
1243 report_error);
1244 } else if (output_ins.operands == 2
1245 && (output_ins.oprs[0].
1246 type & IMMEDIATE)
1247 && (output_ins.oprs[0].type & COLON)
1248 && output_ins.oprs[0].segment ==
1249 NO_SEG
1250 && (output_ins.oprs[1].
1251 type & IMMEDIATE)
1252 && output_ins.oprs[1].segment ==
1253 NO_SEG) {
1254 define_label(output_ins.label,
1255 output_ins.oprs[0].
1256 offset | SEG_ABS,
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001257 output_ins.oprs[1].offset,
H. Peter Anvine2c80182005-01-15 22:15:51 +00001258 NULL, FALSE, FALSE, ofmt,
1259 report_error);
1260 } else
1261 report_error(ERR_NONFATAL,
1262 "bad syntax for EQU");
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001263 }
H. Peter Anvine2c80182005-01-15 22:15:51 +00001264 } /* pass == 2 */
1265 } else { /* instruction isn't an EQU */
H. Peter Anvineba20a72002-04-30 20:53:55 +00001266
H. Peter Anvine2c80182005-01-15 22:15:51 +00001267 if (pass1 == 1) {
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +00001268
Keith Kaniosb7a89542007-04-12 02:40:54 +00001269 int32_t l = insn_size(location.segment, offs, sb, cpu,
H. Peter Anvine2c80182005-01-15 22:15:51 +00001270 &output_ins, report_error);
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +00001271
H. Peter Anvine2c80182005-01-15 22:15:51 +00001272 /* if (using_debug_info) && output_ins.opcode != -1) */
1273 if (using_debug_info)
1274 { /* fbk 03/25/01 */
1275 /* this is done here so we can do debug type info */
Keith Kaniosb7a89542007-04-12 02:40:54 +00001276 int32_t typeinfo =
H. Peter Anvine2c80182005-01-15 22:15:51 +00001277 TYS_ELEMENTS(output_ins.operands);
1278 switch (output_ins.opcode) {
1279 case I_RESB:
1280 typeinfo =
1281 TYS_ELEMENTS(output_ins.oprs[0].
1282 offset) | TY_BYTE;
1283 break;
1284 case I_RESW:
1285 typeinfo =
1286 TYS_ELEMENTS(output_ins.oprs[0].
1287 offset) | TY_WORD;
1288 break;
1289 case I_RESD:
1290 typeinfo =
1291 TYS_ELEMENTS(output_ins.oprs[0].
1292 offset) | TY_DWORD;
1293 break;
1294 case I_RESQ:
1295 typeinfo =
1296 TYS_ELEMENTS(output_ins.oprs[0].
1297 offset) | TY_QWORD;
1298 break;
1299 case I_REST:
1300 typeinfo =
1301 TYS_ELEMENTS(output_ins.oprs[0].
1302 offset) | TY_TBYTE;
1303 break;
1304 case I_DB:
1305 typeinfo |= TY_BYTE;
1306 break;
1307 case I_DW:
1308 typeinfo |= TY_WORD;
1309 break;
1310 case I_DD:
1311 if (output_ins.eops_float)
1312 typeinfo |= TY_FLOAT;
1313 else
1314 typeinfo |= TY_DWORD;
1315 break;
1316 case I_DQ:
1317 typeinfo |= TY_QWORD;
1318 break;
1319 case I_DT:
1320 typeinfo |= TY_TBYTE;
1321 break;
H. Peter Anvin4408b622007-09-22 21:29:41 -07001322 case I_DO:
1323 typeinfo |= TY_OWORD;
1324 break;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001325 default:
1326 typeinfo = TY_LABEL;
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +00001327
H. Peter Anvine2c80182005-01-15 22:15:51 +00001328 }
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +00001329
H. Peter Anvine2c80182005-01-15 22:15:51 +00001330 ofmt->current_dfmt->debug_typevalue(typeinfo);
H. Peter Anvin1cd0e2d2002-04-30 21:00:33 +00001331
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001332 }
1333 if (l != -1) {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001334 offs += l;
1335 SET_CURR_OFFS(offs);
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001336 }
H. Peter Anvin734b1882002-04-30 21:01:08 +00001337 /*
H. Peter Anvine2c80182005-01-15 22:15:51 +00001338 * else l == -1 => invalid instruction, which will be
1339 * flagged as an error on pass 2
1340 */
H. Peter Anvin76690a12002-04-30 20:52:49 +00001341
H. Peter Anvine2c80182005-01-15 22:15:51 +00001342 } else { /* pass == 2 */
1343 offs += assemble(location.segment, offs, sb, cpu,
1344 &output_ins, ofmt, report_error,
1345 &nasmlist);
1346 SET_CURR_OFFS(offs);
H. Peter Anvineba20a72002-04-30 20:53:55 +00001347
H. Peter Anvine2c80182005-01-15 22:15:51 +00001348 }
1349 } /* not an EQU */
1350 cleanup_insn(&output_ins);
1351 }
1352 nasm_free(line);
1353 location.offset = offs = GET_CURR_OFFS;
1354 } /* end while (line = preproc->getline... */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001355
H. Peter Anvine2c80182005-01-15 22:15:51 +00001356 if (pass1 == 2 && global_offset_changed)
1357 report_error(ERR_NONFATAL,
1358 "phase error detected at end of assembly.");
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001359
H. Peter Anvine2c80182005-01-15 22:15:51 +00001360 if (pass1 == 1)
1361 preproc->cleanup(1);
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001362
H. Peter Anvine2c80182005-01-15 22:15:51 +00001363 if (pass1 == 1 && terminate_after_phase) {
1364 fclose(ofile);
1365 remove(outname);
1366 if (want_usage)
1367 usage();
1368 exit(1);
1369 }
1370 pass_cnt++;
1371 if (pass > 1 && !global_offset_changed) {
1372 pass0++;
1373 if (pass0 == 2)
1374 pass = pass_max - 1;
1375 } else if (!(optimizing > 0))
1376 pass0++;
H. Peter Anvin734b1882002-04-30 21:01:08 +00001377
H. Peter Anvine2c80182005-01-15 22:15:51 +00001378 } /* for (pass=1; pass<=2; pass++) */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001379
H. Peter Anvine2c80182005-01-15 22:15:51 +00001380 preproc->cleanup(0);
1381 nasmlist.cleanup();
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001382#if 1
H. Peter Anvine2c80182005-01-15 22:15:51 +00001383 if (optimizing > 0 && opt_verbose_info) /* -On and -Ov switches */
1384 fprintf(stdout,
1385 "info:: assembly required 1+%d+1 passes\n", pass_cnt - 2);
H. Peter Anvin734b1882002-04-30 21:01:08 +00001386#endif
H. Peter Anvine2c80182005-01-15 22:15:51 +00001387} /* exit from assemble_file (...) */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001388
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001389static int getkw(char **directive, char **value)
H. Peter Anvineba20a72002-04-30 20:53:55 +00001390{
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001391 char *p, *q, *buf;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001392
Michael K. Ter Louw1d392362003-08-15 22:25:53 +00001393 buf = *directive;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001394
H. Peter Anvincaa82a12002-04-30 21:03:11 +00001395 /* allow leading spaces or tabs */
H. Peter Anvine2c80182005-01-15 22:15:51 +00001396 while (*buf == ' ' || *buf == '\t')
1397 buf++;
H. Peter Anvincaa82a12002-04-30 21:03:11 +00001398
H. Peter Anvine2c80182005-01-15 22:15:51 +00001399 if (*buf != '[')
1400 return 0;
H. Peter Anvineba20a72002-04-30 20:53:55 +00001401
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001402 p = buf;
H. Peter Anvineba20a72002-04-30 20:53:55 +00001403
H. Peter Anvine2c80182005-01-15 22:15:51 +00001404 while (*p && *p != ']')
1405 p++;
H. Peter Anvineba20a72002-04-30 20:53:55 +00001406
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001407 if (!*p)
H. Peter Anvine2c80182005-01-15 22:15:51 +00001408 return 0;
H. Peter Anvineba20a72002-04-30 20:53:55 +00001409
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001410 q = p++;
H. Peter Anvineba20a72002-04-30 20:53:55 +00001411
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001412 while (*p && *p != ';') {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001413 if (!isspace(*p))
1414 return 0;
1415 p++;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001416 }
1417 q[1] = '\0';
1418
H. Peter Anvine2c80182005-01-15 22:15:51 +00001419 *directive = p = buf + 1;
1420 while (*buf && *buf != ' ' && *buf != ']' && *buf != '\t')
1421 buf++;
1422 if (*buf == ']') {
1423 *buf = '\0';
1424 *value = buf;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001425 } else {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001426 *buf++ = '\0';
1427 while (isspace(*buf))
1428 buf++; /* beppu - skip leading whitespace */
1429 *value = buf;
1430 while (*buf != ']')
1431 buf++;
1432 *buf++ = '\0';
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001433 }
H. Peter Anvin62b24d72007-08-29 16:38:05 +00001434
1435 return bsii(*directive, directives, elements(directives));
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001436}
1437
Ed Berosetfa771012002-06-09 20:56:40 +00001438/**
1439 * gnu style error reporting
1440 * This function prints an error message to error_file in the
1441 * style used by GNU. An example would be:
1442 * file.asm:50: error: blah blah blah
1443 * where file.asm is the name of the file, 50 is the line number on
1444 * which the error occurs (or is detected) and "error:" is one of
1445 * the possible optional diagnostics -- it can be "error" or "warning"
1446 * or something else. Finally the line terminates with the actual
1447 * error message.
1448 *
1449 * @param severity the severity of the warning or error
1450 * @param fmt the printf style format string
1451 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001452static void report_error_gnu(int severity, const char *fmt, ...)
H. Peter Anvineba20a72002-04-30 20:53:55 +00001453{
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001454 va_list ap;
1455
Ed Berosetfa771012002-06-09 20:56:40 +00001456 if (is_suppressed_warning(severity))
H. Peter Anvine2c80182005-01-15 22:15:51 +00001457 return;
H. Peter Anvin76690a12002-04-30 20:52:49 +00001458
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001459 if (severity & ERR_NOFILE)
H. Peter Anvine2c80182005-01-15 22:15:51 +00001460 fputs("nasm: ", error_file);
H. Peter Anvineba20a72002-04-30 20:53:55 +00001461 else {
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001462 char *currentfile = NULL;
Keith Kaniosb7a89542007-04-12 02:40:54 +00001463 int32_t lineno = 0;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001464 src_get(&lineno, &currentfile);
Keith Kanios93f2e9a2007-04-14 00:10:59 +00001465 fprintf(error_file, "%s:%"PRId32": ", currentfile, lineno);
H. Peter Anvine2c80182005-01-15 22:15:51 +00001466 nasm_free(currentfile);
H. Peter Anvineba20a72002-04-30 20:53:55 +00001467 }
H. Peter Anvine2c80182005-01-15 22:15:51 +00001468 va_start(ap, fmt);
1469 report_error_common(severity, fmt, ap);
1470 va_end(ap);
Ed Berosetfa771012002-06-09 20:56:40 +00001471}
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001472
Ed Berosetfa771012002-06-09 20:56:40 +00001473/**
1474 * MS style error reporting
1475 * This function prints an error message to error_file in the
1476 * style used by Visual C and some other Microsoft tools. An example
1477 * would be:
Ed Beroset6e61d0d2002-06-11 03:29:36 +00001478 * file.asm(50) : error: blah blah blah
1479 * where file.asm is the name of the file, 50 is the line number on
1480 * which the error occurs (or is detected) and "error:" is one of
1481 * the possible optional diagnostics -- it can be "error" or "warning"
1482 * or something else. Finally the line terminates with the actual
1483 * error message.
Ed Berosetfa771012002-06-09 20:56:40 +00001484 *
1485 * @param severity the severity of the warning or error
1486 * @param fmt the printf style format string
1487 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001488static void report_error_vc(int severity, const char *fmt, ...)
Ed Berosetfa771012002-06-09 20:56:40 +00001489{
1490 va_list ap;
1491
H. Peter Anvine2c80182005-01-15 22:15:51 +00001492 if (is_suppressed_warning(severity))
1493 return;
Ed Berosetfa771012002-06-09 20:56:40 +00001494
1495 if (severity & ERR_NOFILE)
H. Peter Anvine2c80182005-01-15 22:15:51 +00001496 fputs("nasm: ", error_file);
Ed Berosetfa771012002-06-09 20:56:40 +00001497 else {
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001498 char *currentfile = NULL;
Keith Kaniosb7a89542007-04-12 02:40:54 +00001499 int32_t lineno = 0;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001500 src_get(&lineno, &currentfile);
Keith Kanios93f2e9a2007-04-14 00:10:59 +00001501 fprintf(error_file, "%s(%"PRId32") : ", currentfile, lineno);
H. Peter Anvine2c80182005-01-15 22:15:51 +00001502 nasm_free(currentfile);
Ed Berosetfa771012002-06-09 20:56:40 +00001503 }
H. Peter Anvine2c80182005-01-15 22:15:51 +00001504 va_start(ap, fmt);
1505 report_error_common(severity, fmt, ap);
1506 va_end(ap);
Ed Berosetfa771012002-06-09 20:56:40 +00001507}
1508
1509/**
1510 * check for supressed warning
1511 * checks for suppressed warning or pass one only warning and we're
1512 * not in pass 1
1513 *
1514 * @param severity the severity of the warning or error
1515 * @return true if we should abort error/warning printing
1516 */
H. Peter Anvine2c80182005-01-15 22:15:51 +00001517static int is_suppressed_warning(int severity)
Ed Berosetfa771012002-06-09 20:56:40 +00001518{
1519 /*
1520 * See if it's a suppressed warning.
1521 */
1522 return ((severity & ERR_MASK) == ERR_WARNING &&
H. Peter Anvine2c80182005-01-15 22:15:51 +00001523 (severity & ERR_WARN_MASK) != 0 &&
1524 suppressed[(severity & ERR_WARN_MASK) >> ERR_WARN_SHR]) ||
1525 /*
1526 * See if it's a pass-one only warning and we're not in pass one.
1527 */
1528 ((severity & ERR_PASS1) && pass0 == 2);
Ed Berosetfa771012002-06-09 20:56:40 +00001529}
1530
1531/**
1532 * common error reporting
1533 * This is the common back end of the error reporting schemes currently
1534 * implemented. It prints the nature of the warning and then the
1535 * specific error message to error_file and may or may not return. It
1536 * doesn't return if the error severity is a "panic" or "debug" type.
1537 *
1538 * @param severity the severity of the warning or error
1539 * @param fmt the printf style format string
1540 */
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001541static void report_error_common(int severity, const char *fmt,
H. Peter Anvine2c80182005-01-15 22:15:51 +00001542 va_list args)
Ed Berosetfa771012002-06-09 20:56:40 +00001543{
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001544 switch (severity & ERR_MASK) {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001545 case ERR_WARNING:
1546 fputs("warning: ", error_file);
1547 break;
1548 case ERR_NONFATAL:
1549 fputs("error: ", error_file);
1550 break;
1551 case ERR_FATAL:
1552 fputs("fatal: ", error_file);
1553 break;
1554 case ERR_PANIC:
1555 fputs("panic: ", error_file);
1556 break;
1557 case ERR_DEBUG:
1558 fputs("debug: ", error_file);
1559 break;
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001560 }
H. Peter Anvin734b1882002-04-30 21:01:08 +00001561
H. Peter Anvine2c80182005-01-15 22:15:51 +00001562 vfprintf(error_file, fmt, args);
1563 fputc('\n', error_file);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001564
1565 if (severity & ERR_USAGE)
H. Peter Anvine2c80182005-01-15 22:15:51 +00001566 want_usage = TRUE;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001567
1568 switch (severity & ERR_MASK) {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001569 case ERR_WARNING:
1570 case ERR_DEBUG:
1571 /* no further action, by definition */
1572 break;
1573 case ERR_NONFATAL:
1574 /* hack enables listing(!) on errors */
H. Peter Anvincaa82a12002-04-30 21:03:11 +00001575 terminate_after_phase = TRUE;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001576 break;
1577 case ERR_FATAL:
1578 if (ofile) {
1579 fclose(ofile);
1580 remove(outname);
1581 }
1582 if (want_usage)
1583 usage();
1584 exit(1); /* instantly die */
1585 break; /* placate silly compilers */
1586 case ERR_PANIC:
1587 fflush(NULL);
1588 /* abort(); *//* halt, catch fire, and dump core */
1589 exit(3);
1590 break;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001591 }
1592}
1593
H. Peter Anvin734b1882002-04-30 21:01:08 +00001594static void usage(void)
H. Peter Anvineba20a72002-04-30 20:53:55 +00001595{
H. Peter Anvin620515a2002-04-30 20:57:38 +00001596 fputs("type `nasm -h' for help\n", error_file);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001597}
1598
H. Peter Anvin734b1882002-04-30 21:01:08 +00001599static void register_output_formats(void)
H. Peter Anvineba20a72002-04-30 20:53:55 +00001600{
H. Peter Anvine2c80182005-01-15 22:15:51 +00001601 ofmt = ofmt_register(report_error);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00001602}
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001603
1604#define BUF_DELTA 512
1605
1606static FILE *no_pp_fp;
1607static efunc no_pp_err;
H. Peter Anvin76690a12002-04-30 20:52:49 +00001608static ListGen *no_pp_list;
Keith Kaniosb7a89542007-04-12 02:40:54 +00001609static int32_t no_pp_lineinc;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001610
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001611static void no_pp_reset(char *file, int pass, efunc error, evalfunc eval,
H. Peter Anvine2c80182005-01-15 22:15:51 +00001612 ListGen * listgen)
H. Peter Anvineba20a72002-04-30 20:53:55 +00001613{
1614 src_set_fname(nasm_strdup(file));
1615 src_set_linnum(0);
1616 no_pp_lineinc = 1;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001617 no_pp_err = error;
1618 no_pp_fp = fopen(file, "r");
1619 if (!no_pp_fp)
H. Peter Anvine2c80182005-01-15 22:15:51 +00001620 no_pp_err(ERR_FATAL | ERR_NOFILE,
1621 "unable to open input file `%s'", file);
H. Peter Anvin76690a12002-04-30 20:52:49 +00001622 no_pp_list = listgen;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001623 (void)pass; /* placate compilers */
1624 (void)eval; /* placate compilers */
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001625}
1626
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001627static char *no_pp_getline(void)
H. Peter Anvineba20a72002-04-30 20:53:55 +00001628{
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001629 char *buffer, *p, *q;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001630 int bufsize;
1631
1632 bufsize = BUF_DELTA;
1633 buffer = nasm_malloc(BUF_DELTA);
H. Peter Anvineba20a72002-04-30 20:53:55 +00001634 src_set_linnum(src_get_linnum() + no_pp_lineinc);
1635
H. Peter Anvine2c80182005-01-15 22:15:51 +00001636 while (1) { /* Loop to handle %line */
H. Peter Anvineba20a72002-04-30 20:53:55 +00001637
H. Peter Anvine2c80182005-01-15 22:15:51 +00001638 p = buffer;
1639 while (1) { /* Loop to handle long lines */
1640 q = fgets(p, bufsize - (p - buffer), no_pp_fp);
1641 if (!q)
1642 break;
1643 p += strlen(p);
1644 if (p > buffer && p[-1] == '\n')
1645 break;
1646 if (p - buffer > bufsize - 10) {
1647 int offset;
1648 offset = p - buffer;
1649 bufsize += BUF_DELTA;
1650 buffer = nasm_realloc(buffer, bufsize);
1651 p = buffer + offset;
1652 }
1653 }
H. Peter Anvineba20a72002-04-30 20:53:55 +00001654
H. Peter Anvine2c80182005-01-15 22:15:51 +00001655 if (!q && p == buffer) {
1656 nasm_free(buffer);
1657 return NULL;
1658 }
H. Peter Anvineba20a72002-04-30 20:53:55 +00001659
H. Peter Anvine2c80182005-01-15 22:15:51 +00001660 /*
1661 * Play safe: remove CRs, LFs and any spurious ^Zs, if any of
1662 * them are present at the end of the line.
1663 */
1664 buffer[strcspn(buffer, "\r\n\032")] = '\0';
H. Peter Anvineba20a72002-04-30 20:53:55 +00001665
H. Peter Anvine2c80182005-01-15 22:15:51 +00001666 if (!strncmp(buffer, "%line", 5)) {
Keith Kaniosb7a89542007-04-12 02:40:54 +00001667 int32_t ln;
H. Peter Anvine2c80182005-01-15 22:15:51 +00001668 int li;
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001669 char *nm = nasm_malloc(strlen(buffer));
Keith Kanios93f2e9a2007-04-14 00:10:59 +00001670 if (sscanf(buffer + 5, "%"PRId32"+%d %s", &ln, &li, nm) == 3) {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001671 nasm_free(src_set_fname(nm));
1672 src_set_linnum(ln);
1673 no_pp_lineinc = li;
1674 continue;
1675 }
1676 nasm_free(nm);
1677 }
1678 break;
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001679 }
1680
H. Peter Anvine2c80182005-01-15 22:15:51 +00001681 no_pp_list->line(LIST_READ, buffer);
H. Peter Anvin76690a12002-04-30 20:52:49 +00001682
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001683 return buffer;
1684}
1685
H. Peter Anvine2c80182005-01-15 22:15:51 +00001686static void no_pp_cleanup(int pass)
H. Peter Anvineba20a72002-04-30 20:53:55 +00001687{
Keith Kaniosc7ae18d2007-04-14 00:46:25 +00001688 (void)pass; /* placate GCC */
H. Peter Anvind7ed89e2002-04-30 20:52:08 +00001689 fclose(no_pp_fp);
1690}
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001691
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001692static uint32_t get_cpu(char *value)
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001693{
H. Peter Anvin734b1882002-04-30 21:01:08 +00001694
H. Peter Anvine2c80182005-01-15 22:15:51 +00001695 if (!strcmp(value, "8086"))
1696 return IF_8086;
1697 if (!strcmp(value, "186"))
1698 return IF_186;
1699 if (!strcmp(value, "286"))
1700 return IF_286;
1701 if (!strcmp(value, "386"))
1702 return IF_386;
1703 if (!strcmp(value, "486"))
1704 return IF_486;
1705 if (!strcmp(value, "586") || !nasm_stricmp(value, "pentium"))
1706 return IF_PENT;
1707 if (!strcmp(value, "686") ||
1708 !nasm_stricmp(value, "ppro") ||
1709 !nasm_stricmp(value, "pentiumpro") || !nasm_stricmp(value, "p2"))
1710 return IF_P6;
1711 if (!nasm_stricmp(value, "p3") || !nasm_stricmp(value, "katmai"))
1712 return IF_KATMAI;
1713 if (!nasm_stricmp(value, "p4") || /* is this right? -- jrc */
1714 !nasm_stricmp(value, "willamette"))
1715 return IF_WILLAMETTE;
1716 if (!nasm_stricmp(value, "prescott"))
1717 return IF_PRESCOTT;
Keith Kaniosb7a89542007-04-12 02:40:54 +00001718 if (!nasm_stricmp(value, "x64") ||
1719 !nasm_stricmp(value, "x86-64"))
H. Peter Anvin0db11e22007-04-17 20:23:11 +00001720 return IF_X86_64;
H. Peter Anvin3ab8de62002-05-28 01:25:06 +00001721 if (!nasm_stricmp(value, "ia64") ||
H. Peter Anvine2c80182005-01-15 22:15:51 +00001722 !nasm_stricmp(value, "ia-64") ||
1723 !nasm_stricmp(value, "itanium") ||
1724 !nasm_stricmp(value, "itanic") || !nasm_stricmp(value, "merced"))
1725 return IF_IA64;
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001726
H. Peter Anvine2c80182005-01-15 22:15:51 +00001727 report_error(pass0 < 2 ? ERR_NONFATAL : ERR_FATAL,
1728 "unknown 'cpu' type");
H. Peter Anvin734b1882002-04-30 21:01:08 +00001729
H. Peter Anvine2c80182005-01-15 22:15:51 +00001730 return IF_PLEVEL; /* the maximum level */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001731}
1732
Keith Kaniosa6dfa782007-04-13 16:47:53 +00001733static int get_bits(char *value)
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001734{
1735 int i;
H. Peter Anvin734b1882002-04-30 21:01:08 +00001736
H. Peter Anvine2c80182005-01-15 22:15:51 +00001737 if ((i = atoi(value)) == 16)
1738 return i; /* set for a 16-bit segment */
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001739 else if (i == 32) {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001740 if (cpu < IF_386) {
1741 report_error(ERR_NONFATAL,
1742 "cannot specify 32-bit segment on processor below a 386");
1743 i = 16;
1744 }
Keith Kaniosb7a89542007-04-12 02:40:54 +00001745 } else if (i == 64) {
H. Peter Anvin0db11e22007-04-17 20:23:11 +00001746 if (cpu < IF_X86_64) {
Keith Kaniosb7a89542007-04-12 02:40:54 +00001747 report_error(ERR_NONFATAL,
1748 "cannot specify 64-bit segment on processor below an x86-64");
1749 i = 16;
1750 }
1751 if (i != maxbits) {
1752 report_error(ERR_NONFATAL,
1753 "%s output format does not support 64-bit code",
1754 ofmt->shortname);
1755 i = 16;
1756 }
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001757 } else {
H. Peter Anvine2c80182005-01-15 22:15:51 +00001758 report_error(pass0 < 2 ? ERR_NONFATAL : ERR_FATAL,
Keith Kaniosb7a89542007-04-12 02:40:54 +00001759 "`%s' is not a valid segment size; must be 16, 32 or 64",
H. Peter Anvine2c80182005-01-15 22:15:51 +00001760 value);
1761 i = 16;
H. Peter Anvinaf535c12002-04-30 20:59:21 +00001762 }
1763 return i;
1764}
1765
1766/* end of nasm.c */