1 /* as.h - global header file
2    Copyright (C) 1987-2016 Free Software Foundation, Inc.
3 
4    This file is part of GAS, the GNU Assembler.
5 
6    GAS is free software; you can redistribute it and/or modify
7    it under the terms of the GNU General Public License as published by
8    the Free Software Foundation; either version 3, or (at your option)
9    any later version.
10 
11    GAS is distributed in the hope that it will be useful, but WITHOUT
12    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
14    License for more details.
15 
16    You should have received a copy of the GNU General Public License
17    along with GAS; see the file COPYING.  If not, write to the Free
18    Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
19    02110-1301, USA.  */
20 
21 #ifndef GAS
22 #define GAS 1
23 /* I think this stuff is largely out of date.  xoxorich.
24 
25    CAPITALISED names are #defined.
26    "lowercaseH" is #defined if "lowercase.h" has been #include-d.
27    "lowercaseT" is a typedef of "lowercase" objects.
28    "lowercaseP" is type "pointer to object of type 'lowercase'".
29    "lowercaseS" is typedef struct ... lowercaseS.
30 
31    #define DEBUG to enable all the "know" assertion tests.
32    #define SUSPECT when debugging hash code.
33    #define COMMON as "extern" for all modules except one, where you #define
34   	COMMON as "".
35    If TEST is #defined, then we are testing a module: #define COMMON as "".  */
36 
37 #include "alloca-conf.h"
38 
39 /* Now, tend to the rest of the configuration.  */
40 
41 /* System include files first...  */
42 #include <stdio.h>
43 
44 #ifdef STRING_WITH_STRINGS
45 #include <string.h>
46 #include <strings.h>
47 #else
48 #ifdef HAVE_STRING_H
49 #include <string.h>
50 #else
51 #ifdef HAVE_STRINGS_H
52 #include <strings.h>
53 #endif
54 #endif
55 #endif
56 
57 #ifdef HAVE_STDLIB_H
58 #include <stdlib.h>
59 #endif
60 #ifdef HAVE_UNISTD_H
61 #include <unistd.h>
62 #endif
63 #ifdef HAVE_SYS_TYPES_H
64 /* for size_t, pid_t */
65 #include <sys/types.h>
66 #endif
67 
68 #ifdef HAVE_ERRNO_H
69 #include <errno.h>
70 #endif
71 
72 #include <stdarg.h>
73 
74 #include "getopt.h"
75 /* The first getopt value for machine-independent long options.
76    150 isn't special; it's just an arbitrary non-ASCII char value.  */
77 #define OPTION_STD_BASE 150
78 /* The first getopt value for machine-dependent long options.
79    290 gives the standard options room to grow.  */
80 #define OPTION_MD_BASE  290
81 
82 #ifdef DEBUG
83 #undef NDEBUG
84 #endif
85 #if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 6)
86 #define __PRETTY_FUNCTION__  ((char *) NULL)
87 #endif
88 #define gas_assert(P) \
89   ((void) ((P) ? 0 : (as_assert (__FILE__, __LINE__, __PRETTY_FUNCTION__), 0)))
90 #undef abort
91 #define abort()		as_abort (__FILE__, __LINE__, __PRETTY_FUNCTION__)
92 
93 /* Now GNU header files...  */
94 #include "ansidecl.h"
95 #include "bfd.h"
96 #include "libiberty.h"
97 
98 /* Define the standard progress macros.  */
99 #include "progress.h"
100 
101 /* Other stuff from config.h.  */
102 #ifdef NEED_DECLARATION_ENVIRON
103 extern char **environ;
104 #endif
105 #ifdef NEED_DECLARATION_ERRNO
106 extern int errno;
107 #endif
108 #ifdef NEED_DECLARATION_FFS
109 extern int ffs (int);
110 #endif
111 #ifdef NEED_DECLARATION_FREE
112 extern void free ();
113 #endif
114 #ifdef NEED_DECLARATION_MALLOC
115 extern void *malloc ();
116 extern void *realloc ();
117 #endif
118 #ifdef NEED_DECLARATION_STRSTR
119 extern char *strstr ();
120 #endif
121 
122 #if !HAVE_DECL_MEMPCPY
123 void *mempcpy(void *, const void *, size_t);
124 #endif
125 
126 #if !HAVE_DECL_VSNPRINTF
127 extern int vsnprintf(char *, size_t, const char *, va_list);
128 #endif
129 
130 /* This is needed for VMS.  */
131 #if ! defined (HAVE_UNLINK) && defined (HAVE_REMOVE)
132 #define unlink remove
133 #endif
134 
135 /* Hack to make "gcc -Wall" not complain about obstack macros.  */
136 #if !defined (memcpy) && !defined (bcopy)
137 #define bcopy(src,dest,size)	memcpy (dest, src, size)
138 #endif
139 
140 #ifndef __LINE__
141 #define __LINE__ "unknown"
142 #endif /* __LINE__ */
143 
144 #ifndef __FILE__
145 #define __FILE__ "unknown"
146 #endif /* __FILE__ */
147 
148 #ifndef FOPEN_WB
149 #ifdef USE_BINARY_FOPEN
150 #include "fopen-bin.h"
151 #else
152 #include "fopen-same.h"
153 #endif
154 #endif
155 
156 #ifndef EXIT_SUCCESS
157 #define EXIT_SUCCESS 0
158 #define EXIT_FAILURE 1
159 #endif
160 
161 #ifndef SEEK_SET
162 #define SEEK_SET 0
163 #endif
164 
165 #define obstack_chunk_alloc xmalloc
166 #define obstack_chunk_free xfree
167 
168 #define xfree free
169 
170 #include "asintl.h"
171 
172 #define BAD_CASE(val)							    \
173   {									    \
174     as_fatal (_("Case value %ld unexpected at line %d of file \"%s\"\n"),   \
175 	      (long) val, __LINE__, __FILE__);				    \
176   }
177 
178 #include "flonum.h"
179 
180 /* These are assembler-wide concepts */
181 
182 extern bfd *stdoutput;
183 typedef bfd_vma addressT;
184 typedef bfd_signed_vma offsetT;
185 
186 /* Type of symbol value, etc.  For use in prototypes.  */
187 typedef addressT valueT;
188 
189 #ifndef COMMON
190 #ifdef TEST
191 #define COMMON			/* Declare our COMMONs storage here.  */
192 #else
193 #define COMMON extern		/* Our commons live elsewhere.  */
194 #endif
195 #endif
196 /* COMMON now defined */
197 
198 #ifndef ENABLE_CHECKING
199 #define ENABLE_CHECKING 0
200 #endif
201 
202 #if ENABLE_CHECKING || defined (DEBUG)
203 #ifndef know
204 #define know(p) gas_assert(p)	/* Verify our assumptions!  */
205 #endif /* not yet defined */
206 #else
207 #define know(p)	do {} while (0)	/* know() checks are no-op.ed  */
208 #endif
209 
210 /* input_scrub.c */
211 
212 /* Supplies sanitised buffers to read.c.
213    Also understands printing line-number part of error messages.  */
214 
215 /* subsegs.c     Sub-segments. Also, segment(=expression type)s.*/
216 
217 typedef asection *segT;
218 #define SEG_NORMAL(SEG)		(   (SEG) != absolute_section	\
219 				 && (SEG) != undefined_section	\
220 				 && (SEG) != reg_section	\
221 				 && (SEG) != expr_section)
222 typedef int subsegT;
223 
224 /* What subseg we are accessing now?  */
225 COMMON subsegT now_subseg;
226 
227 /* Segment our instructions emit to.  */
228 COMMON segT now_seg;
229 
230 #define segment_name(SEG)	bfd_get_section_name (stdoutput, SEG)
231 
232 extern segT reg_section, expr_section;
233 /* Shouldn't these be eliminated someday?  */
234 extern segT text_section, data_section, bss_section;
235 #define absolute_section	bfd_abs_section_ptr
236 #define undefined_section	bfd_und_section_ptr
237 
238 enum _relax_state
239 {
240   /* Dummy frag used by listing code.  */
241   rs_dummy = 0,
242 
243   /* Variable chars to be repeated fr_offset times.
244      Fr_symbol unused. Used with fr_offset == 0 for a
245      constant length frag.  */
246   rs_fill,
247 
248   /* Align.  The fr_offset field holds the power of 2 to which to
249      align.  The fr_var field holds the number of characters in the
250      fill pattern.  The fr_subtype field holds the maximum number of
251      bytes to skip when aligning, or 0 if there is no maximum.  */
252   rs_align,
253 
254   /* Align code.  The fr_offset field holds the power of 2 to which
255      to align.  This type is only generated by machine specific
256      code, which is normally responsible for handling the fill
257      pattern.  The fr_subtype field holds the maximum number of
258      bytes to skip when aligning, or 0 if there is no maximum.  */
259   rs_align_code,
260 
261   /* Test for alignment.  Like rs_align, but used by several targets
262      to warn if data is not properly aligned.  */
263   rs_align_test,
264 
265   /* Org: Fr_offset, fr_symbol: address. 1 variable char: fill
266      character.  */
267   rs_org,
268 
269 #ifndef WORKING_DOT_WORD
270   /* JF: gunpoint */
271   rs_broken_word,
272 #endif
273 
274   /* Machine specific relaxable (or similarly alterable) instruction.  */
275   rs_machine_dependent,
276 
277   /* .space directive with expression operand that needs to be computed
278      later.  Similar to rs_org, but different.
279      fr_symbol: operand
280      1 variable char: fill character  */
281   rs_space,
282 
283   /* A DWARF leb128 value; only ELF uses this.  The subtype is 0 for
284      unsigned, 1 for signed.  */
285   rs_leb128,
286 
287   /* Exception frame information which we may be able to optimize.  */
288   rs_cfa,
289 
290   /* Cross-fragment dwarf2 line number optimization.  */
291   rs_dwarf2dbg
292 };
293 
294 typedef enum _relax_state relax_stateT;
295 
296 /* This type is used in prototypes, so it can't be a type that will be
297    widened for argument passing.  */
298 typedef unsigned int relax_substateT;
299 
300 /* Enough bits for address, but still an integer type.
301    Could be a problem, cross-assembling for 64-bit machines.  */
302 typedef addressT relax_addressT;
303 
304 struct relax_type
305 {
306   /* Forward reach. Signed number. > 0.  */
307   offsetT rlx_forward;
308   /* Backward reach. Signed number. < 0.  */
309   offsetT rlx_backward;
310 
311   /* Bytes length of this address.  */
312   unsigned char rlx_length;
313 
314   /* Next longer relax-state.  0 means there is no 'next' relax-state.  */
315   relax_substateT rlx_more;
316 };
317 
318 typedef struct relax_type relax_typeS;
319 
320 /* main program "as.c" (command arguments etc).  */
321 
322 COMMON unsigned char flag_no_comments; /* -f */
323 COMMON unsigned char flag_debug; /* -D */
324 COMMON unsigned char flag_signed_overflow_ok; /* -J */
325 #ifndef WORKING_DOT_WORD
326 COMMON unsigned char flag_warn_displacement; /* -K */
327 #endif
328 
329 /* True if local symbols should be retained.  */
330 COMMON int flag_keep_locals; /* -L */
331 
332 /* True if we are assembling in MRI mode.  */
333 COMMON int flag_mri;
334 
335 /* Should the data section be made read-only and appended to the text
336    section?  */
337 COMMON unsigned char flag_readonly_data_in_text; /* -R */
338 
339 /* True if warnings should be inhibited.  */
340 COMMON int flag_no_warnings; /* -W */
341 
342 /* True if warnings count as errors.  */
343 COMMON int flag_fatal_warnings; /* --fatal-warnings */
344 
345 /* True if we should attempt to generate output even if non-fatal errors
346    are detected.  */
347 COMMON unsigned char flag_always_generate_output; /* -Z */
348 
349 /* This is true if the assembler should output time and space usage.  */
350 COMMON unsigned char flag_print_statistics;
351 
352 /* True if local absolute symbols are to be stripped.  */
353 COMMON int flag_strip_local_absolute;
354 
355 /* True if we should generate a traditional format object file.  */
356 COMMON int flag_traditional_format;
357 
358 /* Type of compressed debug sections we should generate.   */
359 COMMON enum compressed_debug_section_type flag_compress_debug;
360 
361 /* TRUE if .note.GNU-stack section with SEC_CODE should be created */
362 COMMON int flag_execstack;
363 
364 /* TRUE if .note.GNU-stack section with SEC_CODE should be created */
365 COMMON int flag_noexecstack;
366 
367 /* name of emitted object file */
368 COMMON const char *out_file_name;
369 
370 /* name of file defining extensions to the basic instruction set */
371 COMMON char *insttbl_file_name;
372 
373 /* TRUE if we need a second pass.  */
374 COMMON int need_pass_2;
375 
376 /* TRUE if we should do no relaxing, and
377    leave lots of padding.  */
378 COMMON int linkrelax;
379 
380 COMMON int do_not_pad_sections_to_alignment;
381 
382 /* TRUE if we should produce a listing.  */
383 extern int listing;
384 
385 /* Type of debugging information we should generate.  We currently support
386    stabs, ECOFF, and DWARF2.
387 
388    NOTE!  This means debug information about the assembly source code itself
389    and _not_ about possible debug information from a high-level language.
390    This is especially relevant to DWARF2, since the compiler may emit line
391    number directives that the assembler resolves.  */
392 
393 enum debug_info_type
394 {
395   DEBUG_UNSPECIFIED,
396   DEBUG_NONE,
397   DEBUG_STABS,
398   DEBUG_ECOFF,
399   DEBUG_DWARF,
400   DEBUG_DWARF2
401 };
402 
403 extern enum debug_info_type debug_type;
404 extern int use_gnu_debug_info_extensions;
405 COMMON bfd_boolean flag_dwarf_sections;
406 
407 /* Maximum level of macro nesting.  */
408 extern int max_macro_nest;
409 
410 /* Verbosity level.  */
411 extern int verbose;
412 
413 /* Enable incbin directive. */
414 extern int allow_incbin_directive;
415 
416 /* Obstack chunk size.  Keep large for efficient space use, make small to
417    increase malloc calls for monitoring memory allocation.  */
418 extern int chunksize;
419 
420 struct _pseudo_type
421 {
422   /* assembler mnemonic, lower case, no '.' */
423   const char *poc_name;
424   /* Do the work */
425   void (*poc_handler) (int);
426   /* Value to pass to handler */
427   int poc_val;
428 };
429 
430 typedef struct _pseudo_type pseudo_typeS;
431 
432 #if (__GNUC__ >= 2) && !defined(VMS)
433 /* for use with -Wformat */
434 
435 #if __GNUC__ == 2 && __GNUC_MINOR__ < 6
436 /* Support for double underscores in attribute names was added in gcc
437    2.6, so avoid them if we are using an earlier version.  */
438 #define __printf__ printf
439 #define __format__ format
440 #endif
441 
442 #define PRINTF_LIKE(FCN) \
443   void FCN (const char *format, ...) \
444     __attribute__ ((__format__ (__printf__, 1, 2)))
445 #define PRINTF_WHERE_LIKE(FCN) \
446   void FCN (const char *file, unsigned int line, const char *format, ...) \
447     __attribute__ ((__format__ (__printf__, 3, 4)))
448 
449 #else /* __GNUC__ < 2 || defined(VMS) */
450 
451 #define PRINTF_LIKE(FCN)	void FCN (const char *format, ...)
452 #define PRINTF_WHERE_LIKE(FCN)	void FCN (const char *file, \
453 					  unsigned int line, \
454 					  const char *format, ...)
455 
456 #endif /* __GNUC__ < 2 || defined(VMS) */
457 
458 PRINTF_LIKE (as_bad);
459 PRINTF_LIKE (as_fatal) ATTRIBUTE_NORETURN;
460 PRINTF_LIKE (as_tsktsk);
461 PRINTF_LIKE (as_warn);
462 PRINTF_WHERE_LIKE (as_bad_where);
463 PRINTF_WHERE_LIKE (as_warn_where);
464 
465 void   as_assert (const char *, int, const char *);
466 void   as_abort (const char *, int, const char *) ATTRIBUTE_NORETURN;
467 void   sprint_value (char *, addressT);
468 int    had_errors (void);
469 int    had_warnings (void);
470 void   as_warn_value_out_of_range (const char *, offsetT, offsetT, offsetT,
471 				   const char *, unsigned);
472 void   as_bad_value_out_of_range (const char *, offsetT, offsetT, offsetT,
473 				  const char *, unsigned);
474 void   print_version_id (void);
475 char * app_push (void);
476 char * atof_ieee (char *, int, LITTLENUM_TYPE *);
477 const char * ieee_md_atof (int, char *, int *, bfd_boolean);
478 const char * vax_md_atof (int, char *, int *);
479 char * input_scrub_include_file (const char *, char *);
480 void   input_scrub_insert_line (const char *);
481 void   input_scrub_insert_file (char *);
482 char * input_scrub_new_file (const char *);
483 char * input_scrub_next_buffer (char **bufp);
484 size_t do_scrub_chars (size_t (*get) (char *, size_t), char *, size_t);
485 int    gen_to_words (LITTLENUM_TYPE *, int, long);
486 int    had_err (void);
487 int    ignore_input (void);
488 void   cond_finish_check (int);
489 void   cond_exit_macro (int);
490 int    seen_at_least_1_file (void);
491 void   app_pop (char *);
492 const char * as_where (unsigned int *);
493 void   bump_line_counters (void);
494 void   do_scrub_begin (int);
495 void   input_scrub_begin (void);
496 void   input_scrub_close (void);
497 void   input_scrub_end (void);
498 int    new_logical_line (const char *, int);
499 int    new_logical_line_flags (const char *, int, int);
500 void   subsegs_begin (void);
501 void   subseg_change (segT, int);
502 segT   subseg_new (const char *, subsegT);
503 segT   subseg_force_new (const char *, subsegT);
504 void   subseg_set (segT, subsegT);
505 int    subseg_text_p (segT);
506 int    seg_not_empty_p (segT);
507 void   start_dependencies (char *);
508 void   register_dependency (const char *);
509 void   print_dependencies (void);
510 segT   subseg_get (const char *, int);
511 
512 const char *remap_debug_filename (const char *);
513 void add_debug_prefix_map (const char *);
514 
515 static inline char *
xmemdup0(const char * in,size_t len)516 xmemdup0 (const char *in, size_t len)
517 {
518   char *out = (char *) xmalloc (len + 1);
519   out[len] = 0;
520   return (char *) memcpy (out, in, len);
521 }
522 
523 struct expressionS;
524 struct fix;
525 typedef struct symbol symbolS;
526 typedef struct frag fragS;
527 
528 /* literal.c */
529 valueT add_to_literal_pool (symbolS *, valueT, segT, int);
530 
531 int check_eh_frame (struct expressionS *, unsigned int *);
532 int eh_frame_estimate_size_before_relax (fragS *);
533 int eh_frame_relax_frag (fragS *);
534 void eh_frame_convert_frag (fragS *);
535 int generic_force_reloc (struct fix *);
536 
537 #include "expr.h"		/* Before targ-*.h */
538 
539 /* This one starts the chain of target dependant headers.  */
540 #include "targ-env.h"
541 
542 #ifdef OBJ_MAYBE_ELF
543 #define IS_ELF (OUTPUT_FLAVOR == bfd_target_elf_flavour)
544 #else
545 #ifdef OBJ_ELF
546 #define IS_ELF 1
547 #else
548 #define IS_ELF 0
549 #endif
550 #endif
551 
552 #include "write.h"
553 #include "frags.h"
554 #include "hash.h"
555 #include "read.h"
556 #include "symbols.h"
557 
558 #include "tc.h"
559 #include "obj.h"
560 
561 #ifdef USE_EMULATIONS
562 #include "emul.h"
563 #endif
564 #include "listing.h"
565 
566 #ifdef H_TICK_HEX
567 extern int enable_h_tick_hex;
568 #endif
569 
570 #ifdef TC_M68K
571 /* True if we are assembling in m68k MRI mode.  */
572 COMMON int flag_m68k_mri;
573 #define DOLLAR_AMBIGU flag_m68k_mri
574 #else
575 #define flag_m68k_mri 0
576 #endif
577 
578 #ifdef WARN_COMMENTS
579 COMMON int           warn_comment;
580 COMMON unsigned int  found_comment;
581 COMMON const char *        found_comment_file;
582 #endif
583 
584 #if defined OBJ_ELF || defined OBJ_MAYBE_ELF
585 /* If .size directive failure should be error or warning.  */
586 COMMON int flag_allow_nonconst_size;
587 
588 /* If we should generate ELF common symbols with the STT_COMMON type.  */
589 extern int flag_use_elf_stt_common;
590 
591 /* If section name substitution sequences should be honored */
592 COMMON int flag_sectname_subst;
593 #endif
594 
595 #ifndef DOLLAR_AMBIGU
596 #define DOLLAR_AMBIGU 0
597 #endif
598 
599 #ifndef NUMBERS_WITH_SUFFIX
600 #define NUMBERS_WITH_SUFFIX 0
601 #endif
602 
603 #ifndef LOCAL_LABELS_DOLLAR
604 #define LOCAL_LABELS_DOLLAR 0
605 #endif
606 
607 #ifndef LOCAL_LABELS_FB
608 #define LOCAL_LABELS_FB 0
609 #endif
610 
611 #ifndef LABELS_WITHOUT_COLONS
612 #define LABELS_WITHOUT_COLONS 0
613 #endif
614 
615 #ifndef NO_PSEUDO_DOT
616 #define NO_PSEUDO_DOT 0
617 #endif
618 
619 #ifndef TEXT_SECTION_NAME
620 #define TEXT_SECTION_NAME	".text"
621 #define DATA_SECTION_NAME	".data"
622 #define BSS_SECTION_NAME	".bss"
623 #endif
624 
625 #ifndef OCTETS_PER_BYTE_POWER
626 #define OCTETS_PER_BYTE_POWER 0
627 #endif
628 #ifndef OCTETS_PER_BYTE
629 #define OCTETS_PER_BYTE (1<<OCTETS_PER_BYTE_POWER)
630 #endif
631 #if OCTETS_PER_BYTE != (1<<OCTETS_PER_BYTE_POWER)
632  #error "Octets per byte conflicts with its power-of-two definition!"
633 #endif
634 
635 #endif /* GAS */
636