1 /* read.c - read a source file -
2 Copyright (C) 1986, 87, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1999
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
23 #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 /* The NOP_OPCODE is for the alignment fill value.
57 * fill it a nop instruction so that the disassembler does not choke
61 #define NOP_OPCODE 0x00
64 char *input_line_pointer
; /*->next char of source file to parse. */
66 #if BITS_PER_CHAR != 8
67 /* The following table is indexed by[(char)] and will break if
68 a char does not have exactly 256 states (hopefully 0:255!)! */
73 /* The m88k unfortunately uses @ as a label beginner. */
78 /* The RS/6000 assembler uses {,},[,] as parts of symbol names. */
83 /* The Delta 68k assembler permits % inside label names. */
88 /* The PowerPC Windows NT assemblers permits ? inside label names. */
97 /* The a29k assembler does not permits labels to start with $. */
102 /* The Delta 68k assembler permits ~ at start of label names. */
106 /* used by is_... macros. our ctype[] */
109 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* @ABCDEFGHIJKLMNO */
110 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* PQRSTUVWXYZ[\]^_ */
111 0, 0, 0, LEX_HASH
, LEX_DOLLAR
, LEX_PCT
, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, /* _!"#$%&'()*+,-./ */
112 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, LEX_QM
, /* 0123456789:;<=>? */
113 LEX_AT
, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* @ABCDEFGHIJKLMNO */
114 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR
, 0, LEX_BR
, 0, 3, /* PQRSTUVWXYZ[\]^_ */
115 0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* `abcdefghijklmno */
116 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR
, 0, LEX_BR
, LEX_TILDE
, 0, /* pqrstuvwxyz{|}~. */
117 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
118 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
119 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
120 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
121 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
122 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
123 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
124 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3
130 * Out: 1 if this character ends a line.
133 char is_end_of_line
[256] =
136 99, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, 99, Z_
, Z_
, 99, Z_
, Z_
, /* @abcdefghijklmno */
138 99, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, 99, Z_
, Z_
, Z_
, Z_
, Z_
, /* @abcdefghijklmno */
140 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
142 Z_
,99, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* _!"#$%&'()*+,-./ */
143 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* 0123456789:;<=>? */
145 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
146 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, 99, Z_
, Z_
, Z_
, Z_
, /* 0123456789:;<=>? */
148 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
149 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
150 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
151 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
152 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
153 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
154 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
155 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
156 Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, Z_
, /* */
160 /* Functions private to this file. */
162 static char *buffer
; /* 1st char of each buffer of lines is here. */
163 static char *buffer_limit
; /*->1 + last char in buffer. */
165 /* TARGET_BYTES_BIG_ENDIAN is required to be defined to either 0 or 1 in the
166 tc-<CPU>.h file. See the "Porting GAS" section of the internals manual. */
167 int target_big_endian
= TARGET_BYTES_BIG_ENDIAN
;
169 static char *old_buffer
; /* JF a hack */
170 static char *old_input
;
171 static char *old_limit
;
173 /* Variables for handling include file directory table. */
175 char **include_dirs
; /* Table of pointers to directories to
176 search for .include's */
177 int include_dir_count
; /* How many are in the table */
178 int include_dir_maxlen
= 1;/* Length of longest in table */
180 #ifndef WORKING_DOT_WORD
181 struct broken_word
*broken_words
;
182 int new_broken_words
;
185 /* The current offset into the absolute section. We don't try to
186 build frags in the absolute section, since no data can be stored
187 there. We just keep track of the current offset. */
188 addressT abs_section_offset
;
190 /* If this line had an MRI style label, it is stored in this variable.
191 This is used by some of the MRI pseudo-ops. */
194 /* This global variable is used to support MRI common sections. We
195 translate such sections into a common symbol. This variable is
196 non-NULL when we are in an MRI common section. */
197 symbolS
*mri_common_symbol
;
199 /* In MRI mode, after a dc.b pseudo-op with an odd number of bytes, we
200 need to align to an even byte boundary unless the next pseudo-op is
201 dc.b, ds.b, or dcb.b. This variable is set to 1 if an alignment
203 static int mri_pending_align
;
207 /* This variable is set to be non-zero if the next string we see might
208 be the name of the source file in DWARF debugging information. See
209 the comment in emit_expr for the format we look for. */
210 static int dwarf_file_string
;
214 static void cons_worker
PARAMS ((int, int));
215 static int scrub_from_string
PARAMS ((char *, int));
216 static void do_align
PARAMS ((int, char *, int, int));
217 static void s_align
PARAMS ((int, int));
218 static void s_lcomm_internal
PARAMS ((int, int));
219 static int hex_float
PARAMS ((int, char *));
220 static inline int sizeof_sleb128
PARAMS ((offsetT
));
221 static inline int sizeof_uleb128
PARAMS ((valueT
));
222 static inline int output_sleb128
PARAMS ((char *, offsetT
));
223 static inline int output_uleb128
PARAMS ((char *, valueT
));
224 static inline int output_big_sleb128
PARAMS ((char *, LITTLENUM_TYPE
*, int));
225 static inline int output_big_uleb128
PARAMS ((char *, LITTLENUM_TYPE
*, int));
226 static int output_big_leb128
PARAMS ((char *, LITTLENUM_TYPE
*, int, int));
227 static void do_org
PARAMS ((segT
, expressionS
*, int));
228 char *demand_copy_string
PARAMS ((int *lenP
));
229 static segT get_segmented_expression
PARAMS ((expressionS
*expP
));
230 static segT get_known_segmented_expression
PARAMS ((expressionS
* expP
));
231 static void pobegin
PARAMS ((void));
232 static int get_line_sb
PARAMS ((sb
*));
233 static void generate_file_debug
PARAMS ((void));
242 obj_read_begin_hook ();
244 /* Something close -- but not too close -- to a multiple of 1024.
245 The debugging malloc I'm using has 24 bytes of overhead. */
246 obstack_begin (¬es
, chunksize
);
247 obstack_begin (&cond_obstack
, chunksize
);
249 /* Use machine dependent syntax */
250 for (p
= line_separator_chars
; *p
; p
++)
251 is_end_of_line
[(unsigned char) *p
] = 1;
252 /* Use more. FIXME-SOMEDAY. */
258 /* set up pseudo-op tables */
260 static struct hash_control
*po_hash
;
262 static const pseudo_typeS potable
[] =
264 {"abort", s_abort
, 0},
265 {"align", s_align_ptwo
, 0},
266 {"ascii", stringer
, 0},
267 {"asciz", stringer
, 1},
268 {"balign", s_align_bytes
, 0},
269 {"balignw", s_align_bytes
, -2},
270 {"balignl", s_align_bytes
, -4},
274 {"common", s_mri_common
, 0},
275 {"common.s", s_mri_common
, 1},
279 {"dc.d", float_cons
, 'd'},
281 {"dc.s", float_cons
, 'f'},
283 {"dc.x", float_cons
, 'x'},
285 {"dcb.b", s_space
, 1},
286 {"dcb.d", s_float_space
, 'd'},
287 {"dcb.l", s_space
, 4},
288 {"dcb.s", s_float_space
, 'f'},
289 {"dcb.w", s_space
, 2},
290 {"dcb.x", s_float_space
, 'x'},
292 {"ds.b", s_space
, 1},
293 {"ds.d", s_space
, 8},
294 {"ds.l", s_space
, 4},
295 {"ds.p", s_space
, 12},
296 {"ds.s", s_space
, 4},
297 {"ds.w", s_space
, 2},
298 {"ds.x", s_space
, 12},
299 {"debug", s_ignore
, 0},
304 {"double", float_cons
, 'd'},
306 {"eject", listing_eject
, 0}, /* Formfeed listing */
308 {"elsec", s_else
, 0},
310 {"endc", s_endif
, 0},
311 {"endfunc", s_func
, 1},
312 {"endif", s_endif
, 0},
317 {"exitm", s_mexit
, 0},
319 {"extern", s_ignore
, 0}, /* We treat all undef as ext */
320 {"appfile", s_app_file
, 1},
321 {"appline", s_app_line
, 0},
323 {"file", s_app_file
, 0},
325 {"float", float_cons
, 'f'},
326 {"format", s_ignore
, 0},
328 {"global", s_globl
, 0},
329 {"globl", s_globl
, 0},
331 {"if", s_if
, (int) O_ne
},
333 {"ifdef", s_ifdef
, 0},
334 {"ifeq", s_if
, (int) O_eq
},
335 {"ifeqs", s_ifeqs
, 0},
336 {"ifge", s_if
, (int) O_ge
},
337 {"ifgt", s_if
, (int) O_gt
},
338 {"ifle", s_if
, (int) O_le
},
339 {"iflt", s_if
, (int) O_lt
},
341 {"ifndef", s_ifdef
, 1},
342 {"ifne", s_if
, (int) O_ne
},
343 {"ifnes", s_ifeqs
, 1},
344 {"ifnotdef", s_ifdef
, 1},
345 {"include", s_include
, 0},
351 {"lcomm", s_lcomm
, 0},
352 {"lflags", listing_flags
, 0}, /* Listing flags */
353 {"linkonce", s_linkonce
, 0},
354 {"list", listing_list
, 1}, /* Turn listing on */
355 {"llen", listing_psize
, 1},
358 {"macro", s_macro
, 0},
359 {"mexit", s_mexit
, 0},
361 {".mri", s_mri
, 0}, /* Special case so .mri works in MRI mode. */
362 {"name", s_ignore
, 0},
363 {"noformat", s_ignore
, 0},
364 {"nolist", listing_list
, 0}, /* Turn listing off */
365 {"nopage", listing_nopage
, 0},
367 {"offset", s_struct
, 0},
369 {"p2align", s_align_ptwo
, 0},
370 {"p2alignw", s_align_ptwo
, -2},
371 {"p2alignl", s_align_ptwo
, -4},
372 {"page", listing_eject
, 0},
373 {"plen", listing_psize
, 0},
374 {"print", s_print
, 0},
375 {"psize", listing_psize
, 0}, /* set paper size */
376 {"purgem", s_purgem
, 0},
381 {"sbttl", listing_title
, 1}, /* Subtitle of listing */
386 {"single", float_cons
, 'f'},
388 {"space", s_space
, 0},
389 {"skip", s_space
, 0},
390 {"sleb128", s_leb128
, 1},
391 {"spc", s_ignore
, 0},
392 {"stabd", s_stab
, 'd'},
393 {"stabn", s_stab
, 'n'},
394 {"stabs", s_stab
, 's'},
395 {"string", stringer
, 1},
396 {"struct", s_struct
, 0},
400 /* This is for gcc to use. It's only just been added (2/94), so gcc
401 won't be able to use it for a while -- probably a year or more.
402 But once this has been released, check with gcc maintainers
403 before deleting it or even changing the spelling. */
404 {"this_GCC_requires_the_GNU_assembler", s_ignore
, 0},
405 /* If we're folding case -- done for some targets, not necessarily
406 all -- the above string in an input file will be converted to
407 this one. Match it either way... */
408 {"this_gcc_requires_the_gnu_assembler", s_ignore
, 0},
410 {"title", listing_title
, 0}, /* Listing title */
411 {"ttl", listing_title
, 0},
413 {"uleb128", s_leb128
, 0},
417 {"xdef", s_globl
, 0},
418 {"xref", s_ignore
, 0},
419 {"xstabs", s_xstab
, 's'},
421 {"zero", s_space
, 0},
422 {NULL
} /* end sentinel */
425 static int pop_override_ok
= 0;
426 static const char *pop_table_name
;
430 const pseudo_typeS
*table
;
433 const pseudo_typeS
*pop
;
434 for (pop
= table
; pop
->poc_name
; pop
++)
436 errtxt
= hash_insert (po_hash
, pop
->poc_name
, (char *) pop
);
437 if (errtxt
&& (!pop_override_ok
|| strcmp (errtxt
, "exists")))
438 as_fatal (_("error constructing %s pseudo-op table: %s"), pop_table_name
,
443 #ifndef md_pop_insert
444 #define md_pop_insert() pop_insert(md_pseudo_table)
447 #ifndef obj_pop_insert
448 #define obj_pop_insert() pop_insert(obj_pseudo_table)
454 po_hash
= hash_new ();
456 /* Do the target-specific pseudo ops. */
457 pop_table_name
= "md";
460 /* Now object specific. Skip any that were in the target table. */
461 pop_table_name
= "obj";
465 /* Now portable ones. Skip any that we've seen already. */
466 pop_table_name
= "standard";
467 pop_insert (potable
);
470 #define HANDLE_CONDITIONAL_ASSEMBLY() \
471 if (ignore_input ()) \
473 while (! is_end_of_line[(unsigned char) *input_line_pointer++]) \
474 if (input_line_pointer == buffer_limit) \
480 /* This function is used when scrubbing the characters between #APP
483 static char *scrub_string
;
484 static char *scrub_string_end
;
487 scrub_from_string (buf
, buflen
)
493 copy
= scrub_string_end
- scrub_string
;
496 memcpy (buf
, scrub_string
, copy
);
497 scrub_string
+= copy
;
501 /* read_a_source_file()
503 * We read the file, putting things into a web that
504 * represents what we have been reading.
507 read_a_source_file (name
)
511 register char *s
; /* string of symbol, '\0' appended */
515 buffer
= input_scrub_new_file (name
);
518 listing_newline (NULL
);
519 register_dependency (name
);
521 /* Generate debugging information before we've read anything in to denote
522 this file as the "main" source file and not a subordinate one
523 (e.g. N_SO vs N_SOL in stabs). */
524 generate_file_debug ();
526 while ((buffer_limit
= input_scrub_next_buffer (&input_line_pointer
)) != 0)
527 { /* We have another line to parse. */
528 know (buffer_limit
[-1] == '\n'); /* Must have a sentinel. */
529 contin
: /* JF this goto is my fault I admit it.
530 Someone brave please re-write the whole
531 input section here? Pleeze??? */
532 while (input_line_pointer
< buffer_limit
)
534 /* We have more of this buffer to parse. */
537 * We now have input_line_pointer->1st char of next line.
538 * If input_line_pointer [-1] == '\n' then we just
539 * scanned another line: so bump line counters.
541 if (is_end_of_line
[(unsigned char) input_line_pointer
[-1]])
543 #ifdef md_start_line_hook
544 md_start_line_hook ();
547 if (input_line_pointer
[-1] == '\n')
548 bump_line_counters ();
553 #ifdef LABELS_WITHOUT_COLONS
558 /* Text at the start of a line must be a label, we
559 run down and stick a colon in. */
560 if (is_name_beginner (*input_line_pointer
))
562 char *line_start
= input_line_pointer
;
567 HANDLE_CONDITIONAL_ASSEMBLY ();
569 c
= get_symbol_end ();
571 /* In MRI mode, the EQU and MACRO pseudoops must
572 be handled specially. */
576 char *rest
= input_line_pointer
+ 1;
580 if (*rest
== ' ' || *rest
== '\t')
582 if ((strncasecmp (rest
, "EQU", 3) == 0
583 || strncasecmp (rest
, "SET", 3) == 0)
584 && (rest
[3] == ' ' || rest
[3] == '\t'))
586 input_line_pointer
= rest
+ 3;
588 strncasecmp (rest
, "SET", 3) == 0);
591 if (strncasecmp (rest
, "MACRO", 5) == 0
594 || is_end_of_line
[(unsigned char) rest
[5]]))
598 /* In MRI mode, we need to handle the MACRO
599 pseudo-op specially: we don't want to put the
600 symbol in the symbol table. */
601 if (! mri_line_macro
)
602 line_label
= colon (line_start
);
604 line_label
= symbol_create (line_start
,
609 *input_line_pointer
= c
;
611 input_line_pointer
++;
617 * We are at the begining of a line, or similar place.
618 * We expect a well-formed assembler statement.
619 * A "symbol-name:" is a statement.
621 * Depending on what compiler is used, the order of these tests
622 * may vary to catch most common case 1st.
623 * Each test is independent of all other tests at the (top) level.
624 * PLEASE make a compiler that doesn't use this assembler.
625 * It is crufty to waste a compiler's time encoding things for this
626 * assembler, which then wastes more time decoding it.
627 * (And communicating via (linear) files is silly!
628 * If you must pass stuff, please pass a tree!)
630 if ((c
= *input_line_pointer
++) == '\t'
635 c
= *input_line_pointer
++;
637 know (c
!= ' '); /* No further leading whitespace. */
640 /* If listing is on, and we are expanding a macro, then give
641 the listing code the contents of the expanded line. */
644 if ((listing
& LISTING_MACEXP
) && macro_nest
> 0)
649 /* Find the end of the current expanded macro line. */
650 for (s
= input_line_pointer
-1; *s
; ++s
)
651 if (is_end_of_line
[(unsigned char) *s
])
654 /* Copy it for safe keeping. Also give an indication of
655 how much macro nesting is involved at this point. */
656 len
= s
- (input_line_pointer
-1);
657 copy
= (char *) xmalloc (len
+ macro_nest
+ 2);
658 memset (copy
, '>', macro_nest
);
659 copy
[macro_nest
] = ' ';
660 memcpy (copy
+ macro_nest
+ 1, input_line_pointer
-1, len
);
661 copy
[macro_nest
+1+len
] = '\0';
663 /* Install the line with the listing facility. */
664 listing_newline (copy
);
667 listing_newline (NULL
);
672 * C is the 1st significant character.
673 * Input_line_pointer points after that character.
675 if (is_name_beginner (c
))
677 /* want user-defined label or pseudo/opcode */
678 HANDLE_CONDITIONAL_ASSEMBLY ();
680 s
= --input_line_pointer
;
681 c
= get_symbol_end (); /* name's delimiter */
683 * C is character after symbol.
684 * That character's place in the input line is now '\0'.
685 * S points to the beginning of the symbol.
686 * [In case of pseudo-op, s->'.'.]
687 * Input_line_pointer->'\0' where c was.
689 if (TC_START_LABEL(c
, input_line_pointer
))
693 char *rest
= input_line_pointer
+ 1;
695 /* In MRI mode, \tsym: set 0 is permitted. */
699 if (*rest
== ' ' || *rest
== '\t')
701 if ((strncasecmp (rest
, "EQU", 3) == 0
702 || strncasecmp (rest
, "SET", 3) == 0)
703 && (rest
[3] == ' ' || rest
[3] == '\t'))
705 input_line_pointer
= rest
+ 3;
711 line_label
= colon (s
); /* user-defined label */
712 *input_line_pointer
++ = ':'; /* Put ':' back for error messages' sake. */
713 /* Input_line_pointer->after ':'. */
719 || ((c
== ' ' || c
== '\t')
720 && input_line_pointer
[1] == '='
721 #ifdef TC_EQUAL_IN_INSN
722 && ! TC_EQUAL_IN_INSN (c
, input_line_pointer
)
727 demand_empty_rest_of_line ();
730 { /* expect pseudo-op or machine instruction */
733 #define IGNORE_OPCODE_CASE
734 #ifdef IGNORE_OPCODE_CASE
739 if (isupper ((unsigned char) *s2
))
752 /* The MRI assembler and the m88k use pseudo-ops
754 pop
= (pseudo_typeS
*) hash_find (po_hash
, s
);
755 if (pop
!= NULL
&& pop
->poc_handler
== NULL
)
760 || (! flag_m68k_mri
&& *s
== '.'))
765 * WARNING: c has next char, which may be end-of-line.
766 * We lookup the pseudo-op table with s+1 because we
767 * already know that the pseudo-op begins with a '.'.
771 pop
= (pseudo_typeS
*) hash_find (po_hash
, s
+ 1);
773 /* In MRI mode, we may need to insert an
774 automatic alignment directive. What a hack
776 if (mri_pending_align
778 || ! ((pop
->poc_handler
== cons
779 && pop
->poc_val
== 1)
780 || (pop
->poc_handler
== s_space
781 && pop
->poc_val
== 1)
782 #ifdef tc_conditional_pseudoop
783 || tc_conditional_pseudoop (pop
)
785 || pop
->poc_handler
== s_if
786 || pop
->poc_handler
== s_ifdef
787 || pop
->poc_handler
== s_ifc
788 || pop
->poc_handler
== s_ifeqs
789 || pop
->poc_handler
== s_else
790 || pop
->poc_handler
== s_endif
791 || pop
->poc_handler
== s_globl
792 || pop
->poc_handler
== s_ignore
)))
794 do_align (1, (char *) NULL
, 0, 0);
795 mri_pending_align
= 0;
796 if (line_label
!= NULL
)
798 symbol_set_frag (line_label
, frag_now
);
799 S_SET_VALUE (line_label
, frag_now_fix ());
803 /* Print the error msg now, while we still can */
806 as_bad (_("Unknown pseudo-op: `%s'"), s
);
807 *input_line_pointer
= c
;
812 /* Put it back for error messages etc. */
813 *input_line_pointer
= c
;
814 /* The following skip of whitespace is compulsory.
815 A well shaped space is sometimes all that separates
816 keyword from operands. */
817 if (c
== ' ' || c
== '\t')
818 input_line_pointer
++;
820 * Input_line is restored.
821 * Input_line_pointer->1st non-blank char
822 * after pseudo-operation.
824 (*pop
->poc_handler
) (pop
->poc_val
);
826 /* If that was .end, just get out now. */
827 if (pop
->poc_handler
== s_end
)
833 #ifdef QUOTES_IN_INSN
837 /* WARNING: c has char, which may be end-of-line. */
838 /* Also: input_line_pointer->`\0` where c was. */
839 *input_line_pointer
= c
;
840 while (!is_end_of_line
[(unsigned char) *input_line_pointer
]
842 #ifdef TC_EOL_IN_INSN
843 || TC_EOL_IN_INSN (input_line_pointer
)
847 if (flag_m68k_mri
&& *input_line_pointer
== '\'')
849 #ifdef QUOTES_IN_INSN
852 else if (*input_line_pointer
== '"')
854 else if (*input_line_pointer
== '\\')
857 input_line_pointer
++;
860 c
= *input_line_pointer
;
861 *input_line_pointer
= '\0';
863 generate_lineno_debug ();
870 if (check_macro (s
, &out
, '\0', &err
))
874 *input_line_pointer
++ = c
;
875 input_scrub_include_sb (&out
,
879 input_scrub_next_buffer (&input_line_pointer
);
884 if (mri_pending_align
)
886 do_align (1, (char *) NULL
, 0, 0);
887 mri_pending_align
= 0;
888 if (line_label
!= NULL
)
890 symbol_set_frag (line_label
, frag_now
);
891 S_SET_VALUE (line_label
, frag_now_fix ());
895 md_assemble (s
); /* Assemble 1 instruction. */
897 *input_line_pointer
++ = c
;
899 /* We resume loop AFTER the end-of-line from
904 } /* if (is_name_beginner(c) */
907 /* Empty statement? */
908 if (is_end_of_line
[(unsigned char) c
])
911 if ((LOCAL_LABELS_DOLLAR
|| LOCAL_LABELS_FB
)
912 && isdigit ((unsigned char) c
))
914 /* local label ("4:") */
915 char *backup
= input_line_pointer
;
917 HANDLE_CONDITIONAL_ASSEMBLY ();
921 while (isdigit ((unsigned char) *input_line_pointer
))
923 temp
= (temp
* 10) + *input_line_pointer
- '0';
924 ++input_line_pointer
;
925 } /* read the whole number */
927 if (LOCAL_LABELS_DOLLAR
928 && *input_line_pointer
== '$'
929 && *(input_line_pointer
+ 1) == ':')
931 input_line_pointer
+= 2;
933 if (dollar_label_defined (temp
))
935 as_fatal (_("label \"%d$\" redefined"), temp
);
938 define_dollar_label (temp
);
939 colon (dollar_label_name (temp
, 0));
944 && *input_line_pointer
++ == ':')
946 fb_label_instance_inc (temp
);
947 colon (fb_label_name (temp
, 0));
951 input_line_pointer
= backup
;
952 } /* local label ("4:") */
954 if (c
&& strchr (line_comment_chars
, c
))
955 { /* Its a comment. Better say APP or NO_APP */
959 unsigned int new_length
;
962 bump_line_counters ();
963 s
= input_line_pointer
;
964 if (strncmp (s
, "APP\n", 4))
965 continue; /* We ignore it */
968 ends
= strstr (s
, "#NO_APP\n");
972 unsigned int tmp_len
;
975 /* The end of the #APP wasn't in this buffer. We
976 keep reading in buffers until we find the #NO_APP
977 that goes with this #APP There is one. The specs
979 tmp_len
= buffer_limit
- s
;
980 tmp_buf
= xmalloc (tmp_len
+ 1);
981 memcpy (tmp_buf
, s
, tmp_len
);
984 new_tmp
= input_scrub_next_buffer (&buffer
);
988 buffer_limit
= new_tmp
;
989 input_line_pointer
= buffer
;
990 ends
= strstr (buffer
, "#NO_APP\n");
994 num
= buffer_limit
- buffer
;
996 tmp_buf
= xrealloc (tmp_buf
, tmp_len
+ num
);
997 memcpy (tmp_buf
+ tmp_len
, buffer
, num
);
1002 input_line_pointer
= ends
? ends
+ 8 : NULL
;
1010 input_line_pointer
= ends
+ 8;
1014 scrub_string_end
= ends
;
1016 new_length
= ends
- s
;
1017 new_buf
= (char *) xmalloc (new_length
);
1024 space
= (new_buf
+ new_length
) - new_tmp
;
1025 size
= do_scrub_chars (scrub_from_string
, new_tmp
, space
);
1033 new_buf
= xrealloc (new_buf
, new_length
+ 100);
1034 new_tmp
= new_buf
+ new_length
;
1040 old_buffer
= buffer
;
1041 old_input
= input_line_pointer
;
1042 old_limit
= buffer_limit
;
1044 input_line_pointer
= new_buf
;
1045 buffer_limit
= new_tmp
;
1049 HANDLE_CONDITIONAL_ASSEMBLY ();
1051 #ifdef tc_unrecognized_line
1052 if (tc_unrecognized_line (c
))
1056 /* as_warn("Junk character %d.",c); Now done by ignore_rest */
1057 input_line_pointer
--; /* Report unknown char as ignored. */
1058 ignore_rest_of_line ();
1059 } /* while (input_line_pointer<buffer_limit) */
1061 #ifdef md_after_pass_hook
1062 md_after_pass_hook ();
1068 bump_line_counters ();
1071 buffer
= old_buffer
;
1072 input_line_pointer
= old_input
;
1073 buffer_limit
= old_limit
;
1078 } /* while (more buffers to scan) */
1085 input_scrub_close (); /* Close the input file */
1088 /* For most MRI pseudo-ops, the line actually ends at the first
1089 nonquoted space. This function looks for that point, stuffs a null
1090 in, and sets *STOPCP to the character that used to be there, and
1091 returns the location.
1093 Until I hear otherwise, I am going to assume that this is only true
1094 for the m68k MRI assembler. */
1097 mri_comment_field (stopcp
)
1105 know (flag_m68k_mri
);
1107 for (s
= input_line_pointer
;
1108 ((! is_end_of_line
[(unsigned char) *s
] && *s
!= ' ' && *s
!= '\t')
1113 inquote
= ! inquote
;
1123 for (s
= input_line_pointer
; ! is_end_of_line
[(unsigned char) *s
]; s
++)
1133 /* Skip to the end of an MRI comment field. */
1136 mri_comment_end (stop
, stopc
)
1142 input_line_pointer
= stop
;
1144 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
1145 ++input_line_pointer
;
1152 as_fatal (_(".abort detected. Abandoning ship."));
1155 /* Guts of .align directive. N is the power of two to which to align.
1156 FILL may be NULL, or it may point to the bytes of the fill pattern.
1157 LEN is the length of whatever FILL points to, if anything. MAX is
1158 the maximum number of characters to skip when doing the alignment,
1159 or 0 if there is no maximum. */
1162 do_align (n
, fill
, len
, max
)
1171 md_do_align (n
, fill
, len
, max
, just_record_alignment
);
1178 #ifdef BFD_ASSEMBLER
1179 if ((bfd_get_section_flags (stdoutput
, now_seg
) & SEC_CODE
) != 0)
1184 if (now_seg
!= data_section
&& now_seg
!= bss_section
)
1191 default_fill
= NOP_OPCODE
;
1194 fill
= &default_fill
;
1198 /* Only make a frag if we HAVE to. . . */
1199 if (n
!= 0 && !need_pass_2
)
1202 frag_align (n
, *fill
, max
);
1204 frag_align_pattern (n
, fill
, len
, max
);
1208 just_record_alignment
:
1211 record_alignment (now_seg
, n
);
1214 /* Handle the .align pseudo-op. A positive ARG is a default alignment
1215 (in bytes). A negative ARG is the negative of the length of the
1216 fill pattern. BYTES_P is non-zero if the alignment value should be
1217 interpreted as the byte boundary, rather than the power of 2. */
1220 s_align (arg
, bytes_p
)
1224 register unsigned int align
;
1232 stop
= mri_comment_field (&stopc
);
1234 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
1239 align
= arg
; /* Default value from pseudo-op table */
1243 align
= get_absolute_expression ();
1249 /* Convert to a power of 2. */
1254 for (i
= 0; (align
& 1) == 0; align
>>= 1, ++i
)
1257 as_bad (_("Alignment not a power of 2"));
1265 as_bad (_("Alignment too large: %u assumed"), align
);
1268 if (*input_line_pointer
!= ',')
1275 ++input_line_pointer
;
1276 if (*input_line_pointer
== ',')
1280 fill
= get_absolute_expression ();
1285 if (*input_line_pointer
!= ',')
1289 ++input_line_pointer
;
1290 max
= get_absolute_expression ();
1297 as_warn (_("expected fill pattern missing"));
1298 do_align (align
, (char *) NULL
, 0, max
);
1313 do_align (align
, &fill_char
, fill_len
, max
);
1319 if ((size_t) fill_len
> sizeof ab
)
1321 md_number_to_chars (ab
, fill
, fill_len
);
1322 do_align (align
, ab
, fill_len
, max
);
1326 demand_empty_rest_of_line ();
1329 mri_comment_end (stop
, stopc
);
1332 /* Handle the .align pseudo-op on machines where ".align 4" means
1333 align to a 4 byte boundary. */
1342 /* Handle the .align pseudo-op on machines where ".align 4" means align
1343 to a 2**4 boundary. */
1356 register char *name
;
1360 register symbolS
*symbolP
;
1365 stop
= mri_comment_field (&stopc
);
1367 name
= input_line_pointer
;
1368 c
= get_symbol_end ();
1369 /* just after name is now '\0' */
1370 p
= input_line_pointer
;
1373 if (*input_line_pointer
!= ',')
1375 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1376 ignore_rest_of_line ();
1378 mri_comment_end (stop
, stopc
);
1381 input_line_pointer
++; /* skip ',' */
1382 if ((temp
= get_absolute_expression ()) < 0)
1384 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp
);
1385 ignore_rest_of_line ();
1387 mri_comment_end (stop
, stopc
);
1391 symbolP
= symbol_find_or_make (name
);
1393 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
1395 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
1396 S_GET_NAME (symbolP
));
1397 ignore_rest_of_line ();
1399 mri_comment_end (stop
, stopc
);
1402 if (S_GET_VALUE (symbolP
))
1404 if (S_GET_VALUE (symbolP
) != (valueT
) temp
)
1405 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
1406 S_GET_NAME (symbolP
),
1407 (long) S_GET_VALUE (symbolP
),
1412 S_SET_VALUE (symbolP
, (valueT
) temp
);
1413 S_SET_EXTERNAL (symbolP
);
1417 extern int flag_one
;
1418 if ( (!temp
) || !flag_one
)
1419 S_GET_OTHER(symbolP
) = const_flag
;
1421 #endif /* not OBJ_VMS */
1422 know (symbolP
->sy_frag
== &zero_address_frag
);
1424 demand_empty_rest_of_line ();
1427 mri_comment_end (stop
, stopc
);
1430 /* The MRI COMMON pseudo-op. We handle this by creating a common
1431 symbol with the appropriate name. We make s_space do the right
1432 thing by increasing the size. */
1435 s_mri_common (small
)
1452 stop
= mri_comment_field (&stopc
);
1456 name
= input_line_pointer
;
1457 if (! isdigit ((unsigned char) *name
))
1458 c
= get_symbol_end ();
1463 ++input_line_pointer
;
1465 while (isdigit ((unsigned char) *input_line_pointer
));
1466 c
= *input_line_pointer
;
1467 *input_line_pointer
= '\0';
1469 if (line_label
!= NULL
)
1471 alc
= (char *) xmalloc (strlen (S_GET_NAME (line_label
))
1472 + (input_line_pointer
- name
)
1474 sprintf (alc
, "%s%s", name
, S_GET_NAME (line_label
));
1479 sym
= symbol_find_or_make (name
);
1480 *input_line_pointer
= c
;
1484 if (*input_line_pointer
!= ',')
1488 ++input_line_pointer
;
1489 align
= get_absolute_expression ();
1492 if (S_IS_DEFINED (sym
) && ! S_IS_COMMON (sym
))
1494 as_bad (_("attempt to re-define symbol `%s'"), S_GET_NAME (sym
));
1495 ignore_rest_of_line ();
1496 mri_comment_end (stop
, stopc
);
1500 S_SET_EXTERNAL (sym
);
1501 mri_common_symbol
= sym
;
1505 S_SET_ALIGN (sym
, align
);
1508 if (line_label
!= NULL
)
1511 exp
.X_op
= O_symbol
;
1512 exp
.X_add_symbol
= sym
;
1513 exp
.X_add_number
= 0;
1514 symbol_set_value_expression (line_label
, &exp
);
1515 symbol_set_frag (line_label
, &zero_address_frag
);
1516 S_SET_SEGMENT (line_label
, expr_section
);
1519 /* FIXME: We just ignore the small argument, which distinguishes
1520 COMMON and COMMON.S. I don't know what we can do about it. */
1522 /* Ignore the type and hptype. */
1523 if (*input_line_pointer
== ',')
1524 input_line_pointer
+= 2;
1525 if (*input_line_pointer
== ',')
1526 input_line_pointer
+= 2;
1528 demand_empty_rest_of_line ();
1530 mri_comment_end (stop
, stopc
);
1540 temp
= get_absolute_expression ();
1541 if (flag_readonly_data_in_text
)
1543 section
= text_section
;
1547 section
= data_section
;
1549 subseg_set (section
, (subsegT
) temp
);
1554 demand_empty_rest_of_line ();
1557 /* Handle the .appfile pseudo-op. This is automatically generated by
1558 do_scrub_chars when a preprocessor # line comment is seen with a
1559 file name. This default definition may be overridden by the object
1560 or CPU specific pseudo-ops. This function is also the default
1561 definition for .file; the APPFILE argument is 1 for .appfile, 0 for
1565 s_app_file (appfile
)
1571 /* Some assemblers tolerate immediately following '"' */
1572 if ((s
= demand_copy_string (&length
)) != 0)
1574 /* If this is a fake .appfile, a fake newline was inserted into
1575 the buffer. Passing -2 to new_logical_line tells it to
1578 = (! new_logical_line (s
, appfile
? -2 : -1) && appfile
);
1580 /* In MRI mode, the preprocessor may have inserted an extraneous
1583 && *input_line_pointer
== '\''
1584 && is_end_of_line
[(unsigned char) input_line_pointer
[1]])
1585 ++input_line_pointer
;
1587 demand_empty_rest_of_line ();
1592 listing_source_file (s
);
1594 register_dependency (s
);
1602 /* Handle the .appline pseudo-op. This is automatically generated by
1603 do_scrub_chars when a preprocessor # line comment is seen. This
1604 default definition may be overridden by the object or CPU specific
1613 /* The given number is that of the next line. */
1614 l
= get_absolute_expression () - 1;
1616 /* Some of the back ends can't deal with non-positive line numbers.
1617 Besides, it's silly. */
1618 as_warn (_("Line numbers must be positive; line number %d rejected."), l
+1);
1621 new_logical_line ((char *) NULL
, l
);
1624 listing_source_line (l
);
1627 demand_empty_rest_of_line ();
1630 /* Handle the .end pseudo-op. Actually, the real work is done in
1631 read_a_source_file. */
1639 /* The MRI assembler permits the start symbol to follow .end,
1640 but we don't support that. */
1642 if (! is_end_of_line
[(unsigned char) *input_line_pointer
]
1643 && *input_line_pointer
!= '*'
1644 && *input_line_pointer
!= '!')
1645 as_warn (_("start address not supported"));
1649 /* Handle the .err pseudo-op. */
1655 as_bad (_(".err encountered"));
1656 demand_empty_rest_of_line ();
1659 /* Handle the MRI fail pseudo-op. */
1670 stop
= mri_comment_field (&stopc
);
1672 temp
= get_absolute_expression ();
1674 as_warn (_(".fail %ld encountered"), (long) temp
);
1676 as_bad (_(".fail %ld encountered"), (long) temp
);
1678 demand_empty_rest_of_line ();
1681 mri_comment_end (stop
, stopc
);
1688 expressionS rep_exp
;
1690 register long fill
= 0;
1693 #ifdef md_flush_pending_output
1694 md_flush_pending_output ();
1697 get_known_segmented_expression (&rep_exp
);
1698 if (*input_line_pointer
== ',')
1700 input_line_pointer
++;
1701 size
= get_absolute_expression ();
1702 if (*input_line_pointer
== ',')
1704 input_line_pointer
++;
1705 fill
= get_absolute_expression ();
1709 /* This is to be compatible with BSD 4.2 AS, not for any rational reason. */
1710 #define BSD_FILL_SIZE_CROCK_8 (8)
1711 if (size
> BSD_FILL_SIZE_CROCK_8
)
1713 as_warn (_(".fill size clamped to %d."), BSD_FILL_SIZE_CROCK_8
);
1714 size
= BSD_FILL_SIZE_CROCK_8
;
1718 as_warn (_("Size negative: .fill ignored."));
1721 else if (rep_exp
.X_op
== O_constant
&& rep_exp
.X_add_number
<= 0)
1723 if (rep_exp
.X_add_number
< 0)
1724 as_warn (_("Repeat < 0, .fill ignored"));
1728 if (size
&& !need_pass_2
)
1730 if (rep_exp
.X_op
== O_constant
)
1732 p
= frag_var (rs_fill
, (int) size
, (int) size
,
1733 (relax_substateT
) 0, (symbolS
*) 0,
1734 (offsetT
) rep_exp
.X_add_number
,
1739 /* We don't have a constant repeat count, so we can't use
1740 rs_fill. We can get the same results out of rs_space,
1741 but its argument is in bytes, so we must multiply the
1742 repeat count by size. */
1745 rep_sym
= make_expr_symbol (&rep_exp
);
1748 expressionS size_exp
;
1749 size_exp
.X_op
= O_constant
;
1750 size_exp
.X_add_number
= size
;
1752 rep_exp
.X_op
= O_multiply
;
1753 rep_exp
.X_add_symbol
= rep_sym
;
1754 rep_exp
.X_op_symbol
= make_expr_symbol (&size_exp
);
1755 rep_exp
.X_add_number
= 0;
1756 rep_sym
= make_expr_symbol (&rep_exp
);
1759 p
= frag_var (rs_space
, (int) size
, (int) size
,
1760 (relax_substateT
) 0, rep_sym
, (offsetT
) 0, (char *) 0);
1762 memset (p
, 0, (unsigned int) size
);
1763 /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX
1764 * flavoured AS. The following bizzare behaviour is to be
1765 * compatible with above. I guess they tried to take up to 8
1766 * bytes from a 4-byte expression and they forgot to sign
1767 * extend. Un*x Sux. */
1768 #define BSD_FILL_SIZE_CROCK_4 (4)
1769 md_number_to_chars (p
, (valueT
) fill
,
1770 (size
> BSD_FILL_SIZE_CROCK_4
1771 ? BSD_FILL_SIZE_CROCK_4
1773 /* Note: .fill (),0 emits no frag (since we are asked to .fill 0 bytes)
1774 * but emits no error message because it seems a legal thing to do.
1775 * It is a degenerate case of .fill but could be emitted by a compiler.
1778 demand_empty_rest_of_line ();
1792 stop
= mri_comment_field (&stopc
);
1796 name
= input_line_pointer
;
1797 c
= get_symbol_end ();
1798 symbolP
= symbol_find_or_make (name
);
1799 S_SET_EXTERNAL (symbolP
);
1801 *input_line_pointer
= c
;
1803 c
= *input_line_pointer
;
1806 input_line_pointer
++;
1808 if (*input_line_pointer
== '\n')
1814 demand_empty_rest_of_line ();
1817 mri_comment_end (stop
, stopc
);
1820 /* Handle the MRI IRP and IRPC pseudo-ops. */
1832 as_where (&file
, &line
);
1835 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
1836 sb_add_char (&s
, *input_line_pointer
++);
1840 err
= expand_irp (irpc
, 0, &s
, &out
, get_line_sb
, '\0');
1842 as_bad_where (file
, line
, "%s", err
);
1846 input_scrub_include_sb (&out
, input_line_pointer
);
1848 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
1851 /* Handle the .linkonce pseudo-op. This tells the assembler to mark
1852 the section to only be linked once. However, this is not supported
1853 by most object file formats. This takes an optional argument,
1854 which is what to do about duplicates. */
1860 enum linkonce_type type
;
1864 type
= LINKONCE_DISCARD
;
1866 if (! is_end_of_line
[(unsigned char) *input_line_pointer
])
1871 s
= input_line_pointer
;
1872 c
= get_symbol_end ();
1873 if (strcasecmp (s
, "discard") == 0)
1874 type
= LINKONCE_DISCARD
;
1875 else if (strcasecmp (s
, "one_only") == 0)
1876 type
= LINKONCE_ONE_ONLY
;
1877 else if (strcasecmp (s
, "same_size") == 0)
1878 type
= LINKONCE_SAME_SIZE
;
1879 else if (strcasecmp (s
, "same_contents") == 0)
1880 type
= LINKONCE_SAME_CONTENTS
;
1882 as_warn (_("unrecognized .linkonce type `%s'"), s
);
1884 *input_line_pointer
= c
;
1887 #ifdef obj_handle_link_once
1888 obj_handle_link_once (type
);
1889 #else /* ! defined (obj_handle_link_once) */
1890 #ifdef BFD_ASSEMBLER
1894 if ((bfd_applicable_section_flags (stdoutput
) & SEC_LINK_ONCE
) == 0)
1895 as_warn (_(".linkonce is not supported for this object file format"));
1897 flags
= bfd_get_section_flags (stdoutput
, now_seg
);
1898 flags
|= SEC_LINK_ONCE
;
1903 case LINKONCE_DISCARD
:
1904 flags
|= SEC_LINK_DUPLICATES_DISCARD
;
1906 case LINKONCE_ONE_ONLY
:
1907 flags
|= SEC_LINK_DUPLICATES_ONE_ONLY
;
1909 case LINKONCE_SAME_SIZE
:
1910 flags
|= SEC_LINK_DUPLICATES_SAME_SIZE
;
1912 case LINKONCE_SAME_CONTENTS
:
1913 flags
|= SEC_LINK_DUPLICATES_SAME_CONTENTS
;
1916 if (! bfd_set_section_flags (stdoutput
, now_seg
, flags
))
1917 as_bad (_("bfd_set_section_flags: %s"),
1918 bfd_errmsg (bfd_get_error ()));
1920 #else /* ! defined (BFD_ASSEMBLER) */
1921 as_warn (_(".linkonce is not supported for this object file format"));
1922 #endif /* ! defined (BFD_ASSEMBLER) */
1923 #endif /* ! defined (obj_handle_link_once) */
1925 demand_empty_rest_of_line ();
1929 s_lcomm_internal (needs_align
, bytes_p
)
1930 /* 1 if this was a ".bss" directive, which may require a 3rd argument
1931 (alignment); 0 if it was an ".lcomm" (2 args only) */
1933 /* 1 if the alignment value should be interpreted as the byte boundary,
1934 rather than the power of 2. */
1937 register char *name
;
1941 register symbolS
*symbolP
;
1942 segT current_seg
= now_seg
;
1943 subsegT current_subseg
= now_subseg
;
1944 const int max_alignment
= 15;
1946 segT bss_seg
= bss_section
;
1948 name
= input_line_pointer
;
1949 c
= get_symbol_end ();
1950 p
= input_line_pointer
;
1954 /* Accept an optional comma after the name. The comma used to be
1955 required, but Irix 5 cc does not generate it. */
1956 if (*input_line_pointer
== ',')
1958 ++input_line_pointer
;
1962 if (*input_line_pointer
== '\n')
1964 as_bad (_("Missing size expression"));
1968 if ((temp
= get_absolute_expression ()) < 0)
1970 as_warn (_("BSS length (%d.) <0! Ignored."), temp
);
1971 ignore_rest_of_line ();
1975 #if defined (TC_MIPS) || defined (TC_ALPHA)
1976 if (OUTPUT_FLAVOR
== bfd_target_ecoff_flavour
1977 || OUTPUT_FLAVOR
== bfd_target_elf_flavour
)
1979 /* For MIPS and Alpha ECOFF or ELF, small objects are put in .sbss. */
1980 if (temp
<= bfd_get_gp_size (stdoutput
))
1982 bss_seg
= subseg_new (".sbss", 1);
1983 seg_info (bss_seg
)->bss
= 1;
1984 #ifdef BFD_ASSEMBLER
1985 if (! bfd_set_section_flags (stdoutput
, bss_seg
, SEC_ALLOC
))
1986 as_warn (_("error setting flags for \".sbss\": %s"),
1987 bfd_errmsg (bfd_get_error ()));
1994 /* FIXME. This needs to be machine independent. */
2005 /* FIXME: This needs to be done in a more general fashion. */
2009 record_alignment(bss_seg
, align
);
2016 if (*input_line_pointer
!= ',')
2018 as_bad (_("Expected comma after size"));
2019 ignore_rest_of_line ();
2022 input_line_pointer
++;
2024 if (*input_line_pointer
== '\n')
2026 as_bad (_("Missing alignment"));
2029 align
= get_absolute_expression ();
2032 /* Convert to a power of 2. */
2037 for (i
= 0; (align
& 1) == 0; align
>>= 1, ++i
)
2040 as_bad (_("Alignment not a power of 2"));
2044 if (align
> max_alignment
)
2046 align
= max_alignment
;
2047 as_warn (_("Alignment too large: %d. assumed."), align
);
2052 as_warn (_("Alignment negative. 0 assumed."));
2054 record_alignment (bss_seg
, align
);
2055 } /* if needs align */
2058 /* Assume some objects may require alignment on some systems. */
2059 #if defined (TC_ALPHA) && ! defined (VMS)
2062 align
= ffs (temp
) - 1;
2063 if (temp
% (1 << align
))
2070 symbolP
= symbol_find_or_make (name
);
2074 #if defined(OBJ_AOUT) | defined(OBJ_BOUT)
2075 S_GET_OTHER (symbolP
) == 0 &&
2076 S_GET_DESC (symbolP
) == 0 &&
2077 #endif /* OBJ_AOUT or OBJ_BOUT */
2078 (S_GET_SEGMENT (symbolP
) == bss_seg
2079 || (!S_IS_DEFINED (symbolP
) && S_GET_VALUE (symbolP
) == 0)))
2083 subseg_set (bss_seg
, 1);
2086 frag_align (align
, 0, 0);
2087 /* detach from old frag */
2088 if (S_GET_SEGMENT (symbolP
) == bss_seg
)
2089 symbol_get_frag (symbolP
)->fr_symbol
= NULL
;
2091 symbol_set_frag (symbolP
, frag_now
);
2092 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
)0, symbolP
,
2093 (offsetT
) temp
, (char *) 0);
2096 S_SET_SEGMENT (symbolP
, bss_seg
);
2099 /* The symbol may already have been created with a preceding
2100 ".globl" directive -- be careful not to step on storage class
2101 in that case. Otherwise, set it to static. */
2102 if (S_GET_STORAGE_CLASS (symbolP
) != C_EXT
)
2104 S_SET_STORAGE_CLASS (symbolP
, C_STAT
);
2106 #endif /* OBJ_COFF */
2109 S_SET_SIZE (symbolP
, temp
);
2113 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2114 S_GET_NAME (symbolP
));
2116 subseg_set (current_seg
, current_subseg
);
2118 demand_empty_rest_of_line ();
2119 } /* s_lcomm_internal() */
2122 s_lcomm (needs_align
)
2125 s_lcomm_internal (needs_align
, 0);
2128 void s_lcomm_bytes (needs_align
)
2131 s_lcomm_internal (needs_align
, 1);
2138 register char *name
;
2142 register symbolS
*symbolP
;
2144 /* we permit ANY defined expression: BSD4.2 demands constants */
2145 name
= input_line_pointer
;
2146 c
= get_symbol_end ();
2147 p
= input_line_pointer
;
2150 if (*input_line_pointer
!= ',')
2153 as_bad (_("Expected comma after name \"%s\""), name
);
2155 ignore_rest_of_line ();
2158 input_line_pointer
++;
2160 if (exp
.X_op
!= O_constant
2161 && exp
.X_op
!= O_register
)
2163 as_bad (_("bad expression"));
2164 ignore_rest_of_line ();
2168 symbolP
= symbol_find_or_make (name
);
2170 /* FIXME-SOON I pulled a (&& symbolP->sy_other == 0 &&
2171 symbolP->sy_desc == 0) out of this test because coff doesn't have
2172 those fields, and I can't see when they'd ever be tripped. I
2173 don't think I understand why they were here so I may have
2174 introduced a bug. As recently as 1.37 didn't have this test
2175 anyway. xoxorich. */
2177 if (S_GET_SEGMENT (symbolP
) == undefined_section
2178 && S_GET_VALUE (symbolP
) == 0)
2180 /* The name might be an undefined .global symbol; be sure to
2181 keep the "external" bit. */
2182 S_SET_SEGMENT (symbolP
,
2183 (exp
.X_op
== O_constant
2186 S_SET_VALUE (symbolP
, (valueT
) exp
.X_add_number
);
2190 as_bad (_("Symbol %s already defined"), name
);
2193 demand_empty_rest_of_line ();
2196 /* Read a line into an sb. */
2202 char quote1
, quote2
, inquote
;
2204 if (input_line_pointer
[-1] == '\n')
2205 bump_line_counters ();
2207 if (input_line_pointer
>= buffer_limit
)
2209 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2210 if (buffer_limit
== 0)
2214 /* If app.c sets any other characters to LEX_IS_STRINGQUOTE, this
2215 code needs to be changed. */
2216 if (! flag_m68k_mri
)
2224 #ifdef LEX_IS_STRINGQUOTE
2229 while (! is_end_of_line
[(unsigned char) *input_line_pointer
]
2230 || (inquote
!= '\0' && *input_line_pointer
!= '\n'))
2232 if (inquote
== *input_line_pointer
)
2234 else if (inquote
== '\0')
2236 if (*input_line_pointer
== quote1
)
2238 else if (*input_line_pointer
== quote2
)
2241 sb_add_char (line
, *input_line_pointer
++);
2243 while (input_line_pointer
< buffer_limit
2244 && is_end_of_line
[(unsigned char) *input_line_pointer
])
2246 if (input_line_pointer
[-1] == '\n')
2247 bump_line_counters ();
2248 ++input_line_pointer
;
2253 /* Define a macro. This is an interface to macro.c, which is shared
2254 between gas and gasp. */
2267 as_where (&file
, &line
);
2270 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
2271 sb_add_char (&s
, *input_line_pointer
++);
2274 if (line_label
!= NULL
)
2275 sb_add_string (&label
, S_GET_NAME (line_label
));
2277 err
= define_macro (0, &s
, &label
, get_line_sb
, &name
);
2279 as_bad_where (file
, line
, "%s", err
);
2282 if (line_label
!= NULL
)
2284 S_SET_SEGMENT (line_label
, undefined_section
);
2285 S_SET_VALUE (line_label
, 0);
2286 symbol_set_frag (line_label
, &zero_address_frag
);
2290 #ifdef NO_PSEUDO_DOT
2294 && hash_find (po_hash
, name
) != NULL
)
2297 && hash_find (po_hash
, name
+ 1) != NULL
))
2298 as_warn (_("attempt to redefine pseudo-op `%s' ignored"),
2305 /* Handle the .mexit pseudo-op, which immediately exits a macro
2312 cond_exit_macro (macro_nest
);
2313 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2316 /* Switch in and out of MRI mode. */
2324 on
= get_absolute_expression ();
2325 old_flag
= flag_mri
;
2341 /* Operator precedence changes in m68k MRI mode, so we need to
2342 update the operator rankings. */
2343 expr_set_precedence ();
2345 #ifdef MRI_MODE_CHANGE
2347 MRI_MODE_CHANGE (on
);
2350 demand_empty_rest_of_line ();
2353 /* Handle changing the location counter. */
2356 do_org (segment
, exp
, fill
)
2361 if (segment
!= now_seg
&& segment
!= absolute_section
)
2362 as_bad (_("invalid segment \"%s\"; segment \"%s\" assumed"),
2363 segment_name (segment
), segment_name (now_seg
));
2365 if (now_seg
== absolute_section
)
2368 as_warn (_("ignoring fill value in absolute section"));
2369 if (exp
->X_op
!= O_constant
)
2371 as_bad (_("only constant offsets supported in absolute section"));
2372 exp
->X_add_number
= 0;
2374 abs_section_offset
= exp
->X_add_number
;
2380 p
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, exp
->X_add_symbol
,
2381 exp
->X_add_number
, (char *) NULL
);
2390 register segT segment
;
2392 register long temp_fill
;
2394 #ifdef md_flush_pending_output
2395 md_flush_pending_output ();
2398 /* The m68k MRI assembler has a different meaning for .org. It
2399 means to create an absolute section at a given address. We can't
2400 support that--use a linker script instead. */
2403 as_bad (_("MRI style ORG pseudo-op not supported"));
2404 ignore_rest_of_line ();
2408 /* Don't believe the documentation of BSD 4.2 AS. There is no such
2409 thing as a sub-segment-relative origin. Any absolute origin is
2410 given a warning, then assumed to be segment-relative. Any
2411 segmented origin expression ("foo+42") had better be in the right
2412 segment or the .org is ignored.
2414 BSD 4.2 AS warns if you try to .org backwards. We cannot because
2415 we never know sub-segment sizes when we are reading code. BSD
2416 will crash trying to emit negative numbers of filler bytes in
2417 certain .orgs. We don't crash, but see as-write for that code.
2419 Don't make frag if need_pass_2==1. */
2420 segment
= get_known_segmented_expression (&exp
);
2421 if (*input_line_pointer
== ',')
2423 input_line_pointer
++;
2424 temp_fill
= get_absolute_expression ();
2430 do_org (segment
, &exp
, temp_fill
);
2432 demand_empty_rest_of_line ();
2435 /* Handle parsing for the MRI SECT/SECTION pseudo-op. This should be
2436 called by the obj-format routine which handles section changing
2437 when in MRI mode. It will create a new section, and return it. It
2438 will set *TYPE to the section type: one of 'C' (code), 'D' (data),
2439 'M' (mixed), or 'R' (romable). If BFD_ASSEMBLER is defined, the
2440 flags will be set in the section. */
2454 name
= input_line_pointer
;
2455 if (! isdigit ((unsigned char) *name
))
2456 c
= get_symbol_end ();
2461 ++input_line_pointer
;
2463 while (isdigit ((unsigned char) *input_line_pointer
));
2464 c
= *input_line_pointer
;
2465 *input_line_pointer
= '\0';
2468 name
= xstrdup (name
);
2470 *input_line_pointer
= c
;
2472 seg
= subseg_new (name
, 0);
2474 if (*input_line_pointer
== ',')
2478 ++input_line_pointer
;
2479 align
= get_absolute_expression ();
2480 record_alignment (seg
, align
);
2484 if (*input_line_pointer
== ',')
2486 c
= *++input_line_pointer
;
2487 c
= toupper ((unsigned char) c
);
2488 if (c
== 'C' || c
== 'D' || c
== 'M' || c
== 'R')
2491 as_bad (_("unrecognized section type"));
2492 ++input_line_pointer
;
2494 #ifdef BFD_ASSEMBLER
2498 flags
= SEC_NO_FLAGS
;
2500 flags
= SEC_ALLOC
| SEC_LOAD
| SEC_READONLY
| SEC_CODE
;
2501 else if (*type
== 'D' || *type
== 'M')
2502 flags
= SEC_ALLOC
| SEC_LOAD
| SEC_DATA
;
2503 else if (*type
== 'R')
2504 flags
= SEC_ALLOC
| SEC_LOAD
| SEC_DATA
| SEC_READONLY
| SEC_ROM
;
2505 if (flags
!= SEC_NO_FLAGS
)
2507 if (! bfd_set_section_flags (stdoutput
, seg
, flags
))
2508 as_warn (_("error setting flags for \"%s\": %s"),
2509 bfd_section_name (stdoutput
, seg
),
2510 bfd_errmsg (bfd_get_error ()));
2516 /* Ignore the HP type. */
2517 if (*input_line_pointer
== ',')
2518 input_line_pointer
+= 2;
2520 demand_empty_rest_of_line ();
2522 #else /* ! TC_M68K */
2531 name
= input_line_pointer
;
2532 c
= get_symbol_end ();
2534 name
= xstrdup (name
);
2536 *input_line_pointer
= c
;
2538 seg
= subseg_new (name
, 0);
2540 if (*input_line_pointer
!= ',')
2546 ++input_line_pointer
;
2548 sectype
= input_line_pointer
;
2549 c
= get_symbol_end ();
2550 if (*sectype
== '\0')
2552 else if (strcasecmp (sectype
, "text") == 0)
2554 else if (strcasecmp (sectype
, "data") == 0)
2556 else if (strcasecmp (sectype
, "romdata") == 0)
2559 as_warn (_("unrecognized section type `%s'"), sectype
);
2560 *input_line_pointer
= c
;
2563 if (*input_line_pointer
== ',')
2567 ++input_line_pointer
;
2569 seccmd
= input_line_pointer
;
2570 c
= get_symbol_end ();
2571 if (strcasecmp (seccmd
, "absolute") == 0)
2573 as_bad (_("absolute sections are not supported"));
2574 *input_line_pointer
= c
;
2575 ignore_rest_of_line ();
2578 else if (strcasecmp (seccmd
, "align") == 0)
2582 *input_line_pointer
= c
;
2583 align
= get_absolute_expression ();
2584 record_alignment (seg
, align
);
2588 as_warn (_("unrecognized section command `%s'"), seccmd
);
2589 *input_line_pointer
= c
;
2593 demand_empty_rest_of_line ();
2595 #else /* ! TC_I960 */
2596 /* The MRI assembler seems to use different forms of .sect for
2597 different targets. */
2598 as_bad ("MRI mode not supported for this target");
2599 ignore_rest_of_line ();
2600 #endif /* ! TC_I960 */
2601 #endif /* ! TC_M68K */
2604 /* Handle the .print pseudo-op. */
2613 s
= demand_copy_C_string (&len
);
2615 demand_empty_rest_of_line ();
2618 /* Handle the .purgem pseudo-op. */
2624 if (is_it_end_of_statement ())
2626 demand_empty_rest_of_line ();
2636 name
= input_line_pointer
;
2637 c
= get_symbol_end ();
2638 delete_macro (name
);
2639 *input_line_pointer
= c
;
2642 while (*input_line_pointer
++ == ',');
2644 --input_line_pointer
;
2645 demand_empty_rest_of_line ();
2648 /* Handle the .rept pseudo-op. */
2658 count
= get_absolute_expression ();
2661 if (! buffer_and_nest ("REPT", "ENDR", &one
, get_line_sb
))
2663 as_bad (_("rept without endr"));
2669 sb_add_sb (&many
, &one
);
2673 input_scrub_include_sb (&many
, input_line_pointer
);
2675 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
2678 /* Handle the .equ, .equiv and .set directives. If EQUIV is 1, then
2679 this is .equiv, and it is an error if the symbol is already
2686 register char *name
;
2687 register char delim
;
2688 register char *end_name
;
2689 register symbolS
*symbolP
;
2692 * Especial apologies for the random logic:
2693 * this just grew, and could be parsed much more simply!
2696 name
= input_line_pointer
;
2697 delim
= get_symbol_end ();
2698 end_name
= input_line_pointer
;
2702 if (*input_line_pointer
!= ',')
2705 as_bad (_("Expected comma after name \"%s\""), name
);
2707 ignore_rest_of_line ();
2711 input_line_pointer
++;
2714 if (name
[0] == '.' && name
[1] == '\0')
2716 /* Turn '. = mumble' into a .org mumble */
2717 register segT segment
;
2720 segment
= get_known_segmented_expression (&exp
);
2723 do_org (segment
, &exp
, 0);
2729 if ((symbolP
= symbol_find (name
)) == NULL
2730 && (symbolP
= md_undefined_symbol (name
)) == NULL
)
2733 /* When doing symbol listings, play games with dummy fragments living
2734 outside the normal fragment chain to record the file and line info
2736 if (listing
& LISTING_SYMBOLS
)
2738 extern struct list_info_struct
*listing_tail
;
2739 fragS
*dummy_frag
= (fragS
*) xmalloc (sizeof(fragS
));
2740 memset (dummy_frag
, 0, sizeof(fragS
));
2741 dummy_frag
->fr_type
= rs_fill
;
2742 dummy_frag
->line
= listing_tail
;
2743 symbolP
= symbol_new (name
, undefined_section
, 0, dummy_frag
);
2744 dummy_frag
->fr_symbol
= symbolP
;
2748 symbolP
= symbol_new (name
, undefined_section
, 0, &zero_address_frag
);
2751 /* "set" symbols are local unless otherwise specified. */
2752 SF_SET_LOCAL (symbolP
);
2753 #endif /* OBJ_COFF */
2755 } /* make a new symbol */
2757 symbol_table_insert (symbolP
);
2762 && S_IS_DEFINED (symbolP
)
2763 && S_GET_SEGMENT (symbolP
) != reg_section
)
2764 as_bad (_("symbol `%s' already defined"), S_GET_NAME (symbolP
));
2766 pseudo_set (symbolP
);
2767 demand_empty_rest_of_line ();
2781 #ifdef md_flush_pending_output
2782 md_flush_pending_output ();
2786 stop
= mri_comment_field (&stopc
);
2788 /* In m68k MRI mode, we need to align to a word boundary, unless
2790 if (flag_m68k_mri
&& mult
> 1)
2792 if (now_seg
== absolute_section
)
2794 abs_section_offset
+= abs_section_offset
& 1;
2795 if (line_label
!= NULL
)
2796 S_SET_VALUE (line_label
, abs_section_offset
);
2798 else if (mri_common_symbol
!= NULL
)
2802 val
= S_GET_VALUE (mri_common_symbol
);
2805 S_SET_VALUE (mri_common_symbol
, val
+ 1);
2806 if (line_label
!= NULL
)
2808 expressionS
*symexp
;
2810 symexp
= symbol_get_value_expression (line_label
);
2811 know (symexp
->X_op
== O_symbol
);
2812 know (symexp
->X_add_symbol
== mri_common_symbol
);
2813 symexp
->X_add_number
+= 1;
2819 do_align (1, (char *) NULL
, 0, 0);
2820 if (line_label
!= NULL
)
2822 symbol_set_frag (line_label
, frag_now
);
2823 S_SET_VALUE (line_label
, frag_now_fix ());
2833 if (*input_line_pointer
== ',')
2835 ++input_line_pointer
;
2840 val
.X_op
= O_constant
;
2841 val
.X_add_number
= 0;
2844 if (val
.X_op
!= O_constant
2845 || val
.X_add_number
< - 0x80
2846 || val
.X_add_number
> 0xff
2847 || (mult
!= 0 && mult
!= 1 && val
.X_add_number
!= 0))
2849 if (exp
.X_op
!= O_constant
)
2850 as_bad (_("Unsupported variable size or fill value"));
2857 bytes
= mult
* exp
.X_add_number
;
2858 for (i
= 0; i
< exp
.X_add_number
; i
++)
2859 emit_expr (&val
, mult
);
2864 if (exp
.X_op
== O_constant
)
2868 repeat
= exp
.X_add_number
;
2875 as_warn (_(".space repeat count is zero, ignored"));
2876 else if (repeat
< 0)
2877 as_warn (_(".space repeat count is negative, ignored"));
2881 /* If we are in the absolute section, just bump the offset. */
2882 if (now_seg
== absolute_section
)
2884 abs_section_offset
+= repeat
;
2888 /* If we are secretly in an MRI common section, then
2889 creating space just increases the size of the common
2891 if (mri_common_symbol
!= NULL
)
2893 S_SET_VALUE (mri_common_symbol
,
2894 S_GET_VALUE (mri_common_symbol
) + repeat
);
2899 p
= frag_var (rs_fill
, 1, 1, (relax_substateT
) 0, (symbolS
*) 0,
2900 (offsetT
) repeat
, (char *) 0);
2904 if (now_seg
== absolute_section
)
2906 as_bad (_("space allocation too complex in absolute section"));
2907 subseg_set (text_section
, 0);
2909 if (mri_common_symbol
!= NULL
)
2911 as_bad (_("space allocation too complex in common section"));
2912 mri_common_symbol
= NULL
;
2915 p
= frag_var (rs_space
, 1, 1, (relax_substateT
) 0,
2916 make_expr_symbol (&exp
), (offsetT
) 0, (char *) 0);
2920 *p
= val
.X_add_number
;
2925 /* In MRI mode, after an odd number of bytes, we must align to an
2926 even word boundary, unless the next instruction is a dc.b, ds.b
2928 if (flag_mri
&& (bytes
& 1) != 0)
2929 mri_pending_align
= 1;
2931 demand_empty_rest_of_line ();
2934 mri_comment_end (stop
, stopc
);
2937 /* This is like s_space, but the value is a floating point number with
2938 the given precision. This is for the MRI dcb.s pseudo-op and
2942 s_float_space (float_type
)
2947 char temp
[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
];
2952 stop
= mri_comment_field (&stopc
);
2954 count
= get_absolute_expression ();
2957 if (*input_line_pointer
!= ',')
2959 as_bad (_("missing value"));
2960 ignore_rest_of_line ();
2962 mri_comment_end (stop
, stopc
);
2966 ++input_line_pointer
;
2970 /* Skip any 0{letter} that may be present. Don't even check if the
2971 * letter is legal. */
2972 if (input_line_pointer
[0] == '0'
2973 && isalpha ((unsigned char) input_line_pointer
[1]))
2974 input_line_pointer
+= 2;
2976 /* Accept :xxxx, where the x's are hex digits, for a floating point
2977 with the exact digits specified. */
2978 if (input_line_pointer
[0] == ':')
2980 flen
= hex_float (float_type
, temp
);
2983 ignore_rest_of_line ();
2985 mri_comment_end (stop
, stopc
);
2993 err
= md_atof (float_type
, temp
, &flen
);
2994 know (flen
<= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
);
2998 as_bad (_("Bad floating literal: %s"), err
);
2999 ignore_rest_of_line ();
3001 mri_comment_end (stop
, stopc
);
3006 while (--count
>= 0)
3010 p
= frag_more (flen
);
3011 memcpy (p
, temp
, (unsigned int) flen
);
3014 demand_empty_rest_of_line ();
3017 mri_comment_end (stop
, stopc
);
3020 /* Handle the .struct pseudo-op, as found in MIPS assemblers. */
3030 stop
= mri_comment_field (&stopc
);
3031 abs_section_offset
= get_absolute_expression ();
3032 subseg_set (absolute_section
, 0);
3033 demand_empty_rest_of_line ();
3035 mri_comment_end (stop
, stopc
);
3044 temp
= get_absolute_expression ();
3045 subseg_set (text_section
, (subsegT
) temp
);
3046 demand_empty_rest_of_line ();
3048 const_flag
&= ~IN_DEFAULT_SECTION
;
3054 demand_empty_rest_of_line ()
3057 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
3059 input_line_pointer
++;
3063 ignore_rest_of_line ();
3065 /* Return having already swallowed end-of-line. */
3066 } /* Return pointing just after end-of-line. */
3069 ignore_rest_of_line () /* For suspect lines: gives warning. */
3071 if (!is_end_of_line
[(unsigned char) *input_line_pointer
])
3073 if (isprint ((unsigned char) *input_line_pointer
))
3074 as_bad (_("Rest of line ignored. First ignored character is `%c'."),
3075 *input_line_pointer
);
3077 as_bad (_("Rest of line ignored. First ignored character valued 0x%x."),
3078 *input_line_pointer
);
3079 while (input_line_pointer
< buffer_limit
3080 && !is_end_of_line
[(unsigned char) *input_line_pointer
])
3082 input_line_pointer
++;
3085 input_line_pointer
++; /* Return pointing just after end-of-line. */
3086 know (is_end_of_line
[(unsigned char) input_line_pointer
[-1]]);
3090 discard_rest_of_line ()
3092 while (input_line_pointer
< buffer_limit
3093 && !is_end_of_line
[(unsigned char) *input_line_pointer
])
3095 input_line_pointer
++;
3097 input_line_pointer
++; /* Return pointing just after end-of-line. */
3098 know (is_end_of_line
[(unsigned char) input_line_pointer
[-1]]);
3104 * In: Pointer to a symbol.
3105 * Input_line_pointer->expression.
3107 * Out: Input_line_pointer->just after any whitespace after expression.
3108 * Tried to set symbol to value of expression.
3109 * Will change symbols type, value, and frag;
3112 pseudo_set (symbolP
)
3116 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3118 #endif /* OBJ_AOUT or OBJ_BOUT */
3120 know (symbolP
); /* NULL pointer is logic error. */
3121 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3122 ext
= S_IS_EXTERNAL (symbolP
);
3123 #endif /* OBJ_AOUT or OBJ_BOUT */
3125 (void) expression (&exp
);
3127 if (exp
.X_op
== O_illegal
)
3128 as_bad (_("illegal expression; zero assumed"));
3129 else if (exp
.X_op
== O_absent
)
3130 as_bad (_("missing expression; zero assumed"));
3131 else if (exp
.X_op
== O_big
)
3133 if (exp
.X_add_number
> 0)
3134 as_bad (_("bignum invalid; zero assumed"));
3136 as_bad (_("floating point number invalid; zero assumed"));
3138 else if (exp
.X_op
== O_subtract
3139 && (S_GET_SEGMENT (exp
.X_add_symbol
)
3140 == S_GET_SEGMENT (exp
.X_op_symbol
))
3141 && SEG_NORMAL (S_GET_SEGMENT (exp
.X_add_symbol
))
3142 && (symbol_get_frag (exp
.X_add_symbol
)
3143 == symbol_get_frag (exp
.X_op_symbol
)))
3145 exp
.X_op
= O_constant
;
3146 exp
.X_add_number
= (S_GET_VALUE (exp
.X_add_symbol
)
3147 - S_GET_VALUE (exp
.X_op_symbol
));
3155 exp
.X_add_number
= 0;
3158 S_SET_SEGMENT (symbolP
, absolute_section
);
3159 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3161 S_SET_EXTERNAL (symbolP
);
3163 S_CLEAR_EXTERNAL (symbolP
);
3164 #endif /* OBJ_AOUT or OBJ_BOUT */
3165 S_SET_VALUE (symbolP
, (valueT
) exp
.X_add_number
);
3166 if (exp
.X_op
!= O_constant
)
3167 symbol_set_frag (symbolP
, &zero_address_frag
);
3171 S_SET_SEGMENT (symbolP
, reg_section
);
3172 S_SET_VALUE (symbolP
, (valueT
) exp
.X_add_number
);
3173 symbol_set_frag (symbolP
, &zero_address_frag
);
3177 if (S_GET_SEGMENT (exp
.X_add_symbol
) == undefined_section
3178 || exp
.X_add_number
!= 0)
3179 symbol_set_value_expression (symbolP
, &exp
);
3182 symbolS
*s
= exp
.X_add_symbol
;
3184 S_SET_SEGMENT (symbolP
, S_GET_SEGMENT (s
));
3185 #if (defined (OBJ_AOUT) || defined (OBJ_BOUT)) && ! defined (BFD_ASSEMBLER)
3187 S_SET_EXTERNAL (symbolP
);
3189 S_CLEAR_EXTERNAL (symbolP
);
3190 #endif /* OBJ_AOUT or OBJ_BOUT */
3191 S_SET_VALUE (symbolP
,
3192 exp
.X_add_number
+ S_GET_VALUE (s
));
3193 symbol_set_frag (symbolP
, symbol_get_frag (s
));
3194 copy_symbol_attributes (symbolP
, s
);
3199 /* The value is some complex expression.
3200 FIXME: Should we set the segment to anything? */
3201 symbol_set_value_expression (symbolP
, &exp
);
3209 * CONStruct more frag of .bytes, or .words etc.
3210 * Should need_pass_2 be 1 then emit no frag(s).
3211 * This understands EXPRESSIONS.
3215 * This has a split personality. We use expression() to read the
3216 * value. We can detect if the value won't fit in a byte or word.
3217 * But we can't detect if expression() discarded significant digits
3218 * in the case of a long. Not worth the crocks required to fix it.
3221 /* Select a parser for cons expressions. */
3223 /* Some targets need to parse the expression in various fancy ways.
3224 You can define TC_PARSE_CONS_EXPRESSION to do whatever you like
3225 (for example, the HPPA does this). Otherwise, you can define
3226 BITFIELD_CONS_EXPRESSIONS to permit bitfields to be specified, or
3227 REPEAT_CONS_EXPRESSIONS to permit repeat counts. If none of these
3228 are defined, which is the normal case, then only simple expressions
3232 parse_mri_cons
PARAMS ((expressionS
*exp
, unsigned int nbytes
));
3234 #ifndef TC_PARSE_CONS_EXPRESSION
3235 #ifdef BITFIELD_CONS_EXPRESSIONS
3236 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_bitfield_cons (EXP, NBYTES)
3238 parse_bitfield_cons
PARAMS ((expressionS
*exp
, unsigned int nbytes
));
3240 #ifdef REPEAT_CONS_EXPRESSIONS
3241 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_repeat_cons (EXP, NBYTES)
3243 parse_repeat_cons
PARAMS ((expressionS
*exp
, unsigned int nbytes
));
3246 /* If we haven't gotten one yet, just call expression. */
3247 #ifndef TC_PARSE_CONS_EXPRESSION
3248 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) expression (EXP)
3252 /* worker to do .byte etc statements */
3253 /* clobbers input_line_pointer, checks */
3256 cons_worker (nbytes
, rva
)
3257 register int nbytes
; /* 1=.byte, 2=.word, 4=.long */
3265 #ifdef md_flush_pending_output
3266 md_flush_pending_output ();
3270 stop
= mri_comment_field (&stopc
);
3272 if (is_it_end_of_statement ())
3274 demand_empty_rest_of_line ();
3276 mri_comment_end (stop
, stopc
);
3280 #ifdef md_cons_align
3281 md_cons_align (nbytes
);
3288 parse_mri_cons (&exp
, (unsigned int) nbytes
);
3290 TC_PARSE_CONS_EXPRESSION (&exp
, (unsigned int) nbytes
);
3294 if (exp
.X_op
== O_symbol
)
3295 exp
.X_op
= O_symbol_rva
;
3297 as_fatal (_("rva without symbol"));
3299 emit_expr (&exp
, (unsigned int) nbytes
);
3302 while (*input_line_pointer
++ == ',');
3304 /* In MRI mode, after an odd number of bytes, we must align to an
3305 even word boundary, unless the next instruction is a dc.b, ds.b
3307 if (flag_mri
&& nbytes
== 1 && (c
& 1) != 0)
3308 mri_pending_align
= 1;
3310 input_line_pointer
--; /* Put terminator back into stream. */
3312 demand_empty_rest_of_line ();
3315 mri_comment_end (stop
, stopc
);
3323 cons_worker (size
, 0);
3330 cons_worker (size
, 1);
3333 /* Put the contents of expression EXP into the object file using
3334 NBYTES bytes. If need_pass_2 is 1, this does nothing. */
3337 emit_expr (exp
, nbytes
)
3339 unsigned int nbytes
;
3343 valueT extra_digit
= 0;
3345 /* Don't do anything if we are going to make another pass. */
3351 /* When gcc emits DWARF 1 debugging pseudo-ops, a line number will
3352 appear as a four byte positive constant in the .line section,
3353 followed by a 2 byte 0xffff. Look for that case here. */
3355 static int dwarf_line
= -1;
3357 if (strcmp (segment_name (now_seg
), ".line") != 0)
3359 else if (dwarf_line
>= 0
3361 && exp
->X_op
== O_constant
3362 && (exp
->X_add_number
== -1 || exp
->X_add_number
== 0xffff))
3363 listing_source_line ((unsigned int) dwarf_line
);
3364 else if (nbytes
== 4
3365 && exp
->X_op
== O_constant
3366 && exp
->X_add_number
>= 0)
3367 dwarf_line
= exp
->X_add_number
;
3372 /* When gcc emits DWARF 1 debugging pseudo-ops, a file name will
3373 appear as a 2 byte TAG_compile_unit (0x11) followed by a 2 byte
3374 AT_sibling (0x12) followed by a four byte address of the sibling
3375 followed by a 2 byte AT_name (0x38) followed by the name of the
3376 file. We look for that case here. */
3378 static int dwarf_file
= 0;
3380 if (strcmp (segment_name (now_seg
), ".debug") != 0)
3382 else if (dwarf_file
== 0
3384 && exp
->X_op
== O_constant
3385 && exp
->X_add_number
== 0x11)
3387 else if (dwarf_file
== 1
3389 && exp
->X_op
== O_constant
3390 && exp
->X_add_number
== 0x12)
3392 else if (dwarf_file
== 2
3395 else if (dwarf_file
== 3
3397 && exp
->X_op
== O_constant
3398 && exp
->X_add_number
== 0x38)
3403 /* The variable dwarf_file_string tells stringer that the string
3404 may be the name of the source file. */
3405 if (dwarf_file
== 4)
3406 dwarf_file_string
= 1;
3408 dwarf_file_string
= 0;
3413 if (check_eh_frame (exp
, &nbytes
))
3418 /* Allow `.word 0' in the absolute section. */
3419 if (now_seg
== absolute_section
)
3421 if (op
!= O_constant
|| exp
->X_add_number
!= 0)
3422 as_bad (_("attempt to store value in absolute section"));
3423 abs_section_offset
+= nbytes
;
3427 /* Handle a negative bignum. */
3429 && exp
->X_add_number
== 0
3430 && symbol_get_value_expression (exp
->X_add_symbol
)->X_op
== O_big
3431 && symbol_get_value_expression (exp
->X_add_symbol
)->X_add_number
> 0)
3434 unsigned long carry
;
3436 exp
= symbol_get_value_expression (exp
->X_add_symbol
);
3438 /* Negate the bignum: one's complement each digit and add 1. */
3440 for (i
= 0; i
< exp
->X_add_number
; i
++)
3444 next
= (((~ (generic_bignum
[i
] & LITTLENUM_MASK
))
3447 generic_bignum
[i
] = next
& LITTLENUM_MASK
;
3448 carry
= next
>> LITTLENUM_NUMBER_OF_BITS
;
3451 /* We can ignore any carry out, because it will be handled by
3452 extra_digit if it is needed. */
3454 extra_digit
= (valueT
) -1;
3458 if (op
== O_absent
|| op
== O_illegal
)
3460 as_warn (_("zero assumed for missing expression"));
3461 exp
->X_add_number
= 0;
3464 else if (op
== O_big
&& exp
->X_add_number
<= 0)
3466 as_bad (_("floating point number invalid; zero assumed"));
3467 exp
->X_add_number
= 0;
3470 else if (op
== O_register
)
3472 as_warn (_("register value used as expression"));
3476 p
= frag_more ((int) nbytes
);
3478 #ifndef WORKING_DOT_WORD
3479 /* If we have the difference of two symbols in a word, save it on
3480 the broken_words list. See the code in write.c. */
3481 if (op
== O_subtract
&& nbytes
== 2)
3483 struct broken_word
*x
;
3485 x
= (struct broken_word
*) xmalloc (sizeof (struct broken_word
));
3486 x
->next_broken_word
= broken_words
;
3489 x
->subseg
= now_subseg
;
3491 x
->word_goes_here
= p
;
3493 x
->add
= exp
->X_add_symbol
;
3494 x
->sub
= exp
->X_op_symbol
;
3495 x
->addnum
= exp
->X_add_number
;
3502 /* If we have an integer, but the number of bytes is too large to
3503 pass to md_number_to_chars, handle it as a bignum. */
3504 if (op
== O_constant
&& nbytes
> sizeof (valueT
))
3509 if (! exp
->X_unsigned
&& exp
->X_add_number
< 0)
3510 extra_digit
= (valueT
) -1;
3511 val
= (valueT
) exp
->X_add_number
;
3515 generic_bignum
[gencnt
] = val
& LITTLENUM_MASK
;
3516 val
>>= LITTLENUM_NUMBER_OF_BITS
;
3520 op
= exp
->X_op
= O_big
;
3521 exp
->X_add_number
= gencnt
;
3524 if (op
== O_constant
)
3526 register valueT get
;
3527 register valueT use
;
3528 register valueT mask
;
3530 register valueT unmask
;
3532 /* JF << of >= number of bits in the object is undefined. In
3533 particular SPARC (Sun 4) has problems */
3534 if (nbytes
>= sizeof (valueT
))
3537 if (nbytes
> sizeof (valueT
))
3540 hibit
= (valueT
) 1 << (nbytes
* BITS_PER_CHAR
- 1);
3544 /* Don't store these bits. */
3545 mask
= ~(valueT
) 0 << (BITS_PER_CHAR
* nbytes
);
3546 hibit
= (valueT
) 1 << (nbytes
* BITS_PER_CHAR
- 1);
3549 unmask
= ~mask
; /* Do store these bits. */
3552 "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
3553 mask
= ~(unmask
>> 1); /* Includes sign bit now. */
3556 get
= exp
->X_add_number
;
3558 if ((get
& mask
) != 0
3559 && ((get
& mask
) != mask
3560 || (get
& hibit
) == 0))
3561 { /* Leading bits contain both 0s & 1s. */
3562 as_warn (_("Value 0x%lx truncated to 0x%lx."),
3563 (unsigned long) get
, (unsigned long) use
);
3565 /* put bytes in right order. */
3566 md_number_to_chars (p
, use
, (int) nbytes
);
3568 else if (op
== O_big
)
3571 LITTLENUM_TYPE
*nums
;
3573 know (nbytes
% CHARS_PER_LITTLENUM
== 0);
3575 size
= exp
->X_add_number
* CHARS_PER_LITTLENUM
;
3578 as_warn (_("Bignum truncated to %d bytes"), nbytes
);
3582 if (target_big_endian
)
3584 while (nbytes
> size
)
3586 md_number_to_chars (p
, extra_digit
, CHARS_PER_LITTLENUM
);
3587 nbytes
-= CHARS_PER_LITTLENUM
;
3588 p
+= CHARS_PER_LITTLENUM
;
3591 nums
= generic_bignum
+ size
/ CHARS_PER_LITTLENUM
;
3595 md_number_to_chars (p
, (valueT
) *nums
, CHARS_PER_LITTLENUM
);
3596 size
-= CHARS_PER_LITTLENUM
;
3597 p
+= CHARS_PER_LITTLENUM
;
3602 nums
= generic_bignum
;
3605 md_number_to_chars (p
, (valueT
) *nums
, CHARS_PER_LITTLENUM
);
3607 size
-= CHARS_PER_LITTLENUM
;
3608 p
+= CHARS_PER_LITTLENUM
;
3609 nbytes
-= CHARS_PER_LITTLENUM
;
3614 md_number_to_chars (p
, extra_digit
, CHARS_PER_LITTLENUM
);
3615 nbytes
-= CHARS_PER_LITTLENUM
;
3616 p
+= CHARS_PER_LITTLENUM
;
3622 memset (p
, 0, nbytes
);
3624 /* Now we need to generate a fixS to record the symbol value.
3625 This is easy for BFD. For other targets it can be more
3626 complex. For very complex cases (currently, the HPPA and
3627 NS32K), you can define TC_CONS_FIX_NEW to do whatever you
3628 want. For simpler cases, you can define TC_CONS_RELOC to be
3629 the name of the reloc code that should be stored in the fixS.
3630 If neither is defined, the code uses NO_RELOC if it is
3631 defined, and otherwise uses 0. */
3633 #ifdef BFD_ASSEMBLER
3634 #ifdef TC_CONS_FIX_NEW
3635 TC_CONS_FIX_NEW (frag_now
, p
- frag_now
->fr_literal
, nbytes
, exp
);
3638 bfd_reloc_code_real_type r
;
3655 as_bad (_("unsupported BFD relocation size %u"), nbytes
);
3659 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
, (int) nbytes
, exp
,
3664 #ifdef TC_CONS_FIX_NEW
3665 TC_CONS_FIX_NEW (frag_now
, p
- frag_now
->fr_literal
, nbytes
, exp
);
3667 /* Figure out which reloc number to use. Use TC_CONS_RELOC if
3668 it is defined, otherwise use NO_RELOC if it is defined,
3670 #ifndef TC_CONS_RELOC
3672 #define TC_CONS_RELOC NO_RELOC
3674 #define TC_CONS_RELOC 0
3677 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
, (int) nbytes
, exp
, 0,
3679 #endif /* TC_CONS_FIX_NEW */
3680 #endif /* BFD_ASSEMBLER */
3684 #ifdef BITFIELD_CONS_EXPRESSIONS
3686 /* i960 assemblers, (eg, asm960), allow bitfields after ".byte" as
3687 w:x,y:z, where w and y are bitwidths and x and y are values. They
3688 then pack them all together. We do a little better in that we allow
3689 them in words, longs, etc. and we'll pack them in target byte order
3692 The rules are: pack least significat bit first, if a field doesn't
3693 entirely fit, put it in the next unit. Overflowing the bitfield is
3694 explicitly *not* even a warning. The bitwidth should be considered
3697 To use this function the tc-XXX.h file should define
3698 BITFIELD_CONS_EXPRESSIONS. */
3701 parse_bitfield_cons (exp
, nbytes
)
3703 unsigned int nbytes
;
3705 unsigned int bits_available
= BITS_PER_CHAR
* nbytes
;
3706 char *hold
= input_line_pointer
;
3708 (void) expression (exp
);
3710 if (*input_line_pointer
== ':')
3716 unsigned long width
;
3718 if (*input_line_pointer
!= ':')
3720 input_line_pointer
= hold
;
3722 } /* next piece is not a bitfield */
3724 /* In the general case, we can't allow
3725 full expressions with symbol
3726 differences and such. The relocation
3727 entries for symbols not defined in this
3728 assembly would require arbitrary field
3729 widths, positions, and masks which most
3730 of our current object formats don't
3733 In the specific case where a symbol
3734 *is* defined in this assembly, we
3735 *could* build fixups and track it, but
3736 this could lead to confusion for the
3737 backends. I'm lazy. I'll take any
3738 SEG_ABSOLUTE. I think that means that
3739 you can use a previous .set or
3740 .equ type symbol. xoxorich. */
3742 if (exp
->X_op
== O_absent
)
3744 as_warn (_("using a bit field width of zero"));
3745 exp
->X_add_number
= 0;
3746 exp
->X_op
= O_constant
;
3747 } /* implied zero width bitfield */
3749 if (exp
->X_op
!= O_constant
)
3751 *input_line_pointer
= '\0';
3752 as_bad (_("field width \"%s\" too complex for a bitfield"), hold
);
3753 *input_line_pointer
= ':';
3754 demand_empty_rest_of_line ();
3758 if ((width
= exp
->X_add_number
) > (BITS_PER_CHAR
* nbytes
))
3760 as_warn (_("field width %lu too big to fit in %d bytes: truncated to %d bits"),
3761 width
, nbytes
, (BITS_PER_CHAR
* nbytes
));
3762 width
= BITS_PER_CHAR
* nbytes
;
3765 if (width
> bits_available
)
3767 /* FIXME-SOMEDAY: backing up and reparsing is wasteful. */
3768 input_line_pointer
= hold
;
3769 exp
->X_add_number
= value
;
3773 hold
= ++input_line_pointer
; /* skip ':' */
3775 (void) expression (exp
);
3776 if (exp
->X_op
!= O_constant
)
3778 char cache
= *input_line_pointer
;
3780 *input_line_pointer
= '\0';
3781 as_bad (_("field value \"%s\" too complex for a bitfield"), hold
);
3782 *input_line_pointer
= cache
;
3783 demand_empty_rest_of_line ();
3787 value
|= ((~(-1 << width
) & exp
->X_add_number
)
3788 << ((BITS_PER_CHAR
* nbytes
) - bits_available
));
3790 if ((bits_available
-= width
) == 0
3791 || is_it_end_of_statement ()
3792 || *input_line_pointer
!= ',')
3795 } /* all the bitfields we're gonna get */
3797 hold
= ++input_line_pointer
;
3798 (void) expression (exp
);
3799 } /* forever loop */
3801 exp
->X_add_number
= value
;
3802 exp
->X_op
= O_constant
;
3803 exp
->X_unsigned
= 1;
3804 } /* if looks like a bitfield */
3805 } /* parse_bitfield_cons() */
3807 #endif /* BITFIELD_CONS_EXPRESSIONS */
3809 /* Handle an MRI style string expression. */
3812 parse_mri_cons (exp
, nbytes
)
3814 unsigned int nbytes
;
3816 if (*input_line_pointer
!= '\''
3817 && (input_line_pointer
[1] != '\''
3818 || (*input_line_pointer
!= 'A'
3819 && *input_line_pointer
!= 'E')))
3820 TC_PARSE_CONS_EXPRESSION (exp
, nbytes
);
3824 unsigned int result
= 0;
3826 /* An MRI style string. Cut into as many bytes as will fit into
3827 a nbyte chunk, left justify if necessary, and separate with
3828 commas so we can try again later. */
3829 if (*input_line_pointer
== 'A')
3830 ++input_line_pointer
;
3831 else if (*input_line_pointer
== 'E')
3833 as_bad (_("EBCDIC constants are not supported"));
3834 ++input_line_pointer
;
3837 input_line_pointer
++;
3838 for (scan
= 0; scan
< nbytes
; scan
++)
3840 if (*input_line_pointer
== '\'')
3842 if (input_line_pointer
[1] == '\'')
3844 input_line_pointer
++;
3849 result
= (result
<< 8) | (*input_line_pointer
++);
3853 while (scan
< nbytes
)
3858 /* Create correct expression */
3859 exp
->X_op
= O_constant
;
3860 exp
->X_add_number
= result
;
3861 /* Fake it so that we can read the next char too */
3862 if (input_line_pointer
[0] != '\'' ||
3863 (input_line_pointer
[0] == '\'' && input_line_pointer
[1] == '\''))
3865 input_line_pointer
-= 2;
3866 input_line_pointer
[0] = ',';
3867 input_line_pointer
[1] = '\'';
3870 input_line_pointer
++;
3874 #ifdef REPEAT_CONS_EXPRESSIONS
3876 /* Parse a repeat expression for cons. This is used by the MIPS
3877 assembler. The format is NUMBER:COUNT; NUMBER appears in the
3878 object file COUNT times.
3880 To use this for a target, define REPEAT_CONS_EXPRESSIONS. */
3883 parse_repeat_cons (exp
, nbytes
)
3885 unsigned int nbytes
;
3892 if (*input_line_pointer
!= ':')
3894 /* No repeat count. */
3898 ++input_line_pointer
;
3899 expression (&count
);
3900 if (count
.X_op
!= O_constant
3901 || count
.X_add_number
<= 0)
3903 as_warn (_("Unresolvable or nonpositive repeat count; using 1"));
3907 /* The cons function is going to output this expression once. So we
3908 output it count - 1 times. */
3909 for (i
= count
.X_add_number
- 1; i
> 0; i
--)
3910 emit_expr (exp
, nbytes
);
3913 #endif /* REPEAT_CONS_EXPRESSIONS */
3915 /* Parse a floating point number represented as a hex constant. This
3916 permits users to specify the exact bits they want in the floating
3920 hex_float (float_type
, bytes
)
3954 as_bad (_("Unknown floating type type '%c'"), float_type
);
3958 /* It would be nice if we could go through expression to parse the
3959 hex constant, but if we get a bignum it's a pain to sort it into
3960 the buffer correctly. */
3962 while (hex_p (*input_line_pointer
) || *input_line_pointer
== '_')
3966 /* The MRI assembler accepts arbitrary underscores strewn about
3967 through the hex constant, so we ignore them as well. */
3968 if (*input_line_pointer
== '_')
3970 ++input_line_pointer
;
3976 as_warn (_("Floating point constant too large"));
3979 d
= hex_value (*input_line_pointer
) << 4;
3980 ++input_line_pointer
;
3981 while (*input_line_pointer
== '_')
3982 ++input_line_pointer
;
3983 if (hex_p (*input_line_pointer
))
3985 d
+= hex_value (*input_line_pointer
);
3986 ++input_line_pointer
;
3988 if (target_big_endian
)
3991 bytes
[length
- i
- 1] = d
;
3997 if (target_big_endian
)
3998 memset (bytes
+ i
, 0, length
- i
);
4000 memset (bytes
, 0, length
- i
);
4009 * CONStruct some more frag chars of .floats .ffloats etc.
4010 * Makes 0 or more new frags.
4011 * If need_pass_2 == 1, no frags are emitted.
4012 * This understands only floating literals, not expressions. Sorry.
4014 * A floating constant is defined by atof_generic(), except it is preceded
4015 * by 0d 0f 0g or 0h. After observing the STRANGE way my BSD AS does its
4016 * reading, I decided to be incompatible. This always tries to give you
4017 * rounded bits to the precision of the pseudo-op. Former AS did premature
4018 * truncatation, restored noisy bits instead of trailing 0s AND gave you
4019 * a choice of 2 flavours of noise according to which of 2 floating-point
4020 * scanners you directed AS to use.
4022 * In: input_line_pointer->whitespace before, or '0' of flonum.
4027 float_cons (float_type
)
4028 /* Clobbers input_line-pointer, checks end-of-line. */
4029 register int float_type
; /* 'f':.ffloat ... 'F':.float ... */
4032 int length
; /* Number of chars in an object. */
4033 register char *err
; /* Error from scanning floating literal. */
4034 char temp
[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
];
4036 if (is_it_end_of_statement ())
4038 demand_empty_rest_of_line ();
4042 #ifdef md_flush_pending_output
4043 md_flush_pending_output ();
4048 /* input_line_pointer->1st char of a flonum (we hope!). */
4051 /* Skip any 0{letter} that may be present. Don't even check if the
4052 * letter is legal. Someone may invent a "z" format and this routine
4053 * has no use for such information. Lusers beware: you get
4054 * diagnostics if your input is ill-conditioned.
4056 if (input_line_pointer
[0] == '0'
4057 && isalpha ((unsigned char) input_line_pointer
[1]))
4058 input_line_pointer
+= 2;
4060 /* Accept :xxxx, where the x's are hex digits, for a floating
4061 point with the exact digits specified. */
4062 if (input_line_pointer
[0] == ':')
4064 ++input_line_pointer
;
4065 length
= hex_float (float_type
, temp
);
4068 ignore_rest_of_line ();
4074 err
= md_atof (float_type
, temp
, &length
);
4075 know (length
<= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT
);
4079 as_bad (_("Bad floating literal: %s"), err
);
4080 ignore_rest_of_line ();
4091 #ifdef REPEAT_CONS_EXPRESSIONS
4092 if (*input_line_pointer
== ':')
4094 expressionS count_exp
;
4096 ++input_line_pointer
;
4097 expression (&count_exp
);
4098 if (count_exp
.X_op
!= O_constant
4099 || count_exp
.X_add_number
<= 0)
4101 as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4104 count
= count_exp
.X_add_number
;
4108 while (--count
>= 0)
4110 p
= frag_more (length
);
4111 memcpy (p
, temp
, (unsigned int) length
);
4116 while (*input_line_pointer
++ == ',');
4118 --input_line_pointer
; /* Put terminator back into stream. */
4119 demand_empty_rest_of_line ();
4120 } /* float_cons() */
4122 /* Return the size of a LEB128 value */
4125 sizeof_sleb128 (value
)
4128 register int size
= 0;
4129 register unsigned byte
;
4133 byte
= (value
& 0x7f);
4134 /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4135 Fortunately, we can structure things so that the extra work reduces
4136 to a noop on systems that do things "properly". */
4137 value
= (value
>> 7) | ~(-(offsetT
)1 >> 7);
4140 while (!(((value
== 0) && ((byte
& 0x40) == 0))
4141 || ((value
== -1) && ((byte
& 0x40) != 0))));
4147 sizeof_uleb128 (value
)
4150 register int size
= 0;
4151 register unsigned byte
;
4155 byte
= (value
& 0x7f);
4165 sizeof_leb128 (value
, sign
)
4170 return sizeof_sleb128 ((offsetT
) value
);
4172 return sizeof_uleb128 (value
);
4175 /* Output a LEB128 value. */
4178 output_sleb128 (p
, value
)
4182 register char *orig
= p
;
4187 unsigned byte
= (value
& 0x7f);
4189 /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4190 Fortunately, we can structure things so that the extra work reduces
4191 to a noop on systems that do things "properly". */
4192 value
= (value
>> 7) | ~(-(offsetT
)1 >> 7);
4194 more
= !((((value
== 0) && ((byte
& 0x40) == 0))
4195 || ((value
== -1) && ((byte
& 0x40) != 0))));
4207 output_uleb128 (p
, value
)
4215 unsigned byte
= (value
& 0x7f);
4218 /* More bytes to follow. */
4229 output_leb128 (p
, value
, sign
)
4235 return output_sleb128 (p
, (offsetT
) value
);
4237 return output_uleb128 (p
, value
);
4240 /* Do the same for bignums. We combine sizeof with output here in that
4241 we don't output for NULL values of P. It isn't really as critical as
4242 for "normal" values that this be streamlined. */
4245 output_big_sleb128 (p
, bignum
, size
)
4247 LITTLENUM_TYPE
*bignum
;
4255 /* Strip leading sign extensions off the bignum. */
4256 while (size
> 0 && bignum
[size
-1] == (LITTLENUM_TYPE
)-1)
4261 if (loaded
< 7 && size
> 0)
4263 val
|= (*bignum
<< loaded
);
4264 loaded
+= 8 * CHARS_PER_LITTLENUM
;
4275 if ((val
== 0 && (byte
& 0x40) == 0)
4276 || (~(val
| ~(((valueT
)1 << loaded
) - 1)) == 0
4277 && (byte
& 0x40) != 0))
4285 while (byte
& 0x80);
4291 output_big_uleb128 (p
, bignum
, size
)
4293 LITTLENUM_TYPE
*bignum
;
4301 /* Strip leading zeros off the bignum. */
4302 /* XXX: Is this needed? */
4303 while (size
> 0 && bignum
[size
-1] == 0)
4308 if (loaded
< 7 && size
> 0)
4310 val
|= (*bignum
<< loaded
);
4311 loaded
+= 8 * CHARS_PER_LITTLENUM
;
4320 if (size
> 0 || val
)
4327 while (byte
& 0x80);
4333 output_big_leb128 (p
, bignum
, size
, sign
)
4335 LITTLENUM_TYPE
*bignum
;
4339 return output_big_sleb128 (p
, bignum
, size
);
4341 return output_big_uleb128 (p
, bignum
, size
);
4344 /* Generate the appropriate fragments for a given expression to emit a
4348 emit_leb128_expr(exp
, sign
)
4352 operatorT op
= exp
->X_op
;
4354 if (op
== O_absent
|| op
== O_illegal
)
4356 as_warn (_("zero assumed for missing expression"));
4357 exp
->X_add_number
= 0;
4360 else if (op
== O_big
&& exp
->X_add_number
<= 0)
4362 as_bad (_("floating point number invalid; zero assumed"));
4363 exp
->X_add_number
= 0;
4366 else if (op
== O_register
)
4368 as_warn (_("register value used as expression"));
4372 if (op
== O_constant
)
4374 /* If we've got a constant, emit the thing directly right now. */
4376 valueT value
= exp
->X_add_number
;
4380 size
= sizeof_leb128 (value
, sign
);
4381 p
= frag_more (size
);
4382 output_leb128 (p
, value
, sign
);
4384 else if (op
== O_big
)
4386 /* O_big is a different sort of constant. */
4391 size
= output_big_leb128 (NULL
, generic_bignum
, exp
->X_add_number
, sign
);
4392 p
= frag_more (size
);
4393 output_big_leb128 (p
, generic_bignum
, exp
->X_add_number
, sign
);
4397 /* Otherwise, we have to create a variable sized fragment and
4398 resolve things later. */
4400 frag_var (rs_leb128
, sizeof_uleb128 (~(valueT
)0), 0, sign
,
4401 make_expr_symbol (exp
), 0, (char *) NULL
);
4405 /* Parse the .sleb128 and .uleb128 pseudos. */
4415 emit_leb128_expr (&exp
, sign
);
4416 } while (*input_line_pointer
++ == ',');
4418 input_line_pointer
--;
4419 demand_empty_rest_of_line ();
4425 * We read 0 or more ',' separated, double-quoted strings.
4427 * Caller should have checked need_pass_2 is FALSE because we don't check it.
4432 stringer (append_zero
) /* Worker to do .ascii etc statements. */
4433 /* Checks end-of-line. */
4434 register int append_zero
; /* 0: don't append '\0', else 1 */
4436 register unsigned int c
;
4439 #ifdef md_flush_pending_output
4440 md_flush_pending_output ();
4444 * The following awkward logic is to parse ZERO or more strings,
4445 * comma separated. Recall a string expression includes spaces
4446 * before the opening '\"' and spaces after the closing '\"'.
4447 * We fake a leading ',' if there is (supposed to be)
4448 * a 1st, expression. We keep demanding expressions for each
4451 if (is_it_end_of_statement ())
4453 c
= 0; /* Skip loop. */
4454 ++input_line_pointer
; /* Compensate for end of loop. */
4458 c
= ','; /* Do loop. */
4460 while (c
== ',' || c
== '<' || c
== '"')
4463 switch (*input_line_pointer
)
4466 ++input_line_pointer
; /*->1st char of string. */
4467 start
= input_line_pointer
;
4468 while (is_a_char (c
= next_char_of_string ()))
4470 FRAG_APPEND_1_CHAR (c
);
4474 FRAG_APPEND_1_CHAR (0);
4476 know (input_line_pointer
[-1] == '\"');
4480 /* In ELF, when gcc is emitting DWARF 1 debugging output, it
4481 will emit .string with a filename in the .debug section
4482 after a sequence of constants. See the comment in
4483 emit_expr for the sequence. emit_expr will set
4484 dwarf_file_string to non-zero if this string might be a
4485 source file name. */
4486 if (strcmp (segment_name (now_seg
), ".debug") != 0)
4487 dwarf_file_string
= 0;
4488 else if (dwarf_file_string
)
4490 c
= input_line_pointer
[-1];
4491 input_line_pointer
[-1] = '\0';
4492 listing_source_file (start
);
4493 input_line_pointer
[-1] = c
;
4500 input_line_pointer
++;
4501 c
= get_single_number ();
4502 FRAG_APPEND_1_CHAR (c
);
4503 if (*input_line_pointer
!= '>')
4505 as_bad (_("Expected <nn>"));
4507 input_line_pointer
++;
4510 input_line_pointer
++;
4514 c
= *input_line_pointer
;
4517 demand_empty_rest_of_line ();
4520 /* FIXME-SOMEDAY: I had trouble here on characters with the
4521 high bits set. We'll probably also have trouble with
4522 multibyte chars, wide chars, etc. Also be careful about
4523 returning values bigger than 1 byte. xoxorich. */
4526 next_char_of_string ()
4528 register unsigned int c
;
4530 c
= *input_line_pointer
++ & CHAR_MASK
;
4538 as_warn (_("Unterminated string: Newline inserted."));
4539 bump_line_counters ();
4542 #ifndef NO_STRING_ESCAPES
4544 switch (c
= *input_line_pointer
++)
4572 break; /* As itself. */
4588 for (i
= 0, number
= 0; isdigit (c
) && i
< 3; c
= *input_line_pointer
++, i
++)
4590 number
= number
* 8 + c
- '0';
4594 --input_line_pointer
;
4603 c
= *input_line_pointer
++;
4604 while (isxdigit (c
))
4607 number
= number
* 16 + c
- '0';
4608 else if (isupper (c
))
4609 number
= number
* 16 + c
- 'A' + 10;
4611 number
= number
* 16 + c
- 'a' + 10;
4612 c
= *input_line_pointer
++;
4615 --input_line_pointer
;
4620 /* To be compatible with BSD 4.2 as: give the luser a linefeed!! */
4621 as_warn (_("Unterminated string: Newline inserted."));
4623 bump_line_counters ();
4628 #ifdef ONLY_STANDARD_ESCAPES
4629 as_bad (_("Bad escaped character in string, '?' assumed"));
4631 #endif /* ONLY_STANDARD_ESCAPES */
4634 } /* switch on escaped char */
4636 #endif /* ! defined (NO_STRING_ESCAPES) */
4640 } /* switch on char */
4642 } /* next_char_of_string() */
4645 get_segmented_expression (expP
)
4646 register expressionS
*expP
;
4648 register segT retval
;
4650 retval
= expression (expP
);
4651 if (expP
->X_op
== O_illegal
4652 || expP
->X_op
== O_absent
4653 || expP
->X_op
== O_big
)
4655 as_bad (_("expected address expression; zero assumed"));
4656 expP
->X_op
= O_constant
;
4657 expP
->X_add_number
= 0;
4658 retval
= absolute_section
;
4664 get_known_segmented_expression (expP
)
4665 register expressionS
*expP
;
4667 register segT retval
;
4669 if ((retval
= get_segmented_expression (expP
)) == undefined_section
)
4671 /* There is no easy way to extract the undefined symbol from the
4673 if (expP
->X_add_symbol
!= NULL
4674 && S_GET_SEGMENT (expP
->X_add_symbol
) != expr_section
)
4675 as_warn (_("symbol \"%s\" undefined; zero assumed"),
4676 S_GET_NAME (expP
->X_add_symbol
));
4678 as_warn (_("some symbol undefined; zero assumed"));
4679 retval
= absolute_section
;
4680 expP
->X_op
= O_constant
;
4681 expP
->X_add_number
= 0;
4683 know (retval
== absolute_section
|| SEG_NORMAL (retval
));
4685 } /* get_known_segmented_expression() */
4688 get_absolute_expression ()
4693 if (exp
.X_op
!= O_constant
)
4695 if (exp
.X_op
!= O_absent
)
4696 as_bad (_("bad or irreducible absolute expression; zero assumed"));
4697 exp
.X_add_number
= 0;
4699 return exp
.X_add_number
;
4702 char /* return terminator */
4703 get_absolute_expression_and_terminator (val_pointer
)
4704 long *val_pointer
; /* return value of expression */
4706 /* FIXME: val_pointer should probably be offsetT *. */
4707 *val_pointer
= (long) get_absolute_expression ();
4708 return (*input_line_pointer
++);
4712 * demand_copy_C_string()
4714 * Like demand_copy_string, but return NULL if the string contains any '\0's.
4715 * Give a warning if that happens.
4718 demand_copy_C_string (len_pointer
)
4723 if ((s
= demand_copy_string (len_pointer
)) != 0)
4727 for (len
= *len_pointer
; len
> 0; len
--)
4734 as_bad (_("This string may not contain \'\\0\'"));
4742 * demand_copy_string()
4744 * Demand string, but return a safe (=private) copy of the string.
4745 * Return NULL if we can't read a string here.
4748 demand_copy_string (lenP
)
4751 register unsigned int c
;
4757 if (*input_line_pointer
== '\"')
4759 input_line_pointer
++; /* Skip opening quote. */
4761 while (is_a_char (c
= next_char_of_string ()))
4763 obstack_1grow (¬es
, c
);
4766 /* JF this next line is so demand_copy_C_string will return a
4767 null terminated string. */
4768 obstack_1grow (¬es
, '\0');
4769 retval
= obstack_finish (¬es
);
4773 as_warn (_("Missing string"));
4775 ignore_rest_of_line ();
4779 } /* demand_copy_string() */
4782 * is_it_end_of_statement()
4784 * In: Input_line_pointer->next character.
4786 * Do: Skip input_line_pointer over all whitespace.
4788 * Out: 1 if input_line_pointer->end-of-line.
4791 is_it_end_of_statement ()
4794 return (is_end_of_line
[(unsigned char) *input_line_pointer
]);
4795 } /* is_it_end_of_statement() */
4798 equals (sym_name
, reassign
)
4802 register symbolS
*symbolP
; /* symbol we are working with */
4806 input_line_pointer
++;
4807 if (*input_line_pointer
== '=')
4808 input_line_pointer
++;
4810 while (*input_line_pointer
== ' ' || *input_line_pointer
== '\t')
4811 input_line_pointer
++;
4814 stop
= mri_comment_field (&stopc
);
4816 if (sym_name
[0] == '.' && sym_name
[1] == '\0')
4818 /* Turn '. = mumble' into a .org mumble */
4819 register segT segment
;
4822 segment
= get_known_segmented_expression (&exp
);
4824 do_org (segment
, &exp
, 0);
4828 symbolP
= symbol_find_or_make (sym_name
);
4829 /* Permit register names to be redefined. */
4831 && S_IS_DEFINED (symbolP
)
4832 && S_GET_SEGMENT (symbolP
) != reg_section
)
4833 as_bad (_("symbol `%s' already defined"), S_GET_NAME (symbolP
));
4834 pseudo_set (symbolP
);
4839 ignore_rest_of_line (); /* check garbage after the expression */
4840 mri_comment_end (stop
, stopc
);
4844 /* .include -- include a file at this point. */
4857 if (! flag_m68k_mri
)
4859 filename
= demand_copy_string (&i
);
4860 if (filename
== NULL
)
4862 /* demand_copy_string has already printed an error and
4863 called ignore_rest_of_line. */
4871 while (! is_end_of_line
[(unsigned char) *input_line_pointer
]
4872 && *input_line_pointer
!= ' '
4873 && *input_line_pointer
!= '\t')
4875 obstack_1grow (¬es
, *input_line_pointer
);
4876 ++input_line_pointer
;
4879 obstack_1grow (¬es
, '\0');
4880 filename
= obstack_finish (¬es
);
4881 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
4882 ++input_line_pointer
;
4884 demand_empty_rest_of_line ();
4885 path
= xmalloc ((unsigned long) i
+ include_dir_maxlen
+ 5 /* slop */ );
4886 for (i
= 0; i
< include_dir_count
; i
++)
4888 strcpy (path
, include_dirs
[i
]);
4890 strcat (path
, filename
);
4891 if (0 != (try = fopen (path
, "r")))
4900 /* malloc Storage leak when file is found on path. FIXME-SOMEDAY. */
4901 register_dependency (path
);
4902 newbuf
= input_scrub_include_file (path
, input_line_pointer
);
4903 buffer_limit
= input_scrub_next_buffer (&input_line_pointer
);
4907 add_include_dir (path
)
4912 if (include_dir_count
== 0)
4914 include_dirs
= (char **) xmalloc (2 * sizeof (*include_dirs
));
4915 include_dirs
[0] = "."; /* Current dir */
4916 include_dir_count
= 2;
4920 include_dir_count
++;
4921 include_dirs
= (char **) realloc (include_dirs
,
4922 include_dir_count
* sizeof (*include_dirs
));
4925 include_dirs
[include_dir_count
- 1] = path
; /* New one */
4928 if (i
> include_dir_maxlen
)
4929 include_dir_maxlen
= i
;
4930 } /* add_include_dir() */
4932 /* Output debugging information to denote the source file. */
4935 generate_file_debug ()
4937 if (debug_type
== DEBUG_STABS
)
4938 stabs_generate_asm_file ();
4941 /* Output line number debugging information for the current source line. */
4944 generate_lineno_debug ()
4946 #ifdef ECOFF_DEBUGGING
4947 /* ECOFF assemblers automatically generate debugging information.
4948 FIXME: This should probably be handled elsewhere. */
4949 if (debug_type
== DEBUG_UNSPECIFIED
)
4951 if (ECOFF_DEBUGGING
&& ecoff_no_current_file ())
4952 debug_type
= DEBUG_ECOFF
;
4954 debug_type
= DEBUG_NONE
;
4960 case DEBUG_UNSPECIFIED
:
4964 stabs_generate_asm_lineno ();
4967 ecoff_generate_asm_lineno ();
4976 /* Output debugging information to mark a function entry point or end point.
4977 END_P is zero for .func, and non-zero for .endfunc. */
4983 do_s_func (end_p
, NULL
);
4986 /* Subroutine of s_func so targets can choose a different default prefix.
4987 If DEFAULT_PREFIX is NULL, use the target's "leading char". */
4990 do_s_func (end_p
, default_prefix
)
4992 const char *default_prefix
;
4994 /* Record the current function so that we can issue an error message for
4995 misplaced .func,.endfunc, and also so that .endfunc needs no
4997 static char *current_name
;
4998 static char *current_label
;
5002 if (current_name
== NULL
)
5004 as_bad (_("missing .func"));
5005 ignore_rest_of_line ();
5009 if (debug_type
== DEBUG_STABS
)
5010 stabs_generate_asm_endfunc (current_name
, current_label
);
5012 current_name
= current_label
= NULL
;
5019 if (current_name
!= NULL
)
5021 as_bad (_(".endfunc missing for previous .func"));
5022 ignore_rest_of_line ();
5026 name
= input_line_pointer
;
5027 delim1
= get_symbol_end ();
5028 name
= xstrdup (name
);
5029 *input_line_pointer
= delim1
;
5031 if (*input_line_pointer
!= ',')
5034 asprintf (&label
, "%s%s", default_prefix
, name
);
5037 char leading_char
= 0;
5038 #ifdef BFD_ASSEMBLER
5039 leading_char
= bfd_get_symbol_leading_char (stdoutput
);
5041 /* Missing entry point, use function's name with the leading
5044 asprintf (&label
, "%c%s", leading_char
, name
);
5051 ++input_line_pointer
;
5053 label
= input_line_pointer
;
5054 delim2
= get_symbol_end ();
5055 label
= xstrdup (label
);
5056 *input_line_pointer
= delim2
;
5059 if (debug_type
== DEBUG_STABS
)
5060 stabs_generate_asm_func (name
, label
);
5062 current_name
= name
;
5063 current_label
= label
;
5066 demand_empty_rest_of_line ();
5073 while (!is_end_of_line
[(unsigned char) *input_line_pointer
])
5075 ++input_line_pointer
;
5077 ++input_line_pointer
;
5082 read_print_statistics (file
)
5085 hash_print_statistics (file
, "pseudo-op table", po_hash
);