1 /* read.c - read a source file -
2 Copyright (C) 1986, 87, 90, 91, 92, 93, 94, 95, 1996
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
22 #define MASK_CHAR (0xFF) /* If your chars aren't 8 bits, you will
23 change this a bit. But then, GNU isn't
24 spozed to run on your machine anyway.
25 (RMS is so shortsighted sometimes.)
28 #define MASK_CHAR ((int)(unsigned char)-1)
32 /* This is the largest known floating point format (for now). It will
33 grow when we do 4361 style flonums. */
35 #define MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT (16)
37 /* Routines that read assembler source text to build spagetti in memory.
38 Another group of these functions is in the expr.c module. */
47 #include "libiberty.h"
51 #ifndef TC_START_LABEL
52 #define TC_START_LABEL(x,y) (x==':')
55 /* The NOP_OPCODE is for the alignment fill value.
56 * fill it a nop instruction so that the disassembler does not choke
60 #define NOP_OPCODE 0x00
63 char *input_line_pointer; /*->next char of source file to parse. */
65 int generate_asm_lineno = 0; /* flag to generate line stab for .s file */
67 #if BITS_PER_CHAR != 8
68 /* The following table is indexed by[(char)] and will break if
69 a char does not have exactly 256 states (hopefully 0:255!)! */
74 /* The m88k unfortunately uses @ as a label beginner. */
79 /* The RS/6000 assembler uses {,},[,] as parts of symbol names. */
84 /* The Delta 68k assembler permits % inside label names. */
89 /* The PowerPC Windows NT assemblers permits ? inside label names. */
94 /* The a29k assembler does not permits labels to start with $. */
98 /* used by is_... macros. our ctype[] */
101 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* @ABCDEFGHIJKLMNO */
102 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* PQRSTUVWXYZ[\]^_ */
103 0, 0, 0, 0, LEX_DOLLAR, LEX_PCT, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, /* _!"#$%&'()*+,-./ */
104 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, LEX_QM, /* 0123456789:;<=>? */
105 LEX_AT, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* @ABCDEFGHIJKLMNO */
106 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, 0, 3, /* PQRSTUVWXYZ[\]^_ */
107 0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* `abcdefghijklmno */
108 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, 0, 0, /* pqrstuvwxyz{|}~. */
109 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
110 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
111 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
112 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
113 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
114 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
115 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
121 * Out: 1 if this character ends a line.
124 char is_end_of_line[256] =
127 _, _, _, _, _, _, _, _, _, _, 99, _, _, 99, _, _, /* @abcdefghijklmno */
129 _, _, _, _, _, _, _, _, _, _, 99, _, _, _, _, _, /* @abcdefghijklmno */
131 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
133 _,99, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* _!"#$%&'()*+,-./ */
134 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* 0123456789:;<=>? */
136 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
137 _, _, _, _, _, _, _, _, _, _, _, 99, _, _, _, _, /* 0123456789:;<=>? */
139 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
140 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
141 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
142 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
143 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
144 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
145 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
146 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
147 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, /* */
151 /* Functions private to this file. */
153 static char *buffer; /* 1st char of each buffer of lines is here. */
154 static char *buffer_limit; /*->1 + last char in buffer. */
156 #ifdef TARGET_BYTES_BIG_ENDIAN
157 /* Hack to deal with tc-*.h defining TARGET_BYTES_BIG_ENDIAN to empty
158 instead of to 0 or 1. */
159 #if 5 - TARGET_BYTES_BIG_ENDIAN - 5 == 10
160 #undef TARGET_BYTES_BIG_ENDIAN
161 #define TARGET_BYTES_BIG_ENDIAN 1
163 int target_big_endian = TARGET_BYTES_BIG_ENDIAN;
165 int target_big_endian /* = 0 */;
168 static char *old_buffer; /* JF a hack */
169 static char *old_input;
170 static char *old_limit;
172 /* Variables for handling include file directory list. */
174 char **include_dirs; /* List of pointers to directories to
175 search for .include's */
176 int include_dir_count; /* How many are in the list */
177 int include_dir_maxlen = 1;/* Length of longest in list */
179 #ifndef WORKING_DOT_WORD
180 struct broken_word *broken_words;
181 int new_broken_words;
184 /* The current offset into the absolute section. We don't try to
185 build frags in the absolute section, since no data can be stored
186 there. We just keep track of the current offset. */
187 addressT abs_section_offset;
189 /* If this line had an MRI style label, it is stored in this variable.
190 This is used by some of the MRI pseudo-ops. */
193 /* This global variable is used to support MRI common sections. We
194 translate such sections into a common symbol. This variable is
195 non-NULL when we are in an MRI common section. */
196 symbolS *mri_common_symbol;
198 /* In MRI mode, after a dc.b pseudo-op with an odd number of bytes, we
199 need to align to an even byte boundary unless the next pseudo-op is
200 dc.b, ds.b, or dcb.b. This variable is set to 1 if an alignment
202 static int mri_pending_align;
204 static int scrub_from_string PARAMS ((char **));
205 static void do_align PARAMS ((int, char *, int));
206 static int hex_float PARAMS ((int, char *));
207 static void do_org PARAMS ((segT, expressionS *, int));
208 char *demand_copy_string PARAMS ((int *lenP));
209 int is_it_end_of_statement PARAMS ((void));
210 static segT get_segmented_expression PARAMS ((expressionS *expP));
211 static segT get_known_segmented_expression PARAMS ((expressionS * expP));
212 static void pobegin PARAMS ((void));
213 static int get_line_sb PARAMS ((sb *));
222 obj_read_begin_hook ();
224 /* Something close -- but not too close -- to a multiple of 1024.
225 The debugging malloc I'm using has 24 bytes of overhead. */
226 obstack_begin (¬es, chunksize);
227 obstack_begin (&cond_obstack, chunksize);
229 /* Use machine dependent syntax */
230 for (p = line_separator_chars; *p; p++)
231 is_end_of_line[(unsigned char) *p] = 1;
232 /* Use more. FIXME-SOMEDAY. */
238 /* set up pseudo-op tables */
240 static struct hash_control *po_hash;
242 static const pseudo_typeS potable[] =
244 {"abort", s_abort, 0},
245 {"align", s_align_ptwo, 0},
246 {"ascii", stringer, 0},
247 {"asciz", stringer, 1},
248 {"balign", s_align_bytes, 0},
249 {"balignw", s_align_bytes, -2},
250 {"balignl", s_align_bytes, -4},
254 {"common", s_mri_common, 0},
255 {"common.s", s_mri_common, 1},
259 {"dc.d", float_cons, 'd'},
261 {"dc.s", float_cons, 'f'},
263 {"dc.x", float_cons, 'x'},
265 {"dcb.b", s_space, 1},
266 {"dcb.d", s_float_space, 'd'},
267 {"dcb.l", s_space, 4},
268 {"dcb.s", s_float_space, 'f'},
269 {"dcb.w", s_space, 2},
270 {"dcb.x", s_float_space, 'x'},
272 {"ds.b", s_space, 1},
273 {"ds.d", s_space, 8},
274 {"ds.l", s_space, 4},
275 {"ds.p", s_space, 12},
276 {"ds.s", s_space, 4},
277 {"ds.w", s_space, 2},
278 {"ds.x", s_space, 12},
279 {"debug", s_ignore, 0},
284 {"double", float_cons, 'd'},
286 {"eject", listing_eject, 0}, /* Formfeed listing */
288 {"elsec", s_else, 0},
290 {"endc", s_endif, 0},
291 {"endif", s_endif, 0},
295 {"exitm", s_mexit, 0},
297 {"extern", s_ignore, 0}, /* We treat all undef as ext */
298 {"appfile", s_app_file, 1},
299 {"appline", s_app_line, 0},
301 {"file", s_app_file, 0},
303 {"float", float_cons, 'f'},
304 {"format", s_ignore, 0},
305 {"global", s_globl, 0},
306 {"globl", s_globl, 0},
308 {"if", s_if, (int) O_ne},
310 {"ifdef", s_ifdef, 0},
311 {"ifeq", s_if, (int) O_eq},
312 {"ifeqs", s_ifeqs, 0},
313 {"ifge", s_if, (int) O_ge},
314 {"ifgt", s_if, (int) O_gt},
315 {"ifle", s_if, (int) O_le},
316 {"iflt", s_if, (int) O_lt},
318 {"ifndef", s_ifdef, 1},
319 {"ifne", s_if, (int) O_ne},
320 {"ifnes", s_ifeqs, 1},
321 {"ifnotdef", s_ifdef, 1},
322 {"include", s_include, 0},
328 {"lcomm", s_lcomm, 0},
329 {"lflags", listing_flags, 0}, /* Listing flags */
330 {"linkonce", s_linkonce, 0},
331 {"list", listing_list, 1}, /* Turn listing on */
332 {"llen", listing_psize, 1},
335 {"macro", s_macro, 0},
336 {"mexit", s_mexit, 0},
338 {".mri", s_mri, 0}, /* Special case so .mri works in MRI mode. */
339 {"name", s_ignore, 0},
340 {"noformat", s_ignore, 0},
341 {"nolist", listing_list, 0}, /* Turn listing off */
342 {"nopage", listing_nopage, 0},
344 {"offset", s_struct, 0},
346 {"p2align", s_align_ptwo, 0},
347 {"p2alignw", s_align_ptwo, -2},
348 {"p2alignl", s_align_ptwo, -4},
349 {"page", listing_eject, 0},
350 {"plen", listing_psize, 0},
351 {"print", s_print, 0},
352 {"psize", listing_psize, 0}, /* set paper size */
353 {"purgem", s_purgem, 0},
358 {"sbttl", listing_title, 1}, /* Subtitle of listing */
363 {"single", float_cons, 'f'},
365 {"space", s_space, 0},
366 {"skip", s_space, 0},
367 {"spc", s_ignore, 0},
368 {"stabd", s_stab, 'd'},
369 {"stabn", s_stab, 'n'},
370 {"stabs", s_stab, 's'},
371 {"string", stringer, 1},
372 {"struct", s_struct, 0},
376 /* This is for gcc to use. It's only just been added (2/94), so gcc
377 won't be able to use it for a while -- probably a year or more.
378 But once this has been released, check with gcc maintainers
379 before deleting it or even changing the spelling. */
380 {"this_GCC_requires_the_GNU_assembler", s_ignore, 0},
381 /* If we're folding case -- done for some targets, not necessarily
382 all -- the above string in an input file will be converted to
383 this one. Match it either way... */
384 {"this_gcc_requires_the_gnu_assembler", s_ignore, 0},
386 {"title", listing_title, 0}, /* Listing title */
387 {"ttl", listing_title, 0},
392 {"xdef", s_globl, 0},
393 {"xref", s_ignore, 0},
394 {"xstabs", s_xstab, 's'},
396 {"zero", s_space, 0},
397 {NULL} /* end sentinel */
400 static int pop_override_ok = 0;
401 static const char *pop_table_name;
405 const pseudo_typeS *table;
408 const pseudo_typeS *pop;
409 for (pop = table; pop->poc_name; pop++)
411 errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop);
412 if (errtxt && (!pop_override_ok || strcmp (errtxt, "exists")))
413 as_fatal ("error constructing %s pseudo-op table: %s", pop_table_name,
418 #ifndef md_pop_insert
419 #define md_pop_insert() pop_insert(md_pseudo_table)
422 #ifndef obj_pop_insert
423 #define obj_pop_insert() pop_insert(obj_pseudo_table)
429 po_hash = hash_new ();
431 /* Do the target-specific pseudo ops. */
432 pop_table_name = "md";
435 /* Now object specific. Skip any that were in the target table. */
436 pop_table_name = "obj";
440 /* Now portable ones. Skip any that we've seen already. */
441 pop_table_name = "standard";
442 pop_insert (potable);
445 #define HANDLE_CONDITIONAL_ASSEMBLY() \
446 if (ignore_input ()) \
448 while (! is_end_of_line[(unsigned char) *input_line_pointer++]) \
449 if (input_line_pointer == buffer_limit) \
455 /* This function is used when scrubbing the characters between #APP
458 static char *scrub_string;
459 static char *scrub_string_end;
462 scrub_from_string (from)
467 *from = scrub_string;
468 size = scrub_string_end - scrub_string;
469 scrub_string = scrub_string_end;
473 /* read_a_source_file()
475 * We read the file, putting things into a web that
476 * represents what we have been reading.
479 read_a_source_file (name)
483 register char *s; /* string of symbol, '\0' appended */
487 buffer = input_scrub_new_file (name);
490 listing_newline ("");
492 while ((buffer_limit = input_scrub_next_buffer (&input_line_pointer)) != 0)
493 { /* We have another line to parse. */
494 know (buffer_limit[-1] == '\n'); /* Must have a sentinel. */
495 contin: /* JF this goto is my fault I admit it.
496 Someone brave please re-write the whole
497 input section here? Pleeze??? */
498 while (input_line_pointer < buffer_limit)
500 /* We have more of this buffer to parse. */
503 * We now have input_line_pointer->1st char of next line.
504 * If input_line_pointer [-1] == '\n' then we just
505 * scanned another line: so bump line counters.
507 if (is_end_of_line[(unsigned char) input_line_pointer[-1]])
509 #ifdef md_start_line_hook
510 md_start_line_hook ();
513 if (input_line_pointer[-1] == '\n')
514 bump_line_counters ();
519 #ifdef LABELS_WITHOUT_COLONS
524 /* Text at the start of a line must be a label, we
525 run down and stick a colon in. */
526 if (is_name_beginner (*input_line_pointer))
528 char *line_start = input_line_pointer;
531 HANDLE_CONDITIONAL_ASSEMBLY ();
533 c = get_symbol_end ();
535 /* In MRI mode, the EQU pseudoop must be
536 handled specially. */
539 char *rest = input_line_pointer + 1;
543 if (*rest == ' ' || *rest == '\t')
545 if ((strncasecmp (rest, "EQU", 3) == 0
546 || strncasecmp (rest, "SET", 3) == 0)
547 && (rest[3] == ' ' || rest[3] == '\t'))
549 input_line_pointer = rest + 3;
555 line_label = colon (line_start);
557 *input_line_pointer = c;
559 input_line_pointer++;
565 * We are at the begining of a line, or similar place.
566 * We expect a well-formed assembler statement.
567 * A "symbol-name:" is a statement.
569 * Depending on what compiler is used, the order of these tests
570 * may vary to catch most common case 1st.
571 * Each test is independent of all other tests at the (top) level.
572 * PLEASE make a compiler that doesn't use this assembler.
573 * It is crufty to waste a compiler's time encoding things for this
574 * assembler, which then wastes more time decoding it.
575 * (And communicating via (linear) files is silly!
576 * If you must pass stuff, please pass a tree!)
578 if ((c = *input_line_pointer++) == '\t'
583 c = *input_line_pointer++;
585 know (c != ' '); /* No further leading whitespace. */
588 * C is the 1st significant character.
589 * Input_line_pointer points after that character.
591 if (is_name_beginner (c))
593 /* want user-defined label or pseudo/opcode */
594 HANDLE_CONDITIONAL_ASSEMBLY ();
596 s = --input_line_pointer;
597 c = get_symbol_end (); /* name's delimiter */
599 * C is character after symbol.
600 * That character's place in the input line is now '\0'.
601 * S points to the beginning of the symbol.
602 * [In case of pseudo-op, s->'.'.]
603 * Input_line_pointer->'\0' where c was.
605 if (TC_START_LABEL(c, input_line_pointer))
609 char *rest = input_line_pointer + 1;
611 /* In MRI mode, \tsym: set 0 is permitted. */
615 if (*rest == ' ' || *rest == '\t')
617 if ((strncasecmp (rest, "EQU", 3) == 0
618 || strncasecmp (rest, "SET", 3) == 0)
619 && (rest[3] == ' ' || rest[3] == '\t'))
621 input_line_pointer = rest + 3;
627 line_label = colon (s); /* user-defined label */
628 *input_line_pointer++ = ':'; /* Put ':' back for error messages' sake. */
629 /* Input_line_pointer->after ':'. */
635 || (input_line_pointer[1] == '='
636 #ifdef TC_EQUAL_IN_INSN
637 && ! TC_EQUAL_IN_INSN (c, input_line_pointer)
642 demand_empty_rest_of_line ();
645 { /* expect pseudo-op or machine instruction */
648 #define IGNORE_OPCODE_CASE
649 #ifdef IGNORE_OPCODE_CASE
667 /* The MRI assembler and the m88k use pseudo-ops
669 pop = (pseudo_typeS *) hash_find (po_hash, s);
670 if (pop != NULL && pop->poc_handler == NULL)
675 || (! flag_m68k_mri && *s == '.'))
680 * WARNING: c has next char, which may be end-of-line.
681 * We lookup the pseudo-op table with s+1 because we
682 * already know that the pseudo-op begins with a '.'.
686 pop = (pseudo_typeS *) hash_find (po_hash, s + 1);
688 /* In MRI mode, we may need to insert an
689 automatic alignment directive. What a hack
691 if (mri_pending_align
693 || ! ((pop->poc_handler == cons
694 && pop->poc_val == 1)
695 || (pop->poc_handler == s_space
696 && pop->poc_val == 1))))
698 do_align (1, (char *) NULL, 0);
699 mri_pending_align = 0;
702 /* Print the error msg now, while we still can */
705 as_bad ("Unknown pseudo-op: `%s'", s);
706 *input_line_pointer = c;
711 /* Put it back for error messages etc. */
712 *input_line_pointer = c;
713 /* The following skip of whitespace is compulsory.
714 A well shaped space is sometimes all that separates
715 keyword from operands. */
716 if (c == ' ' || c == '\t')
717 input_line_pointer++;
719 * Input_line is restored.
720 * Input_line_pointer->1st non-blank char
721 * after pseudo-operation.
723 (*pop->poc_handler) (pop->poc_val);
725 /* If that was .end, just get out now. */
726 if (pop->poc_handler == s_end)
730 { /* machine instruction */
733 if (mri_pending_align)
735 do_align (1, (char *) NULL, 0);
736 mri_pending_align = 0;
739 /* WARNING: c has char, which may be end-of-line. */
740 /* Also: input_line_pointer->`\0` where c was. */
741 *input_line_pointer = c;
742 while (!is_end_of_line[(unsigned char) *input_line_pointer]
744 #ifdef TC_EOL_IN_INSN
745 || TC_EOL_IN_INSN (input_line_pointer)
749 if (flag_m68k_mri && *input_line_pointer == '\'')
751 input_line_pointer++;
754 c = *input_line_pointer;
755 *input_line_pointer = '\0';
757 #ifdef OBJ_GENERATE_ASM_LINENO
758 if (generate_asm_lineno == 0)
760 if (ecoff_no_current_file ())
761 generate_asm_lineno = 1;
763 if (generate_asm_lineno == 1)
768 as_where (&s, &lineno);
769 OBJ_GENERATE_ASM_LINENO (s, lineno);
778 if (check_macro (s, &out, '\0', &err))
782 *input_line_pointer++ = c;
783 input_scrub_include_sb (&out,
787 input_scrub_next_buffer (&input_line_pointer);
792 md_assemble (s); /* Assemble 1 instruction. */
794 *input_line_pointer++ = c;
796 /* We resume loop AFTER the end-of-line from
801 } /* if (is_name_beginner(c) */
804 /* Empty statement? */
805 if (is_end_of_line[(unsigned char) c])
808 if ((LOCAL_LABELS_DOLLAR || LOCAL_LABELS_FB)
811 /* local label ("4:") */
812 char *backup = input_line_pointer;
814 HANDLE_CONDITIONAL_ASSEMBLY ();
818 while (isdigit (*input_line_pointer))
820 temp = (temp * 10) + *input_line_pointer - '0';
821 ++input_line_pointer;
822 } /* read the whole number */
824 if (LOCAL_LABELS_DOLLAR
825 && *input_line_pointer == '$'
826 && *(input_line_pointer + 1) == ':')
828 input_line_pointer += 2;
830 if (dollar_label_defined (temp))
832 as_fatal ("label \"%d$\" redefined", temp);
835 define_dollar_label (temp);
836 colon (dollar_label_name (temp, 0));
841 && *input_line_pointer++ == ':')
843 fb_label_instance_inc (temp);
844 colon (fb_label_name (temp, 0));
848 input_line_pointer = backup;
849 } /* local label ("4:") */
851 if (c && strchr (line_comment_chars, c))
852 { /* Its a comment. Better say APP or NO_APP */
856 unsigned int new_length;
859 bump_line_counters ();
860 s = input_line_pointer;
861 if (strncmp (s, "APP\n", 4))
862 continue; /* We ignore it */
865 ends = strstr (s, "#NO_APP\n");
869 unsigned int tmp_len;
872 /* The end of the #APP wasn't in this buffer. We
873 keep reading in buffers until we find the #NO_APP
874 that goes with this #APP There is one. The specs
876 tmp_len = buffer_limit - s;
877 tmp_buf = xmalloc (tmp_len + 1);
878 memcpy (tmp_buf, s, tmp_len);
881 new_tmp = input_scrub_next_buffer (&buffer);
885 buffer_limit = new_tmp;
886 input_line_pointer = buffer;
887 ends = strstr (buffer, "#NO_APP\n");
891 num = buffer_limit - buffer;
893 tmp_buf = xrealloc (tmp_buf, tmp_len + num);
894 memcpy (tmp_buf + tmp_len, buffer, num);
899 input_line_pointer = ends ? ends + 8 : NULL;
907 input_line_pointer = ends + 8;
911 scrub_string_end = ends;
913 new_length = ends - s;
914 new_buf = (char *) xmalloc (new_length);
921 space = (new_buf + new_length) - new_tmp;
922 size = do_scrub_chars (scrub_from_string, new_tmp, space);
930 new_buf = xrealloc (new_buf, new_length + 100);
931 new_tmp = new_buf + new_length;
938 old_input = input_line_pointer;
939 old_limit = buffer_limit;
941 input_line_pointer = new_buf;
942 buffer_limit = new_tmp;
946 HANDLE_CONDITIONAL_ASSEMBLY ();
948 #ifdef tc_unrecognized_line
949 if (tc_unrecognized_line (c))
953 /* as_warn("Junk character %d.",c); Now done by ignore_rest */
954 input_line_pointer--; /* Report unknown char as ignored. */
955 ignore_rest_of_line ();
956 } /* while (input_line_pointer<buffer_limit) */
958 #ifdef md_after_pass_hook
959 md_after_pass_hook ();
965 bump_line_counters ();
969 input_line_pointer = old_input;
970 buffer_limit = old_limit;
975 } /* while (more buffers to scan) */
978 input_scrub_close (); /* Close the input file */
981 /* For most MRI pseudo-ops, the line actually ends at the first
982 nonquoted space. This function looks for that point, stuffs a null
983 in, and sets *STOPCP to the character that used to be there, and
984 returns the location.
986 Until I hear otherwise, I am going to assume that this is only true
987 for the m68k MRI assembler. */
990 mri_comment_field (stopcp)
998 know (flag_m68k_mri);
1000 for (s = input_line_pointer;
1001 ((! is_end_of_line[(unsigned char) *s] && *s != ' ' && *s != '\t')
1006 inquote = ! inquote;
1016 for (s = input_line_pointer; ! is_end_of_line[(unsigned char) *s]; s++)
1026 /* Skip to the end of an MRI comment field. */
1029 mri_comment_end (stop, stopc)
1035 input_line_pointer = stop;
1037 while (! is_end_of_line[(unsigned char) *input_line_pointer])
1038 ++input_line_pointer;
1045 as_fatal (".abort detected. Abandoning ship.");
1048 /* Guts of .align directive. */
1050 do_align (n, fill, len)
1056 md_do_align (n, fill, len, just_record_alignment);
1060 /* @@ Fix this right for BFD! */
1062 static char nop_opcode = NOP_OPCODE;
1064 if (now_seg != data_section && now_seg != bss_section)
1075 /* Only make a frag if we HAVE to. . . */
1076 if (n && !need_pass_2)
1079 frag_align (n, *fill);
1081 frag_align_pattern (n, fill, len);
1085 just_record_alignment:
1088 record_alignment (now_seg, n);
1091 /* For machines where ".align 4" means align to a 4 byte boundary. */
1096 register unsigned int temp;
1099 unsigned long max_alignment = 1 << 15;
1104 stop = mri_comment_field (&stopc);
1106 if (is_end_of_line[(unsigned char) *input_line_pointer])
1111 temp = arg; /* Default value from pseudo-op table */
1114 temp = get_absolute_expression ();
1116 if (temp > max_alignment)
1118 as_bad ("Alignment too large: %d. assumed.", temp = max_alignment);
1121 /* For the sparc, `.align (1<<n)' actually means `.align n' so we
1122 have to convert it. */
1125 for (i = 0; (temp & 1) == 0; temp >>= 1, ++i)
1129 as_bad ("Alignment not a power of 2");
1132 if (*input_line_pointer == ',')
1137 input_line_pointer++;
1138 fillval = get_absolute_expression ();
1145 temp_fill = fillval;
1146 do_align (temp, &temp_fill, len);
1152 if (len > sizeof ab)
1154 md_number_to_chars (ab, fillval, len);
1155 do_align (temp, ab, len);
1161 as_warn ("expected fill pattern missing");
1162 do_align (temp, (char *) NULL, 0);
1166 mri_comment_end (stop, stopc);
1168 demand_empty_rest_of_line ();
1171 /* For machines where ".align 4" means align to 2**4 boundary. */
1178 long max_alignment = 15;
1183 stop = mri_comment_field (&stopc);
1185 temp = get_absolute_expression ();
1186 if (temp > max_alignment)
1187 as_bad ("Alignment too large: %d. assumed.", temp = max_alignment);
1190 as_bad ("Alignment negative. 0 assumed.");
1193 if (*input_line_pointer == ',')
1198 input_line_pointer++;
1199 fillval = get_absolute_expression ();
1206 temp_fill = fillval;
1207 do_align (temp, &temp_fill, len);
1213 if (len > sizeof ab)
1215 md_number_to_chars (ab, fillval, len);
1216 do_align (temp, ab, len);
1222 as_warn ("expected fill pattern missing");
1223 do_align (temp, (char *) NULL, 0);
1227 mri_comment_end (stop, stopc);
1229 demand_empty_rest_of_line ();
1236 register char *name;
1240 register symbolS *symbolP;
1245 stop = mri_comment_field (&stopc);
1247 name = input_line_pointer;
1248 c = get_symbol_end ();
1249 /* just after name is now '\0' */
1250 p = input_line_pointer;
1253 if (*input_line_pointer != ',')
1255 as_bad ("Expected comma after symbol-name: rest of line ignored.");
1257 mri_comment_end (stop, stopc);
1258 ignore_rest_of_line ();
1261 input_line_pointer++; /* skip ',' */
1262 if ((temp = get_absolute_expression ()) < 0)
1264 as_warn (".COMMon length (%ld.) <0! Ignored.", (long) temp);
1266 mri_comment_end (stop, stopc);
1267 ignore_rest_of_line ();
1271 symbolP = symbol_find_or_make (name);
1273 if (S_IS_DEFINED (symbolP))
1275 as_bad ("Ignoring attempt to re-define symbol `%s'.",
1276 S_GET_NAME (symbolP));
1278 mri_comment_end (stop, stopc);
1279 ignore_rest_of_line ();
1282 if (S_GET_VALUE (symbolP))
1284 if (S_GET_VALUE (symbolP) != (valueT) temp)
1285 as_bad ("Length of .comm \"%s\" is already %ld. Not changed to %ld.",
1286 S_GET_NAME (symbolP),
1287 (long) S_GET_VALUE (symbolP),
1292 S_SET_VALUE (symbolP, (valueT) temp);
1293 S_SET_EXTERNAL (symbolP);
1297 extern int flag_one;
1298 if ( (!temp) || !flag_one)
1299 S_GET_OTHER(symbolP) = const_flag;
1301 #endif /* not OBJ_VMS */
1302 know (symbolP->sy_frag == &zero_address_frag);
1305 mri_comment_end (stop, stopc);
1307 demand_empty_rest_of_line ();
1310 /* The MRI COMMON pseudo-op. We handle this by creating a common
1311 symbol with the appropriate name. We make s_space do the right
1312 thing by increasing the size. */
1315 s_mri_common (small)
1332 stop = mri_comment_field (&stopc);
1336 name = input_line_pointer;
1337 if (! isdigit ((unsigned char) *name))
1338 c = get_symbol_end ();
1343 ++input_line_pointer;
1345 while (isdigit ((unsigned char) *input_line_pointer));
1346 c = *input_line_pointer;
1347 *input_line_pointer = '\0';
1349 if (line_label != NULL)
1351 alc = (char *) xmalloc (strlen (S_GET_NAME (line_label))
1352 + (input_line_pointer - name)
1354 sprintf (alc, "%s%s", name, S_GET_NAME (line_label));
1359 sym = symbol_find_or_make (name);
1360 *input_line_pointer = c;
1364 if (*input_line_pointer != ',')
1368 ++input_line_pointer;
1369 align = get_absolute_expression ();
1372 if (S_IS_DEFINED (sym))
1374 #if defined (S_IS_COMMON) || defined (BFD_ASSEMBLER)
1375 if (! S_IS_COMMON (sym))
1378 as_bad ("attempt to re-define symbol `%s'", S_GET_NAME (sym));
1379 mri_comment_end (stop, stopc);
1380 ignore_rest_of_line ();
1385 S_SET_EXTERNAL (sym);
1386 mri_common_symbol = sym;
1390 S_SET_ALIGN (sym, align);
1393 if (line_label != NULL)
1395 line_label->sy_value.X_op = O_symbol;
1396 line_label->sy_value.X_add_symbol = sym;
1397 line_label->sy_value.X_add_number = S_GET_VALUE (sym);
1398 line_label->sy_frag = &zero_address_frag;
1399 S_SET_SEGMENT (line_label, expr_section);
1402 /* FIXME: We just ignore the small argument, which distinguishes
1403 COMMON and COMMON.S. I don't know what we can do about it. */
1405 /* Ignore the type and hptype. */
1406 if (*input_line_pointer == ',')
1407 input_line_pointer += 2;
1408 if (*input_line_pointer == ',')
1409 input_line_pointer += 2;
1411 mri_comment_end (stop, stopc);
1413 demand_empty_rest_of_line ();
1423 temp = get_absolute_expression ();
1424 if (flag_readonly_data_in_text)
1426 section = text_section;
1430 section = data_section;
1432 subseg_set (section, (subsegT) temp);
1437 demand_empty_rest_of_line ();
1440 /* Handle the .appfile pseudo-op. This is automatically generated by
1441 do_scrub_chars when a preprocessor # line comment is seen with a
1442 file name. This default definition may be overridden by the object
1443 or CPU specific pseudo-ops. This function is also the default
1444 definition for .file; the APPFILE argument is 1 for .appfile, 0 for
1448 s_app_file (appfile)
1454 /* Some assemblers tolerate immediately following '"' */
1455 if ((s = demand_copy_string (&length)) != 0)
1457 /* If this is a fake .appfile, a fake newline was inserted into
1458 the buffer. Passing -2 to new_logical_line tells it to
1460 new_logical_line (s, appfile ? -2 : -1);
1462 /* In MRI mode, the preprocessor may have inserted an extraneous
1465 && *input_line_pointer == '\''
1466 && is_end_of_line[(unsigned char) input_line_pointer[1]])
1467 ++input_line_pointer;
1469 demand_empty_rest_of_line ();
1472 listing_source_file (s);
1480 /* Handle the .appline pseudo-op. This is automatically generated by
1481 do_scrub_chars when a preprocessor # line comment is seen. This
1482 default definition may be overridden by the object or CPU specific
1491 /* The given number is that of the next line. */
1492 l = get_absolute_expression () - 1;
1494 /* Some of the back ends can't deal with non-positive line numbers.
1495 Besides, it's silly. */
1496 as_warn ("Line numbers must be positive; line number %d rejected.", l+1);
1499 new_logical_line ((char *) NULL, l);
1502 listing_source_line (l);
1505 demand_empty_rest_of_line ();
1508 /* Handle the .end pseudo-op. Actually, the real work is done in
1509 read_a_source_file. */
1517 /* The MRI assembler permits the start symbol to follow .end,
1518 but we don't support that. */
1520 if (! is_end_of_line[(unsigned char) *input_line_pointer]
1521 && *input_line_pointer != '*'
1522 && *input_line_pointer != '!')
1523 as_warn ("start address not supported");
1527 /* Handle the .err pseudo-op. */
1533 as_bad (".err encountered");
1534 demand_empty_rest_of_line ();
1537 /* Handle the MRI fail pseudo-op. */
1548 stop = mri_comment_field (&stopc);
1550 temp = get_absolute_expression ();
1552 as_warn (".fail %ld encountered", (long) temp);
1554 as_bad (".fail %ld encountered", (long) temp);
1557 mri_comment_end (stop, stopc);
1559 demand_empty_rest_of_line ();
1566 long temp_repeat = 0;
1568 register long temp_fill = 0;
1571 #ifdef md_flush_pending_output
1572 md_flush_pending_output ();
1575 temp_repeat = get_absolute_expression ();
1576 if (*input_line_pointer == ',')
1578 input_line_pointer++;
1579 temp_size = get_absolute_expression ();
1580 if (*input_line_pointer == ',')
1582 input_line_pointer++;
1583 temp_fill = get_absolute_expression ();
1586 /* This is to be compatible with BSD 4.2 AS, not for any rational reason. */
1587 #define BSD_FILL_SIZE_CROCK_8 (8)
1588 if (temp_size > BSD_FILL_SIZE_CROCK_8)
1590 as_warn (".fill size clamped to %d.", BSD_FILL_SIZE_CROCK_8);
1591 temp_size = BSD_FILL_SIZE_CROCK_8;
1595 as_warn ("Size negative: .fill ignored.");
1598 else if (temp_repeat <= 0)
1600 as_warn ("Repeat < 0, .fill ignored");
1604 if (temp_size && !need_pass_2)
1606 p = frag_var (rs_fill, (int) temp_size, (int) temp_size, (relax_substateT) 0, (symbolS *) 0, temp_repeat, (char *) 0);
1607 memset (p, 0, (unsigned int) temp_size);
1608 /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX
1609 * flavoured AS. The following bizzare behaviour is to be
1610 * compatible with above. I guess they tried to take up to 8
1611 * bytes from a 4-byte expression and they forgot to sign
1612 * extend. Un*x Sux. */
1613 #define BSD_FILL_SIZE_CROCK_4 (4)
1614 md_number_to_chars (p, (valueT) temp_fill,
1615 (temp_size > BSD_FILL_SIZE_CROCK_4
1616 ? BSD_FILL_SIZE_CROCK_4
1617 : (int) temp_size));
1618 /* Note: .fill (),0 emits no frag (since we are asked to .fill 0 bytes)
1619 * but emits no error message because it seems a legal thing to do.
1620 * It is a degenerate case of .fill but could be emitted by a compiler.
1623 demand_empty_rest_of_line ();
1637 stop = mri_comment_field (&stopc);
1641 name = input_line_pointer;
1642 c = get_symbol_end ();
1643 symbolP = symbol_find_or_make (name);
1644 *input_line_pointer = c;
1646 S_SET_EXTERNAL (symbolP);
1649 input_line_pointer++;
1651 if (*input_line_pointer == '\n')
1658 mri_comment_end (stop, stopc);
1660 demand_empty_rest_of_line ();
1663 /* Handle the MRI IRP and IRPC pseudo-ops. */
1675 as_where (&file, &line);
1678 while (! is_end_of_line[(unsigned char) *input_line_pointer])
1679 sb_add_char (&s, *input_line_pointer++);
1683 err = expand_irp (irpc, 0, &s, &out, get_line_sb, '\0');
1685 as_bad_where (file, line, "%s", err);
1689 input_scrub_include_sb (&out, input_line_pointer);
1691 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
1694 /* Handle the .linkonce pseudo-op. This tells the assembler to mark
1695 the section to only be linked once. However, this is not supported
1696 by most object file formats. This takes an optional argument,
1697 which is what to do about duplicates. */
1703 enum linkonce_type type;
1707 type = LINKONCE_DISCARD;
1709 if (! is_end_of_line[(unsigned char) *input_line_pointer])
1714 s = input_line_pointer;
1715 c = get_symbol_end ();
1716 if (strcasecmp (s, "discard") == 0)
1717 type = LINKONCE_DISCARD;
1718 else if (strcasecmp (s, "one_only") == 0)
1719 type = LINKONCE_ONE_ONLY;
1720 else if (strcasecmp (s, "same_size") == 0)
1721 type = LINKONCE_SAME_SIZE;
1722 else if (strcasecmp (s, "same_contents") == 0)
1723 type = LINKONCE_SAME_CONTENTS;
1725 as_warn ("unrecognized .linkonce type `%s'", s);
1727 *input_line_pointer = c;
1730 #ifdef obj_handle_link_once
1731 obj_handle_link_once (type);
1732 #else /* ! defined (obj_handle_link_once) */
1733 #ifdef BFD_ASSEMBLER
1737 if ((bfd_applicable_section_flags (stdoutput) & SEC_LINK_ONCE) == 0)
1738 as_warn (".linkonce is not supported for this object file format");
1740 flags = bfd_get_section_flags (stdoutput, now_seg);
1741 flags |= SEC_LINK_ONCE;
1746 case LINKONCE_DISCARD:
1747 flags |= SEC_LINK_DUPLICATES_DISCARD;
1749 case LINKONCE_ONE_ONLY:
1750 flags |= SEC_LINK_DUPLICATES_ONE_ONLY;
1752 case LINKONCE_SAME_SIZE:
1753 flags |= SEC_LINK_DUPLICATES_SAME_SIZE;
1755 case LINKONCE_SAME_CONTENTS:
1756 flags |= SEC_LINK_DUPLICATES_SAME_CONTENTS;
1759 if (! bfd_set_section_flags (stdoutput, now_seg, flags))
1760 as_bad ("bfd_set_section_flags: %s",
1761 bfd_errmsg (bfd_get_error ()));
1763 #else /* ! defined (BFD_ASSEMBLER) */
1764 as_warn (".linkonce is not supported for this object file format");
1765 #endif /* ! defined (BFD_ASSEMBLER) */
1766 #endif /* ! defined (obj_handle_link_once) */
1768 demand_empty_rest_of_line ();
1772 s_lcomm (needs_align)
1773 /* 1 if this was a ".bss" directive, which may require a 3rd argument
1774 (alignment); 0 if it was an ".lcomm" (2 args only) */
1777 register char *name;
1781 register symbolS *symbolP;
1782 segT current_seg = now_seg;
1783 subsegT current_subseg = now_subseg;
1784 const int max_alignment = 15;
1786 segT bss_seg = bss_section;
1788 name = input_line_pointer;
1789 c = get_symbol_end ();
1790 p = input_line_pointer;
1794 /* Accept an optional comma after the name. The comma used to be
1795 required, but Irix 5 cc does not generate it. */
1796 if (*input_line_pointer == ',')
1798 ++input_line_pointer;
1802 if (*input_line_pointer == '\n')
1804 as_bad ("Missing size expression");
1808 if ((temp = get_absolute_expression ()) < 0)
1810 as_warn ("BSS length (%d.) <0! Ignored.", temp);
1811 ignore_rest_of_line ();
1815 #if defined (TC_MIPS) || defined (TC_ALPHA)
1816 if (OUTPUT_FLAVOR == bfd_target_ecoff_flavour
1817 || OUTPUT_FLAVOR == bfd_target_elf_flavour)
1819 /* For MIPS and Alpha ECOFF or ELF, small objects are put in .sbss. */
1820 if (temp <= bfd_get_gp_size (stdoutput))
1822 bss_seg = subseg_new (".sbss", 1);
1823 seg_info (bss_seg)->bss = 1;
1824 #ifdef BFD_ASSEMBLER
1825 if (! bfd_set_section_flags (stdoutput, bss_seg, SEC_ALLOC))
1826 as_warn ("error setting flags for \".sbss\": %s",
1827 bfd_errmsg (bfd_get_error ()));
1834 /* FIXME. This needs to be machine independent. */
1844 record_alignment(bss_seg, align);
1851 if (*input_line_pointer != ',')
1853 as_bad ("Expected comma after size");
1854 ignore_rest_of_line ();
1857 input_line_pointer++;
1859 if (*input_line_pointer == '\n')
1861 as_bad ("Missing alignment");
1864 align = get_absolute_expression ();
1865 if (align > max_alignment)
1867 align = max_alignment;
1868 as_warn ("Alignment too large: %d. assumed.", align);
1873 as_warn ("Alignment negative. 0 assumed.");
1875 record_alignment (bss_seg, align);
1876 } /* if needs align */
1879 /* Assume some objects may require alignment on some systems. */
1883 align = ffs (temp) - 1;
1884 if (temp % (1 << align))
1891 symbolP = symbol_find_or_make (name);
1895 #if defined(OBJ_AOUT) | defined(OBJ_BOUT)
1896 S_GET_OTHER (symbolP) == 0 &&
1897 S_GET_DESC (symbolP) == 0 &&
1898 #endif /* OBJ_AOUT or OBJ_BOUT */
1899 (S_GET_SEGMENT (symbolP) == bss_seg
1900 || (!S_IS_DEFINED (symbolP) && S_GET_VALUE (symbolP) == 0)))
1904 subseg_set (bss_seg, 1);
1907 frag_align (align, 0);
1908 /* detach from old frag */
1909 if (S_GET_SEGMENT (symbolP) == bss_seg)
1910 symbolP->sy_frag->fr_symbol = NULL;
1912 symbolP->sy_frag = frag_now;
1913 pfrag = frag_var (rs_org, 1, 1, (relax_substateT)0, symbolP,
1917 S_SET_SEGMENT (symbolP, bss_seg);
1920 /* The symbol may already have been created with a preceding
1921 ".globl" directive -- be careful not to step on storage class
1922 in that case. Otherwise, set it to static. */
1923 if (S_GET_STORAGE_CLASS (symbolP) != C_EXT)
1925 S_SET_STORAGE_CLASS (symbolP, C_STAT);
1927 #endif /* OBJ_COFF */
1930 S_SET_SIZE (symbolP, temp);
1934 as_bad ("Ignoring attempt to re-define symbol `%s'.",
1935 S_GET_NAME (symbolP));
1937 subseg_set (current_seg, current_subseg);
1939 demand_empty_rest_of_line ();
1946 register char *name;
1950 register symbolS *symbolP;
1952 /* we permit ANY defined expression: BSD4.2 demands constants */
1953 name = input_line_pointer;
1954 c = get_symbol_end ();
1955 p = input_line_pointer;
1958 if (*input_line_pointer != ',')
1961 as_bad ("Expected comma after name \"%s\"", name);
1963 ignore_rest_of_line ();
1966 input_line_pointer++;
1968 if (exp.X_op != O_constant
1969 && exp.X_op != O_register)
1971 as_bad ("bad expression");
1972 ignore_rest_of_line ();
1976 symbolP = symbol_find_or_make (name);
1978 /* FIXME-SOON I pulled a (&& symbolP->sy_other == 0 &&
1979 symbolP->sy_desc == 0) out of this test because coff doesn't have
1980 those fields, and I can't see when they'd ever be tripped. I
1981 don't think I understand why they were here so I may have
1982 introduced a bug. As recently as 1.37 didn't have this test
1983 anyway. xoxorich. */
1985 if (S_GET_SEGMENT (symbolP) == undefined_section
1986 && S_GET_VALUE (symbolP) == 0)
1988 /* The name might be an undefined .global symbol; be sure to
1989 keep the "external" bit. */
1990 S_SET_SEGMENT (symbolP,
1991 (exp.X_op == O_constant
1994 S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
1998 as_bad ("Symbol %s already defined", name);
2001 demand_empty_rest_of_line ();
2004 /* Read a line into an sb. */
2010 if (input_line_pointer[-1] == '\n')
2011 bump_line_counters ();
2013 if (input_line_pointer >= buffer_limit)
2015 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2016 if (buffer_limit == 0)
2020 while (! is_end_of_line[(unsigned char) *input_line_pointer])
2021 sb_add_char (line, *input_line_pointer++);
2022 while (input_line_pointer < buffer_limit
2023 && is_end_of_line[(unsigned char) *input_line_pointer])
2025 if (input_line_pointer[-1] == '\n')
2026 bump_line_counters ();
2027 ++input_line_pointer;
2032 /* Define a macro. This is an interface to macro.c, which is shared
2033 between gas and gasp. */
2045 as_where (&file, &line);
2048 while (! is_end_of_line[(unsigned char) *input_line_pointer])
2049 sb_add_char (&s, *input_line_pointer++);
2052 if (line_label != NULL)
2053 sb_add_string (&label, S_GET_NAME (line_label));
2055 err = define_macro (0, &s, &label, get_line_sb);
2057 as_bad_where (file, line, "%s", err);
2060 if (line_label != NULL)
2062 S_SET_SEGMENT (line_label, undefined_section);
2063 S_SET_VALUE (line_label, 0);
2064 line_label->sy_frag = &zero_address_frag;
2071 /* Handle the .mexit pseudo-op, which immediately exits a macro
2078 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2081 /* Switch in and out of MRI mode. */
2089 on = get_absolute_expression ();
2090 old_flag = flag_mri;
2104 #ifdef MRI_MODE_CHANGE
2106 MRI_MODE_CHANGE (on);
2109 demand_empty_rest_of_line ();
2112 /* Handle changing the location counter. */
2115 do_org (segment, exp, fill)
2120 if (segment != now_seg && segment != absolute_section)
2121 as_bad ("invalid segment \"%s\"; segment \"%s\" assumed",
2122 segment_name (segment), segment_name (now_seg));
2124 if (now_seg == absolute_section)
2127 as_warn ("ignoring fill value in absolute section");
2128 if (exp->X_op != O_constant)
2130 as_bad ("only constant offsets supported in absolute section");
2131 exp->X_add_number = 0;
2133 abs_section_offset = exp->X_add_number;
2139 p = frag_var (rs_org, 1, 1, (relax_substateT) 0, exp->X_add_symbol,
2140 exp->X_add_number, (char *) NULL);
2149 register segT segment;
2151 register long temp_fill;
2153 /* The m68k MRI assembler has a different meaning for .org. It
2154 means to create an absolute section at a given address. We can't
2155 support that--use a linker script instead. */
2158 as_bad ("MRI style ORG pseudo-op not supported");
2159 ignore_rest_of_line ();
2163 /* Don't believe the documentation of BSD 4.2 AS. There is no such
2164 thing as a sub-segment-relative origin. Any absolute origin is
2165 given a warning, then assumed to be segment-relative. Any
2166 segmented origin expression ("foo+42") had better be in the right
2167 segment or the .org is ignored.
2169 BSD 4.2 AS warns if you try to .org backwards. We cannot because
2170 we never know sub-segment sizes when we are reading code. BSD
2171 will crash trying to emit negative numbers of filler bytes in
2172 certain .orgs. We don't crash, but see as-write for that code.
2174 Don't make frag if need_pass_2==1. */
2175 segment = get_known_segmented_expression (&exp);
2176 if (*input_line_pointer == ',')
2178 input_line_pointer++;
2179 temp_fill = get_absolute_expression ();
2185 do_org (segment, &exp, temp_fill);
2187 demand_empty_rest_of_line ();
2190 /* Handle parsing for the MRI SECT/SECTION pseudo-op. This should be
2191 called by the obj-format routine which handles section changing
2192 when in MRI mode. It will create a new section, and return it. It
2193 will set *TYPE to the section type: one of 'C' (code), 'D' (data),
2194 'M' (mixed), or 'R' (romable). If BFD_ASSEMBLER is defined, the
2195 flags will be set in the section. */
2209 name = input_line_pointer;
2210 if (! isdigit ((unsigned char) *name))
2211 c = get_symbol_end ();
2216 ++input_line_pointer;
2218 while (isdigit ((unsigned char) *input_line_pointer));
2219 c = *input_line_pointer;
2220 *input_line_pointer = '\0';
2223 name = xstrdup (name);
2225 *input_line_pointer = c;
2227 seg = subseg_new (name, 0);
2229 if (*input_line_pointer == ',')
2233 ++input_line_pointer;
2234 align = get_absolute_expression ();
2235 record_alignment (seg, align);
2239 if (*input_line_pointer == ',')
2241 c = *++input_line_pointer;
2242 c = toupper ((unsigned char) c);
2243 if (c == 'C' || c == 'D' || c == 'M' || c == 'R')
2246 as_bad ("unrecognized section type");
2247 ++input_line_pointer;
2249 #ifdef BFD_ASSEMBLER
2253 flags = SEC_NO_FLAGS;
2255 flags = SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE;
2256 else if (*type == 'D' || *type == 'M')
2257 flags = SEC_ALLOC | SEC_LOAD | SEC_DATA;
2258 else if (*type == 'R')
2259 flags = SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_READONLY | SEC_ROM;
2260 if (flags != SEC_NO_FLAGS)
2262 if (! bfd_set_section_flags (stdoutput, seg, flags))
2263 as_warn ("error setting flags for \"%s\": %s",
2264 bfd_section_name (stdoutput, seg),
2265 bfd_errmsg (bfd_get_error ()));
2271 /* Ignore the HP type. */
2272 if (*input_line_pointer == ',')
2273 input_line_pointer += 2;
2275 demand_empty_rest_of_line ();
2277 #else /* ! TC_M68K */
2286 name = input_line_pointer;
2287 c = get_symbol_end ();
2289 name = xstrdup (name);
2291 *input_line_pointer = c;
2293 seg = subseg_new (name, 0);
2295 if (*input_line_pointer != ',')
2301 ++input_line_pointer;
2303 sectype = input_line_pointer;
2304 c = get_symbol_end ();
2305 if (*sectype == '\0')
2307 else if (strcasecmp (sectype, "text") == 0)
2309 else if (strcasecmp (sectype, "data") == 0)
2311 else if (strcasecmp (sectype, "romdata") == 0)
2314 as_warn ("unrecognized section type `%s'", sectype);
2315 *input_line_pointer = c;
2318 if (*input_line_pointer == ',')
2322 ++input_line_pointer;
2324 seccmd = input_line_pointer;
2325 c = get_symbol_end ();
2326 if (strcasecmp (seccmd, "absolute") == 0)
2328 as_bad ("absolute sections are not supported");
2329 *input_line_pointer = c;
2330 ignore_rest_of_line ();
2333 else if (strcasecmp (seccmd, "align") == 0)
2337 *input_line_pointer = c;
2338 align = get_absolute_expression ();
2339 record_alignment (seg, align);
2343 as_warn ("unrecognized section command `%s'", seccmd);
2344 *input_line_pointer = c;
2348 demand_empty_rest_of_line ();
2350 #else /* ! TC_I960 */
2351 /* The MRI assembler seems to use different forms of .sect for
2352 different targets. */
2354 #endif /* ! TC_I960 */
2355 #endif /* ! TC_M68K */
2358 /* Handle the .print pseudo-op. */
2367 s = demand_copy_C_string (&len);
2369 demand_empty_rest_of_line ();
2372 /* Handle the .purgem pseudo-op. */
2378 if (is_it_end_of_statement ())
2380 demand_empty_rest_of_line ();
2390 name = input_line_pointer;
2391 c = get_symbol_end ();
2392 delete_macro (name);
2393 *input_line_pointer = c;
2396 while (*input_line_pointer++ == ',');
2398 --input_line_pointer;
2399 demand_empty_rest_of_line ();
2402 /* Handle the .rept pseudo-op. */
2412 count = get_absolute_expression ();
2415 if (! buffer_and_nest ("REPT", "ENDR", &one, get_line_sb))
2417 as_bad ("rept without endr");
2423 sb_add_sb (&many, &one);
2427 input_scrub_include_sb (&many, input_line_pointer);
2429 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2436 register char *name;
2437 register char delim;
2438 register char *end_name;
2439 register symbolS *symbolP;
2442 * Especial apologies for the random logic:
2443 * this just grew, and could be parsed much more simply!
2446 name = input_line_pointer;
2447 delim = get_symbol_end ();
2448 end_name = input_line_pointer;
2452 if (*input_line_pointer != ',')
2455 as_bad ("Expected comma after name \"%s\"", name);
2457 ignore_rest_of_line ();
2461 input_line_pointer++;
2464 if (name[0] == '.' && name[1] == '\0')
2466 /* Turn '. = mumble' into a .org mumble */
2467 register segT segment;
2470 segment = get_known_segmented_expression (&exp);
2473 do_org (segment, &exp, 0);
2479 if ((symbolP = symbol_find (name)) == NULL
2480 && (symbolP = md_undefined_symbol (name)) == NULL)
2482 symbolP = symbol_new (name, undefined_section, 0, &zero_address_frag);
2484 /* "set" symbols are local unless otherwise specified. */
2485 SF_SET_LOCAL (symbolP);
2486 #endif /* OBJ_COFF */
2488 } /* make a new symbol */
2490 symbol_table_insert (symbolP);
2493 pseudo_set (symbolP);
2494 demand_empty_rest_of_line ();
2507 #ifdef md_flush_pending_output
2508 md_flush_pending_output ();
2512 stop = mri_comment_field (&stopc);
2517 if (*input_line_pointer == ',')
2519 ++input_line_pointer;
2524 val.X_op = O_constant;
2525 val.X_add_number = 0;
2528 if (val.X_op != O_constant
2529 || val.X_add_number < - 0x80
2530 || val.X_add_number > 0xff
2531 || (mult != 0 && mult != 1 && val.X_add_number != 0))
2533 if (exp.X_op != O_constant)
2534 as_bad ("Unsupported variable size or fill value");
2541 for (i = 0; i < exp.X_add_number; i++)
2542 emit_expr (&val, mult);
2547 if (exp.X_op == O_constant)
2551 repeat = exp.X_add_number;
2556 if (! flag_mri || repeat < 0)
2557 as_warn (".space repeat count is %s, ignored",
2558 repeat ? "negative" : "zero");
2562 /* If we are in the absolute section, just bump the offset. */
2563 if (now_seg == absolute_section)
2565 abs_section_offset += repeat;
2569 /* If we are secretly in an MRI common section, then
2570 creating space just increases the size of the common
2572 if (mri_common_symbol != NULL)
2574 S_SET_VALUE (mri_common_symbol,
2575 S_GET_VALUE (mri_common_symbol) + repeat);
2580 p = frag_var (rs_fill, 1, 1, (relax_substateT) 0, (symbolS *) 0,
2581 repeat, (char *) 0);
2585 if (now_seg == absolute_section)
2587 as_bad ("space allocation too complex in absolute section");
2588 subseg_set (text_section, 0);
2590 if (mri_common_symbol != NULL)
2592 as_bad ("space allocation too complex in common section");
2593 mri_common_symbol = NULL;
2596 p = frag_var (rs_space, 1, 1, (relax_substateT) 0,
2597 make_expr_symbol (&exp), 0L, (char *) 0);
2601 *p = val.X_add_number;
2606 mri_comment_end (stop, stopc);
2608 demand_empty_rest_of_line ();
2611 /* This is like s_space, but the value is a floating point number with
2612 the given precision. This is for the MRI dcb.s pseudo-op and
2616 s_float_space (float_type)
2621 char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
2626 stop = mri_comment_field (&stopc);
2628 count = get_absolute_expression ();
2631 if (*input_line_pointer != ',')
2633 as_bad ("missing value");
2635 mri_comment_end (stop, stopc);
2636 ignore_rest_of_line ();
2640 ++input_line_pointer;
2644 /* Skip any 0{letter} that may be present. Don't even check if the
2645 * letter is legal. */
2646 if (input_line_pointer[0] == '0' && isalpha (input_line_pointer[1]))
2647 input_line_pointer += 2;
2649 /* Accept :xxxx, where the x's are hex digits, for a floating point
2650 with the exact digits specified. */
2651 if (input_line_pointer[0] == ':')
2653 flen = hex_float (float_type, temp);
2657 mri_comment_end (stop, stopc);
2658 ignore_rest_of_line ();
2666 err = md_atof (float_type, temp, &flen);
2667 know (flen <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
2671 as_bad ("Bad floating literal: %s", err);
2673 mri_comment_end (stop, stopc);
2674 ignore_rest_of_line ();
2679 while (--count >= 0)
2683 p = frag_more (flen);
2684 memcpy (p, temp, (unsigned int) flen);
2688 mri_comment_end (stop, stopc);
2690 demand_empty_rest_of_line ();
2693 /* Handle the .struct pseudo-op, as found in MIPS assemblers. */
2703 stop = mri_comment_field (&stopc);
2704 abs_section_offset = get_absolute_expression ();
2705 subseg_set (absolute_section, 0);
2707 mri_comment_end (stop, stopc);
2708 demand_empty_rest_of_line ();
2717 temp = get_absolute_expression ();
2718 subseg_set (text_section, (subsegT) temp);
2719 demand_empty_rest_of_line ();
2721 const_flag &= ~IN_DEFAULT_SECTION;
2727 demand_empty_rest_of_line ()
2730 if (is_end_of_line[(unsigned char) *input_line_pointer])
2732 input_line_pointer++;
2736 ignore_rest_of_line ();
2738 /* Return having already swallowed end-of-line. */
2739 } /* Return pointing just after end-of-line. */
2742 ignore_rest_of_line () /* For suspect lines: gives warning. */
2744 if (!is_end_of_line[(unsigned char) *input_line_pointer])
2746 if (isprint (*input_line_pointer))
2747 as_bad ("Rest of line ignored. First ignored character is `%c'.",
2748 *input_line_pointer);
2750 as_bad ("Rest of line ignored. First ignored character valued 0x%x.",
2751 *input_line_pointer);
2752 while (input_line_pointer < buffer_limit
2753 && !is_end_of_line[(unsigned char) *input_line_pointer])
2755 input_line_pointer++;
2758 input_line_pointer++; /* Return pointing just after end-of-line. */
2759 know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
2765 * In: Pointer to a symbol.
2766 * Input_line_pointer->expression.
2768 * Out: Input_line_pointer->just after any whitespace after expression.
2769 * Tried to set symbol to value of expression.
2770 * Will change symbols type, value, and frag;
2773 pseudo_set (symbolP)
2777 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
2779 #endif /* OBJ_AOUT or OBJ_BOUT */
2781 know (symbolP); /* NULL pointer is logic error. */
2782 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
2783 ext = S_IS_EXTERNAL (symbolP);
2784 #endif /* OBJ_AOUT or OBJ_BOUT */
2786 (void) expression (&exp);
2788 if (exp.X_op == O_illegal)
2789 as_bad ("illegal expression; zero assumed");
2790 else if (exp.X_op == O_absent)
2791 as_bad ("missing expression; zero assumed");
2792 else if (exp.X_op == O_big)
2793 as_bad ("%s number invalid; zero assumed",
2794 exp.X_add_number > 0 ? "bignum" : "floating point");
2795 else if (exp.X_op == O_subtract
2796 && (S_GET_SEGMENT (exp.X_add_symbol)
2797 == S_GET_SEGMENT (exp.X_op_symbol))
2798 && SEG_NORMAL (S_GET_SEGMENT (exp.X_add_symbol))
2799 && exp.X_add_symbol->sy_frag == exp.X_op_symbol->sy_frag)
2801 exp.X_op = O_constant;
2802 exp.X_add_number = (S_GET_VALUE (exp.X_add_symbol)
2803 - S_GET_VALUE (exp.X_op_symbol));
2811 exp.X_add_number = 0;
2814 S_SET_SEGMENT (symbolP, absolute_section);
2815 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
2817 S_SET_EXTERNAL (symbolP);
2819 S_CLEAR_EXTERNAL (symbolP);
2820 #endif /* OBJ_AOUT or OBJ_BOUT */
2821 S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
2822 symbolP->sy_frag = &zero_address_frag;
2826 S_SET_SEGMENT (symbolP, reg_section);
2827 S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
2828 symbolP->sy_frag = &zero_address_frag;
2832 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section
2833 || exp.X_add_number != 0)
2834 symbolP->sy_value = exp;
2837 symbolS *s = exp.X_add_symbol;
2839 S_SET_SEGMENT (symbolP, S_GET_SEGMENT (s));
2840 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
2842 S_SET_EXTERNAL (symbolP);
2844 S_CLEAR_EXTERNAL (symbolP);
2845 #endif /* OBJ_AOUT or OBJ_BOUT */
2846 S_SET_VALUE (symbolP,
2847 exp.X_add_number + S_GET_VALUE (s));
2848 symbolP->sy_frag = s->sy_frag;
2849 copy_symbol_attributes (symbolP, s);
2854 /* The value is some complex expression.
2855 FIXME: Should we set the segment to anything? */
2856 symbolP->sy_value = exp;
2864 * CONStruct more frag of .bytes, or .words etc.
2865 * Should need_pass_2 be 1 then emit no frag(s).
2866 * This understands EXPRESSIONS.
2870 * This has a split personality. We use expression() to read the
2871 * value. We can detect if the value won't fit in a byte or word.
2872 * But we can't detect if expression() discarded significant digits
2873 * in the case of a long. Not worth the crocks required to fix it.
2876 /* Select a parser for cons expressions. */
2878 /* Some targets need to parse the expression in various fancy ways.
2879 You can define TC_PARSE_CONS_EXPRESSION to do whatever you like
2880 (for example, the HPPA does this). Otherwise, you can define
2881 BITFIELD_CONS_EXPRESSIONS to permit bitfields to be specified, or
2882 REPEAT_CONS_EXPRESSIONS to permit repeat counts. If none of these
2883 are defined, which is the normal case, then only simple expressions
2887 parse_mri_cons PARAMS ((expressionS *exp, unsigned int nbytes));
2889 #ifndef TC_PARSE_CONS_EXPRESSION
2890 #ifdef BITFIELD_CONS_EXPRESSIONS
2891 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_bitfield_cons (EXP, NBYTES)
2893 parse_bitfield_cons PARAMS ((expressionS *exp, unsigned int nbytes));
2895 #ifdef REPEAT_CONS_EXPRESSIONS
2896 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_repeat_cons (EXP, NBYTES)
2898 parse_repeat_cons PARAMS ((expressionS *exp, unsigned int nbytes));
2901 /* If we haven't gotten one yet, just call expression. */
2902 #ifndef TC_PARSE_CONS_EXPRESSION
2903 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) expression (EXP)
2907 /* worker to do .byte etc statements */
2908 /* clobbers input_line_pointer, checks */
2911 cons_worker (nbytes, rva)
2912 register int nbytes; /* 1=.byte, 2=.word, 4=.long */
2920 #ifdef md_flush_pending_output
2921 md_flush_pending_output ();
2925 stop = mri_comment_field (&stopc);
2927 if (is_it_end_of_statement ())
2930 mri_comment_end (stop, stopc);
2931 demand_empty_rest_of_line ();
2939 parse_mri_cons (&exp, (unsigned int) nbytes);
2941 TC_PARSE_CONS_EXPRESSION (&exp, (unsigned int) nbytes);
2945 if (exp.X_op == O_symbol)
2946 exp.X_op = O_symbol_rva;
2948 as_fatal ("rva without symbol");
2950 emit_expr (&exp, (unsigned int) nbytes);
2953 while (*input_line_pointer++ == ',');
2955 /* In MRI mode, after an odd number of bytes, we must align to an
2956 even word boundary, unless the next instruction is a dc.b, ds.b
2958 if (flag_mri && nbytes == 1 && (c & 1) != 0)
2959 mri_pending_align = 1;
2961 input_line_pointer--; /* Put terminator back into stream. */
2964 mri_comment_end (stop, stopc);
2966 demand_empty_rest_of_line ();
2974 cons_worker (size, 0);
2981 cons_worker (size, 1);
2985 /* Put the contents of expression EXP into the object file using
2986 NBYTES bytes. If need_pass_2 is 1, this does nothing. */
2989 emit_expr (exp, nbytes)
2991 unsigned int nbytes;
2995 valueT extra_digit = 0;
2997 /* Don't do anything if we are going to make another pass. */
3003 /* Allow `.word 0' in the absolute section. */
3004 if (now_seg == absolute_section)
3006 if (op != O_constant || exp->X_add_number != 0)
3007 as_bad ("attempt to store value in absolute section");
3008 abs_section_offset += nbytes;
3012 /* Handle a negative bignum. */
3014 && exp->X_add_number == 0
3015 && exp->X_add_symbol->sy_value.X_op == O_big
3016 && exp->X_add_symbol->sy_value.X_add_number > 0)
3019 unsigned long carry;
3021 exp = &exp->X_add_symbol->sy_value;
3023 /* Negate the bignum: one's complement each digit and add 1. */
3025 for (i = 0; i < exp->X_add_number; i++)
3029 next = (((~ (generic_bignum[i] & LITTLENUM_MASK))
3032 generic_bignum[i] = next & LITTLENUM_MASK;
3033 carry = next >> LITTLENUM_NUMBER_OF_BITS;
3036 /* We can ignore any carry out, because it will be handled by
3037 extra_digit if it is needed. */
3039 extra_digit = (valueT) -1;
3043 if (op == O_absent || op == O_illegal)
3045 as_warn ("zero assumed for missing expression");
3046 exp->X_add_number = 0;
3049 else if (op == O_big && exp->X_add_number <= 0)
3051 as_bad ("floating point number invalid; zero assumed");
3052 exp->X_add_number = 0;
3055 else if (op == O_register)
3057 as_warn ("register value used as expression");
3061 p = frag_more ((int) nbytes);
3063 #ifndef WORKING_DOT_WORD
3064 /* If we have the difference of two symbols in a word, save it on
3065 the broken_words list. See the code in write.c. */
3066 if (op == O_subtract && nbytes == 2)
3068 struct broken_word *x;
3070 x = (struct broken_word *) xmalloc (sizeof (struct broken_word));
3071 x->next_broken_word = broken_words;
3074 x->word_goes_here = p;
3076 x->add = exp->X_add_symbol;
3077 x->sub = exp->X_op_symbol;
3078 x->addnum = exp->X_add_number;
3085 /* If we have an integer, but the number of bytes is too large to
3086 pass to md_number_to_chars, handle it as a bignum. */
3087 if (op == O_constant && nbytes > sizeof (valueT))
3092 if (! exp->X_unsigned && exp->X_add_number < 0)
3093 extra_digit = (valueT) -1;
3094 val = (valueT) exp->X_add_number;
3098 generic_bignum[gencnt] = val & LITTLENUM_MASK;
3099 val >>= LITTLENUM_NUMBER_OF_BITS;
3103 op = exp->X_op = O_big;
3104 exp->X_add_number = gencnt;
3107 if (op == O_constant)
3109 register valueT get;
3110 register valueT use;
3111 register valueT mask;
3112 register valueT unmask;
3114 /* JF << of >= number of bits in the object is undefined. In
3115 particular SPARC (Sun 4) has problems */
3116 if (nbytes >= sizeof (valueT))
3119 mask = ~(valueT) 0 << (BITS_PER_CHAR * nbytes); /* Don't store these bits. */
3121 unmask = ~mask; /* Do store these bits. */
3124 "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
3125 mask = ~(unmask >> 1); /* Includes sign bit now. */
3128 get = exp->X_add_number;
3130 if ((get & mask) != 0 && (get & mask) != mask)
3131 { /* Leading bits contain both 0s & 1s. */
3132 as_warn ("Value 0x%lx truncated to 0x%lx.", get, use);
3134 /* put bytes in right order. */
3135 md_number_to_chars (p, use, (int) nbytes);
3137 else if (op == O_big)
3140 LITTLENUM_TYPE *nums;
3142 know (nbytes % CHARS_PER_LITTLENUM == 0);
3144 size = exp->X_add_number * CHARS_PER_LITTLENUM;
3147 as_warn ("Bignum truncated to %d bytes", nbytes);
3151 if (target_big_endian)
3153 while (nbytes > size)
3155 md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
3156 nbytes -= CHARS_PER_LITTLENUM;
3157 p += CHARS_PER_LITTLENUM;
3160 nums = generic_bignum + size / CHARS_PER_LITTLENUM;
3164 md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
3165 size -= CHARS_PER_LITTLENUM;
3166 p += CHARS_PER_LITTLENUM;
3171 nums = generic_bignum;
3174 md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
3176 size -= CHARS_PER_LITTLENUM;
3177 p += CHARS_PER_LITTLENUM;
3178 nbytes -= CHARS_PER_LITTLENUM;
3183 md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
3184 nbytes -= CHARS_PER_LITTLENUM;
3185 p += CHARS_PER_LITTLENUM;
3191 memset (p, 0, nbytes);
3193 /* Now we need to generate a fixS to record the symbol value.
3194 This is easy for BFD. For other targets it can be more
3195 complex. For very complex cases (currently, the HPPA and
3196 NS32K), you can define TC_CONS_FIX_NEW to do whatever you
3197 want. For simpler cases, you can define TC_CONS_RELOC to be
3198 the name of the reloc code that should be stored in the fixS.
3199 If neither is defined, the code uses NO_RELOC if it is
3200 defined, and otherwise uses 0. */
3202 #ifdef BFD_ASSEMBLER
3203 #ifdef TC_CONS_FIX_NEW
3204 TC_CONS_FIX_NEW (frag_now, p - frag_now->fr_literal, nbytes, exp);
3206 fix_new_exp (frag_now, p - frag_now->fr_literal, (int) nbytes, exp, 0,
3207 /* @@ Should look at CPU word size. */
3208 nbytes == 2 ? BFD_RELOC_16
3209 : nbytes == 8 ? BFD_RELOC_64
3213 #ifdef TC_CONS_FIX_NEW
3214 TC_CONS_FIX_NEW (frag_now, p - frag_now->fr_literal, nbytes, exp);
3216 /* Figure out which reloc number to use. Use TC_CONS_RELOC if
3217 it is defined, otherwise use NO_RELOC if it is defined,
3219 #ifndef TC_CONS_RELOC
3221 #define TC_CONS_RELOC NO_RELOC
3223 #define TC_CONS_RELOC 0
3226 fix_new_exp (frag_now, p - frag_now->fr_literal, (int) nbytes, exp, 0,
3228 #endif /* TC_CONS_FIX_NEW */
3229 #endif /* BFD_ASSEMBLER */
3233 #ifdef BITFIELD_CONS_EXPRESSIONS
3235 /* i960 assemblers, (eg, asm960), allow bitfields after ".byte" as
3236 w:x,y:z, where w and y are bitwidths and x and y are values. They
3237 then pack them all together. We do a little better in that we allow
3238 them in words, longs, etc. and we'll pack them in target byte order
3241 The rules are: pack least significat bit first, if a field doesn't
3242 entirely fit, put it in the next unit. Overflowing the bitfield is
3243 explicitly *not* even a warning. The bitwidth should be considered
3246 To use this function the tc-XXX.h file should define
3247 BITFIELD_CONS_EXPRESSIONS. */
3250 parse_bitfield_cons (exp, nbytes)
3252 unsigned int nbytes;
3254 unsigned int bits_available = BITS_PER_CHAR * nbytes;
3255 char *hold = input_line_pointer;
3257 (void) expression (exp);
3259 if (*input_line_pointer == ':')
3265 unsigned long width;
3267 if (*input_line_pointer != ':')
3269 input_line_pointer = hold;
3271 } /* next piece is not a bitfield */
3273 /* In the general case, we can't allow
3274 full expressions with symbol
3275 differences and such. The relocation
3276 entries for symbols not defined in this
3277 assembly would require arbitrary field
3278 widths, positions, and masks which most
3279 of our current object formats don't
3282 In the specific case where a symbol
3283 *is* defined in this assembly, we
3284 *could* build fixups and track it, but
3285 this could lead to confusion for the
3286 backends. I'm lazy. I'll take any
3287 SEG_ABSOLUTE. I think that means that
3288 you can use a previous .set or
3289 .equ type symbol. xoxorich. */
3291 if (exp->X_op == O_absent)
3293 as_warn ("using a bit field width of zero");
3294 exp->X_add_number = 0;
3295 exp->X_op = O_constant;
3296 } /* implied zero width bitfield */
3298 if (exp->X_op != O_constant)
3300 *input_line_pointer = '\0';
3301 as_bad ("field width \"%s\" too complex for a bitfield", hold);
3302 *input_line_pointer = ':';
3303 demand_empty_rest_of_line ();
3307 if ((width = exp->X_add_number) > (BITS_PER_CHAR * nbytes))
3309 as_warn ("field width %lu too big to fit in %d bytes: truncated to %d bits",
3310 width, nbytes, (BITS_PER_CHAR * nbytes));
3311 width = BITS_PER_CHAR * nbytes;
3314 if (width > bits_available)
3316 /* FIXME-SOMEDAY: backing up and reparsing is wasteful. */
3317 input_line_pointer = hold;
3318 exp->X_add_number = value;
3322 hold = ++input_line_pointer; /* skip ':' */
3324 (void) expression (exp);
3325 if (exp->X_op != O_constant)
3327 char cache = *input_line_pointer;
3329 *input_line_pointer = '\0';
3330 as_bad ("field value \"%s\" too complex for a bitfield", hold);
3331 *input_line_pointer = cache;
3332 demand_empty_rest_of_line ();
3336 value |= ((~(-1 << width) & exp->X_add_number)
3337 << ((BITS_PER_CHAR * nbytes) - bits_available));
3339 if ((bits_available -= width) == 0
3340 || is_it_end_of_statement ()
3341 || *input_line_pointer != ',')
3344 } /* all the bitfields we're gonna get */
3346 hold = ++input_line_pointer;
3347 (void) expression (exp);
3348 } /* forever loop */
3350 exp->X_add_number = value;
3351 exp->X_op = O_constant;
3352 exp->X_unsigned = 1;
3353 } /* if looks like a bitfield */
3354 } /* parse_bitfield_cons() */
3356 #endif /* BITFIELD_CONS_EXPRESSIONS */
3358 /* Handle an MRI style string expression. */
3361 parse_mri_cons (exp, nbytes)
3363 unsigned int nbytes;
3365 if (*input_line_pointer != '\''
3366 && (input_line_pointer[1] != '\''
3367 || (*input_line_pointer != 'A'
3368 && *input_line_pointer != 'E')))
3369 TC_PARSE_CONS_EXPRESSION (exp, nbytes);
3373 unsigned int result = 0;
3375 /* An MRI style string. Cut into as many bytes as will fit into
3376 a nbyte chunk, left justify if necessary, and separate with
3377 commas so we can try again later. */
3378 if (*input_line_pointer == 'A')
3379 ++input_line_pointer;
3380 else if (*input_line_pointer == 'E')
3382 as_bad ("EBCDIC constants are not supported");
3383 ++input_line_pointer;
3386 input_line_pointer++;
3387 for (scan = 0; scan < nbytes; scan++)
3389 if (*input_line_pointer == '\'')
3391 if (input_line_pointer[1] == '\'')
3393 input_line_pointer++;
3398 result = (result << 8) | (*input_line_pointer++);
3402 while (scan < nbytes)
3407 /* Create correct expression */
3408 exp->X_op = O_constant;
3409 exp->X_add_number = result;
3410 /* Fake it so that we can read the next char too */
3411 if (input_line_pointer[0] != '\'' ||
3412 (input_line_pointer[0] == '\'' && input_line_pointer[1] == '\''))
3414 input_line_pointer -= 2;
3415 input_line_pointer[0] = ',';
3416 input_line_pointer[1] = '\'';
3419 input_line_pointer++;
3423 #ifdef REPEAT_CONS_EXPRESSIONS
3425 /* Parse a repeat expression for cons. This is used by the MIPS
3426 assembler. The format is NUMBER:COUNT; NUMBER appears in the
3427 object file COUNT times.
3429 To use this for a target, define REPEAT_CONS_EXPRESSIONS. */
3432 parse_repeat_cons (exp, nbytes)
3434 unsigned int nbytes;
3441 if (*input_line_pointer != ':')
3443 /* No repeat count. */
3447 ++input_line_pointer;
3448 expression (&count);
3449 if (count.X_op != O_constant
3450 || count.X_add_number <= 0)
3452 as_warn ("Unresolvable or nonpositive repeat count; using 1");
3456 /* The cons function is going to output this expression once. So we
3457 output it count - 1 times. */
3458 for (i = count.X_add_number - 1; i > 0; i--)
3459 emit_expr (exp, nbytes);
3462 #endif /* REPEAT_CONS_EXPRESSIONS */
3464 /* Parse a floating point number represented as a hex constant. This
3465 permits users to specify the exact bits they want in the floating
3469 hex_float (float_type, bytes)
3503 as_bad ("Unknown floating type type '%c'", float_type);
3507 /* It would be nice if we could go through expression to parse the
3508 hex constant, but if we get a bignum it's a pain to sort it into
3509 the buffer correctly. */
3511 while (hex_p (*input_line_pointer) || *input_line_pointer == '_')
3515 /* The MRI assembler accepts arbitrary underscores strewn about
3516 through the hex constant, so we ignore them as well. */
3517 if (*input_line_pointer == '_')
3519 ++input_line_pointer;
3525 as_warn ("Floating point constant too large");
3528 d = hex_value (*input_line_pointer) << 4;
3529 ++input_line_pointer;
3530 while (*input_line_pointer == '_')
3531 ++input_line_pointer;
3532 if (hex_p (*input_line_pointer))
3534 d += hex_value (*input_line_pointer);
3535 ++input_line_pointer;
3537 if (target_big_endian)
3540 bytes[length - i - 1] = d;
3546 if (target_big_endian)
3547 memset (bytes + i, 0, length - i);
3549 memset (bytes, 0, length - i);
3558 * CONStruct some more frag chars of .floats .ffloats etc.
3559 * Makes 0 or more new frags.
3560 * If need_pass_2 == 1, no frags are emitted.
3561 * This understands only floating literals, not expressions. Sorry.
3563 * A floating constant is defined by atof_generic(), except it is preceded
3564 * by 0d 0f 0g or 0h. After observing the STRANGE way my BSD AS does its
3565 * reading, I decided to be incompatible. This always tries to give you
3566 * rounded bits to the precision of the pseudo-op. Former AS did premature
3567 * truncatation, restored noisy bits instead of trailing 0s AND gave you
3568 * a choice of 2 flavours of noise according to which of 2 floating-point
3569 * scanners you directed AS to use.
3571 * In: input_line_pointer->whitespace before, or '0' of flonum.
3576 float_cons (float_type)
3577 /* Clobbers input_line-pointer, checks end-of-line. */
3578 register int float_type; /* 'f':.ffloat ... 'F':.float ... */
3581 int length; /* Number of chars in an object. */
3582 register char *err; /* Error from scanning floating literal. */
3583 char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
3585 if (is_it_end_of_statement ())
3587 demand_empty_rest_of_line ();
3593 /* input_line_pointer->1st char of a flonum (we hope!). */
3596 /* Skip any 0{letter} that may be present. Don't even check if the
3597 * letter is legal. Someone may invent a "z" format and this routine
3598 * has no use for such information. Lusers beware: you get
3599 * diagnostics if your input is ill-conditioned.
3601 if (input_line_pointer[0] == '0' && isalpha (input_line_pointer[1]))
3602 input_line_pointer += 2;
3604 /* Accept :xxxx, where the x's are hex digits, for a floating
3605 point with the exact digits specified. */
3606 if (input_line_pointer[0] == ':')
3608 ++input_line_pointer;
3609 length = hex_float (float_type, temp);
3612 ignore_rest_of_line ();
3618 err = md_atof (float_type, temp, &length);
3619 know (length <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
3623 as_bad ("Bad floating literal: %s", err);
3624 ignore_rest_of_line ();
3635 #ifdef REPEAT_CONS_EXPRESSIONS
3636 if (*input_line_pointer == ':')
3638 expressionS count_exp;
3640 ++input_line_pointer;
3641 expression (&count_exp);
3642 if (count_exp.X_op != O_constant
3643 || count_exp.X_add_number <= 0)
3645 as_warn ("unresolvable or nonpositive repeat count; using 1");
3648 count = count_exp.X_add_number;
3652 while (--count >= 0)
3654 p = frag_more (length);
3655 memcpy (p, temp, (unsigned int) length);
3660 while (*input_line_pointer++ == ',');
3662 --input_line_pointer; /* Put terminator back into stream. */
3663 demand_empty_rest_of_line ();
3664 } /* float_cons() */
3669 * We read 0 or more ',' seperated, double-quoted strings.
3671 * Caller should have checked need_pass_2 is FALSE because we don't check it.
3676 stringer (append_zero) /* Worker to do .ascii etc statements. */
3677 /* Checks end-of-line. */
3678 register int append_zero; /* 0: don't append '\0', else 1 */
3680 register unsigned int c;
3682 #ifdef md_flush_pending_output
3683 md_flush_pending_output ();
3687 * The following awkward logic is to parse ZERO or more strings,
3688 * comma seperated. Recall a string expression includes spaces
3689 * before the opening '\"' and spaces after the closing '\"'.
3690 * We fake a leading ',' if there is (supposed to be)
3691 * a 1st, expression. We keep demanding expressions for each
3694 if (is_it_end_of_statement ())
3696 c = 0; /* Skip loop. */
3697 ++input_line_pointer; /* Compensate for end of loop. */
3701 c = ','; /* Do loop. */
3703 while (c == ',' || c == '<' || c == '"')
3706 switch (*input_line_pointer)
3709 ++input_line_pointer; /*->1st char of string. */
3710 while (is_a_char (c = next_char_of_string ()))
3712 FRAG_APPEND_1_CHAR (c);
3716 FRAG_APPEND_1_CHAR (0);
3718 know (input_line_pointer[-1] == '\"');
3721 input_line_pointer++;
3722 c = get_single_number ();
3723 FRAG_APPEND_1_CHAR (c);
3724 if (*input_line_pointer != '>')
3726 as_bad ("Expected <nn>");
3728 input_line_pointer++;
3731 input_line_pointer++;
3735 c = *input_line_pointer;
3738 demand_empty_rest_of_line ();
3741 /* FIXME-SOMEDAY: I had trouble here on characters with the
3742 high bits set. We'll probably also have trouble with
3743 multibyte chars, wide chars, etc. Also be careful about
3744 returning values bigger than 1 byte. xoxorich. */
3747 next_char_of_string ()
3749 register unsigned int c;
3751 c = *input_line_pointer++ & CHAR_MASK;
3758 #ifndef NO_STRING_ESCAPES
3760 switch (c = *input_line_pointer++)
3788 break; /* As itself. */
3804 for (i = 0, number = 0; isdigit (c) && i < 3; c = *input_line_pointer++, i++)
3806 number = number * 8 + c - '0';
3810 --input_line_pointer;
3819 c = *input_line_pointer++;
3820 while (isxdigit (c))
3823 number = number * 16 + c - '0';
3824 else if (isupper (c))
3825 number = number * 16 + c - 'A' + 10;
3827 number = number * 16 + c - 'a' + 10;
3828 c = *input_line_pointer++;
3831 --input_line_pointer;
3836 /* To be compatible with BSD 4.2 as: give the luser a linefeed!! */
3837 as_warn ("Unterminated string: Newline inserted.");
3843 #ifdef ONLY_STANDARD_ESCAPES
3844 as_bad ("Bad escaped character in string, '?' assumed");
3846 #endif /* ONLY_STANDARD_ESCAPES */
3849 } /* switch on escaped char */
3851 #endif /* ! defined (NO_STRING_ESCAPES) */
3855 } /* switch on char */
3857 } /* next_char_of_string() */
3860 get_segmented_expression (expP)
3861 register expressionS *expP;
3863 register segT retval;
3865 retval = expression (expP);
3866 if (expP->X_op == O_illegal
3867 || expP->X_op == O_absent
3868 || expP->X_op == O_big)
3870 as_bad ("expected address expression; zero assumed");
3871 expP->X_op = O_constant;
3872 expP->X_add_number = 0;
3873 retval = absolute_section;
3879 get_known_segmented_expression (expP)
3880 register expressionS *expP;
3882 register segT retval;
3884 if ((retval = get_segmented_expression (expP)) == undefined_section)
3886 /* There is no easy way to extract the undefined symbol from the
3888 if (expP->X_add_symbol != NULL
3889 && S_GET_SEGMENT (expP->X_add_symbol) != expr_section)
3890 as_warn ("symbol \"%s\" undefined; zero assumed",
3891 S_GET_NAME (expP->X_add_symbol));
3893 as_warn ("some symbol undefined; zero assumed");
3894 retval = absolute_section;
3895 expP->X_op = O_constant;
3896 expP->X_add_number = 0;
3898 know (retval == absolute_section || SEG_NORMAL (retval));
3900 } /* get_known_segmented_expression() */
3903 get_absolute_expression ()
3908 if (exp.X_op != O_constant)
3910 if (exp.X_op != O_absent)
3911 as_bad ("bad or irreducible absolute expression; zero assumed");
3912 exp.X_add_number = 0;
3914 return exp.X_add_number;
3917 char /* return terminator */
3918 get_absolute_expression_and_terminator (val_pointer)
3919 long *val_pointer; /* return value of expression */
3921 /* FIXME: val_pointer should probably be offsetT *. */
3922 *val_pointer = (long) get_absolute_expression ();
3923 return (*input_line_pointer++);
3927 * demand_copy_C_string()
3929 * Like demand_copy_string, but return NULL if the string contains any '\0's.
3930 * Give a warning if that happens.
3933 demand_copy_C_string (len_pointer)
3938 if ((s = demand_copy_string (len_pointer)) != 0)
3942 for (len = *len_pointer; len > 0; len--)
3949 as_bad ("This string may not contain \'\\0\'");
3957 * demand_copy_string()
3959 * Demand string, but return a safe (=private) copy of the string.
3960 * Return NULL if we can't read a string here.
3963 demand_copy_string (lenP)
3966 register unsigned int c;
3972 if (*input_line_pointer == '\"')
3974 input_line_pointer++; /* Skip opening quote. */
3976 while (is_a_char (c = next_char_of_string ()))
3978 obstack_1grow (¬es, c);
3981 /* JF this next line is so demand_copy_C_string will return a
3982 null terminated string. */
3983 obstack_1grow (¬es, '\0');
3984 retval = obstack_finish (¬es);
3988 as_warn ("Missing string");
3990 ignore_rest_of_line ();
3994 } /* demand_copy_string() */
3997 * is_it_end_of_statement()
3999 * In: Input_line_pointer->next character.
4001 * Do: Skip input_line_pointer over all whitespace.
4003 * Out: 1 if input_line_pointer->end-of-line.
4006 is_it_end_of_statement ()
4009 return (is_end_of_line[(unsigned char) *input_line_pointer]);
4010 } /* is_it_end_of_statement() */
4016 register symbolS *symbolP; /* symbol we are working with */
4020 input_line_pointer++;
4021 if (*input_line_pointer == '=')
4022 input_line_pointer++;
4024 while (*input_line_pointer == ' ' || *input_line_pointer == '\t')
4025 input_line_pointer++;
4028 stop = mri_comment_field (&stopc);
4030 if (sym_name[0] == '.' && sym_name[1] == '\0')
4032 /* Turn '. = mumble' into a .org mumble */
4033 register segT segment;
4036 segment = get_known_segmented_expression (&exp);
4038 do_org (segment, &exp, 0);
4042 symbolP = symbol_find_or_make (sym_name);
4043 pseudo_set (symbolP);
4047 mri_comment_end (stop, stopc);
4050 /* .include -- include a file at this point. */
4063 if (! flag_m68k_mri)
4064 filename = demand_copy_string (&i);
4069 while (! is_end_of_line[(unsigned char) *input_line_pointer]
4070 && *input_line_pointer != ' '
4071 && *input_line_pointer != '\t')
4073 obstack_1grow (¬es, *input_line_pointer);
4074 ++input_line_pointer;
4077 obstack_1grow (¬es, '\0');
4078 filename = obstack_finish (¬es);
4079 while (! is_end_of_line[(unsigned char) *input_line_pointer])
4080 ++input_line_pointer;
4082 demand_empty_rest_of_line ();
4083 path = xmalloc ((unsigned long) i + include_dir_maxlen + 5 /* slop */ );
4084 for (i = 0; i < include_dir_count; i++)
4086 strcpy (path, include_dirs[i]);
4088 strcat (path, filename);
4089 if (0 != (try = fopen (path, "r")))
4098 /* malloc Storage leak when file is found on path. FIXME-SOMEDAY. */
4099 newbuf = input_scrub_include_file (path, input_line_pointer);
4100 buffer_limit = input_scrub_next_buffer (&input_line_pointer);
4104 add_include_dir (path)
4109 if (include_dir_count == 0)
4111 include_dirs = (char **) xmalloc (2 * sizeof (*include_dirs));
4112 include_dirs[0] = "."; /* Current dir */
4113 include_dir_count = 2;
4117 include_dir_count++;
4118 include_dirs = (char **) realloc (include_dirs,
4119 include_dir_count * sizeof (*include_dirs));
4122 include_dirs[include_dir_count - 1] = path; /* New one */
4125 if (i > include_dir_maxlen)
4126 include_dir_maxlen = i;
4127 } /* add_include_dir() */
4133 while (!is_end_of_line[(unsigned char) *input_line_pointer])
4135 ++input_line_pointer;
4137 ++input_line_pointer;
4142 read_print_statistics (file)
4145 hash_print_statistics (file, "pseudo-op table", po_hash);