1 /* as.c - GAS main program.
2 Copyright (C) 1987, 90, 91, 92, 93, 94, 95, 96, 1997
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
23 * Main program for AS; a 32-bit assembler of GNU.
24 * Understands command arguments.
25 * Has a few routines that don't fit in other modules because they
32 * Since no-one else says they will support them in future: I
33 * don't support them now.
43 #include "output-file.h"
47 #define itbl_parse(itbl_file) 1
52 #ifdef NEED_DECLARATION_SBRK
57 static void show_usage
PARAMS ((FILE *));
58 static void parse_args
PARAMS ((int *, char ***));
59 static void dump_statistics
PARAMS ((void));
60 static void perform_an_assembly_pass
PARAMS ((int argc
, char **argv
));
61 static int macro_expr
PARAMS ((const char *, int, sb
*, int *));
63 int listing
; /* true if a listing is wanted */
65 static char *listing_filename
= NULL
; /* Name of listing file. */
67 /* Type of debugging to generate. */
69 enum debug_info_type debug_type
= DEBUG_NONE
;
71 /* Maximum level of macro nesting. */
73 int max_macro_nest
= 100;
75 char *myname
; /* argv[0] */
77 segT reg_section
, expr_section
;
78 segT text_section
, data_section
, bss_section
;
81 /* The default obstack chunk size. If we set this to zero, the
82 obstack code will use whatever will fit in a 4096 byte block. */
85 /* To monitor memory allocation more effectively, make this non-zero.
86 Then the chunk sizes for gas and bfd will be reduced. */
89 /* We build a list of defsyms as we read the options, and then define
90 them after we have initialized everything. */
94 struct defsym_list
*next
;
99 static struct defsym_list
*defsyms
;
101 /* Keep a record of the itbl files we read in. */
103 struct itbl_file_list
105 struct itbl_file_list
*next
;
109 static struct itbl_file_list
*itbl_files
;
119 fprintf (stderr
, "GNU assembler version %s (%s)", VERSION
, TARGET_ALIAS
);
121 fprintf (stderr
, ", using BFD version %s", BFD_VERSION
);
123 fprintf (stderr
, "\n");
130 fprintf (stream
, "Usage: %s [option...] [asmfile...]\n", myname
);
134 -a[sub-option...] turn on listings\n\
135 Sub-options [default hls]:\n\
136 c omit false conditionals\n\
137 d omit debugging directives\n\
138 h include high-level source\n\
139 l include assembly\n\
140 m include macro expansions\n\
141 n omit forms processing\n\
143 =file set listing file name (must be last sub-option)\n");
145 -D produce assembler debugging messages\n\
146 --defsym SYM=VAL define symbol SYM to given value\n\
147 -f skip whitespace and comment preprocessing\n\
148 --gstabs generate stabs debugging information\n\
149 --help show this message and exit\n\
150 -I DIR add DIR to search list for .include directives\n\
151 -J don't warn about signed overflow\n\
152 -K warn when differences altered for long displacements\n\
153 -L,--keep-locals keep local symbols (e.g. starting with `L')\n");
155 -M,--mri assemble in MRI compatibility mode\n\
156 --MD FILE write dependency information in FILE (default none)\n\
158 -o OBJFILE name the object-file output OBJFILE (default a.out)\n\
159 -R fold data section into text section\n\
160 --statistics print various measured statistics from execution\n\
161 --strip-local-absolute strip local absolute symbols\n\
162 --version print assembler version number and exit\n\
163 -W suppress warnings\n\
164 --itbl INSTTBL extend instruction set to include instructions\n\
165 matching the specifications defined in file INSTTBL\n\
168 -Z generate object file even after errors\n");
170 md_show_usage (stream
);
172 fprintf (stream
, "\nReport bugs to bug-gnu-utils@prep.ai.mit.edu\n");
175 #ifdef USE_EMULATIONS
176 #define EMULATION_ENVIRON "AS_EMULATION"
178 extern struct emulation mipsbelf
, mipslelf
, mipself
;
179 extern struct emulation mipsbecoff
, mipslecoff
, mipsecoff
;
180 extern struct emulation i386coff
, i386elf
;
182 static struct emulation
*const emulations
[] = { EMULATIONS
};
183 static const int n_emulations
= sizeof (emulations
) / sizeof (emulations
[0]);
185 static void select_emulation_mode
PARAMS ((int, char **));
188 select_emulation_mode (argc
, argv
)
195 for (i
= 1; i
< argc
; i
++)
196 if (!strncmp ("--em", argv
[i
], 4))
202 p
= strchr (argv
[i
], '=');
209 as_fatal ("missing emulation mode name");
214 em
= getenv (EMULATION_ENVIRON
);
216 em
= DEFAULT_EMULATION
;
220 for (i
= 0; i
< n_emulations
; i
++)
221 if (!strcmp (emulations
[i
]->name
, em
))
223 if (i
== n_emulations
)
224 as_fatal ("unrecognized emulation name `%s'", em
);
225 this_emulation
= emulations
[i
];
228 this_emulation
= emulations
[0];
230 this_emulation
->init ();
234 default_emul_bfd_name ()
243 this_format
= this_emulation
->format
;
245 if (this_emulation
->leading_underscore
== 2)
246 this_emulation
->leading_underscore
= this_format
->dfl_leading_underscore
;
248 if (this_emulation
->default_endian
!= 2)
249 target_big_endian
= this_emulation
->default_endian
;
251 if (this_emulation
->fake_label_name
== 0)
253 if (this_emulation
->leading_underscore
)
254 this_emulation
->fake_label_name
= "L0\001";
256 /* What other parameters should we test? */
257 this_emulation
->fake_label_name
= ".L0\001";
263 * Since it is easy to do here we interpret the special arg "-"
264 * to mean "use stdin" and we set that argv[] pointing to "".
265 * After we have munged argv[], the only things left are source file
266 * name(s) and ""(s) denoting stdin. These file names are used
267 * (perhaps more than once) later.
269 * check for new machine-dep cmdline options in
270 * md_parse_option definitions in config/tc-*.c
274 parse_args (pargc
, pargv
)
278 int old_argc
, new_argc
;
279 char **old_argv
, **new_argv
;
281 /* Starting the short option string with '-' is for programs that
282 expect options and other ARGV-elements in any order and that care about
283 the ordering of the two. We describe each non-option ARGV-element
284 as if it were the argument of an option with character code 1. */
287 extern CONST
char *md_shortopts
;
288 static const char std_shortopts
[] =
291 #ifndef WORKING_DOT_WORD
292 /* -K is not meaningful if .word is not being hacked. */
295 'L', 'M', 'R', 'W', 'Z', 'f', 'a', ':', ':', 'D', 'I', ':', 'o', ':',
297 /* -v takes an argument on VMS, so we don't make it a generic
302 /* New option for extending instruction set (see also --itbl below) */
306 struct option
*longopts
;
307 extern struct option md_longopts
[];
308 extern size_t md_longopts_size
;
309 static const struct option std_longopts
[] = {
310 #define OPTION_HELP (OPTION_STD_BASE)
311 {"help", no_argument
, NULL
, OPTION_HELP
},
312 {"keep-locals", no_argument
, NULL
, 'L'},
313 {"mri", no_argument
, NULL
, 'M'},
314 #define OPTION_NOCPP (OPTION_STD_BASE + 1)
315 {"nocpp", no_argument
, NULL
, OPTION_NOCPP
},
316 #define OPTION_STATISTICS (OPTION_STD_BASE + 2)
317 {"statistics", no_argument
, NULL
, OPTION_STATISTICS
},
318 #define OPTION_VERSION (OPTION_STD_BASE + 3)
319 {"version", no_argument
, NULL
, OPTION_VERSION
},
320 #define OPTION_DUMPCONFIG (OPTION_STD_BASE + 4)
321 {"dump-config", no_argument
, NULL
, OPTION_DUMPCONFIG
},
322 #define OPTION_VERBOSE (OPTION_STD_BASE + 5)
323 {"verbose", no_argument
, NULL
, OPTION_VERBOSE
},
324 #define OPTION_EMULATION (OPTION_STD_BASE + 6)
325 {"emulation", required_argument
, NULL
, OPTION_EMULATION
},
326 #define OPTION_DEFSYM (OPTION_STD_BASE + 7)
327 {"defsym", required_argument
, NULL
, OPTION_DEFSYM
},
328 #define OPTION_INSTTBL (OPTION_STD_BASE + 8)
329 /* New option for extending instruction set (see also -t above).
330 The "-t file" or "--itbl file" option extends the basic set of
331 valid instructions by reading "file", a text file containing a
332 list of instruction formats. The additional opcodes and their
333 formats are added to the built-in set of instructions, and
334 mnemonics for new registers may also be defined. */
335 {"itbl", required_argument
, NULL
, OPTION_INSTTBL
},
336 #define OPTION_DEPFILE (OPTION_STD_BASE + 9)
337 {"MD", required_argument
, NULL
, OPTION_DEPFILE
},
338 #define OPTION_GSTABS (OPTION_STD_BASE + 10)
339 {"gstabs", no_argument
, NULL
, OPTION_GSTABS
},
340 #define OPTION_STRIP_LOCAL_ABSOLUTE (OPTION_STD_BASE + 11)
341 {"strip-local-absolute", no_argument
, NULL
, OPTION_STRIP_LOCAL_ABSOLUTE
}
344 /* Construct the option lists from the standard list and the
345 target dependent list. */
346 shortopts
= concat (std_shortopts
, md_shortopts
, (char *) NULL
);
347 longopts
= (struct option
*) xmalloc (sizeof (std_longopts
) + md_longopts_size
);
348 memcpy (longopts
, std_longopts
, sizeof (std_longopts
));
349 memcpy ((char *) longopts
+ sizeof (std_longopts
),
350 md_longopts
, md_longopts_size
);
352 /* Make a local copy of the old argv. */
356 /* Initialize a new argv that contains no options. */
357 new_argv
= (char **) xmalloc (sizeof (char *) * (old_argc
+ 1));
358 new_argv
[0] = old_argv
[0];
360 new_argv
[new_argc
] = NULL
;
364 /* getopt_long_only is like getopt_long, but '-' as well as '--' can
365 indicate a long option. */
367 int optc
= getopt_long_only (old_argc
, old_argv
, shortopts
, longopts
,
376 /* md_parse_option should return 1 if it recognizes optc,
378 if (md_parse_option (optc
, optarg
) != 0)
380 /* `-v' isn't included in the general short_opts list, so check for
381 it explicity here before deciding we've gotten a bad argument. */
385 /* Telling getopt to treat -v's value as optional can result
386 in it picking up a following filename argument here. The
387 VMS code in md_parse_option can return 0 in that case,
388 but it has no way of pushing the filename argument back. */
389 if (optarg
&& *optarg
)
390 new_argv
[new_argc
++] = optarg
, new_argv
[new_argc
] = NULL
;
404 case 1: /* File name. */
405 if (!strcmp (optarg
, "-"))
407 new_argv
[new_argc
++] = optarg
;
408 new_argv
[new_argc
] = NULL
;
418 case OPTION_STATISTICS
:
419 flag_print_statistics
= 1;
422 case OPTION_STRIP_LOCAL_ABSOLUTE
:
423 flag_strip_local_absolute
= 1;
427 /* This output is intended to follow the GNU standards document. */
428 printf ("GNU assembler %s\n", VERSION
);
429 printf ("Copyright 1997 Free Software Foundation, Inc.\n");
431 This program is free software; you may redistribute it under the terms of\n\
432 the GNU General Public License. This program has absolutely no warranty.\n");
433 printf ("This assembler was configured for a target of `%s'.\n",
437 case OPTION_EMULATION
:
438 #ifdef USE_EMULATIONS
439 if (strcmp (optarg
, this_emulation
->name
))
440 as_fatal ("multiple emulation names specified");
442 as_fatal ("emulations not handled in this configuration");
446 case OPTION_DUMPCONFIG
:
447 fprintf (stderr
, "alias = %s\n", TARGET_ALIAS
);
448 fprintf (stderr
, "canonical = %s\n", TARGET_CANONICAL
);
449 fprintf (stderr
, "cpu-type = %s\n", TARGET_CPU
);
450 #ifdef TARGET_OBJ_FORMAT
451 fprintf (stderr
, "format = %s\n", TARGET_OBJ_FORMAT
);
454 fprintf (stderr
, "bfd-target = %s\n", TARGET_FORMAT
);
462 struct defsym_list
*n
;
464 for (s
= optarg
; *s
!= '\0' && *s
!= '='; s
++)
467 as_fatal ("bad defsym; format is --defsym name=value");
469 i
= strtol (s
, (char **) NULL
, 0);
470 n
= (struct defsym_list
*) xmalloc (sizeof *n
);
481 /* optarg is the name of the file containing the instruction
482 formats, opcodes, register names, etc. */
483 struct itbl_file_list
*n
;
487 as_warn ( "No file name following -t option\n" );
491 n
= (struct itbl_file_list
*) xmalloc (sizeof *n
);
492 n
->next
= itbl_files
;
496 /* Parse the file and add the new instructions to our internal
497 table. If multiple instruction tables are specified, the
498 information from this table gets appended onto the existing
500 itbl_files
->name
= xstrdup (optarg
);
501 if (itbl_parse (itbl_files
->name
) != 0)
503 fprintf (stderr
, "Failed to read instruction table %s\n",
511 start_dependencies (optarg
);
515 debug_type
= DEBUG_STABS
;
519 flag_signed_overflow_ok
= 1;
522 #ifndef WORKING_DOT_WORD
524 flag_warn_displacement
= 1;
529 flag_keep_locals
= 1;
540 flag_readonly_data_in_text
= 1;
544 flag_no_warnings
= 1;
548 flag_always_generate_output
= 1;
559 listing
|= LISTING_NOCOND
;
562 listing
|= LISTING_NODEBUG
;
565 listing
|= LISTING_HLL
;
568 listing
|= LISTING_LISTING
;
571 listing
|= LISTING_MACEXP
;
574 listing
|= LISTING_NOFORM
;
577 listing
|= LISTING_SYMBOLS
;
580 listing_filename
= xstrdup (optarg
+ 1);
581 optarg
+= strlen (listing_filename
);
584 as_fatal ("invalid listing option `%c'", *optarg
);
591 listing
= LISTING_DEFAULT
;
595 /* DEBUG is implemented: it debugs different */
596 /* things from other people's assemblers. */
601 flag_no_comments
= 1;
605 { /* Include file directory */
606 char *temp
= xstrdup (optarg
);
607 add_include_dir (temp
);
612 out_file_name
= xstrdup (optarg
);
619 /* -X means treat warnings as errors */
631 static long start_time
;
642 start_time
= get_run_time ();
648 extern long _bfd_chunksize
;
654 #ifdef HOST_SPECIAL_INIT
655 HOST_SPECIAL_INIT (argc
, argv
);
659 xmalloc_set_program_name (myname
);
661 START_PROGRESS (myname
, 0);
663 #ifndef OBJ_DEFAULT_OUTPUT_FILE_NAME
664 #define OBJ_DEFAULT_OUTPUT_FILE_NAME "a.out"
667 out_file_name
= OBJ_DEFAULT_OUTPUT_FILE_NAME
;
672 bfd_set_error_program_name (myname
);
675 #ifdef USE_EMULATIONS
676 select_emulation_mode (argc
, argv
);
683 parse_args (&argc
, &argv
);
685 input_scrub_begin ();
688 if (flag_print_statistics
)
689 xatexit (dump_statistics
);
694 macro_strip_at
= flag_mri
;
697 /* For compatibility with the AMD 29K family macro assembler
703 macro_init (macro_alternate
, flag_mri
, macro_strip_at
, macro_expr
);
708 output_file_create (out_file_name
);
709 assert (stdoutput
!= 0);
712 #ifdef tc_init_after_args
713 tc_init_after_args ();
718 /* Now that we have fully initialized, and have created the output
719 file, define any symbols requested by --defsym command line
721 while (defsyms
!= NULL
)
724 struct defsym_list
*next
;
726 sym
= symbol_new (defsyms
->name
, absolute_section
, defsyms
->value
,
728 symbol_table_insert (sym
);
729 next
= defsyms
->next
;
736 perform_an_assembly_pass (argc
, argv
); /* Assemble it. */
738 cond_finish_check (-1);
744 if (seen_at_least_1_file ()
745 && (flag_always_generate_output
|| had_errors () == 0))
750 #if defined (BFD_ASSEMBLER) || !defined (BFD)
751 /* This used to be done at the start of write_object_file in
752 write.c, but that caused problems when doing listings when
753 keep_it was zero. This could probably be moved above md_end, but
754 I didn't want to risk the change. */
759 write_object_file ();
762 listing_print (listing_filename
);
765 #ifndef OBJ_VMS /* does its own file handling */
766 #ifndef BFD_ASSEMBLER
769 output_file_close (out_file_name
);
772 if (had_errors () > 0 && ! flag_always_generate_output
)
776 unlink (out_file_name
);
780 END_PROGRESS (myname
);
782 /* Use xexit instead of return, because under VMS environments they
783 may not place the same interpretation on the value given. */
784 if (had_errors () > 0)
785 xexit (EXIT_FAILURE
);
787 /* Only generate dependency file if assembler was successful. */
788 print_dependencies ();
790 xexit (EXIT_SUCCESS
);
796 extern char **environ
;
798 char *lim
= (char *) sbrk (0);
800 long run_time
= get_run_time () - start_time
;
802 fprintf (stderr
, "%s: total time in assembly: %ld.%06ld\n",
803 myname
, run_time
/ 1000000, run_time
% 1000000);
805 fprintf (stderr
, "%s: data size %ld\n",
806 myname
, (long) (lim
- (char *) &environ
));
809 subsegs_print_statistics (stderr
);
810 write_print_statistics (stderr
);
811 symbol_print_statistics (stderr
);
812 read_print_statistics (stderr
);
814 #ifdef tc_print_statistics
815 tc_print_statistics (stderr
);
817 #ifdef obj_print_statistics
818 obj_print_statistics (stderr
);
823 /* perform_an_assembly_pass()
825 * Here to attempt 1 pass over each input file.
826 * We scan argv[*] looking for filenames or exactly "" which is
827 * shorthand for stdin. Any argv that is NULL is not a file-name.
828 * We set need_pass_2 TRUE if, after this, we still have unresolved
829 * expressions of the form (unknown value)+-(unknown value).
831 * Note the un*x semantics: there is only 1 logical input file, but it
832 * may be a catenation of many 'physical' input files.
835 perform_an_assembly_pass (argc
, argv
)
846 #ifndef BFD_ASSEMBLER
850 for (i
= SEG_E0
; i
< SEG_UNKNOWN
; i
++)
851 segment_info
[i
].fix_root
= 0;
853 /* Create the three fixed ones */
858 seg
= subseg_new (".wtext", 0);
860 seg
= subseg_new (".text", 0);
862 assert (seg
== SEG_E0
);
863 seg
= subseg_new (".data", 0);
864 assert (seg
== SEG_E1
);
865 seg
= subseg_new (".bss", 0);
866 assert (seg
== SEG_E2
);
868 create_target_segments ();
872 #else /* not MANY_SEGMENTS */
873 text_fix_root
= NULL
;
874 data_fix_root
= NULL
;
876 #endif /* not MANY_SEGMENTS */
877 #else /* BFD_ASSEMBLER */
878 /* Create the standard sections, and those the assembler uses
880 text_section
= subseg_new (".text", 0);
881 data_section
= subseg_new (".data", 0);
882 bss_section
= subseg_new (".bss", 0);
883 /* @@ FIXME -- we're setting the RELOC flag so that sections are assumed
884 to have relocs, otherwise we don't find out in time. */
885 applicable
= bfd_applicable_section_flags (stdoutput
);
886 bfd_set_section_flags (stdoutput
, text_section
,
887 applicable
& (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
888 | SEC_CODE
| SEC_READONLY
));
889 /* @@ FIXME -- SEC_CODE seems to mean code only, rather than code possibly.*/
890 bfd_set_section_flags (stdoutput
, data_section
,
891 applicable
& (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
));
892 bfd_set_section_flags (stdoutput
, bss_section
, applicable
& SEC_ALLOC
);
893 seg_info (bss_section
)->bss
= 1;
894 subseg_new (BFD_ABS_SECTION_NAME
, 0);
895 subseg_new (BFD_UND_SECTION_NAME
, 0);
896 reg_section
= subseg_new ("*GAS `reg' section*", 0);
897 expr_section
= subseg_new ("*GAS `expr' section*", 0);
899 #endif /* BFD_ASSEMBLER */
901 subseg_set (text_section
, 0);
903 /* This may add symbol table entries, which requires having an open BFD,
904 and sections already created, in BFD_ASSEMBLER mode. */
911 argv
++; /* skip argv[0] */
912 argc
--; /* skip argv[0] */
916 { /* Is it a file-name argument? */
919 /* argv->"" if stdin desired, else->filename */
920 read_a_source_file (*argv
);
922 argv
++; /* completed that argv */
925 read_a_source_file ("");
926 } /* perform_an_assembly_pass() */
928 /* The interface between the macro code and gas expression handling. */
931 macro_expr (emsg
, idx
, in
, val
)
942 hold
= input_line_pointer
;
943 input_line_pointer
= in
->ptr
+ idx
;
945 idx
= input_line_pointer
- in
->ptr
;
946 input_line_pointer
= hold
;
948 if (ex
.X_op
!= O_constant
)
951 *val
= (int) ex
.X_add_number
;