Re-indent the code
[external/binutils.git] / gas / read.c
1 /* read.c - read a source file -
2    Copyright (C) 1986-2015 Free Software Foundation, Inc.
3
4    This file is part of GAS, the GNU Assembler.
5
6    GAS is free software; you can redistribute it and/or modify
7    it under the terms of the GNU General Public License as published by
8    the Free Software Foundation; either version 3, or (at your option)
9    any later version.
10
11    GAS is distributed in the hope that it will be useful,
12    but WITHOUT ANY WARRANTY; without even the implied warranty of
13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14    GNU General Public License for more details.
15
16    You should have received a copy of the GNU General Public License
17    along with GAS; see the file COPYING.  If not, write to the Free
18    Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
19    02110-1301, USA.  */
20
21 /* If your chars aren't 8 bits, you will change this a bit (eg. to 0xFF).
22    But then, GNU isn't spozed to run on your machine anyway.
23    (RMS is so shortsighted sometimes.)  */
24 #define MASK_CHAR ((int)(unsigned char) -1)
25
26 /* This is the largest known floating point format (for now). It will
27    grow when we do 4361 style flonums.  */
28 #define MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT (16)
29
30 /* Routines that read assembler source text to build spaghetti in memory.
31    Another group of these functions is in the expr.c module.  */
32
33 #include "as.h"
34 #include "safe-ctype.h"
35 #include "subsegs.h"
36 #include "sb.h"
37 #include "macro.h"
38 #include "obstack.h"
39 #include "ecoff.h"
40 #include "dw2gencfi.h"
41 #include "wchar.h"
42
43 #ifndef TC_START_LABEL
44 #define TC_START_LABEL(x,y,z) (x == ':')
45 #endif
46
47 /* Set by the object-format or the target.  */
48 #ifndef TC_IMPLICIT_LCOMM_ALIGNMENT
49 #define TC_IMPLICIT_LCOMM_ALIGNMENT(SIZE, P2VAR)                \
50   do                                                            \
51     {                                                           \
52       if ((SIZE) >= 8)                                          \
53         (P2VAR) = 3;                                            \
54       else if ((SIZE) >= 4)                                     \
55         (P2VAR) = 2;                                            \
56       else if ((SIZE) >= 2)                                     \
57         (P2VAR) = 1;                                            \
58       else                                                      \
59         (P2VAR) = 0;                                            \
60     }                                                           \
61   while (0)
62 #endif
63
64 char *input_line_pointer;       /*->next char of source file to parse.  */
65
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!)!  */
69 die horribly;
70 #endif
71
72 #ifndef LEX_AT
73 #define LEX_AT 0
74 #endif
75
76 #ifndef LEX_BR
77 /* The RS/6000 assembler uses {,},[,] as parts of symbol names.  */
78 #define LEX_BR 0
79 #endif
80
81 #ifndef LEX_PCT
82 /* The Delta 68k assembler permits % inside label names.  */
83 #define LEX_PCT 0
84 #endif
85
86 #ifndef LEX_QM
87 /* The PowerPC Windows NT assemblers permits ? inside label names.  */
88 #define LEX_QM 0
89 #endif
90
91 #ifndef LEX_HASH
92 /* The IA-64 assembler uses # as a suffix designating a symbol.  We include
93    it in the symbol and strip it out in tc_canonicalize_symbol_name.  */
94 #define LEX_HASH 0
95 #endif
96
97 #ifndef LEX_DOLLAR
98 #define LEX_DOLLAR 3
99 #endif
100
101 #ifndef LEX_TILDE
102 /* The Delta 68k assembler permits ~ at start of label names.  */
103 #define LEX_TILDE 0
104 #endif
105
106 /* Used by is_... macros. our ctype[].  */
107 char lex_type[256] = {
108   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* @ABCDEFGHIJKLMNO */
109   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* PQRSTUVWXYZ[\]^_ */
110   0, 0, 0, LEX_HASH, LEX_DOLLAR, LEX_PCT, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, /* _!"#$%&'()*+,-./ */
111   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, LEX_QM,  /* 0123456789:;<=>? */
112   LEX_AT, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,  /* @ABCDEFGHIJKLMNO */
113   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, 0, 3, /* PQRSTUVWXYZ[\]^_ */
114   0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,       /* `abcdefghijklmno */
115   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, LEX_TILDE, 0, /* pqrstuvwxyz{|}~.  */
116   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
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 };
125
126 /* In: a character.
127    Out: 1 if this character ends a line.
128         2 if this character is a line separator.  */
129 char is_end_of_line[256] = {
130 #ifdef CR_EOL
131   1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0,       /* @abcdefghijklmno */
132 #else
133   1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0,       /* @abcdefghijklmno */
134 #endif
135   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
136   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* _!"#$%&'()*+,-./ */
137   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* 0123456789:;<=>? */
138   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
139   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
140   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
141   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
142   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
143   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
144   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
145   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
146   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
147   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
148   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
149   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0        /* */
150 };
151
152 #ifndef TC_CASE_SENSITIVE
153 char original_case_string[128];
154 #endif
155
156 /* Functions private to this file.  */
157
158 static char *buffer;    /* 1st char of each buffer of lines is here.  */
159 static char *buffer_limit;      /*->1 + last char in buffer.  */
160
161 /* TARGET_BYTES_BIG_ENDIAN is required to be defined to either 0 or 1
162    in the tc-<CPU>.h file.  See the "Porting GAS" section of the
163    internals manual.  */
164 int target_big_endian = TARGET_BYTES_BIG_ENDIAN;
165
166 /* Variables for handling include file directory table.  */
167
168 /* Table of pointers to directories to search for .include's.  */
169 char **include_dirs;
170
171 /* How many are in the table.  */
172 int include_dir_count;
173
174 /* Length of longest in table.  */
175 int include_dir_maxlen = 1;
176
177 #ifndef WORKING_DOT_WORD
178 struct broken_word *broken_words;
179 int new_broken_words;
180 #endif
181
182 /* The current offset into the absolute section.  We don't try to
183    build frags in the absolute section, since no data can be stored
184    there.  We just keep track of the current offset.  */
185 addressT abs_section_offset;
186
187 /* If this line had an MRI style label, it is stored in this variable.
188    This is used by some of the MRI pseudo-ops.  */
189 symbolS *line_label;
190
191 /* This global variable is used to support MRI common sections.  We
192    translate such sections into a common symbol.  This variable is
193    non-NULL when we are in an MRI common section.  */
194 symbolS *mri_common_symbol;
195
196 /* In MRI mode, after a dc.b pseudo-op with an odd number of bytes, we
197    need to align to an even byte boundary unless the next pseudo-op is
198    dc.b, ds.b, or dcb.b.  This variable is set to 1 if an alignment
199    may be needed.  */
200 static int mri_pending_align;
201
202 #ifndef NO_LISTING
203 #ifdef OBJ_ELF
204 /* This variable is set to be non-zero if the next string we see might
205    be the name of the source file in DWARF debugging information.  See
206    the comment in emit_expr for the format we look for.  */
207 static int dwarf_file_string;
208 #endif
209 #endif
210
211 /* If the target defines the md_frag_max_var hook then we know
212    enough to implement the .bundle_align_mode features.  */
213 #ifdef md_frag_max_var
214 # define HANDLE_BUNDLE
215 #endif
216
217 #ifdef HANDLE_BUNDLE
218 /* .bundle_align_mode sets this.  Normally it's zero.  When nonzero,
219    it's the exponent of the bundle size, and aligned instruction bundle
220    mode is in effect.  */
221 static unsigned int bundle_align_p2;
222
223 /* These are set by .bundle_lock and .bundle_unlock.  .bundle_lock sets
224    bundle_lock_frag to frag_now and then starts a new frag with
225    frag_align_code.  At the same time, bundle_lock_frain gets frchain_now,
226    so that .bundle_unlock can verify that we didn't change segments.
227    .bundle_unlock resets both to NULL.  If we detect a bundling violation,
228    then we reset bundle_lock_frchain to NULL as an indicator that we've
229    already diagnosed the error with as_bad and don't need a cascade of
230    redundant errors, but bundle_lock_frag remains set to indicate that
231    we are expecting to see .bundle_unlock.  */
232 static fragS *bundle_lock_frag;
233 static frchainS *bundle_lock_frchain;
234
235 /* This is incremented by .bundle_lock and decremented by .bundle_unlock,
236    to allow nesting.  */
237 static unsigned int bundle_lock_depth;
238 #endif
239
240 static void do_s_func (int end_p, const char *default_prefix);
241 static void do_align (int, char *, int, int);
242 static void s_align (int, int);
243 static void s_altmacro (int);
244 static void s_bad_end (int);
245 static void s_reloc (int);
246 static int hex_float (int, char *);
247 static segT get_known_segmented_expression (expressionS * expP);
248 static void pobegin (void);
249 static size_t get_non_macro_line_sb (sb *);
250 static void generate_file_debug (void);
251 static char *_find_end_of_line (char *, int, int, int);
252 \f
253 void
254 read_begin (void)
255 {
256   const char *p;
257
258   pobegin ();
259   obj_read_begin_hook ();
260
261   /* Something close -- but not too close -- to a multiple of 1024.
262      The debugging malloc I'm using has 24 bytes of overhead.  */
263   obstack_begin (&notes, chunksize);
264   obstack_begin (&cond_obstack, chunksize);
265
266 #ifndef tc_line_separator_chars
267 #define tc_line_separator_chars line_separator_chars
268 #endif
269   /* Use machine dependent syntax.  */
270   for (p = tc_line_separator_chars; *p; p++)
271     is_end_of_line[(unsigned char) *p] = 2;
272   /* Use more.  FIXME-SOMEDAY.  */
273
274   if (flag_mri)
275     lex_type['?'] = 3;
276 }
277 \f
278 #ifndef TC_ADDRESS_BYTES
279 #define TC_ADDRESS_BYTES address_bytes
280
281 static inline int
282 address_bytes (void)
283 {
284   /* Choose smallest of 1, 2, 4, 8 bytes that is large enough to
285      contain an address.  */
286   int n = (stdoutput->arch_info->bits_per_address - 1) / 8;
287   n |= n >> 1;
288   n |= n >> 2;
289   n += 1;
290   return n;
291 }
292 #endif
293
294 /* Set up pseudo-op tables.  */
295
296 static struct hash_control *po_hash;
297
298 static const pseudo_typeS potable[] = {
299   {"abort", s_abort, 0},
300   {"align", s_align_ptwo, 0},
301   {"altmacro", s_altmacro, 1},
302   {"ascii", stringer, 8+0},
303   {"asciz", stringer, 8+1},
304   {"balign", s_align_bytes, 0},
305   {"balignw", s_align_bytes, -2},
306   {"balignl", s_align_bytes, -4},
307 /* block  */
308 #ifdef HANDLE_BUNDLE
309   {"bundle_align_mode", s_bundle_align_mode, 0},
310   {"bundle_lock", s_bundle_lock, 0},
311   {"bundle_unlock", s_bundle_unlock, 0},
312 #endif
313   {"byte", cons, 1},
314   {"comm", s_comm, 0},
315   {"common", s_mri_common, 0},
316   {"common.s", s_mri_common, 1},
317   {"data", s_data, 0},
318   {"dc", cons, 2},
319 #ifdef TC_ADDRESS_BYTES
320   {"dc.a", cons, 0},
321 #endif
322   {"dc.b", cons, 1},
323   {"dc.d", float_cons, 'd'},
324   {"dc.l", cons, 4},
325   {"dc.s", float_cons, 'f'},
326   {"dc.w", cons, 2},
327   {"dc.x", float_cons, 'x'},
328   {"dcb", s_space, 2},
329   {"dcb.b", s_space, 1},
330   {"dcb.d", s_float_space, 'd'},
331   {"dcb.l", s_space, 4},
332   {"dcb.s", s_float_space, 'f'},
333   {"dcb.w", s_space, 2},
334   {"dcb.x", s_float_space, 'x'},
335   {"ds", s_space, 2},
336   {"ds.b", s_space, 1},
337   {"ds.d", s_space, 8},
338   {"ds.l", s_space, 4},
339   {"ds.p", s_space, 12},
340   {"ds.s", s_space, 4},
341   {"ds.w", s_space, 2},
342   {"ds.x", s_space, 12},
343   {"debug", s_ignore, 0},
344 #ifdef S_SET_DESC
345   {"desc", s_desc, 0},
346 #endif
347 /* dim  */
348   {"double", float_cons, 'd'},
349 /* dsect  */
350   {"eject", listing_eject, 0},  /* Formfeed listing.  */
351   {"else", s_else, 0},
352   {"elsec", s_else, 0},
353   {"elseif", s_elseif, (int) O_ne},
354   {"end", s_end, 0},
355   {"endc", s_endif, 0},
356   {"endfunc", s_func, 1},
357   {"endif", s_endif, 0},
358   {"endm", s_bad_end, 0},
359   {"endr", s_bad_end, 1},
360 /* endef  */
361   {"equ", s_set, 0},
362   {"equiv", s_set, 1},
363   {"eqv", s_set, -1},
364   {"err", s_err, 0},
365   {"error", s_errwarn, 1},
366   {"exitm", s_mexit, 0},
367 /* extend  */
368   {"extern", s_ignore, 0},      /* We treat all undef as ext.  */
369   {"appfile", s_app_file, 1},
370   {"appline", s_app_line, 1},
371   {"fail", s_fail, 0},
372   {"file", s_app_file, 0},
373   {"fill", s_fill, 0},
374   {"float", float_cons, 'f'},
375   {"format", s_ignore, 0},
376   {"func", s_func, 0},
377   {"global", s_globl, 0},
378   {"globl", s_globl, 0},
379   {"hword", cons, 2},
380   {"if", s_if, (int) O_ne},
381   {"ifb", s_ifb, 1},
382   {"ifc", s_ifc, 0},
383   {"ifdef", s_ifdef, 0},
384   {"ifeq", s_if, (int) O_eq},
385   {"ifeqs", s_ifeqs, 0},
386   {"ifge", s_if, (int) O_ge},
387   {"ifgt", s_if, (int) O_gt},
388   {"ifle", s_if, (int) O_le},
389   {"iflt", s_if, (int) O_lt},
390   {"ifnb", s_ifb, 0},
391   {"ifnc", s_ifc, 1},
392   {"ifndef", s_ifdef, 1},
393   {"ifne", s_if, (int) O_ne},
394   {"ifnes", s_ifeqs, 1},
395   {"ifnotdef", s_ifdef, 1},
396   {"incbin", s_incbin, 0},
397   {"include", s_include, 0},
398   {"int", cons, 4},
399   {"irp", s_irp, 0},
400   {"irep", s_irp, 0},
401   {"irpc", s_irp, 1},
402   {"irepc", s_irp, 1},
403   {"lcomm", s_lcomm, 0},
404   {"lflags", s_ignore, 0},      /* Listing flags.  */
405   {"linefile", s_app_line, 0},
406   {"linkonce", s_linkonce, 0},
407   {"list", listing_list, 1},    /* Turn listing on.  */
408   {"llen", listing_psize, 1},
409   {"long", cons, 4},
410   {"lsym", s_lsym, 0},
411   {"macro", s_macro, 0},
412   {"mexit", s_mexit, 0},
413   {"mri", s_mri, 0},
414   {".mri", s_mri, 0},   /* Special case so .mri works in MRI mode.  */
415   {"name", s_ignore, 0},
416   {"noaltmacro", s_altmacro, 0},
417   {"noformat", s_ignore, 0},
418   {"nolist", listing_list, 0},  /* Turn listing off.  */
419   {"nopage", listing_nopage, 0},
420   {"octa", cons, 16},
421   {"offset", s_struct, 0},
422   {"org", s_org, 0},
423   {"p2align", s_align_ptwo, 0},
424   {"p2alignw", s_align_ptwo, -2},
425   {"p2alignl", s_align_ptwo, -4},
426   {"page", listing_eject, 0},
427   {"plen", listing_psize, 0},
428   {"print", s_print, 0},
429   {"psize", listing_psize, 0},  /* Set paper size.  */
430   {"purgem", s_purgem, 0},
431   {"quad", cons, 8},
432   {"reloc", s_reloc, 0},
433   {"rep", s_rept, 0},
434   {"rept", s_rept, 0},
435   {"rva", s_rva, 4},
436   {"sbttl", listing_title, 1},  /* Subtitle of listing.  */
437 /* scl  */
438 /* sect  */
439   {"set", s_set, 0},
440   {"short", cons, 2},
441   {"single", float_cons, 'f'},
442 /* size  */
443   {"space", s_space, 0},
444   {"skip", s_space, 0},
445   {"sleb128", s_leb128, 1},
446   {"spc", s_ignore, 0},
447   {"stabd", s_stab, 'd'},
448   {"stabn", s_stab, 'n'},
449   {"stabs", s_stab, 's'},
450   {"string", stringer, 8+1},
451   {"string8", stringer, 8+1},
452   {"string16", stringer, 16+1},
453   {"string32", stringer, 32+1},
454   {"string64", stringer, 64+1},
455   {"struct", s_struct, 0},
456 /* tag  */
457   {"text", s_text, 0},
458
459   /* This is for gcc to use.  It's only just been added (2/94), so gcc
460      won't be able to use it for a while -- probably a year or more.
461      But once this has been released, check with gcc maintainers
462      before deleting it or even changing the spelling.  */
463   {"this_GCC_requires_the_GNU_assembler", s_ignore, 0},
464   /* If we're folding case -- done for some targets, not necessarily
465      all -- the above string in an input file will be converted to
466      this one.  Match it either way...  */
467   {"this_gcc_requires_the_gnu_assembler", s_ignore, 0},
468
469   {"title", listing_title, 0},  /* Listing title.  */
470   {"ttl", listing_title, 0},
471 /* type  */
472   {"uleb128", s_leb128, 0},
473 /* use  */
474 /* val  */
475   {"xcom", s_comm, 0},
476   {"xdef", s_globl, 0},
477   {"xref", s_ignore, 0},
478   {"xstabs", s_xstab, 's'},
479   {"warning", s_errwarn, 0},
480   {"weakref", s_weakref, 0},
481   {"word", cons, 2},
482   {"zero", s_space, 0},
483   {NULL, NULL, 0}                       /* End sentinel.  */
484 };
485
486 static offsetT
487 get_absolute_expr (expressionS *exp)
488 {
489   expression_and_evaluate (exp);
490   if (exp->X_op != O_constant)
491     {
492       if (exp->X_op != O_absent)
493         as_bad (_("bad or irreducible absolute expression"));
494       exp->X_add_number = 0;
495     }
496   return exp->X_add_number;
497 }
498
499 offsetT
500 get_absolute_expression (void)
501 {
502   expressionS exp;
503
504   return get_absolute_expr (&exp);
505 }
506
507 static int pop_override_ok = 0;
508 static const char *pop_table_name;
509
510 void
511 pop_insert (const pseudo_typeS *table)
512 {
513   const char *errtxt;
514   const pseudo_typeS *pop;
515   for (pop = table; pop->poc_name; pop++)
516     {
517       errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop);
518       if (errtxt && (!pop_override_ok || strcmp (errtxt, "exists")))
519         as_fatal (_("error constructing %s pseudo-op table: %s"), pop_table_name,
520                   errtxt);
521     }
522 }
523
524 #ifndef md_pop_insert
525 #define md_pop_insert()         pop_insert(md_pseudo_table)
526 #endif
527
528 #ifndef obj_pop_insert
529 #define obj_pop_insert()        pop_insert(obj_pseudo_table)
530 #endif
531
532 #ifndef cfi_pop_insert
533 #define cfi_pop_insert()        pop_insert(cfi_pseudo_table)
534 #endif
535
536 static void
537 pobegin (void)
538 {
539   po_hash = hash_new ();
540
541   /* Do the target-specific pseudo ops.  */
542   pop_table_name = "md";
543   md_pop_insert ();
544
545   /* Now object specific.  Skip any that were in the target table.  */
546   pop_table_name = "obj";
547   pop_override_ok = 1;
548   obj_pop_insert ();
549
550   /* Now portable ones.  Skip any that we've seen already.  */
551   pop_table_name = "standard";
552   pop_insert (potable);
553
554   /* Now CFI ones.  */
555   pop_table_name = "cfi";
556   pop_override_ok = 1;
557   cfi_pop_insert ();
558 }
559 \f
560 #define HANDLE_CONDITIONAL_ASSEMBLY(num_read)                           \
561   if (ignore_input ())                                                  \
562     {                                                                   \
563       char *eol = find_end_of_line (input_line_pointer - (num_read),    \
564                                     flag_m68k_mri);                     \
565       input_line_pointer = (input_line_pointer <= buffer_limit          \
566                             && eol >= buffer_limit)                     \
567                            ? buffer_limit                               \
568                            : eol + 1;                                   \
569       continue;                                                         \
570     }
571
572 /* This function is used when scrubbing the characters between #APP
573    and #NO_APP.  */
574
575 static char *scrub_string;
576 static char *scrub_string_end;
577
578 static size_t
579 scrub_from_string (char *buf, size_t buflen)
580 {
581   size_t copy;
582
583   copy = scrub_string_end - scrub_string;
584   if (copy > buflen)
585     copy = buflen;
586   memcpy (buf, scrub_string, copy);
587   scrub_string += copy;
588   return copy;
589 }
590
591 /* Helper function of read_a_source_file, which tries to expand a macro.  */
592 static int
593 try_macro (char term, const char *line)
594 {
595   sb out;
596   const char *err;
597   macro_entry *macro;
598
599   if (check_macro (line, &out, &err, &macro))
600     {
601       if (err != NULL)
602         as_bad ("%s", err);
603       *input_line_pointer++ = term;
604       input_scrub_include_sb (&out,
605                               input_line_pointer, 1);
606       sb_kill (&out);
607       buffer_limit =
608         input_scrub_next_buffer (&input_line_pointer);
609 #ifdef md_macro_info
610       md_macro_info (macro);
611 #endif
612       return 1;
613     }
614   return 0;
615 }
616
617 #ifdef HANDLE_BUNDLE
618 /* Start a new instruction bundle.  Returns the rs_align_code frag that
619    will be used to align the new bundle.  */
620 static fragS *
621 start_bundle (void)
622 {
623   fragS *frag = frag_now;
624
625   frag_align_code (0, 0);
626
627   while (frag->fr_type != rs_align_code)
628     frag = frag->fr_next;
629
630   gas_assert (frag != frag_now);
631
632   return frag;
633 }
634
635 /* Calculate the maximum size after relaxation of the region starting
636    at the given frag and extending through frag_now (which is unfinished).  */
637 static unsigned int
638 pending_bundle_size (fragS *frag)
639 {
640   unsigned int offset = frag->fr_fix;
641   unsigned int size = 0;
642
643   gas_assert (frag != frag_now);
644   gas_assert (frag->fr_type == rs_align_code);
645
646   while (frag != frag_now)
647     {
648       /* This should only happen in what will later become an error case.  */
649       if (frag == NULL)
650         return 0;
651
652       size += frag->fr_fix;
653       if (frag->fr_type == rs_machine_dependent)
654         size += md_frag_max_var (frag);
655
656       frag = frag->fr_next;
657     }
658
659   gas_assert (frag == frag_now);
660   size += frag_now_fix ();
661   if (frag->fr_type == rs_machine_dependent)
662     size += md_frag_max_var (frag);
663
664   gas_assert (size >= offset);
665
666   return size - offset;
667 }
668
669 /* Finish off the frag created to ensure bundle alignment.  */
670 static void
671 finish_bundle (fragS *frag, unsigned int size)
672 {
673   gas_assert (bundle_align_p2 > 0);
674   gas_assert (frag->fr_type == rs_align_code);
675
676   if (size > 1)
677     {
678       /* If there is more than a single byte, then we need to set up the
679          alignment frag.  Otherwise we leave it at its initial state from
680          calling frag_align_code (0, 0), so that it does nothing.  */
681       frag->fr_offset = bundle_align_p2;
682       frag->fr_subtype = size - 1;
683     }
684
685   /* We do this every time rather than just in s_bundle_align_mode
686      so that we catch any affected section without needing hooks all
687      over for all paths that do section changes.  It's cheap enough.  */
688   record_alignment (now_seg, bundle_align_p2 - OCTETS_PER_BYTE_POWER);
689 }
690
691 /* Assemble one instruction.  This takes care of the bundle features
692    around calling md_assemble.  */
693 static void
694 assemble_one (char *line)
695 {
696   fragS *insn_start_frag = NULL;
697
698   if (bundle_lock_frchain != NULL && bundle_lock_frchain != frchain_now)
699     {
700       as_bad (_("cannot change section or subsection inside .bundle_lock"));
701       /* Clearing this serves as a marker that we have already complained.  */
702       bundle_lock_frchain = NULL;
703     }
704
705   if (bundle_lock_frchain == NULL && bundle_align_p2 > 0)
706     insn_start_frag = start_bundle ();
707
708   md_assemble (line);
709
710   if (bundle_lock_frchain != NULL)
711     {
712       /* Make sure this hasn't pushed the locked sequence
713          past the bundle size.  */
714       unsigned int bundle_size = pending_bundle_size (bundle_lock_frag);
715       if (bundle_size > (1U << bundle_align_p2))
716         as_bad (_("\
717 .bundle_lock sequence at %u bytes but .bundle_align_mode limit is %u bytes"),
718                 bundle_size, 1U << bundle_align_p2);
719     }
720   else if (bundle_align_p2 > 0)
721     {
722       unsigned int insn_size = pending_bundle_size (insn_start_frag);
723
724       if (insn_size > (1U << bundle_align_p2))
725         as_bad (_("\
726 single instruction is %u bytes long but .bundle_align_mode limit is %u"),
727                 (unsigned int) insn_size, 1U << bundle_align_p2);
728
729       finish_bundle (insn_start_frag, insn_size);
730     }
731 }
732
733 #else  /* !HANDLE_BUNDLE */
734
735 # define assemble_one(line) md_assemble(line)
736
737 #endif  /* HANDLE_BUNDLE */
738
739 /* We read the file, putting things into a web that represents what we
740    have been reading.  */
741 void
742 read_a_source_file (char *name)
743 {
744   char nul_char;
745   char next_char;
746   char *s;              /* String of symbol, '\0' appended.  */
747   int temp;
748   pseudo_typeS *pop;
749
750 #ifdef WARN_COMMENTS
751   found_comment = 0;
752 #endif
753
754   buffer = input_scrub_new_file (name);
755
756   listing_file (name);
757   listing_newline (NULL);
758   register_dependency (name);
759
760   /* Generate debugging information before we've read anything in to denote
761      this file as the "main" source file and not a subordinate one
762      (e.g. N_SO vs N_SOL in stabs).  */
763   generate_file_debug ();
764
765   while ((buffer_limit = input_scrub_next_buffer (&input_line_pointer)) != 0)
766     {                           /* We have another line to parse.  */
767 #ifndef NO_LISTING
768       /* In order to avoid listing macro expansion lines with labels
769          multiple times, keep track of which line was last issued.  */
770       static char *last_eol;
771
772       last_eol = NULL;
773 #endif
774       while (input_line_pointer < buffer_limit)
775         {
776           bfd_boolean was_new_line;
777           /* We have more of this buffer to parse.  */
778
779           /* We now have input_line_pointer->1st char of next line.
780              If input_line_pointer [-1] == '\n' then we just
781              scanned another line: so bump line counters.  */
782           was_new_line = is_end_of_line[(unsigned char) input_line_pointer[-1]];
783           if (was_new_line)
784             {
785               symbol_set_value_now (&dot_symbol);
786 #ifdef md_start_line_hook
787               md_start_line_hook ();
788 #endif
789               if (input_line_pointer[-1] == '\n')
790                 bump_line_counters ();
791             }
792
793 #ifndef NO_LISTING
794           /* If listing is on, and we are expanding a macro, then give
795              the listing code the contents of the expanded line.  */
796           if (listing)
797             {
798               if ((listing & LISTING_MACEXP) && macro_nest > 0)
799                 {
800                   /* Find the end of the current expanded macro line.  */
801                   s = find_end_of_line (input_line_pointer, flag_m68k_mri);
802
803                   if (s != last_eol)
804                     {
805                       char *copy;
806                       int len;
807
808                       last_eol = s;
809                       /* Copy it for safe keeping.  Also give an indication of
810                          how much macro nesting is involved at this point.  */
811                       len = s - input_line_pointer;
812                       copy = (char *) xmalloc (len + macro_nest + 2);
813                       memset (copy, '>', macro_nest);
814                       copy[macro_nest] = ' ';
815                       memcpy (copy + macro_nest + 1, input_line_pointer, len);
816                       copy[macro_nest + 1 + len] = '\0';
817
818                       /* Install the line with the listing facility.  */
819                       listing_newline (copy);
820                     }
821                 }
822               else
823                 listing_newline (NULL);
824             }
825 #endif
826           if (was_new_line)
827             {
828               line_label = NULL;
829
830               if (LABELS_WITHOUT_COLONS || flag_m68k_mri)
831                 {
832                   next_char = * input_line_pointer;
833                   /* Text at the start of a line must be a label, we
834                      run down and stick a colon in.  */
835                   if (is_name_beginner (next_char) || next_char == '"')
836                     {
837                       char *line_start;
838                       int mri_line_macro;
839
840                       HANDLE_CONDITIONAL_ASSEMBLY (0);
841
842                       nul_char = get_symbol_name (& line_start);
843                       next_char = (nul_char == '"' ? input_line_pointer[1] : nul_char);
844
845                       /* In MRI mode, the EQU and MACRO pseudoops must
846                          be handled specially.  */
847                       mri_line_macro = 0;
848                       if (flag_m68k_mri)
849                         {
850                           char *rest = input_line_pointer + 1;
851
852                           if (*rest == ':')
853                             ++rest;
854                           if (*rest == ' ' || *rest == '\t')
855                             ++rest;
856                           if ((strncasecmp (rest, "EQU", 3) == 0
857                                || strncasecmp (rest, "SET", 3) == 0)
858                               && (rest[3] == ' ' || rest[3] == '\t'))
859                             {
860                               input_line_pointer = rest + 3;
861                               equals (line_start,
862                                       strncasecmp (rest, "SET", 3) == 0);
863                               continue;
864                             }
865                           if (strncasecmp (rest, "MACRO", 5) == 0
866                               && (rest[5] == ' '
867                                   || rest[5] == '\t'
868                                   || is_end_of_line[(unsigned char) rest[5]]))
869                             mri_line_macro = 1;
870                         }
871
872                       /* In MRI mode, we need to handle the MACRO
873                          pseudo-op specially: we don't want to put the
874                          symbol in the symbol table.  */
875                       if (!mri_line_macro
876 #ifdef TC_START_LABEL_WITHOUT_COLON
877                           && TC_START_LABEL_WITHOUT_COLON (next_char,
878                                                            input_line_pointer)
879 #endif
880                           )
881                         line_label = colon (line_start);
882                       else
883                         line_label = symbol_create (line_start,
884                                                     absolute_section,
885                                                     (valueT) 0,
886                                                     &zero_address_frag);
887
888                       next_char = restore_line_pointer (nul_char);
889                       if (next_char == ':')
890                         input_line_pointer++;
891                     }
892                 }
893             }
894
895           /* We are at the beginning of a line, or similar place.
896              We expect a well-formed assembler statement.
897              A "symbol-name:" is a statement.
898
899              Depending on what compiler is used, the order of these tests
900              may vary to catch most common case 1st.
901              Each test is independent of all other tests at the (top)
902              level.  */
903           do
904             nul_char = next_char = *input_line_pointer++;
905           while (next_char == '\t' || next_char == ' ' || next_char == '\f');
906
907           /* C is the 1st significant character.
908              Input_line_pointer points after that character.  */
909           if (is_name_beginner (next_char) || next_char == '"')
910             {
911               char *rest;
912
913               /* Want user-defined label or pseudo/opcode.  */
914               HANDLE_CONDITIONAL_ASSEMBLY (1);
915
916               --input_line_pointer;
917               nul_char = get_symbol_name (& s); /* name's delimiter.  */
918               next_char = (nul_char == '"' ? input_line_pointer[1] : nul_char);
919               rest = input_line_pointer + (nul_char == '"' ? 2 : 1);
920
921               /* NEXT_CHAR is character after symbol.
922                  The end of symbol in the input line is now '\0'.
923                  S points to the beginning of the symbol.
924                    [In case of pseudo-op, s->'.'.]
925                  Input_line_pointer->'\0' where NUL_CHAR was.  */
926               if (TC_START_LABEL (next_char, s, input_line_pointer))
927                 {
928                   if (flag_m68k_mri)
929                     {
930                       /* In MRI mode, \tsym: set 0 is permitted.  */
931                       if (*rest == ':')
932                         ++rest;
933
934                       if (*rest == ' ' || *rest == '\t')
935                         ++rest;
936
937                       if ((strncasecmp (rest, "EQU", 3) == 0
938                            || strncasecmp (rest, "SET", 3) == 0)
939                           && (rest[3] == ' ' || rest[3] == '\t'))
940                         {
941                           input_line_pointer = rest + 3;
942                           equals (s, 1);
943                           continue;
944                         }
945                     }
946
947                   line_label = colon (s);       /* User-defined label.  */
948                   restore_line_pointer (nul_char);
949                   ++ input_line_pointer;
950 #ifdef tc_check_label
951                   tc_check_label (line_label);
952 #endif
953                   /* Input_line_pointer->after ':'.  */
954                   SKIP_WHITESPACE ();
955                 }
956               else if ((next_char == '=' && *rest == '=')
957                        || ((next_char == ' ' || next_char == '\t')
958                            && rest[0] == '='
959                            && rest[1] == '='))
960                 {
961                   equals (s, -1);
962                   demand_empty_rest_of_line ();
963                 }
964               else if ((next_char == '='
965                        || ((next_char == ' ' || next_char == '\t')
966                             && *rest == '='))
967 #ifdef TC_EQUAL_IN_INSN
968                            && !TC_EQUAL_IN_INSN (next_char, s)
969 #endif
970                            )
971                 {
972                   equals (s, 1);
973                   demand_empty_rest_of_line ();
974                 }
975               else
976                 {
977                   /* Expect pseudo-op or machine instruction.  */
978                   pop = NULL;
979
980 #ifndef TC_CASE_SENSITIVE
981                   {
982                     char *s2 = s;
983
984                     strncpy (original_case_string, s2, sizeof (original_case_string));
985                     original_case_string[sizeof (original_case_string) - 1] = 0;
986
987                     while (*s2)
988                       {
989                         *s2 = TOLOWER (*s2);
990                         s2++;
991                       }
992                   }
993 #endif
994                   if (NO_PSEUDO_DOT || flag_m68k_mri)
995                     {
996                       /* The MRI assembler uses pseudo-ops without
997                          a period.  */
998                       pop = (pseudo_typeS *) hash_find (po_hash, s);
999                       if (pop != NULL && pop->poc_handler == NULL)
1000                         pop = NULL;
1001                     }
1002
1003                   if (pop != NULL
1004                       || (!flag_m68k_mri && *s == '.'))
1005                     {
1006                       /* PSEUDO - OP.
1007
1008                          WARNING: next_char may be end-of-line.
1009                          We lookup the pseudo-op table with s+1 because we
1010                          already know that the pseudo-op begins with a '.'.  */
1011
1012                       if (pop == NULL)
1013                         pop = (pseudo_typeS *) hash_find (po_hash, s + 1);
1014                       if (pop && !pop->poc_handler)
1015                         pop = NULL;
1016
1017                       /* In MRI mode, we may need to insert an
1018                          automatic alignment directive.  What a hack
1019                          this is.  */
1020                       if (mri_pending_align
1021                           && (pop == NULL
1022                               || !((pop->poc_handler == cons
1023                                     && pop->poc_val == 1)
1024                                    || (pop->poc_handler == s_space
1025                                        && pop->poc_val == 1)
1026 #ifdef tc_conditional_pseudoop
1027                                    || tc_conditional_pseudoop (pop)
1028 #endif
1029                                    || pop->poc_handler == s_if
1030                                    || pop->poc_handler == s_ifdef
1031                                    || pop->poc_handler == s_ifc
1032                                    || pop->poc_handler == s_ifeqs
1033                                    || pop->poc_handler == s_else
1034                                    || pop->poc_handler == s_endif
1035                                    || pop->poc_handler == s_globl
1036                                    || pop->poc_handler == s_ignore)))
1037                         {
1038                           do_align (1, (char *) NULL, 0, 0);
1039                           mri_pending_align = 0;
1040
1041                           if (line_label != NULL)
1042                             {
1043                               symbol_set_frag (line_label, frag_now);
1044                               S_SET_VALUE (line_label, frag_now_fix ());
1045                             }
1046                         }
1047
1048                       /* Print the error msg now, while we still can.  */
1049                       if (pop == NULL)
1050                         {
1051                           char *end = input_line_pointer;
1052
1053                           (void) restore_line_pointer (nul_char);
1054                           s_ignore (0);
1055                           nul_char = next_char = *--input_line_pointer;
1056                           *input_line_pointer = '\0';
1057                           if (! macro_defined || ! try_macro (next_char, s))
1058                             {
1059                               *end = '\0';
1060                               as_bad (_("unknown pseudo-op: `%s'"), s);
1061                               *input_line_pointer++ = nul_char;
1062                             }
1063                           continue;
1064                         }
1065
1066                       /* Put it back for error messages etc.  */
1067                       next_char = restore_line_pointer (nul_char);
1068                       /* The following skip of whitespace is compulsory.
1069                          A well shaped space is sometimes all that separates
1070                          keyword from operands.  */
1071                       if (next_char == ' ' || next_char == '\t')
1072                         input_line_pointer++;
1073
1074                       /* Input_line is restored.
1075                          Input_line_pointer->1st non-blank char
1076                          after pseudo-operation.  */
1077                       (*pop->poc_handler) (pop->poc_val);
1078
1079                       /* If that was .end, just get out now.  */
1080                       if (pop->poc_handler == s_end)
1081                         goto quit;
1082                     }
1083                   else
1084                     {
1085                       /* WARNING: next_char may be end-of-line.  */
1086                       /* Also: input_line_pointer->`\0` where nul_char was.  */
1087                       (void) restore_line_pointer (nul_char);
1088                       input_line_pointer = _find_end_of_line (input_line_pointer, flag_m68k_mri, 1, 0);
1089                       next_char = nul_char = *input_line_pointer;
1090                       *input_line_pointer = '\0';
1091
1092                       generate_lineno_debug ();
1093
1094                       if (macro_defined && try_macro (next_char, s))
1095                         continue;
1096
1097                       if (mri_pending_align)
1098                         {
1099                           do_align (1, (char *) NULL, 0, 0);
1100                           mri_pending_align = 0;
1101                           if (line_label != NULL)
1102                             {
1103                               symbol_set_frag (line_label, frag_now);
1104                               S_SET_VALUE (line_label, frag_now_fix ());
1105                             }
1106                         }
1107
1108                       assemble_one (s); /* Assemble 1 instruction.  */
1109
1110                       *input_line_pointer++ = nul_char;
1111
1112                       /* We resume loop AFTER the end-of-line from
1113                          this instruction.  */
1114                     }
1115                 }
1116               continue;
1117             }
1118
1119           /* Empty statement?  */
1120           if (is_end_of_line[(unsigned char) next_char])
1121             continue;
1122
1123           if ((LOCAL_LABELS_DOLLAR || LOCAL_LABELS_FB) && ISDIGIT (next_char))
1124             {
1125               /* local label  ("4:")  */
1126               char *backup = input_line_pointer;
1127
1128               HANDLE_CONDITIONAL_ASSEMBLY (1);
1129
1130               temp = next_char - '0';
1131
1132               if (nul_char == '"')
1133                 ++ input_line_pointer;
1134
1135               /* Read the whole number.  */
1136               while (ISDIGIT (*input_line_pointer))
1137                 {
1138                   temp = (temp * 10) + *input_line_pointer - '0';
1139                   ++input_line_pointer;
1140                 }
1141
1142               if (LOCAL_LABELS_DOLLAR
1143                   && *input_line_pointer == '$'
1144                   && *(input_line_pointer + 1) == ':')
1145                 {
1146                   input_line_pointer += 2;
1147
1148                   if (dollar_label_defined (temp))
1149                     {
1150                       as_fatal (_("label \"%d$\" redefined"), temp);
1151                     }
1152
1153                   define_dollar_label (temp);
1154                   colon (dollar_label_name (temp, 0));
1155                   continue;
1156                 }
1157
1158               if (LOCAL_LABELS_FB
1159                   && *input_line_pointer++ == ':')
1160                 {
1161                   fb_label_instance_inc (temp);
1162                   colon (fb_label_name (temp, 0));
1163                   continue;
1164                 }
1165
1166               input_line_pointer = backup;
1167             }
1168
1169           if (next_char && strchr (line_comment_chars, next_char))
1170             {                   /* Its a comment.  Better say APP or NO_APP.  */
1171               sb sbuf;
1172               char *ends;
1173               char *new_buf;
1174               char *new_tmp;
1175               unsigned int new_length;
1176               char *tmp_buf = 0;
1177
1178               s = input_line_pointer;
1179               if (strncmp (s, "APP\n", 4))
1180                 {
1181                   /* We ignore it.  */
1182                   ignore_rest_of_line ();
1183                   continue;
1184                 }
1185               bump_line_counters ();
1186               s += 4;
1187
1188               ends = strstr (s, "#NO_APP\n");
1189
1190               if (!ends)
1191                 {
1192                   unsigned int tmp_len;
1193                   unsigned int num;
1194
1195                   /* The end of the #APP wasn't in this buffer.  We
1196                      keep reading in buffers until we find the #NO_APP
1197                      that goes with this #APP  There is one.  The specs
1198                      guarantee it...  */
1199                   tmp_len = buffer_limit - s;
1200                   tmp_buf = (char *) xmalloc (tmp_len + 1);
1201                   memcpy (tmp_buf, s, tmp_len);
1202                   do
1203                     {
1204                       new_tmp = input_scrub_next_buffer (&buffer);
1205                       if (!new_tmp)
1206                         break;
1207                       else
1208                         buffer_limit = new_tmp;
1209                       input_line_pointer = buffer;
1210                       ends = strstr (buffer, "#NO_APP\n");
1211                       if (ends)
1212                         num = ends - buffer;
1213                       else
1214                         num = buffer_limit - buffer;
1215
1216                       tmp_buf = (char *) xrealloc (tmp_buf, tmp_len + num);
1217                       memcpy (tmp_buf + tmp_len, buffer, num);
1218                       tmp_len += num;
1219                     }
1220                   while (!ends);
1221
1222                   input_line_pointer = ends ? ends + 8 : NULL;
1223
1224                   s = tmp_buf;
1225                   ends = s + tmp_len;
1226
1227                 }
1228               else
1229                 {
1230                   input_line_pointer = ends + 8;
1231                 }
1232
1233               scrub_string = s;
1234               scrub_string_end = ends;
1235
1236               new_length = ends - s;
1237               new_buf = (char *) xmalloc (new_length);
1238               new_tmp = new_buf;
1239               for (;;)
1240                 {
1241                   size_t space;
1242                   size_t size;
1243
1244                   space = (new_buf + new_length) - new_tmp;
1245                   size = do_scrub_chars (scrub_from_string, new_tmp, space);
1246
1247                   if (size < space)
1248                     {
1249                       new_tmp[size] = 0;
1250                       break;
1251                     }
1252
1253                   new_buf = (char *) xrealloc (new_buf, new_length + 100);
1254                   new_tmp = new_buf + new_length;
1255                   new_length += 100;
1256                 }
1257
1258               if (tmp_buf)
1259                 free (tmp_buf);
1260
1261               /* We've "scrubbed" input to the preferred format.  In the
1262                  process we may have consumed the whole of the remaining
1263                  file (and included files).  We handle this formatted
1264                  input similar to that of macro expansion, letting
1265                  actual macro expansion (possibly nested) and other
1266                  input expansion work.  Beware that in messages, line
1267                  numbers and possibly file names will be incorrect.  */
1268               new_length = strlen (new_buf);
1269               sb_build (&sbuf, new_length);
1270               sb_add_buffer (&sbuf, new_buf, new_length);
1271               input_scrub_include_sb (&sbuf, input_line_pointer, 0);
1272               sb_kill (&sbuf);
1273               buffer_limit = input_scrub_next_buffer (&input_line_pointer);
1274               free (new_buf);
1275               continue;
1276             }
1277
1278           HANDLE_CONDITIONAL_ASSEMBLY (1);
1279
1280 #ifdef tc_unrecognized_line
1281           if (tc_unrecognized_line (next_char))
1282             continue;
1283 #endif
1284           input_line_pointer--;
1285           /* Report unknown char as error.  */
1286           demand_empty_rest_of_line ();
1287         }
1288     }
1289
1290  quit:
1291   symbol_set_value_now (&dot_symbol);
1292
1293 #ifdef HANDLE_BUNDLE
1294   if (bundle_lock_frag != NULL)
1295     {
1296       as_bad_where (bundle_lock_frag->fr_file, bundle_lock_frag->fr_line,
1297                     _(".bundle_lock with no matching .bundle_unlock"));
1298       bundle_lock_frag = NULL;
1299       bundle_lock_frchain = NULL;
1300       bundle_lock_depth = 0;
1301     }
1302 #endif
1303
1304 #ifdef md_cleanup
1305   md_cleanup ();
1306 #endif
1307   /* Close the input file.  */
1308   input_scrub_close ();
1309 #ifdef WARN_COMMENTS
1310   {
1311     if (warn_comment && found_comment)
1312       as_warn_where (found_comment_file, found_comment,
1313                      "first comment found here");
1314   }
1315 #endif
1316 }
1317
1318 /* Convert O_constant expression EXP into the equivalent O_big representation.
1319    Take the sign of the number from SIGN rather than X_add_number.  */
1320
1321 static void
1322 convert_to_bignum (expressionS *exp, int sign)
1323 {
1324   valueT value;
1325   unsigned int i;
1326
1327   value = exp->X_add_number;
1328   for (i = 0; i < sizeof (exp->X_add_number) / CHARS_PER_LITTLENUM; i++)
1329     {
1330       generic_bignum[i] = value & LITTLENUM_MASK;
1331       value >>= LITTLENUM_NUMBER_OF_BITS;
1332     }
1333   /* Add a sequence of sign bits if the top bit of X_add_number is not
1334      the sign of the original value.  */
1335   if ((exp->X_add_number < 0) == !sign)
1336     generic_bignum[i++] = sign ? LITTLENUM_MASK : 0;
1337   exp->X_op = O_big;
1338   exp->X_add_number = i;
1339 }
1340
1341 /* For most MRI pseudo-ops, the line actually ends at the first
1342    nonquoted space.  This function looks for that point, stuffs a null
1343    in, and sets *STOPCP to the character that used to be there, and
1344    returns the location.
1345
1346    Until I hear otherwise, I am going to assume that this is only true
1347    for the m68k MRI assembler.  */
1348
1349 char *
1350 mri_comment_field (char *stopcp)
1351 {
1352   char *s;
1353 #ifdef TC_M68K
1354   int inquote = 0;
1355
1356   know (flag_m68k_mri);
1357
1358   for (s = input_line_pointer;
1359        ((!is_end_of_line[(unsigned char) *s] && *s != ' ' && *s != '\t')
1360         || inquote);
1361        s++)
1362     {
1363       if (*s == '\'')
1364         inquote = !inquote;
1365     }
1366 #else
1367   for (s = input_line_pointer;
1368        !is_end_of_line[(unsigned char) *s];
1369        s++)
1370     ;
1371 #endif
1372   *stopcp = *s;
1373   *s = '\0';
1374
1375   return s;
1376 }
1377
1378 /* Skip to the end of an MRI comment field.  */
1379
1380 void
1381 mri_comment_end (char *stop, int stopc)
1382 {
1383   know (flag_mri);
1384
1385   input_line_pointer = stop;
1386   *stop = stopc;
1387   while (!is_end_of_line[(unsigned char) *input_line_pointer])
1388     ++input_line_pointer;
1389 }
1390
1391 void
1392 s_abort (int ignore ATTRIBUTE_UNUSED)
1393 {
1394   as_fatal (_(".abort detected.  Abandoning ship."));
1395 }
1396
1397 /* Guts of .align directive.  N is the power of two to which to align.
1398    FILL may be NULL, or it may point to the bytes of the fill pattern.
1399    LEN is the length of whatever FILL points to, if anything.  MAX is
1400    the maximum number of characters to skip when doing the alignment,
1401    or 0 if there is no maximum.  */
1402
1403 static void
1404 do_align (int n, char *fill, int len, int max)
1405 {
1406   if (now_seg == absolute_section)
1407     {
1408       if (fill != NULL)
1409         while (len-- > 0)
1410           if (*fill++ != '\0')
1411             {
1412               as_warn (_("ignoring fill value in absolute section"));
1413               break;
1414             }
1415       fill = NULL;
1416       len = 0;
1417     }
1418
1419 #ifdef md_flush_pending_output
1420   md_flush_pending_output ();
1421 #endif
1422 #ifdef md_do_align
1423   md_do_align (n, fill, len, max, just_record_alignment);
1424 #endif
1425
1426   /* Only make a frag if we HAVE to...  */
1427   if (n != 0 && !need_pass_2)
1428     {
1429       if (fill == NULL)
1430         {
1431           if (subseg_text_p (now_seg))
1432             frag_align_code (n, max);
1433           else
1434             frag_align (n, 0, max);
1435         }
1436       else if (len <= 1)
1437         frag_align (n, *fill, max);
1438       else
1439         frag_align_pattern (n, fill, len, max);
1440     }
1441
1442 #ifdef md_do_align
1443  just_record_alignment: ATTRIBUTE_UNUSED_LABEL
1444 #endif
1445
1446   record_alignment (now_seg, n - OCTETS_PER_BYTE_POWER);
1447 }
1448
1449 /* Handle the .align pseudo-op.  A positive ARG is a default alignment
1450    (in bytes).  A negative ARG is the negative of the length of the
1451    fill pattern.  BYTES_P is non-zero if the alignment value should be
1452    interpreted as the byte boundary, rather than the power of 2.  */
1453 #ifndef TC_ALIGN_LIMIT
1454 #define TC_ALIGN_LIMIT (stdoutput->arch_info->bits_per_address - 1)
1455 #endif
1456
1457 static void
1458 s_align (int arg, int bytes_p)
1459 {
1460   unsigned int align_limit = TC_ALIGN_LIMIT;
1461   unsigned int align;
1462   char *stop = NULL;
1463   char stopc = 0;
1464   offsetT fill = 0;
1465   int max;
1466   int fill_p;
1467
1468   if (flag_mri)
1469     stop = mri_comment_field (&stopc);
1470
1471   if (is_end_of_line[(unsigned char) *input_line_pointer])
1472     {
1473       if (arg < 0)
1474         align = 0;
1475       else
1476         align = arg;    /* Default value from pseudo-op table.  */
1477     }
1478   else
1479     {
1480       align = get_absolute_expression ();
1481       SKIP_WHITESPACE ();
1482
1483 #ifdef TC_ALIGN_ZERO_IS_DEFAULT
1484       if (arg > 0 && align == 0)
1485         align = arg;
1486 #endif
1487     }
1488
1489   if (bytes_p)
1490     {
1491       /* Convert to a power of 2.  */
1492       if (align != 0)
1493         {
1494           unsigned int i;
1495
1496           for (i = 0; (align & 1) == 0; align >>= 1, ++i)
1497             ;
1498           if (align != 1)
1499             as_bad (_("alignment not a power of 2"));
1500
1501           align = i;
1502         }
1503     }
1504
1505   if (align > align_limit)
1506     {
1507       align = align_limit;
1508       as_warn (_("alignment too large: %u assumed"), align);
1509     }
1510
1511   if (*input_line_pointer != ',')
1512     {
1513       fill_p = 0;
1514       max = 0;
1515     }
1516   else
1517     {
1518       ++input_line_pointer;
1519       if (*input_line_pointer == ',')
1520         fill_p = 0;
1521       else
1522         {
1523           fill = get_absolute_expression ();
1524           SKIP_WHITESPACE ();
1525           fill_p = 1;
1526         }
1527
1528       if (*input_line_pointer != ',')
1529         max = 0;
1530       else
1531         {
1532           ++input_line_pointer;
1533           max = get_absolute_expression ();
1534         }
1535     }
1536
1537   if (!fill_p)
1538     {
1539       if (arg < 0)
1540         as_warn (_("expected fill pattern missing"));
1541       do_align (align, (char *) NULL, 0, max);
1542     }
1543   else
1544     {
1545       int fill_len;
1546
1547       if (arg >= 0)
1548         fill_len = 1;
1549       else
1550         fill_len = -arg;
1551       if (fill_len <= 1)
1552         {
1553           char fill_char;
1554
1555           fill_char = fill;
1556           do_align (align, &fill_char, fill_len, max);
1557         }
1558       else
1559         {
1560           char ab[16];
1561
1562           if ((size_t) fill_len > sizeof ab)
1563             abort ();
1564           md_number_to_chars (ab, fill, fill_len);
1565           do_align (align, ab, fill_len, max);
1566         }
1567     }
1568
1569   demand_empty_rest_of_line ();
1570
1571   if (flag_mri)
1572     mri_comment_end (stop, stopc);
1573 }
1574
1575 /* Handle the .align pseudo-op on machines where ".align 4" means
1576    align to a 4 byte boundary.  */
1577
1578 void
1579 s_align_bytes (int arg)
1580 {
1581   s_align (arg, 1);
1582 }
1583
1584 /* Handle the .align pseudo-op on machines where ".align 4" means align
1585    to a 2**4 boundary.  */
1586
1587 void
1588 s_align_ptwo (int arg)
1589 {
1590   s_align (arg, 0);
1591 }
1592
1593 /* Switch in and out of alternate macro mode.  */
1594
1595 static void
1596 s_altmacro (int on)
1597 {
1598   demand_empty_rest_of_line ();
1599   macro_set_alternate (on);
1600 }
1601
1602 /* Read a symbol name from input_line_pointer.
1603
1604    Stores the symbol name in a buffer and returns a pointer to this buffer.
1605    The buffer is xalloc'ed.  It is the caller's responsibility to free
1606    this buffer.
1607
1608    The name is not left in the i_l_p buffer as it may need processing
1609    to handle escape characters.
1610
1611    Advances i_l_p to the next non-whitespace character.
1612
1613    If a symbol name could not be read, the routine issues an error
1614    messages, skips to the end of the line and returns NULL.  */
1615
1616 char *
1617 read_symbol_name (void)
1618 {
1619   char * name;
1620   char * start;
1621   char c;
1622
1623   c = *input_line_pointer++;
1624
1625   if (c == '"')
1626     {
1627 #define SYM_NAME_CHUNK_LEN 128
1628       ptrdiff_t len = SYM_NAME_CHUNK_LEN;
1629       char * name_end;
1630       unsigned int C;
1631
1632       start = name = xmalloc (len + 1);
1633
1634       name_end = name + SYM_NAME_CHUNK_LEN;
1635
1636       while (is_a_char (C = next_char_of_string ()))
1637         {
1638           if (name >= name_end)
1639             {
1640               ptrdiff_t sofar;
1641
1642               sofar = name - start;
1643               len += SYM_NAME_CHUNK_LEN;
1644               start = xrealloc (start, len + 1);
1645               name_end = start + len;
1646               name = start + sofar;
1647             }
1648
1649           *name++ = (char) C;
1650         }
1651       *name = 0;
1652
1653       /* Since quoted symbol names can contain non-ASCII characters,
1654          check the string and warn if it cannot be recognised by the
1655          current character set.  */
1656       if (mbstowcs (NULL, name, len) == (size_t) -1)
1657         as_warn (_("symbol name not recognised in the current locale"));
1658     }
1659   else if (is_name_beginner (c) || c == '\001')
1660     {
1661       ptrdiff_t len;
1662
1663       name = input_line_pointer - 1;
1664
1665       /* We accept \001 in a name in case this is
1666          being called with a constructed string.  */
1667       while (is_part_of_name (c = *input_line_pointer++)
1668              || c == '\001')
1669         ;
1670
1671       len = (input_line_pointer - name) - 1;
1672       start = xmalloc (len + 1);
1673
1674       memcpy (start, name, len);
1675       start[len] = 0;
1676
1677       /* Skip a name ender char if one is present.  */
1678       if (! is_name_ender (c))
1679         --input_line_pointer;
1680     }
1681   else
1682     name = start = NULL;
1683
1684   if (name == start)
1685     {
1686       as_bad (_("expected symbol name"));
1687       ignore_rest_of_line ();
1688       return NULL;
1689     }
1690
1691   SKIP_WHITESPACE ();
1692
1693   return start;
1694 }
1695
1696
1697 symbolS *
1698 s_comm_internal (int param,
1699                  symbolS *(*comm_parse_extra) (int, symbolS *, addressT))
1700 {
1701   char *name;
1702   offsetT temp, size;
1703   symbolS *symbolP = NULL;
1704   char *stop = NULL;
1705   char stopc = 0;
1706   expressionS exp;
1707
1708   if (flag_mri)
1709     stop = mri_comment_field (&stopc);
1710
1711   if ((name = read_symbol_name ()) == NULL)
1712     goto out;
1713
1714   /* Accept an optional comma after the name.  The comma used to be
1715      required, but Irix 5 cc does not generate it for .lcomm.  */
1716   if (*input_line_pointer == ',')
1717     input_line_pointer++;
1718
1719   temp = get_absolute_expr (&exp);
1720   size = temp;
1721   size &= ((addressT) 2 << (stdoutput->arch_info->bits_per_address - 1)) - 1;
1722   if (exp.X_op == O_absent)
1723     {
1724       as_bad (_("missing size expression"));
1725       ignore_rest_of_line ();
1726       goto out;
1727     }
1728   else if (temp != size || !exp.X_unsigned)
1729     {
1730       as_warn (_("size (%ld) out of range, ignored"), (long) temp);
1731       ignore_rest_of_line ();
1732       goto out;
1733     }
1734
1735   symbolP = symbol_find_or_make (name);
1736   if ((S_IS_DEFINED (symbolP) || symbol_equated_p (symbolP))
1737       && !S_IS_COMMON (symbolP))
1738     {
1739       if (!S_IS_VOLATILE (symbolP))
1740         {
1741           symbolP = NULL;
1742           as_bad (_("symbol `%s' is already defined"), name);
1743           ignore_rest_of_line ();
1744           goto out;
1745         }
1746       symbolP = symbol_clone (symbolP, 1);
1747       S_SET_SEGMENT (symbolP, undefined_section);
1748       S_SET_VALUE (symbolP, 0);
1749       symbol_set_frag (symbolP, &zero_address_frag);
1750       S_CLEAR_VOLATILE (symbolP);
1751     }
1752
1753   size = S_GET_VALUE (symbolP);
1754   if (size == 0)
1755     size = temp;
1756   else if (size != temp)
1757     as_warn (_("size of \"%s\" is already %ld; not changing to %ld"),
1758              name, (long) size, (long) temp);
1759
1760   if (comm_parse_extra != NULL)
1761     symbolP = (*comm_parse_extra) (param, symbolP, size);
1762   else
1763     {
1764       S_SET_VALUE (symbolP, (valueT) size);
1765       S_SET_EXTERNAL (symbolP);
1766       S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
1767     }
1768
1769   demand_empty_rest_of_line ();
1770  out:
1771   if (flag_mri)
1772     mri_comment_end (stop, stopc);
1773   if (name != NULL)
1774     free (name);
1775   return symbolP;
1776 }
1777
1778 void
1779 s_comm (int ignore)
1780 {
1781   s_comm_internal (ignore, NULL);
1782 }
1783
1784 /* The MRI COMMON pseudo-op.  We handle this by creating a common
1785    symbol with the appropriate name.  We make s_space do the right
1786    thing by increasing the size.  */
1787
1788 void
1789 s_mri_common (int small ATTRIBUTE_UNUSED)
1790 {
1791   char *name;
1792   char c;
1793   char *alc = NULL;
1794   symbolS *sym;
1795   offsetT align;
1796   char *stop = NULL;
1797   char stopc = 0;
1798
1799   if (!flag_mri)
1800     {
1801       s_comm (0);
1802       return;
1803     }
1804
1805   stop = mri_comment_field (&stopc);
1806
1807   SKIP_WHITESPACE ();
1808
1809   name = input_line_pointer;
1810   if (!ISDIGIT (*name))
1811     c = get_symbol_name (& name);
1812   else
1813     {
1814       do
1815         {
1816           ++input_line_pointer;
1817         }
1818       while (ISDIGIT (*input_line_pointer));
1819
1820       c = *input_line_pointer;
1821       *input_line_pointer = '\0';
1822
1823       if (line_label != NULL)
1824         {
1825           alc = (char *) xmalloc (strlen (S_GET_NAME (line_label))
1826                                   + (input_line_pointer - name)
1827                                   + 1);
1828           sprintf (alc, "%s%s", name, S_GET_NAME (line_label));
1829           name = alc;
1830         }
1831     }
1832
1833   sym = symbol_find_or_make (name);
1834   c = restore_line_pointer (c);
1835   if (alc != NULL)
1836     free (alc);
1837
1838   if (*input_line_pointer != ',')
1839     align = 0;
1840   else
1841     {
1842       ++input_line_pointer;
1843       align = get_absolute_expression ();
1844     }
1845
1846   if (S_IS_DEFINED (sym) && !S_IS_COMMON (sym))
1847     {
1848       as_bad (_("symbol `%s' is already defined"), S_GET_NAME (sym));
1849       ignore_rest_of_line ();
1850       mri_comment_end (stop, stopc);
1851       return;
1852     }
1853
1854   S_SET_EXTERNAL (sym);
1855   S_SET_SEGMENT (sym, bfd_com_section_ptr);
1856   mri_common_symbol = sym;
1857
1858 #ifdef S_SET_ALIGN
1859   if (align != 0)
1860     S_SET_ALIGN (sym, align);
1861 #else
1862   (void) align;
1863 #endif
1864
1865   if (line_label != NULL)
1866     {
1867       expressionS exp;
1868       exp.X_op = O_symbol;
1869       exp.X_add_symbol = sym;
1870       exp.X_add_number = 0;
1871       symbol_set_value_expression (line_label, &exp);
1872       symbol_set_frag (line_label, &zero_address_frag);
1873       S_SET_SEGMENT (line_label, expr_section);
1874     }
1875
1876   /* FIXME: We just ignore the small argument, which distinguishes
1877      COMMON and COMMON.S.  I don't know what we can do about it.  */
1878
1879   /* Ignore the type and hptype.  */
1880   if (*input_line_pointer == ',')
1881     input_line_pointer += 2;
1882   if (*input_line_pointer == ',')
1883     input_line_pointer += 2;
1884
1885   demand_empty_rest_of_line ();
1886
1887   mri_comment_end (stop, stopc);
1888 }
1889
1890 void
1891 s_data (int ignore ATTRIBUTE_UNUSED)
1892 {
1893   segT section;
1894   int temp;
1895
1896   temp = get_absolute_expression ();
1897   if (flag_readonly_data_in_text)
1898     {
1899       section = text_section;
1900       temp += 1000;
1901     }
1902   else
1903     section = data_section;
1904
1905   subseg_set (section, (subsegT) temp);
1906
1907   demand_empty_rest_of_line ();
1908 }
1909
1910 /* Handle the .appfile pseudo-op.  This is automatically generated by
1911    do_scrub_chars when a preprocessor # line comment is seen with a
1912    file name.  This default definition may be overridden by the object
1913    or CPU specific pseudo-ops.  This function is also the default
1914    definition for .file; the APPFILE argument is 1 for .appfile, 0 for
1915    .file.  */
1916
1917 void
1918 s_app_file_string (char *file, int appfile ATTRIBUTE_UNUSED)
1919 {
1920 #ifdef LISTING
1921   if (listing)
1922     listing_source_file (file);
1923 #endif
1924   register_dependency (file);
1925 #ifdef obj_app_file
1926   obj_app_file (file, appfile);
1927 #endif
1928 }
1929
1930 void
1931 s_app_file (int appfile)
1932 {
1933   char *s;
1934   int length;
1935
1936   /* Some assemblers tolerate immediately following '"'.  */
1937   if ((s = demand_copy_string (&length)) != 0)
1938     {
1939       int may_omit
1940         = (!new_logical_line_flags (s, -1, 1) && appfile);
1941
1942       /* In MRI mode, the preprocessor may have inserted an extraneous
1943          backquote.  */
1944       if (flag_m68k_mri
1945           && *input_line_pointer == '\''
1946           && is_end_of_line[(unsigned char) input_line_pointer[1]])
1947         ++input_line_pointer;
1948
1949       demand_empty_rest_of_line ();
1950       if (!may_omit)
1951         s_app_file_string (s, appfile);
1952     }
1953 }
1954
1955 static int
1956 get_linefile_number (int *flag)
1957 {
1958   SKIP_WHITESPACE ();
1959
1960   if (*input_line_pointer < '0' || *input_line_pointer > '9')
1961     return 0;
1962
1963   *flag = get_absolute_expression ();
1964
1965   return 1;
1966 }
1967
1968 /* Handle the .appline pseudo-op.  This is automatically generated by
1969    do_scrub_chars when a preprocessor # line comment is seen.  This
1970    default definition may be overridden by the object or CPU specific
1971    pseudo-ops.  */
1972
1973 void
1974 s_app_line (int appline)
1975 {
1976   char *file = NULL;
1977   int l;
1978
1979   /* The given number is that of the next line.  */
1980   if (appline)
1981     l = get_absolute_expression ();
1982   else if (!get_linefile_number (&l))
1983     {
1984       ignore_rest_of_line ();
1985       return;
1986     }
1987
1988   l--;
1989
1990   if (l < -1)
1991     /* Some of the back ends can't deal with non-positive line numbers.
1992        Besides, it's silly.  GCC however will generate a line number of
1993        zero when it is pre-processing builtins for assembler-with-cpp files:
1994
1995           # 0 "<built-in>"
1996
1997        We do not want to barf on this, especially since such files are used
1998        in the GCC and GDB testsuites.  So we check for negative line numbers
1999        rather than non-positive line numbers.  */
2000     as_warn (_("line numbers must be positive; line number %d rejected"),
2001              l + 1);
2002   else
2003     {
2004       int flags = 0;
2005       int length = 0;
2006
2007       if (!appline)
2008         {
2009           SKIP_WHITESPACE ();
2010
2011           if (*input_line_pointer == '"')
2012             file = demand_copy_string (&length);
2013
2014           if (file)
2015             {
2016               int this_flag;
2017
2018               while (get_linefile_number (&this_flag))
2019                 switch (this_flag)
2020                   {
2021                     /* From GCC's cpp documentation:
2022                        1: start of a new file.
2023                        2: returning to a file after having included
2024                           another file.
2025                        3: following text comes from a system header file.
2026                        4: following text should be treated as extern "C".
2027
2028                        4 is nonsensical for the assembler; 3, we don't
2029                        care about, so we ignore it just in case a
2030                        system header file is included while
2031                        preprocessing assembly.  So 1 and 2 are all we
2032                        care about, and they are mutually incompatible.
2033                        new_logical_line_flags() demands this.  */
2034                   case 1:
2035                   case 2:
2036                     if (flags && flags != (1 << this_flag))
2037                       as_warn (_("incompatible flag %i in line directive"),
2038                                this_flag);
2039                     else
2040                       flags |= 1 << this_flag;
2041                     break;
2042
2043                   case 3:
2044                   case 4:
2045                     /* We ignore these.  */
2046                     break;
2047
2048                   default:
2049                     as_warn (_("unsupported flag %i in line directive"),
2050                              this_flag);
2051                     break;
2052                   }
2053
2054               if (!is_end_of_line[(unsigned char)*input_line_pointer])
2055                 file = 0;
2056             }
2057         }
2058
2059       if (appline || file)
2060         {
2061           new_logical_line_flags (file, l, flags);
2062 #ifdef LISTING
2063           if (listing)
2064             listing_source_line (l);
2065 #endif
2066         }
2067     }
2068   if (appline || file)
2069     demand_empty_rest_of_line ();
2070   else
2071     ignore_rest_of_line ();
2072 }
2073
2074 /* Handle the .end pseudo-op.  Actually, the real work is done in
2075    read_a_source_file.  */
2076
2077 void
2078 s_end (int ignore ATTRIBUTE_UNUSED)
2079 {
2080   if (flag_mri)
2081     {
2082       /* The MRI assembler permits the start symbol to follow .end,
2083          but we don't support that.  */
2084       SKIP_WHITESPACE ();
2085       if (!is_end_of_line[(unsigned char) *input_line_pointer]
2086           && *input_line_pointer != '*'
2087           && *input_line_pointer != '!')
2088         as_warn (_("start address not supported"));
2089     }
2090 }
2091
2092 /* Handle the .err pseudo-op.  */
2093
2094 void
2095 s_err (int ignore ATTRIBUTE_UNUSED)
2096 {
2097   as_bad (_(".err encountered"));
2098   demand_empty_rest_of_line ();
2099 }
2100
2101 /* Handle the .error and .warning pseudo-ops.  */
2102
2103 void
2104 s_errwarn (int err)
2105 {
2106   int len;
2107   /* The purpose for the conditional assignment is not to
2108      internationalize the directive itself, but that we need a
2109      self-contained message, one that can be passed like the
2110      demand_copy_C_string return value, and with no assumption on the
2111      location of the name of the directive within the message.  */
2112   char *msg
2113     = (err ? _(".error directive invoked in source file")
2114        : _(".warning directive invoked in source file"));
2115
2116   if (!is_it_end_of_statement ())
2117     {
2118       if (*input_line_pointer != '\"')
2119         {
2120           as_bad (_("%s argument must be a string"),
2121                   err ? ".error" : ".warning");
2122           ignore_rest_of_line ();
2123           return;
2124         }
2125
2126       msg = demand_copy_C_string (&len);
2127       if (msg == NULL)
2128         return;
2129     }
2130
2131   if (err)
2132     as_bad ("%s", msg);
2133   else
2134     as_warn ("%s", msg);
2135   demand_empty_rest_of_line ();
2136 }
2137
2138 /* Handle the MRI fail pseudo-op.  */
2139
2140 void
2141 s_fail (int ignore ATTRIBUTE_UNUSED)
2142 {
2143   offsetT temp;
2144   char *stop = NULL;
2145   char stopc = 0;
2146
2147   if (flag_mri)
2148     stop = mri_comment_field (&stopc);
2149
2150   temp = get_absolute_expression ();
2151   if (temp >= 500)
2152     as_warn (_(".fail %ld encountered"), (long) temp);
2153   else
2154     as_bad (_(".fail %ld encountered"), (long) temp);
2155
2156   demand_empty_rest_of_line ();
2157
2158   if (flag_mri)
2159     mri_comment_end (stop, stopc);
2160 }
2161
2162 void
2163 s_fill (int ignore ATTRIBUTE_UNUSED)
2164 {
2165   expressionS rep_exp;
2166   long size = 1;
2167   long fill = 0;
2168   char *p;
2169
2170 #ifdef md_flush_pending_output
2171   md_flush_pending_output ();
2172 #endif
2173
2174 #ifdef md_cons_align
2175   md_cons_align (1);
2176 #endif
2177
2178   get_known_segmented_expression (&rep_exp);
2179   if (*input_line_pointer == ',')
2180     {
2181       input_line_pointer++;
2182       size = get_absolute_expression ();
2183       if (*input_line_pointer == ',')
2184         {
2185           input_line_pointer++;
2186           fill = get_absolute_expression ();
2187         }
2188     }
2189
2190   /* This is to be compatible with BSD 4.2 AS, not for any rational reason.  */
2191 #define BSD_FILL_SIZE_CROCK_8 (8)
2192   if (size > BSD_FILL_SIZE_CROCK_8)
2193     {
2194       as_warn (_(".fill size clamped to %d"), BSD_FILL_SIZE_CROCK_8);
2195       size = BSD_FILL_SIZE_CROCK_8;
2196     }
2197   if (size < 0)
2198     {
2199       as_warn (_("size negative; .fill ignored"));
2200       size = 0;
2201     }
2202   else if (rep_exp.X_op == O_constant && rep_exp.X_add_number <= 0)
2203     {
2204       if (rep_exp.X_add_number < 0)
2205         as_warn (_("repeat < 0; .fill ignored"));
2206       size = 0;
2207     }
2208
2209   if (size && !need_pass_2)
2210     {
2211       if (rep_exp.X_op == O_constant)
2212         {
2213           p = frag_var (rs_fill, (int) size, (int) size,
2214                         (relax_substateT) 0, (symbolS *) 0,
2215                         (offsetT) rep_exp.X_add_number,
2216                         (char *) 0);
2217         }
2218       else
2219         {
2220           /* We don't have a constant repeat count, so we can't use
2221              rs_fill.  We can get the same results out of rs_space,
2222              but its argument is in bytes, so we must multiply the
2223              repeat count by size.  */
2224
2225           symbolS *rep_sym;
2226           rep_sym = make_expr_symbol (&rep_exp);
2227           if (size != 1)
2228             {
2229               expressionS size_exp;
2230               size_exp.X_op = O_constant;
2231               size_exp.X_add_number = size;
2232
2233               rep_exp.X_op = O_multiply;
2234               rep_exp.X_add_symbol = rep_sym;
2235               rep_exp.X_op_symbol = make_expr_symbol (&size_exp);
2236               rep_exp.X_add_number = 0;
2237               rep_sym = make_expr_symbol (&rep_exp);
2238             }
2239
2240           p = frag_var (rs_space, (int) size, (int) size,
2241                         (relax_substateT) 0, rep_sym, (offsetT) 0, (char *) 0);
2242         }
2243
2244       memset (p, 0, (unsigned int) size);
2245
2246       /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX
2247          flavoured AS.  The following bizarre behaviour is to be
2248          compatible with above.  I guess they tried to take up to 8
2249          bytes from a 4-byte expression and they forgot to sign
2250          extend.  */
2251 #define BSD_FILL_SIZE_CROCK_4 (4)
2252       md_number_to_chars (p, (valueT) fill,
2253                           (size > BSD_FILL_SIZE_CROCK_4
2254                            ? BSD_FILL_SIZE_CROCK_4
2255                            : (int) size));
2256       /* Note: .fill (),0 emits no frag (since we are asked to .fill 0 bytes)
2257          but emits no error message because it seems a legal thing to do.
2258          It is a degenerate case of .fill but could be emitted by a
2259          compiler.  */
2260     }
2261   demand_empty_rest_of_line ();
2262 }
2263
2264 void
2265 s_globl (int ignore ATTRIBUTE_UNUSED)
2266 {
2267   char *name;
2268   int c;
2269   symbolS *symbolP;
2270   char *stop = NULL;
2271   char stopc = 0;
2272
2273   if (flag_mri)
2274     stop = mri_comment_field (&stopc);
2275
2276   do
2277     {
2278       if ((name = read_symbol_name ()) == NULL)
2279         return;
2280
2281       symbolP = symbol_find_or_make (name);
2282       S_SET_EXTERNAL (symbolP);
2283
2284       SKIP_WHITESPACE ();
2285       c = *input_line_pointer;
2286       if (c == ',')
2287         {
2288           input_line_pointer++;
2289           SKIP_WHITESPACE ();
2290           if (is_end_of_line[(unsigned char) *input_line_pointer])
2291             c = '\n';
2292         }
2293
2294       free (name);
2295     }
2296   while (c == ',');
2297
2298   demand_empty_rest_of_line ();
2299
2300   if (flag_mri)
2301     mri_comment_end (stop, stopc);
2302 }
2303
2304 /* Handle the MRI IRP and IRPC pseudo-ops.  */
2305
2306 void
2307 s_irp (int irpc)
2308 {
2309   char *file, *eol;
2310   unsigned int line;
2311   sb s;
2312   const char *err;
2313   sb out;
2314
2315   as_where (&file, &line);
2316
2317   eol = find_end_of_line (input_line_pointer, 0);
2318   sb_build (&s, eol - input_line_pointer);
2319   sb_add_buffer (&s, input_line_pointer, eol - input_line_pointer);
2320   input_line_pointer = eol;
2321
2322   sb_new (&out);
2323
2324   err = expand_irp (irpc, 0, &s, &out, get_non_macro_line_sb);
2325   if (err != NULL)
2326     as_bad_where (file, line, "%s", err);
2327
2328   sb_kill (&s);
2329
2330   input_scrub_include_sb (&out, input_line_pointer, 1);
2331   sb_kill (&out);
2332   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2333 }
2334
2335 /* Handle the .linkonce pseudo-op.  This tells the assembler to mark
2336    the section to only be linked once.  However, this is not supported
2337    by most object file formats.  This takes an optional argument,
2338    which is what to do about duplicates.  */
2339
2340 void
2341 s_linkonce (int ignore ATTRIBUTE_UNUSED)
2342 {
2343   enum linkonce_type type;
2344
2345   SKIP_WHITESPACE ();
2346
2347   type = LINKONCE_DISCARD;
2348
2349   if (!is_end_of_line[(unsigned char) *input_line_pointer])
2350     {
2351       char *s;
2352       char c;
2353
2354       c = get_symbol_name (& s);
2355       if (strcasecmp (s, "discard") == 0)
2356         type = LINKONCE_DISCARD;
2357       else if (strcasecmp (s, "one_only") == 0)
2358         type = LINKONCE_ONE_ONLY;
2359       else if (strcasecmp (s, "same_size") == 0)
2360         type = LINKONCE_SAME_SIZE;
2361       else if (strcasecmp (s, "same_contents") == 0)
2362         type = LINKONCE_SAME_CONTENTS;
2363       else
2364         as_warn (_("unrecognized .linkonce type `%s'"), s);
2365
2366       (void) restore_line_pointer (c);
2367     }
2368
2369 #ifdef obj_handle_link_once
2370   obj_handle_link_once (type);
2371 #else /* ! defined (obj_handle_link_once) */
2372   {
2373     flagword flags;
2374
2375     if ((bfd_applicable_section_flags (stdoutput) & SEC_LINK_ONCE) == 0)
2376       as_warn (_(".linkonce is not supported for this object file format"));
2377
2378     flags = bfd_get_section_flags (stdoutput, now_seg);
2379     flags |= SEC_LINK_ONCE;
2380     switch (type)
2381       {
2382       default:
2383         abort ();
2384       case LINKONCE_DISCARD:
2385         flags |= SEC_LINK_DUPLICATES_DISCARD;
2386         break;
2387       case LINKONCE_ONE_ONLY:
2388         flags |= SEC_LINK_DUPLICATES_ONE_ONLY;
2389         break;
2390       case LINKONCE_SAME_SIZE:
2391         flags |= SEC_LINK_DUPLICATES_SAME_SIZE;
2392         break;
2393       case LINKONCE_SAME_CONTENTS:
2394         flags |= SEC_LINK_DUPLICATES_SAME_CONTENTS;
2395         break;
2396       }
2397     if (!bfd_set_section_flags (stdoutput, now_seg, flags))
2398       as_bad (_("bfd_set_section_flags: %s"),
2399               bfd_errmsg (bfd_get_error ()));
2400   }
2401 #endif /* ! defined (obj_handle_link_once) */
2402
2403   demand_empty_rest_of_line ();
2404 }
2405
2406 void
2407 bss_alloc (symbolS *symbolP, addressT size, int align)
2408 {
2409   char *pfrag;
2410   segT current_seg = now_seg;
2411   subsegT current_subseg = now_subseg;
2412   segT bss_seg = bss_section;
2413
2414 #if defined (TC_MIPS) || defined (TC_ALPHA)
2415   if (OUTPUT_FLAVOR == bfd_target_ecoff_flavour
2416       || OUTPUT_FLAVOR == bfd_target_elf_flavour)
2417     {
2418       /* For MIPS and Alpha ECOFF or ELF, small objects are put in .sbss.  */
2419       if (size <= bfd_get_gp_size (stdoutput))
2420         {
2421           bss_seg = subseg_new (".sbss", 1);
2422           seg_info (bss_seg)->bss = 1;
2423           if (!bfd_set_section_flags (stdoutput, bss_seg, SEC_ALLOC))
2424             as_warn (_("error setting flags for \".sbss\": %s"),
2425                      bfd_errmsg (bfd_get_error ()));
2426         }
2427     }
2428 #endif
2429   subseg_set (bss_seg, 1);
2430
2431   if (align)
2432     {
2433       record_alignment (bss_seg, align);
2434       frag_align (align, 0, 0);
2435     }
2436
2437   /* Detach from old frag.  */
2438   if (S_GET_SEGMENT (symbolP) == bss_seg)
2439     symbol_get_frag (symbolP)->fr_symbol = NULL;
2440
2441   symbol_set_frag (symbolP, frag_now);
2442   pfrag = frag_var (rs_org, 1, 1, 0, symbolP, size, NULL);
2443   *pfrag = 0;
2444
2445 #ifdef S_SET_SIZE
2446   S_SET_SIZE (symbolP, size);
2447 #endif
2448   S_SET_SEGMENT (symbolP, bss_seg);
2449
2450 #ifdef OBJ_COFF
2451   /* The symbol may already have been created with a preceding
2452      ".globl" directive -- be careful not to step on storage class
2453      in that case.  Otherwise, set it to static.  */
2454   if (S_GET_STORAGE_CLASS (symbolP) != C_EXT)
2455     S_SET_STORAGE_CLASS (symbolP, C_STAT);
2456 #endif /* OBJ_COFF */
2457
2458   subseg_set (current_seg, current_subseg);
2459 }
2460
2461 offsetT
2462 parse_align (int align_bytes)
2463 {
2464   expressionS exp;
2465   addressT align;
2466
2467   SKIP_WHITESPACE ();
2468   if (*input_line_pointer != ',')
2469     {
2470     no_align:
2471       as_bad (_("expected alignment after size"));
2472       ignore_rest_of_line ();
2473       return -1;
2474     }
2475
2476   input_line_pointer++;
2477   SKIP_WHITESPACE ();
2478
2479   align = get_absolute_expr (&exp);
2480   if (exp.X_op == O_absent)
2481     goto no_align;
2482
2483   if (!exp.X_unsigned)
2484     {
2485       as_warn (_("alignment negative; 0 assumed"));
2486       align = 0;
2487     }
2488
2489   if (align_bytes && align != 0)
2490     {
2491       /* convert to a power of 2 alignment */
2492       unsigned int alignp2 = 0;
2493       while ((align & 1) == 0)
2494         align >>= 1, ++alignp2;
2495       if (align != 1)
2496         {
2497           as_bad (_("alignment not a power of 2"));
2498           ignore_rest_of_line ();
2499           return -1;
2500         }
2501       align = alignp2;
2502     }
2503   return align;
2504 }
2505
2506 /* Called from s_comm_internal after symbol name and size have been
2507    parsed.  NEEDS_ALIGN is 0 if it was an ".lcomm" (2 args only),
2508    1 if this was a ".bss" directive which has a 3rd argument
2509    (alignment as a power of 2), or 2 if this was a ".bss" directive
2510    with alignment in bytes.  */
2511
2512 symbolS *
2513 s_lcomm_internal (int needs_align, symbolS *symbolP, addressT size)
2514 {
2515   addressT align = 0;
2516
2517   if (needs_align)
2518     {
2519       align = parse_align (needs_align - 1);
2520       if (align == (addressT) -1)
2521         return NULL;
2522     }
2523   else
2524     /* Assume some objects may require alignment on some systems.  */
2525     TC_IMPLICIT_LCOMM_ALIGNMENT (size, align);
2526
2527   bss_alloc (symbolP, size, align);
2528   return symbolP;
2529 }
2530
2531 void
2532 s_lcomm (int needs_align)
2533 {
2534   s_comm_internal (needs_align, s_lcomm_internal);
2535 }
2536
2537 void
2538 s_lcomm_bytes (int needs_align)
2539 {
2540   s_comm_internal (needs_align * 2, s_lcomm_internal);
2541 }
2542
2543 void
2544 s_lsym (int ignore ATTRIBUTE_UNUSED)
2545 {
2546   char *name;
2547   expressionS exp;
2548   symbolS *symbolP;
2549
2550   /* We permit ANY defined expression: BSD4.2 demands constants.  */
2551   if ((name = read_symbol_name ()) == NULL)
2552     return;
2553
2554   if (*input_line_pointer != ',')
2555     {
2556       as_bad (_("expected comma after \"%s\""), name);
2557       goto err_out;
2558     }
2559
2560   input_line_pointer++;
2561   expression_and_evaluate (&exp);
2562
2563   if (exp.X_op != O_constant
2564       && exp.X_op != O_register)
2565     {
2566       as_bad (_("bad expression"));
2567       goto err_out;
2568     }
2569
2570   symbolP = symbol_find_or_make (name);
2571
2572   if (S_GET_SEGMENT (symbolP) == undefined_section)
2573     {
2574       /* The name might be an undefined .global symbol; be sure to
2575          keep the "external" bit.  */
2576       S_SET_SEGMENT (symbolP,
2577                      (exp.X_op == O_constant
2578                       ? absolute_section
2579                       : reg_section));
2580       S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
2581     }
2582   else
2583     {
2584       as_bad (_("symbol `%s' is already defined"), name);
2585     }
2586
2587   demand_empty_rest_of_line ();
2588   free (name);
2589   return;
2590
2591  err_out:
2592   ignore_rest_of_line ();
2593   free (name);
2594   return;
2595 }
2596
2597 /* Read a line into an sb.  Returns the character that ended the line
2598    or zero if there are no more lines.  */
2599
2600 static int
2601 get_line_sb (sb *line, int in_macro)
2602 {
2603   char *eol;
2604
2605   if (input_line_pointer[-1] == '\n')
2606     bump_line_counters ();
2607
2608   if (input_line_pointer >= buffer_limit)
2609     {
2610       buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2611       if (buffer_limit == 0)
2612         return 0;
2613     }
2614
2615   eol = _find_end_of_line (input_line_pointer, flag_m68k_mri, 0, in_macro);
2616   sb_add_buffer (line, input_line_pointer, eol - input_line_pointer);
2617   input_line_pointer = eol;
2618
2619   /* Don't skip multiple end-of-line characters, because that breaks support
2620      for the IA-64 stop bit (;;) which looks like two consecutive end-of-line
2621      characters but isn't.  Instead just skip one end of line character and
2622      return the character skipped so that the caller can re-insert it if
2623      necessary.   */
2624   return *input_line_pointer++;
2625 }
2626
2627 static size_t
2628 get_non_macro_line_sb (sb *line)
2629 {
2630   return get_line_sb (line, 0);
2631 }
2632
2633 static size_t
2634 get_macro_line_sb (sb *line)
2635 {
2636   return get_line_sb (line, 1);
2637 }
2638
2639 /* Define a macro.  This is an interface to macro.c.  */
2640
2641 void
2642 s_macro (int ignore ATTRIBUTE_UNUSED)
2643 {
2644   char *file, *eol;
2645   unsigned int line;
2646   sb s;
2647   const char *err;
2648   const char *name;
2649
2650   as_where (&file, &line);
2651
2652   eol = find_end_of_line (input_line_pointer, 0);
2653   sb_build (&s, eol - input_line_pointer);
2654   sb_add_buffer (&s, input_line_pointer, eol - input_line_pointer);
2655   input_line_pointer = eol;
2656
2657   if (line_label != NULL)
2658     {
2659       sb label;
2660       size_t len;
2661
2662       name = S_GET_NAME (line_label);
2663       len = strlen (name);
2664       sb_build (&label, len);
2665       sb_add_buffer (&label, name, len);
2666       err = define_macro (0, &s, &label, get_macro_line_sb, file, line, &name);
2667       sb_kill (&label);
2668     }
2669   else
2670     err = define_macro (0, &s, NULL, get_macro_line_sb, file, line, &name);
2671   if (err != NULL)
2672     as_bad_where (file, line, err, name);
2673   else
2674     {
2675       if (line_label != NULL)
2676         {
2677           S_SET_SEGMENT (line_label, absolute_section);
2678           S_SET_VALUE (line_label, 0);
2679           symbol_set_frag (line_label, &zero_address_frag);
2680         }
2681
2682       if (((NO_PSEUDO_DOT || flag_m68k_mri)
2683            && hash_find (po_hash, name) != NULL)
2684           || (!flag_m68k_mri
2685               && *name == '.'
2686               && hash_find (po_hash, name + 1) != NULL))
2687         as_warn_where (file,
2688                  line,
2689                  _("attempt to redefine pseudo-op `%s' ignored"),
2690                  name);
2691     }
2692
2693   sb_kill (&s);
2694 }
2695
2696 /* Handle the .mexit pseudo-op, which immediately exits a macro
2697    expansion.  */
2698
2699 void
2700 s_mexit (int ignore ATTRIBUTE_UNUSED)
2701 {
2702   if (macro_nest)
2703     {
2704       cond_exit_macro (macro_nest);
2705       buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2706     }
2707   else
2708     as_warn (_("ignoring macro exit outside a macro definition."));
2709 }
2710
2711 /* Switch in and out of MRI mode.  */
2712
2713 void
2714 s_mri (int ignore ATTRIBUTE_UNUSED)
2715 {
2716   int on;
2717 #ifdef MRI_MODE_CHANGE
2718   int old_flag;
2719 #endif
2720
2721   on = get_absolute_expression ();
2722 #ifdef MRI_MODE_CHANGE
2723   old_flag = flag_mri;
2724 #endif
2725   if (on != 0)
2726     {
2727       flag_mri = 1;
2728 #ifdef TC_M68K
2729       flag_m68k_mri = 1;
2730 #endif
2731       macro_mri_mode (1);
2732     }
2733   else
2734     {
2735       flag_mri = 0;
2736 #ifdef TC_M68K
2737       flag_m68k_mri = 0;
2738 #endif
2739       macro_mri_mode (0);
2740     }
2741
2742   /* Operator precedence changes in m68k MRI mode, so we need to
2743      update the operator rankings.  */
2744   expr_set_precedence ();
2745
2746 #ifdef MRI_MODE_CHANGE
2747   if (on != old_flag)
2748     MRI_MODE_CHANGE (on);
2749 #endif
2750
2751   demand_empty_rest_of_line ();
2752 }
2753
2754 /* Handle changing the location counter.  */
2755
2756 static void
2757 do_org (segT segment, expressionS *exp, int fill)
2758 {
2759   if (segment != now_seg
2760       && segment != absolute_section
2761       && segment != expr_section)
2762     as_bad (_("invalid segment \"%s\""), segment_name (segment));
2763
2764   if (now_seg == absolute_section)
2765     {
2766       if (fill != 0)
2767         as_warn (_("ignoring fill value in absolute section"));
2768       if (exp->X_op != O_constant)
2769         {
2770           as_bad (_("only constant offsets supported in absolute section"));
2771           exp->X_add_number = 0;
2772         }
2773       abs_section_offset = exp->X_add_number;
2774     }
2775   else
2776     {
2777       char *p;
2778       symbolS *sym = exp->X_add_symbol;
2779       offsetT off = exp->X_add_number * OCTETS_PER_BYTE;
2780
2781       if (exp->X_op != O_constant && exp->X_op != O_symbol)
2782         {
2783           /* Handle complex expressions.  */
2784           sym = make_expr_symbol (exp);
2785           off = 0;
2786         }
2787
2788       p = frag_var (rs_org, 1, 1, (relax_substateT) 0, sym, off, (char *) 0);
2789       *p = fill;
2790     }
2791 }
2792
2793 void
2794 s_org (int ignore ATTRIBUTE_UNUSED)
2795 {
2796   segT segment;
2797   expressionS exp;
2798   long temp_fill;
2799
2800 #ifdef md_flush_pending_output
2801   md_flush_pending_output ();
2802 #endif
2803
2804   /* The m68k MRI assembler has a different meaning for .org.  It
2805      means to create an absolute section at a given address.  We can't
2806      support that--use a linker script instead.  */
2807   if (flag_m68k_mri)
2808     {
2809       as_bad (_("MRI style ORG pseudo-op not supported"));
2810       ignore_rest_of_line ();
2811       return;
2812     }
2813
2814   /* Don't believe the documentation of BSD 4.2 AS.  There is no such
2815      thing as a sub-segment-relative origin.  Any absolute origin is
2816      given a warning, then assumed to be segment-relative.  Any
2817      segmented origin expression ("foo+42") had better be in the right
2818      segment or the .org is ignored.
2819
2820      BSD 4.2 AS warns if you try to .org backwards. We cannot because
2821      we never know sub-segment sizes when we are reading code.  BSD
2822      will crash trying to emit negative numbers of filler bytes in
2823      certain .orgs. We don't crash, but see as-write for that code.
2824
2825      Don't make frag if need_pass_2==1.  */
2826   segment = get_known_segmented_expression (&exp);
2827   if (*input_line_pointer == ',')
2828     {
2829       input_line_pointer++;
2830       temp_fill = get_absolute_expression ();
2831     }
2832   else
2833     temp_fill = 0;
2834
2835   if (!need_pass_2)
2836     do_org (segment, &exp, temp_fill);
2837
2838   demand_empty_rest_of_line ();
2839 }
2840
2841 /* Handle parsing for the MRI SECT/SECTION pseudo-op.  This should be
2842    called by the obj-format routine which handles section changing
2843    when in MRI mode.  It will create a new section, and return it.  It
2844    will set *TYPE to the section type: one of 'C' (code), 'D' (data),
2845    'M' (mixed), or 'R' (romable).  The flags will be set in the section.  */
2846
2847 void
2848 s_mri_sect (char *type ATTRIBUTE_UNUSED)
2849 {
2850 #ifdef TC_M68K
2851
2852   char *name;
2853   char c;
2854   segT seg;
2855
2856   SKIP_WHITESPACE ();
2857
2858   name = input_line_pointer;
2859   if (!ISDIGIT (*name))
2860     c = get_symbol_name (& name);
2861   else
2862     {
2863       do
2864         {
2865           ++input_line_pointer;
2866         }
2867       while (ISDIGIT (*input_line_pointer));
2868
2869       c = *input_line_pointer;
2870       *input_line_pointer = '\0';
2871     }
2872
2873   name = xstrdup (name);
2874
2875   c = restore_line_pointer (c);
2876
2877   seg = subseg_new (name, 0);
2878
2879   if (c == ',')
2880     {
2881       int align;
2882
2883       ++input_line_pointer;
2884       align = get_absolute_expression ();
2885       record_alignment (seg, align);
2886     }
2887
2888   *type = 'C';
2889   if (*input_line_pointer == ',')
2890     {
2891       c = *++input_line_pointer;
2892       c = TOUPPER (c);
2893       if (c == 'C' || c == 'D' || c == 'M' || c == 'R')
2894         *type = c;
2895       else
2896         as_bad (_("unrecognized section type"));
2897       ++input_line_pointer;
2898
2899       {
2900         flagword flags;
2901
2902         flags = SEC_NO_FLAGS;
2903         if (*type == 'C')
2904           flags = SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE;
2905         else if (*type == 'D' || *type == 'M')
2906           flags = SEC_ALLOC | SEC_LOAD | SEC_DATA;
2907         else if (*type == 'R')
2908           flags = SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_READONLY | SEC_ROM;
2909         if (flags != SEC_NO_FLAGS)
2910           {
2911             if (!bfd_set_section_flags (stdoutput, seg, flags))
2912               as_warn (_("error setting flags for \"%s\": %s"),
2913                        bfd_section_name (stdoutput, seg),
2914                        bfd_errmsg (bfd_get_error ()));
2915           }
2916       }
2917     }
2918
2919   /* Ignore the HP type.  */
2920   if (*input_line_pointer == ',')
2921     input_line_pointer += 2;
2922
2923   demand_empty_rest_of_line ();
2924
2925 #else /* ! TC_M68K */
2926 #ifdef TC_I960
2927
2928   char *name;
2929   char c;
2930   segT seg;
2931
2932   SKIP_WHITESPACE ();
2933
2934   c = get_symbol_name (& name);
2935
2936   name = xstrdup (name);
2937
2938   c = restore_line_pointer (c);
2939
2940   seg = subseg_new (name, 0);
2941
2942   if (c != ',')
2943     *type = 'C';
2944   else
2945     {
2946       char *sectype;
2947
2948       ++input_line_pointer;
2949       SKIP_WHITESPACE ();
2950       c = get_symbol_name (& sectype);
2951       if (*sectype == '\0')
2952         *type = 'C';
2953       else if (strcasecmp (sectype, "text") == 0)
2954         *type = 'C';
2955       else if (strcasecmp (sectype, "data") == 0)
2956         *type = 'D';
2957       else if (strcasecmp (sectype, "romdata") == 0)
2958         *type = 'R';
2959       else
2960         as_warn (_("unrecognized section type `%s'"), sectype);
2961       (void) restore_line_pointer (c);
2962     }
2963
2964   if (*input_line_pointer == ',')
2965     {
2966       char *seccmd;
2967
2968       ++input_line_pointer;
2969       SKIP_WHITESPACE ();
2970       c = get_symbol_name (& seccmd);
2971       if (strcasecmp (seccmd, "absolute") == 0)
2972         {
2973           as_bad (_("absolute sections are not supported"));
2974           *input_line_pointer = c;
2975           ignore_rest_of_line ();
2976           return;
2977         }
2978       else if (strcasecmp (seccmd, "align") == 0)
2979         {
2980           int align;
2981
2982           (void) restore_line_pointer (c);
2983           align = get_absolute_expression ();
2984           record_alignment (seg, align);
2985         }
2986       else
2987         {
2988           as_warn (_("unrecognized section command `%s'"), seccmd);
2989           (void) restore_line_pointer (c);
2990         }
2991     }
2992
2993   demand_empty_rest_of_line ();
2994
2995 #else /* ! TC_I960 */
2996   /* The MRI assembler seems to use different forms of .sect for
2997      different targets.  */
2998   as_bad ("MRI mode not supported for this target");
2999   ignore_rest_of_line ();
3000 #endif /* ! TC_I960 */
3001 #endif /* ! TC_M68K */
3002 }
3003
3004 /* Handle the .print pseudo-op.  */
3005
3006 void
3007 s_print (int ignore ATTRIBUTE_UNUSED)
3008 {
3009   char *s;
3010   int len;
3011
3012   s = demand_copy_C_string (&len);
3013   if (s != NULL)
3014     printf ("%s\n", s);
3015   demand_empty_rest_of_line ();
3016 }
3017
3018 /* Handle the .purgem pseudo-op.  */
3019
3020 void
3021 s_purgem (int ignore ATTRIBUTE_UNUSED)
3022 {
3023   if (is_it_end_of_statement ())
3024     {
3025       demand_empty_rest_of_line ();
3026       return;
3027     }
3028
3029   do
3030     {
3031       char *name;
3032       char c;
3033
3034       SKIP_WHITESPACE ();
3035       c = get_symbol_name (& name);
3036       delete_macro (name);
3037       *input_line_pointer = c;
3038       SKIP_WHITESPACE_AFTER_NAME ();
3039     }
3040   while (*input_line_pointer++ == ',');
3041
3042   --input_line_pointer;
3043   demand_empty_rest_of_line ();
3044 }
3045
3046 /* Handle the .endm/.endr pseudo-ops.  */
3047
3048 static void
3049 s_bad_end (int endr)
3050 {
3051   as_warn (_(".end%c encountered without preceding %s"),
3052            endr ? 'r' : 'm',
3053            endr ? ".rept, .irp, or .irpc" : ".macro");
3054   demand_empty_rest_of_line ();
3055 }
3056
3057 /* Handle the .rept pseudo-op.  */
3058
3059 void
3060 s_rept (int ignore ATTRIBUTE_UNUSED)
3061 {
3062   int count;
3063
3064   count = get_absolute_expression ();
3065
3066   do_repeat (count, "REPT", "ENDR");
3067 }
3068
3069 /* This function provides a generic repeat block implementation.   It allows
3070    different directives to be used as the start/end keys.  */
3071
3072 void
3073 do_repeat (int count, const char *start, const char *end)
3074 {
3075   sb one;
3076   sb many;
3077
3078   sb_new (&one);
3079   if (!buffer_and_nest (start, end, &one, get_non_macro_line_sb))
3080     {
3081       as_bad (_("%s without %s"), start, end);
3082       return;
3083     }
3084
3085   sb_build (&many, count * one.len);
3086   while (count-- > 0)
3087     sb_add_sb (&many, &one);
3088
3089   sb_kill (&one);
3090
3091   input_scrub_include_sb (&many, input_line_pointer, 1);
3092   sb_kill (&many);
3093   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
3094 }
3095
3096 /* Like do_repeat except that any text matching EXPANDER in the
3097    block is replaced by the itteration count.  */
3098
3099 void
3100 do_repeat_with_expander (int count,
3101                          const char * start,
3102                          const char * end,
3103                          const char * expander)
3104 {
3105   sb one;
3106   sb many;
3107
3108   sb_new (&one);
3109   if (!buffer_and_nest (start, end, &one, get_non_macro_line_sb))
3110     {
3111       as_bad (_("%s without %s"), start, end);
3112       return;
3113     }
3114
3115   sb_new (&many);
3116
3117   if (expander != NULL && strstr (one.ptr, expander) != NULL)
3118     {
3119       while (count -- > 0)
3120         {
3121           int len;
3122           char * sub;
3123           sb processed;
3124
3125           sb_build (& processed, one.len);
3126           sb_add_sb (& processed, & one);
3127           sub = strstr (processed.ptr, expander);
3128           len = sprintf (sub, "%d", count);
3129           gas_assert (len < 8);
3130           strcpy (sub + len, sub + 8);
3131           processed.len -= (8 - len);
3132           sb_add_sb (& many, & processed);
3133           sb_kill (& processed);
3134         }
3135     }
3136   else
3137     while (count-- > 0)
3138       sb_add_sb (&many, &one);
3139
3140   sb_kill (&one);
3141
3142   input_scrub_include_sb (&many, input_line_pointer, 1);
3143   sb_kill (&many);
3144   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
3145 }
3146
3147 /* Skip to end of current repeat loop; EXTRA indicates how many additional
3148    input buffers to skip.  Assumes that conditionals preceding the loop end
3149    are properly nested.
3150
3151    This function makes it easier to implement a premature "break" out of the
3152    loop.  The EXTRA arg accounts for other buffers we might have inserted,
3153    such as line substitutions.  */
3154
3155 void
3156 end_repeat (int extra)
3157 {
3158   cond_exit_macro (macro_nest);
3159   while (extra-- >= 0)
3160     buffer_limit = input_scrub_next_buffer (&input_line_pointer);
3161 }
3162
3163 static void
3164 assign_symbol (char *name, int mode)
3165 {
3166   symbolS *symbolP;
3167
3168   if (name[0] == '.' && name[1] == '\0')
3169     {
3170       /* Turn '. = mumble' into a .org mumble.  */
3171       segT segment;
3172       expressionS exp;
3173
3174       segment = get_known_segmented_expression (&exp);
3175
3176       if (!need_pass_2)
3177         do_org (segment, &exp, 0);
3178
3179       return;
3180     }
3181
3182   if ((symbolP = symbol_find (name)) == NULL
3183       && (symbolP = md_undefined_symbol (name)) == NULL)
3184     {
3185       symbolP = symbol_find_or_make (name);
3186 #ifndef NO_LISTING
3187       /* When doing symbol listings, play games with dummy fragments living
3188          outside the normal fragment chain to record the file and line info
3189          for this symbol.  */
3190       if (listing & LISTING_SYMBOLS)
3191         {
3192           extern struct list_info_struct *listing_tail;
3193           fragS *dummy_frag = (fragS *) xcalloc (1, sizeof (fragS));
3194           dummy_frag->line = listing_tail;
3195           dummy_frag->fr_symbol = symbolP;
3196           symbol_set_frag (symbolP, dummy_frag);
3197         }
3198 #endif
3199 #if defined (OBJ_COFF) && !defined (TE_PE)
3200       /* "set" symbols are local unless otherwise specified.  */
3201       SF_SET_LOCAL (symbolP);
3202 #endif
3203     }
3204
3205   if (S_IS_DEFINED (symbolP) || symbol_equated_p (symbolP))
3206     {
3207       if ((mode != 0 || !S_IS_VOLATILE (symbolP))
3208           && !S_CAN_BE_REDEFINED (symbolP))
3209         {
3210           as_bad (_("symbol `%s' is already defined"), name);
3211           symbolP = symbol_clone (symbolP, 0);
3212         }
3213       /* If the symbol is volatile, copy the symbol and replace the
3214          original with the copy, so that previous uses of the symbol will
3215          retain the value of the symbol at the point of use.  */
3216       else if (S_IS_VOLATILE (symbolP))
3217         symbolP = symbol_clone (symbolP, 1);
3218     }
3219
3220   if (mode == 0)
3221     S_SET_VOLATILE (symbolP);
3222   else if (mode < 0)
3223     S_SET_FORWARD_REF (symbolP);
3224
3225   pseudo_set (symbolP);
3226 }
3227
3228 /* Handle the .equ, .equiv, .eqv, and .set directives.  If EQUIV is 1,
3229    then this is .equiv, and it is an error if the symbol is already
3230    defined.  If EQUIV is -1, the symbol additionally is a forward
3231    reference.  */
3232
3233 void
3234 s_set (int equiv)
3235 {
3236   char *name;
3237
3238   /* Especial apologies for the random logic:
3239      this just grew, and could be parsed much more simply!
3240      Dean in haste.  */
3241   if ((name = read_symbol_name ()) == NULL)
3242     return;
3243
3244   if (*input_line_pointer != ',')
3245     {
3246       as_bad (_("expected comma after \"%s\""), name);
3247       ignore_rest_of_line ();
3248       free (name);
3249       return;
3250     }
3251
3252   input_line_pointer++;
3253   assign_symbol (name, equiv);
3254   demand_empty_rest_of_line ();
3255   free (name);
3256 }
3257
3258 void
3259 s_space (int mult)
3260 {
3261   expressionS exp;
3262   expressionS val;
3263   char *p = 0;
3264   char *stop = NULL;
3265   char stopc = 0;
3266   int bytes;
3267
3268 #ifdef md_flush_pending_output
3269   md_flush_pending_output ();
3270 #endif
3271
3272 #ifdef md_cons_align
3273   md_cons_align (1);
3274 #endif
3275
3276   if (flag_mri)
3277     stop = mri_comment_field (&stopc);
3278
3279   /* In m68k MRI mode, we need to align to a word boundary, unless
3280      this is ds.b.  */
3281   if (flag_m68k_mri && mult > 1)
3282     {
3283       if (now_seg == absolute_section)
3284         {
3285           abs_section_offset += abs_section_offset & 1;
3286           if (line_label != NULL)
3287             S_SET_VALUE (line_label, abs_section_offset);
3288         }
3289       else if (mri_common_symbol != NULL)
3290         {
3291           valueT mri_val;
3292
3293           mri_val = S_GET_VALUE (mri_common_symbol);
3294           if ((mri_val & 1) != 0)
3295             {
3296               S_SET_VALUE (mri_common_symbol, mri_val + 1);
3297               if (line_label != NULL)
3298                 {
3299                   expressionS *symexp;
3300
3301                   symexp = symbol_get_value_expression (line_label);
3302                   know (symexp->X_op == O_symbol);
3303                   know (symexp->X_add_symbol == mri_common_symbol);
3304                   symexp->X_add_number += 1;
3305                 }
3306             }
3307         }
3308       else
3309         {
3310           do_align (1, (char *) NULL, 0, 0);
3311           if (line_label != NULL)
3312             {
3313               symbol_set_frag (line_label, frag_now);
3314               S_SET_VALUE (line_label, frag_now_fix ());
3315             }
3316         }
3317     }
3318
3319   bytes = mult;
3320
3321   expression (&exp);
3322
3323   SKIP_WHITESPACE ();
3324   if (*input_line_pointer == ',')
3325     {
3326       ++input_line_pointer;
3327       expression (&val);
3328     }
3329   else
3330     {
3331       val.X_op = O_constant;
3332       val.X_add_number = 0;
3333     }
3334
3335   if (val.X_op != O_constant
3336       || val.X_add_number < - 0x80
3337       || val.X_add_number > 0xff
3338       || (mult != 0 && mult != 1 && val.X_add_number != 0))
3339     {
3340       resolve_expression (&exp);
3341       if (exp.X_op != O_constant)
3342         as_bad (_("unsupported variable size or fill value"));
3343       else
3344         {
3345           offsetT i;
3346
3347           if (mult == 0)
3348             mult = 1;
3349           bytes = mult * exp.X_add_number;
3350           for (i = 0; i < exp.X_add_number; i++)
3351             emit_expr (&val, mult);
3352         }
3353     }
3354   else
3355     {
3356       if (now_seg == absolute_section || mri_common_symbol != NULL)
3357         resolve_expression (&exp);
3358
3359       if (exp.X_op == O_constant)
3360         {
3361           offsetT repeat;
3362
3363           repeat = exp.X_add_number;
3364           if (mult)
3365             repeat *= mult;
3366           bytes = repeat;
3367           if (repeat <= 0)
3368             {
3369               if (!flag_mri)
3370                 as_warn (_(".space repeat count is zero, ignored"));
3371               else if (repeat < 0)
3372                 as_warn (_(".space repeat count is negative, ignored"));
3373               goto getout;
3374             }
3375
3376           /* If we are in the absolute section, just bump the offset.  */
3377           if (now_seg == absolute_section)
3378             {
3379               abs_section_offset += repeat;
3380               goto getout;
3381             }
3382
3383           /* If we are secretly in an MRI common section, then
3384              creating space just increases the size of the common
3385              symbol.  */
3386           if (mri_common_symbol != NULL)
3387             {
3388               S_SET_VALUE (mri_common_symbol,
3389                            S_GET_VALUE (mri_common_symbol) + repeat);
3390               goto getout;
3391             }
3392
3393           if (!need_pass_2)
3394             p = frag_var (rs_fill, 1, 1, (relax_substateT) 0, (symbolS *) 0,
3395                           (offsetT) repeat, (char *) 0);
3396         }
3397       else
3398         {
3399           if (now_seg == absolute_section)
3400             {
3401               as_bad (_("space allocation too complex in absolute section"));
3402               subseg_set (text_section, 0);
3403             }
3404
3405           if (mri_common_symbol != NULL)
3406             {
3407               as_bad (_("space allocation too complex in common section"));
3408               mri_common_symbol = NULL;
3409             }
3410
3411           if (!need_pass_2)
3412             p = frag_var (rs_space, 1, 1, (relax_substateT) 0,
3413                           make_expr_symbol (&exp), (offsetT) 0, (char *) 0);
3414         }
3415
3416       if (p)
3417         *p = val.X_add_number;
3418     }
3419
3420  getout:
3421
3422   /* In MRI mode, after an odd number of bytes, we must align to an
3423      even word boundary, unless the next instruction is a dc.b, ds.b
3424      or dcb.b.  */
3425   if (flag_mri && (bytes & 1) != 0)
3426     mri_pending_align = 1;
3427
3428   demand_empty_rest_of_line ();
3429
3430   if (flag_mri)
3431     mri_comment_end (stop, stopc);
3432 }
3433
3434 /* This is like s_space, but the value is a floating point number with
3435    the given precision.  This is for the MRI dcb.s pseudo-op and
3436    friends.  */
3437
3438 void
3439 s_float_space (int float_type)
3440 {
3441   offsetT count;
3442   int flen;
3443   char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
3444   char *stop = NULL;
3445   char stopc = 0;
3446
3447 #ifdef md_cons_align
3448   md_cons_align (1);
3449 #endif
3450
3451   if (flag_mri)
3452     stop = mri_comment_field (&stopc);
3453
3454   count = get_absolute_expression ();
3455
3456   SKIP_WHITESPACE ();
3457   if (*input_line_pointer != ',')
3458     {
3459       as_bad (_("missing value"));
3460       ignore_rest_of_line ();
3461       if (flag_mri)
3462         mri_comment_end (stop, stopc);
3463       return;
3464     }
3465
3466   ++input_line_pointer;
3467
3468   SKIP_WHITESPACE ();
3469
3470   /* Skip any 0{letter} that may be present.  Don't even check if the
3471    * letter is legal.  */
3472   if (input_line_pointer[0] == '0'
3473       && ISALPHA (input_line_pointer[1]))
3474     input_line_pointer += 2;
3475
3476   /* Accept :xxxx, where the x's are hex digits, for a floating point
3477      with the exact digits specified.  */
3478   if (input_line_pointer[0] == ':')
3479     {
3480       flen = hex_float (float_type, temp);
3481       if (flen < 0)
3482         {
3483           ignore_rest_of_line ();
3484           if (flag_mri)
3485             mri_comment_end (stop, stopc);
3486           return;
3487         }
3488     }
3489   else
3490     {
3491       char *err;
3492
3493       err = md_atof (float_type, temp, &flen);
3494       know (flen <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
3495       know (err != NULL || flen > 0);
3496       if (err)
3497         {
3498           as_bad (_("bad floating literal: %s"), err);
3499           ignore_rest_of_line ();
3500           if (flag_mri)
3501             mri_comment_end (stop, stopc);
3502           return;
3503         }
3504     }
3505
3506   while (--count >= 0)
3507     {
3508       char *p;
3509
3510       p = frag_more (flen);
3511       memcpy (p, temp, (unsigned int) flen);
3512     }
3513
3514   demand_empty_rest_of_line ();
3515
3516   if (flag_mri)
3517     mri_comment_end (stop, stopc);
3518 }
3519
3520 /* Handle the .struct pseudo-op, as found in MIPS assemblers.  */
3521
3522 void
3523 s_struct (int ignore ATTRIBUTE_UNUSED)
3524 {
3525   char *stop = NULL;
3526   char stopc = 0;
3527
3528   if (flag_mri)
3529     stop = mri_comment_field (&stopc);
3530   abs_section_offset = get_absolute_expression ();
3531 #if defined (OBJ_ELF) || defined (OBJ_MAYBE_ELF)
3532   /* The ELF backend needs to know that we are changing sections, so
3533      that .previous works correctly. */
3534   if (IS_ELF)
3535     obj_elf_section_change_hook ();
3536 #endif
3537   subseg_set (absolute_section, 0);
3538   demand_empty_rest_of_line ();
3539   if (flag_mri)
3540     mri_comment_end (stop, stopc);
3541 }
3542
3543 void
3544 s_text (int ignore ATTRIBUTE_UNUSED)
3545 {
3546   int temp;
3547
3548   temp = get_absolute_expression ();
3549   subseg_set (text_section, (subsegT) temp);
3550   demand_empty_rest_of_line ();
3551 }
3552
3553 /* .weakref x, y sets x as an alias to y that, as long as y is not
3554    referenced directly, will cause y to become a weak symbol.  */
3555 void
3556 s_weakref (int ignore ATTRIBUTE_UNUSED)
3557 {
3558   char *name;
3559   symbolS *symbolP;
3560   symbolS *symbolP2;
3561   expressionS exp;
3562
3563   if ((name = read_symbol_name ()) == NULL)
3564     return;
3565
3566   symbolP = symbol_find_or_make (name);
3567
3568   if (S_IS_DEFINED (symbolP) || symbol_equated_p (symbolP))
3569     {
3570       if (!S_IS_VOLATILE (symbolP))
3571         {
3572           as_bad (_("symbol `%s' is already defined"), name);
3573           goto err_out;
3574         }
3575       symbolP = symbol_clone (symbolP, 1);
3576       S_CLEAR_VOLATILE (symbolP);
3577     }
3578
3579   SKIP_WHITESPACE ();
3580
3581   if (*input_line_pointer != ',')
3582     {
3583       as_bad (_("expected comma after \"%s\""), name);
3584       goto err_out;
3585     }
3586
3587   input_line_pointer++;
3588
3589   SKIP_WHITESPACE ();
3590   free (name);
3591
3592   if ((name = read_symbol_name ()) == NULL)
3593     return;
3594
3595   if ((symbolP2 = symbol_find_noref (name, 1)) == NULL
3596       && (symbolP2 = md_undefined_symbol (name)) == NULL)
3597     {
3598       symbolP2 = symbol_find_or_make (name);
3599       S_SET_WEAKREFD (symbolP2);
3600     }
3601   else
3602     {
3603       symbolS *symp = symbolP2;
3604
3605       while (S_IS_WEAKREFR (symp) && symp != symbolP)
3606         {
3607           expressionS *expP = symbol_get_value_expression (symp);
3608
3609           gas_assert (expP->X_op == O_symbol
3610                   && expP->X_add_number == 0);
3611           symp = expP->X_add_symbol;
3612         }
3613       if (symp == symbolP)
3614         {
3615           char *loop;
3616
3617           loop = concat (S_GET_NAME (symbolP),
3618                          " => ", S_GET_NAME (symbolP2), (const char *) NULL);
3619
3620           symp = symbolP2;
3621           while (symp != symbolP)
3622             {
3623               char *old_loop = loop;
3624
3625               symp = symbol_get_value_expression (symp)->X_add_symbol;
3626               loop = concat (loop, " => ", S_GET_NAME (symp),
3627                              (const char *) NULL);
3628               free (old_loop);
3629             }
3630
3631           as_bad (_("%s: would close weakref loop: %s"),
3632                   S_GET_NAME (symbolP), loop);
3633
3634           free (loop);
3635           free (name);
3636           ignore_rest_of_line ();
3637           return;
3638         }
3639
3640       /* Short-circuiting instead of just checking here might speed
3641          things up a tiny little bit, but loop error messages would
3642          miss intermediate links.  */
3643       /* symbolP2 = symp; */
3644     }
3645
3646   memset (&exp, 0, sizeof (exp));
3647   exp.X_op = O_symbol;
3648   exp.X_add_symbol = symbolP2;
3649
3650   S_SET_SEGMENT (symbolP, undefined_section);
3651   symbol_set_value_expression (symbolP, &exp);
3652   symbol_set_frag (symbolP, &zero_address_frag);
3653   S_SET_WEAKREFR (symbolP);
3654
3655   demand_empty_rest_of_line ();
3656   free (name);
3657   return;
3658
3659  err_out:
3660   ignore_rest_of_line ();
3661   free (name);
3662   return;
3663 }
3664 \f
3665
3666 /* Verify that we are at the end of a line.  If not, issue an error and
3667    skip to EOL.  */
3668
3669 void
3670 demand_empty_rest_of_line (void)
3671 {
3672   SKIP_WHITESPACE ();
3673   if (is_end_of_line[(unsigned char) *input_line_pointer])
3674     input_line_pointer++;
3675   else
3676     {
3677       if (ISPRINT (*input_line_pointer))
3678         as_bad (_("junk at end of line, first unrecognized character is `%c'"),
3679                  *input_line_pointer);
3680       else
3681         as_bad (_("junk at end of line, first unrecognized character valued 0x%x"),
3682                  *input_line_pointer);
3683       ignore_rest_of_line ();
3684     }
3685
3686   /* Return pointing just after end-of-line.  */
3687   know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
3688 }
3689
3690 /* Silently advance to the end of line.  Use this after already having
3691    issued an error about something bad.  */
3692
3693 void
3694 ignore_rest_of_line (void)
3695 {
3696   while (input_line_pointer < buffer_limit
3697          && !is_end_of_line[(unsigned char) *input_line_pointer])
3698     input_line_pointer++;
3699
3700   input_line_pointer++;
3701
3702   /* Return pointing just after end-of-line.  */
3703   know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
3704 }
3705
3706 /* Sets frag for given symbol to zero_address_frag, except when the
3707    symbol frag is already set to a dummy listing frag.  */
3708
3709 static void
3710 set_zero_frag (symbolS *symbolP)
3711 {
3712   if (symbol_get_frag (symbolP)->fr_type != rs_dummy)
3713     symbol_set_frag (symbolP, &zero_address_frag);
3714 }
3715
3716 /* In:  Pointer to a symbol.
3717         Input_line_pointer->expression.
3718
3719    Out: Input_line_pointer->just after any whitespace after expression.
3720         Tried to set symbol to value of expression.
3721         Will change symbols type, value, and frag;  */
3722
3723 void
3724 pseudo_set (symbolS *symbolP)
3725 {
3726   expressionS exp;
3727   segT seg;
3728
3729   know (symbolP);               /* NULL pointer is logic error.  */
3730
3731   if (!S_IS_FORWARD_REF (symbolP))
3732     (void) expression (&exp);
3733   else
3734     (void) deferred_expression (&exp);
3735
3736   if (exp.X_op == O_illegal)
3737     as_bad (_("illegal expression"));
3738   else if (exp.X_op == O_absent)
3739     as_bad (_("missing expression"));
3740   else if (exp.X_op == O_big)
3741     {
3742       if (exp.X_add_number > 0)
3743         as_bad (_("bignum invalid"));
3744       else
3745         as_bad (_("floating point number invalid"));
3746     }
3747   else if (exp.X_op == O_subtract
3748            && !S_IS_FORWARD_REF (symbolP)
3749            && SEG_NORMAL (S_GET_SEGMENT (exp.X_add_symbol))
3750            && (symbol_get_frag (exp.X_add_symbol)
3751                == symbol_get_frag (exp.X_op_symbol)))
3752     {
3753       exp.X_op = O_constant;
3754       exp.X_add_number = (S_GET_VALUE (exp.X_add_symbol)
3755                           - S_GET_VALUE (exp.X_op_symbol));
3756     }
3757
3758   if (symbol_section_p (symbolP))
3759     {
3760       as_bad ("attempt to set value of section symbol");
3761       return;
3762     }
3763
3764   switch (exp.X_op)
3765     {
3766     case O_illegal:
3767     case O_absent:
3768     case O_big:
3769       exp.X_add_number = 0;
3770       /* Fall through.  */
3771     case O_constant:
3772       S_SET_SEGMENT (symbolP, absolute_section);
3773       S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
3774       set_zero_frag (symbolP);
3775       break;
3776
3777     case O_register:
3778 #ifndef TC_GLOBAL_REGISTER_SYMBOL_OK
3779       if (S_IS_EXTERNAL (symbolP))
3780         {
3781           as_bad ("can't equate global symbol `%s' with register name",
3782                   S_GET_NAME (symbolP));
3783           return;
3784         }
3785 #endif
3786       S_SET_SEGMENT (symbolP, reg_section);
3787       S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
3788       set_zero_frag (symbolP);
3789       symbol_get_value_expression (symbolP)->X_op = O_register;
3790       break;
3791
3792     case O_symbol:
3793       seg = S_GET_SEGMENT (exp.X_add_symbol);
3794       /* For x=undef+const, create an expression symbol.
3795          For x=x+const, just update x except when x is an undefined symbol
3796          For x=defined+const, evaluate x.  */
3797       if (symbolP == exp.X_add_symbol
3798           && (seg != undefined_section
3799               || !symbol_constant_p (symbolP)))
3800         {
3801           *symbol_X_add_number (symbolP) += exp.X_add_number;
3802           break;
3803         }
3804       else if (!S_IS_FORWARD_REF (symbolP) && seg != undefined_section)
3805         {
3806           symbolS *s = exp.X_add_symbol;
3807
3808           if (S_IS_COMMON (s))
3809             as_bad (_("`%s' can't be equated to common symbol '%s'"),
3810                     S_GET_NAME (symbolP), S_GET_NAME (s));
3811
3812           S_SET_SEGMENT (symbolP, seg);
3813           S_SET_VALUE (symbolP, exp.X_add_number + S_GET_VALUE (s));
3814           symbol_set_frag (symbolP, symbol_get_frag (s));
3815           copy_symbol_attributes (symbolP, s);
3816           break;
3817         }
3818       S_SET_SEGMENT (symbolP, undefined_section);
3819       symbol_set_value_expression (symbolP, &exp);
3820       copy_symbol_attributes (symbolP, exp.X_add_symbol);
3821       set_zero_frag (symbolP);
3822       break;
3823
3824     default:
3825       /* The value is some complex expression.  */
3826       S_SET_SEGMENT (symbolP, expr_section);
3827       symbol_set_value_expression (symbolP, &exp);
3828       set_zero_frag (symbolP);
3829       break;
3830     }
3831 }
3832 \f
3833 /*                      cons()
3834
3835    CONStruct more frag of .bytes, or .words etc.
3836    Should need_pass_2 be 1 then emit no frag(s).
3837    This understands EXPRESSIONS.
3838
3839    Bug (?)
3840
3841    This has a split personality. We use expression() to read the
3842    value. We can detect if the value won't fit in a byte or word.
3843    But we can't detect if expression() discarded significant digits
3844    in the case of a long. Not worth the crocks required to fix it.  */
3845
3846 /* Select a parser for cons expressions.  */
3847
3848 /* Some targets need to parse the expression in various fancy ways.
3849    You can define TC_PARSE_CONS_EXPRESSION to do whatever you like
3850    (for example, the HPPA does this).  Otherwise, you can define
3851    BITFIELD_CONS_EXPRESSIONS to permit bitfields to be specified, or
3852    REPEAT_CONS_EXPRESSIONS to permit repeat counts.  If none of these
3853    are defined, which is the normal case, then only simple expressions
3854    are permitted.  */
3855
3856 #ifdef TC_M68K
3857 static void
3858 parse_mri_cons (expressionS *exp, unsigned int nbytes);
3859 #endif
3860
3861 #ifndef TC_PARSE_CONS_EXPRESSION
3862 #ifdef BITFIELD_CONS_EXPRESSIONS
3863 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) \
3864   (parse_bitfield_cons (EXP, NBYTES), TC_PARSE_CONS_RETURN_NONE)
3865 static void
3866 parse_bitfield_cons (expressionS *exp, unsigned int nbytes);
3867 #endif
3868 #ifdef REPEAT_CONS_EXPRESSIONS
3869 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) \
3870   (parse_repeat_cons (EXP, NBYTES), TC_PARSE_CONS_RETURN_NONE)
3871 static void
3872 parse_repeat_cons (expressionS *exp, unsigned int nbytes);
3873 #endif
3874
3875 /* If we haven't gotten one yet, just call expression.  */
3876 #ifndef TC_PARSE_CONS_EXPRESSION
3877 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) \
3878   (expression (EXP), TC_PARSE_CONS_RETURN_NONE)
3879 #endif
3880 #endif
3881
3882 void
3883 do_parse_cons_expression (expressionS *exp,
3884                           int nbytes ATTRIBUTE_UNUSED)
3885 {
3886   (void) TC_PARSE_CONS_EXPRESSION (exp, nbytes);
3887 }
3888
3889
3890 /* Worker to do .byte etc statements.
3891    Clobbers input_line_pointer and checks end-of-line.  */
3892
3893 static void
3894 cons_worker (int nbytes,        /* 1=.byte, 2=.word, 4=.long.  */
3895              int rva)
3896 {
3897   int c;
3898   expressionS exp;
3899   char *stop = NULL;
3900   char stopc = 0;
3901
3902 #ifdef md_flush_pending_output
3903   md_flush_pending_output ();
3904 #endif
3905
3906   if (flag_mri)
3907     stop = mri_comment_field (&stopc);
3908
3909   if (is_it_end_of_statement ())
3910     {
3911       demand_empty_rest_of_line ();
3912       if (flag_mri)
3913         mri_comment_end (stop, stopc);
3914       return;
3915     }
3916
3917 #ifdef TC_ADDRESS_BYTES
3918   if (nbytes == 0)
3919     nbytes = TC_ADDRESS_BYTES ();
3920 #endif
3921
3922 #ifdef md_cons_align
3923   md_cons_align (nbytes);
3924 #endif
3925
3926   c = 0;
3927   do
3928     {
3929       TC_PARSE_CONS_RETURN_TYPE ret = TC_PARSE_CONS_RETURN_NONE;
3930 #ifdef TC_CONS_FIX_CHECK
3931       fixS **cur_fix = &frchain_now->fix_tail;
3932
3933       if (*cur_fix != NULL)
3934         cur_fix = &(*cur_fix)->fx_next;
3935 #endif
3936
3937 #ifdef TC_M68K
3938       if (flag_m68k_mri)
3939         parse_mri_cons (&exp, (unsigned int) nbytes);
3940       else
3941 #endif
3942         {
3943 #if 0
3944           if (*input_line_pointer == '"')
3945             {
3946               as_bad (_("unexpected `\"' in expression"));
3947               ignore_rest_of_line ();
3948               return;
3949             }
3950 #endif
3951           ret = TC_PARSE_CONS_EXPRESSION (&exp, (unsigned int) nbytes);
3952         }
3953
3954       if (rva)
3955         {
3956           if (exp.X_op == O_symbol)
3957             exp.X_op = O_symbol_rva;
3958           else
3959             as_fatal (_("rva without symbol"));
3960         }
3961       emit_expr_with_reloc (&exp, (unsigned int) nbytes, ret);
3962 #ifdef TC_CONS_FIX_CHECK
3963       TC_CONS_FIX_CHECK (&exp, nbytes, *cur_fix);
3964 #endif
3965       ++c;
3966     }
3967   while (*input_line_pointer++ == ',');
3968
3969   /* In MRI mode, after an odd number of bytes, we must align to an
3970      even word boundary, unless the next instruction is a dc.b, ds.b
3971      or dcb.b.  */
3972   if (flag_mri && nbytes == 1 && (c & 1) != 0)
3973     mri_pending_align = 1;
3974
3975   input_line_pointer--;         /* Put terminator back into stream.  */
3976
3977   demand_empty_rest_of_line ();
3978
3979   if (flag_mri)
3980     mri_comment_end (stop, stopc);
3981 }
3982
3983 void
3984 cons (int size)
3985 {
3986   cons_worker (size, 0);
3987 }
3988
3989 void
3990 s_rva (int size)
3991 {
3992   cons_worker (size, 1);
3993 }
3994
3995 /* .reloc offset, reloc_name, symbol+addend.  */
3996
3997 static void
3998 s_reloc (int ignore ATTRIBUTE_UNUSED)
3999 {
4000   char *stop = NULL;
4001   char stopc = 0;
4002   expressionS exp;
4003   char *r_name;
4004   int c;
4005   struct reloc_list *reloc;
4006   struct _bfd_rel { char *name; bfd_reloc_code_real_type code; };
4007   static struct _bfd_rel bfd_relocs[] = {
4008     { "NONE", BFD_RELOC_NONE },
4009     { "8", BFD_RELOC_8 },
4010     { "16", BFD_RELOC_16 },
4011     { "32", BFD_RELOC_32 },
4012     { "64", BFD_RELOC_64 }
4013   };
4014
4015   reloc = (struct reloc_list *) xmalloc (sizeof (*reloc));
4016
4017   if (flag_mri)
4018     stop = mri_comment_field (&stopc);
4019
4020   expression (&exp);
4021   switch (exp.X_op)
4022     {
4023     case O_illegal:
4024     case O_absent:
4025     case O_big:
4026     case O_register:
4027       as_bad (_("missing or bad offset expression"));
4028       goto err_out;
4029     case O_constant:
4030       exp.X_add_symbol = section_symbol (now_seg);
4031       exp.X_op = O_symbol;
4032       /* Fall thru */
4033     case O_symbol:
4034       if (exp.X_add_number == 0)
4035         {
4036           reloc->u.a.offset_sym = exp.X_add_symbol;
4037           break;
4038         }
4039       /* Fall thru */
4040     default:
4041       reloc->u.a.offset_sym = make_expr_symbol (&exp);
4042       break;
4043     }
4044
4045   SKIP_WHITESPACE ();
4046   if (*input_line_pointer != ',')
4047     {
4048       as_bad (_("missing reloc type"));
4049       goto err_out;
4050     }
4051
4052   ++input_line_pointer;
4053   SKIP_WHITESPACE ();
4054   c = get_symbol_name (& r_name);
4055   if (strncasecmp (r_name, "BFD_RELOC_", 10) == 0)
4056     {
4057       unsigned int i;
4058
4059       for (reloc->u.a.howto = NULL, i = 0; i < ARRAY_SIZE (bfd_relocs); i++)
4060         if (strcasecmp (r_name + 10, bfd_relocs[i].name) == 0)
4061           {
4062             reloc->u.a.howto = bfd_reloc_type_lookup (stdoutput,
4063                                                       bfd_relocs[i].code);
4064             break;
4065           }
4066     }
4067   else
4068     reloc->u.a.howto = bfd_reloc_name_lookup (stdoutput, r_name);
4069   *input_line_pointer = c;
4070   if (reloc->u.a.howto == NULL)
4071     {
4072       as_bad (_("unrecognized reloc type"));
4073       goto err_out;
4074     }
4075
4076   exp.X_op = O_absent;
4077   SKIP_WHITESPACE_AFTER_NAME ();
4078   if (*input_line_pointer == ',')
4079     {
4080       ++input_line_pointer;
4081       expression (&exp);
4082     }
4083   switch (exp.X_op)
4084     {
4085     case O_illegal:
4086     case O_big:
4087     case O_register:
4088       as_bad (_("bad reloc expression"));
4089     err_out:
4090       ignore_rest_of_line ();
4091       free (reloc);
4092       if (flag_mri)
4093         mri_comment_end (stop, stopc);
4094       return;
4095     case O_absent:
4096       reloc->u.a.sym = NULL;
4097       reloc->u.a.addend = 0;
4098       break;
4099     case O_constant:
4100       reloc->u.a.sym = NULL;
4101       reloc->u.a.addend = exp.X_add_number;
4102       break;
4103     case O_symbol:
4104       reloc->u.a.sym = exp.X_add_symbol;
4105       reloc->u.a.addend = exp.X_add_number;
4106       break;
4107     default:
4108       reloc->u.a.sym = make_expr_symbol (&exp);
4109       reloc->u.a.addend = 0;
4110       break;
4111     }
4112
4113   as_where (&reloc->file, &reloc->line);
4114   reloc->next = reloc_list;
4115   reloc_list = reloc;
4116
4117   demand_empty_rest_of_line ();
4118   if (flag_mri)
4119     mri_comment_end (stop, stopc);
4120 }
4121
4122 /* Put the contents of expression EXP into the object file using
4123    NBYTES bytes.  If need_pass_2 is 1, this does nothing.  */
4124
4125 void
4126 emit_expr (expressionS *exp, unsigned int nbytes)
4127 {
4128   emit_expr_with_reloc (exp, nbytes, TC_PARSE_CONS_RETURN_NONE);
4129 }
4130
4131 void
4132 emit_expr_with_reloc (expressionS *exp,
4133                       unsigned int nbytes,
4134                       TC_PARSE_CONS_RETURN_TYPE reloc)
4135 {
4136   operatorT op;
4137   char *p;
4138   valueT extra_digit = 0;
4139
4140   /* Don't do anything if we are going to make another pass.  */
4141   if (need_pass_2)
4142     return;
4143
4144   frag_grow (nbytes);
4145   dot_value = frag_now_fix ();
4146   dot_frag = frag_now;
4147
4148 #ifndef NO_LISTING
4149 #ifdef OBJ_ELF
4150   /* When gcc emits DWARF 1 debugging pseudo-ops, a line number will
4151      appear as a four byte positive constant in the .line section,
4152      followed by a 2 byte 0xffff.  Look for that case here.  */
4153   {
4154     static int dwarf_line = -1;
4155
4156     if (strcmp (segment_name (now_seg), ".line") != 0)
4157       dwarf_line = -1;
4158     else if (dwarf_line >= 0
4159              && nbytes == 2
4160              && exp->X_op == O_constant
4161              && (exp->X_add_number == -1 || exp->X_add_number == 0xffff))
4162       listing_source_line ((unsigned int) dwarf_line);
4163     else if (nbytes == 4
4164              && exp->X_op == O_constant
4165              && exp->X_add_number >= 0)
4166       dwarf_line = exp->X_add_number;
4167     else
4168       dwarf_line = -1;
4169   }
4170
4171   /* When gcc emits DWARF 1 debugging pseudo-ops, a file name will
4172      appear as a 2 byte TAG_compile_unit (0x11) followed by a 2 byte
4173      AT_sibling (0x12) followed by a four byte address of the sibling
4174      followed by a 2 byte AT_name (0x38) followed by the name of the
4175      file.  We look for that case here.  */
4176   {
4177     static int dwarf_file = 0;
4178
4179     if (strcmp (segment_name (now_seg), ".debug") != 0)
4180       dwarf_file = 0;
4181     else if (dwarf_file == 0
4182              && nbytes == 2
4183              && exp->X_op == O_constant
4184              && exp->X_add_number == 0x11)
4185       dwarf_file = 1;
4186     else if (dwarf_file == 1
4187              && nbytes == 2
4188              && exp->X_op == O_constant
4189              && exp->X_add_number == 0x12)
4190       dwarf_file = 2;
4191     else if (dwarf_file == 2
4192              && nbytes == 4)
4193       dwarf_file = 3;
4194     else if (dwarf_file == 3
4195              && nbytes == 2
4196              && exp->X_op == O_constant
4197              && exp->X_add_number == 0x38)
4198       dwarf_file = 4;
4199     else
4200       dwarf_file = 0;
4201
4202     /* The variable dwarf_file_string tells stringer that the string
4203        may be the name of the source file.  */
4204     if (dwarf_file == 4)
4205       dwarf_file_string = 1;
4206     else
4207       dwarf_file_string = 0;
4208   }
4209 #endif
4210 #endif
4211
4212   if (check_eh_frame (exp, &nbytes))
4213     return;
4214
4215   op = exp->X_op;
4216
4217   /* Allow `.word 0' in the absolute section.  */
4218   if (now_seg == absolute_section)
4219     {
4220       if (op != O_constant || exp->X_add_number != 0)
4221         as_bad (_("attempt to store value in absolute section"));
4222       abs_section_offset += nbytes;
4223       return;
4224     }
4225
4226   /* Handle a negative bignum.  */
4227   if (op == O_uminus
4228       && exp->X_add_number == 0
4229       && symbol_get_value_expression (exp->X_add_symbol)->X_op == O_big
4230       && symbol_get_value_expression (exp->X_add_symbol)->X_add_number > 0)
4231     {
4232       int i;
4233       unsigned long carry;
4234
4235       exp = symbol_get_value_expression (exp->X_add_symbol);
4236
4237       /* Negate the bignum: one's complement each digit and add 1.  */
4238       carry = 1;
4239       for (i = 0; i < exp->X_add_number; i++)
4240         {
4241           unsigned long next;
4242
4243           next = (((~(generic_bignum[i] & LITTLENUM_MASK))
4244                    & LITTLENUM_MASK)
4245                   + carry);
4246           generic_bignum[i] = next & LITTLENUM_MASK;
4247           carry = next >> LITTLENUM_NUMBER_OF_BITS;
4248         }
4249
4250       /* We can ignore any carry out, because it will be handled by
4251          extra_digit if it is needed.  */
4252
4253       extra_digit = (valueT) -1;
4254       op = O_big;
4255     }
4256
4257   if (op == O_absent || op == O_illegal)
4258     {
4259       as_warn (_("zero assumed for missing expression"));
4260       exp->X_add_number = 0;
4261       op = O_constant;
4262     }
4263   else if (op == O_big && exp->X_add_number <= 0)
4264     {
4265       as_bad (_("floating point number invalid"));
4266       exp->X_add_number = 0;
4267       op = O_constant;
4268     }
4269   else if (op == O_register)
4270     {
4271       as_warn (_("register value used as expression"));
4272       op = O_constant;
4273     }
4274
4275   p = frag_more ((int) nbytes);
4276
4277   if (reloc != TC_PARSE_CONS_RETURN_NONE)
4278     {
4279       emit_expr_fix (exp, nbytes, frag_now, p, reloc);
4280       return;
4281     }
4282
4283 #ifndef WORKING_DOT_WORD
4284   /* If we have the difference of two symbols in a word, save it on
4285      the broken_words list.  See the code in write.c.  */
4286   if (op == O_subtract && nbytes == 2)
4287     {
4288       struct broken_word *x;
4289
4290       x = (struct broken_word *) xmalloc (sizeof (struct broken_word));
4291       x->next_broken_word = broken_words;
4292       broken_words = x;
4293       x->seg = now_seg;
4294       x->subseg = now_subseg;
4295       x->frag = frag_now;
4296       x->word_goes_here = p;
4297       x->dispfrag = 0;
4298       x->add = exp->X_add_symbol;
4299       x->sub = exp->X_op_symbol;
4300       x->addnum = exp->X_add_number;
4301       x->added = 0;
4302       x->use_jump = 0;
4303       new_broken_words++;
4304       return;
4305     }
4306 #endif
4307
4308   /* If we have an integer, but the number of bytes is too large to
4309      pass to md_number_to_chars, handle it as a bignum.  */
4310   if (op == O_constant && nbytes > sizeof (valueT))
4311     {
4312       extra_digit = exp->X_unsigned ? 0 : -1;
4313       convert_to_bignum (exp, !exp->X_unsigned);
4314       op = O_big;
4315     }
4316
4317   if (op == O_constant)
4318     {
4319       valueT get;
4320       valueT use;
4321       valueT mask;
4322       valueT hibit;
4323       valueT unmask;
4324
4325       /* JF << of >= number of bits in the object is undefined.  In
4326          particular SPARC (Sun 4) has problems.  */
4327       if (nbytes >= sizeof (valueT))
4328         {
4329           mask = 0;
4330           if (nbytes > sizeof (valueT))
4331             hibit = 0;
4332           else
4333             hibit = (valueT) 1 << (nbytes * BITS_PER_CHAR - 1);
4334         }
4335       else
4336         {
4337           /* Don't store these bits.  */
4338           mask = ~(valueT) 0 << (BITS_PER_CHAR * nbytes);
4339           hibit = (valueT) 1 << (nbytes * BITS_PER_CHAR - 1);
4340         }
4341
4342       unmask = ~mask;           /* Do store these bits.  */
4343
4344 #ifdef NEVER
4345       "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
4346       mask = ~(unmask >> 1);    /* Includes sign bit now.  */
4347 #endif
4348
4349       get = exp->X_add_number;
4350       use = get & unmask;
4351       if ((get & mask) != 0
4352           && ((get & mask) != mask
4353               || (get & hibit) == 0))
4354         {               /* Leading bits contain both 0s & 1s.  */
4355 #if defined (BFD64) && BFD_HOST_64BIT_LONG_LONG
4356 #ifndef __MSVCRT__
4357           as_warn (_("value 0x%llx truncated to 0x%llx"),
4358                    (unsigned long long) get, (unsigned long long) use);
4359 #else
4360           as_warn (_("value 0x%I64x truncated to 0x%I64x"),
4361                    (unsigned long long) get, (unsigned long long) use);
4362 #endif
4363 #else
4364           as_warn (_("value 0x%lx truncated to 0x%lx"),
4365                    (unsigned long) get, (unsigned long) use);
4366 #endif
4367         }
4368       /* Put bytes in right order.  */
4369       md_number_to_chars (p, use, (int) nbytes);
4370     }
4371   else if (op == O_big)
4372     {
4373       unsigned int size;
4374       LITTLENUM_TYPE *nums;
4375
4376       size = exp->X_add_number * CHARS_PER_LITTLENUM;
4377       if (nbytes < size)
4378         {
4379           int i = nbytes / CHARS_PER_LITTLENUM;
4380           if (i != 0)
4381             {
4382               LITTLENUM_TYPE sign = 0;
4383               if ((generic_bignum[--i]
4384                    & (1 << (LITTLENUM_NUMBER_OF_BITS - 1))) != 0)
4385                 sign = ~(LITTLENUM_TYPE) 0;
4386               while (++i < exp->X_add_number)
4387                 if (generic_bignum[i] != sign)
4388                   break;
4389             }
4390           if (i < exp->X_add_number)
4391             as_warn (_("bignum truncated to %d bytes"), nbytes);
4392           size = nbytes;
4393         }
4394
4395       if (nbytes == 1)
4396         {
4397           md_number_to_chars (p, (valueT) generic_bignum[0], 1);
4398           return;
4399         }
4400       know (nbytes % CHARS_PER_LITTLENUM == 0);
4401
4402       if (target_big_endian)
4403         {
4404           while (nbytes > size)
4405             {
4406               md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
4407               nbytes -= CHARS_PER_LITTLENUM;
4408               p += CHARS_PER_LITTLENUM;
4409             }
4410
4411           nums = generic_bignum + size / CHARS_PER_LITTLENUM;
4412           while (size >= CHARS_PER_LITTLENUM)
4413             {
4414               --nums;
4415               md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
4416               size -= CHARS_PER_LITTLENUM;
4417               p += CHARS_PER_LITTLENUM;
4418             }
4419         }
4420       else
4421         {
4422           nums = generic_bignum;
4423           while (size >= CHARS_PER_LITTLENUM)
4424             {
4425               md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
4426               ++nums;
4427               size -= CHARS_PER_LITTLENUM;
4428               p += CHARS_PER_LITTLENUM;
4429               nbytes -= CHARS_PER_LITTLENUM;
4430             }
4431
4432           while (nbytes >= CHARS_PER_LITTLENUM)
4433             {
4434               md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
4435               nbytes -= CHARS_PER_LITTLENUM;
4436               p += CHARS_PER_LITTLENUM;
4437             }
4438         }
4439     }
4440   else
4441     emit_expr_fix (exp, nbytes, frag_now, p, TC_PARSE_CONS_RETURN_NONE);
4442 }
4443
4444 void
4445 emit_expr_fix (expressionS *exp, unsigned int nbytes, fragS *frag, char *p,
4446                TC_PARSE_CONS_RETURN_TYPE r ATTRIBUTE_UNUSED)
4447 {
4448   int offset = 0;
4449   unsigned int size = nbytes;
4450
4451   memset (p, 0, size);
4452
4453   /* Generate a fixS to record the symbol value.  */
4454
4455 #ifdef TC_CONS_FIX_NEW
4456   TC_CONS_FIX_NEW (frag, p - frag->fr_literal + offset, size, exp, r);
4457 #else
4458   if (r != TC_PARSE_CONS_RETURN_NONE)
4459     {
4460       reloc_howto_type *reloc_howto;
4461
4462       reloc_howto = bfd_reloc_type_lookup (stdoutput, r);
4463       size = bfd_get_reloc_size (reloc_howto);
4464
4465       if (size > nbytes)
4466         {
4467           as_bad (_("%s relocations do not fit in %u bytes\n"),
4468                   reloc_howto->name, nbytes);
4469           return;
4470         }
4471       else if (target_big_endian)
4472         offset = nbytes - size;
4473     }
4474   else
4475     switch (size)
4476       {
4477       case 1:
4478         r = BFD_RELOC_8;
4479         break;
4480       case 2:
4481         r = BFD_RELOC_16;
4482         break;
4483       case 3:
4484         r = BFD_RELOC_24;
4485         break;
4486       case 4:
4487         r = BFD_RELOC_32;
4488         break;
4489       case 8:
4490         r = BFD_RELOC_64;
4491         break;
4492       default:
4493         as_bad (_("unsupported BFD relocation size %u"), size);
4494         return;
4495       }
4496   fix_new_exp (frag, p - frag->fr_literal + offset, size,
4497                exp, 0, r);
4498 #endif
4499 }
4500 \f
4501 #ifdef BITFIELD_CONS_EXPRESSIONS
4502
4503 /* i960 assemblers, (eg, asm960), allow bitfields after ".byte" as
4504    w:x,y:z, where w and y are bitwidths and x and y are values.  They
4505    then pack them all together. We do a little better in that we allow
4506    them in words, longs, etc. and we'll pack them in target byte order
4507    for you.
4508
4509    The rules are: pack least significant bit first, if a field doesn't
4510    entirely fit, put it in the next unit.  Overflowing the bitfield is
4511    explicitly *not* even a warning.  The bitwidth should be considered
4512    a "mask".
4513
4514    To use this function the tc-XXX.h file should define
4515    BITFIELD_CONS_EXPRESSIONS.  */
4516
4517 static void
4518 parse_bitfield_cons (exp, nbytes)
4519      expressionS *exp;
4520      unsigned int nbytes;
4521 {
4522   unsigned int bits_available = BITS_PER_CHAR * nbytes;
4523   char *hold = input_line_pointer;
4524
4525   (void) expression (exp);
4526
4527   if (*input_line_pointer == ':')
4528     {
4529       /* Bitfields.  */
4530       long value = 0;
4531
4532       for (;;)
4533         {
4534           unsigned long width;
4535
4536           if (*input_line_pointer != ':')
4537             {
4538               input_line_pointer = hold;
4539               break;
4540             }                   /* Next piece is not a bitfield.  */
4541
4542           /* In the general case, we can't allow
4543              full expressions with symbol
4544              differences and such.  The relocation
4545              entries for symbols not defined in this
4546              assembly would require arbitrary field
4547              widths, positions, and masks which most
4548              of our current object formats don't
4549              support.
4550
4551              In the specific case where a symbol
4552              *is* defined in this assembly, we
4553              *could* build fixups and track it, but
4554              this could lead to confusion for the
4555              backends.  I'm lazy. I'll take any
4556              SEG_ABSOLUTE. I think that means that
4557              you can use a previous .set or
4558              .equ type symbol.  xoxorich.  */
4559
4560           if (exp->X_op == O_absent)
4561             {
4562               as_warn (_("using a bit field width of zero"));
4563               exp->X_add_number = 0;
4564               exp->X_op = O_constant;
4565             }                   /* Implied zero width bitfield.  */
4566
4567           if (exp->X_op != O_constant)
4568             {
4569               *input_line_pointer = '\0';
4570               as_bad (_("field width \"%s\" too complex for a bitfield"), hold);
4571               *input_line_pointer = ':';
4572               demand_empty_rest_of_line ();
4573               return;
4574             }                   /* Too complex.  */
4575
4576           if ((width = exp->X_add_number) > (BITS_PER_CHAR * nbytes))
4577             {
4578               as_warn (_("field width %lu too big to fit in %d bytes: truncated to %d bits"),
4579                        width, nbytes, (BITS_PER_CHAR * nbytes));
4580               width = BITS_PER_CHAR * nbytes;
4581             }                   /* Too big.  */
4582
4583           if (width > bits_available)
4584             {
4585               /* FIXME-SOMEDAY: backing up and reparsing is wasteful.  */
4586               input_line_pointer = hold;
4587               exp->X_add_number = value;
4588               break;
4589             }                   /* Won't fit.  */
4590
4591           /* Skip ':'.  */
4592           hold = ++input_line_pointer;
4593
4594           (void) expression (exp);
4595           if (exp->X_op != O_constant)
4596             {
4597               char cache = *input_line_pointer;
4598
4599               *input_line_pointer = '\0';
4600               as_bad (_("field value \"%s\" too complex for a bitfield"), hold);
4601               *input_line_pointer = cache;
4602               demand_empty_rest_of_line ();
4603               return;
4604             }                   /* Too complex.  */
4605
4606           value |= ((~(-1 << width) & exp->X_add_number)
4607                     << ((BITS_PER_CHAR * nbytes) - bits_available));
4608
4609           if ((bits_available -= width) == 0
4610               || is_it_end_of_statement ()
4611               || *input_line_pointer != ',')
4612             {
4613               break;
4614             }                   /* All the bitfields we're gonna get.  */
4615
4616           hold = ++input_line_pointer;
4617           (void) expression (exp);
4618         }
4619
4620       exp->X_add_number = value;
4621       exp->X_op = O_constant;
4622       exp->X_unsigned = 1;
4623       exp->X_extrabit = 0;
4624     }
4625 }
4626
4627 #endif /* BITFIELD_CONS_EXPRESSIONS */
4628 \f
4629 /* Handle an MRI style string expression.  */
4630
4631 #ifdef TC_M68K
4632 static void
4633 parse_mri_cons (expressionS *exp, unsigned int nbytes)
4634 {
4635   if (*input_line_pointer != '\''
4636       && (input_line_pointer[1] != '\''
4637           || (*input_line_pointer != 'A'
4638               && *input_line_pointer != 'E')))
4639     (void) TC_PARSE_CONS_EXPRESSION (exp, nbytes);
4640   else
4641     {
4642       unsigned int scan;
4643       unsigned int result = 0;
4644
4645       /* An MRI style string.  Cut into as many bytes as will fit into
4646          a nbyte chunk, left justify if necessary, and separate with
4647          commas so we can try again later.  */
4648       if (*input_line_pointer == 'A')
4649         ++input_line_pointer;
4650       else if (*input_line_pointer == 'E')
4651         {
4652           as_bad (_("EBCDIC constants are not supported"));
4653           ++input_line_pointer;
4654         }
4655
4656       input_line_pointer++;
4657       for (scan = 0; scan < nbytes; scan++)
4658         {
4659           if (*input_line_pointer == '\'')
4660             {
4661               if (input_line_pointer[1] == '\'')
4662                 {
4663                   input_line_pointer++;
4664                 }
4665               else
4666                 break;
4667             }
4668           result = (result << 8) | (*input_line_pointer++);
4669         }
4670
4671       /* Left justify.  */
4672       while (scan < nbytes)
4673         {
4674           result <<= 8;
4675           scan++;
4676         }
4677
4678       /* Create correct expression.  */
4679       exp->X_op = O_constant;
4680       exp->X_add_number = result;
4681
4682       /* Fake it so that we can read the next char too.  */
4683       if (input_line_pointer[0] != '\'' ||
4684           (input_line_pointer[0] == '\'' && input_line_pointer[1] == '\''))
4685         {
4686           input_line_pointer -= 2;
4687           input_line_pointer[0] = ',';
4688           input_line_pointer[1] = '\'';
4689         }
4690       else
4691         input_line_pointer++;
4692     }
4693 }
4694 #endif /* TC_M68K */
4695 \f
4696 #ifdef REPEAT_CONS_EXPRESSIONS
4697
4698 /* Parse a repeat expression for cons.  This is used by the MIPS
4699    assembler.  The format is NUMBER:COUNT; NUMBER appears in the
4700    object file COUNT times.
4701
4702    To use this for a target, define REPEAT_CONS_EXPRESSIONS.  */
4703
4704 static void
4705 parse_repeat_cons (exp, nbytes)
4706      expressionS *exp;
4707      unsigned int nbytes;
4708 {
4709   expressionS count;
4710   int i;
4711
4712   expression (exp);
4713
4714   if (*input_line_pointer != ':')
4715     {
4716       /* No repeat count.  */
4717       return;
4718     }
4719
4720   ++input_line_pointer;
4721   expression (&count);
4722   if (count.X_op != O_constant
4723       || count.X_add_number <= 0)
4724     {
4725       as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4726       return;
4727     }
4728
4729   /* The cons function is going to output this expression once.  So we
4730      output it count - 1 times.  */
4731   for (i = count.X_add_number - 1; i > 0; i--)
4732     emit_expr (exp, nbytes);
4733 }
4734
4735 #endif /* REPEAT_CONS_EXPRESSIONS */
4736 \f
4737 /* Parse a floating point number represented as a hex constant.  This
4738    permits users to specify the exact bits they want in the floating
4739    point number.  */
4740
4741 static int
4742 hex_float (int float_type, char *bytes)
4743 {
4744   int length;
4745   int i;
4746
4747   switch (float_type)
4748     {
4749     case 'f':
4750     case 'F':
4751     case 's':
4752     case 'S':
4753       length = 4;
4754       break;
4755
4756     case 'd':
4757     case 'D':
4758     case 'r':
4759     case 'R':
4760       length = 8;
4761       break;
4762
4763     case 'x':
4764     case 'X':
4765       length = 12;
4766       break;
4767
4768     case 'p':
4769     case 'P':
4770       length = 12;
4771       break;
4772
4773     default:
4774       as_bad (_("unknown floating type type '%c'"), float_type);
4775       return -1;
4776     }
4777
4778   /* It would be nice if we could go through expression to parse the
4779      hex constant, but if we get a bignum it's a pain to sort it into
4780      the buffer correctly.  */
4781   i = 0;
4782   while (hex_p (*input_line_pointer) || *input_line_pointer == '_')
4783     {
4784       int d;
4785
4786       /* The MRI assembler accepts arbitrary underscores strewn about
4787          through the hex constant, so we ignore them as well.  */
4788       if (*input_line_pointer == '_')
4789         {
4790           ++input_line_pointer;
4791           continue;
4792         }
4793
4794       if (i >= length)
4795         {
4796           as_warn (_("floating point constant too large"));
4797           return -1;
4798         }
4799       d = hex_value (*input_line_pointer) << 4;
4800       ++input_line_pointer;
4801       while (*input_line_pointer == '_')
4802         ++input_line_pointer;
4803       if (hex_p (*input_line_pointer))
4804         {
4805           d += hex_value (*input_line_pointer);
4806           ++input_line_pointer;
4807         }
4808       if (target_big_endian)
4809         bytes[i] = d;
4810       else
4811         bytes[length - i - 1] = d;
4812       ++i;
4813     }
4814
4815   if (i < length)
4816     {
4817       if (target_big_endian)
4818         memset (bytes + i, 0, length - i);
4819       else
4820         memset (bytes, 0, length - i);
4821     }
4822
4823   return length;
4824 }
4825
4826 /*                      float_cons()
4827
4828    CONStruct some more frag chars of .floats .ffloats etc.
4829    Makes 0 or more new frags.
4830    If need_pass_2 == 1, no frags are emitted.
4831    This understands only floating literals, not expressions. Sorry.
4832
4833    A floating constant is defined by atof_generic(), except it is preceded
4834    by 0d 0f 0g or 0h. After observing the STRANGE way my BSD AS does its
4835    reading, I decided to be incompatible. This always tries to give you
4836    rounded bits to the precision of the pseudo-op. Former AS did premature
4837    truncation, restored noisy bits instead of trailing 0s AND gave you
4838    a choice of 2 flavours of noise according to which of 2 floating-point
4839    scanners you directed AS to use.
4840
4841    In:  input_line_pointer->whitespace before, or '0' of flonum.  */
4842
4843 void
4844 float_cons (/* Clobbers input_line-pointer, checks end-of-line.  */
4845             int float_type      /* 'f':.ffloat ... 'F':.float ...  */)
4846 {
4847   char *p;
4848   int length;                   /* Number of chars in an object.  */
4849   char *err;            /* Error from scanning floating literal.  */
4850   char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
4851
4852   if (is_it_end_of_statement ())
4853     {
4854       demand_empty_rest_of_line ();
4855       return;
4856     }
4857
4858 #ifdef md_flush_pending_output
4859   md_flush_pending_output ();
4860 #endif
4861
4862 #ifdef md_cons_align
4863   md_cons_align (1);
4864 #endif
4865
4866   do
4867     {
4868       /* input_line_pointer->1st char of a flonum (we hope!).  */
4869       SKIP_WHITESPACE ();
4870
4871       /* Skip any 0{letter} that may be present. Don't even check if the
4872          letter is legal. Someone may invent a "z" format and this routine
4873          has no use for such information. Lusers beware: you get
4874          diagnostics if your input is ill-conditioned.  */
4875       if (input_line_pointer[0] == '0'
4876           && ISALPHA (input_line_pointer[1]))
4877         input_line_pointer += 2;
4878
4879       /* Accept :xxxx, where the x's are hex digits, for a floating
4880          point with the exact digits specified.  */
4881       if (input_line_pointer[0] == ':')
4882         {
4883           ++input_line_pointer;
4884           length = hex_float (float_type, temp);
4885           if (length < 0)
4886             {
4887               ignore_rest_of_line ();
4888               return;
4889             }
4890         }
4891       else
4892         {
4893           err = md_atof (float_type, temp, &length);
4894           know (length <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
4895           know (err != NULL || length > 0);
4896           if (err)
4897             {
4898               as_bad (_("bad floating literal: %s"), err);
4899               ignore_rest_of_line ();
4900               return;
4901             }
4902         }
4903
4904       if (!need_pass_2)
4905         {
4906           int count;
4907
4908           count = 1;
4909
4910 #ifdef REPEAT_CONS_EXPRESSIONS
4911           if (*input_line_pointer == ':')
4912             {
4913               expressionS count_exp;
4914
4915               ++input_line_pointer;
4916               expression (&count_exp);
4917
4918               if (count_exp.X_op != O_constant
4919                   || count_exp.X_add_number <= 0)
4920                 as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4921               else
4922                 count = count_exp.X_add_number;
4923             }
4924 #endif
4925
4926           while (--count >= 0)
4927             {
4928               p = frag_more (length);
4929               memcpy (p, temp, (unsigned int) length);
4930             }
4931         }
4932       SKIP_WHITESPACE ();
4933     }
4934   while (*input_line_pointer++ == ',');
4935
4936   /* Put terminator back into stream.  */
4937   --input_line_pointer;
4938   demand_empty_rest_of_line ();
4939 }
4940 \f
4941 /* Return the size of a LEB128 value.  */
4942
4943 static inline int
4944 sizeof_sleb128 (offsetT value)
4945 {
4946   int size = 0;
4947   unsigned byte;
4948
4949   do
4950     {
4951       byte = (value & 0x7f);
4952       /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4953          Fortunately, we can structure things so that the extra work reduces
4954          to a noop on systems that do things "properly".  */
4955       value = (value >> 7) | ~(-(offsetT)1 >> 7);
4956       size += 1;
4957     }
4958   while (!(((value == 0) && ((byte & 0x40) == 0))
4959            || ((value == -1) && ((byte & 0x40) != 0))));
4960
4961   return size;
4962 }
4963
4964 static inline int
4965 sizeof_uleb128 (valueT value)
4966 {
4967   int size = 0;
4968
4969   do
4970     {
4971       value >>= 7;
4972       size += 1;
4973     }
4974   while (value != 0);
4975
4976   return size;
4977 }
4978
4979 int
4980 sizeof_leb128 (valueT value, int sign)
4981 {
4982   if (sign)
4983     return sizeof_sleb128 ((offsetT) value);
4984   else
4985     return sizeof_uleb128 (value);
4986 }
4987
4988 /* Output a LEB128 value.  */
4989
4990 static inline int
4991 output_sleb128 (char *p, offsetT value)
4992 {
4993   char *orig = p;
4994   int more;
4995
4996   do
4997     {
4998       unsigned byte = (value & 0x7f);
4999
5000       /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
5001          Fortunately, we can structure things so that the extra work reduces
5002          to a noop on systems that do things "properly".  */
5003       value = (value >> 7) | ~(-(offsetT)1 >> 7);
5004
5005       more = !((((value == 0) && ((byte & 0x40) == 0))
5006                 || ((value == -1) && ((byte & 0x40) != 0))));
5007       if (more)
5008         byte |= 0x80;
5009
5010       *p++ = byte;
5011     }
5012   while (more);
5013
5014   return p - orig;
5015 }
5016
5017 static inline int
5018 output_uleb128 (char *p, valueT value)
5019 {
5020   char *orig = p;
5021
5022   do
5023     {
5024       unsigned byte = (value & 0x7f);
5025       value >>= 7;
5026       if (value != 0)
5027         /* More bytes to follow.  */
5028         byte |= 0x80;
5029
5030       *p++ = byte;
5031     }
5032   while (value != 0);
5033
5034   return p - orig;
5035 }
5036
5037 int
5038 output_leb128 (char *p, valueT value, int sign)
5039 {
5040   if (sign)
5041     return output_sleb128 (p, (offsetT) value);
5042   else
5043     return output_uleb128 (p, value);
5044 }
5045
5046 /* Do the same for bignums.  We combine sizeof with output here in that
5047    we don't output for NULL values of P.  It isn't really as critical as
5048    for "normal" values that this be streamlined.  */
5049
5050 static inline int
5051 output_big_sleb128 (char *p, LITTLENUM_TYPE *bignum, int size)
5052 {
5053   char *orig = p;
5054   valueT val = 0;
5055   int loaded = 0;
5056   unsigned byte;
5057
5058   /* Strip leading sign extensions off the bignum.  */
5059   while (size > 1
5060          && bignum[size - 1] == LITTLENUM_MASK
5061          && bignum[size - 2] > LITTLENUM_MASK / 2)
5062     size--;
5063
5064   do
5065     {
5066       /* OR in the next part of the littlenum.  */
5067       val |= (*bignum << loaded);
5068       loaded += LITTLENUM_NUMBER_OF_BITS;
5069       size--;
5070       bignum++;
5071
5072       /* Add bytes until there are less than 7 bits left in VAL
5073          or until every non-sign bit has been written.  */
5074       do
5075         {
5076           byte = val & 0x7f;
5077           loaded -= 7;
5078           val >>= 7;
5079           if (size > 0
5080               || val != ((byte & 0x40) == 0 ? 0 : ((valueT) 1 << loaded) - 1))
5081             byte |= 0x80;
5082
5083           if (orig)
5084             *p = byte;
5085           p++;
5086         }
5087       while ((byte & 0x80) != 0 && loaded >= 7);
5088     }
5089   while (size > 0);
5090
5091   /* Mop up any left-over bits (of which there will be less than 7).  */
5092   if ((byte & 0x80) != 0)
5093     {
5094       /* Sign-extend VAL.  */
5095       if (val & (1 << (loaded - 1)))
5096         val |= ~0U << loaded;
5097       if (orig)
5098         *p = val & 0x7f;
5099       p++;
5100     }
5101
5102   return p - orig;
5103 }
5104
5105 static inline int
5106 output_big_uleb128 (char *p, LITTLENUM_TYPE *bignum, int size)
5107 {
5108   char *orig = p;
5109   valueT val = 0;
5110   int loaded = 0;
5111   unsigned byte;
5112
5113   /* Strip leading zeros off the bignum.  */
5114   /* XXX: Is this needed?  */
5115   while (size > 0 && bignum[size - 1] == 0)
5116     size--;
5117
5118   do
5119     {
5120       if (loaded < 7 && size > 0)
5121         {
5122           val |= (*bignum << loaded);
5123           loaded += 8 * CHARS_PER_LITTLENUM;
5124           size--;
5125           bignum++;
5126         }
5127
5128       byte = val & 0x7f;
5129       loaded -= 7;
5130       val >>= 7;
5131
5132       if (size > 0 || val)
5133         byte |= 0x80;
5134
5135       if (orig)
5136         *p = byte;
5137       p++;
5138     }
5139   while (byte & 0x80);
5140
5141   return p - orig;
5142 }
5143
5144 static int
5145 output_big_leb128 (char *p, LITTLENUM_TYPE *bignum, int size, int sign)
5146 {
5147   if (sign)
5148     return output_big_sleb128 (p, bignum, size);
5149   else
5150     return output_big_uleb128 (p, bignum, size);
5151 }
5152
5153 /* Generate the appropriate fragments for a given expression to emit a
5154    leb128 value.  */
5155
5156 static void
5157 emit_leb128_expr (expressionS *exp, int sign)
5158 {
5159   operatorT op = exp->X_op;
5160   unsigned int nbytes;
5161
5162   if (op == O_absent || op == O_illegal)
5163     {
5164       as_warn (_("zero assumed for missing expression"));
5165       exp->X_add_number = 0;
5166       op = O_constant;
5167     }
5168   else if (op == O_big && exp->X_add_number <= 0)
5169     {
5170       as_bad (_("floating point number invalid"));
5171       exp->X_add_number = 0;
5172       op = O_constant;
5173     }
5174   else if (op == O_register)
5175     {
5176       as_warn (_("register value used as expression"));
5177       op = O_constant;
5178     }
5179   else if (op == O_constant
5180            && sign
5181            && (exp->X_add_number < 0) == !exp->X_extrabit)
5182     {
5183       /* We're outputting a signed leb128 and the sign of X_add_number
5184          doesn't reflect the sign of the original value.  Convert EXP
5185          to a correctly-extended bignum instead.  */
5186       convert_to_bignum (exp, exp->X_extrabit);
5187       op = O_big;
5188     }
5189
5190   /* Let check_eh_frame know that data is being emitted.  nbytes == -1 is
5191      a signal that this is leb128 data.  It shouldn't optimize this away.  */
5192   nbytes = (unsigned int) -1;
5193   if (check_eh_frame (exp, &nbytes))
5194     abort ();
5195
5196   /* Let the backend know that subsequent data may be byte aligned.  */
5197 #ifdef md_cons_align
5198   md_cons_align (1);
5199 #endif
5200
5201   if (op == O_constant)
5202     {
5203       /* If we've got a constant, emit the thing directly right now.  */
5204
5205       valueT value = exp->X_add_number;
5206       int size;
5207       char *p;
5208
5209       size = sizeof_leb128 (value, sign);
5210       p = frag_more (size);
5211       output_leb128 (p, value, sign);
5212     }
5213   else if (op == O_big)
5214     {
5215       /* O_big is a different sort of constant.  */
5216
5217       int size;
5218       char *p;
5219
5220       size = output_big_leb128 (NULL, generic_bignum, exp->X_add_number, sign);
5221       p = frag_more (size);
5222       output_big_leb128 (p, generic_bignum, exp->X_add_number, sign);
5223     }
5224   else
5225     {
5226       /* Otherwise, we have to create a variable sized fragment and
5227          resolve things later.  */
5228
5229       frag_var (rs_leb128, sizeof_uleb128 (~(valueT) 0), 0, sign,
5230                 make_expr_symbol (exp), 0, (char *) NULL);
5231     }
5232 }
5233
5234 /* Parse the .sleb128 and .uleb128 pseudos.  */
5235
5236 void
5237 s_leb128 (int sign)
5238 {
5239   expressionS exp;
5240
5241 #ifdef md_flush_pending_output
5242   md_flush_pending_output ();
5243 #endif
5244
5245   do
5246     {
5247       expression (&exp);
5248       emit_leb128_expr (&exp, sign);
5249     }
5250   while (*input_line_pointer++ == ',');
5251
5252   input_line_pointer--;
5253   demand_empty_rest_of_line ();
5254 }
5255 \f
5256 static void
5257 stringer_append_char (int c, int bitsize)
5258 {
5259   if (!target_big_endian)
5260     FRAG_APPEND_1_CHAR (c);
5261
5262   switch (bitsize)
5263     {
5264     case 64:
5265       FRAG_APPEND_1_CHAR (0);
5266       FRAG_APPEND_1_CHAR (0);
5267       FRAG_APPEND_1_CHAR (0);
5268       FRAG_APPEND_1_CHAR (0);
5269       /* Fall through.  */
5270     case 32:
5271       FRAG_APPEND_1_CHAR (0);
5272       FRAG_APPEND_1_CHAR (0);
5273       /* Fall through.  */
5274     case 16:
5275       FRAG_APPEND_1_CHAR (0);
5276       /* Fall through.  */
5277     case 8:
5278       break;
5279     default:
5280       /* Called with invalid bitsize argument.  */
5281       abort ();
5282       break;
5283     }
5284   if (target_big_endian)
5285     FRAG_APPEND_1_CHAR (c);
5286 }
5287
5288 /* Worker to do .ascii etc statements.
5289    Reads 0 or more ',' separated, double-quoted strings.
5290    Caller should have checked need_pass_2 is FALSE because we don't
5291    check it.
5292    Checks for end-of-line.
5293    BITS_APPENDZERO says how many bits are in a target char.
5294    The bottom bit is set if a NUL char should be appended to the strings.  */
5295
5296 void
5297 stringer (int bits_appendzero)
5298 {
5299   const int bitsize = bits_appendzero & ~7;
5300   const int append_zero = bits_appendzero & 1;
5301   unsigned int c;
5302 #if !defined(NO_LISTING) && defined (OBJ_ELF)
5303   char *start;
5304 #endif
5305
5306 #ifdef md_flush_pending_output
5307   md_flush_pending_output ();
5308 #endif
5309
5310 #ifdef md_cons_align
5311   md_cons_align (1);
5312 #endif
5313
5314   /* The following awkward logic is to parse ZERO or more strings,
5315      comma separated. Recall a string expression includes spaces
5316      before the opening '\"' and spaces after the closing '\"'.
5317      We fake a leading ',' if there is (supposed to be)
5318      a 1st, expression. We keep demanding expressions for each ','.  */
5319   if (is_it_end_of_statement ())
5320     {
5321       c = 0;                    /* Skip loop.  */
5322       ++input_line_pointer;     /* Compensate for end of loop.  */
5323     }
5324   else
5325     {
5326       c = ',';                  /* Do loop.  */
5327     }
5328   /* If we have been switched into the abs_section then we
5329      will not have an obstack onto which we can hang strings.  */
5330   if (now_seg == absolute_section)
5331     {
5332       as_bad (_("strings must be placed into a section"));
5333       c = 0;
5334       ignore_rest_of_line ();
5335     }
5336
5337   while (c == ',' || c == '<' || c == '"')
5338     {
5339       SKIP_WHITESPACE ();
5340       switch (*input_line_pointer)
5341         {
5342         case '\"':
5343           ++input_line_pointer; /*->1st char of string.  */
5344 #if !defined(NO_LISTING) && defined (OBJ_ELF)
5345           start = input_line_pointer;
5346 #endif
5347
5348           while (is_a_char (c = next_char_of_string ()))
5349             stringer_append_char (c, bitsize);
5350
5351           if (append_zero)
5352             stringer_append_char (0, bitsize);
5353
5354           know (input_line_pointer[-1] == '\"');
5355
5356 #if !defined(NO_LISTING) && defined (OBJ_ELF)
5357           /* In ELF, when gcc is emitting DWARF 1 debugging output, it
5358              will emit .string with a filename in the .debug section
5359              after a sequence of constants.  See the comment in
5360              emit_expr for the sequence.  emit_expr will set
5361              dwarf_file_string to non-zero if this string might be a
5362              source file name.  */
5363           if (strcmp (segment_name (now_seg), ".debug") != 0)
5364             dwarf_file_string = 0;
5365           else if (dwarf_file_string)
5366             {
5367               c = input_line_pointer[-1];
5368               input_line_pointer[-1] = '\0';
5369               listing_source_file (start);
5370               input_line_pointer[-1] = c;
5371             }
5372 #endif
5373
5374           break;
5375         case '<':
5376           input_line_pointer++;
5377           c = get_single_number ();
5378           stringer_append_char (c, bitsize);
5379           if (*input_line_pointer != '>')
5380             as_bad (_("expected <nn>"));
5381
5382           input_line_pointer++;
5383           break;
5384         case ',':
5385           input_line_pointer++;
5386           break;
5387         }
5388       SKIP_WHITESPACE ();
5389       c = *input_line_pointer;
5390     }
5391
5392   demand_empty_rest_of_line ();
5393 }
5394 \f
5395 /* FIXME-SOMEDAY: I had trouble here on characters with the
5396     high bits set.  We'll probably also have trouble with
5397     multibyte chars, wide chars, etc.  Also be careful about
5398     returning values bigger than 1 byte.  xoxorich.  */
5399
5400 unsigned int
5401 next_char_of_string (void)
5402 {
5403   unsigned int c;
5404
5405   c = *input_line_pointer++ & CHAR_MASK;
5406   switch (c)
5407     {
5408     case '\"':
5409       c = NOT_A_CHAR;
5410       break;
5411
5412     case '\n':
5413       as_warn (_("unterminated string; newline inserted"));
5414       bump_line_counters ();
5415       break;
5416
5417 #ifndef NO_STRING_ESCAPES
5418     case '\\':
5419       switch (c = *input_line_pointer++)
5420         {
5421         case 'b':
5422           c = '\b';
5423           break;
5424
5425         case 'f':
5426           c = '\f';
5427           break;
5428
5429         case 'n':
5430           c = '\n';
5431           break;
5432
5433         case 'r':
5434           c = '\r';
5435           break;
5436
5437         case 't':
5438           c = '\t';
5439           break;
5440
5441         case 'v':
5442           c = '\013';
5443           break;
5444
5445         case '\\':
5446         case '"':
5447           break;                /* As itself.  */
5448
5449         case '0':
5450         case '1':
5451         case '2':
5452         case '3':
5453         case '4':
5454         case '5':
5455         case '6':
5456         case '7':
5457         case '8':
5458         case '9':
5459           {
5460             long number;
5461             int i;
5462
5463             for (i = 0, number = 0;
5464                  ISDIGIT (c) && i < 3;
5465                  c = *input_line_pointer++, i++)
5466               {
5467                 number = number * 8 + c - '0';
5468               }
5469
5470             c = number & 0xff;
5471           }
5472           --input_line_pointer;
5473           break;
5474
5475         case 'x':
5476         case 'X':
5477           {
5478             long number;
5479
5480             number = 0;
5481             c = *input_line_pointer++;
5482             while (ISXDIGIT (c))
5483               {
5484                 if (ISDIGIT (c))
5485                   number = number * 16 + c - '0';
5486                 else if (ISUPPER (c))
5487                   number = number * 16 + c - 'A' + 10;
5488                 else
5489                   number = number * 16 + c - 'a' + 10;
5490                 c = *input_line_pointer++;
5491               }
5492             c = number & 0xff;
5493             --input_line_pointer;
5494           }
5495           break;
5496
5497         case '\n':
5498           /* To be compatible with BSD 4.2 as: give the luser a linefeed!!  */
5499           as_warn (_("unterminated string; newline inserted"));
5500           c = '\n';
5501           bump_line_counters ();
5502           break;
5503
5504         default:
5505
5506 #ifdef ONLY_STANDARD_ESCAPES
5507           as_bad (_("bad escaped character in string"));
5508           c = '?';
5509 #endif /* ONLY_STANDARD_ESCAPES */
5510
5511           break;
5512         }
5513       break;
5514 #endif /* ! defined (NO_STRING_ESCAPES) */
5515
5516     default:
5517       break;
5518     }
5519   return (c);
5520 }
5521 \f
5522 static segT
5523 get_segmented_expression (expressionS *expP)
5524 {
5525   segT retval;
5526
5527   retval = expression (expP);
5528   if (expP->X_op == O_illegal
5529       || expP->X_op == O_absent
5530       || expP->X_op == O_big)
5531     {
5532       as_bad (_("expected address expression"));
5533       expP->X_op = O_constant;
5534       expP->X_add_number = 0;
5535       retval = absolute_section;
5536     }
5537   return retval;
5538 }
5539
5540 static segT
5541 get_known_segmented_expression (expressionS *expP)
5542 {
5543   segT retval = get_segmented_expression (expP);
5544
5545   if (retval == undefined_section)
5546     {
5547       /* There is no easy way to extract the undefined symbol from the
5548          expression.  */
5549       if (expP->X_add_symbol != NULL
5550           && S_GET_SEGMENT (expP->X_add_symbol) != expr_section)
5551         as_warn (_("symbol \"%s\" undefined; zero assumed"),
5552                  S_GET_NAME (expP->X_add_symbol));
5553       else
5554         as_warn (_("some symbol undefined; zero assumed"));
5555       retval = absolute_section;
5556       expP->X_op = O_constant;
5557       expP->X_add_number = 0;
5558     }
5559   return retval;
5560 }
5561
5562 char                            /* Return terminator.  */
5563 get_absolute_expression_and_terminator (long *val_pointer /* Return value of expression.  */)
5564 {
5565   /* FIXME: val_pointer should probably be offsetT *.  */
5566   *val_pointer = (long) get_absolute_expression ();
5567   return (*input_line_pointer++);
5568 }
5569 \f
5570 /* Like demand_copy_string, but return NULL if the string contains any '\0's.
5571    Give a warning if that happens.  */
5572
5573 char *
5574 demand_copy_C_string (int *len_pointer)
5575 {
5576   char *s;
5577
5578   if ((s = demand_copy_string (len_pointer)) != 0)
5579     {
5580       int len;
5581
5582       for (len = *len_pointer; len > 0; len--)
5583         {
5584           if (*s == 0)
5585             {
5586               s = 0;
5587               len = 1;
5588               *len_pointer = 0;
5589               as_bad (_("this string may not contain \'\\0\'"));
5590             }
5591         }
5592     }
5593
5594   return s;
5595 }
5596 \f
5597 /* Demand string, but return a safe (=private) copy of the string.
5598    Return NULL if we can't read a string here.  */
5599
5600 char *
5601 demand_copy_string (int *lenP)
5602 {
5603   unsigned int c;
5604   int len;
5605   char *retval;
5606
5607   len = 0;
5608   SKIP_WHITESPACE ();
5609   if (*input_line_pointer == '\"')
5610     {
5611       input_line_pointer++;     /* Skip opening quote.  */
5612
5613       while (is_a_char (c = next_char_of_string ()))
5614         {
5615           obstack_1grow (&notes, c);
5616           len++;
5617         }
5618       /* JF this next line is so demand_copy_C_string will return a
5619          null terminated string.  */
5620       obstack_1grow (&notes, '\0');
5621       retval = (char *) obstack_finish (&notes);
5622     }
5623   else
5624     {
5625       as_bad (_("missing string"));
5626       retval = NULL;
5627       ignore_rest_of_line ();
5628     }
5629   *lenP = len;
5630   return (retval);
5631 }
5632 \f
5633 /* In:  Input_line_pointer->next character.
5634
5635    Do:  Skip input_line_pointer over all whitespace.
5636
5637    Out: 1 if input_line_pointer->end-of-line.  */
5638
5639 int
5640 is_it_end_of_statement (void)
5641 {
5642   SKIP_WHITESPACE ();
5643   return (is_end_of_line[(unsigned char) *input_line_pointer]);
5644 }
5645
5646 void
5647 equals (char *sym_name, int reassign)
5648 {
5649   char *stop = NULL;
5650   char stopc = 0;
5651
5652   input_line_pointer++;
5653   if (*input_line_pointer == '=')
5654     input_line_pointer++;
5655   if (reassign < 0 && *input_line_pointer == '=')
5656     input_line_pointer++;
5657
5658   while (*input_line_pointer == ' ' || *input_line_pointer == '\t')
5659     input_line_pointer++;
5660
5661   if (flag_mri)
5662     stop = mri_comment_field (&stopc);
5663
5664   assign_symbol (sym_name, reassign >= 0 ? !reassign : reassign);
5665
5666   if (flag_mri)
5667     {
5668       demand_empty_rest_of_line ();
5669       mri_comment_end (stop, stopc);
5670     }
5671 }
5672
5673 /* .incbin -- include a file verbatim at the current location.  */
5674
5675 void
5676 s_incbin (int x ATTRIBUTE_UNUSED)
5677 {
5678   FILE * binfile;
5679   char * path;
5680   char * filename;
5681   char * binfrag;
5682   long   skip = 0;
5683   long   count = 0;
5684   long   bytes;
5685   int    len;
5686
5687 #ifdef md_flush_pending_output
5688   md_flush_pending_output ();
5689 #endif
5690
5691 #ifdef md_cons_align
5692   md_cons_align (1);
5693 #endif
5694
5695   SKIP_WHITESPACE ();
5696   filename = demand_copy_string (& len);
5697   if (filename == NULL)
5698     return;
5699
5700   SKIP_WHITESPACE ();
5701
5702   /* Look for optional skip and count.  */
5703   if (* input_line_pointer == ',')
5704     {
5705       ++ input_line_pointer;
5706       skip = get_absolute_expression ();
5707
5708       SKIP_WHITESPACE ();
5709
5710       if (* input_line_pointer == ',')
5711         {
5712           ++ input_line_pointer;
5713
5714           count = get_absolute_expression ();
5715           if (count == 0)
5716             as_warn (_(".incbin count zero, ignoring `%s'"), filename);
5717
5718           SKIP_WHITESPACE ();
5719         }
5720     }
5721
5722   demand_empty_rest_of_line ();
5723
5724   /* Try opening absolute path first, then try include dirs.  */
5725   binfile = fopen (filename, FOPEN_RB);
5726   if (binfile == NULL)
5727     {
5728       int i;
5729
5730       path = (char *) xmalloc ((unsigned long) len + include_dir_maxlen + 5);
5731
5732       for (i = 0; i < include_dir_count; i++)
5733         {
5734           sprintf (path, "%s/%s", include_dirs[i], filename);
5735
5736           binfile = fopen (path, FOPEN_RB);
5737           if (binfile != NULL)
5738             break;
5739         }
5740
5741       if (binfile == NULL)
5742         as_bad (_("file not found: %s"), filename);
5743     }
5744   else
5745     path = xstrdup (filename);
5746
5747   if (binfile)
5748     {
5749       long   file_len;
5750
5751       register_dependency (path);
5752
5753       /* Compute the length of the file.  */
5754       if (fseek (binfile, 0, SEEK_END) != 0)
5755         {
5756           as_bad (_("seek to end of .incbin file failed `%s'"), path);
5757           goto done;
5758         }
5759       file_len = ftell (binfile);
5760
5761       /* If a count was not specified use the remainder of the file.  */
5762       if (count == 0)
5763         count = file_len - skip;
5764
5765       if (skip < 0 || count < 0 || file_len < 0 || skip + count > file_len)
5766         {
5767           as_bad (_("skip (%ld) or count (%ld) invalid for file size (%ld)"),
5768                   skip, count, file_len);
5769           goto done;
5770         }
5771
5772       if (fseek (binfile, skip, SEEK_SET) != 0)
5773         {
5774           as_bad (_("could not skip to %ld in file `%s'"), skip, path);
5775           goto done;
5776         }
5777
5778       /* Allocate frag space and store file contents in it.  */
5779       binfrag = frag_more (count);
5780
5781       bytes = fread (binfrag, 1, count, binfile);
5782       if (bytes < count)
5783         as_warn (_("truncated file `%s', %ld of %ld bytes read"),
5784                  path, bytes, count);
5785     }
5786 done:
5787   if (binfile != NULL)
5788     fclose (binfile);
5789   if (path)
5790     free (path);
5791 }
5792
5793 /* .include -- include a file at this point.  */
5794
5795 void
5796 s_include (int arg ATTRIBUTE_UNUSED)
5797 {
5798   char *filename;
5799   int i;
5800   FILE *try_file;
5801   char *path;
5802
5803   if (!flag_m68k_mri)
5804     {
5805       filename = demand_copy_string (&i);
5806       if (filename == NULL)
5807         {
5808           /* demand_copy_string has already printed an error and
5809              called ignore_rest_of_line.  */
5810           return;
5811         }
5812     }
5813   else
5814     {
5815       SKIP_WHITESPACE ();
5816       i = 0;
5817       while (!is_end_of_line[(unsigned char) *input_line_pointer]
5818              && *input_line_pointer != ' '
5819              && *input_line_pointer != '\t')
5820         {
5821           obstack_1grow (&notes, *input_line_pointer);
5822           ++input_line_pointer;
5823           ++i;
5824         }
5825
5826       obstack_1grow (&notes, '\0');
5827       filename = (char *) obstack_finish (&notes);
5828       while (!is_end_of_line[(unsigned char) *input_line_pointer])
5829         ++input_line_pointer;
5830     }
5831
5832   demand_empty_rest_of_line ();
5833   path = (char *) xmalloc ((unsigned long) i
5834                            + include_dir_maxlen + 5 /* slop */ );
5835
5836   for (i = 0; i < include_dir_count; i++)
5837     {
5838       strcpy (path, include_dirs[i]);
5839       strcat (path, "/");
5840       strcat (path, filename);
5841       if (0 != (try_file = fopen (path, FOPEN_RT)))
5842         {
5843           fclose (try_file);
5844           goto gotit;
5845         }
5846     }
5847
5848   free (path);
5849   path = filename;
5850 gotit:
5851   /* malloc Storage leak when file is found on path.  FIXME-SOMEDAY.  */
5852   register_dependency (path);
5853   input_scrub_insert_file (path);
5854 }
5855
5856 void
5857 add_include_dir (char *path)
5858 {
5859   int i;
5860
5861   if (include_dir_count == 0)
5862     {
5863       include_dirs = (char **) xmalloc (2 * sizeof (*include_dirs));
5864       include_dirs[0] = ".";    /* Current dir.  */
5865       include_dir_count = 2;
5866     }
5867   else
5868     {
5869       include_dir_count++;
5870       include_dirs =
5871         (char **) xrealloc (include_dirs,
5872                             include_dir_count * sizeof (*include_dirs));
5873     }
5874
5875   include_dirs[include_dir_count - 1] = path;   /* New one.  */
5876
5877   i = strlen (path);
5878   if (i > include_dir_maxlen)
5879     include_dir_maxlen = i;
5880 }
5881 \f
5882 /* Output debugging information to denote the source file.  */
5883
5884 static void
5885 generate_file_debug (void)
5886 {
5887   if (debug_type == DEBUG_STABS)
5888     stabs_generate_asm_file ();
5889 }
5890
5891 /* Output line number debugging information for the current source line.  */
5892
5893 void
5894 generate_lineno_debug (void)
5895 {
5896   switch (debug_type)
5897     {
5898     case DEBUG_UNSPECIFIED:
5899     case DEBUG_NONE:
5900     case DEBUG_DWARF:
5901       break;
5902     case DEBUG_STABS:
5903       stabs_generate_asm_lineno ();
5904       break;
5905     case DEBUG_ECOFF:
5906       ecoff_generate_asm_lineno ();
5907       break;
5908     case DEBUG_DWARF2:
5909       /* ??? We could here indicate to dwarf2dbg.c that something
5910          has changed.  However, since there is additional backend
5911          support that is required (calling dwarf2_emit_insn), we
5912          let dwarf2dbg.c call as_where on its own.  */
5913       break;
5914     }
5915 }
5916
5917 /* Output debugging information to mark a function entry point or end point.
5918    END_P is zero for .func, and non-zero for .endfunc.  */
5919
5920 void
5921 s_func (int end_p)
5922 {
5923   do_s_func (end_p, NULL);
5924 }
5925
5926 /* Subroutine of s_func so targets can choose a different default prefix.
5927    If DEFAULT_PREFIX is NULL, use the target's "leading char".  */
5928
5929 static void
5930 do_s_func (int end_p, const char *default_prefix)
5931 {
5932   /* Record the current function so that we can issue an error message for
5933      misplaced .func,.endfunc, and also so that .endfunc needs no
5934      arguments.  */
5935   static char *current_name;
5936   static char *current_label;
5937
5938   if (end_p)
5939     {
5940       if (current_name == NULL)
5941         {
5942           as_bad (_("missing .func"));
5943           ignore_rest_of_line ();
5944           return;
5945         }
5946
5947       if (debug_type == DEBUG_STABS)
5948         stabs_generate_asm_endfunc (current_name, current_label);
5949
5950       current_name = current_label = NULL;
5951     }
5952   else /* ! end_p */
5953     {
5954       char *name, *label;
5955       char delim1, delim2;
5956
5957       if (current_name != NULL)
5958         {
5959           as_bad (_(".endfunc missing for previous .func"));
5960           ignore_rest_of_line ();
5961           return;
5962         }
5963
5964       delim1 = get_symbol_name (& name);
5965       name = xstrdup (name);
5966       *input_line_pointer = delim1;
5967       SKIP_WHITESPACE_AFTER_NAME ();
5968       if (*input_line_pointer != ',')
5969         {
5970           if (default_prefix)
5971             {
5972               if (asprintf (&label, "%s%s", default_prefix, name) == -1)
5973                 as_fatal ("%s", xstrerror (errno));
5974             }
5975           else
5976             {
5977               char leading_char = bfd_get_symbol_leading_char (stdoutput);
5978               /* Missing entry point, use function's name with the leading
5979                  char prepended.  */
5980               if (leading_char)
5981                 {
5982                   if (asprintf (&label, "%c%s", leading_char, name) == -1)
5983                     as_fatal ("%s", xstrerror (errno));
5984                 }
5985               else
5986                 label = name;
5987             }
5988         }
5989       else
5990         {
5991           ++input_line_pointer;
5992           SKIP_WHITESPACE ();
5993           delim2 = get_symbol_name (& label);
5994           label = xstrdup (label);
5995           restore_line_pointer (delim2);
5996         }
5997
5998       if (debug_type == DEBUG_STABS)
5999         stabs_generate_asm_func (name, label);
6000
6001       current_name = name;
6002       current_label = label;
6003     }
6004
6005   demand_empty_rest_of_line ();
6006 }
6007 \f
6008 #ifdef HANDLE_BUNDLE
6009
6010 void
6011 s_bundle_align_mode (int arg ATTRIBUTE_UNUSED)
6012 {
6013   unsigned int align = get_absolute_expression ();
6014   SKIP_WHITESPACE ();
6015   demand_empty_rest_of_line ();
6016
6017   if (align > (unsigned int) TC_ALIGN_LIMIT)
6018     as_fatal (_(".bundle_align_mode alignment too large (maximum %u)"),
6019               (unsigned int) TC_ALIGN_LIMIT);
6020
6021   if (bundle_lock_frag != NULL)
6022     {
6023       as_bad (_("cannot change .bundle_align_mode inside .bundle_lock"));
6024       return;
6025     }
6026
6027   bundle_align_p2 = align;
6028 }
6029
6030 void
6031 s_bundle_lock (int arg ATTRIBUTE_UNUSED)
6032 {
6033   demand_empty_rest_of_line ();
6034
6035   if (bundle_align_p2 == 0)
6036     {
6037       as_bad (_(".bundle_lock is meaningless without .bundle_align_mode"));
6038       return;
6039     }
6040
6041   if (bundle_lock_depth == 0)
6042     {
6043       bundle_lock_frchain = frchain_now;
6044       bundle_lock_frag = start_bundle ();
6045     }
6046   ++bundle_lock_depth;
6047 }
6048
6049 void
6050 s_bundle_unlock (int arg ATTRIBUTE_UNUSED)
6051 {
6052   unsigned int size;
6053
6054   demand_empty_rest_of_line ();
6055
6056   if (bundle_lock_frag == NULL)
6057     {
6058       as_bad (_(".bundle_unlock without preceding .bundle_lock"));
6059       return;
6060     }
6061
6062   gas_assert (bundle_align_p2 > 0);
6063
6064   gas_assert (bundle_lock_depth > 0);
6065   if (--bundle_lock_depth > 0)
6066     return;
6067
6068   size = pending_bundle_size (bundle_lock_frag);
6069
6070   if (size > (1U << bundle_align_p2))
6071     as_bad (_(".bundle_lock sequence is %u bytes, but bundle size only %u"),
6072             size, 1 << bundle_align_p2);
6073   else
6074     finish_bundle (bundle_lock_frag, size);
6075
6076   bundle_lock_frag = NULL;
6077   bundle_lock_frchain = NULL;
6078 }
6079
6080 #endif  /* HANDLE_BUNDLE */
6081 \f
6082 void
6083 s_ignore (int arg ATTRIBUTE_UNUSED)
6084 {
6085   ignore_rest_of_line ();
6086 }
6087
6088 void
6089 read_print_statistics (FILE *file)
6090 {
6091   hash_print_statistics (file, "pseudo-op table", po_hash);
6092 }
6093
6094 /* Inserts the given line into the input stream.
6095
6096    This call avoids macro/conditionals nesting checking, since the contents of
6097    the line are assumed to replace the contents of a line already scanned.
6098
6099    An appropriate use of this function would be substitution of input lines when
6100    called by md_start_line_hook().  The given line is assumed to already be
6101    properly scrubbed.  */
6102
6103 void
6104 input_scrub_insert_line (const char *line)
6105 {
6106   sb newline;
6107   size_t len = strlen (line);
6108   sb_build (&newline, len);
6109   sb_add_buffer (&newline, line, len);
6110   input_scrub_include_sb (&newline, input_line_pointer, 0);
6111   sb_kill (&newline);
6112   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
6113 }
6114
6115 /* Insert a file into the input stream; the path must resolve to an actual
6116    file; no include path searching or dependency registering is performed.  */
6117
6118 void
6119 input_scrub_insert_file (char *path)
6120 {
6121   input_scrub_include_file (path, input_line_pointer);
6122   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
6123 }
6124
6125 /* Find the end of a line, considering quotation and escaping of quotes.  */
6126
6127 #if !defined(TC_SINGLE_QUOTE_STRINGS) && defined(SINGLE_QUOTE_STRINGS)
6128 # define TC_SINGLE_QUOTE_STRINGS 1
6129 #endif
6130
6131 static char *
6132 _find_end_of_line (char *s, int mri_string, int insn ATTRIBUTE_UNUSED,
6133                    int in_macro)
6134 {
6135   char inquote = '\0';
6136   int inescape = 0;
6137
6138   while (!is_end_of_line[(unsigned char) *s]
6139          || (inquote && !ISCNTRL (*s))
6140          || (inquote == '\'' && flag_mri)
6141 #ifdef TC_EOL_IN_INSN
6142          || (insn && TC_EOL_IN_INSN (s))
6143 #endif
6144          /* PR 6926:  When we are parsing the body of a macro the sequence
6145             \@ is special - it refers to the invocation count.  If the @
6146             character happens to be registered as a line-separator character
6147             by the target, then the is_end_of_line[] test above will have
6148             returned true, but we need to ignore the line separating
6149             semantics in this particular case.  */
6150          || (in_macro && inescape && *s == '@')
6151         )
6152     {
6153       if (mri_string && *s == '\'')
6154         inquote ^= *s;
6155       else if (inescape)
6156         inescape = 0;
6157       else if (*s == '\\')
6158         inescape = 1;
6159       else if (!inquote
6160                ? *s == '"'
6161 #ifdef TC_SINGLE_QUOTE_STRINGS
6162                  || (TC_SINGLE_QUOTE_STRINGS && *s == '\'')
6163 #endif
6164                : *s == inquote)
6165         inquote ^= *s;
6166       ++s;
6167     }
6168   if (inquote)
6169     as_warn (_("missing closing `%c'"), inquote);
6170   if (inescape && !ignore_input ())
6171     as_warn (_("stray `\\'"));
6172   return s;
6173 }
6174
6175 char *
6176 find_end_of_line (char *s, int mri_string)
6177 {
6178   return _find_end_of_line (s, mri_string, 0, 0);
6179 }