1 /* read.c - read a source file -
2 Copyright (C) 1986, 87, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
3 2000 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
23 #define MASK_CHAR (0xFF) /* If your chars aren't 8 bits, you will
24 change this a bit. But then, GNU isn't
25 spozed to run on your machine anyway.
26 (RMS is so shortsighted sometimes.)
29 #define MASK_CHAR ((int)(unsigned char)-1)
33 /* This is the largest known floating point format (for now). It will
34 grow when we do 4361 style flonums. */
36 #define MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT (16)
38 /* Routines that read assembler source text to build spagetti in memory.
39 Another group of these functions is in the expr.c module. */
52 #ifndef TC_START_LABEL
53 #define TC_START_LABEL(x,y) (x==':')
56 /* Set by the object-format or the target. */
57 #ifndef TC_IMPLICIT_LCOMM_ALIGNMENT
58 #define TC_IMPLICIT_LCOMM_ALIGNMENT(SIZE, P2VAR) \
62 else if ((SIZE) >= 4) \
64 else if ((SIZE) >= 2) \
71 /* The NOP_OPCODE is for the alignment fill value.
72 * fill it a nop instruction so that the disassembler does not choke
76 #define NOP_OPCODE 0x00
79 char *input_line_pointer; /*->next char of source file to parse. */
81 #if BITS_PER_CHAR != 8
82 /* The following table is indexed by[(char)] and will break if
83 a char does not have exactly 256 states (hopefully 0:255!)! */
88 /* The m88k unfortunately uses @ as a label beginner. */
93 /* The RS/6000 assembler uses {,},[,] as parts of symbol names. */
98 /* The Delta 68k assembler permits % inside label names. */
103 /* The PowerPC Windows NT assemblers permits ? inside label names. */
108 /* The IA-64 assembler uses # as a suffix designating a symbol. We include
109 it in the symbol and strip it out in tc_canonicalize_symbol_name. */
114 /* The a29k assembler does not permits labels to start with $. */
119 /* The Delta 68k assembler permits ~ at start of label names. */
123 /* used by is_... macros. our ctype[] */
126 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* @ABCDEFGHIJKLMNO */
127 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* PQRSTUVWXYZ[\]^_ */
128 0, 0, 0, LEX_HASH, LEX_DOLLAR, LEX_PCT, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, /* _!"#$%&'()*+,-./ */
129 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, LEX_QM, /* 0123456789:;<=>? */
130 LEX_AT, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* @ABCDEFGHIJKLMNO */
131 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, 0, 3, /* PQRSTUVWXYZ[\]^_ */
132 0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* `abcdefghijklmno */
133 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, LEX_TILDE, 0, /* pqrstuvwxyz{|}~. */
134 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
135 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
136 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
137 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
138 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
139 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
140 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
141 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3
147 * Out: 1 if this character ends a line.
149 char is_end_of_line[256] =
152 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, /* @abcdefghijklmno */
154 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, /* @abcdefghijklmno */
156 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
157 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* _!"#$%&'()*+,-./ */
159 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0123456789:;<=>? */
161 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, /* 0123456789:;<=>? */
163 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
164 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
165 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
166 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
167 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
168 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
169 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
170 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
171 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */
174 /* Functions private to this file. */
176 static char *buffer; /* 1st char of each buffer of lines is here. */
177 static char *buffer_limit; /*->1 + last char in buffer. */
179 /* TARGET_BYTES_BIG_ENDIAN is required to be defined to either 0 or 1 in the
180 tc-<CPU>.h file. See the "Porting GAS" section of the internals manual. */
181 int target_big_endian = TARGET_BYTES_BIG_ENDIAN;
183 static char *old_buffer; /* JF a hack */
184 static char *old_input;
185 static char *old_limit;
187 /* Variables for handling include file directory table. */
189 char **include_dirs; /* Table of pointers to directories to
190 search for .include's */
191 int include_dir_count; /* How many are in the table */
192 int include_dir_maxlen = 1;/* Length of longest in table */
194 #ifndef WORKING_DOT_WORD
195 struct broken_word *broken_words;
196 int new_broken_words;
199 /* The current offset into the absolute section. We don't try to
200 build frags in the absolute section, since no data can be stored
201 there. We just keep track of the current offset. */
202 addressT abs_section_offset;
204 /* If this line had an MRI style label, it is stored in this variable.
205 This is used by some of the MRI pseudo-ops. */
208 /* This global variable is used to support MRI common sections. We
209 translate such sections into a common symbol. This variable is
210 non-NULL when we are in an MRI common section. */
211 symbolS *mri_common_symbol;
213 /* In MRI mode, after a dc.b pseudo-op with an odd number of bytes, we
214 need to align to an even byte boundary unless the next pseudo-op is
215 dc.b, ds.b, or dcb.b. This variable is set to 1 if an alignment
217 static int mri_pending_align;
221 /* This variable is set to be non-zero if the next string we see might
222 be the name of the source file in DWARF debugging information. See
223 the comment in emit_expr for the format we look for. */
224 static int dwarf_file_string;
228 static void cons_worker PARAMS ((int, int));
229 static int scrub_from_string PARAMS ((char *, int));
230 static void do_align PARAMS ((int, char *, int, int));
231 static void s_align PARAMS ((int, int));
232 static void s_lcomm_internal PARAMS ((int, int));
233 static int hex_float PARAMS ((int, char *));
234 static inline int sizeof_sleb128 PARAMS ((offsetT));
235 static inline int sizeof_uleb128 PARAMS ((valueT));
236 static inline int output_sleb128 PARAMS ((char *, offsetT));
237 static inline int output_uleb128 PARAMS ((char *, valueT));
238 static inline int output_big_sleb128 PARAMS ((char *, LITTLENUM_TYPE *, int));
239 static inline int output_big_uleb128 PARAMS ((char *, LITTLENUM_TYPE *, int));
240 static int output_big_leb128 PARAMS ((char *, LITTLENUM_TYPE *, int, int));
241 static void do_org PARAMS ((segT, expressionS *, int));
242 char *demand_copy_string PARAMS ((int *lenP));
243 static segT get_segmented_expression PARAMS ((expressionS *expP));
244 static segT get_known_segmented_expression PARAMS ((expressionS * expP));
245 static void pobegin PARAMS ((void));
246 static int get_line_sb PARAMS ((sb *));
247 static void generate_file_debug PARAMS ((void));
256 obj_read_begin_hook ();
258 /* Something close -- but not too close -- to a multiple of 1024.
259 The debugging malloc I'm using has 24 bytes of overhead. */
260 obstack_begin (¬es, chunksize);
261 obstack_begin (&cond_obstack, chunksize);
263 /* Use machine dependent syntax */
264 for (p = line_separator_chars; *p; p++)
265 is_end_of_line[(unsigned char) *p] = 1;
266 /* Use more. FIXME-SOMEDAY. */
272 /* set up pseudo-op tables */
274 static struct hash_control *po_hash;
276 static const pseudo_typeS potable[] =
278 {"abort", s_abort, 0},
279 {"align", s_align_ptwo, 0},
280 {"ascii", stringer, 0},
281 {"asciz", stringer, 1},
282 {"balign", s_align_bytes, 0},
283 {"balignw", s_align_bytes, -2},
284 {"balignl", s_align_bytes, -4},
288 {"common", s_mri_common, 0},
289 {"common.s", s_mri_common, 1},
293 {"dc.d", float_cons, 'd'},
295 {"dc.s", float_cons, 'f'},
297 {"dc.x", float_cons, 'x'},
299 {"dcb.b", s_space, 1},
300 {"dcb.d", s_float_space, 'd'},
301 {"dcb.l", s_space, 4},
302 {"dcb.s", s_float_space, 'f'},
303 {"dcb.w", s_space, 2},
304 {"dcb.x", s_float_space, 'x'},
306 {"ds.b", s_space, 1},
307 {"ds.d", s_space, 8},
308 {"ds.l", s_space, 4},
309 {"ds.p", s_space, 12},
310 {"ds.s", s_space, 4},
311 {"ds.w", s_space, 2},
312 {"ds.x", s_space, 12},
313 {"debug", s_ignore, 0},
318 {"double", float_cons, 'd'},
320 {"eject", listing_eject, 0}, /* Formfeed listing */
322 {"elsec", s_else, 0},
323 {"elseif", s_elseif, (int) O_ne},
325 {"endc", s_endif, 0},
326 {"endfunc", s_func, 1},
327 {"endif", s_endif, 0},
332 {"exitm", s_mexit, 0},
334 {"extern", s_ignore, 0}, /* We treat all undef as ext */
335 {"appfile", s_app_file, 1},
336 {"appline", s_app_line, 0},
338 {"file", s_app_file, 0},
340 {"float", float_cons, 'f'},
341 {"format", s_ignore, 0},
343 {"global", s_globl, 0},
344 {"globl", s_globl, 0},
346 {"if", s_if, (int) O_ne},
348 {"ifdef", s_ifdef, 0},
349 {"ifeq", s_if, (int) O_eq},
350 {"ifeqs", s_ifeqs, 0},
351 {"ifge", s_if, (int) O_ge},
352 {"ifgt", s_if, (int) O_gt},
353 {"ifle", s_if, (int) O_le},
354 {"iflt", s_if, (int) O_lt},
356 {"ifndef", s_ifdef, 1},
357 {"ifne", s_if, (int) O_ne},
358 {"ifnes", s_ifeqs, 1},
359 {"ifnotdef", s_ifdef, 1},
360 {"include", s_include, 0},
366 {"lcomm", s_lcomm, 0},
367 {"lflags", listing_flags, 0}, /* Listing flags */
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 {"noformat", s_ignore, 0},
379 {"nolist", listing_list, 0}, /* Turn listing off */
380 {"nopage", listing_nopage, 0},
382 {"offset", s_struct, 0},
384 {"p2align", s_align_ptwo, 0},
385 {"p2alignw", s_align_ptwo, -2},
386 {"p2alignl", s_align_ptwo, -4},
387 {"page", listing_eject, 0},
388 {"plen", listing_psize, 0},
389 {"print", s_print, 0},
390 {"psize", listing_psize, 0}, /* set paper size */
391 {"purgem", s_purgem, 0},
396 {"sbttl", listing_title, 1}, /* Subtitle of listing */
401 {"single", float_cons, 'f'},
403 {"space", s_space, 0},
404 {"skip", s_space, 0},
405 {"sleb128", s_leb128, 1},
406 {"spc", s_ignore, 0},
407 {"stabd", s_stab, 'd'},
408 {"stabn", s_stab, 'n'},
409 {"stabs", s_stab, 's'},
410 {"string", stringer, 1},
411 {"struct", s_struct, 0},
415 /* This is for gcc to use. It's only just been added (2/94), so gcc
416 won't be able to use it for a while -- probably a year or more.
417 But once this has been released, check with gcc maintainers
418 before deleting it or even changing the spelling. */
419 {"this_GCC_requires_the_GNU_assembler", s_ignore, 0},
420 /* If we're folding case -- done for some targets, not necessarily
421 all -- the above string in an input file will be converted to
422 this one. Match it either way... */
423 {"this_gcc_requires_the_gnu_assembler", s_ignore, 0},
425 {"title", listing_title, 0}, /* Listing title */
426 {"ttl", listing_title, 0},
428 {"uleb128", s_leb128, 0},
432 {"xdef", s_globl, 0},
433 {"xref", s_ignore, 0},
434 {"xstabs", s_xstab, 's'},
436 {"zero", s_space, 0},
437 {NULL, NULL, 0} /* end sentinel */
440 static int pop_override_ok = 0;
441 static const char *pop_table_name;
445 const pseudo_typeS *table;
448 const pseudo_typeS *pop;
449 for (pop = table; pop->poc_name; pop++)
451 errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop);
452 if (errtxt && (!pop_override_ok || strcmp (errtxt, "exists")))
453 as_fatal (_("error constructing %s pseudo-op table: %s"), pop_table_name,
458 #ifndef md_pop_insert
459 #define md_pop_insert() pop_insert(md_pseudo_table)
462 #ifndef obj_pop_insert
463 #define obj_pop_insert() pop_insert(obj_pseudo_table)
469 po_hash = hash_new ();
471 /* Do the target-specific pseudo ops. */
472 pop_table_name = "md";
475 /* Now object specific. Skip any that were in the target table. */
476 pop_table_name = "obj";
480 /* Now portable ones. Skip any that we've seen already. */
481 pop_table_name = "standard";
482 pop_insert (potable);
485 #define HANDLE_CONDITIONAL_ASSEMBLY() \
486 if (ignore_input ()) \
488 while (! is_end_of_line[(unsigned char) *input_line_pointer++]) \
489 if (input_line_pointer == buffer_limit) \
495 /* This function is used when scrubbing the characters between #APP
498 static char *scrub_string;
499 static char *scrub_string_end;
502 scrub_from_string (buf, buflen)
508 copy = scrub_string_end - scrub_string;
511 memcpy (buf, scrub_string, copy);
512 scrub_string += copy;
516 /* read_a_source_file()
518 * We read the file, putting things into a web that
519 * represents what we have been reading.
522 read_a_source_file (name)
526 register char *s; /* string of symbol, '\0' appended */
530 buffer = input_scrub_new_file (name);
533 listing_newline (NULL);
534 register_dependency (name);
536 /* Generate debugging information before we've read anything in to denote
537 this file as the "main" source file and not a subordinate one
538 (e.g. N_SO vs N_SOL in stabs). */
539 generate_file_debug ();
541 while ((buffer_limit = input_scrub_next_buffer (&input_line_pointer)) != 0)
542 { /* We have another line to parse. */
543 know (buffer_limit[-1] == '\n'); /* Must have a sentinel. */
544 contin: /* JF this goto is my fault I admit it.
545 Someone brave please re-write the whole
546 input section here? Pleeze??? */
547 while (input_line_pointer < buffer_limit)
549 /* We have more of this buffer to parse. */
552 * We now have input_line_pointer->1st char of next line.
553 * If input_line_pointer [-1] == '\n' then we just
554 * scanned another line: so bump line counters.
556 if (is_end_of_line[(unsigned char) input_line_pointer[-1]])
558 #ifdef md_start_line_hook
559 md_start_line_hook ();
562 if (input_line_pointer[-1] == '\n')
563 bump_line_counters ();
567 if (LABELS_WITHOUT_COLONS || flag_m68k_mri)
569 /* Text at the start of a line must be a label, we
570 run down and stick a colon in. */
571 if (is_name_beginner (*input_line_pointer))
573 char *line_start = input_line_pointer;
578 HANDLE_CONDITIONAL_ASSEMBLY ();
580 c = get_symbol_end ();
582 /* In MRI mode, the EQU and MACRO pseudoops must
583 be handled specially. */
587 char *rest = input_line_pointer + 1;
591 if (*rest == ' ' || *rest == '\t')
593 if ((strncasecmp (rest, "EQU", 3) == 0
594 || strncasecmp (rest, "SET", 3) == 0)
595 && (rest[3] == ' ' || rest[3] == '\t'))
597 input_line_pointer = rest + 3;
599 strncasecmp (rest, "SET", 3) == 0);
602 if (strncasecmp (rest, "MACRO", 5) == 0
605 || is_end_of_line[(unsigned char) rest[5]]))
609 /* In MRI mode, we need to handle the MACRO
610 pseudo-op specially: we don't want to put the
611 symbol in the symbol table. */
613 #ifdef TC_START_LABEL_WITHOUT_COLON
614 && TC_START_LABEL_WITHOUT_COLON(c,
618 line_label = colon (line_start);
620 line_label = symbol_create (line_start,
625 *input_line_pointer = c;
627 input_line_pointer++;
633 * We are at the begining of a line, or similar place.
634 * We expect a well-formed assembler statement.
635 * A "symbol-name:" is a statement.
637 * Depending on what compiler is used, the order of these tests
638 * may vary to catch most common case 1st.
639 * Each test is independent of all other tests at the (top) level.
640 * PLEASE make a compiler that doesn't use this assembler.
641 * It is crufty to waste a compiler's time encoding things for this
642 * assembler, which then wastes more time decoding it.
643 * (And communicating via (linear) files is silly!
644 * If you must pass stuff, please pass a tree!)
646 if ((c = *input_line_pointer++) == '\t'
651 c = *input_line_pointer++;
653 know (c != ' '); /* No further leading whitespace. */
656 /* If listing is on, and we are expanding a macro, then give
657 the listing code the contents of the expanded line. */
660 if ((listing & LISTING_MACEXP) && macro_nest > 0)
665 /* Find the end of the current expanded macro line. */
666 for (s = input_line_pointer-1; *s ; ++s)
667 if (is_end_of_line[(unsigned char) *s])
670 /* Copy it for safe keeping. Also give an indication of
671 how much macro nesting is involved at this point. */
672 len = s - (input_line_pointer-1);
673 copy = (char *) xmalloc (len + macro_nest + 2);
674 memset (copy, '>', macro_nest);
675 copy[macro_nest] = ' ';
676 memcpy (copy + macro_nest + 1, input_line_pointer-1, len);
677 copy[macro_nest+1+len] = '\0';
679 /* Install the line with the listing facility. */
680 listing_newline (copy);
683 listing_newline (NULL);
688 * C is the 1st significant character.
689 * Input_line_pointer points after that character.
691 if (is_name_beginner (c))
693 /* want user-defined label or pseudo/opcode */
694 HANDLE_CONDITIONAL_ASSEMBLY ();
696 s = --input_line_pointer;
697 c = get_symbol_end (); /* name's delimiter */
699 * C is character after symbol.
700 * That character's place in the input line is now '\0'.
701 * S points to the beginning of the symbol.
702 * [In case of pseudo-op, s->'.'.]
703 * Input_line_pointer->'\0' where c was.
705 if (TC_START_LABEL(c, input_line_pointer))
709 char *rest = input_line_pointer + 1;
711 /* In MRI mode, \tsym: set 0 is permitted. */
715 if (*rest == ' ' || *rest == '\t')
717 if ((strncasecmp (rest, "EQU", 3) == 0
718 || strncasecmp (rest, "SET", 3) == 0)
719 && (rest[3] == ' ' || rest[3] == '\t'))
721 input_line_pointer = rest + 3;
727 line_label = colon (s); /* user-defined label */
728 *input_line_pointer++ = ':'; /* Put ':' back for error messages' sake. */
729 /* Input_line_pointer->after ':'. */
735 || ((c == ' ' || c == '\t')
736 && input_line_pointer[1] == '='
737 #ifdef TC_EQUAL_IN_INSN
738 && ! TC_EQUAL_IN_INSN (c, input_line_pointer)
743 demand_empty_rest_of_line ();
746 { /* expect pseudo-op or machine instruction */
749 #define IGNORE_OPCODE_CASE
750 #ifdef IGNORE_OPCODE_CASE
755 if (isupper ((unsigned char) *s2))
762 if (NO_PSEUDO_DOT || flag_m68k_mri)
764 /* The MRI assembler and the m88k use pseudo-ops
766 pop = (pseudo_typeS *) hash_find (po_hash, s);
767 if (pop != NULL && pop->poc_handler == NULL)
772 || (! flag_m68k_mri && *s == '.'))
777 * WARNING: c has next char, which may be end-of-line.
778 * We lookup the pseudo-op table with s+1 because we
779 * already know that the pseudo-op begins with a '.'.
783 pop = (pseudo_typeS *) hash_find (po_hash, s + 1);
785 /* In MRI mode, we may need to insert an
786 automatic alignment directive. What a hack
788 if (mri_pending_align
790 || ! ((pop->poc_handler == cons
791 && pop->poc_val == 1)
792 || (pop->poc_handler == s_space
793 && pop->poc_val == 1)
794 #ifdef tc_conditional_pseudoop
795 || tc_conditional_pseudoop (pop)
797 || pop->poc_handler == s_if
798 || pop->poc_handler == s_ifdef
799 || pop->poc_handler == s_ifc
800 || pop->poc_handler == s_ifeqs
801 || pop->poc_handler == s_else
802 || pop->poc_handler == s_endif
803 || pop->poc_handler == s_globl
804 || pop->poc_handler == s_ignore)))
806 do_align (1, (char *) NULL, 0, 0);
807 mri_pending_align = 0;
808 if (line_label != NULL)
810 symbol_set_frag (line_label, frag_now);
811 S_SET_VALUE (line_label, frag_now_fix ());
815 /* Print the error msg now, while we still can */
818 as_bad (_("Unknown pseudo-op: `%s'"), s);
819 *input_line_pointer = c;
824 /* Put it back for error messages etc. */
825 *input_line_pointer = c;
826 /* The following skip of whitespace is compulsory.
827 A well shaped space is sometimes all that separates
828 keyword from operands. */
829 if (c == ' ' || c == '\t')
830 input_line_pointer++;
832 * Input_line is restored.
833 * Input_line_pointer->1st non-blank char
834 * after pseudo-operation.
836 (*pop->poc_handler) (pop->poc_val);
838 /* If that was .end, just get out now. */
839 if (pop->poc_handler == s_end)
845 #ifdef QUOTES_IN_INSN
849 /* WARNING: c has char, which may be end-of-line. */
850 /* Also: input_line_pointer->`\0` where c was. */
851 *input_line_pointer = c;
852 while (!is_end_of_line[(unsigned char) *input_line_pointer]
854 #ifdef TC_EOL_IN_INSN
855 || TC_EOL_IN_INSN (input_line_pointer)
859 if (flag_m68k_mri && *input_line_pointer == '\'')
861 #ifdef QUOTES_IN_INSN
864 else if (*input_line_pointer == '"')
866 else if (*input_line_pointer == '\\')
869 input_line_pointer++;
872 c = *input_line_pointer;
873 *input_line_pointer = '\0';
875 generate_lineno_debug ();
883 if (check_macro (s, &out, '\0', &err, ¯o))
887 *input_line_pointer++ = c;
888 input_scrub_include_sb (&out,
889 input_line_pointer, 1);
892 input_scrub_next_buffer (&input_line_pointer);
894 md_macro_info (macro);
900 if (mri_pending_align)
902 do_align (1, (char *) NULL, 0, 0);
903 mri_pending_align = 0;
904 if (line_label != NULL)
906 symbol_set_frag (line_label, frag_now);
907 S_SET_VALUE (line_label, frag_now_fix ());
911 md_assemble (s); /* Assemble 1 instruction. */
913 *input_line_pointer++ = c;
915 /* We resume loop AFTER the end-of-line from
920 } /* if (is_name_beginner(c) */
923 /* Empty statement? */
924 if (is_end_of_line[(unsigned char) c])
927 if ((LOCAL_LABELS_DOLLAR || LOCAL_LABELS_FB)
928 && isdigit ((unsigned char) c))
930 /* local label ("4:") */
931 char *backup = input_line_pointer;
933 HANDLE_CONDITIONAL_ASSEMBLY ();
937 while (isdigit ((unsigned char) *input_line_pointer))
939 temp = (temp * 10) + *input_line_pointer - '0';
940 ++input_line_pointer;
941 } /* read the whole number */
943 if (LOCAL_LABELS_DOLLAR
944 && *input_line_pointer == '$'
945 && *(input_line_pointer + 1) == ':')
947 input_line_pointer += 2;
949 if (dollar_label_defined (temp))
951 as_fatal (_("label \"%d$\" redefined"), temp);
954 define_dollar_label (temp);
955 colon (dollar_label_name (temp, 0));
960 && *input_line_pointer++ == ':')
962 fb_label_instance_inc (temp);
963 colon (fb_label_name (temp, 0));
967 input_line_pointer = backup;
968 } /* local label ("4:") */
970 if (c && strchr (line_comment_chars, c))
971 { /* Its a comment. Better say APP or NO_APP */
975 unsigned int new_length;
978 bump_line_counters ();
979 s = input_line_pointer;
980 if (strncmp (s, "APP\n", 4))
981 continue; /* We ignore it */
984 ends = strstr (s, "#NO_APP\n");
988 unsigned int tmp_len;
991 /* The end of the #APP wasn't in this buffer. We
992 keep reading in buffers until we find the #NO_APP
993 that goes with this #APP There is one. The specs
995 tmp_len = buffer_limit - s;
996 tmp_buf = xmalloc (tmp_len + 1);
997 memcpy (tmp_buf, s, tmp_len);
1000 new_tmp = input_scrub_next_buffer (&buffer);
1004 buffer_limit = new_tmp;
1005 input_line_pointer = buffer;
1006 ends = strstr (buffer, "#NO_APP\n");
1008 num = ends - buffer;
1010 num = buffer_limit - buffer;
1012 tmp_buf = xrealloc (tmp_buf, tmp_len + num);
1013 memcpy (tmp_buf + tmp_len, buffer, num);
1018 input_line_pointer = ends ? ends + 8 : NULL;
1026 input_line_pointer = ends + 8;
1030 scrub_string_end = ends;
1032 new_length = ends - s;
1033 new_buf = (char *) xmalloc (new_length);
1040 space = (new_buf + new_length) - new_tmp;
1041 size = do_scrub_chars (scrub_from_string, new_tmp, space);
1049 new_buf = xrealloc (new_buf, new_length + 100);
1050 new_tmp = new_buf + new_length;
1056 old_buffer = buffer;
1057 old_input = input_line_pointer;
1058 old_limit = buffer_limit;
1060 input_line_pointer = new_buf;
1061 buffer_limit = new_tmp;
1065 HANDLE_CONDITIONAL_ASSEMBLY ();
1067 #ifdef tc_unrecognized_line
1068 if (tc_unrecognized_line (c))
1072 /* as_warn("Junk character %d.",c); Now done by ignore_rest */
1073 input_line_pointer--; /* Report unknown char as ignored. */
1074 ignore_rest_of_line ();
1075 } /* while (input_line_pointer<buffer_limit) */
1077 #ifdef md_after_pass_hook
1078 md_after_pass_hook ();
1084 bump_line_counters ();
1087 buffer = old_buffer;
1088 input_line_pointer = old_input;
1089 buffer_limit = old_limit;
1094 } /* while (more buffers to scan) */
1101 input_scrub_close (); /* Close the input file */
1104 /* For most MRI pseudo-ops, the line actually ends at the first
1105 nonquoted space. This function looks for that point, stuffs a null
1106 in, and sets *STOPCP to the character that used to be there, and
1107 returns the location.
1109 Until I hear otherwise, I am going to assume that this is only true
1110 for the m68k MRI assembler. */
1113 mri_comment_field (stopcp)
1121 know (flag_m68k_mri);
1123 for (s = input_line_pointer;
1124 ((! is_end_of_line[(unsigned char) *s] && *s != ' ' && *s != '\t')
1129 inquote = ! inquote;
1139 for (s = input_line_pointer; ! is_end_of_line[(unsigned char) *s]; s++)
1149 /* Skip to the end of an MRI comment field. */
1152 mri_comment_end (stop, stopc)
1158 input_line_pointer = stop;
1160 while (! is_end_of_line[(unsigned char) *input_line_pointer])
1161 ++input_line_pointer;
1166 int ignore ATTRIBUTE_UNUSED;
1168 as_fatal (_(".abort detected. Abandoning ship."));
1171 /* Guts of .align directive. N is the power of two to which to align.
1172 FILL may be NULL, or it may point to the bytes of the fill pattern.
1173 LEN is the length of whatever FILL points to, if anything. MAX is
1174 the maximum number of characters to skip when doing the alignment,
1175 or 0 if there is no maximum. */
1178 do_align (n, fill, len, max)
1187 md_do_align (n, fill, len, max, just_record_alignment);
1192 if (subseg_text_p (now_seg))
1193 default_fill = NOP_OPCODE;
1196 fill = &default_fill;
1200 /* Only make a frag if we HAVE to. . . */
1201 if (n != 0 && !need_pass_2)
1204 frag_align (n, *fill, max);
1206 frag_align_pattern (n, fill, len, max);
1210 just_record_alignment:
1213 record_alignment (now_seg, n - OCTETS_PER_BYTE_POWER);
1216 /* Handle the .align pseudo-op. A positive ARG is a default alignment
1217 (in bytes). A negative ARG is the negative of the length of the
1218 fill pattern. BYTES_P is non-zero if the alignment value should be
1219 interpreted as the byte boundary, rather than the power of 2. */
1222 s_align (arg, bytes_p)
1226 register unsigned int align;
1234 stop = mri_comment_field (&stopc);
1236 if (is_end_of_line[(unsigned char) *input_line_pointer])
1241 align = arg; /* Default value from pseudo-op table */
1245 align = get_absolute_expression ();
1251 /* Convert to a power of 2. */
1256 for (i = 0; (align & 1) == 0; align >>= 1, ++i)
1259 as_bad (_("Alignment not a power of 2"));
1267 as_bad (_("Alignment too large: %u assumed"), align);
1270 if (*input_line_pointer != ',')
1277 ++input_line_pointer;
1278 if (*input_line_pointer == ',')
1282 fill = get_absolute_expression ();
1287 if (*input_line_pointer != ',')
1291 ++input_line_pointer;
1292 max = get_absolute_expression ();
1299 as_warn (_("expected fill pattern missing"));
1300 do_align (align, (char *) NULL, 0, max);
1315 do_align (align, &fill_char, fill_len, max);
1321 if ((size_t) fill_len > sizeof ab)
1323 md_number_to_chars (ab, fill, fill_len);
1324 do_align (align, ab, fill_len, max);
1328 demand_empty_rest_of_line ();
1331 mri_comment_end (stop, stopc);
1334 /* Handle the .align pseudo-op on machines where ".align 4" means
1335 align to a 4 byte boundary. */
1344 /* Handle the .align pseudo-op on machines where ".align 4" means align
1345 to a 2**4 boundary. */
1356 int ignore ATTRIBUTE_UNUSED;
1358 register char *name;
1362 register symbolS *symbolP;
1367 stop = mri_comment_field (&stopc);
1369 name = input_line_pointer;
1370 c = get_symbol_end ();
1371 /* just after name is now '\0' */
1372 p = input_line_pointer;
1375 if (*input_line_pointer != ',')
1377 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1378 ignore_rest_of_line ();
1380 mri_comment_end (stop, stopc);
1383 input_line_pointer++; /* skip ',' */
1384 if ((temp = get_absolute_expression ()) < 0)
1386 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
1387 ignore_rest_of_line ();
1389 mri_comment_end (stop, stopc);
1393 symbolP = symbol_find_or_make (name);
1395 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
1397 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
1398 S_GET_NAME (symbolP));
1399 ignore_rest_of_line ();
1401 mri_comment_end (stop, stopc);
1404 if (S_GET_VALUE (symbolP))
1406 if (S_GET_VALUE (symbolP) != (valueT) temp)
1407 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
1408 S_GET_NAME (symbolP),
1409 (long) S_GET_VALUE (symbolP),
1414 S_SET_VALUE (symbolP, (valueT) temp);
1415 S_SET_EXTERNAL (symbolP);
1419 extern int flag_one;
1420 if ( (!temp) || !flag_one)
1421 S_GET_OTHER(symbolP) = const_flag;
1423 #endif /* not OBJ_VMS */
1424 know (symbolP->sy_frag == &zero_address_frag);
1426 demand_empty_rest_of_line ();
1429 mri_comment_end (stop, stopc);
1432 /* The MRI COMMON pseudo-op. We handle this by creating a common
1433 symbol with the appropriate name. We make s_space do the right
1434 thing by increasing the size. */
1437 s_mri_common (small)
1438 int small ATTRIBUTE_UNUSED;
1454 stop = mri_comment_field (&stopc);
1458 name = input_line_pointer;
1459 if (! isdigit ((unsigned char) *name))
1460 c = get_symbol_end ();
1465 ++input_line_pointer;
1467 while (isdigit ((unsigned char) *input_line_pointer));
1468 c = *input_line_pointer;
1469 *input_line_pointer = '\0';
1471 if (line_label != NULL)
1473 alc = (char *) xmalloc (strlen (S_GET_NAME (line_label))
1474 + (input_line_pointer - name)
1476 sprintf (alc, "%s%s", name, S_GET_NAME (line_label));
1481 sym = symbol_find_or_make (name);
1482 *input_line_pointer = c;
1486 if (*input_line_pointer != ',')
1490 ++input_line_pointer;
1491 align = get_absolute_expression ();
1494 if (S_IS_DEFINED (sym) && ! S_IS_COMMON (sym))
1496 as_bad (_("attempt to re-define symbol `%s'"), S_GET_NAME (sym));
1497 ignore_rest_of_line ();
1498 mri_comment_end (stop, stopc);
1502 S_SET_EXTERNAL (sym);
1503 mri_common_symbol = sym;
1507 S_SET_ALIGN (sym, align);
1510 if (line_label != NULL)
1513 exp.X_op = O_symbol;
1514 exp.X_add_symbol = sym;
1515 exp.X_add_number = 0;
1516 symbol_set_value_expression (line_label, &exp);
1517 symbol_set_frag (line_label, &zero_address_frag);
1518 S_SET_SEGMENT (line_label, expr_section);
1521 /* FIXME: We just ignore the small argument, which distinguishes
1522 COMMON and COMMON.S. I don't know what we can do about it. */
1524 /* Ignore the type and hptype. */
1525 if (*input_line_pointer == ',')
1526 input_line_pointer += 2;
1527 if (*input_line_pointer == ',')
1528 input_line_pointer += 2;
1530 demand_empty_rest_of_line ();
1532 mri_comment_end (stop, stopc);
1537 int ignore ATTRIBUTE_UNUSED;
1542 temp = get_absolute_expression ();
1543 if (flag_readonly_data_in_text)
1545 section = text_section;
1549 section = data_section;
1551 subseg_set (section, (subsegT) temp);
1556 demand_empty_rest_of_line ();
1559 /* Handle the .appfile pseudo-op. This is automatically generated by
1560 do_scrub_chars when a preprocessor # line comment is seen with a
1561 file name. This default definition may be overridden by the object
1562 or CPU specific pseudo-ops. This function is also the default
1563 definition for .file; the APPFILE argument is 1 for .appfile, 0 for
1567 s_app_file (appfile)
1573 /* Some assemblers tolerate immediately following '"' */
1574 if ((s = demand_copy_string (&length)) != 0)
1576 /* If this is a fake .appfile, a fake newline was inserted into
1577 the buffer. Passing -2 to new_logical_line tells it to
1580 = (! new_logical_line (s, appfile ? -2 : -1) && appfile);
1582 /* In MRI mode, the preprocessor may have inserted an extraneous
1585 && *input_line_pointer == '\''
1586 && is_end_of_line[(unsigned char) input_line_pointer[1]])
1587 ++input_line_pointer;
1589 demand_empty_rest_of_line ();
1594 listing_source_file (s);
1596 register_dependency (s);
1604 /* Handle the .appline pseudo-op. This is automatically generated by
1605 do_scrub_chars when a preprocessor # line comment is seen. This
1606 default definition may be overridden by the object or CPU specific
1611 int ignore ATTRIBUTE_UNUSED;
1615 /* The given number is that of the next line. */
1616 l = get_absolute_expression () - 1;
1618 /* Some of the back ends can't deal with non-positive line numbers.
1619 Besides, it's silly. */
1620 as_warn (_("Line numbers must be positive; line number %d rejected."), l+1);
1623 new_logical_line ((char *) NULL, l);
1626 listing_source_line (l);
1629 demand_empty_rest_of_line ();
1632 /* Handle the .end pseudo-op. Actually, the real work is done in
1633 read_a_source_file. */
1637 int ignore ATTRIBUTE_UNUSED;
1641 /* The MRI assembler permits the start symbol to follow .end,
1642 but we don't support that. */
1644 if (! is_end_of_line[(unsigned char) *input_line_pointer]
1645 && *input_line_pointer != '*'
1646 && *input_line_pointer != '!')
1647 as_warn (_("start address not supported"));
1651 /* Handle the .err pseudo-op. */
1655 int ignore ATTRIBUTE_UNUSED;
1657 as_bad (_(".err encountered"));
1658 demand_empty_rest_of_line ();
1661 /* Handle the MRI fail pseudo-op. */
1665 int ignore ATTRIBUTE_UNUSED;
1672 stop = mri_comment_field (&stopc);
1674 temp = get_absolute_expression ();
1676 as_warn (_(".fail %ld encountered"), (long) temp);
1678 as_bad (_(".fail %ld encountered"), (long) temp);
1680 demand_empty_rest_of_line ();
1683 mri_comment_end (stop, stopc);
1688 int ignore ATTRIBUTE_UNUSED;
1690 expressionS rep_exp;
1692 register long fill = 0;
1695 #ifdef md_flush_pending_output
1696 md_flush_pending_output ();
1699 get_known_segmented_expression (&rep_exp);
1700 if (*input_line_pointer == ',')
1702 input_line_pointer++;
1703 size = get_absolute_expression ();
1704 if (*input_line_pointer == ',')
1706 input_line_pointer++;
1707 fill = get_absolute_expression ();
1711 /* This is to be compatible with BSD 4.2 AS, not for any rational reason. */
1712 #define BSD_FILL_SIZE_CROCK_8 (8)
1713 if (size > BSD_FILL_SIZE_CROCK_8)
1715 as_warn (_(".fill size clamped to %d."), BSD_FILL_SIZE_CROCK_8);
1716 size = BSD_FILL_SIZE_CROCK_8;
1720 as_warn (_("Size negative: .fill ignored."));
1723 else if (rep_exp.X_op == O_constant && rep_exp.X_add_number <= 0)
1725 if (rep_exp.X_add_number < 0)
1726 as_warn (_("Repeat < 0, .fill ignored"));
1730 if (size && !need_pass_2)
1732 if (rep_exp.X_op == O_constant)
1734 p = frag_var (rs_fill, (int) size, (int) size,
1735 (relax_substateT) 0, (symbolS *) 0,
1736 (offsetT) rep_exp.X_add_number,
1741 /* We don't have a constant repeat count, so we can't use
1742 rs_fill. We can get the same results out of rs_space,
1743 but its argument is in bytes, so we must multiply the
1744 repeat count by size. */
1747 rep_sym = make_expr_symbol (&rep_exp);
1750 expressionS size_exp;
1751 size_exp.X_op = O_constant;
1752 size_exp.X_add_number = size;
1754 rep_exp.X_op = O_multiply;
1755 rep_exp.X_add_symbol = rep_sym;
1756 rep_exp.X_op_symbol = make_expr_symbol (&size_exp);
1757 rep_exp.X_add_number = 0;
1758 rep_sym = make_expr_symbol (&rep_exp);
1761 p = frag_var (rs_space, (int) size, (int) size,
1762 (relax_substateT) 0, rep_sym, (offsetT) 0, (char *) 0);
1764 memset (p, 0, (unsigned int) size);
1765 /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX
1766 * flavoured AS. The following bizzare behaviour is to be
1767 * compatible with above. I guess they tried to take up to 8
1768 * bytes from a 4-byte expression and they forgot to sign
1769 * extend. Un*x Sux. */
1770 #define BSD_FILL_SIZE_CROCK_4 (4)
1771 md_number_to_chars (p, (valueT) fill,
1772 (size > BSD_FILL_SIZE_CROCK_4
1773 ? BSD_FILL_SIZE_CROCK_4
1775 /* Note: .fill (),0 emits no frag (since we are asked to .fill 0 bytes)
1776 * but emits no error message because it seems a legal thing to do.
1777 * It is a degenerate case of .fill but could be emitted by a compiler.
1780 demand_empty_rest_of_line ();
1785 int ignore ATTRIBUTE_UNUSED;
1794 stop = mri_comment_field (&stopc);
1798 name = input_line_pointer;
1799 c = get_symbol_end ();
1800 symbolP = symbol_find_or_make (name);
1801 S_SET_EXTERNAL (symbolP);
1803 *input_line_pointer = c;
1805 c = *input_line_pointer;
1808 input_line_pointer++;
1810 if (*input_line_pointer == '\n')
1816 demand_empty_rest_of_line ();
1819 mri_comment_end (stop, stopc);
1822 /* Handle the MRI IRP and IRPC pseudo-ops. */
1834 as_where (&file, &line);
1837 while (! is_end_of_line[(unsigned char) *input_line_pointer])
1838 sb_add_char (&s, *input_line_pointer++);
1842 err = expand_irp (irpc, 0, &s, &out, get_line_sb, '\0');
1844 as_bad_where (file, line, "%s", err);
1848 input_scrub_include_sb (&out, input_line_pointer, 1);
1850 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
1853 /* Handle the .linkonce pseudo-op. This tells the assembler to mark
1854 the section to only be linked once. However, this is not supported
1855 by most object file formats. This takes an optional argument,
1856 which is what to do about duplicates. */
1860 int ignore ATTRIBUTE_UNUSED;
1862 enum linkonce_type type;
1866 type = LINKONCE_DISCARD;
1868 if (! is_end_of_line[(unsigned char) *input_line_pointer])
1873 s = input_line_pointer;
1874 c = get_symbol_end ();
1875 if (strcasecmp (s, "discard") == 0)
1876 type = LINKONCE_DISCARD;
1877 else if (strcasecmp (s, "one_only") == 0)
1878 type = LINKONCE_ONE_ONLY;
1879 else if (strcasecmp (s, "same_size") == 0)
1880 type = LINKONCE_SAME_SIZE;
1881 else if (strcasecmp (s, "same_contents") == 0)
1882 type = LINKONCE_SAME_CONTENTS;
1884 as_warn (_("unrecognized .linkonce type `%s'"), s);
1886 *input_line_pointer = c;
1889 #ifdef obj_handle_link_once
1890 obj_handle_link_once (type);
1891 #else /* ! defined (obj_handle_link_once) */
1892 #ifdef BFD_ASSEMBLER
1896 if ((bfd_applicable_section_flags (stdoutput) & SEC_LINK_ONCE) == 0)
1897 as_warn (_(".linkonce is not supported for this object file format"));
1899 flags = bfd_get_section_flags (stdoutput, now_seg);
1900 flags |= SEC_LINK_ONCE;
1905 case LINKONCE_DISCARD:
1906 flags |= SEC_LINK_DUPLICATES_DISCARD;
1908 case LINKONCE_ONE_ONLY:
1909 flags |= SEC_LINK_DUPLICATES_ONE_ONLY;
1911 case LINKONCE_SAME_SIZE:
1912 flags |= SEC_LINK_DUPLICATES_SAME_SIZE;
1914 case LINKONCE_SAME_CONTENTS:
1915 flags |= SEC_LINK_DUPLICATES_SAME_CONTENTS;
1918 if (! bfd_set_section_flags (stdoutput, now_seg, flags))
1919 as_bad (_("bfd_set_section_flags: %s"),
1920 bfd_errmsg (bfd_get_error ()));
1922 #else /* ! defined (BFD_ASSEMBLER) */
1923 as_warn (_(".linkonce is not supported for this object file format"));
1924 #endif /* ! defined (BFD_ASSEMBLER) */
1925 #endif /* ! defined (obj_handle_link_once) */
1927 demand_empty_rest_of_line ();
1931 s_lcomm_internal (needs_align, bytes_p)
1932 /* 1 if this was a ".bss" directive, which may require a 3rd argument
1933 (alignment); 0 if it was an ".lcomm" (2 args only) */
1935 /* 1 if the alignment value should be interpreted as the byte boundary,
1936 rather than the power of 2. */
1939 register char *name;
1943 register symbolS *symbolP;
1944 segT current_seg = now_seg;
1945 subsegT current_subseg = now_subseg;
1946 const int max_alignment = 15;
1948 segT bss_seg = bss_section;
1950 name = input_line_pointer;
1951 c = get_symbol_end ();
1952 p = input_line_pointer;
1956 /* Accept an optional comma after the name. The comma used to be
1957 required, but Irix 5 cc does not generate it. */
1958 if (*input_line_pointer == ',')
1960 ++input_line_pointer;
1964 if (*input_line_pointer == '\n')
1966 as_bad (_("Missing size expression"));
1970 if ((temp = get_absolute_expression ()) < 0)
1972 as_warn (_("BSS length (%d.) <0! Ignored."), temp);
1973 ignore_rest_of_line ();
1977 #if defined (TC_MIPS) || defined (TC_ALPHA)
1978 if (OUTPUT_FLAVOR == bfd_target_ecoff_flavour
1979 || OUTPUT_FLAVOR == bfd_target_elf_flavour)
1981 /* For MIPS and Alpha ECOFF or ELF, small objects are put in .sbss. */
1982 if (temp <= bfd_get_gp_size (stdoutput))
1984 bss_seg = subseg_new (".sbss", 1);
1985 seg_info (bss_seg)->bss = 1;
1986 #ifdef BFD_ASSEMBLER
1987 if (! bfd_set_section_flags (stdoutput, bss_seg, SEC_ALLOC))
1988 as_warn (_("error setting flags for \".sbss\": %s"),
1989 bfd_errmsg (bfd_get_error ()));
1997 TC_IMPLICIT_LCOMM_ALIGNMENT (temp, align);
1999 /* Still zero unless TC_IMPLICIT_LCOMM_ALIGNMENT set it. */
2001 record_alignment(bss_seg, align);
2008 if (*input_line_pointer != ',')
2010 as_bad (_("Expected comma after size"));
2011 ignore_rest_of_line ();
2014 input_line_pointer++;
2016 if (*input_line_pointer == '\n')
2018 as_bad (_("Missing alignment"));
2021 align = get_absolute_expression ();
2024 /* Convert to a power of 2. */
2029 for (i = 0; (align & 1) == 0; align >>= 1, ++i)
2032 as_bad (_("Alignment not a power of 2"));
2036 if (align > max_alignment)
2038 align = max_alignment;
2039 as_warn (_("Alignment too large: %d. assumed."), align);
2044 as_warn (_("Alignment negative. 0 assumed."));
2046 record_alignment (bss_seg, align);
2047 } /* if needs align */
2050 /* Assume some objects may require alignment on some systems. */
2051 #if defined (TC_ALPHA) && ! defined (VMS)
2054 align = ffs (temp) - 1;
2055 if (temp % (1 << align))
2062 symbolP = symbol_find_or_make (name);
2066 #if (defined (OBJ_AOUT) || defined (OBJ_MAYBE_AOUT) \
2067 || defined (OBJ_BOUT) || defined (OBJ_MAYBE_BOUT))
2068 #ifdef BFD_ASSEMBLER
2069 (OUTPUT_FLAVOR != bfd_target_aout_flavour
2070 || (S_GET_OTHER (symbolP) == 0 && S_GET_DESC (symbolP) == 0)) &&
2072 (S_GET_OTHER (symbolP) == 0 && S_GET_DESC (symbolP) == 0) &&
2075 (S_GET_SEGMENT (symbolP) == bss_seg
2076 || (!S_IS_DEFINED (symbolP) && S_GET_VALUE (symbolP) == 0)))
2080 subseg_set (bss_seg, 1);
2083 frag_align (align, 0, 0);
2084 /* detach from old frag */
2085 if (S_GET_SEGMENT (symbolP) == bss_seg)
2086 symbol_get_frag (symbolP)->fr_symbol = NULL;
2088 symbol_set_frag (symbolP, frag_now);
2089 pfrag = frag_var (rs_org, 1, 1, (relax_substateT)0, symbolP,
2090 (offsetT) temp, (char *) 0);
2093 S_SET_SEGMENT (symbolP, bss_seg);
2096 /* The symbol may already have been created with a preceding
2097 ".globl" directive -- be careful not to step on storage class
2098 in that case. Otherwise, set it to static. */
2099 if (S_GET_STORAGE_CLASS (symbolP) != C_EXT)
2101 S_SET_STORAGE_CLASS (symbolP, C_STAT);
2103 #endif /* OBJ_COFF */
2106 S_SET_SIZE (symbolP, temp);
2110 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2111 S_GET_NAME (symbolP));
2113 subseg_set (current_seg, current_subseg);
2115 demand_empty_rest_of_line ();
2116 } /* s_lcomm_internal() */
2119 s_lcomm (needs_align)
2122 s_lcomm_internal (needs_align, 0);
2125 void s_lcomm_bytes (needs_align)
2128 s_lcomm_internal (needs_align, 1);
2133 int ignore ATTRIBUTE_UNUSED;
2135 register char *name;
2139 register symbolS *symbolP;
2141 /* we permit ANY defined expression: BSD4.2 demands constants */
2142 name = input_line_pointer;
2143 c = get_symbol_end ();
2144 p = input_line_pointer;
2147 if (*input_line_pointer != ',')
2150 as_bad (_("Expected comma after name \"%s\""), name);
2152 ignore_rest_of_line ();
2155 input_line_pointer++;
2157 if (exp.X_op != O_constant
2158 && exp.X_op != O_register)
2160 as_bad (_("bad expression"));
2161 ignore_rest_of_line ();
2165 symbolP = symbol_find_or_make (name);
2167 /* FIXME-SOON I pulled a (&& symbolP->sy_other == 0 &&
2168 symbolP->sy_desc == 0) out of this test because coff doesn't have
2169 those fields, and I can't see when they'd ever be tripped. I
2170 don't think I understand why they were here so I may have
2171 introduced a bug. As recently as 1.37 didn't have this test
2172 anyway. xoxorich. */
2174 if (S_GET_SEGMENT (symbolP) == undefined_section
2175 && S_GET_VALUE (symbolP) == 0)
2177 /* The name might be an undefined .global symbol; be sure to
2178 keep the "external" bit. */
2179 S_SET_SEGMENT (symbolP,
2180 (exp.X_op == O_constant
2183 S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
2187 as_bad (_("Symbol %s already defined"), name);
2190 demand_empty_rest_of_line ();
2193 /* Read a line into an sb. */
2199 char quote1, quote2, inquote;
2201 if (input_line_pointer[-1] == '\n')
2202 bump_line_counters ();
2204 if (input_line_pointer >= buffer_limit)
2206 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2207 if (buffer_limit == 0)
2211 /* If app.c sets any other characters to LEX_IS_STRINGQUOTE, this
2212 code needs to be changed. */
2213 if (! flag_m68k_mri)
2221 #ifdef LEX_IS_STRINGQUOTE
2226 while (! is_end_of_line[(unsigned char) *input_line_pointer]
2227 || (inquote != '\0' && *input_line_pointer != '\n'))
2229 if (inquote == *input_line_pointer)
2231 else if (inquote == '\0')
2233 if (*input_line_pointer == quote1)
2235 else if (*input_line_pointer == quote2)
2238 sb_add_char (line, *input_line_pointer++);
2240 while (input_line_pointer < buffer_limit
2241 && is_end_of_line[(unsigned char) *input_line_pointer])
2243 if (input_line_pointer[-1] == '\n')
2244 bump_line_counters ();
2245 ++input_line_pointer;
2250 /* Define a macro. This is an interface to macro.c, which is shared
2251 between gas and gasp. */
2255 int ignore ATTRIBUTE_UNUSED;
2264 as_where (&file, &line);
2267 while (! is_end_of_line[(unsigned char) *input_line_pointer])
2268 sb_add_char (&s, *input_line_pointer++);
2271 if (line_label != NULL)
2272 sb_add_string (&label, S_GET_NAME (line_label));
2274 err = define_macro (0, &s, &label, get_line_sb, &name);
2276 as_bad_where (file, line, "%s", err);
2279 if (line_label != NULL)
2281 S_SET_SEGMENT (line_label, undefined_section);
2282 S_SET_VALUE (line_label, 0);
2283 symbol_set_frag (line_label, &zero_address_frag);
2286 if (((NO_PSEUDO_DOT || flag_m68k_mri)
2287 && hash_find (po_hash, name) != NULL)
2290 && hash_find (po_hash, name + 1) != NULL))
2291 as_warn (_("attempt to redefine pseudo-op `%s' ignored"),
2298 /* Handle the .mexit pseudo-op, which immediately exits a macro
2303 int ignore ATTRIBUTE_UNUSED;
2305 cond_exit_macro (macro_nest);
2306 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2309 /* Switch in and out of MRI mode. */
2313 int ignore ATTRIBUTE_UNUSED;
2317 on = get_absolute_expression ();
2318 old_flag = flag_mri;
2336 /* Operator precedence changes in m68k MRI mode, so we need to
2337 update the operator rankings. */
2338 expr_set_precedence ();
2340 #ifdef MRI_MODE_CHANGE
2342 MRI_MODE_CHANGE (on);
2345 demand_empty_rest_of_line ();
2348 /* Handle changing the location counter. */
2351 do_org (segment, exp, fill)
2356 if (segment != now_seg && segment != absolute_section)
2357 as_bad (_("invalid segment \"%s\"; segment \"%s\" assumed"),
2358 segment_name (segment), segment_name (now_seg));
2360 if (now_seg == absolute_section)
2363 as_warn (_("ignoring fill value in absolute section"));
2364 if (exp->X_op != O_constant)
2366 as_bad (_("only constant offsets supported in absolute section"));
2367 exp->X_add_number = 0;
2369 abs_section_offset = exp->X_add_number;
2375 p = frag_var (rs_org, 1, 1, (relax_substateT) 0, exp->X_add_symbol,
2376 exp->X_add_number * OCTETS_PER_BYTE, (char *) NULL);
2383 int ignore ATTRIBUTE_UNUSED;
2385 register segT segment;
2387 register long temp_fill;
2389 #ifdef md_flush_pending_output
2390 md_flush_pending_output ();
2393 /* The m68k MRI assembler has a different meaning for .org. It
2394 means to create an absolute section at a given address. We can't
2395 support that--use a linker script instead. */
2398 as_bad (_("MRI style ORG pseudo-op not supported"));
2399 ignore_rest_of_line ();
2403 /* Don't believe the documentation of BSD 4.2 AS. There is no such
2404 thing as a sub-segment-relative origin. Any absolute origin is
2405 given a warning, then assumed to be segment-relative. Any
2406 segmented origin expression ("foo+42") had better be in the right
2407 segment or the .org is ignored.
2409 BSD 4.2 AS warns if you try to .org backwards. We cannot because
2410 we never know sub-segment sizes when we are reading code. BSD
2411 will crash trying to emit negative numbers of filler bytes in
2412 certain .orgs. We don't crash, but see as-write for that code.
2414 Don't make frag if need_pass_2==1. */
2415 segment = get_known_segmented_expression (&exp);
2416 if (*input_line_pointer == ',')
2418 input_line_pointer++;
2419 temp_fill = get_absolute_expression ();
2425 do_org (segment, &exp, temp_fill);
2427 demand_empty_rest_of_line ();
2430 /* Handle parsing for the MRI SECT/SECTION pseudo-op. This should be
2431 called by the obj-format routine which handles section changing
2432 when in MRI mode. It will create a new section, and return it. It
2433 will set *TYPE to the section type: one of 'C' (code), 'D' (data),
2434 'M' (mixed), or 'R' (romable). If BFD_ASSEMBLER is defined, the
2435 flags will be set in the section. */
2439 char *type ATTRIBUTE_UNUSED;
2449 name = input_line_pointer;
2450 if (! isdigit ((unsigned char) *name))
2451 c = get_symbol_end ();
2456 ++input_line_pointer;
2458 while (isdigit ((unsigned char) *input_line_pointer));
2459 c = *input_line_pointer;
2460 *input_line_pointer = '\0';
2463 name = xstrdup (name);
2465 *input_line_pointer = c;
2467 seg = subseg_new (name, 0);
2469 if (*input_line_pointer == ',')
2473 ++input_line_pointer;
2474 align = get_absolute_expression ();
2475 record_alignment (seg, align);
2479 if (*input_line_pointer == ',')
2481 c = *++input_line_pointer;
2482 c = toupper ((unsigned char) c);
2483 if (c == 'C' || c == 'D' || c == 'M' || c == 'R')
2486 as_bad (_("unrecognized section type"));
2487 ++input_line_pointer;
2489 #ifdef BFD_ASSEMBLER
2493 flags = SEC_NO_FLAGS;
2495 flags = SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE;
2496 else if (*type == 'D' || *type == 'M')
2497 flags = SEC_ALLOC | SEC_LOAD | SEC_DATA;
2498 else if (*type == 'R')
2499 flags = SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_READONLY | SEC_ROM;
2500 if (flags != SEC_NO_FLAGS)
2502 if (! bfd_set_section_flags (stdoutput, seg, flags))
2503 as_warn (_("error setting flags for \"%s\": %s"),
2504 bfd_section_name (stdoutput, seg),
2505 bfd_errmsg (bfd_get_error ()));
2511 /* Ignore the HP type. */
2512 if (*input_line_pointer == ',')
2513 input_line_pointer += 2;
2515 demand_empty_rest_of_line ();
2517 #else /* ! TC_M68K */
2526 name = input_line_pointer;
2527 c = get_symbol_end ();
2529 name = xstrdup (name);
2531 *input_line_pointer = c;
2533 seg = subseg_new (name, 0);
2535 if (*input_line_pointer != ',')
2541 ++input_line_pointer;
2543 sectype = input_line_pointer;
2544 c = get_symbol_end ();
2545 if (*sectype == '\0')
2547 else if (strcasecmp (sectype, "text") == 0)
2549 else if (strcasecmp (sectype, "data") == 0)
2551 else if (strcasecmp (sectype, "romdata") == 0)
2554 as_warn (_("unrecognized section type `%s'"), sectype);
2555 *input_line_pointer = c;
2558 if (*input_line_pointer == ',')
2562 ++input_line_pointer;
2564 seccmd = input_line_pointer;
2565 c = get_symbol_end ();
2566 if (strcasecmp (seccmd, "absolute") == 0)
2568 as_bad (_("absolute sections are not supported"));
2569 *input_line_pointer = c;
2570 ignore_rest_of_line ();
2573 else if (strcasecmp (seccmd, "align") == 0)
2577 *input_line_pointer = c;
2578 align = get_absolute_expression ();
2579 record_alignment (seg, align);
2583 as_warn (_("unrecognized section command `%s'"), seccmd);
2584 *input_line_pointer = c;
2588 demand_empty_rest_of_line ();
2590 #else /* ! TC_I960 */
2591 /* The MRI assembler seems to use different forms of .sect for
2592 different targets. */
2593 as_bad ("MRI mode not supported for this target");
2594 ignore_rest_of_line ();
2595 #endif /* ! TC_I960 */
2596 #endif /* ! TC_M68K */
2599 /* Handle the .print pseudo-op. */
2603 int ignore ATTRIBUTE_UNUSED;
2608 s = demand_copy_C_string (&len);
2610 demand_empty_rest_of_line ();
2613 /* Handle the .purgem pseudo-op. */
2617 int ignore ATTRIBUTE_UNUSED;
2619 if (is_it_end_of_statement ())
2621 demand_empty_rest_of_line ();
2631 name = input_line_pointer;
2632 c = get_symbol_end ();
2633 delete_macro (name);
2634 *input_line_pointer = c;
2637 while (*input_line_pointer++ == ',');
2639 --input_line_pointer;
2640 demand_empty_rest_of_line ();
2643 /* Handle the .rept pseudo-op. */
2647 int ignore ATTRIBUTE_UNUSED;
2651 count = get_absolute_expression ();
2653 do_repeat(count, "REPT", "ENDR");
2656 /* This function provides a generic repeat block implementation. It allows
2657 different directives to be used as the start/end keys. */
2660 do_repeat (count, start, end)
2669 if (! buffer_and_nest (start, end, &one, get_line_sb))
2671 as_bad (_("%s without %s"), start, end);
2677 sb_add_sb (&many, &one);
2681 input_scrub_include_sb (&many, input_line_pointer, 1);
2683 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2686 /* Skip to end of current repeat loop; EXTRA indicates how many additional
2687 input buffers to skip. Assumes that conditionals preceding the loop end
2688 are properly nested.
2690 This function makes it easier to implement a premature "break" out of the
2691 loop. The EXTRA arg accounts for other buffers we might have inserted,
2692 such as line substitutions. */
2698 cond_exit_macro (macro_nest);
2699 while (extra-- >= 0)
2700 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2703 /* Handle the .equ, .equiv and .set directives. If EQUIV is 1, then
2704 this is .equiv, and it is an error if the symbol is already
2711 register char *name;
2712 register char delim;
2713 register char *end_name;
2714 register symbolS *symbolP;
2717 * Especial apologies for the random logic:
2718 * this just grew, and could be parsed much more simply!
2721 name = input_line_pointer;
2722 delim = get_symbol_end ();
2723 end_name = input_line_pointer;
2727 if (*input_line_pointer != ',')
2730 as_bad (_("Expected comma after name \"%s\""), name);
2732 ignore_rest_of_line ();
2736 input_line_pointer++;
2739 if (name[0] == '.' && name[1] == '\0')
2741 /* Turn '. = mumble' into a .org mumble */
2742 register segT segment;
2745 segment = get_known_segmented_expression (&exp);
2748 do_org (segment, &exp, 0);
2754 if ((symbolP = symbol_find (name)) == NULL
2755 && (symbolP = md_undefined_symbol (name)) == NULL)
2758 /* When doing symbol listings, play games with dummy fragments living
2759 outside the normal fragment chain to record the file and line info
2761 if (listing & LISTING_SYMBOLS)
2763 extern struct list_info_struct *listing_tail;
2764 fragS *dummy_frag = (fragS *) xmalloc (sizeof(fragS));
2765 memset (dummy_frag, 0, sizeof(fragS));
2766 dummy_frag->fr_type = rs_fill;
2767 dummy_frag->line = listing_tail;
2768 symbolP = symbol_new (name, undefined_section, 0, dummy_frag);
2769 dummy_frag->fr_symbol = symbolP;
2773 symbolP = symbol_new (name, undefined_section, 0, &zero_address_frag);
2776 /* "set" symbols are local unless otherwise specified. */
2777 SF_SET_LOCAL (symbolP);
2778 #endif /* OBJ_COFF */
2780 } /* make a new symbol */
2782 symbol_table_insert (symbolP);
2787 && S_IS_DEFINED (symbolP)
2788 && S_GET_SEGMENT (symbolP) != reg_section)
2789 as_bad (_("symbol `%s' already defined"), S_GET_NAME (symbolP));
2791 pseudo_set (symbolP);
2792 demand_empty_rest_of_line ();
2806 #ifdef md_flush_pending_output
2807 md_flush_pending_output ();
2811 stop = mri_comment_field (&stopc);
2813 /* In m68k MRI mode, we need to align to a word boundary, unless
2815 if (flag_m68k_mri && mult > 1)
2817 if (now_seg == absolute_section)
2819 abs_section_offset += abs_section_offset & 1;
2820 if (line_label != NULL)
2821 S_SET_VALUE (line_label, abs_section_offset);
2823 else if (mri_common_symbol != NULL)
2827 val = S_GET_VALUE (mri_common_symbol);
2830 S_SET_VALUE (mri_common_symbol, val + 1);
2831 if (line_label != NULL)
2833 expressionS *symexp;
2835 symexp = symbol_get_value_expression (line_label);
2836 know (symexp->X_op == O_symbol);
2837 know (symexp->X_add_symbol == mri_common_symbol);
2838 symexp->X_add_number += 1;
2844 do_align (1, (char *) NULL, 0, 0);
2845 if (line_label != NULL)
2847 symbol_set_frag (line_label, frag_now);
2848 S_SET_VALUE (line_label, frag_now_fix ());
2858 if (*input_line_pointer == ',')
2860 ++input_line_pointer;
2865 val.X_op = O_constant;
2866 val.X_add_number = 0;
2869 if (val.X_op != O_constant
2870 || val.X_add_number < - 0x80
2871 || val.X_add_number > 0xff
2872 || (mult != 0 && mult != 1 && val.X_add_number != 0))
2874 if (exp.X_op != O_constant)
2875 as_bad (_("Unsupported variable size or fill value"));
2882 bytes = mult * exp.X_add_number;
2883 for (i = 0; i < exp.X_add_number; i++)
2884 emit_expr (&val, mult);
2889 if (exp.X_op == O_constant)
2893 repeat = exp.X_add_number;
2900 as_warn (_(".space repeat count is zero, ignored"));
2901 else if (repeat < 0)
2902 as_warn (_(".space repeat count is negative, ignored"));
2906 /* If we are in the absolute section, just bump the offset. */
2907 if (now_seg == absolute_section)
2909 abs_section_offset += repeat;
2913 /* If we are secretly in an MRI common section, then
2914 creating space just increases the size of the common
2916 if (mri_common_symbol != NULL)
2918 S_SET_VALUE (mri_common_symbol,
2919 S_GET_VALUE (mri_common_symbol) + repeat);
2924 p = frag_var (rs_fill, 1, 1, (relax_substateT) 0, (symbolS *) 0,
2925 (offsetT) repeat, (char *) 0);
2929 if (now_seg == absolute_section)
2931 as_bad (_("space allocation too complex in absolute section"));
2932 subseg_set (text_section, 0);
2934 if (mri_common_symbol != NULL)
2936 as_bad (_("space allocation too complex in common section"));
2937 mri_common_symbol = NULL;
2940 p = frag_var (rs_space, 1, 1, (relax_substateT) 0,
2941 make_expr_symbol (&exp), (offsetT) 0, (char *) 0);
2945 *p = val.X_add_number;
2950 /* In MRI mode, after an odd number of bytes, we must align to an
2951 even word boundary, unless the next instruction is a dc.b, ds.b
2953 if (flag_mri && (bytes & 1) != 0)
2954 mri_pending_align = 1;
2956 demand_empty_rest_of_line ();
2959 mri_comment_end (stop, stopc);
2962 /* This is like s_space, but the value is a floating point number with
2963 the given precision. This is for the MRI dcb.s pseudo-op and
2967 s_float_space (float_type)
2972 char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
2977 stop = mri_comment_field (&stopc);
2979 count = get_absolute_expression ();
2982 if (*input_line_pointer != ',')
2984 as_bad (_("missing value"));
2985 ignore_rest_of_line ();
2987 mri_comment_end (stop, stopc);
2991 ++input_line_pointer;
2995 /* Skip any 0{letter} that may be present. Don't even check if the
2996 * letter is legal. */
2997 if (input_line_pointer[0] == '0'
2998 && isalpha ((unsigned char) input_line_pointer[1]))
2999 input_line_pointer += 2;
3001 /* Accept :xxxx, where the x's are hex digits, for a floating point
3002 with the exact digits specified. */
3003 if (input_line_pointer[0] == ':')
3005 flen = hex_float (float_type, temp);
3008 ignore_rest_of_line ();
3010 mri_comment_end (stop, stopc);
3018 err = md_atof (float_type, temp, &flen);
3019 know (flen <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
3023 as_bad (_("Bad floating literal: %s"), err);
3024 ignore_rest_of_line ();
3026 mri_comment_end (stop, stopc);
3031 while (--count >= 0)
3035 p = frag_more (flen);
3036 memcpy (p, temp, (unsigned int) flen);
3039 demand_empty_rest_of_line ();
3042 mri_comment_end (stop, stopc);
3045 /* Handle the .struct pseudo-op, as found in MIPS assemblers. */
3049 int ignore ATTRIBUTE_UNUSED;
3055 stop = mri_comment_field (&stopc);
3056 abs_section_offset = get_absolute_expression ();
3057 subseg_set (absolute_section, 0);
3058 demand_empty_rest_of_line ();
3060 mri_comment_end (stop, stopc);
3065 int ignore ATTRIBUTE_UNUSED;
3069 temp = get_absolute_expression ();
3070 subseg_set (text_section, (subsegT) temp);
3071 demand_empty_rest_of_line ();
3073 const_flag &= ~IN_DEFAULT_SECTION;
3079 demand_empty_rest_of_line ()
3082 if (is_end_of_line[(unsigned char) *input_line_pointer])
3084 input_line_pointer++;
3088 ignore_rest_of_line ();
3090 /* Return having already swallowed end-of-line. */
3091 } /* Return pointing just after end-of-line. */
3094 ignore_rest_of_line () /* For suspect lines: gives warning. */
3096 if (!is_end_of_line[(unsigned char) *input_line_pointer])
3098 if (isprint ((unsigned char) *input_line_pointer))
3099 as_bad (_("Rest of line ignored. First ignored character is `%c'."),
3100 *input_line_pointer);
3102 as_bad (_("Rest of line ignored. First ignored character valued 0x%x."),
3103 *input_line_pointer);
3104 while (input_line_pointer < buffer_limit
3105 && !is_end_of_line[(unsigned char) *input_line_pointer])
3107 input_line_pointer++;
3110 input_line_pointer++; /* Return pointing just after end-of-line. */
3111 know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
3115 discard_rest_of_line ()
3117 while (input_line_pointer < buffer_limit
3118 && !is_end_of_line[(unsigned char) *input_line_pointer])
3120 input_line_pointer++;
3122 input_line_pointer++; /* Return pointing just after end-of-line. */
3123 know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
3129 * In: Pointer to a symbol.
3130 * Input_line_pointer->expression.
3132 * Out: Input_line_pointer->just after any whitespace after expression.
3133 * Tried to set symbol to value of expression.
3134 * Will change symbols type, value, and frag;
3137 pseudo_set (symbolP)
3141 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3143 #endif /* OBJ_AOUT or OBJ_BOUT */
3145 know (symbolP); /* NULL pointer is logic error. */
3146 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3147 ext = S_IS_EXTERNAL (symbolP);
3148 #endif /* OBJ_AOUT or OBJ_BOUT */
3150 (void) expression (&exp);
3152 if (exp.X_op == O_illegal)
3153 as_bad (_("illegal expression; zero assumed"));
3154 else if (exp.X_op == O_absent)
3155 as_bad (_("missing expression; zero assumed"));
3156 else if (exp.X_op == O_big)
3158 if (exp.X_add_number > 0)
3159 as_bad (_("bignum invalid; zero assumed"));
3161 as_bad (_("floating point number invalid; zero assumed"));
3163 else if (exp.X_op == O_subtract
3164 && (S_GET_SEGMENT (exp.X_add_symbol)
3165 == S_GET_SEGMENT (exp.X_op_symbol))
3166 && SEG_NORMAL (S_GET_SEGMENT (exp.X_add_symbol))
3167 && (symbol_get_frag (exp.X_add_symbol)
3168 == symbol_get_frag (exp.X_op_symbol)))
3170 exp.X_op = O_constant;
3171 exp.X_add_number = (S_GET_VALUE (exp.X_add_symbol)
3172 - S_GET_VALUE (exp.X_op_symbol));
3180 exp.X_add_number = 0;
3183 S_SET_SEGMENT (symbolP, absolute_section);
3184 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3186 S_SET_EXTERNAL (symbolP);
3188 S_CLEAR_EXTERNAL (symbolP);
3189 #endif /* OBJ_AOUT or OBJ_BOUT */
3190 S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
3191 if (exp.X_op != O_constant)
3192 symbol_set_frag (symbolP, &zero_address_frag);
3196 S_SET_SEGMENT (symbolP, reg_section);
3197 S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
3198 symbol_set_frag (symbolP, &zero_address_frag);
3202 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section
3203 || exp.X_add_number != 0)
3204 symbol_set_value_expression (symbolP, &exp);
3205 else if (symbol_section_p (symbolP))
3206 as_bad ("invalid attempt to set value of section symbol");
3209 symbolS *s = exp.X_add_symbol;
3211 S_SET_SEGMENT (symbolP, S_GET_SEGMENT (s));
3212 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3214 S_SET_EXTERNAL (symbolP);
3216 S_CLEAR_EXTERNAL (symbolP);
3217 #endif /* OBJ_AOUT or OBJ_BOUT */
3218 S_SET_VALUE (symbolP,
3219 exp.X_add_number + S_GET_VALUE (s));
3220 symbol_set_frag (symbolP, symbol_get_frag (s));
3221 copy_symbol_attributes (symbolP, s);
3226 /* The value is some complex expression.
3227 FIXME: Should we set the segment to anything? */
3228 symbol_set_value_expression (symbolP, &exp);
3236 * CONStruct more frag of .bytes, or .words etc.
3237 * Should need_pass_2 be 1 then emit no frag(s).
3238 * This understands EXPRESSIONS.
3242 * This has a split personality. We use expression() to read the
3243 * value. We can detect if the value won't fit in a byte or word.
3244 * But we can't detect if expression() discarded significant digits
3245 * in the case of a long. Not worth the crocks required to fix it.
3248 /* Select a parser for cons expressions. */
3250 /* Some targets need to parse the expression in various fancy ways.
3251 You can define TC_PARSE_CONS_EXPRESSION to do whatever you like
3252 (for example, the HPPA does this). Otherwise, you can define
3253 BITFIELD_CONS_EXPRESSIONS to permit bitfields to be specified, or
3254 REPEAT_CONS_EXPRESSIONS to permit repeat counts. If none of these
3255 are defined, which is the normal case, then only simple expressions
3260 parse_mri_cons PARAMS ((expressionS *exp, unsigned int nbytes));
3263 #ifndef TC_PARSE_CONS_EXPRESSION
3264 #ifdef BITFIELD_CONS_EXPRESSIONS
3265 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_bitfield_cons (EXP, NBYTES)
3267 parse_bitfield_cons PARAMS ((expressionS *exp, unsigned int nbytes));
3269 #ifdef REPEAT_CONS_EXPRESSIONS
3270 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_repeat_cons (EXP, NBYTES)
3272 parse_repeat_cons PARAMS ((expressionS *exp, unsigned int nbytes));
3275 /* If we haven't gotten one yet, just call expression. */
3276 #ifndef TC_PARSE_CONS_EXPRESSION
3277 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) expression (EXP)
3281 /* worker to do .byte etc statements */
3282 /* clobbers input_line_pointer, checks */
3285 cons_worker (nbytes, rva)
3286 register int nbytes; /* 1=.byte, 2=.word, 4=.long */
3294 #ifdef md_flush_pending_output
3295 md_flush_pending_output ();
3299 stop = mri_comment_field (&stopc);
3301 if (is_it_end_of_statement ())
3303 demand_empty_rest_of_line ();
3305 mri_comment_end (stop, stopc);
3309 #ifdef md_cons_align
3310 md_cons_align (nbytes);
3318 parse_mri_cons (&exp, (unsigned int) nbytes);
3321 TC_PARSE_CONS_EXPRESSION (&exp, (unsigned int) nbytes);
3325 if (exp.X_op == O_symbol)
3326 exp.X_op = O_symbol_rva;
3328 as_fatal (_("rva without symbol"));
3330 emit_expr (&exp, (unsigned int) nbytes);
3333 while (*input_line_pointer++ == ',');
3335 /* In MRI mode, after an odd number of bytes, we must align to an
3336 even word boundary, unless the next instruction is a dc.b, ds.b
3338 if (flag_mri && nbytes == 1 && (c & 1) != 0)
3339 mri_pending_align = 1;
3341 input_line_pointer--; /* Put terminator back into stream. */
3343 demand_empty_rest_of_line ();
3346 mri_comment_end (stop, stopc);
3354 cons_worker (size, 0);
3361 cons_worker (size, 1);
3364 /* Put the contents of expression EXP into the object file using
3365 NBYTES bytes. If need_pass_2 is 1, this does nothing. */
3368 emit_expr (exp, nbytes)
3370 unsigned int nbytes;
3374 valueT extra_digit = 0;
3376 /* Don't do anything if we are going to make another pass. */
3382 /* When gcc emits DWARF 1 debugging pseudo-ops, a line number will
3383 appear as a four byte positive constant in the .line section,
3384 followed by a 2 byte 0xffff. Look for that case here. */
3386 static int dwarf_line = -1;
3388 if (strcmp (segment_name (now_seg), ".line") != 0)
3390 else if (dwarf_line >= 0
3392 && exp->X_op == O_constant
3393 && (exp->X_add_number == -1 || exp->X_add_number == 0xffff))
3394 listing_source_line ((unsigned int) dwarf_line);
3395 else if (nbytes == 4
3396 && exp->X_op == O_constant
3397 && exp->X_add_number >= 0)
3398 dwarf_line = exp->X_add_number;
3403 /* When gcc emits DWARF 1 debugging pseudo-ops, a file name will
3404 appear as a 2 byte TAG_compile_unit (0x11) followed by a 2 byte
3405 AT_sibling (0x12) followed by a four byte address of the sibling
3406 followed by a 2 byte AT_name (0x38) followed by the name of the
3407 file. We look for that case here. */
3409 static int dwarf_file = 0;
3411 if (strcmp (segment_name (now_seg), ".debug") != 0)
3413 else if (dwarf_file == 0
3415 && exp->X_op == O_constant
3416 && exp->X_add_number == 0x11)
3418 else if (dwarf_file == 1
3420 && exp->X_op == O_constant
3421 && exp->X_add_number == 0x12)
3423 else if (dwarf_file == 2
3426 else if (dwarf_file == 3
3428 && exp->X_op == O_constant
3429 && exp->X_add_number == 0x38)
3434 /* The variable dwarf_file_string tells stringer that the string
3435 may be the name of the source file. */
3436 if (dwarf_file == 4)
3437 dwarf_file_string = 1;
3439 dwarf_file_string = 0;
3444 if (check_eh_frame (exp, &nbytes))
3449 /* Allow `.word 0' in the absolute section. */
3450 if (now_seg == absolute_section)
3452 if (op != O_constant || exp->X_add_number != 0)
3453 as_bad (_("attempt to store value in absolute section"));
3454 abs_section_offset += nbytes;
3458 /* Handle a negative bignum. */
3460 && exp->X_add_number == 0
3461 && symbol_get_value_expression (exp->X_add_symbol)->X_op == O_big
3462 && symbol_get_value_expression (exp->X_add_symbol)->X_add_number > 0)
3465 unsigned long carry;
3467 exp = symbol_get_value_expression (exp->X_add_symbol);
3469 /* Negate the bignum: one's complement each digit and add 1. */
3471 for (i = 0; i < exp->X_add_number; i++)
3475 next = (((~ (generic_bignum[i] & LITTLENUM_MASK))
3478 generic_bignum[i] = next & LITTLENUM_MASK;
3479 carry = next >> LITTLENUM_NUMBER_OF_BITS;
3482 /* We can ignore any carry out, because it will be handled by
3483 extra_digit if it is needed. */
3485 extra_digit = (valueT) -1;
3489 if (op == O_absent || op == O_illegal)
3491 as_warn (_("zero assumed for missing expression"));
3492 exp->X_add_number = 0;
3495 else if (op == O_big && exp->X_add_number <= 0)
3497 as_bad (_("floating point number invalid; zero assumed"));
3498 exp->X_add_number = 0;
3501 else if (op == O_register)
3503 as_warn (_("register value used as expression"));
3507 p = frag_more ((int) nbytes);
3509 #ifndef WORKING_DOT_WORD
3510 /* If we have the difference of two symbols in a word, save it on
3511 the broken_words list. See the code in write.c. */
3512 if (op == O_subtract && nbytes == 2)
3514 struct broken_word *x;
3516 x = (struct broken_word *) xmalloc (sizeof (struct broken_word));
3517 x->next_broken_word = broken_words;
3520 x->subseg = now_subseg;
3522 x->word_goes_here = p;
3524 x->add = exp->X_add_symbol;
3525 x->sub = exp->X_op_symbol;
3526 x->addnum = exp->X_add_number;
3533 /* If we have an integer, but the number of bytes is too large to
3534 pass to md_number_to_chars, handle it as a bignum. */
3535 if (op == O_constant && nbytes > sizeof (valueT))
3540 if (! exp->X_unsigned && exp->X_add_number < 0)
3541 extra_digit = (valueT) -1;
3542 val = (valueT) exp->X_add_number;
3546 generic_bignum[gencnt] = val & LITTLENUM_MASK;
3547 val >>= LITTLENUM_NUMBER_OF_BITS;
3551 op = exp->X_op = O_big;
3552 exp->X_add_number = gencnt;
3555 if (op == O_constant)
3557 register valueT get;
3558 register valueT use;
3559 register valueT mask;
3561 register valueT unmask;
3563 /* JF << of >= number of bits in the object is undefined. In
3564 particular SPARC (Sun 4) has problems */
3565 if (nbytes >= sizeof (valueT))
3568 if (nbytes > sizeof (valueT))
3571 hibit = (valueT) 1 << (nbytes * BITS_PER_CHAR - 1);
3575 /* Don't store these bits. */
3576 mask = ~(valueT) 0 << (BITS_PER_CHAR * nbytes);
3577 hibit = (valueT) 1 << (nbytes * BITS_PER_CHAR - 1);
3580 unmask = ~mask; /* Do store these bits. */
3583 "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
3584 mask = ~(unmask >> 1); /* Includes sign bit now. */
3587 get = exp->X_add_number;
3589 if ((get & mask) != 0
3590 && ((get & mask) != mask
3591 || (get & hibit) == 0))
3592 { /* Leading bits contain both 0s & 1s. */
3593 as_warn (_("Value 0x%lx truncated to 0x%lx."),
3594 (unsigned long) get, (unsigned long) use);
3596 /* put bytes in right order. */
3597 md_number_to_chars (p, use, (int) nbytes);
3599 else if (op == O_big)
3602 LITTLENUM_TYPE *nums;
3604 know (nbytes % CHARS_PER_LITTLENUM == 0);
3606 size = exp->X_add_number * CHARS_PER_LITTLENUM;
3609 as_warn (_("Bignum truncated to %d bytes"), nbytes);
3613 if (target_big_endian)
3615 while (nbytes > size)
3617 md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
3618 nbytes -= CHARS_PER_LITTLENUM;
3619 p += CHARS_PER_LITTLENUM;
3622 nums = generic_bignum + size / CHARS_PER_LITTLENUM;
3626 md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
3627 size -= CHARS_PER_LITTLENUM;
3628 p += CHARS_PER_LITTLENUM;
3633 nums = generic_bignum;
3636 md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
3638 size -= CHARS_PER_LITTLENUM;
3639 p += CHARS_PER_LITTLENUM;
3640 nbytes -= CHARS_PER_LITTLENUM;
3645 md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
3646 nbytes -= CHARS_PER_LITTLENUM;
3647 p += CHARS_PER_LITTLENUM;
3653 memset (p, 0, nbytes);
3655 /* Now we need to generate a fixS to record the symbol value.
3656 This is easy for BFD. For other targets it can be more
3657 complex. For very complex cases (currently, the HPPA and
3658 NS32K), you can define TC_CONS_FIX_NEW to do whatever you
3659 want. For simpler cases, you can define TC_CONS_RELOC to be
3660 the name of the reloc code that should be stored in the fixS.
3661 If neither is defined, the code uses NO_RELOC if it is
3662 defined, and otherwise uses 0. */
3664 #ifdef BFD_ASSEMBLER
3665 #ifdef TC_CONS_FIX_NEW
3666 TC_CONS_FIX_NEW (frag_now, p - frag_now->fr_literal, nbytes, exp);
3669 bfd_reloc_code_real_type r;
3686 as_bad (_("unsupported BFD relocation size %u"), nbytes);
3690 fix_new_exp (frag_now, p - frag_now->fr_literal, (int) nbytes, exp,
3695 #ifdef TC_CONS_FIX_NEW
3696 TC_CONS_FIX_NEW (frag_now, p - frag_now->fr_literal, nbytes, exp);
3698 /* Figure out which reloc number to use. Use TC_CONS_RELOC if
3699 it is defined, otherwise use NO_RELOC if it is defined,
3701 #ifndef TC_CONS_RELOC
3703 #define TC_CONS_RELOC NO_RELOC
3705 #define TC_CONS_RELOC 0
3708 fix_new_exp (frag_now, p - frag_now->fr_literal, (int) nbytes, exp, 0,
3710 #endif /* TC_CONS_FIX_NEW */
3711 #endif /* BFD_ASSEMBLER */
3715 #ifdef BITFIELD_CONS_EXPRESSIONS
3717 /* i960 assemblers, (eg, asm960), allow bitfields after ".byte" as
3718 w:x,y:z, where w and y are bitwidths and x and y are values. They
3719 then pack them all together. We do a little better in that we allow
3720 them in words, longs, etc. and we'll pack them in target byte order
3723 The rules are: pack least significat bit first, if a field doesn't
3724 entirely fit, put it in the next unit. Overflowing the bitfield is
3725 explicitly *not* even a warning. The bitwidth should be considered
3728 To use this function the tc-XXX.h file should define
3729 BITFIELD_CONS_EXPRESSIONS. */
3732 parse_bitfield_cons (exp, nbytes)
3734 unsigned int nbytes;
3736 unsigned int bits_available = BITS_PER_CHAR * nbytes;
3737 char *hold = input_line_pointer;
3739 (void) expression (exp);
3741 if (*input_line_pointer == ':')
3747 unsigned long width;
3749 if (*input_line_pointer != ':')
3751 input_line_pointer = hold;
3753 } /* next piece is not a bitfield */
3755 /* In the general case, we can't allow
3756 full expressions with symbol
3757 differences and such. The relocation
3758 entries for symbols not defined in this
3759 assembly would require arbitrary field
3760 widths, positions, and masks which most
3761 of our current object formats don't
3764 In the specific case where a symbol
3765 *is* defined in this assembly, we
3766 *could* build fixups and track it, but
3767 this could lead to confusion for the
3768 backends. I'm lazy. I'll take any
3769 SEG_ABSOLUTE. I think that means that
3770 you can use a previous .set or
3771 .equ type symbol. xoxorich. */
3773 if (exp->X_op == O_absent)
3775 as_warn (_("using a bit field width of zero"));
3776 exp->X_add_number = 0;
3777 exp->X_op = O_constant;
3778 } /* implied zero width bitfield */
3780 if (exp->X_op != O_constant)
3782 *input_line_pointer = '\0';
3783 as_bad (_("field width \"%s\" too complex for a bitfield"), hold);
3784 *input_line_pointer = ':';
3785 demand_empty_rest_of_line ();
3789 if ((width = exp->X_add_number) > (BITS_PER_CHAR * nbytes))
3791 as_warn (_("field width %lu too big to fit in %d bytes: truncated to %d bits"),
3792 width, nbytes, (BITS_PER_CHAR * nbytes));
3793 width = BITS_PER_CHAR * nbytes;
3796 if (width > bits_available)
3798 /* FIXME-SOMEDAY: backing up and reparsing is wasteful. */
3799 input_line_pointer = hold;
3800 exp->X_add_number = value;
3804 hold = ++input_line_pointer; /* skip ':' */
3806 (void) expression (exp);
3807 if (exp->X_op != O_constant)
3809 char cache = *input_line_pointer;
3811 *input_line_pointer = '\0';
3812 as_bad (_("field value \"%s\" too complex for a bitfield"), hold);
3813 *input_line_pointer = cache;
3814 demand_empty_rest_of_line ();
3818 value |= ((~(-1 << width) & exp->X_add_number)
3819 << ((BITS_PER_CHAR * nbytes) - bits_available));
3821 if ((bits_available -= width) == 0
3822 || is_it_end_of_statement ()
3823 || *input_line_pointer != ',')
3826 } /* all the bitfields we're gonna get */
3828 hold = ++input_line_pointer;
3829 (void) expression (exp);
3830 } /* forever loop */
3832 exp->X_add_number = value;
3833 exp->X_op = O_constant;
3834 exp->X_unsigned = 1;
3835 } /* if looks like a bitfield */
3836 } /* parse_bitfield_cons() */
3838 #endif /* BITFIELD_CONS_EXPRESSIONS */
3840 /* Handle an MRI style string expression. */
3844 parse_mri_cons (exp, nbytes)
3846 unsigned int nbytes;
3848 if (*input_line_pointer != '\''
3849 && (input_line_pointer[1] != '\''
3850 || (*input_line_pointer != 'A'
3851 && *input_line_pointer != 'E')))
3852 TC_PARSE_CONS_EXPRESSION (exp, nbytes);
3856 unsigned int result = 0;
3858 /* An MRI style string. Cut into as many bytes as will fit into
3859 a nbyte chunk, left justify if necessary, and separate with
3860 commas so we can try again later. */
3861 if (*input_line_pointer == 'A')
3862 ++input_line_pointer;
3863 else if (*input_line_pointer == 'E')
3865 as_bad (_("EBCDIC constants are not supported"));
3866 ++input_line_pointer;
3869 input_line_pointer++;
3870 for (scan = 0; scan < nbytes; scan++)
3872 if (*input_line_pointer == '\'')
3874 if (input_line_pointer[1] == '\'')
3876 input_line_pointer++;
3881 result = (result << 8) | (*input_line_pointer++);
3885 while (scan < nbytes)
3890 /* Create correct expression */
3891 exp->X_op = O_constant;
3892 exp->X_add_number = result;
3893 /* Fake it so that we can read the next char too */
3894 if (input_line_pointer[0] != '\'' ||
3895 (input_line_pointer[0] == '\'' && input_line_pointer[1] == '\''))
3897 input_line_pointer -= 2;
3898 input_line_pointer[0] = ',';
3899 input_line_pointer[1] = '\'';
3902 input_line_pointer++;
3905 #endif /* TC_M68K */
3907 #ifdef REPEAT_CONS_EXPRESSIONS
3909 /* Parse a repeat expression for cons. This is used by the MIPS
3910 assembler. The format is NUMBER:COUNT; NUMBER appears in the
3911 object file COUNT times.
3913 To use this for a target, define REPEAT_CONS_EXPRESSIONS. */
3916 parse_repeat_cons (exp, nbytes)
3918 unsigned int nbytes;
3925 if (*input_line_pointer != ':')
3927 /* No repeat count. */
3931 ++input_line_pointer;
3932 expression (&count);
3933 if (count.X_op != O_constant
3934 || count.X_add_number <= 0)
3936 as_warn (_("Unresolvable or nonpositive repeat count; using 1"));
3940 /* The cons function is going to output this expression once. So we
3941 output it count - 1 times. */
3942 for (i = count.X_add_number - 1; i > 0; i--)
3943 emit_expr (exp, nbytes);
3946 #endif /* REPEAT_CONS_EXPRESSIONS */
3948 /* Parse a floating point number represented as a hex constant. This
3949 permits users to specify the exact bits they want in the floating
3953 hex_float (float_type, bytes)
3987 as_bad (_("Unknown floating type type '%c'"), float_type);
3991 /* It would be nice if we could go through expression to parse the
3992 hex constant, but if we get a bignum it's a pain to sort it into
3993 the buffer correctly. */
3995 while (hex_p (*input_line_pointer) || *input_line_pointer == '_')
3999 /* The MRI assembler accepts arbitrary underscores strewn about
4000 through the hex constant, so we ignore them as well. */
4001 if (*input_line_pointer == '_')
4003 ++input_line_pointer;
4009 as_warn (_("Floating point constant too large"));
4012 d = hex_value (*input_line_pointer) << 4;
4013 ++input_line_pointer;
4014 while (*input_line_pointer == '_')
4015 ++input_line_pointer;
4016 if (hex_p (*input_line_pointer))
4018 d += hex_value (*input_line_pointer);
4019 ++input_line_pointer;
4021 if (target_big_endian)
4024 bytes[length - i - 1] = d;
4030 if (target_big_endian)
4031 memset (bytes + i, 0, length - i);
4033 memset (bytes, 0, length - i);
4042 * CONStruct some more frag chars of .floats .ffloats etc.
4043 * Makes 0 or more new frags.
4044 * If need_pass_2 == 1, no frags are emitted.
4045 * This understands only floating literals, not expressions. Sorry.
4047 * A floating constant is defined by atof_generic(), except it is preceded
4048 * by 0d 0f 0g or 0h. After observing the STRANGE way my BSD AS does its
4049 * reading, I decided to be incompatible. This always tries to give you
4050 * rounded bits to the precision of the pseudo-op. Former AS did premature
4051 * truncatation, restored noisy bits instead of trailing 0s AND gave you
4052 * a choice of 2 flavours of noise according to which of 2 floating-point
4053 * scanners you directed AS to use.
4055 * In: input_line_pointer->whitespace before, or '0' of flonum.
4060 float_cons (float_type)
4061 /* Clobbers input_line-pointer, checks end-of-line. */
4062 register int float_type; /* 'f':.ffloat ... 'F':.float ... */
4065 int length; /* Number of chars in an object. */
4066 register char *err; /* Error from scanning floating literal. */
4067 char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
4069 if (is_it_end_of_statement ())
4071 demand_empty_rest_of_line ();
4075 #ifdef md_flush_pending_output
4076 md_flush_pending_output ();
4081 /* input_line_pointer->1st char of a flonum (we hope!). */
4084 /* Skip any 0{letter} that may be present. Don't even check if the
4085 * letter is legal. Someone may invent a "z" format and this routine
4086 * has no use for such information. Lusers beware: you get
4087 * diagnostics if your input is ill-conditioned.
4089 if (input_line_pointer[0] == '0'
4090 && isalpha ((unsigned char) input_line_pointer[1]))
4091 input_line_pointer += 2;
4093 /* Accept :xxxx, where the x's are hex digits, for a floating
4094 point with the exact digits specified. */
4095 if (input_line_pointer[0] == ':')
4097 ++input_line_pointer;
4098 length = hex_float (float_type, temp);
4101 ignore_rest_of_line ();
4107 err = md_atof (float_type, temp, &length);
4108 know (length <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
4112 as_bad (_("Bad floating literal: %s"), err);
4113 ignore_rest_of_line ();
4124 #ifdef REPEAT_CONS_EXPRESSIONS
4125 if (*input_line_pointer == ':')
4127 expressionS count_exp;
4129 ++input_line_pointer;
4130 expression (&count_exp);
4131 if (count_exp.X_op != O_constant
4132 || count_exp.X_add_number <= 0)
4134 as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4137 count = count_exp.X_add_number;
4141 while (--count >= 0)
4143 p = frag_more (length);
4144 memcpy (p, temp, (unsigned int) length);
4149 while (*input_line_pointer++ == ',');
4151 --input_line_pointer; /* Put terminator back into stream. */
4152 demand_empty_rest_of_line ();
4153 } /* float_cons() */
4155 /* Return the size of a LEB128 value */
4158 sizeof_sleb128 (value)
4161 register int size = 0;
4162 register unsigned byte;
4166 byte = (value & 0x7f);
4167 /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4168 Fortunately, we can structure things so that the extra work reduces
4169 to a noop on systems that do things "properly". */
4170 value = (value >> 7) | ~(-(offsetT)1 >> 7);
4173 while (!(((value == 0) && ((byte & 0x40) == 0))
4174 || ((value == -1) && ((byte & 0x40) != 0))));
4180 sizeof_uleb128 (value)
4183 register int size = 0;
4184 register unsigned byte;
4188 byte = (value & 0x7f);
4198 sizeof_leb128 (value, sign)
4203 return sizeof_sleb128 ((offsetT) value);
4205 return sizeof_uleb128 (value);
4208 /* Output a LEB128 value. */
4211 output_sleb128 (p, value)
4215 register char *orig = p;
4220 unsigned byte = (value & 0x7f);
4222 /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4223 Fortunately, we can structure things so that the extra work reduces
4224 to a noop on systems that do things "properly". */
4225 value = (value >> 7) | ~(-(offsetT)1 >> 7);
4227 more = !((((value == 0) && ((byte & 0x40) == 0))
4228 || ((value == -1) && ((byte & 0x40) != 0))));
4240 output_uleb128 (p, value)
4248 unsigned byte = (value & 0x7f);
4251 /* More bytes to follow. */
4262 output_leb128 (p, value, sign)
4268 return output_sleb128 (p, (offsetT) value);
4270 return output_uleb128 (p, value);
4273 /* Do the same for bignums. We combine sizeof with output here in that
4274 we don't output for NULL values of P. It isn't really as critical as
4275 for "normal" values that this be streamlined. */
4278 output_big_sleb128 (p, bignum, size)
4280 LITTLENUM_TYPE *bignum;
4288 /* Strip leading sign extensions off the bignum. */
4289 while (size > 0 && bignum[size-1] == (LITTLENUM_TYPE)-1)
4294 if (loaded < 7 && size > 0)
4296 val |= (*bignum << loaded);
4297 loaded += 8 * CHARS_PER_LITTLENUM;
4308 if ((val == 0 && (byte & 0x40) == 0)
4309 || (~(val | ~(((valueT)1 << loaded) - 1)) == 0
4310 && (byte & 0x40) != 0))
4318 while (byte & 0x80);
4324 output_big_uleb128 (p, bignum, size)
4326 LITTLENUM_TYPE *bignum;
4334 /* Strip leading zeros off the bignum. */
4335 /* XXX: Is this needed? */
4336 while (size > 0 && bignum[size-1] == 0)
4341 if (loaded < 7 && size > 0)
4343 val |= (*bignum << loaded);
4344 loaded += 8 * CHARS_PER_LITTLENUM;
4353 if (size > 0 || val)
4360 while (byte & 0x80);
4366 output_big_leb128 (p, bignum, size, sign)
4368 LITTLENUM_TYPE *bignum;
4372 return output_big_sleb128 (p, bignum, size);
4374 return output_big_uleb128 (p, bignum, size);
4377 /* Generate the appropriate fragments for a given expression to emit a
4381 emit_leb128_expr(exp, sign)
4385 operatorT op = exp->X_op;
4387 if (op == O_absent || op == O_illegal)
4389 as_warn (_("zero assumed for missing expression"));
4390 exp->X_add_number = 0;
4393 else if (op == O_big && exp->X_add_number <= 0)
4395 as_bad (_("floating point number invalid; zero assumed"));
4396 exp->X_add_number = 0;
4399 else if (op == O_register)
4401 as_warn (_("register value used as expression"));
4405 if (op == O_constant)
4407 /* If we've got a constant, emit the thing directly right now. */
4409 valueT value = exp->X_add_number;
4413 size = sizeof_leb128 (value, sign);
4414 p = frag_more (size);
4415 output_leb128 (p, value, sign);
4417 else if (op == O_big)
4419 /* O_big is a different sort of constant. */
4424 size = output_big_leb128 (NULL, generic_bignum, exp->X_add_number, sign);
4425 p = frag_more (size);
4426 output_big_leb128 (p, generic_bignum, exp->X_add_number, sign);
4430 /* Otherwise, we have to create a variable sized fragment and
4431 resolve things later. */
4433 frag_var (rs_leb128, sizeof_uleb128 (~(valueT)0), 0, sign,
4434 make_expr_symbol (exp), 0, (char *) NULL);
4438 /* Parse the .sleb128 and .uleb128 pseudos. */
4448 emit_leb128_expr (&exp, sign);
4449 } while (*input_line_pointer++ == ',');
4451 input_line_pointer--;
4452 demand_empty_rest_of_line ();
4458 * We read 0 or more ',' separated, double-quoted strings.
4460 * Caller should have checked need_pass_2 is FALSE because we don't check it.
4465 stringer (append_zero) /* Worker to do .ascii etc statements. */
4466 /* Checks end-of-line. */
4467 register int append_zero; /* 0: don't append '\0', else 1 */
4469 register unsigned int c;
4472 #ifdef md_flush_pending_output
4473 md_flush_pending_output ();
4477 * The following awkward logic is to parse ZERO or more strings,
4478 * comma separated. Recall a string expression includes spaces
4479 * before the opening '\"' and spaces after the closing '\"'.
4480 * We fake a leading ',' if there is (supposed to be)
4481 * a 1st, expression. We keep demanding expressions for each
4484 if (is_it_end_of_statement ())
4486 c = 0; /* Skip loop. */
4487 ++input_line_pointer; /* Compensate for end of loop. */
4491 c = ','; /* Do loop. */
4493 while (c == ',' || c == '<' || c == '"')
4496 switch (*input_line_pointer)
4499 ++input_line_pointer; /*->1st char of string. */
4500 start = input_line_pointer;
4501 while (is_a_char (c = next_char_of_string ()))
4503 FRAG_APPEND_1_CHAR (c);
4507 FRAG_APPEND_1_CHAR (0);
4509 know (input_line_pointer[-1] == '\"');
4513 /* In ELF, when gcc is emitting DWARF 1 debugging output, it
4514 will emit .string with a filename in the .debug section
4515 after a sequence of constants. See the comment in
4516 emit_expr for the sequence. emit_expr will set
4517 dwarf_file_string to non-zero if this string might be a
4518 source file name. */
4519 if (strcmp (segment_name (now_seg), ".debug") != 0)
4520 dwarf_file_string = 0;
4521 else if (dwarf_file_string)
4523 c = input_line_pointer[-1];
4524 input_line_pointer[-1] = '\0';
4525 listing_source_file (start);
4526 input_line_pointer[-1] = c;
4533 input_line_pointer++;
4534 c = get_single_number ();
4535 FRAG_APPEND_1_CHAR (c);
4536 if (*input_line_pointer != '>')
4538 as_bad (_("Expected <nn>"));
4540 input_line_pointer++;
4543 input_line_pointer++;
4547 c = *input_line_pointer;
4550 demand_empty_rest_of_line ();
4553 /* FIXME-SOMEDAY: I had trouble here on characters with the
4554 high bits set. We'll probably also have trouble with
4555 multibyte chars, wide chars, etc. Also be careful about
4556 returning values bigger than 1 byte. xoxorich. */
4559 next_char_of_string ()
4561 register unsigned int c;
4563 c = *input_line_pointer++ & CHAR_MASK;
4571 as_warn (_("Unterminated string: Newline inserted."));
4572 bump_line_counters ();
4575 #ifndef NO_STRING_ESCAPES
4577 switch (c = *input_line_pointer++)
4605 break; /* As itself. */
4621 for (i = 0, number = 0; isdigit (c) && i < 3; c = *input_line_pointer++, i++)
4623 number = number * 8 + c - '0';
4627 --input_line_pointer;
4636 c = *input_line_pointer++;
4637 while (isxdigit (c))
4640 number = number * 16 + c - '0';
4641 else if (isupper (c))
4642 number = number * 16 + c - 'A' + 10;
4644 number = number * 16 + c - 'a' + 10;
4645 c = *input_line_pointer++;
4648 --input_line_pointer;
4653 /* To be compatible with BSD 4.2 as: give the luser a linefeed!! */
4654 as_warn (_("Unterminated string: Newline inserted."));
4656 bump_line_counters ();
4661 #ifdef ONLY_STANDARD_ESCAPES
4662 as_bad (_("Bad escaped character in string, '?' assumed"));
4664 #endif /* ONLY_STANDARD_ESCAPES */
4667 } /* switch on escaped char */
4669 #endif /* ! defined (NO_STRING_ESCAPES) */
4673 } /* switch on char */
4675 } /* next_char_of_string() */
4678 get_segmented_expression (expP)
4679 register expressionS *expP;
4681 register segT retval;
4683 retval = expression (expP);
4684 if (expP->X_op == O_illegal
4685 || expP->X_op == O_absent
4686 || expP->X_op == O_big)
4688 as_bad (_("expected address expression; zero assumed"));
4689 expP->X_op = O_constant;
4690 expP->X_add_number = 0;
4691 retval = absolute_section;
4697 get_known_segmented_expression (expP)
4698 register expressionS *expP;
4700 register segT retval;
4702 if ((retval = get_segmented_expression (expP)) == undefined_section)
4704 /* There is no easy way to extract the undefined symbol from the
4706 if (expP->X_add_symbol != NULL
4707 && S_GET_SEGMENT (expP->X_add_symbol) != expr_section)
4708 as_warn (_("symbol \"%s\" undefined; zero assumed"),
4709 S_GET_NAME (expP->X_add_symbol));
4711 as_warn (_("some symbol undefined; zero assumed"));
4712 retval = absolute_section;
4713 expP->X_op = O_constant;
4714 expP->X_add_number = 0;
4716 know (retval == absolute_section || SEG_NORMAL (retval));
4718 } /* get_known_segmented_expression() */
4721 get_absolute_expression ()
4726 if (exp.X_op != O_constant)
4728 if (exp.X_op != O_absent)
4729 as_bad (_("bad or irreducible absolute expression; zero assumed"));
4730 exp.X_add_number = 0;
4732 return exp.X_add_number;
4735 char /* return terminator */
4736 get_absolute_expression_and_terminator (val_pointer)
4737 long *val_pointer; /* return value of expression */
4739 /* FIXME: val_pointer should probably be offsetT *. */
4740 *val_pointer = (long) get_absolute_expression ();
4741 return (*input_line_pointer++);
4745 * demand_copy_C_string()
4747 * Like demand_copy_string, but return NULL if the string contains any '\0's.
4748 * Give a warning if that happens.
4751 demand_copy_C_string (len_pointer)
4756 if ((s = demand_copy_string (len_pointer)) != 0)
4760 for (len = *len_pointer; len > 0; len--)
4767 as_bad (_("This string may not contain \'\\0\'"));
4775 * demand_copy_string()
4777 * Demand string, but return a safe (=private) copy of the string.
4778 * Return NULL if we can't read a string here.
4781 demand_copy_string (lenP)
4784 register unsigned int c;
4790 if (*input_line_pointer == '\"')
4792 input_line_pointer++; /* Skip opening quote. */
4794 while (is_a_char (c = next_char_of_string ()))
4796 obstack_1grow (¬es, c);
4799 /* JF this next line is so demand_copy_C_string will return a
4800 null terminated string. */
4801 obstack_1grow (¬es, '\0');
4802 retval = obstack_finish (¬es);
4806 as_warn (_("Missing string"));
4808 ignore_rest_of_line ();
4812 } /* demand_copy_string() */
4815 * is_it_end_of_statement()
4817 * In: Input_line_pointer->next character.
4819 * Do: Skip input_line_pointer over all whitespace.
4821 * Out: 1 if input_line_pointer->end-of-line.
4824 is_it_end_of_statement ()
4827 return (is_end_of_line[(unsigned char) *input_line_pointer]);
4828 } /* is_it_end_of_statement() */
4831 equals (sym_name, reassign)
4835 register symbolS *symbolP; /* symbol we are working with */
4839 input_line_pointer++;
4840 if (*input_line_pointer == '=')
4841 input_line_pointer++;
4843 while (*input_line_pointer == ' ' || *input_line_pointer == '\t')
4844 input_line_pointer++;
4847 stop = mri_comment_field (&stopc);
4849 if (sym_name[0] == '.' && sym_name[1] == '\0')
4851 /* Turn '. = mumble' into a .org mumble */
4852 register segT segment;
4855 segment = get_known_segmented_expression (&exp);
4857 do_org (segment, &exp, 0);
4861 symbolP = symbol_find_or_make (sym_name);
4862 /* Permit register names to be redefined. */
4864 && S_IS_DEFINED (symbolP)
4865 && S_GET_SEGMENT (symbolP) != reg_section)
4866 as_bad (_("symbol `%s' already defined"), S_GET_NAME (symbolP));
4867 pseudo_set (symbolP);
4872 ignore_rest_of_line (); /* check garbage after the expression */
4873 mri_comment_end (stop, stopc);
4877 /* .include -- include a file at this point. */
4882 int arg ATTRIBUTE_UNUSED;
4889 if (! flag_m68k_mri)
4891 filename = demand_copy_string (&i);
4892 if (filename == NULL)
4894 /* demand_copy_string has already printed an error and
4895 called ignore_rest_of_line. */
4903 while (! is_end_of_line[(unsigned char) *input_line_pointer]
4904 && *input_line_pointer != ' '
4905 && *input_line_pointer != '\t')
4907 obstack_1grow (¬es, *input_line_pointer);
4908 ++input_line_pointer;
4911 obstack_1grow (¬es, '\0');
4912 filename = obstack_finish (¬es);
4913 while (! is_end_of_line[(unsigned char) *input_line_pointer])
4914 ++input_line_pointer;
4916 demand_empty_rest_of_line ();
4917 path = xmalloc ((unsigned long) i + include_dir_maxlen + 5 /* slop */ );
4918 for (i = 0; i < include_dir_count; i++)
4920 strcpy (path, include_dirs[i]);
4922 strcat (path, filename);
4923 if (0 != (try = fopen (path, "r")))
4932 /* malloc Storage leak when file is found on path. FIXME-SOMEDAY. */
4933 register_dependency (path);
4934 input_scrub_insert_file (path);
4938 add_include_dir (path)
4943 if (include_dir_count == 0)
4945 include_dirs = (char **) xmalloc (2 * sizeof (*include_dirs));
4946 include_dirs[0] = "."; /* Current dir */
4947 include_dir_count = 2;
4951 include_dir_count++;
4952 include_dirs = (char **) realloc (include_dirs,
4953 include_dir_count * sizeof (*include_dirs));
4956 include_dirs[include_dir_count - 1] = path; /* New one */
4959 if (i > include_dir_maxlen)
4960 include_dir_maxlen = i;
4961 } /* add_include_dir() */
4963 /* Output debugging information to denote the source file. */
4966 generate_file_debug ()
4968 if (debug_type == DEBUG_STABS)
4969 stabs_generate_asm_file ();
4972 /* Output line number debugging information for the current source line. */
4975 generate_lineno_debug ()
4977 #ifdef ECOFF_DEBUGGING
4978 /* ECOFF assemblers automatically generate debugging information.
4979 FIXME: This should probably be handled elsewhere. */
4980 if (debug_type == DEBUG_UNSPECIFIED)
4982 if (ECOFF_DEBUGGING && ecoff_no_current_file ())
4983 debug_type = DEBUG_ECOFF;
4985 debug_type = DEBUG_NONE;
4991 case DEBUG_UNSPECIFIED:
4995 stabs_generate_asm_lineno ();
4998 ecoff_generate_asm_lineno ();
5007 /* Output debugging information to mark a function entry point or end point.
5008 END_P is zero for .func, and non-zero for .endfunc. */
5014 do_s_func (end_p, NULL);
5017 /* Subroutine of s_func so targets can choose a different default prefix.
5018 If DEFAULT_PREFIX is NULL, use the target's "leading char". */
5021 do_s_func (end_p, default_prefix)
5023 const char *default_prefix;
5025 /* Record the current function so that we can issue an error message for
5026 misplaced .func,.endfunc, and also so that .endfunc needs no
5028 static char *current_name;
5029 static char *current_label;
5033 if (current_name == NULL)
5035 as_bad (_("missing .func"));
5036 ignore_rest_of_line ();
5040 if (debug_type == DEBUG_STABS)
5041 stabs_generate_asm_endfunc (current_name, current_label);
5043 current_name = current_label = NULL;
5050 if (current_name != NULL)
5052 as_bad (_(".endfunc missing for previous .func"));
5053 ignore_rest_of_line ();
5057 name = input_line_pointer;
5058 delim1 = get_symbol_end ();
5059 name = xstrdup (name);
5060 *input_line_pointer = delim1;
5062 if (*input_line_pointer != ',')
5065 asprintf (&label, "%s%s", default_prefix, name);
5068 char leading_char = 0;
5069 #ifdef BFD_ASSEMBLER
5070 leading_char = bfd_get_symbol_leading_char (stdoutput);
5072 /* Missing entry point, use function's name with the leading
5075 asprintf (&label, "%c%s", leading_char, name);
5082 ++input_line_pointer;
5084 label = input_line_pointer;
5085 delim2 = get_symbol_end ();
5086 label = xstrdup (label);
5087 *input_line_pointer = delim2;
5090 if (debug_type == DEBUG_STABS)
5091 stabs_generate_asm_func (name, label);
5093 current_name = name;
5094 current_label = label;
5097 demand_empty_rest_of_line ();
5102 int arg ATTRIBUTE_UNUSED;
5104 while (!is_end_of_line[(unsigned char) *input_line_pointer])
5106 ++input_line_pointer;
5108 ++input_line_pointer;
5113 read_print_statistics (file)
5116 hash_print_statistics (file, "pseudo-op table", po_hash);
5119 /* Inserts the given line into the input stream.
5121 This call avoids macro/conditionals nesting checking, since the contents of
5122 the line are assumed to replace the contents of a line already scanned.
5124 An appropriate use of this function would be substition of input lines when
5125 called by md_start_line_hook(). The given line is assumed to already be
5126 properly scrubbed. */
5129 input_scrub_insert_line (line)
5134 sb_add_string (&newline, line);
5135 input_scrub_include_sb (&newline, input_line_pointer, 0);
5137 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
5140 /* Insert a file into the input stream; the path must resolve to an actual
5141 file; no include path searching or dependency registering is performed. */
5144 input_scrub_insert_file (path)
5147 input_scrub_include_file (path, input_line_pointer);
5148 buffer_limit = input_scrub_next_buffer (&input_line_pointer);