1 /* read.c - read a source file -
2 Copyright 1986, 1987, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
3 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
4 Free Software Foundation, Inc.
6 This file is part of GAS, the GNU Assembler.
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
23 /* If your chars aren't 8 bits, you will change this a bit (eg. to 0xFF).
24 But then, GNU isn't spozed to run on your machine anyway.
25 (RMS is so shortsighted sometimes.) */
26 #define MASK_CHAR ((int)(unsigned char) -1)
28 /* This is the largest known floating point format (for now). It will
29 grow when we do 4361 style flonums. */
30 #define MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT (16)
32 /* Routines that read assembler source text to build spaghetti in memory.
33 Another group of these functions is in the expr.c module. */
36 #include "safe-ctype.h"
42 #include "dw2gencfi.h"
44 #ifndef TC_START_LABEL
45 #define TC_START_LABEL(x,y) (x == ':')
48 /* Set by the object-format or the target. */
49 #ifndef TC_IMPLICIT_LCOMM_ALIGNMENT
50 #define TC_IMPLICIT_LCOMM_ALIGNMENT(SIZE, P2VAR) \
55 else if ((SIZE) >= 4) \
57 else if ((SIZE) >= 2) \
65 char *input_line_pointer
; /*->next char of source file to parse. */
67 #if BITS_PER_CHAR != 8
68 /* The following table is indexed by[(char)] and will break if
69 a char does not have exactly 256 states (hopefully 0:255!)! */
78 /* The RS/6000 assembler uses {,},[,] as parts of symbol names. */
83 /* The Delta 68k assembler permits % inside label names. */
88 /* The PowerPC Windows NT assemblers permits ? inside label names. */
93 /* The IA-64 assembler uses # as a suffix designating a symbol. We include
94 it in the symbol and strip it out in tc_canonicalize_symbol_name. */
103 /* The Delta 68k assembler permits ~ at start of label names. */
107 /* Used by is_... macros. our ctype[]. */
108 char lex_type
[256] = {
109 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* @ABCDEFGHIJKLMNO */
110 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* PQRSTUVWXYZ[\]^_ */
111 0, 0, 0, LEX_HASH
, LEX_DOLLAR
, LEX_PCT
, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, /* _!"#$%&'()*+,-./ */
112 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, LEX_QM
, /* 0123456789:;<=>? */
113 LEX_AT
, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* @ABCDEFGHIJKLMNO */
114 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR
, 0, LEX_BR
, 0, 3, /* PQRSTUVWXYZ[\]^_ */
115 0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* `abcdefghijklmno */
116 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR
, 0, LEX_BR
, LEX_TILDE
, 0, /* pqrstuvwxyz{|}~. */
117 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
118 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
119 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
120 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
121 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
122 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
123 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
124 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3
128 Out: 1 if this character ends a line. */
129 char is_end_of_line
[256] = {
131 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, /* @abcdefghijklmno */
133 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, /* @abcdefghijklmno */
135 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
136 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* _!"#$%&'()*+,-./ */
137 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0123456789:;<=>? */
138 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
139 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
140 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
141 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
142 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
143 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
144 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
145 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
146 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
147 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
148 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
149 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 /* */
152 #ifndef TC_CASE_SENSITIVE
153 char original_case_string
[128];
156 /* Functions private to this file. */
158 static char *buffer
; /* 1st char of each buffer of lines is here. */
159 static char *buffer_limit
; /*->1 + last char in buffer. */
161 /* TARGET_BYTES_BIG_ENDIAN is required to be defined to either 0 or 1
162 in the tc-<CPU>.h file. See the "Porting GAS" section of the
164 int target_big_endian
= TARGET_BYTES_BIG_ENDIAN
;
166 /* Variables for handling include file directory table. */
168 /* Table of pointers to directories to search for .include's. */
171 /* How many are in the table. */
172 int include_dir_count
;
174 /* Length of longest in table. */
175 int include_dir_maxlen
= 1;
177 #ifndef WORKING_DOT_WORD
178 struct broken_word
*broken_words
;
179 int new_broken_words
;
182 /* The current offset into the absolute section. We don't try to
183 build frags in the absolute section, since no data can be stored
184 there. We just keep track of the current offset. */
185 addressT abs_section_offset
;
187 /* If this line had an MRI style label, it is stored in this variable.
188 This is used by some of the MRI pseudo-ops. */
191 /* This global variable is used to support MRI common sections. We
192 translate such sections into a common symbol. This variable is
193 non-NULL when we are in an MRI common section. */
194 symbolS
*mri_common_symbol
;
196 /* In MRI mode, after a dc.b pseudo-op with an odd number of bytes, we
197 need to align to an even byte boundary unless the next pseudo-op is
198 dc.b, ds.b, or dcb.b. This variable is set to 1 if an alignment
200 static int mri_pending_align
;
204 /* This variable is set to be non-zero if the next string we see might
205 be the name of the source file in DWARF debugging information. See
206 the comment in emit_expr for the format we look for. */
207 static int dwarf_file_string
;
211 static void do_s_func (int end_p
, const char *default_prefix
);
212 static void do_align (int, char *, int, int);
213 static void s_align (int, int);
214 static void s_altmacro (int);
215 static void s_bad_end (int);
216 static int hex_float (int, char *);
217 static segT
get_known_segmented_expression (expressionS
* expP
);
218 static void pobegin (void);
219 static int get_line_sb (sb
*);
220 static void generate_file_debug (void);
221 static char *_find_end_of_line (char *, int, int);
229 obj_read_begin_hook ();
231 /* Something close -- but not too close -- to a multiple of 1024.
232 The debugging malloc I'm using has 24 bytes of overhead. */
233 obstack_begin (¬es
, chunksize
);
234 obstack_begin (&cond_obstack
, chunksize
);
236 /* Use machine dependent syntax. */
237 for (p
= line_separator_chars
; *p
; p
++)
238 is_end_of_line
[(unsigned char) *p
] = 1;
239 /* Use more. FIXME-SOMEDAY. */
245 #ifndef TC_ADDRESS_BYTES
246 #define TC_ADDRESS_BYTES address_bytes
251 /* Choose smallest of 1, 2, 4, 8 bytes that is large enough to
252 contain an address. */
253 int n
= (stdoutput
->arch_info
->bits_per_address
- 1) / 8;
261 /* Set up pseudo-op tables. */
263 static struct hash_control
*po_hash
;
265 static const pseudo_typeS potable
[] = {
266 {"abort", s_abort
, 0},
267 {"align", s_align_ptwo
, 0},
268 {"altmacro", s_altmacro
, 1},
269 {"ascii", stringer
, 0},
270 {"asciz", stringer
, 1},
271 {"balign", s_align_bytes
, 0},
272 {"balignw", s_align_bytes
, -2},
273 {"balignl", s_align_bytes
, -4},
277 {"common", s_mri_common
, 0},
278 {"common.s", s_mri_common
, 1},
281 #ifdef TC_ADDRESS_BYTES
285 {"dc.d", float_cons
, 'd'},
287 {"dc.s", float_cons
, 'f'},
289 {"dc.x", float_cons
, 'x'},
291 {"dcb.b", s_space
, 1},
292 {"dcb.d", s_float_space
, 'd'},
293 {"dcb.l", s_space
, 4},
294 {"dcb.s", s_float_space
, 'f'},
295 {"dcb.w", s_space
, 2},
296 {"dcb.x", s_float_space
, 'x'},
298 {"ds.b", s_space
, 1},
299 {"ds.d", s_space
, 8},
300 {"ds.l", s_space
, 4},
301 {"ds.p", s_space
, 12},
302 {"ds.s", s_space
, 4},
303 {"ds.w", s_space
, 2},
304 {"ds.x", s_space
, 12},
305 {"debug", s_ignore
, 0},
310 {"double", float_cons
, 'd'},
312 {"eject", listing_eject
, 0}, /* Formfeed listing. */
314 {"elsec", s_else
, 0},
315 {"elseif", s_elseif
, (int) O_ne
},
317 {"endc", s_endif
, 0},
318 {"endfunc", s_func
, 1},
319 {"endif", s_endif
, 0},
320 {"endm", s_bad_end
, 0},
321 {"endr", s_bad_end
, 1},
327 {"error", s_errwarn
, 1},
328 {"exitm", s_mexit
, 0},
330 {"extern", s_ignore
, 0}, /* We treat all undef as ext. */
331 {"appfile", s_app_file
, 1},
332 {"appline", s_app_line
, 1},
334 {"file", s_app_file
, 0},
336 {"float", float_cons
, 'f'},
337 {"format", s_ignore
, 0},
339 {"global", s_globl
, 0},
340 {"globl", s_globl
, 0},
342 {"if", s_if
, (int) O_ne
},
345 {"ifdef", s_ifdef
, 0},
346 {"ifeq", s_if
, (int) O_eq
},
347 {"ifeqs", s_ifeqs
, 0},
348 {"ifge", s_if
, (int) O_ge
},
349 {"ifgt", s_if
, (int) O_gt
},
350 {"ifle", s_if
, (int) O_le
},
351 {"iflt", s_if
, (int) O_lt
},
354 {"ifndef", s_ifdef
, 1},
355 {"ifne", s_if
, (int) O_ne
},
356 {"ifnes", s_ifeqs
, 1},
357 {"ifnotdef", s_ifdef
, 1},
358 {"incbin", s_incbin
, 0},
359 {"include", s_include
, 0},
365 {"lcomm", s_lcomm
, 0},
366 {"lflags", listing_flags
, 0}, /* Listing flags. */
367 {"linefile", s_app_line
, 0},
368 {"linkonce", s_linkonce
, 0},
369 {"list", listing_list
, 1}, /* Turn listing on. */
370 {"llen", listing_psize
, 1},
373 {"macro", s_macro
, 0},
374 {"mexit", s_mexit
, 0},
376 {".mri", s_mri
, 0}, /* Special case so .mri works in MRI mode. */
377 {"name", s_ignore
, 0},
378 {"noaltmacro", s_altmacro
, 0},
379 {"noformat", s_ignore
, 0},
380 {"nolist", listing_list
, 0}, /* Turn listing off. */
381 {"nopage", listing_nopage
, 0},
383 {"offset", s_struct
, 0},
385 {"p2align", s_align_ptwo
, 0},
386 {"p2alignw", s_align_ptwo
, -2},
387 {"p2alignl", s_align_ptwo
, -4},
388 {"page", listing_eject
, 0},
389 {"plen", listing_psize
, 0},
390 {"print", s_print
, 0},
391 {"psize", listing_psize
, 0}, /* Set paper size. */
392 {"purgem", s_purgem
, 0},
397 {"sbttl", listing_title
, 1}, /* Subtitle of listing. */
402 {"single", float_cons
, 'f'},
404 {"space", s_space
, 0},
405 {"skip", s_space
, 0},
406 {"sleb128", s_leb128
, 1},
407 {"spc", s_ignore
, 0},
408 {"stabd", s_stab
, 'd'},
409 {"stabn", s_stab
, 'n'},
410 {"stabs", s_stab
, 's'},
411 {"string", stringer
, 1},
412 {"struct", s_struct
, 0},
416 /* This is for gcc to use. It's only just been added (2/94), so gcc
417 won't be able to use it for a while -- probably a year or more.
418 But once this has been released, check with gcc maintainers
419 before deleting it or even changing the spelling. */
420 {"this_GCC_requires_the_GNU_assembler", s_ignore
, 0},
421 /* If we're folding case -- done for some targets, not necessarily
422 all -- the above string in an input file will be converted to
423 this one. Match it either way... */
424 {"this_gcc_requires_the_gnu_assembler", s_ignore
, 0},
426 {"title", listing_title
, 0}, /* Listing title. */
427 {"ttl", listing_title
, 0},
429 {"uleb128", s_leb128
, 0},
433 {"xdef", s_globl
, 0},
434 {"xref", s_ignore
, 0},
435 {"xstabs", s_xstab
, 's'},
436 {"warning", s_errwarn
, 0},
437 {"weakref", s_weakref
, 0},
439 {"zero", s_space
, 0},
440 {NULL
, NULL
, 0} /* End sentinel. */
444 get_absolute_expr (expressionS
*exp
)
446 expression_and_evaluate (exp
);
447 if (exp
->X_op
!= O_constant
)
449 if (exp
->X_op
!= O_absent
)
450 as_bad (_("bad or irreducible absolute expression"));
451 exp
->X_add_number
= 0;
453 return exp
->X_add_number
;
457 get_absolute_expression (void)
461 return get_absolute_expr (&exp
);
464 static int pop_override_ok
= 0;
465 static const char *pop_table_name
;
468 pop_insert (const pseudo_typeS
*table
)
471 const pseudo_typeS
*pop
;
472 for (pop
= table
; pop
->poc_name
; pop
++)
474 errtxt
= hash_insert (po_hash
, pop
->poc_name
, (char *) pop
);
475 if (errtxt
&& (!pop_override_ok
|| strcmp (errtxt
, "exists")))
476 as_fatal (_("error constructing %s pseudo-op table: %s"), pop_table_name
,
481 #ifndef md_pop_insert
482 #define md_pop_insert() pop_insert(md_pseudo_table)
485 #ifndef obj_pop_insert
486 #define obj_pop_insert() pop_insert(obj_pseudo_table)
489 #ifndef cfi_pop_insert
490 #define cfi_pop_insert() pop_insert(cfi_pseudo_table)
496 po_hash
= hash_new ();
498 /* Do the target-specific pseudo ops. */
499 pop_table_name
= "md";
502 /* Now object specific. Skip any that were in the target table. */
503 pop_table_name
= "obj";
507 /* Now portable ones. Skip any that we've seen already. */
508 pop_table_name
= "standard";
509 pop_insert (potable
);
511 #ifdef TARGET_USE_CFIPOP
512 pop_table_name
= "cfi";
518 #define HANDLE_CONDITIONAL_ASSEMBLY() \
519 if (ignore_input ()) \
521 char *eol = find_end_of_line (input_line_pointer, flag_m68k_mri); \
522 input_line_pointer = (input_line_pointer <= buffer_limit \
523 && eol >= buffer_limit) \
529 /* This function is used when scrubbing the characters between #APP
532 static char *scrub_string
;
533 static char *scrub_string_end
;
536 scrub_from_string (char *buf
, int buflen
)
540 copy
= scrub_string_end
- scrub_string
;
543 memcpy (buf
, scrub_string
, copy
);
544 scrub_string
+= copy
;
548 /* Helper function of read_a_source_file, which tries to expand a macro. */
550 try_macro (char term
, const char *line
)
556 if (check_macro (line
, &out
, &err
, ¯o
))
560 *input_line_pointer
++ = term
;
561 input_scrub_include_sb (&out
,
562 input_line_pointer
, 1);
565 input_scrub_next_buffer (&input_line_pointer
);
567 md_macro_info (macro
);
574 /* We read the file, putting things into a web that represents what we
575 have been reading. */
577 read_a_source_file (char *name
)
580 register char *s
; /* String of symbol, '\0' appended. */
588 buffer
= input_scrub_new_file (name
);
591 listing_newline (NULL
);
592 register_dependency (name
);
594 /* Generate debugging information before we've read anything in to denote
595 this file as the "main" source file and not a subordinate one
596 (e.g. N_SO vs N_SOL in stabs). */
597 generate_file_debug ();
599 while ((buffer_limit
= input_scrub_next_buffer (&input_line_pointer
)) != 0)
600 { /* We have another line to parse. */
602 /* In order to avoid listing macro expansion lines with labels
603 multiple times, keep track of which line was last issued. */
604 static char *last_eol
;
608 know (buffer_limit
[-1] == '\n'); /* Must have a sentinel. */
610 while (input_line_pointer
< buffer_limit
)
612 /* We have more of this buffer to parse. */
614 /* We now have input_line_pointer->1st char of next line.
615 If input_line_pointer [-1] == '\n' then we just
616 scanned another line: so bump line counters. */
617 if (is_end_of_line
[(unsigned char) input_line_pointer
[-1]])
619 #ifdef md_start_line_hook
620 md_start_line_hook ();
622 if (input_line_pointer
[-1] == '\n')
623 bump_line_counters ();
627 if (LABELS_WITHOUT_COLONS
|| flag_m68k_mri
)
629 /* Text at the start of a line must be a label, we
630 run down and stick a colon in. */
631 if (is_name_beginner (*input_line_pointer
))
633 char *line_start
= input_line_pointer
;
638 HANDLE_CONDITIONAL_ASSEMBLY ();
640 c
= get_symbol_end ();
642 /* In MRI mode, the EQU and MACRO pseudoops must
643 be handled specially. */
647 char *rest
= input_line_pointer
+ 1;
651 if (*rest
== ' ' || *rest
== '\t')
653 if ((strncasecmp (rest
, "EQU", 3) == 0
654 || strncasecmp (rest
, "SET", 3) == 0)
655 && (rest
[3] == ' ' || rest
[3] == '\t'))
657 input_line_pointer
= rest
+ 3;
659 strncasecmp (rest
, "SET", 3) == 0);
662 if (strncasecmp (rest
, "MACRO", 5) == 0
665 || is_end_of_line
[(unsigned char) rest
[5]]))
669 /* In MRI mode, we need to handle the MACRO
670 pseudo-op specially: we don't want to put the
671 symbol in the symbol table. */
673 #ifdef TC_START_LABEL_WITHOUT_COLON
674 && TC_START_LABEL_WITHOUT_COLON(c
,
678 line_label
= colon (line_start
);
680 line_label
= symbol_create (line_start
,
685 *input_line_pointer
= c
;
687 input_line_pointer
++;
692 /* We are at the beginning of a line, or similar place.
693 We expect a well-formed assembler statement.
694 A "symbol-name:" is a statement.
696 Depending on what compiler is used, the order of these tests
697 may vary to catch most common case 1st.
698 Each test is independent of all other tests at the (top) level.
699 PLEASE make a compiler that doesn't use this assembler.
700 It is crufty to waste a compiler's time encoding things for this
701 assembler, which then wastes more time decoding it.
702 (And communicating via (linear) files is silly!
703 If you must pass stuff, please pass a tree!) */
704 if ((c
= *input_line_pointer
++) == '\t'
708 c
= *input_line_pointer
++;
710 know (c
!= ' '); /* No further leading whitespace. */
713 /* If listing is on, and we are expanding a macro, then give
714 the listing code the contents of the expanded line. */
717 if ((listing
& LISTING_MACEXP
) && macro_nest
> 0)
722 /* Find the end of the current expanded macro line. */
723 s
= find_end_of_line (input_line_pointer
- 1, flag_m68k_mri
);
728 /* Copy it for safe keeping. Also give an indication of
729 how much macro nesting is involved at this point. */
730 len
= s
- (input_line_pointer
- 1);
731 copy
= (char *) xmalloc (len
+ macro_nest
+ 2);
732 memset (copy
, '>', macro_nest
);
733 copy
[macro_nest
] = ' ';
734 memcpy (copy
+ macro_nest
+ 1, input_line_pointer
- 1, len
);
735 copy
[macro_nest
+ 1 + len
] = '\0';
737 /* Install the line with the listing facility. */
738 listing_newline (copy
);
742 listing_newline (NULL
);
745 /* C is the 1st significant character.
746 Input_line_pointer points after that character. */
747 if (is_name_beginner (c
))
749 /* Want user-defined label or pseudo/opcode. */
750 HANDLE_CONDITIONAL_ASSEMBLY ();
752 s
= --input_line_pointer
;
753 c
= get_symbol_end (); /* name's delimiter. */
755 /* C is character after symbol.
756 That character's place in the input line is now '\0'.
757 S points to the beginning of the symbol.
758 [In case of pseudo-op, s->'.'.]
759 Input_line_pointer->'\0' where c was. */
760 if (TC_START_LABEL (c
, input_line_pointer
))
764 char *rest
= input_line_pointer
+ 1;
766 /* In MRI mode, \tsym: set 0 is permitted. */
770 if (*rest
== ' ' || *rest
== '\t')
773 if ((strncasecmp (rest
, "EQU", 3) == 0
774 || strncasecmp (rest
, "SET", 3) == 0)
775 && (rest
[3] == ' ' || rest
[3] == '\t'))
777 input_line_pointer
= rest
+ 3;
783 line_label
= colon (s
); /* User-defined label. */
784 /* Put ':' back for error messages' sake. */
785 *input_line_pointer
++ = ':';
786 #ifdef tc_check_label
787 tc_check_label (line_label
);
789 /* Input_line_pointer->after ':'. */
792 else if (input_line_pointer
[1] == '='
794 || ((c
== ' ' || c
== '\t')
795 && input_line_pointer
[2] == '=')))
798 demand_empty_rest_of_line ();
801 || ((c
== ' ' || c
== '\t')
802 && input_line_pointer
[1] == '='))
803 #ifdef TC_EQUAL_IN_INSN
804 && !TC_EQUAL_IN_INSN (c
, s
)
809 demand_empty_rest_of_line ();
813 /* Expect pseudo-op or machine instruction. */
816 #ifndef TC_CASE_SENSITIVE
820 strncpy (original_case_string
, s2
, sizeof (original_case_string
));
821 original_case_string
[sizeof (original_case_string
) - 1] = 0;
830 if (NO_PSEUDO_DOT
|| flag_m68k_mri
)
832 /* The MRI assembler uses pseudo-ops without
834 pop
= (pseudo_typeS
*) hash_find (po_hash
, s
);
835 if (pop
!= NULL
&& pop
->poc_handler
== NULL
)
840 || (!flag_m68k_mri
&& *s
== '.'))
844 WARNING: c has next char, which may be end-of-line.
845 We lookup the pseudo-op table with s+1 because we
846 already know that the pseudo-op begins with a '.'. */
849 pop
= (pseudo_typeS
*) hash_find (po_hash
, s
+ 1);
850 if (pop
&& !pop
->poc_handler
)
853 /* In MRI mode, we may need to insert an
854 automatic alignment directive. What a hack
856 if (mri_pending_align
858 || !((pop
->poc_handler
== cons
859 && pop
->poc_val
== 1)
860 || (pop
->poc_handler
== s_space
861 && pop
->poc_val
== 1)
862 #ifdef tc_conditional_pseudoop
863 || tc_conditional_pseudoop (pop
)
865 || pop
->poc_handler
== s_if
866 || pop
->poc_handler
== s_ifdef
867 || pop
->poc_handler
== s_ifc
868 || pop
->poc_handler
== s_ifeqs
869 || pop
->poc_handler
== s_else
870 || pop
->poc_handler
== s_endif
871 || pop
->poc_handler
== s_globl
872 || pop
->poc_handler
== s_ignore
)))
874 do_align (1, (char *) NULL
, 0, 0);
875 mri_pending_align
= 0;
877 if (line_label
!= NULL
)
879 symbol_set_frag (line_label
, frag_now
);
880 S_SET_VALUE (line_label
, frag_now_fix ());
884 /* Print the error msg now, while we still can. */
887 char *end
= input_line_pointer
;
889 *input_line_pointer
= c
;
891 c
= *--input_line_pointer
;
892 *input_line_pointer
= '\0';
893 if (! macro_defined
|| ! try_macro (c
, s
))
896 as_bad (_("unknown pseudo-op: `%s'"), s
);
897 *input_line_pointer
++ = c
;
902 /* Put it back for error messages etc. */
903 *input_line_pointer
= c
;
904 /* The following skip of whitespace is compulsory.
905 A well shaped space is sometimes all that separates
906 keyword from operands. */
907 if (c
== ' ' || c
== '\t')
908 input_line_pointer
++;
910 /* Input_line is restored.
911 Input_line_pointer->1st non-blank char
912 after pseudo-operation. */
913 (*pop
->poc_handler
) (pop
->poc_val
);
915 /* If that was .end, just get out now. */
916 if (pop
->poc_handler
== s_end
)
921 /* WARNING: c has char, which may be end-of-line. */
922 /* Also: input_line_pointer->`\0` where c was. */
923 *input_line_pointer
= c
;
924 input_line_pointer
= _find_end_of_line (input_line_pointer
, flag_m68k_mri
, 1);
925 c
= *input_line_pointer
;
926 *input_line_pointer
= '\0';
928 generate_lineno_debug ();
930 if (macro_defined
&& try_macro (c
, s
))
933 if (mri_pending_align
)
935 do_align (1, (char *) NULL
, 0, 0);
936 mri_pending_align
= 0;
937 if (line_label
!= NULL
)
939 symbol_set_frag (line_label
, frag_now
);
940 S_SET_VALUE (line_label
, frag_now_fix ());
944 md_assemble (s
); /* Assemble 1 instruction. */
946 *input_line_pointer
++ = c
;
948 /* We resume loop AFTER the end-of-line from
955 /* Empty statement? */
956 if (is_end_of_line
[(unsigned char) c
])
959 if ((LOCAL_LABELS_DOLLAR
|| LOCAL_LABELS_FB
) && ISDIGIT (c
))
961 /* local label ("4:") */
962 char *backup
= input_line_pointer
;
964 HANDLE_CONDITIONAL_ASSEMBLY ();
968 /* Read the whole number. */
969 while (ISDIGIT (*input_line_pointer
))
971 temp
= (temp
* 10) + *input_line_pointer
- '0';
972 ++input_line_pointer
;
975 if (LOCAL_LABELS_DOLLAR
976 && *input_line_pointer
== '$'
977 && *(input_line_pointer
+ 1) == ':')
979 input_line_pointer
+= 2;
981 if (dollar_label_defined (temp
))
983 as_fatal (_("label \"%d$\" redefined"), temp
);
986 define_dollar_label (temp
);
987 colon (dollar_label_name (temp
, 0));
992 && *input_line_pointer
++ == ':')
994 fb_label_instance_inc (temp
);
995 colon (fb_label_name (temp
, 0));
999 input_line_pointer
= backup
;
1000 } /* local label ("4:") */
1002 if (c
&& strchr (line_comment_chars
, c
))
1003 { /* Its a comment. Better say APP or NO_APP. */
1008 unsigned int new_length
;
1011 s
= input_line_pointer
;
1012 if (strncmp (s
, "APP\n", 4))
1015 ignore_rest_of_line ();
1018 bump_line_counters ();
1022 ends
= strstr (s
, "#NO_APP\n");
1026 unsigned int tmp_len
;
1029 /* The end of the #APP wasn't in this buffer. We
1030 keep reading in buffers until we find the #NO_APP
1031 that goes with this #APP There is one. The specs
1033 tmp_len
= buffer_limit
- s
;
1034 tmp_buf
= xmalloc (tmp_len
+ 1);
1035 memcpy (tmp_buf
, s
, tmp_len
);
1038 new_tmp
= input_scrub_next_buffer (&buffer
);
1042 buffer_limit
= new_tmp
;
1043 input_line_pointer
= buffer
;
1044 ends
= strstr (buffer
, "#NO_APP\n");
1046 num
= ends
- buffer
;
1048 num
= buffer_limit
- buffer
;
1050 tmp_buf
= xrealloc (tmp_buf
, tmp_len
+ num
);
1051 memcpy (tmp_buf
+ tmp_len
, buffer
, num
);
1056 input_line_pointer
= ends
? ends
+ 8 : NULL
;
1064 input_line_pointer
= ends
+ 8;
1068 scrub_string_end
= ends
;
1070 new_length
= ends
- s
;
1071 new_buf
= (char *) xmalloc (new_length
);
1078 space
= (new_buf
+ new_length
) - new_tmp
;
1079 size
= do_scrub_chars (scrub_from_string
, new_tmp
, space
);
1087 new_buf
= xrealloc (new_buf
, new_length
+ 100);
1088 new_tmp
= new_buf
+ new_length
;
1095 /* We've "scrubbed" input to the preferred format. In the
1096 process we may have consumed the whole of the remaining
1097 file (and included files). We handle this formatted
1098 input similar to that of macro expansion, letting
1099 actual macro expansion (possibly nested) and other
1100 input expansion work. Beware that in messages, line
1101 numbers and possibly file names will be incorrect. */
1102 sb_add_string (&sbuf
, new_buf
);
1103 input_scrub_include_sb (&sbuf
, input_line_pointer
, 0);
1105 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
1110 HANDLE_CONDITIONAL_ASSEMBLY ();
1112 #ifdef tc_unrecognized_line
1113 if (tc_unrecognized_line (c
))
1116 input_line_pointer
--;
1117 /* Report unknown char as error. */
1118 demand_empty_rest_of_line ();
1121 #ifdef md_after_pass_hook
1122 md_after_pass_hook ();
1131 /* Close the input file. */
1132 input_scrub_close ();
1133 #ifdef WARN_COMMENTS
1135 if (warn_comment
&& found_comment
)
1136 as_warn_where (found_comment_file
, found_comment
,
1137 "first comment found here");
1142 /* Convert O_constant expression EXP into the equivalent O_big representation.
1143 Take the sign of the number from X_unsigned rather than X_add_number. */
1146 convert_to_bignum (expressionS
*exp
)
1151 value
= exp
->X_add_number
;
1152 for (i
= 0; i
< sizeof (exp
->X_add_number
) / CHARS_PER_LITTLENUM
; i
++)
1154 generic_bignum
[i
] = value
& LITTLENUM_MASK
;
1155 value
>>= LITTLENUM_NUMBER_OF_BITS
;
1157 /* Add a sequence of sign bits if the top bit of X_add_number is not
1158 the sign of the original value. */
1159 if ((exp
->X_add_number
< 0) != !exp
->X_unsigned
)
1160 generic_bignum
[i
++] = exp
->X_unsigned
? 0 : LITTLENUM_MASK
;
1162 exp
->X_add_number
= i
;
1165 /* For most MRI pseudo-ops, the line actually ends at the first
1166 nonquoted space. This function looks for that point, stuffs a null
1167 in, and sets *STOPCP to the character that used to be there, and
1168 returns the location.
1170 Until I hear otherwise, I am going to assume that this is only true
1171 for the m68k MRI assembler. */
1174 mri_comment_field (char *stopcp
)
1180 know (flag_m68k_mri
);
1182 for (s
= input_line_pointer
;
1183 ((!is_end_of_line
[(unsigned char) *s
] && *s
!= ' ' && *s
!= '\t')
1191 for (s
= input_line_pointer
;
1192 !is_end_of_line
[(unsigned char) *s
];
1202 /* Skip to the end of an MRI comment field. */
1205 mri_comment_end (char *stop
, int stopc
)
1209 input_line_pointer
= stop
;
1211 while (!is_end_of_line
[(unsigned char) *input_line_pointer
])
1212 ++input_line_pointer
;
1216 s_abort (int ignore ATTRIBUTE_UNUSED
)
1218 as_fatal (_(".abort detected. Abandoning ship."));
1221 /* Guts of .align directive. N is the power of two to which to align.
1222 FILL may be NULL, or it may point to the bytes of the fill pattern.
1223 LEN is the length of whatever FILL points to, if anything. MAX is
1224 the maximum number of characters to skip when doing the alignment,
1225 or 0 if there is no maximum. */
1228 do_align (int n
, char *fill
, int len
, int max
)
1230 if (now_seg
== absolute_section
)
1234 if (*fill
++ != '\0')
1236 as_warn (_("ignoring fill value in absolute section"));
1243 #ifdef md_flush_pending_output
1244 md_flush_pending_output ();
1247 md_do_align (n
, fill
, len
, max
, just_record_alignment
);
1250 /* Only make a frag if we HAVE to... */
1251 if (n
!= 0 && !need_pass_2
)
1255 if (subseg_text_p (now_seg
))
1256 frag_align_code (n
, max
);
1258 frag_align (n
, 0, max
);
1261 frag_align (n
, *fill
, max
);
1263 frag_align_pattern (n
, fill
, len
, max
);
1267 just_record_alignment
: ATTRIBUTE_UNUSED_LABEL
1270 record_alignment (now_seg
, n
- OCTETS_PER_BYTE_POWER
);
1273 /* Handle the .align pseudo-op. A positive ARG is a default alignment
1274 (in bytes). A negative ARG is the negative of the length of the
1275 fill pattern. BYTES_P is non-zero if the alignment value should be
1276 interpreted as the byte boundary, rather than the power of 2. */
1278 #define ALIGN_LIMIT (stdoutput->arch_info->bits_per_address - 1)
1281 s_align (int arg
, int bytes_p
)
1283 unsigned int align_limit
= ALIGN_LIMIT
;
1292 stop
= mri_comment_field (&stopc
);
1294 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
1299 align
= arg
; /* Default value from pseudo-op table. */
1303 align
= get_absolute_expression ();
1309 /* Convert to a power of 2. */
1314 for (i
= 0; (align
& 1) == 0; align
>>= 1, ++i
)
1317 as_bad (_("alignment not a power of 2"));
1323 if (align
> align_limit
)
1325 align
= align_limit
;
1326 as_warn (_("alignment too large: %u assumed"), align
);
1329 if (*input_line_pointer
!= ',')
1336 ++input_line_pointer
;
1337 if (*input_line_pointer
== ',')
1341 fill
= get_absolute_expression ();
1346 if (*input_line_pointer
!= ',')
1350 ++input_line_pointer
;
1351 max
= get_absolute_expression ();
1358 as_warn (_("expected fill pattern missing"));
1359 do_align (align
, (char *) NULL
, 0, max
);
1374 do_align (align
, &fill_char
, fill_len
, max
);
1380 if ((size_t) fill_len
> sizeof ab
)
1382 md_number_to_chars (ab
, fill
, fill_len
);
1383 do_align (align
, ab
, fill_len
, max
);
1387 demand_empty_rest_of_line ();
1390 mri_comment_end (stop
, stopc
);
1393 /* Handle the .align pseudo-op on machines where ".align 4" means
1394 align to a 4 byte boundary. */
1397 s_align_bytes (int arg
)
1402 /* Handle the .align pseudo-op on machines where ".align 4" means align
1403 to a 2**4 boundary. */
1406 s_align_ptwo (int arg
)
1411 /* Switch in and out of alternate macro mode. */
1416 demand_empty_rest_of_line ();
1417 macro_set_alternate (on
);
1421 s_comm_internal (int param
,
1422 symbolS
*(*comm_parse_extra
) (int, symbolS
*, addressT
))
1428 symbolS
*symbolP
= NULL
;
1434 stop
= mri_comment_field (&stopc
);
1436 name
= input_line_pointer
;
1437 c
= get_symbol_end ();
1438 /* Just after name is now '\0'. */
1439 p
= input_line_pointer
;
1444 as_bad (_("expected symbol name"));
1445 ignore_rest_of_line ();
1451 /* Accept an optional comma after the name. The comma used to be
1452 required, but Irix 5 cc does not generate it for .lcomm. */
1453 if (*input_line_pointer
== ',')
1454 input_line_pointer
++;
1456 temp
= get_absolute_expr (&exp
);
1458 size
&= ((offsetT
) 2 << (stdoutput
->arch_info
->bits_per_address
- 1)) - 1;
1459 if (exp
.X_op
== O_absent
)
1461 as_bad (_("missing size expression"));
1462 ignore_rest_of_line ();
1465 else if (temp
!= size
|| !exp
.X_unsigned
)
1467 as_warn (_("size (%ld) out of range, ignored"), (long) temp
);
1468 ignore_rest_of_line ();
1473 symbolP
= symbol_find_or_make (name
);
1474 if ((S_IS_DEFINED (symbolP
) || symbol_equated_p (symbolP
))
1475 && !S_IS_COMMON (symbolP
))
1477 if (!S_IS_VOLATILE (symbolP
))
1480 as_bad (_("symbol `%s' is already defined"), name
);
1482 ignore_rest_of_line ();
1485 symbolP
= symbol_clone (symbolP
, 1);
1486 S_SET_SEGMENT (symbolP
, undefined_section
);
1487 S_SET_VALUE (symbolP
, 0);
1488 symbol_set_frag (symbolP
, &zero_address_frag
);
1489 S_CLEAR_VOLATILE (symbolP
);
1492 size
= S_GET_VALUE (symbolP
);
1495 else if (size
!= temp
)
1496 as_warn (_("size of \"%s\" is already %ld; not changing to %ld"),
1497 name
, (long) size
, (long) temp
);
1500 if (comm_parse_extra
!= NULL
)
1501 symbolP
= (*comm_parse_extra
) (param
, symbolP
, size
);
1504 S_SET_VALUE (symbolP
, (valueT
) size
);
1505 S_SET_EXTERNAL (symbolP
);
1506 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
1509 extern int flag_one
;
1510 if (size
== 0 || !flag_one
)
1511 S_GET_OTHER (symbolP
) = const_flag
;
1516 demand_empty_rest_of_line ();
1519 mri_comment_end (stop
, stopc
);
1526 s_comm_internal (ignore
, NULL
);
1529 /* The MRI COMMON pseudo-op. We handle this by creating a common
1530 symbol with the appropriate name. We make s_space do the right
1531 thing by increasing the size. */
1534 s_mri_common (int small ATTRIBUTE_UNUSED
)
1550 stop
= mri_comment_field (&stopc
);
1554 name
= input_line_pointer
;
1555 if (!ISDIGIT (*name
))
1556 c
= get_symbol_end ();
1561 ++input_line_pointer
;
1563 while (ISDIGIT (*input_line_pointer
));
1565 c
= *input_line_pointer
;
1566 *input_line_pointer
= '\0';
1568 if (line_label
!= NULL
)
1570 alc
= (char *) xmalloc (strlen (S_GET_NAME (line_label
))
1571 + (input_line_pointer
- name
)
1573 sprintf (alc
, "%s%s", name
, S_GET_NAME (line_label
));
1578 sym
= symbol_find_or_make (name
);
1579 *input_line_pointer
= c
;
1583 if (*input_line_pointer
!= ',')
1587 ++input_line_pointer
;
1588 align
= get_absolute_expression ();
1591 if (S_IS_DEFINED (sym
) && !S_IS_COMMON (sym
))
1593 as_bad (_("symbol `%s' is already defined"), S_GET_NAME (sym
));
1594 ignore_rest_of_line ();
1595 mri_comment_end (stop
, stopc
);
1599 S_SET_EXTERNAL (sym
);
1600 S_SET_SEGMENT (sym
, bfd_com_section_ptr
);
1601 mri_common_symbol
= sym
;
1605 S_SET_ALIGN (sym
, align
);
1608 if (line_label
!= NULL
)
1611 exp
.X_op
= O_symbol
;
1612 exp
.X_add_symbol
= sym
;
1613 exp
.X_add_number
= 0;
1614 symbol_set_value_expression (line_label
, &exp
);
1615 symbol_set_frag (line_label
, &zero_address_frag
);
1616 S_SET_SEGMENT (line_label
, expr_section
);
1619 /* FIXME: We just ignore the small argument, which distinguishes
1620 COMMON and COMMON.S. I don't know what we can do about it. */
1622 /* Ignore the type and hptype. */
1623 if (*input_line_pointer
== ',')
1624 input_line_pointer
+= 2;
1625 if (*input_line_pointer
== ',')
1626 input_line_pointer
+= 2;
1628 demand_empty_rest_of_line ();
1630 mri_comment_end (stop
, stopc
);
1634 s_data (int ignore ATTRIBUTE_UNUSED
)
1639 temp
= get_absolute_expression ();
1640 if (flag_readonly_data_in_text
)
1642 section
= text_section
;
1646 section
= data_section
;
1648 subseg_set (section
, (subsegT
) temp
);
1653 demand_empty_rest_of_line ();
1656 /* Handle the .appfile pseudo-op. This is automatically generated by
1657 do_scrub_chars when a preprocessor # line comment is seen with a
1658 file name. This default definition may be overridden by the object
1659 or CPU specific pseudo-ops. This function is also the default
1660 definition for .file; the APPFILE argument is 1 for .appfile, 0 for
1664 s_app_file_string (char *file
, int appfile ATTRIBUTE_UNUSED
)
1668 listing_source_file (file
);
1670 register_dependency (file
);
1672 obj_app_file (file
, appfile
);
1677 s_app_file (int appfile
)
1682 /* Some assemblers tolerate immediately following '"'. */
1683 if ((s
= demand_copy_string (&length
)) != 0)
1686 = (!new_logical_line_flags (s
, -1, 1) && appfile
);
1688 /* In MRI mode, the preprocessor may have inserted an extraneous
1691 && *input_line_pointer
== '\''
1692 && is_end_of_line
[(unsigned char) input_line_pointer
[1]])
1693 ++input_line_pointer
;
1695 demand_empty_rest_of_line ();
1697 s_app_file_string (s
, appfile
);
1702 get_linefile_number (int *flag
)
1706 if (*input_line_pointer
< '0' || *input_line_pointer
> '9')
1709 *flag
= get_absolute_expression ();
1714 /* Handle the .appline pseudo-op. This is automatically generated by
1715 do_scrub_chars when a preprocessor # line comment is seen. This
1716 default definition may be overridden by the object or CPU specific
1720 s_app_line (int appline
)
1725 /* The given number is that of the next line. */
1727 l
= get_absolute_expression ();
1728 else if (!get_linefile_number (&l
))
1730 ignore_rest_of_line ();
1737 /* Some of the back ends can't deal with non-positive line numbers.
1738 Besides, it's silly. GCC however will generate a line number of
1739 zero when it is pre-processing builtins for assembler-with-cpp files:
1743 We do not want to barf on this, especially since such files are used
1744 in the GCC and GDB testsuites. So we check for negative line numbers
1745 rather than non-positive line numbers. */
1746 as_warn (_("line numbers must be positive; line number %d rejected"),
1757 if (*input_line_pointer
== '"')
1758 file
= demand_copy_string (&length
);
1764 while (get_linefile_number (&this_flag
))
1767 /* From GCC's cpp documentation:
1768 1: start of a new file.
1769 2: returning to a file after having included
1771 3: following text comes from a system header file.
1772 4: following text should be treated as extern "C".
1774 4 is nonsensical for the assembler; 3, we don't
1775 care about, so we ignore it just in case a
1776 system header file is included while
1777 preprocessing assembly. So 1 and 2 are all we
1778 care about, and they are mutually incompatible.
1779 new_logical_line_flags() demands this. */
1782 if (flags
&& flags
!= (1 << this_flag
))
1783 as_warn (_("incompatible flag %i in line directive"),
1786 flags
|= 1 << this_flag
;
1791 /* We ignore these. */
1795 as_warn (_("unsupported flag %i in line directive"),
1800 if (!is_end_of_line
[(unsigned char)*input_line_pointer
])
1805 if (appline
|| file
)
1807 new_logical_line_flags (file
, l
, flags
);
1810 listing_source_line (l
);
1814 if (appline
|| file
)
1815 demand_empty_rest_of_line ();
1817 ignore_rest_of_line ();
1820 /* Handle the .end pseudo-op. Actually, the real work is done in
1821 read_a_source_file. */
1824 s_end (int ignore ATTRIBUTE_UNUSED
)
1828 /* The MRI assembler permits the start symbol to follow .end,
1829 but we don't support that. */
1831 if (!is_end_of_line
[(unsigned char) *input_line_pointer
]
1832 && *input_line_pointer
!= '*'
1833 && *input_line_pointer
!= '!')
1834 as_warn (_("start address not supported"));
1838 /* Handle the .err pseudo-op. */
1841 s_err (int ignore ATTRIBUTE_UNUSED
)
1843 as_bad (_(".err encountered"));
1844 demand_empty_rest_of_line ();
1847 /* Handle the .error and .warning pseudo-ops. */
1853 /* The purpose for the conditional assignment is not to
1854 internationalize the directive itself, but that we need a
1855 self-contained message, one that can be passed like the
1856 demand_copy_C_string return value, and with no assumption on the
1857 location of the name of the directive within the message. */
1859 = (err
? _(".error directive invoked in source file")
1860 : _(".warning directive invoked in source file"));
1862 if (!is_it_end_of_statement ())
1864 if (*input_line_pointer
!= '\"')
1866 as_bad (_("%s argument must be a string"),
1867 err
? ".error" : ".warning");
1868 ignore_rest_of_line ();
1872 msg
= demand_copy_C_string (&len
);
1880 as_warn ("%s", msg
);
1881 demand_empty_rest_of_line ();
1884 /* Handle the MRI fail pseudo-op. */
1887 s_fail (int ignore ATTRIBUTE_UNUSED
)
1894 stop
= mri_comment_field (&stopc
);
1896 temp
= get_absolute_expression ();
1898 as_warn (_(".fail %ld encountered"), (long) temp
);
1900 as_bad (_(".fail %ld encountered"), (long) temp
);
1902 demand_empty_rest_of_line ();
1905 mri_comment_end (stop
, stopc
);
1909 s_fill (int ignore ATTRIBUTE_UNUSED
)
1911 expressionS rep_exp
;
1913 register long fill
= 0;
1916 #ifdef md_flush_pending_output
1917 md_flush_pending_output ();
1920 get_known_segmented_expression (&rep_exp
);
1921 if (*input_line_pointer
== ',')
1923 input_line_pointer
++;
1924 size
= get_absolute_expression ();
1925 if (*input_line_pointer
== ',')
1927 input_line_pointer
++;
1928 fill
= get_absolute_expression ();
1932 /* This is to be compatible with BSD 4.2 AS, not for any rational reason. */
1933 #define BSD_FILL_SIZE_CROCK_8 (8)
1934 if (size
> BSD_FILL_SIZE_CROCK_8
)
1936 as_warn (_(".fill size clamped to %d"), BSD_FILL_SIZE_CROCK_8
);
1937 size
= BSD_FILL_SIZE_CROCK_8
;
1941 as_warn (_("size negative; .fill ignored"));
1944 else if (rep_exp
.X_op
== O_constant
&& rep_exp
.X_add_number
<= 0)
1946 if (rep_exp
.X_add_number
< 0)
1947 as_warn (_("repeat < 0; .fill ignored"));
1951 if (size
&& !need_pass_2
)
1953 if (rep_exp
.X_op
== O_constant
)
1955 p
= frag_var (rs_fill
, (int) size
, (int) size
,
1956 (relax_substateT
) 0, (symbolS
*) 0,
1957 (offsetT
) rep_exp
.X_add_number
,
1962 /* We don't have a constant repeat count, so we can't use
1963 rs_fill. We can get the same results out of rs_space,
1964 but its argument is in bytes, so we must multiply the
1965 repeat count by size. */
1968 rep_sym
= make_expr_symbol (&rep_exp
);
1971 expressionS size_exp
;
1972 size_exp
.X_op
= O_constant
;
1973 size_exp
.X_add_number
= size
;
1975 rep_exp
.X_op
= O_multiply
;
1976 rep_exp
.X_add_symbol
= rep_sym
;
1977 rep_exp
.X_op_symbol
= make_expr_symbol (&size_exp
);
1978 rep_exp
.X_add_number
= 0;
1979 rep_sym
= make_expr_symbol (&rep_exp
);
1982 p
= frag_var (rs_space
, (int) size
, (int) size
,
1983 (relax_substateT
) 0, rep_sym
, (offsetT
) 0, (char *) 0);
1986 memset (p
, 0, (unsigned int) size
);
1988 /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX
1989 flavoured AS. The following bizarre behaviour is to be
1990 compatible with above. I guess they tried to take up to 8
1991 bytes from a 4-byte expression and they forgot to sign
1993 #define BSD_FILL_SIZE_CROCK_4 (4)
1994 md_number_to_chars (p
, (valueT
) fill
,
1995 (size
> BSD_FILL_SIZE_CROCK_4
1996 ? BSD_FILL_SIZE_CROCK_4
1998 /* Note: .fill (),0 emits no frag (since we are asked to .fill 0 bytes)
1999 but emits no error message because it seems a legal thing to do.
2000 It is a degenerate case of .fill but could be emitted by a
2003 demand_empty_rest_of_line ();
2007 s_globl (int ignore ATTRIBUTE_UNUSED
)
2016 stop
= mri_comment_field (&stopc
);
2020 name
= input_line_pointer
;
2021 c
= get_symbol_end ();
2022 symbolP
= symbol_find_or_make (name
);
2023 S_SET_EXTERNAL (symbolP
);
2025 *input_line_pointer
= c
;
2027 c
= *input_line_pointer
;
2030 input_line_pointer
++;
2032 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
2038 demand_empty_rest_of_line ();
2041 mri_comment_end (stop
, stopc
);
2044 /* Handle the MRI IRP and IRPC pseudo-ops. */
2055 as_where (&file
, &line
);
2058 eol
= find_end_of_line (input_line_pointer
, 0);
2059 sb_add_buffer (&s
, input_line_pointer
, eol
- input_line_pointer
);
2060 input_line_pointer
= eol
;
2064 err
= expand_irp (irpc
, 0, &s
, &out
, get_line_sb
);
2066 as_bad_where (file
, line
, "%s", err
);
2070 input_scrub_include_sb (&out
, input_line_pointer
, 1);
2072 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2075 /* Handle the .linkonce pseudo-op. This tells the assembler to mark
2076 the section to only be linked once. However, this is not supported
2077 by most object file formats. This takes an optional argument,
2078 which is what to do about duplicates. */
2081 s_linkonce (int ignore ATTRIBUTE_UNUSED
)
2083 enum linkonce_type type
;
2087 type
= LINKONCE_DISCARD
;
2089 if (!is_end_of_line
[(unsigned char) *input_line_pointer
])
2094 s
= input_line_pointer
;
2095 c
= get_symbol_end ();
2096 if (strcasecmp (s
, "discard") == 0)
2097 type
= LINKONCE_DISCARD
;
2098 else if (strcasecmp (s
, "one_only") == 0)
2099 type
= LINKONCE_ONE_ONLY
;
2100 else if (strcasecmp (s
, "same_size") == 0)
2101 type
= LINKONCE_SAME_SIZE
;
2102 else if (strcasecmp (s
, "same_contents") == 0)
2103 type
= LINKONCE_SAME_CONTENTS
;
2105 as_warn (_("unrecognized .linkonce type `%s'"), s
);
2107 *input_line_pointer
= c
;
2110 #ifdef obj_handle_link_once
2111 obj_handle_link_once (type
);
2112 #else /* ! defined (obj_handle_link_once) */
2116 if ((bfd_applicable_section_flags (stdoutput
) & SEC_LINK_ONCE
) == 0)
2117 as_warn (_(".linkonce is not supported for this object file format"));
2119 flags
= bfd_get_section_flags (stdoutput
, now_seg
);
2120 flags
|= SEC_LINK_ONCE
;
2125 case LINKONCE_DISCARD
:
2126 flags
|= SEC_LINK_DUPLICATES_DISCARD
;
2128 case LINKONCE_ONE_ONLY
:
2129 flags
|= SEC_LINK_DUPLICATES_ONE_ONLY
;
2131 case LINKONCE_SAME_SIZE
:
2132 flags
|= SEC_LINK_DUPLICATES_SAME_SIZE
;
2134 case LINKONCE_SAME_CONTENTS
:
2135 flags
|= SEC_LINK_DUPLICATES_SAME_CONTENTS
;
2138 if (!bfd_set_section_flags (stdoutput
, now_seg
, flags
))
2139 as_bad (_("bfd_set_section_flags: %s"),
2140 bfd_errmsg (bfd_get_error ()));
2142 #endif /* ! defined (obj_handle_link_once) */
2144 demand_empty_rest_of_line ();
2148 bss_alloc (symbolS
*symbolP
, addressT size
, int align
)
2151 segT current_seg
= now_seg
;
2152 subsegT current_subseg
= now_subseg
;
2153 segT bss_seg
= bss_section
;
2155 #if defined (TC_MIPS) || defined (TC_ALPHA)
2156 if (OUTPUT_FLAVOR
== bfd_target_ecoff_flavour
2157 || OUTPUT_FLAVOR
== bfd_target_elf_flavour
)
2159 /* For MIPS and Alpha ECOFF or ELF, small objects are put in .sbss. */
2160 if (size
<= bfd_get_gp_size (stdoutput
))
2162 bss_seg
= subseg_new (".sbss", 1);
2163 seg_info (bss_seg
)->bss
= 1;
2164 if (!bfd_set_section_flags (stdoutput
, bss_seg
, SEC_ALLOC
))
2165 as_warn (_("error setting flags for \".sbss\": %s"),
2166 bfd_errmsg (bfd_get_error ()));
2170 subseg_set (bss_seg
, 1);
2174 record_alignment (bss_seg
, align
);
2175 frag_align (align
, 0, 0);
2178 /* Detach from old frag. */
2179 if (S_GET_SEGMENT (symbolP
) == bss_seg
)
2180 symbol_get_frag (symbolP
)->fr_symbol
= NULL
;
2182 symbol_set_frag (symbolP
, frag_now
);
2183 pfrag
= frag_var (rs_org
, 1, 1, 0, symbolP
, size
, NULL
);
2187 S_SET_SIZE (symbolP
, size
);
2189 S_SET_SEGMENT (symbolP
, bss_seg
);
2192 /* The symbol may already have been created with a preceding
2193 ".globl" directive -- be careful not to step on storage class
2194 in that case. Otherwise, set it to static. */
2195 if (S_GET_STORAGE_CLASS (symbolP
) != C_EXT
)
2196 S_SET_STORAGE_CLASS (symbolP
, C_STAT
);
2197 #endif /* OBJ_COFF */
2199 subseg_set (current_seg
, current_subseg
);
2203 parse_align (int align_bytes
)
2209 if (*input_line_pointer
!= ',')
2212 as_bad (_("expected alignment after size"));
2213 ignore_rest_of_line ();
2217 input_line_pointer
++;
2220 align
= get_absolute_expr (&exp
);
2221 if (exp
.X_op
== O_absent
)
2224 if (!exp
.X_unsigned
)
2226 as_warn (_("alignment negative; 0 assumed"));
2230 if (align_bytes
&& align
!= 0)
2232 /* convert to a power of 2 alignment */
2233 unsigned int alignp2
= 0;
2234 while ((align
& 1) == 0)
2235 align
>>= 1, ++alignp2
;
2238 as_bad (_("alignment not a power of 2"));
2239 ignore_rest_of_line ();
2247 /* Called from s_comm_internal after symbol name and size have been
2248 parsed. NEEDS_ALIGN is 0 if it was an ".lcomm" (2 args only),
2249 1 if this was a ".bss" directive which has a 3rd argument
2250 (alignment as a power of 2), or 2 if this was a ".bss" directive
2251 with alignment in bytes. */
2254 s_lcomm_internal (int needs_align
, symbolS
*symbolP
, addressT size
)
2260 align
= parse_align (needs_align
- 1);
2261 if (align
== (addressT
) -1)
2265 /* Assume some objects may require alignment on some systems. */
2266 TC_IMPLICIT_LCOMM_ALIGNMENT (size
, align
);
2268 bss_alloc (symbolP
, size
, align
);
2273 s_lcomm (int needs_align
)
2275 s_comm_internal (needs_align
, s_lcomm_internal
);
2279 s_lcomm_bytes (int needs_align
)
2281 s_comm_internal (needs_align
* 2, s_lcomm_internal
);
2285 s_lsym (int ignore ATTRIBUTE_UNUSED
)
2287 register char *name
;
2291 register symbolS
*symbolP
;
2293 /* We permit ANY defined expression: BSD4.2 demands constants. */
2294 name
= input_line_pointer
;
2295 c
= get_symbol_end ();
2296 p
= input_line_pointer
;
2301 as_bad (_("expected symbol name"));
2302 ignore_rest_of_line ();
2308 if (*input_line_pointer
!= ',')
2311 as_bad (_("expected comma after \"%s\""), name
);
2313 ignore_rest_of_line ();
2317 input_line_pointer
++;
2318 expression_and_evaluate (&exp
);
2320 if (exp
.X_op
!= O_constant
2321 && exp
.X_op
!= O_register
)
2323 as_bad (_("bad expression"));
2324 ignore_rest_of_line ();
2329 symbolP
= symbol_find_or_make (name
);
2331 if (S_GET_SEGMENT (symbolP
) == undefined_section
)
2333 /* The name might be an undefined .global symbol; be sure to
2334 keep the "external" bit. */
2335 S_SET_SEGMENT (symbolP
,
2336 (exp
.X_op
== O_constant
2339 S_SET_VALUE (symbolP
, (valueT
) exp
.X_add_number
);
2343 as_bad (_("symbol `%s' is already defined"), name
);
2347 demand_empty_rest_of_line ();
2350 /* Read a line into an sb. Returns the character that ended the line
2351 or zero if there are no more lines. */
2354 get_line_sb (sb
*line
)
2358 if (input_line_pointer
[-1] == '\n')
2359 bump_line_counters ();
2361 if (input_line_pointer
>= buffer_limit
)
2363 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2364 if (buffer_limit
== 0)
2368 eol
= find_end_of_line (input_line_pointer
, flag_m68k_mri
);
2369 sb_add_buffer (line
, input_line_pointer
, eol
- input_line_pointer
);
2370 input_line_pointer
= eol
;
2372 /* Don't skip multiple end-of-line characters, because that breaks support
2373 for the IA-64 stop bit (;;) which looks like two consecutive end-of-line
2374 characters but isn't. Instead just skip one end of line character and
2375 return the character skipped so that the caller can re-insert it if
2377 return *input_line_pointer
++;
2380 /* Define a macro. This is an interface to macro.c. */
2383 s_macro (int ignore ATTRIBUTE_UNUSED
)
2391 as_where (&file
, &line
);
2394 eol
= find_end_of_line (input_line_pointer
, 0);
2395 sb_add_buffer (&s
, input_line_pointer
, eol
- input_line_pointer
);
2396 input_line_pointer
= eol
;
2398 if (line_label
!= NULL
)
2403 sb_add_string (&label
, S_GET_NAME (line_label
));
2404 err
= define_macro (0, &s
, &label
, get_line_sb
, file
, line
, &name
);
2408 err
= define_macro (0, &s
, NULL
, get_line_sb
, file
, line
, &name
);
2410 as_bad_where (file
, line
, err
, name
);
2413 if (line_label
!= NULL
)
2415 S_SET_SEGMENT (line_label
, absolute_section
);
2416 S_SET_VALUE (line_label
, 0);
2417 symbol_set_frag (line_label
, &zero_address_frag
);
2420 if (((NO_PSEUDO_DOT
|| flag_m68k_mri
)
2421 && hash_find (po_hash
, name
) != NULL
)
2424 && hash_find (po_hash
, name
+ 1) != NULL
))
2425 as_warn_where (file
,
2427 _("attempt to redefine pseudo-op `%s' ignored"),
2434 /* Handle the .mexit pseudo-op, which immediately exits a macro
2438 s_mexit (int ignore ATTRIBUTE_UNUSED
)
2440 cond_exit_macro (macro_nest
);
2441 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2444 /* Switch in and out of MRI mode. */
2447 s_mri (int ignore ATTRIBUTE_UNUSED
)
2451 on
= get_absolute_expression ();
2452 old_flag
= flag_mri
;
2470 /* Operator precedence changes in m68k MRI mode, so we need to
2471 update the operator rankings. */
2472 expr_set_precedence ();
2474 #ifdef MRI_MODE_CHANGE
2476 MRI_MODE_CHANGE (on
);
2479 demand_empty_rest_of_line ();
2482 /* Handle changing the location counter. */
2485 do_org (segT segment
, expressionS
*exp
, int fill
)
2487 if (segment
!= now_seg
&& segment
!= absolute_section
)
2488 as_bad (_("invalid segment \"%s\""), segment_name (segment
));
2490 if (now_seg
== absolute_section
)
2493 as_warn (_("ignoring fill value in absolute section"));
2494 if (exp
->X_op
!= O_constant
)
2496 as_bad (_("only constant offsets supported in absolute section"));
2497 exp
->X_add_number
= 0;
2499 abs_section_offset
= exp
->X_add_number
;
2504 symbolS
*sym
= exp
->X_add_symbol
;
2505 offsetT off
= exp
->X_add_number
* OCTETS_PER_BYTE
;
2507 if (exp
->X_op
!= O_constant
&& exp
->X_op
!= O_symbol
)
2509 /* Handle complex expressions. */
2510 sym
= make_expr_symbol (exp
);
2514 p
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, sym
, off
, (char *) 0);
2520 s_org (int ignore ATTRIBUTE_UNUSED
)
2522 register segT segment
;
2524 register long temp_fill
;
2526 #ifdef md_flush_pending_output
2527 md_flush_pending_output ();
2530 /* The m68k MRI assembler has a different meaning for .org. It
2531 means to create an absolute section at a given address. We can't
2532 support that--use a linker script instead. */
2535 as_bad (_("MRI style ORG pseudo-op not supported"));
2536 ignore_rest_of_line ();
2540 /* Don't believe the documentation of BSD 4.2 AS. There is no such
2541 thing as a sub-segment-relative origin. Any absolute origin is
2542 given a warning, then assumed to be segment-relative. Any
2543 segmented origin expression ("foo+42") had better be in the right
2544 segment or the .org is ignored.
2546 BSD 4.2 AS warns if you try to .org backwards. We cannot because
2547 we never know sub-segment sizes when we are reading code. BSD
2548 will crash trying to emit negative numbers of filler bytes in
2549 certain .orgs. We don't crash, but see as-write for that code.
2551 Don't make frag if need_pass_2==1. */
2552 segment
= get_known_segmented_expression (&exp
);
2553 if (*input_line_pointer
== ',')
2555 input_line_pointer
++;
2556 temp_fill
= get_absolute_expression ();
2562 do_org (segment
, &exp
, temp_fill
);
2564 demand_empty_rest_of_line ();
2567 /* Handle parsing for the MRI SECT/SECTION pseudo-op. This should be
2568 called by the obj-format routine which handles section changing
2569 when in MRI mode. It will create a new section, and return it. It
2570 will set *TYPE to the section type: one of 'C' (code), 'D' (data),
2571 'M' (mixed), or 'R' (romable). The flags will be set in the section. */
2574 s_mri_sect (char *type ATTRIBUTE_UNUSED
)
2584 name
= input_line_pointer
;
2585 if (!ISDIGIT (*name
))
2586 c
= get_symbol_end ();
2591 ++input_line_pointer
;
2593 while (ISDIGIT (*input_line_pointer
));
2595 c
= *input_line_pointer
;
2596 *input_line_pointer
= '\0';
2599 name
= xstrdup (name
);
2601 *input_line_pointer
= c
;
2603 seg
= subseg_new (name
, 0);
2605 if (*input_line_pointer
== ',')
2609 ++input_line_pointer
;
2610 align
= get_absolute_expression ();
2611 record_alignment (seg
, align
);
2615 if (*input_line_pointer
== ',')
2617 c
= *++input_line_pointer
;
2619 if (c
== 'C' || c
== 'D' || c
== 'M' || c
== 'R')
2622 as_bad (_("unrecognized section type"));
2623 ++input_line_pointer
;
2628 flags
= SEC_NO_FLAGS
;
2630 flags
= SEC_ALLOC
| SEC_LOAD
| SEC_READONLY
| SEC_CODE
;
2631 else if (*type
== 'D' || *type
== 'M')
2632 flags
= SEC_ALLOC
| SEC_LOAD
| SEC_DATA
;
2633 else if (*type
== 'R')
2634 flags
= SEC_ALLOC
| SEC_LOAD
| SEC_DATA
| SEC_READONLY
| SEC_ROM
;
2635 if (flags
!= SEC_NO_FLAGS
)
2637 if (!bfd_set_section_flags (stdoutput
, seg
, flags
))
2638 as_warn (_("error setting flags for \"%s\": %s"),
2639 bfd_section_name (stdoutput
, seg
),
2640 bfd_errmsg (bfd_get_error ()));
2645 /* Ignore the HP type. */
2646 if (*input_line_pointer
== ',')
2647 input_line_pointer
+= 2;
2649 demand_empty_rest_of_line ();
2651 #else /* ! TC_M68K */
2660 name
= input_line_pointer
;
2661 c
= get_symbol_end ();
2663 name
= xstrdup (name
);
2665 *input_line_pointer
= c
;
2667 seg
= subseg_new (name
, 0);
2669 if (*input_line_pointer
!= ',')
2675 ++input_line_pointer
;
2677 sectype
= input_line_pointer
;
2678 c
= get_symbol_end ();
2679 if (*sectype
== '\0')
2681 else if (strcasecmp (sectype
, "text") == 0)
2683 else if (strcasecmp (sectype
, "data") == 0)
2685 else if (strcasecmp (sectype
, "romdata") == 0)
2688 as_warn (_("unrecognized section type `%s'"), sectype
);
2689 *input_line_pointer
= c
;
2692 if (*input_line_pointer
== ',')
2696 ++input_line_pointer
;
2698 seccmd
= input_line_pointer
;
2699 c
= get_symbol_end ();
2700 if (strcasecmp (seccmd
, "absolute") == 0)
2702 as_bad (_("absolute sections are not supported"));
2703 *input_line_pointer
= c
;
2704 ignore_rest_of_line ();
2707 else if (strcasecmp (seccmd
, "align") == 0)
2711 *input_line_pointer
= c
;
2712 align
= get_absolute_expression ();
2713 record_alignment (seg
, align
);
2717 as_warn (_("unrecognized section command `%s'"), seccmd
);
2718 *input_line_pointer
= c
;
2722 demand_empty_rest_of_line ();
2724 #else /* ! TC_I960 */
2725 /* The MRI assembler seems to use different forms of .sect for
2726 different targets. */
2727 as_bad ("MRI mode not supported for this target");
2728 ignore_rest_of_line ();
2729 #endif /* ! TC_I960 */
2730 #endif /* ! TC_M68K */
2733 /* Handle the .print pseudo-op. */
2736 s_print (int ignore ATTRIBUTE_UNUSED
)
2741 s
= demand_copy_C_string (&len
);
2744 demand_empty_rest_of_line ();
2747 /* Handle the .purgem pseudo-op. */
2750 s_purgem (int ignore ATTRIBUTE_UNUSED
)
2752 if (is_it_end_of_statement ())
2754 demand_empty_rest_of_line ();
2764 name
= input_line_pointer
;
2765 c
= get_symbol_end ();
2766 delete_macro (name
);
2767 *input_line_pointer
= c
;
2770 while (*input_line_pointer
++ == ',');
2772 --input_line_pointer
;
2773 demand_empty_rest_of_line ();
2776 /* Handle the .endm/.endr pseudo-ops. */
2779 s_bad_end (int endr
)
2781 as_warn (_(".end%c encountered without preceeding %s"),
2783 endr
? ".rept, .irp, or .irpc" : ".macro");
2784 demand_empty_rest_of_line ();
2787 /* Handle the .rept pseudo-op. */
2790 s_rept (int ignore ATTRIBUTE_UNUSED
)
2794 count
= get_absolute_expression ();
2796 do_repeat (count
, "REPT", "ENDR");
2799 /* This function provides a generic repeat block implementation. It allows
2800 different directives to be used as the start/end keys. */
2803 do_repeat (int count
, const char *start
, const char *end
)
2809 if (!buffer_and_nest (start
, end
, &one
, get_line_sb
))
2811 as_bad (_("%s without %s"), start
, end
);
2817 sb_add_sb (&many
, &one
);
2821 input_scrub_include_sb (&many
, input_line_pointer
, 1);
2823 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2826 /* Skip to end of current repeat loop; EXTRA indicates how many additional
2827 input buffers to skip. Assumes that conditionals preceding the loop end
2828 are properly nested.
2830 This function makes it easier to implement a premature "break" out of the
2831 loop. The EXTRA arg accounts for other buffers we might have inserted,
2832 such as line substitutions. */
2835 end_repeat (int extra
)
2837 cond_exit_macro (macro_nest
);
2838 while (extra
-- >= 0)
2839 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2843 assign_symbol (char *name
, int mode
)
2847 if (name
[0] == '.' && name
[1] == '\0')
2849 /* Turn '. = mumble' into a .org mumble. */
2853 segment
= get_known_segmented_expression (&exp
);
2856 do_org (segment
, &exp
, 0);
2861 if ((symbolP
= symbol_find (name
)) == NULL
2862 && (symbolP
= md_undefined_symbol (name
)) == NULL
)
2864 symbolP
= symbol_find_or_make (name
);
2866 /* When doing symbol listings, play games with dummy fragments living
2867 outside the normal fragment chain to record the file and line info
2869 if (listing
& LISTING_SYMBOLS
)
2871 extern struct list_info_struct
*listing_tail
;
2872 fragS
*dummy_frag
= (fragS
*) xcalloc (1, sizeof (fragS
));
2873 dummy_frag
->line
= listing_tail
;
2874 dummy_frag
->fr_symbol
= symbolP
;
2875 symbol_set_frag (symbolP
, dummy_frag
);
2879 /* "set" symbols are local unless otherwise specified. */
2880 SF_SET_LOCAL (symbolP
);
2884 if (S_IS_DEFINED (symbolP
) || symbol_equated_p (symbolP
))
2886 /* Permit register names to be redefined. */
2887 if ((mode
!= 0 || !S_IS_VOLATILE (symbolP
))
2888 && S_GET_SEGMENT (symbolP
) != reg_section
)
2890 as_bad (_("symbol `%s' is already defined"), name
);
2891 symbolP
= symbol_clone (symbolP
, 0);
2893 /* If the symbol is volatile, copy the symbol and replace the
2894 original with the copy, so that previous uses of the symbol will
2895 retain the value of the symbol at the point of use. */
2896 else if (S_IS_VOLATILE (symbolP
))
2897 symbolP
= symbol_clone (symbolP
, 1);
2901 S_SET_VOLATILE (symbolP
);
2903 S_SET_FORWARD_REF (symbolP
);
2905 pseudo_set (symbolP
);
2908 /* Handle the .equ, .equiv, .eqv, and .set directives. If EQUIV is 1,
2909 then this is .equiv, and it is an error if the symbol is already
2910 defined. If EQUIV is -1, the symbol additionally is a forward
2920 /* Especial apologies for the random logic:
2921 this just grew, and could be parsed much more simply!
2923 name
= input_line_pointer
;
2924 delim
= get_symbol_end ();
2925 end_name
= input_line_pointer
;
2928 if (name
== end_name
)
2930 as_bad (_("expected symbol name"));
2931 ignore_rest_of_line ();
2937 if (*input_line_pointer
!= ',')
2940 as_bad (_("expected comma after \"%s\""), name
);
2942 ignore_rest_of_line ();
2946 input_line_pointer
++;
2949 assign_symbol (name
, equiv
);
2952 demand_empty_rest_of_line ();
2965 #ifdef md_flush_pending_output
2966 md_flush_pending_output ();
2970 stop
= mri_comment_field (&stopc
);
2972 /* In m68k MRI mode, we need to align to a word boundary, unless
2974 if (flag_m68k_mri
&& mult
> 1)
2976 if (now_seg
== absolute_section
)
2978 abs_section_offset
+= abs_section_offset
& 1;
2979 if (line_label
!= NULL
)
2980 S_SET_VALUE (line_label
, abs_section_offset
);
2982 else if (mri_common_symbol
!= NULL
)
2986 val
= S_GET_VALUE (mri_common_symbol
);
2989 S_SET_VALUE (mri_common_symbol
, val
+ 1);
2990 if (line_label
!= NULL
)
2992 expressionS
*symexp
;
2994 symexp
= symbol_get_value_expression (line_label
);
2995 know (symexp
->X_op
== O_symbol
);
2996 know (symexp
->X_add_symbol
== mri_common_symbol
);
2997 symexp
->X_add_number
+= 1;
3003 do_align (1, (char *) NULL
, 0, 0);
3004 if (line_label
!= NULL
)
3006 symbol_set_frag (line_label
, frag_now
);
3007 S_SET_VALUE (line_label
, frag_now_fix ());
3017 if (*input_line_pointer
== ',')
3019 ++input_line_pointer
;
3024 val
.X_op
= O_constant
;
3025 val
.X_add_number
= 0;
3028 if (val
.X_op
!= O_constant
3029 || val
.X_add_number
< - 0x80
3030 || val
.X_add_number
> 0xff
3031 || (mult
!= 0 && mult
!= 1 && val
.X_add_number
!= 0))
3033 resolve_expression (&exp
);
3034 if (exp
.X_op
!= O_constant
)
3035 as_bad (_("unsupported variable size or fill value"));
3042 bytes
= mult
* exp
.X_add_number
;
3043 for (i
= 0; i
< exp
.X_add_number
; i
++)
3044 emit_expr (&val
, mult
);
3049 if (now_seg
== absolute_section
|| mri_common_symbol
!= NULL
)
3050 resolve_expression (&exp
);
3052 if (exp
.X_op
== O_constant
)
3056 repeat
= exp
.X_add_number
;
3063 as_warn (_(".space repeat count is zero, ignored"));
3064 else if (repeat
< 0)
3065 as_warn (_(".space repeat count is negative, ignored"));
3069 /* If we are in the absolute section, just bump the offset. */
3070 if (now_seg
== absolute_section
)
3072 abs_section_offset
+= repeat
;
3076 /* If we are secretly in an MRI common section, then
3077 creating space just increases the size of the common
3079 if (mri_common_symbol
!= NULL
)
3081 S_SET_VALUE (mri_common_symbol
,
3082 S_GET_VALUE (mri_common_symbol
) + repeat
);
3087 p
= frag_var (rs_fill
, 1, 1, (relax_substateT
) 0, (symbolS
*) 0,
3088 (offsetT
) repeat
, (char *) 0);
3092 if (now_seg
== absolute_section
)
3094 as_bad (_("space allocation too complex in absolute section"));
3095 subseg_set (text_section
, 0);
3098 if (mri_common_symbol
!= NULL
)
3100 as_bad (_("space allocation too complex in common section"));
3101 mri_common_symbol
= NULL
;
3105 p
= frag_var (rs_space
, 1, 1, (relax_substateT
) 0,
3106 make_expr_symbol (&exp
), (offsetT
) 0, (char *) 0);
3110 *p
= val
.X_add_number
;
3115 /* In MRI mode, after an odd number of bytes, we must align to an
3116 even word boundary, unless the next instruction is a dc.b, ds.b
3118 if (flag_mri
&& (bytes
& 1) != 0)
3119 mri_pending_align
= 1;
3121 demand_empty_rest_of_line ();
3124 mri_comment_end (stop
, stopc
);
3127 /* This is like s_space, but the value is a floating point number with
3128 the given precision. This is for the MRI dcb.s pseudo-op and
3132 s_float_space (int float_type
)
3136 char temp
[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
];
3141 stop
= mri_comment_field (&stopc
);
3143 count
= get_absolute_expression ();
3146 if (*input_line_pointer
!= ',')
3148 as_bad (_("missing value"));
3149 ignore_rest_of_line ();
3151 mri_comment_end (stop
, stopc
);
3155 ++input_line_pointer
;
3159 /* Skip any 0{letter} that may be present. Don't even check if the
3160 * letter is legal. */
3161 if (input_line_pointer
[0] == '0'
3162 && ISALPHA (input_line_pointer
[1]))
3163 input_line_pointer
+= 2;
3165 /* Accept :xxxx, where the x's are hex digits, for a floating point
3166 with the exact digits specified. */
3167 if (input_line_pointer
[0] == ':')
3169 flen
= hex_float (float_type
, temp
);
3172 ignore_rest_of_line ();
3174 mri_comment_end (stop
, stopc
);
3182 err
= md_atof (float_type
, temp
, &flen
);
3183 know (flen
<= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
);
3187 as_bad (_("bad floating literal: %s"), err
);
3188 ignore_rest_of_line ();
3190 mri_comment_end (stop
, stopc
);
3195 while (--count
>= 0)
3199 p
= frag_more (flen
);
3200 memcpy (p
, temp
, (unsigned int) flen
);
3203 demand_empty_rest_of_line ();
3206 mri_comment_end (stop
, stopc
);
3209 /* Handle the .struct pseudo-op, as found in MIPS assemblers. */
3212 s_struct (int ignore ATTRIBUTE_UNUSED
)
3218 stop
= mri_comment_field (&stopc
);
3219 abs_section_offset
= get_absolute_expression ();
3220 #if defined (OBJ_ELF) || defined (OBJ_MAYBE_ELF)
3221 /* The ELF backend needs to know that we are changing sections, so
3222 that .previous works correctly. */
3224 obj_elf_section_change_hook ();
3226 subseg_set (absolute_section
, 0);
3227 demand_empty_rest_of_line ();
3229 mri_comment_end (stop
, stopc
);
3233 s_text (int ignore ATTRIBUTE_UNUSED
)
3237 temp
= get_absolute_expression ();
3238 subseg_set (text_section
, (subsegT
) temp
);
3239 demand_empty_rest_of_line ();
3241 const_flag
&= ~IN_DEFAULT_SECTION
;
3245 /* .weakref x, y sets x as an alias to y that, as long as y is not
3246 referenced directly, will cause y to become a weak symbol. */
3248 s_weakref (int ignore ATTRIBUTE_UNUSED
)
3257 name
= input_line_pointer
;
3258 delim
= get_symbol_end ();
3259 end_name
= input_line_pointer
;
3261 if (name
== end_name
)
3263 as_bad (_("expected symbol name"));
3265 ignore_rest_of_line ();
3269 symbolP
= symbol_find_or_make (name
);
3271 if (S_IS_DEFINED (symbolP
) || symbol_equated_p (symbolP
))
3273 if (!S_IS_VOLATILE (symbolP
))
3275 as_bad (_("symbol `%s' is already defined"), name
);
3277 ignore_rest_of_line ();
3280 symbolP
= symbol_clone (symbolP
, 1);
3281 S_CLEAR_VOLATILE (symbolP
);
3288 if (*input_line_pointer
!= ',')
3291 as_bad (_("expected comma after \"%s\""), name
);
3293 ignore_rest_of_line ();
3297 input_line_pointer
++;
3301 name
= input_line_pointer
;
3302 delim
= get_symbol_end ();
3303 end_name
= input_line_pointer
;
3305 if (name
== end_name
)
3307 as_bad (_("expected symbol name"));
3308 ignore_rest_of_line ();
3312 if ((symbolP2
= symbol_find_noref (name
, 1)) == NULL
3313 && (symbolP2
= md_undefined_symbol (name
)) == NULL
)
3315 symbolP2
= symbol_find_or_make (name
);
3316 S_SET_WEAKREFD (symbolP2
);
3320 symbolS
*symp
= symbolP2
;
3322 while (S_IS_WEAKREFR (symp
) && symp
!= symbolP
)
3324 expressionS
*expP
= symbol_get_value_expression (symp
);
3326 assert (expP
->X_op
== O_symbol
3327 && expP
->X_add_number
== 0);
3328 symp
= expP
->X_add_symbol
;
3330 if (symp
== symbolP
)
3334 loop
= concat (S_GET_NAME (symbolP
),
3335 " => ", S_GET_NAME (symbolP2
), NULL
);
3338 while (symp
!= symbolP
)
3340 char *old_loop
= loop
;
3341 symp
= symbol_get_value_expression (symp
)->X_add_symbol
;
3342 loop
= concat (loop
, " => ", S_GET_NAME (symp
), NULL
);
3346 as_bad (_("%s: would close weakref loop: %s"),
3347 S_GET_NAME (symbolP
), loop
);
3352 ignore_rest_of_line ();
3356 /* Short-circuiting instead of just checking here might speed
3357 things up a tiny little bit, but loop error messages would
3358 miss intermediate links. */
3359 /* symbolP2 = symp; */
3364 memset (&exp
, 0, sizeof (exp
));
3365 exp
.X_op
= O_symbol
;
3366 exp
.X_add_symbol
= symbolP2
;
3368 S_SET_SEGMENT (symbolP
, undefined_section
);
3369 symbol_set_value_expression (symbolP
, &exp
);
3370 symbol_set_frag (symbolP
, &zero_address_frag
);
3371 S_SET_WEAKREFR (symbolP
);
3373 demand_empty_rest_of_line ();
3377 /* Verify that we are at the end of a line. If not, issue an error and
3381 demand_empty_rest_of_line (void)
3384 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
3385 input_line_pointer
++;
3388 if (ISPRINT (*input_line_pointer
))
3389 as_bad (_("junk at end of line, first unrecognized character is `%c'"),
3390 *input_line_pointer
);
3392 as_bad (_("junk at end of line, first unrecognized character valued 0x%x"),
3393 *input_line_pointer
);
3394 ignore_rest_of_line ();
3397 /* Return pointing just after end-of-line. */
3398 know (is_end_of_line
[(unsigned char) input_line_pointer
[-1]]);
3401 /* Silently advance to the end of line. Use this after already having
3402 issued an error about something bad. */
3405 ignore_rest_of_line (void)
3407 while (input_line_pointer
< buffer_limit
3408 && !is_end_of_line
[(unsigned char) *input_line_pointer
])
3409 input_line_pointer
++;
3411 input_line_pointer
++;
3413 /* Return pointing just after end-of-line. */
3414 know (is_end_of_line
[(unsigned char) input_line_pointer
[-1]]);
3417 /* Sets frag for given symbol to zero_address_frag, except when the
3418 symbol frag is already set to a dummy listing frag. */
3421 set_zero_frag (symbolS
*symbolP
)
3423 if (symbol_get_frag (symbolP
)->fr_type
!= rs_dummy
)
3424 symbol_set_frag (symbolP
, &zero_address_frag
);
3427 /* In: Pointer to a symbol.
3428 Input_line_pointer->expression.
3430 Out: Input_line_pointer->just after any whitespace after expression.
3431 Tried to set symbol to value of expression.
3432 Will change symbols type, value, and frag; */
3435 pseudo_set (symbolS
*symbolP
)
3440 know (symbolP
); /* NULL pointer is logic error. */
3442 if (!S_IS_FORWARD_REF (symbolP
))
3443 (void) expression (&exp
);
3445 (void) deferred_expression (&exp
);
3447 if (exp
.X_op
== O_illegal
)
3448 as_bad (_("illegal expression"));
3449 else if (exp
.X_op
== O_absent
)
3450 as_bad (_("missing expression"));
3451 else if (exp
.X_op
== O_big
)
3453 if (exp
.X_add_number
> 0)
3454 as_bad (_("bignum invalid"));
3456 as_bad (_("floating point number invalid"));
3458 else if (exp
.X_op
== O_subtract
3459 && !S_IS_FORWARD_REF (symbolP
)
3460 && SEG_NORMAL (S_GET_SEGMENT (exp
.X_add_symbol
))
3461 && (symbol_get_frag (exp
.X_add_symbol
)
3462 == symbol_get_frag (exp
.X_op_symbol
)))
3464 exp
.X_op
= O_constant
;
3465 exp
.X_add_number
= (S_GET_VALUE (exp
.X_add_symbol
)
3466 - S_GET_VALUE (exp
.X_op_symbol
));
3469 if (symbol_section_p (symbolP
))
3471 as_bad ("attempt to set value of section symbol");
3480 exp
.X_add_number
= 0;
3483 S_SET_SEGMENT (symbolP
, absolute_section
);
3484 S_SET_VALUE (symbolP
, (valueT
) exp
.X_add_number
);
3485 set_zero_frag (symbolP
);
3489 S_SET_SEGMENT (symbolP
, reg_section
);
3490 S_SET_VALUE (symbolP
, (valueT
) exp
.X_add_number
);
3491 set_zero_frag (symbolP
);
3495 seg
= S_GET_SEGMENT (exp
.X_add_symbol
);
3496 /* For x=undef+const, create an expression symbol.
3497 For x=x+const, just update x except when x is an undefined symbol
3498 For x=defined+const, evaluate x. */
3499 if (symbolP
== exp
.X_add_symbol
3500 && (seg
!= undefined_section
3501 || !symbol_constant_p (symbolP
)))
3503 *symbol_X_add_number (symbolP
) += exp
.X_add_number
;
3506 else if (!S_IS_FORWARD_REF (symbolP
) && seg
!= undefined_section
)
3508 symbolS
*s
= exp
.X_add_symbol
;
3510 if (S_IS_COMMON (s
))
3511 as_bad (_("`%s' can't be equated to common symbol '%s'"),
3512 S_GET_NAME (symbolP
), S_GET_NAME (s
));
3514 S_SET_SEGMENT (symbolP
, seg
);
3515 S_SET_VALUE (symbolP
, exp
.X_add_number
+ S_GET_VALUE (s
));
3516 symbol_set_frag (symbolP
, symbol_get_frag (s
));
3517 copy_symbol_attributes (symbolP
, s
);
3520 S_SET_SEGMENT (symbolP
, undefined_section
);
3521 symbol_set_value_expression (symbolP
, &exp
);
3522 set_zero_frag (symbolP
);
3526 /* The value is some complex expression. */
3527 S_SET_SEGMENT (symbolP
, expr_section
);
3528 symbol_set_value_expression (symbolP
, &exp
);
3529 set_zero_frag (symbolP
);
3536 CONStruct more frag of .bytes, or .words etc.
3537 Should need_pass_2 be 1 then emit no frag(s).
3538 This understands EXPRESSIONS.
3542 This has a split personality. We use expression() to read the
3543 value. We can detect if the value won't fit in a byte or word.
3544 But we can't detect if expression() discarded significant digits
3545 in the case of a long. Not worth the crocks required to fix it. */
3547 /* Select a parser for cons expressions. */
3549 /* Some targets need to parse the expression in various fancy ways.
3550 You can define TC_PARSE_CONS_EXPRESSION to do whatever you like
3551 (for example, the HPPA does this). Otherwise, you can define
3552 BITFIELD_CONS_EXPRESSIONS to permit bitfields to be specified, or
3553 REPEAT_CONS_EXPRESSIONS to permit repeat counts. If none of these
3554 are defined, which is the normal case, then only simple expressions
3559 parse_mri_cons (expressionS
*exp
, unsigned int nbytes
);
3562 #ifndef TC_PARSE_CONS_EXPRESSION
3563 #ifdef BITFIELD_CONS_EXPRESSIONS
3564 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_bitfield_cons (EXP, NBYTES)
3566 parse_bitfield_cons (expressionS
*exp
, unsigned int nbytes
);
3568 #ifdef REPEAT_CONS_EXPRESSIONS
3569 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_repeat_cons (EXP, NBYTES)
3571 parse_repeat_cons (expressionS
*exp
, unsigned int nbytes
);
3574 /* If we haven't gotten one yet, just call expression. */
3575 #ifndef TC_PARSE_CONS_EXPRESSION
3576 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) expression (EXP)
3581 do_parse_cons_expression (expressionS
*exp
,
3582 int nbytes ATTRIBUTE_UNUSED
)
3584 TC_PARSE_CONS_EXPRESSION (exp
, nbytes
);
3588 /* Worker to do .byte etc statements.
3589 Clobbers input_line_pointer and checks end-of-line. */
3592 cons_worker (register int nbytes
, /* 1=.byte, 2=.word, 4=.long. */
3600 #ifdef md_flush_pending_output
3601 md_flush_pending_output ();
3605 stop
= mri_comment_field (&stopc
);
3607 if (is_it_end_of_statement ())
3609 demand_empty_rest_of_line ();
3611 mri_comment_end (stop
, stopc
);
3615 #ifdef TC_ADDRESS_BYTES
3617 nbytes
= TC_ADDRESS_BYTES ();
3620 #ifdef md_cons_align
3621 md_cons_align (nbytes
);
3629 parse_mri_cons (&exp
, (unsigned int) nbytes
);
3632 TC_PARSE_CONS_EXPRESSION (&exp
, (unsigned int) nbytes
);
3636 if (exp
.X_op
== O_symbol
)
3637 exp
.X_op
= O_symbol_rva
;
3639 as_fatal (_("rva without symbol"));
3641 emit_expr (&exp
, (unsigned int) nbytes
);
3644 while (*input_line_pointer
++ == ',');
3646 /* In MRI mode, after an odd number of bytes, we must align to an
3647 even word boundary, unless the next instruction is a dc.b, ds.b
3649 if (flag_mri
&& nbytes
== 1 && (c
& 1) != 0)
3650 mri_pending_align
= 1;
3652 input_line_pointer
--; /* Put terminator back into stream. */
3654 demand_empty_rest_of_line ();
3657 mri_comment_end (stop
, stopc
);
3663 cons_worker (size
, 0);
3669 cons_worker (size
, 1);
3672 /* Put the contents of expression EXP into the object file using
3673 NBYTES bytes. If need_pass_2 is 1, this does nothing. */
3676 emit_expr (expressionS
*exp
, unsigned int nbytes
)
3680 valueT extra_digit
= 0;
3682 /* Don't do anything if we are going to make another pass. */
3686 dot_value
= frag_now_fix ();
3690 /* When gcc emits DWARF 1 debugging pseudo-ops, a line number will
3691 appear as a four byte positive constant in the .line section,
3692 followed by a 2 byte 0xffff. Look for that case here. */
3694 static int dwarf_line
= -1;
3696 if (strcmp (segment_name (now_seg
), ".line") != 0)
3698 else if (dwarf_line
>= 0
3700 && exp
->X_op
== O_constant
3701 && (exp
->X_add_number
== -1 || exp
->X_add_number
== 0xffff))
3702 listing_source_line ((unsigned int) dwarf_line
);
3703 else if (nbytes
== 4
3704 && exp
->X_op
== O_constant
3705 && exp
->X_add_number
>= 0)
3706 dwarf_line
= exp
->X_add_number
;
3711 /* When gcc emits DWARF 1 debugging pseudo-ops, a file name will
3712 appear as a 2 byte TAG_compile_unit (0x11) followed by a 2 byte
3713 AT_sibling (0x12) followed by a four byte address of the sibling
3714 followed by a 2 byte AT_name (0x38) followed by the name of the
3715 file. We look for that case here. */
3717 static int dwarf_file
= 0;
3719 if (strcmp (segment_name (now_seg
), ".debug") != 0)
3721 else if (dwarf_file
== 0
3723 && exp
->X_op
== O_constant
3724 && exp
->X_add_number
== 0x11)
3726 else if (dwarf_file
== 1
3728 && exp
->X_op
== O_constant
3729 && exp
->X_add_number
== 0x12)
3731 else if (dwarf_file
== 2
3734 else if (dwarf_file
== 3
3736 && exp
->X_op
== O_constant
3737 && exp
->X_add_number
== 0x38)
3742 /* The variable dwarf_file_string tells stringer that the string
3743 may be the name of the source file. */
3744 if (dwarf_file
== 4)
3745 dwarf_file_string
= 1;
3747 dwarf_file_string
= 0;
3752 if (check_eh_frame (exp
, &nbytes
))
3757 /* Allow `.word 0' in the absolute section. */
3758 if (now_seg
== absolute_section
)
3760 if (op
!= O_constant
|| exp
->X_add_number
!= 0)
3761 as_bad (_("attempt to store value in absolute section"));
3762 abs_section_offset
+= nbytes
;
3766 /* Handle a negative bignum. */
3768 && exp
->X_add_number
== 0
3769 && symbol_get_value_expression (exp
->X_add_symbol
)->X_op
== O_big
3770 && symbol_get_value_expression (exp
->X_add_symbol
)->X_add_number
> 0)
3773 unsigned long carry
;
3775 exp
= symbol_get_value_expression (exp
->X_add_symbol
);
3777 /* Negate the bignum: one's complement each digit and add 1. */
3779 for (i
= 0; i
< exp
->X_add_number
; i
++)
3783 next
= (((~(generic_bignum
[i
] & LITTLENUM_MASK
))
3786 generic_bignum
[i
] = next
& LITTLENUM_MASK
;
3787 carry
= next
>> LITTLENUM_NUMBER_OF_BITS
;
3790 /* We can ignore any carry out, because it will be handled by
3791 extra_digit if it is needed. */
3793 extra_digit
= (valueT
) -1;
3797 if (op
== O_absent
|| op
== O_illegal
)
3799 as_warn (_("zero assumed for missing expression"));
3800 exp
->X_add_number
= 0;
3803 else if (op
== O_big
&& exp
->X_add_number
<= 0)
3805 as_bad (_("floating point number invalid"));
3806 exp
->X_add_number
= 0;
3809 else if (op
== O_register
)
3811 as_warn (_("register value used as expression"));
3815 p
= frag_more ((int) nbytes
);
3817 #ifndef WORKING_DOT_WORD
3818 /* If we have the difference of two symbols in a word, save it on
3819 the broken_words list. See the code in write.c. */
3820 if (op
== O_subtract
&& nbytes
== 2)
3822 struct broken_word
*x
;
3824 x
= (struct broken_word
*) xmalloc (sizeof (struct broken_word
));
3825 x
->next_broken_word
= broken_words
;
3828 x
->subseg
= now_subseg
;
3830 x
->word_goes_here
= p
;
3832 x
->add
= exp
->X_add_symbol
;
3833 x
->sub
= exp
->X_op_symbol
;
3834 x
->addnum
= exp
->X_add_number
;
3842 /* If we have an integer, but the number of bytes is too large to
3843 pass to md_number_to_chars, handle it as a bignum. */
3844 if (op
== O_constant
&& nbytes
> sizeof (valueT
))
3846 extra_digit
= exp
->X_unsigned
? 0 : -1;
3847 convert_to_bignum (exp
);
3851 if (op
== O_constant
)
3853 register valueT get
;
3854 register valueT use
;
3855 register valueT mask
;
3857 register valueT unmask
;
3859 /* JF << of >= number of bits in the object is undefined. In
3860 particular SPARC (Sun 4) has problems. */
3861 if (nbytes
>= sizeof (valueT
))
3864 if (nbytes
> sizeof (valueT
))
3867 hibit
= (valueT
) 1 << (nbytes
* BITS_PER_CHAR
- 1);
3871 /* Don't store these bits. */
3872 mask
= ~(valueT
) 0 << (BITS_PER_CHAR
* nbytes
);
3873 hibit
= (valueT
) 1 << (nbytes
* BITS_PER_CHAR
- 1);
3876 unmask
= ~mask
; /* Do store these bits. */
3879 "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
3880 mask
= ~(unmask
>> 1); /* Includes sign bit now. */
3883 get
= exp
->X_add_number
;
3885 if ((get
& mask
) != 0
3886 && ((get
& mask
) != mask
3887 || (get
& hibit
) == 0))
3888 { /* Leading bits contain both 0s & 1s. */
3889 as_warn (_("value 0x%lx truncated to 0x%lx"),
3890 (unsigned long) get
, (unsigned long) use
);
3892 /* Put bytes in right order. */
3893 md_number_to_chars (p
, use
, (int) nbytes
);
3895 else if (op
== O_big
)
3898 LITTLENUM_TYPE
*nums
;
3900 know (nbytes
% CHARS_PER_LITTLENUM
== 0);
3902 size
= exp
->X_add_number
* CHARS_PER_LITTLENUM
;
3905 as_warn (_("bignum truncated to %d bytes"), nbytes
);
3909 if (target_big_endian
)
3911 while (nbytes
> size
)
3913 md_number_to_chars (p
, extra_digit
, CHARS_PER_LITTLENUM
);
3914 nbytes
-= CHARS_PER_LITTLENUM
;
3915 p
+= CHARS_PER_LITTLENUM
;
3918 nums
= generic_bignum
+ size
/ CHARS_PER_LITTLENUM
;
3919 while (size
>= CHARS_PER_LITTLENUM
)
3922 md_number_to_chars (p
, (valueT
) *nums
, CHARS_PER_LITTLENUM
);
3923 size
-= CHARS_PER_LITTLENUM
;
3924 p
+= CHARS_PER_LITTLENUM
;
3929 nums
= generic_bignum
;
3930 while (size
>= CHARS_PER_LITTLENUM
)
3932 md_number_to_chars (p
, (valueT
) *nums
, CHARS_PER_LITTLENUM
);
3934 size
-= CHARS_PER_LITTLENUM
;
3935 p
+= CHARS_PER_LITTLENUM
;
3936 nbytes
-= CHARS_PER_LITTLENUM
;
3939 while (nbytes
>= CHARS_PER_LITTLENUM
)
3941 md_number_to_chars (p
, extra_digit
, CHARS_PER_LITTLENUM
);
3942 nbytes
-= CHARS_PER_LITTLENUM
;
3943 p
+= CHARS_PER_LITTLENUM
;
3949 memset (p
, 0, nbytes
);
3951 /* Now we need to generate a fixS to record the symbol value. */
3953 #ifdef TC_CONS_FIX_NEW
3954 TC_CONS_FIX_NEW (frag_now
, p
- frag_now
->fr_literal
, nbytes
, exp
);
3957 bfd_reloc_code_real_type r
;
3974 as_bad (_("unsupported BFD relocation size %u"), nbytes
);
3978 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
, (int) nbytes
, exp
,
3985 #ifdef BITFIELD_CONS_EXPRESSIONS
3987 /* i960 assemblers, (eg, asm960), allow bitfields after ".byte" as
3988 w:x,y:z, where w and y are bitwidths and x and y are values. They
3989 then pack them all together. We do a little better in that we allow
3990 them in words, longs, etc. and we'll pack them in target byte order
3993 The rules are: pack least significant bit first, if a field doesn't
3994 entirely fit, put it in the next unit. Overflowing the bitfield is
3995 explicitly *not* even a warning. The bitwidth should be considered
3998 To use this function the tc-XXX.h file should define
3999 BITFIELD_CONS_EXPRESSIONS. */
4002 parse_bitfield_cons (exp
, nbytes
)
4004 unsigned int nbytes
;
4006 unsigned int bits_available
= BITS_PER_CHAR
* nbytes
;
4007 char *hold
= input_line_pointer
;
4009 (void) expression (exp
);
4011 if (*input_line_pointer
== ':')
4018 unsigned long width
;
4020 if (*input_line_pointer
!= ':')
4022 input_line_pointer
= hold
;
4024 } /* Next piece is not a bitfield. */
4026 /* In the general case, we can't allow
4027 full expressions with symbol
4028 differences and such. The relocation
4029 entries for symbols not defined in this
4030 assembly would require arbitrary field
4031 widths, positions, and masks which most
4032 of our current object formats don't
4035 In the specific case where a symbol
4036 *is* defined in this assembly, we
4037 *could* build fixups and track it, but
4038 this could lead to confusion for the
4039 backends. I'm lazy. I'll take any
4040 SEG_ABSOLUTE. I think that means that
4041 you can use a previous .set or
4042 .equ type symbol. xoxorich. */
4044 if (exp
->X_op
== O_absent
)
4046 as_warn (_("using a bit field width of zero"));
4047 exp
->X_add_number
= 0;
4048 exp
->X_op
= O_constant
;
4049 } /* Implied zero width bitfield. */
4051 if (exp
->X_op
!= O_constant
)
4053 *input_line_pointer
= '\0';
4054 as_bad (_("field width \"%s\" too complex for a bitfield"), hold
);
4055 *input_line_pointer
= ':';
4056 demand_empty_rest_of_line ();
4058 } /* Too complex. */
4060 if ((width
= exp
->X_add_number
) > (BITS_PER_CHAR
* nbytes
))
4062 as_warn (_("field width %lu too big to fit in %d bytes: truncated to %d bits"),
4063 width
, nbytes
, (BITS_PER_CHAR
* nbytes
));
4064 width
= BITS_PER_CHAR
* nbytes
;
4067 if (width
> bits_available
)
4069 /* FIXME-SOMEDAY: backing up and reparsing is wasteful. */
4070 input_line_pointer
= hold
;
4071 exp
->X_add_number
= value
;
4076 hold
= ++input_line_pointer
;
4078 (void) expression (exp
);
4079 if (exp
->X_op
!= O_constant
)
4081 char cache
= *input_line_pointer
;
4083 *input_line_pointer
= '\0';
4084 as_bad (_("field value \"%s\" too complex for a bitfield"), hold
);
4085 *input_line_pointer
= cache
;
4086 demand_empty_rest_of_line ();
4088 } /* Too complex. */
4090 value
|= ((~(-1 << width
) & exp
->X_add_number
)
4091 << ((BITS_PER_CHAR
* nbytes
) - bits_available
));
4093 if ((bits_available
-= width
) == 0
4094 || is_it_end_of_statement ()
4095 || *input_line_pointer
!= ',')
4098 } /* All the bitfields we're gonna get. */
4100 hold
= ++input_line_pointer
;
4101 (void) expression (exp
);
4104 exp
->X_add_number
= value
;
4105 exp
->X_op
= O_constant
;
4106 exp
->X_unsigned
= 1;
4110 #endif /* BITFIELD_CONS_EXPRESSIONS */
4112 /* Handle an MRI style string expression. */
4116 parse_mri_cons (exp
, nbytes
)
4118 unsigned int nbytes
;
4120 if (*input_line_pointer
!= '\''
4121 && (input_line_pointer
[1] != '\''
4122 || (*input_line_pointer
!= 'A'
4123 && *input_line_pointer
!= 'E')))
4124 TC_PARSE_CONS_EXPRESSION (exp
, nbytes
);
4128 unsigned int result
= 0;
4130 /* An MRI style string. Cut into as many bytes as will fit into
4131 a nbyte chunk, left justify if necessary, and separate with
4132 commas so we can try again later. */
4133 if (*input_line_pointer
== 'A')
4134 ++input_line_pointer
;
4135 else if (*input_line_pointer
== 'E')
4137 as_bad (_("EBCDIC constants are not supported"));
4138 ++input_line_pointer
;
4141 input_line_pointer
++;
4142 for (scan
= 0; scan
< nbytes
; scan
++)
4144 if (*input_line_pointer
== '\'')
4146 if (input_line_pointer
[1] == '\'')
4148 input_line_pointer
++;
4153 result
= (result
<< 8) | (*input_line_pointer
++);
4157 while (scan
< nbytes
)
4163 /* Create correct expression. */
4164 exp
->X_op
= O_constant
;
4165 exp
->X_add_number
= result
;
4167 /* Fake it so that we can read the next char too. */
4168 if (input_line_pointer
[0] != '\'' ||
4169 (input_line_pointer
[0] == '\'' && input_line_pointer
[1] == '\''))
4171 input_line_pointer
-= 2;
4172 input_line_pointer
[0] = ',';
4173 input_line_pointer
[1] = '\'';
4176 input_line_pointer
++;
4179 #endif /* TC_M68K */
4181 #ifdef REPEAT_CONS_EXPRESSIONS
4183 /* Parse a repeat expression for cons. This is used by the MIPS
4184 assembler. The format is NUMBER:COUNT; NUMBER appears in the
4185 object file COUNT times.
4187 To use this for a target, define REPEAT_CONS_EXPRESSIONS. */
4190 parse_repeat_cons (exp
, nbytes
)
4192 unsigned int nbytes
;
4199 if (*input_line_pointer
!= ':')
4201 /* No repeat count. */
4205 ++input_line_pointer
;
4206 expression (&count
);
4207 if (count
.X_op
!= O_constant
4208 || count
.X_add_number
<= 0)
4210 as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4214 /* The cons function is going to output this expression once. So we
4215 output it count - 1 times. */
4216 for (i
= count
.X_add_number
- 1; i
> 0; i
--)
4217 emit_expr (exp
, nbytes
);
4220 #endif /* REPEAT_CONS_EXPRESSIONS */
4222 /* Parse a floating point number represented as a hex constant. This
4223 permits users to specify the exact bits they want in the floating
4227 hex_float (int float_type
, char *bytes
)
4259 as_bad (_("unknown floating type type '%c'"), float_type
);
4263 /* It would be nice if we could go through expression to parse the
4264 hex constant, but if we get a bignum it's a pain to sort it into
4265 the buffer correctly. */
4267 while (hex_p (*input_line_pointer
) || *input_line_pointer
== '_')
4271 /* The MRI assembler accepts arbitrary underscores strewn about
4272 through the hex constant, so we ignore them as well. */
4273 if (*input_line_pointer
== '_')
4275 ++input_line_pointer
;
4281 as_warn (_("floating point constant too large"));
4284 d
= hex_value (*input_line_pointer
) << 4;
4285 ++input_line_pointer
;
4286 while (*input_line_pointer
== '_')
4287 ++input_line_pointer
;
4288 if (hex_p (*input_line_pointer
))
4290 d
+= hex_value (*input_line_pointer
);
4291 ++input_line_pointer
;
4293 if (target_big_endian
)
4296 bytes
[length
- i
- 1] = d
;
4302 if (target_big_endian
)
4303 memset (bytes
+ i
, 0, length
- i
);
4305 memset (bytes
, 0, length
- i
);
4313 CONStruct some more frag chars of .floats .ffloats etc.
4314 Makes 0 or more new frags.
4315 If need_pass_2 == 1, no frags are emitted.
4316 This understands only floating literals, not expressions. Sorry.
4318 A floating constant is defined by atof_generic(), except it is preceded
4319 by 0d 0f 0g or 0h. After observing the STRANGE way my BSD AS does its
4320 reading, I decided to be incompatible. This always tries to give you
4321 rounded bits to the precision of the pseudo-op. Former AS did premature
4322 truncation, restored noisy bits instead of trailing 0s AND gave you
4323 a choice of 2 flavours of noise according to which of 2 floating-point
4324 scanners you directed AS to use.
4326 In: input_line_pointer->whitespace before, or '0' of flonum. */
4329 float_cons (/* Clobbers input_line-pointer, checks end-of-line. */
4330 register int float_type
/* 'f':.ffloat ... 'F':.float ... */)
4333 int length
; /* Number of chars in an object. */
4334 register char *err
; /* Error from scanning floating literal. */
4335 char temp
[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
];
4337 if (is_it_end_of_statement ())
4339 demand_empty_rest_of_line ();
4343 #ifdef md_flush_pending_output
4344 md_flush_pending_output ();
4349 /* input_line_pointer->1st char of a flonum (we hope!). */
4352 /* Skip any 0{letter} that may be present. Don't even check if the
4353 letter is legal. Someone may invent a "z" format and this routine
4354 has no use for such information. Lusers beware: you get
4355 diagnostics if your input is ill-conditioned. */
4356 if (input_line_pointer
[0] == '0'
4357 && ISALPHA (input_line_pointer
[1]))
4358 input_line_pointer
+= 2;
4360 /* Accept :xxxx, where the x's are hex digits, for a floating
4361 point with the exact digits specified. */
4362 if (input_line_pointer
[0] == ':')
4364 ++input_line_pointer
;
4365 length
= hex_float (float_type
, temp
);
4368 ignore_rest_of_line ();
4374 err
= md_atof (float_type
, temp
, &length
);
4375 know (length
<= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
);
4379 as_bad (_("bad floating literal: %s"), err
);
4380 ignore_rest_of_line ();
4391 #ifdef REPEAT_CONS_EXPRESSIONS
4392 if (*input_line_pointer
== ':')
4394 expressionS count_exp
;
4396 ++input_line_pointer
;
4397 expression (&count_exp
);
4399 if (count_exp
.X_op
!= O_constant
4400 || count_exp
.X_add_number
<= 0)
4401 as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4403 count
= count_exp
.X_add_number
;
4407 while (--count
>= 0)
4409 p
= frag_more (length
);
4410 memcpy (p
, temp
, (unsigned int) length
);
4415 while (*input_line_pointer
++ == ',');
4417 /* Put terminator back into stream. */
4418 --input_line_pointer
;
4419 demand_empty_rest_of_line ();
4422 /* Return the size of a LEB128 value. */
4425 sizeof_sleb128 (offsetT value
)
4427 register int size
= 0;
4428 register unsigned byte
;
4432 byte
= (value
& 0x7f);
4433 /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4434 Fortunately, we can structure things so that the extra work reduces
4435 to a noop on systems that do things "properly". */
4436 value
= (value
>> 7) | ~(-(offsetT
)1 >> 7);
4439 while (!(((value
== 0) && ((byte
& 0x40) == 0))
4440 || ((value
== -1) && ((byte
& 0x40) != 0))));
4446 sizeof_uleb128 (valueT value
)
4448 register int size
= 0;
4449 register unsigned byte
;
4453 byte
= (value
& 0x7f);
4463 sizeof_leb128 (valueT value
, int sign
)
4466 return sizeof_sleb128 ((offsetT
) value
);
4468 return sizeof_uleb128 (value
);
4471 /* Output a LEB128 value. */
4474 output_sleb128 (char *p
, offsetT value
)
4476 register char *orig
= p
;
4481 unsigned byte
= (value
& 0x7f);
4483 /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4484 Fortunately, we can structure things so that the extra work reduces
4485 to a noop on systems that do things "properly". */
4486 value
= (value
>> 7) | ~(-(offsetT
)1 >> 7);
4488 more
= !((((value
== 0) && ((byte
& 0x40) == 0))
4489 || ((value
== -1) && ((byte
& 0x40) != 0))));
4501 output_uleb128 (char *p
, valueT value
)
4507 unsigned byte
= (value
& 0x7f);
4510 /* More bytes to follow. */
4521 output_leb128 (char *p
, valueT value
, int sign
)
4524 return output_sleb128 (p
, (offsetT
) value
);
4526 return output_uleb128 (p
, value
);
4529 /* Do the same for bignums. We combine sizeof with output here in that
4530 we don't output for NULL values of P. It isn't really as critical as
4531 for "normal" values that this be streamlined. */
4534 output_big_sleb128 (char *p
, LITTLENUM_TYPE
*bignum
, int size
)
4541 /* Strip leading sign extensions off the bignum. */
4543 && bignum
[size
- 1] == LITTLENUM_MASK
4544 && bignum
[size
- 2] > LITTLENUM_MASK
/ 2)
4549 /* OR in the next part of the littlenum. */
4550 val
|= (*bignum
<< loaded
);
4551 loaded
+= LITTLENUM_NUMBER_OF_BITS
;
4555 /* Add bytes until there are less than 7 bits left in VAL
4556 or until every non-sign bit has been written. */
4563 || val
!= ((byte
& 0x40) == 0 ? 0 : ((valueT
) 1 << loaded
) - 1))
4570 while ((byte
& 0x80) != 0 && loaded
>= 7);
4574 /* Mop up any left-over bits (of which there will be less than 7). */
4575 if ((byte
& 0x80) != 0)
4577 /* Sign-extend VAL. */
4578 if (val
& (1 << (loaded
- 1)))
4579 val
|= ~0 << loaded
;
4589 output_big_uleb128 (char *p
, LITTLENUM_TYPE
*bignum
, int size
)
4596 /* Strip leading zeros off the bignum. */
4597 /* XXX: Is this needed? */
4598 while (size
> 0 && bignum
[size
- 1] == 0)
4603 if (loaded
< 7 && size
> 0)
4605 val
|= (*bignum
<< loaded
);
4606 loaded
+= 8 * CHARS_PER_LITTLENUM
;
4615 if (size
> 0 || val
)
4622 while (byte
& 0x80);
4628 output_big_leb128 (char *p
, LITTLENUM_TYPE
*bignum
, int size
, int sign
)
4631 return output_big_sleb128 (p
, bignum
, size
);
4633 return output_big_uleb128 (p
, bignum
, size
);
4636 /* Generate the appropriate fragments for a given expression to emit a
4640 emit_leb128_expr (expressionS
*exp
, int sign
)
4642 operatorT op
= exp
->X_op
;
4643 unsigned int nbytes
;
4645 if (op
== O_absent
|| op
== O_illegal
)
4647 as_warn (_("zero assumed for missing expression"));
4648 exp
->X_add_number
= 0;
4651 else if (op
== O_big
&& exp
->X_add_number
<= 0)
4653 as_bad (_("floating point number invalid"));
4654 exp
->X_add_number
= 0;
4657 else if (op
== O_register
)
4659 as_warn (_("register value used as expression"));
4662 else if (op
== O_constant
4664 && (exp
->X_add_number
< 0) != !exp
->X_unsigned
)
4666 /* We're outputting a signed leb128 and the sign of X_add_number
4667 doesn't reflect the sign of the original value. Convert EXP
4668 to a correctly-extended bignum instead. */
4669 convert_to_bignum (exp
);
4673 /* Let check_eh_frame know that data is being emitted. nbytes == -1 is
4674 a signal that this is leb128 data. It shouldn't optimize this away. */
4675 nbytes
= (unsigned int) -1;
4676 if (check_eh_frame (exp
, &nbytes
))
4679 /* Let the backend know that subsequent data may be byte aligned. */
4680 #ifdef md_cons_align
4684 if (op
== O_constant
)
4686 /* If we've got a constant, emit the thing directly right now. */
4688 valueT value
= exp
->X_add_number
;
4692 size
= sizeof_leb128 (value
, sign
);
4693 p
= frag_more (size
);
4694 output_leb128 (p
, value
, sign
);
4696 else if (op
== O_big
)
4698 /* O_big is a different sort of constant. */
4703 size
= output_big_leb128 (NULL
, generic_bignum
, exp
->X_add_number
, sign
);
4704 p
= frag_more (size
);
4705 output_big_leb128 (p
, generic_bignum
, exp
->X_add_number
, sign
);
4709 /* Otherwise, we have to create a variable sized fragment and
4710 resolve things later. */
4712 frag_var (rs_leb128
, sizeof_uleb128 (~(valueT
) 0), 0, sign
,
4713 make_expr_symbol (exp
), 0, (char *) NULL
);
4717 /* Parse the .sleb128 and .uleb128 pseudos. */
4724 #ifdef md_flush_pending_output
4725 md_flush_pending_output ();
4731 emit_leb128_expr (&exp
, sign
);
4733 while (*input_line_pointer
++ == ',');
4735 input_line_pointer
--;
4736 demand_empty_rest_of_line ();
4739 /* We read 0 or more ',' separated, double-quoted strings.
4740 Caller should have checked need_pass_2 is FALSE because we don't
4744 stringer (/* Worker to do .ascii etc statements. */
4745 /* Checks end-of-line. */
4746 register int append_zero
/* 0: don't append '\0', else 1. */)
4748 register unsigned int c
;
4751 #ifdef md_flush_pending_output
4752 md_flush_pending_output ();
4755 /* The following awkward logic is to parse ZERO or more strings,
4756 comma separated. Recall a string expression includes spaces
4757 before the opening '\"' and spaces after the closing '\"'.
4758 We fake a leading ',' if there is (supposed to be)
4759 a 1st, expression. We keep demanding expressions for each ','. */
4760 if (is_it_end_of_statement ())
4762 c
= 0; /* Skip loop. */
4763 ++input_line_pointer
; /* Compensate for end of loop. */
4767 c
= ','; /* Do loop. */
4769 /* If we have been switched into the abs_section then we
4770 will not have an obstack onto which we can hang strings. */
4771 if (now_seg
== absolute_section
)
4773 as_bad (_("strings must be placed into a section"));
4775 ignore_rest_of_line ();
4778 while (c
== ',' || c
== '<' || c
== '"')
4781 switch (*input_line_pointer
)
4784 ++input_line_pointer
; /*->1st char of string. */
4785 start
= input_line_pointer
;
4786 while (is_a_char (c
= next_char_of_string ()))
4788 FRAG_APPEND_1_CHAR (c
);
4792 FRAG_APPEND_1_CHAR (0);
4794 know (input_line_pointer
[-1] == '\"');
4798 /* In ELF, when gcc is emitting DWARF 1 debugging output, it
4799 will emit .string with a filename in the .debug section
4800 after a sequence of constants. See the comment in
4801 emit_expr for the sequence. emit_expr will set
4802 dwarf_file_string to non-zero if this string might be a
4803 source file name. */
4804 if (strcmp (segment_name (now_seg
), ".debug") != 0)
4805 dwarf_file_string
= 0;
4806 else if (dwarf_file_string
)
4808 c
= input_line_pointer
[-1];
4809 input_line_pointer
[-1] = '\0';
4810 listing_source_file (start
);
4811 input_line_pointer
[-1] = c
;
4818 input_line_pointer
++;
4819 c
= get_single_number ();
4820 FRAG_APPEND_1_CHAR (c
);
4821 if (*input_line_pointer
!= '>')
4823 as_bad (_("expected <nn>"));
4825 input_line_pointer
++;
4828 input_line_pointer
++;
4832 c
= *input_line_pointer
;
4835 demand_empty_rest_of_line ();
4838 /* FIXME-SOMEDAY: I had trouble here on characters with the
4839 high bits set. We'll probably also have trouble with
4840 multibyte chars, wide chars, etc. Also be careful about
4841 returning values bigger than 1 byte. xoxorich. */
4844 next_char_of_string (void)
4846 register unsigned int c
;
4848 c
= *input_line_pointer
++ & CHAR_MASK
;
4856 as_warn (_("unterminated string; newline inserted"));
4857 bump_line_counters ();
4860 #ifndef NO_STRING_ESCAPES
4862 switch (c
= *input_line_pointer
++)
4890 break; /* As itself. */
4906 for (i
= 0, number
= 0;
4907 ISDIGIT (c
) && i
< 3;
4908 c
= *input_line_pointer
++, i
++)
4910 number
= number
* 8 + c
- '0';
4915 --input_line_pointer
;
4924 c
= *input_line_pointer
++;
4925 while (ISXDIGIT (c
))
4928 number
= number
* 16 + c
- '0';
4929 else if (ISUPPER (c
))
4930 number
= number
* 16 + c
- 'A' + 10;
4932 number
= number
* 16 + c
- 'a' + 10;
4933 c
= *input_line_pointer
++;
4936 --input_line_pointer
;
4941 /* To be compatible with BSD 4.2 as: give the luser a linefeed!! */
4942 as_warn (_("unterminated string; newline inserted"));
4944 bump_line_counters ();
4949 #ifdef ONLY_STANDARD_ESCAPES
4950 as_bad (_("bad escaped character in string"));
4952 #endif /* ONLY_STANDARD_ESCAPES */
4957 #endif /* ! defined (NO_STRING_ESCAPES) */
4966 get_segmented_expression (register expressionS
*expP
)
4968 register segT retval
;
4970 retval
= expression (expP
);
4971 if (expP
->X_op
== O_illegal
4972 || expP
->X_op
== O_absent
4973 || expP
->X_op
== O_big
)
4975 as_bad (_("expected address expression"));
4976 expP
->X_op
= O_constant
;
4977 expP
->X_add_number
= 0;
4978 retval
= absolute_section
;
4984 get_known_segmented_expression (register expressionS
*expP
)
4986 register segT retval
;
4988 if ((retval
= get_segmented_expression (expP
)) == undefined_section
)
4990 /* There is no easy way to extract the undefined symbol from the
4992 if (expP
->X_add_symbol
!= NULL
4993 && S_GET_SEGMENT (expP
->X_add_symbol
) != expr_section
)
4994 as_warn (_("symbol \"%s\" undefined; zero assumed"),
4995 S_GET_NAME (expP
->X_add_symbol
));
4997 as_warn (_("some symbol undefined; zero assumed"));
4998 retval
= absolute_section
;
4999 expP
->X_op
= O_constant
;
5000 expP
->X_add_number
= 0;
5002 know (retval
== absolute_section
|| SEG_NORMAL (retval
));
5006 char /* Return terminator. */
5007 get_absolute_expression_and_terminator (long *val_pointer
/* Return value of expression. */)
5009 /* FIXME: val_pointer should probably be offsetT *. */
5010 *val_pointer
= (long) get_absolute_expression ();
5011 return (*input_line_pointer
++);
5014 /* Like demand_copy_string, but return NULL if the string contains any '\0's.
5015 Give a warning if that happens. */
5018 demand_copy_C_string (int *len_pointer
)
5022 if ((s
= demand_copy_string (len_pointer
)) != 0)
5026 for (len
= *len_pointer
; len
> 0; len
--)
5033 as_bad (_("this string may not contain \'\\0\'"));
5041 /* Demand string, but return a safe (=private) copy of the string.
5042 Return NULL if we can't read a string here. */
5045 demand_copy_string (int *lenP
)
5047 register unsigned int c
;
5053 if (*input_line_pointer
== '\"')
5055 input_line_pointer
++; /* Skip opening quote. */
5057 while (is_a_char (c
= next_char_of_string ()))
5059 obstack_1grow (¬es
, c
);
5062 /* JF this next line is so demand_copy_C_string will return a
5063 null terminated string. */
5064 obstack_1grow (¬es
, '\0');
5065 retval
= obstack_finish (¬es
);
5069 as_bad (_("missing string"));
5071 ignore_rest_of_line ();
5077 /* In: Input_line_pointer->next character.
5079 Do: Skip input_line_pointer over all whitespace.
5081 Out: 1 if input_line_pointer->end-of-line. */
5084 is_it_end_of_statement (void)
5087 return (is_end_of_line
[(unsigned char) *input_line_pointer
]);
5091 equals (char *sym_name
, int reassign
)
5096 input_line_pointer
++;
5097 if (*input_line_pointer
== '=')
5098 input_line_pointer
++;
5099 if (reassign
< 0 && *input_line_pointer
== '=')
5100 input_line_pointer
++;
5102 while (*input_line_pointer
== ' ' || *input_line_pointer
== '\t')
5103 input_line_pointer
++;
5106 stop
= mri_comment_field (&stopc
);
5108 assign_symbol (sym_name
, reassign
>= 0 ? !reassign
: reassign
);
5112 demand_empty_rest_of_line ();
5113 mri_comment_end (stop
, stopc
);
5117 /* .incbin -- include a file verbatim at the current location. */
5120 s_incbin (int x ATTRIBUTE_UNUSED
)
5131 #ifdef md_flush_pending_output
5132 md_flush_pending_output ();
5136 filename
= demand_copy_string (& len
);
5137 if (filename
== NULL
)
5142 /* Look for optional skip and count. */
5143 if (* input_line_pointer
== ',')
5145 ++ input_line_pointer
;
5146 skip
= get_absolute_expression ();
5150 if (* input_line_pointer
== ',')
5152 ++ input_line_pointer
;
5154 count
= get_absolute_expression ();
5156 as_warn (_(".incbin count zero, ignoring `%s'"), filename
);
5162 demand_empty_rest_of_line ();
5164 /* Try opening absolute path first, then try include dirs. */
5165 binfile
= fopen (filename
, FOPEN_RB
);
5166 if (binfile
== NULL
)
5170 path
= xmalloc ((unsigned long) len
+ include_dir_maxlen
+ 5);
5172 for (i
= 0; i
< include_dir_count
; i
++)
5174 sprintf (path
, "%s/%s", include_dirs
[i
], filename
);
5176 binfile
= fopen (path
, FOPEN_RB
);
5177 if (binfile
!= NULL
)
5181 if (binfile
== NULL
)
5182 as_bad (_("file not found: %s"), filename
);
5185 path
= xstrdup (filename
);
5191 register_dependency (path
);
5193 /* Compute the length of the file. */
5194 if (fseek (binfile
, 0, SEEK_END
) != 0)
5196 as_bad (_("seek to end of .incbin file failed `%s'"), path
);
5199 file_len
= ftell (binfile
);
5201 /* If a count was not specified use the remainder of the file. */
5203 count
= file_len
- skip
;
5205 if (skip
< 0 || count
< 0 || file_len
< 0 || skip
+ count
> file_len
)
5207 as_bad (_("skip (%ld) or count (%ld) invalid for file size (%ld)"),
5208 skip
, count
, file_len
);
5212 if (fseek (binfile
, skip
, SEEK_SET
) != 0)
5214 as_bad (_("could not skip to %ld in file `%s'"), skip
, path
);
5218 /* Allocate frag space and store file contents in it. */
5219 binfrag
= frag_more (count
);
5221 bytes
= fread (binfrag
, 1, count
, binfile
);
5223 as_warn (_("truncated file `%s', %ld of %ld bytes read"),
5224 path
, bytes
, count
);
5227 if (binfile
!= NULL
)
5233 /* .include -- include a file at this point. */
5236 s_include (int arg ATTRIBUTE_UNUSED
)
5245 filename
= demand_copy_string (&i
);
5246 if (filename
== NULL
)
5248 /* demand_copy_string has already printed an error and
5249 called ignore_rest_of_line. */
5257 while (!is_end_of_line
[(unsigned char) *input_line_pointer
]
5258 && *input_line_pointer
!= ' '
5259 && *input_line_pointer
!= '\t')
5261 obstack_1grow (¬es
, *input_line_pointer
);
5262 ++input_line_pointer
;
5266 obstack_1grow (¬es
, '\0');
5267 filename
= obstack_finish (¬es
);
5268 while (!is_end_of_line
[(unsigned char) *input_line_pointer
])
5269 ++input_line_pointer
;
5272 demand_empty_rest_of_line ();
5273 path
= xmalloc ((unsigned long) i
+ include_dir_maxlen
+ 5 /* slop */ );
5275 for (i
= 0; i
< include_dir_count
; i
++)
5277 strcpy (path
, include_dirs
[i
]);
5279 strcat (path
, filename
);
5280 if (0 != (try = fopen (path
, FOPEN_RT
)))
5290 /* malloc Storage leak when file is found on path. FIXME-SOMEDAY. */
5291 register_dependency (path
);
5292 input_scrub_insert_file (path
);
5296 add_include_dir (char *path
)
5300 if (include_dir_count
== 0)
5302 include_dirs
= (char **) xmalloc (2 * sizeof (*include_dirs
));
5303 include_dirs
[0] = "."; /* Current dir. */
5304 include_dir_count
= 2;
5308 include_dir_count
++;
5310 (char **) realloc (include_dirs
,
5311 include_dir_count
* sizeof (*include_dirs
));
5314 include_dirs
[include_dir_count
- 1] = path
; /* New one. */
5317 if (i
> include_dir_maxlen
)
5318 include_dir_maxlen
= i
;
5321 /* Output debugging information to denote the source file. */
5324 generate_file_debug (void)
5326 if (debug_type
== DEBUG_STABS
)
5327 stabs_generate_asm_file ();
5330 /* Output line number debugging information for the current source line. */
5333 generate_lineno_debug (void)
5337 case DEBUG_UNSPECIFIED
:
5342 stabs_generate_asm_lineno ();
5345 ecoff_generate_asm_lineno ();
5348 /* ??? We could here indicate to dwarf2dbg.c that something
5349 has changed. However, since there is additional backend
5350 support that is required (calling dwarf2_emit_insn), we
5351 let dwarf2dbg.c call as_where on its own. */
5356 /* Output debugging information to mark a function entry point or end point.
5357 END_P is zero for .func, and non-zero for .endfunc. */
5362 do_s_func (end_p
, NULL
);
5365 /* Subroutine of s_func so targets can choose a different default prefix.
5366 If DEFAULT_PREFIX is NULL, use the target's "leading char". */
5369 do_s_func (int end_p
, const char *default_prefix
)
5371 /* Record the current function so that we can issue an error message for
5372 misplaced .func,.endfunc, and also so that .endfunc needs no
5374 static char *current_name
;
5375 static char *current_label
;
5379 if (current_name
== NULL
)
5381 as_bad (_("missing .func"));
5382 ignore_rest_of_line ();
5386 if (debug_type
== DEBUG_STABS
)
5387 stabs_generate_asm_endfunc (current_name
, current_label
);
5389 current_name
= current_label
= NULL
;
5394 char delim1
, delim2
;
5396 if (current_name
!= NULL
)
5398 as_bad (_(".endfunc missing for previous .func"));
5399 ignore_rest_of_line ();
5403 name
= input_line_pointer
;
5404 delim1
= get_symbol_end ();
5405 name
= xstrdup (name
);
5406 *input_line_pointer
= delim1
;
5408 if (*input_line_pointer
!= ',')
5411 asprintf (&label
, "%s%s", default_prefix
, name
);
5414 char leading_char
= bfd_get_symbol_leading_char (stdoutput
);
5415 /* Missing entry point, use function's name with the leading
5418 asprintf (&label
, "%c%s", leading_char
, name
);
5425 ++input_line_pointer
;
5427 label
= input_line_pointer
;
5428 delim2
= get_symbol_end ();
5429 label
= xstrdup (label
);
5430 *input_line_pointer
= delim2
;
5433 if (debug_type
== DEBUG_STABS
)
5434 stabs_generate_asm_func (name
, label
);
5436 current_name
= name
;
5437 current_label
= label
;
5440 demand_empty_rest_of_line ();
5444 s_ignore (int arg ATTRIBUTE_UNUSED
)
5446 ignore_rest_of_line ();
5450 read_print_statistics (FILE *file
)
5452 hash_print_statistics (file
, "pseudo-op table", po_hash
);
5455 /* Inserts the given line into the input stream.
5457 This call avoids macro/conditionals nesting checking, since the contents of
5458 the line are assumed to replace the contents of a line already scanned.
5460 An appropriate use of this function would be substitution of input lines when
5461 called by md_start_line_hook(). The given line is assumed to already be
5462 properly scrubbed. */
5465 input_scrub_insert_line (const char *line
)
5469 sb_add_string (&newline
, line
);
5470 input_scrub_include_sb (&newline
, input_line_pointer
, 0);
5472 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
5475 /* Insert a file into the input stream; the path must resolve to an actual
5476 file; no include path searching or dependency registering is performed. */
5479 input_scrub_insert_file (char *path
)
5481 input_scrub_include_file (path
, input_line_pointer
);
5482 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
5485 /* Find the end of a line, considering quotation and escaping of quotes. */
5487 #if !defined(TC_SINGLE_QUOTE_STRINGS) && defined(SINGLE_QUOTE_STRINGS)
5488 # define TC_SINGLE_QUOTE_STRINGS 1
5492 _find_end_of_line (char *s
, int mri_string
, int insn ATTRIBUTE_UNUSED
)
5494 char inquote
= '\0';
5497 while (!is_end_of_line
[(unsigned char) *s
]
5498 || (inquote
&& !ISCNTRL (*s
))
5499 || (inquote
== '\'' && flag_mri
)
5500 #ifdef TC_EOL_IN_INSN
5501 || (insn
&& TC_EOL_IN_INSN (s
))
5505 if (mri_string
&& *s
== '\'')
5509 else if (*s
== '\\')
5513 #ifdef TC_SINGLE_QUOTE_STRINGS
5514 || (TC_SINGLE_QUOTE_STRINGS
&& *s
== '\'')
5521 as_warn (_("missing closing `%c'"), inquote
);
5523 as_warn (_("stray `\\'"));
5528 find_end_of_line (char *s
, int mri_string
)
5530 return _find_end_of_line (s
, mri_string
, 0);